runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.dudf-real.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-real//1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.dudf-real.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.28 1.12 1.03 5/34 7512
/proc/meminfo: memFree=602056/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) R 7510 7511 1511 34817 1511 4202496 360 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=2568 CPUtime=0
/proc/7512/stat : 7512 (packup2mp4tr-0.) R 7511 7511 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 41 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0
/proc/7512/statm: 642 41 0 194 0 29 0

[startup+0.123795 s]
/proc/loadavg: 1.28 1.12 1.03 5/34 7512
/proc/meminfo: memFree=602056/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=8016 CPUtime=0.12
/proc/7512/stat : 7512 (packup) R 7511 7511 1511 34817 1511 4202496 1499 0 0 0 12 0 0 0 25 0 1 0 1766110 8208384 1428 1283457024 134512640 134752139 4292677520 18446744073709551615 134683835 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/7512/statm: 2004 1428 286 59 0 1168 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10584

[startup+0.21382 s]
/proc/loadavg: 1.28 1.12 1.03 5/34 7512
/proc/meminfo: memFree=602056/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=10788 CPUtime=0.21
/proc/7512/stat : 7512 (packup) R 7511 7511 1511 34817 1511 4202496 2197 0 0 0 21 0 0 0 25 0 1 0 1766110 11046912 2126 1283457024 134512640 134752139 4292677520 18446744073709551615 134684286 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/7512/statm: 2697 2126 286 59 0 1861 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13356

[startup+0.303843 s]
/proc/loadavg: 1.28 1.12 1.03 5/34 7512
/proc/meminfo: memFree=602056/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=13360 CPUtime=0.3
/proc/7512/stat : 7512 (packup) R 7511 7511 1511 34817 1511 4202496 2835 0 0 0 30 0 0 0 25 0 1 0 1766110 13680640 2764 1283457024 134512640 134752139 4292677520 18446744073709551615 134681846 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/7512/statm: 3340 2764 286 59 0 2504 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15928

[startup+0.703916 s]
/proc/loadavg: 1.28 1.12 1.03 5/34 7512
/proc/meminfo: memFree=602056/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=23340 CPUtime=0.7
/proc/7512/stat : 7512 (packup) R 7511 7511 1511 34817 1511 4202496 5337 0 0 0 67 3 0 0 25 0 1 0 1766110 23900160 5266 1283457024 134512640 134752139 4292677520 18446744073709551615 134681621 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/7512/statm: 5835 5266 286 59 0 4999 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25908

[startup+1.50408 s]
/proc/loadavg: 1.41 1.15 1.04 2/35 7513
/proc/meminfo: memFree=570300/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47884 CPUtime=1.5
/proc/7512/stat : 7512 (packup) R 7511 7511 1511 34817 1511 4202496 11588 0 0 0 132 18 0 0 25 0 1 0 1766110 49033216 11206 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/7512/statm: 11971 11206 322 59 0 11135 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 50452

[startup+3.10444 s]
/proc/loadavg: 1.41 1.15 1.04 2/37 7515
/proc/meminfo: memFree=543360/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47884 CPUtime=1.62
/proc/7512/stat : 7512 (packup) S 7511 7511 1511 34817 1511 4202496 11592 0 0 0 136 26 0 0 25 0 1 0 1766110 49033216 11209 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/7512/statm: 11971 11209 325 59 0 11135 0
[pid=7514] ppid=7512 vsize=1672 CPUtime=0.01
/proc/7514/stat : 7514 (sh) S 7512 7511 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 25 0 1 0 1766273 1712128 124 1283457024 134512640 134593992 4290585840 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7514/statm: 418 124 108 20 0 45 0
[pid=7515] ppid=7514 vsize=30112 CPUtime=1.46
/proc/7515/stat : 7515 (minisatp_32) R 7514 7511 1511 34817 1511 4202496 8822 0 0 0 124 22 0 0 25 0 1 0 1766274 30834688 7189 1283457024 134512640 135413687 4288162880 18446744073709551615 134697038 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/7515/statm: 7528 7189 89 220 0 7306 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82236

[startup+6.30531 s]
/proc/loadavg: 1.38 1.14 1.04 3/37 7517
/proc/meminfo: memFree=554032/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47888 CPUtime=5.44
/proc/7512/stat : 7512 (packup) S 7511 7511 1511 34817 1511 4202496 11703 28831 0 0 151 44 321 28 18 0 1 0 1766110 49037312 11228 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/7512/statm: 11972 11228 333 59 0 11136 0
[pid=7516] ppid=7512 vsize=1676 CPUtime=0.01
/proc/7516/stat : 7516 (sh) S 7512 7511 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 19 0 1 0 1766657 1716224 124 1283457024 134512640 134593992 4287443840 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7516/statm: 419 124 108 20 0 46 0
[pid=7517] ppid=7516 vsize=23692 CPUtime=0.82
/proc/7517/stat : 7517 (minisatp_32) R 7516 7511 1511 34817 1511 4202496 5249 0 0 0 82 0 0 0 24 0 1 0 1766658 24260608 4611 1283457024 134512640 135413687 4292370496 18446744073709551615 134962296 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/7517/statm: 5923 4611 77 220 0 5701 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 75824

[startup+12.7081 s]
/proc/loadavg: 1.35 1.14 1.04 2/37 7519
/proc/meminfo: memFree=515344/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47892 CPUtime=10.49
/proc/7512/stat : 7512 (packup) S 7511 7511 1511 34817 1511 4202496 11819 70069 0 0 167 62 757 63 18 0 1 0 1766110 49041408 11238 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/7512/statm: 11973 11238 333 59 0 11137 0
[pid=7518] ppid=7512 vsize=1676 CPUtime=0
/proc/7518/stat : 7518 (sh) S 7512 7511 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 1767162 1716224 124 1283457024 134512640 134593992 4291745680 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7518/statm: 419 124 108 20 0 46 0
[pid=7519] ppid=7518 vsize=88740 CPUtime=2.19
/proc/7519/stat : 7519 (minisatp_32) R 7518 7511 1511 34817 1511 4202496 23105 0 0 0 201 18 0 0 25 0 1 0 1767162 90869760 18184 1283457024 134512640 135413687 4287964176 18446744073709551615 134684353 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/7519/statm: 22185 18184 94 220 0 21963 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 140876

Solver just ended. Dumping a history of the last processes samples

[startup+12.8082 s]
/proc/loadavg: 1.35 1.14 1.04 2/37 7519
/proc/meminfo: memFree=515344/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47892 CPUtime=10.49
/proc/7512/stat : 7512 (packup) S 7511 7511 1511 34817 1511 4202496 11819 70069 0 0 167 62 757 63 18 0 1 0 1766110 49041408 11238 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/7512/statm: 11973 11238 333 59 0 11137 0
[pid=7518] ppid=7512 vsize=1676 CPUtime=0
/proc/7518/stat : 7518 (sh) S 7512 7511 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 1767162 1716224 124 1283457024 134512640 134593992 4291745680 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7518/statm: 419 124 108 20 0 46 0
[pid=7519] ppid=7518 vsize=77376 CPUtime=2.29
/proc/7519/stat : 7519 (minisatp_32) R 7518 7511 1511 34817 1511 4202496 24065 0 0 0 211 18 0 0 25 0 1 0 1767162 79233024 17364 1283457024 134512640 135413687 4287964176 18446744073709551615 134666278 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/7519/statm: 19344 17364 94 220 0 19122 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 129512

[startup+16.0098 s]
/proc/loadavg: 1.32 1.14 1.04 2/37 7519
/proc/meminfo: memFree=442184/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47896 CPUtime=15.98
/proc/7512/stat : 7512 (packup) R 7511 7511 1511 34817 1511 4202496 11914 115119 0 0 181 82 1239 96 18 0 1 0 1766110 49045504 11239 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/7512/statm: 11974 11239 333 59 0 11138 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 50464

[startup+19.2105 s]
/proc/loadavg: 1.32 1.14 1.04 2/37 7521
/proc/meminfo: memFree=450988/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47896 CPUtime=15.98
/proc/7512/stat : 7512 (packup) S 7511 7511 1511 34817 1511 4202496 11915 115119 0 0 181 82 1239 96 18 0 1 0 1766110 49045504 11239 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/7512/statm: 11974 11239 333 59 0 11138 0
[pid=7520] ppid=7512 vsize=1672 CPUtime=0
/proc/7520/stat : 7520 (sh) S 7512 7511 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 1767711 1712128 124 1283457024 134512640 134593992 4292169728 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7520/statm: 418 124 108 20 0 45 0
[pid=7521] ppid=7520 vsize=120788 CPUtime=3.19
/proc/7521/stat : 7521 (minisatp_32) R 7520 7511 1511 34817 1511 4202496 38739 0 0 0 293 26 0 0 25 0 1 0 1767712 123686912 27185 1283457024 134512640 135413687 4287693776 18446744073709551615 134682651 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/7521/statm: 30197 27185 94 220 0 29975 0
Current children cumulated CPU time (s) 19.17
Current children cumulated vsize (KiB) 172924

[startup+20.8109 s]
/proc/loadavg: 1.32 1.14 1.04 3/37 7521
/proc/meminfo: memFree=443920/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47896 CPUtime=15.98
/proc/7512/stat : 7512 (packup) S 7511 7511 1511 34817 1511 4202496 11915 115119 0 0 181 82 1239 96 18 0 1 0 1766110 49045504 11239 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/7512/statm: 11974 11239 333 59 0 11138 0
[pid=7520] ppid=7512 vsize=1672 CPUtime=0
/proc/7520/stat : 7520 (sh) S 7512 7511 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 1767711 1712128 124 1283457024 134512640 134593992 4292169728 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7520/statm: 418 124 108 20 0 45 0
[pid=7521] ppid=7520 vsize=123456 CPUtime=4.79
/proc/7521/stat : 7521 (minisatp_32) R 7520 7511 1511 34817 1511 4202496 44360 0 0 0 449 30 0 0 25 0 1 0 1767712 126418944 27371 1283457024 134512640 135413687 4287693776 18446744073709551615 134960810 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/7521/statm: 30864 27371 107 220 0 30642 0
Current children cumulated CPU time (s) 20.77
Current children cumulated vsize (KiB) 175592

[startup+21.6111 s]
/proc/loadavg: 1.30 1.14 1.04 2/37 7521
/proc/meminfo: memFree=435860/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47896 CPUtime=15.98
/proc/7512/stat : 7512 (packup) S 7511 7511 1511 34817 1511 4202496 11915 115119 0 0 181 82 1239 96 18 0 1 0 1766110 49045504 11239 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/7512/statm: 11974 11239 333 59 0 11138 0
[pid=7520] ppid=7512 vsize=1672 CPUtime=0
/proc/7520/stat : 7520 (sh) S 7512 7511 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 1767711 1712128 124 1283457024 134512640 134593992 4292169728 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7520/statm: 418 124 108 20 0 45 0
[pid=7521] ppid=7520 vsize=151052 CPUtime=5.59
/proc/7521/stat : 7521 (minisatp_32) R 7520 7511 1511 34817 1511 4202496 52880 0 0 0 525 34 0 0 25 0 1 0 1767712 154677248 33665 1283457024 134512640 135413687 4287693776 18446744073709551615 134686182 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/7521/statm: 37763 33665 107 220 0 37541 0
Current children cumulated CPU time (s) 21.57
Current children cumulated vsize (KiB) 203188

[startup+22.0112 s]
/proc/loadavg: 1.30 1.14 1.04 2/37 7521
/proc/meminfo: memFree=425196/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47896 CPUtime=15.98
/proc/7512/stat : 7512 (packup) S 7511 7511 1511 34817 1511 4202496 11915 115119 0 0 181 82 1239 96 18 0 1 0 1766110 49045504 11239 1283457024 134512640 134752139 4292677520 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/7512/statm: 11974 11239 333 59 0 11138 0
[pid=7520] ppid=7512 vsize=1672 CPUtime=0
/proc/7520/stat : 7520 (sh) S 7512 7511 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 1767711 1712128 124 1283457024 134512640 134593992 4292169728 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/7520/statm: 418 124 108 20 0 45 0
[pid=7521] ppid=7520 vsize=142584 CPUtime=5.99
/proc/7521/stat : 7521 (minisatp_32) R 7520 7511 1511 34817 1511 4202496 53197 0 0 0 564 35 0 0 25 0 1 0 1767712 146006016 32188 1283457024 134512640 135413687 4287693776 18446744073709551615 134597339 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/7521/statm: 35646 32188 117 220 0 35424 0
Current children cumulated CPU time (s) 21.97
Current children cumulated vsize (KiB) 194720

[startup+22.1112 s]
/proc/loadavg: 1.30 1.14 1.04 2/37 7521
/proc/meminfo: memFree=425196/1048576 swapFree=0/0
[pid=7511] ppid=7510 vsize=2568 CPUtime=0
/proc/7511/stat : 7511 (packup2mp4tr-0.) S 7510 7511 1511 34817 1511 4202496 377 0 0 0 0 0 0 0 25 0 1 0 1766110 2629632 274 1283457024 134512640 135304128 4287576816 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/7511/statm: 642 274 233 194 0 29 0
[pid=7512] ppid=7511 vsize=47124 CPUtime=22.07
/proc/7512/stat : 7512 (packup) R 7511 7511 1511 34817 1511 4202496 20999 168465 0 0 185 86 1804 132 18 0 1 0 1766110 48254976 11058 1283457024 134512640 134752139 4292677520 18446744073709551615 4159144129 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/7512/statm: 11781 11058 345 59 0 10945 0
Current children cumulated CPU time (s) 22.07
Current children cumulated vsize (KiB) 49692

Child status: 0
Real time (s): 22.1801
CPU time (s): 22.1534
CPU user time (s): 19.9572
CPU system time (s): 2.19614
CPU usage (%): 99.8794
Max. virtual memory (cumulated for all children) (KiB): 210000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.9572
system time used= 2.19614
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 341

runsolver used 0 second user time and 0 second system time

The end