runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3285341-1304049464/watcher-3285341-1304049464 -o /tmp/evaluation-result-3285341-1304049464/solver-3285341-1304049464 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3285341-1304049464.cnf 694808620 4800 15500 4
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.82 7.54 7.79 6/182 16752
/proc/meminfo: memFree=12678604/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[startup+0.0657369 s]
/proc/loadavg: 6.82 7.54 7.79 6/182 16752
/proc/meminfo: memFree=12678604/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100724 s]
/proc/loadavg: 6.82 7.54 7.79 6/182 16752
/proc/meminfo: memFree=12678604/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300694 s]
/proc/loadavg: 6.82 7.54 7.79 6/182 16752
/proc/meminfo: memFree=12678604/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.70058 s]
/proc/loadavg: 6.82 7.54 7.79 6/182 16752
/proc/meminfo: memFree=12678604/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50043 s]
/proc/loadavg: 6.82 7.54 7.79 9/188 16758
/proc/meminfo: memFree=12110872/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=1103484 CPUtime=3.41 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 237190 0 0 0 269 72 0 0 18 0 5 0 595177103 1129967616 232646 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 275871 232650 345 389 0 271621 0
[pid=16753/tid=16755] ppid=16752 vsize=1103484 CPUtime=0.78 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 49235 0 0 0 60 18 0 0 18 0 5 0 595177160 1129967616 232654 33554432000 4194304 5787044 140733951643760 18446744073709551615 47442983003378 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=1103484 CPUtime=0.67 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 39860 0 0 0 51 16 0 0 18 0 5 0 595177171 1129967616 232658 33554432000 4194304 5787044 140733951643760 18446744073709551615 4302500 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=1103484 CPUtime=0.56 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 34709 0 0 0 39 17 0 0 18 0 5 0 595177183 1129967616 232664 33554432000 4194304 5787044 140733951643760 18446744073709551615 260020057121 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=1103484 CPUtime=0.44 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 30043 0 0 0 38 6 0 0 18 0 5 0 595177197 1129967616 232667 33554432000 4194304 5787044 140733951643760 18446744073709551615 260020056773 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 1112184
[startup+3.10114 s]
/proc/loadavg: 6.82 7.54 7.79 10/188 16758
/proc/meminfo: memFree=11461980/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=764484 CPUtime=9.49 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 320729 0 0 0 851 98 0 0 18 0 5 0 595177103 782831616 146190 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 191121 146190 349 389 0 186871 0
[pid=16753/tid=16755] ppid=16752 vsize=764484 CPUtime=2.22 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 59689 0 0 0 200 22 0 0 18 0 5 0 595177160 782831616 146190 33554432000 4194304 5787044 140733951643760 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=764484 CPUtime=2.15 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 59042 0 0 0 191 24 0 0 18 0 5 0 595177171 782831616 146190 33554432000 4194304 5787044 140733951643760 18446744073709551615 4330472 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=764484 CPUtime=2.15 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 60231 0 0 0 188 27 0 0 19 0 5 0 595177183 782831616 146190 33554432000 4194304 5787044 140733951643760 18446744073709551615 4332259 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=764484 CPUtime=2.03 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 58408 0 0 0 191 12 0 0 19 0 5 0 595177197 782831616 146190 33554432000 4194304 5787044 140733951643760 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 773184
[startup+6.30055 s]
/proc/loadavg: 7.00 7.57 7.79 9/188 16758
/proc/meminfo: memFree=12088192/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=857084 CPUtime=22.27 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 334553 0 0 0 2127 100 0 0 18 0 5 0 595177103 877654016 147637 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 214271 147637 351 389 0 210021 0
[pid=16753/tid=16755] ppid=16752 vsize=857084 CPUtime=5.43 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 63584 0 0 0 520 23 0 0 25 0 5 0 595177160 877654016 147637 33554432000 4194304 5787044 140733951643760 18446744073709551615 18446744073699065939 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=857084 CPUtime=5.33 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 61087 0 0 0 509 24 0 0 25 0 5 0 595177171 877654016 147637 33554432000 4194304 5787044 140733951643760 18446744073709551615 4340028 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=857084 CPUtime=5.35 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 64614 0 0 0 508 27 0 0 25 0 5 0 595177183 877654016 147637 33554432000 4194304 5787044 140733951643760 18446744073709551615 4339795 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=857084 CPUtime=5.22 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 61909 0 0 0 510 12 0 0 25 0 5 0 595177197 877654016 147637 33554432000 4194304 5787044 140733951643760 18446744073709551615 4340072 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 22.27
Current children cumulated vsize (KiB) 865784
[startup+12.7004 s]
/proc/loadavg: 7.08 7.57 7.80 9/188 16758
/proc/meminfo: memFree=12073300/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=857084 CPUtime=47.83 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 368724 0 0 0 4673 110 0 0 18 0 5 0 595177103 877654016 151320 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 214271 151320 352 389 0 210021 0
[pid=16753/tid=16755] ppid=16752 vsize=857084 CPUtime=11.83 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 63585 0 0 0 1160 23 0 0 25 0 5 0 595177160 877654016 151320 33554432000 4194304 5787044 140733951643760 18446744073709551615 4276317 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=857084 CPUtime=11.69 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 61291 0 0 0 1145 24 0 0 25 0 5 0 595177171 877654016 151320 33554432000 4194304 5787044 140733951643760 18446744073709551615 4276264 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=857084 CPUtime=11.76 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 81049 0 0 0 1143 33 0 0 25 0 5 0 595177183 877654016 151320 33554432000 4194304 5787044 140733951643760 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=857084 CPUtime=11.62 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 79440 0 0 0 1145 17 0 0 25 0 5 0 595177197 877654016 151320 33554432000 4194304 5787044 140733951643760 18446744073709551615 4279104 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 47.83
Current children cumulated vsize (KiB) 865784
[startup+25.501 s]
/proc/loadavg: 7.36 7.61 7.80 9/188 16759
/proc/meminfo: memFree=12027540/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=928296 CPUtime=98.97 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 451602 0 0 0 9762 135 0 0 18 0 5 0 595177103 950575104 170845 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 232074 170846 355 389 0 227824 0
[pid=16753/tid=16755] ppid=16752 vsize=928428 CPUtime=24.62 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 68056 0 0 0 2439 23 0 0 25 0 5 0 595177160 950710272 170847 33554432000 4194304 5787044 140733951643760 18446744073709551615 4359259 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=928428 CPUtime=24.43 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 64820 0 0 0 2418 25 0 0 25 0 5 0 595177171 950710272 170849 33554432000 4194304 5787044 140733951643760 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=928428 CPUtime=24.56 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 115104 0 0 0 2411 45 0 0 25 0 5 0 595177183 950710272 170851 33554432000 4194304 5787044 140733951643760 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=928428 CPUtime=24.43 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 120272 0 0 0 2414 29 0 0 25 0 5 0 595177197 950710272 170853 33554432000 4194304 5787044 140733951643760 18446744073709551615 260020056773 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.97
Current children cumulated vsize (KiB) 936996
[startup+51.1013 s]
/proc/loadavg: 7.57 7.64 7.81 9/188 16760
/proc/meminfo: memFree=11886712/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=1094684 CPUtime=201.18 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 548157 0 0 0 19944 174 0 0 18 0 5 0 595177103 1120956416 198132 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 273671 198132 418 389 0 269421 0
[pid=16753/tid=16755] ppid=16752 vsize=1094684 CPUtime=50.22 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 94657 0 0 0 4989 33 0 0 25 0 5 0 595177160 1120956416 198132 33554432000 4194304 5787044 140733951643760 18446744073709551615 5576660 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=1094684 CPUtime=50 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 82556 0 0 0 4964 36 0 0 25 0 5 0 595177171 1120956416 198132 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220798 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=1094684 CPUtime=50 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 146379 0 0 0 4942 58 0 0 25 0 5 0 595177183 1120956416 198132 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=1094684 CPUtime=50.03 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 141206 0 0 0 4969 34 0 0 25 0 5 0 595177197 1120956416 198132 33554432000 4194304 5787044 140733951643760 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 201.18
Current children cumulated vsize (KiB) 1103384
[startup+102.307 s]
/proc/loadavg: 7.91 7.72 7.83 9/188 16761
/proc/meminfo: memFree=11587216/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=1114208 CPUtime=405.71 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 614419 0 0 0 40384 187 0 0 18 0 5 0 595177103 1140948992 214840 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 278552 214840 418 389 0 274302 0
[pid=16753/tid=16755] ppid=16752 vsize=1114208 CPUtime=101.42 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 99730 0 0 0 10108 34 0 0 25 0 5 0 595177160 1140948992 214840 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220304 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=1114208 CPUtime=101.2 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 95016 0 0 0 10081 39 0 0 25 0 5 0 595177171 1140948992 214840 33554432000 4194304 5787044 140733951643760 18446744073709551615 4254537 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=1114208 CPUtime=100.93 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 151734 0 0 0 10032 61 0 0 25 0 5 0 595177183 1140948992 214840 33554432000 4194304 5787044 140733951643760 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=1114208 CPUtime=101.23 cores=1,3,5,7
################
# More data... #
################
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 170338 0 0 0 88046 75 0 0 25 0 5 0 595177171 2109325312 437518 33554432000 4194304 5787044 140733951643760 18446744073709551615 5591002 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=2059888 CPUtime=878 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 201866 0 0 0 87715 85 0 0 25 0 5 0 595177183 2109325312 437518 33554432000 4194304 5787044 140733951643760 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=2059888 CPUtime=881.24 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 298236 0 0 0 88067 57 0 0 25 0 5 0 595177197 2109325312 437518 33554432000 4194304 5787044 140733951643760 18446744073709551615 4337006 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3521.35
Current children cumulated vsize (KiB) 2068588
[startup+942.301 s]
/proc/loadavg: 8.12 8.09 7.98 9/188 16792
/proc/meminfo: memFree=10192700/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=2190960 CPUtime=3761 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 980726 0 0 0 375784 316 0 0 18 0 5 0 595177103 2243543040 462721 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 547740 462721 419 389 0 543490 0
[pid=16753/tid=16755] ppid=16752 vsize=2190960 CPUtime=939.94 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 210428 0 0 0 93916 78 0 0 25 0 5 0 595177160 2243543040 462721 33554432000 4194304 5787044 140733951643760 18446744073709551615 4227985 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=2190960 CPUtime=941.21 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 179511 0 0 0 94043 78 0 0 25 0 5 0 595177171 2243543040 462721 33554432000 4194304 5787044 140733951643760 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=2190960 CPUtime=937.67 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 209192 0 0 0 93678 89 0 0 25 0 5 0 595177183 2243543040 462721 33554432000 4194304 5787044 140733951643760 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=2190960 CPUtime=941.24 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 298236 0 0 0 94067 57 0 0 25 0 5 0 595177197 2243543040 462721 33554432000 4194304 5787044 140733951643760 18446744073709551615 4336977 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3761
Current children cumulated vsize (KiB) 2199660
[startup+1002.3 s]
/proc/loadavg: 7.84 8.00 7.95 5/179 16843
/proc/meminfo: memFree=11116640/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=2190960 CPUtime=4000.55 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 980737 0 0 0 399739 316 0 0 18 0 5 0 595177103 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 547740 462732 419 389 0 543490 0
[pid=16753/tid=16755] ppid=16752 vsize=2190960 CPUtime=999.9 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 210428 0 0 0 99912 78 0 0 25 0 5 0 595177160 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 4221250 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=2190960 CPUtime=1001.21 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 179522 0 0 0 100043 78 0 0 25 0 5 0 595177171 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=2190960 CPUtime=997.26 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 209192 0 0 0 99637 89 0 0 25 0 5 0 595177183 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220241 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=2190960 CPUtime=1001.24 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 298236 0 0 0 100067 57 0 0 25 0 5 0 595177197 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 4336977 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4000.55
Current children cumulated vsize (KiB) 2199660
[startup+1062.3 s]
/proc/loadavg: 7.76 7.93 7.93 9/188 16861
/proc/meminfo: memFree=14269304/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=2190960 CPUtime=4240.24 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 980737 0 0 0 423708 316 0 0 18 0 5 0 595177103 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 547740 462732 419 389 0 543490 0
[pid=16753/tid=16755] ppid=16752 vsize=2190960 CPUtime=1059.9 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 210428 0 0 0 105912 78 0 0 25 0 5 0 595177160 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 5592088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=2190960 CPUtime=1061.21 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 179522 0 0 0 106043 78 0 0 25 0 5 0 595177171 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 4227988 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=2190960 CPUtime=1056.94 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 209192 0 0 0 105605 89 0 0 25 0 5 0 595177183 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 260020052123 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=2190960 CPUtime=1061.24 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 298236 0 0 0 106067 57 0 0 25 0 5 0 595177197 2243543040 462732 33554432000 4194304 5787044 140733951643760 18446744073709551615 4336986 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4240.24
Current children cumulated vsize (KiB) 2199660
[startup+1122.3 s]
/proc/loadavg: 7.94 7.95 7.93 9/188 16863
/proc/meminfo: memFree=14087924/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=2256496 CPUtime=4479.89 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 998937 0 0 0 447666 323 0 0 18 0 5 0 595177103 2310651904 480932 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 564124 480932 419 389 0 559874 0
[pid=16753/tid=16755] ppid=16752 vsize=2256496 CPUtime=1119.91 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 213332 0 0 0 111911 80 0 0 25 0 5 0 595177160 2310651904 480932 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220576 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=2256496 CPUtime=1121.2 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 185604 0 0 0 112039 81 0 0 25 0 5 0 595177171 2310651904 480932 33554432000 4194304 5787044 140733951643760 18446744073709551615 4228052 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=2256496 CPUtime=1116.61 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 218406 0 0 0 111569 92 0 0 25 0 5 0 595177183 2310651904 480932 33554432000 4194304 5787044 140733951643760 18446744073709551615 4228014 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=2256496 CPUtime=1121.24 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 298236 0 0 0 112067 57 0 0 25 0 5 0 595177197 2310651904 480932 33554432000 4194304 5787044 140733951643760 18446744073709551615 4337014 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4479.89
Current children cumulated vsize (KiB) 2265196
[startup+1182.3 s]
/proc/loadavg: 8.09 7.99 7.94 9/188 16865
/proc/meminfo: memFree=13987796/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=2256496 CPUtime=4719.58 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 1003683 0 0 0 471633 325 0 0 18 0 5 0 595177103 2310651904 485678 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 564124 485678 419 389 0 559874 0
[pid=16753/tid=16755] ppid=16752 vsize=2256496 CPUtime=1179.9 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 214863 0 0 0 117910 80 0 0 25 0 5 0 595177160 2310651904 485678 33554432000 4194304 5787044 140733951643760 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=2256496 CPUtime=1181.2 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 185604 0 0 0 118039 81 0 0 25 0 5 0 595177171 2310651904 485678 33554432000 4194304 5787044 140733951643760 18446744073709551615 4228056 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=2256496 CPUtime=1176.29 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 221621 0 0 0 117535 94 0 0 25 0 5 0 595177183 2310651904 485678 33554432000 4194304 5787044 140733951643760 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=2256496 CPUtime=1181.24 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 298236 0 0 0 118067 57 0 0 25 0 5 0 595177197 2310651904 485678 33554432000 4194304 5787044 140733951643760 18446744073709551615 4336696 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4719.58
Current children cumulated vsize (KiB) 2265196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.5 s]
/proc/loadavg: 8.20 8.02 7.95 9/188 16865
/proc/meminfo: memFree=13926040/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=2256496 CPUtime=4800.28 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 1009803 0 0 0 479700 328 0 0 18 0 5 0 595177103 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 564124 491798 419 389 0 559874 0
[pid=16753/tid=16755] ppid=16752 vsize=2256496 CPUtime=1200.11 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 220977 0 0 0 119928 83 0 0 25 0 5 0 595177160 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220942 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=2256496 CPUtime=1201.41 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 185604 0 0 0 120060 81 0 0 25 0 5 0 595177171 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220668 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=2256496 CPUtime=1196.38 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 221627 0 0 0 119544 94 0 0 25 0 5 0 595177183 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 4227985 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=2256496 CPUtime=1201.45 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 298236 0 0 0 120088 57 0 0 25 0 5 0 595177197 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 2265196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.5 s]
/proc/loadavg: 8.20 8.02 7.95 9/188 16865
/proc/meminfo: memFree=13926040/32951124 swapFree=67111528/67111528
[pid=16752] ppid=16750 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (priss.sh) S 16750 16752 15086 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 595177103 8908800 252 33554432000 4194304 4922060 140733754561520 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16752/statm: 2175 252 211 178 0 68 0
[pid=16753] ppid=16752 vsize=2256496 CPUtime=4800.28 cores=1,3,5,7
/proc/16753/stat : 16753 (priss) S 16752 16752 15086 0 -1 4202496 1009803 0 0 0 479700 328 0 0 18 0 5 0 595177103 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16753/statm: 564124 491798 419 389 0 559874 0
[pid=16753/tid=16755] ppid=16752 vsize=2256496 CPUtime=1200.11 cores=1,3,5,7
/proc/16753/task/16755/stat : 16755 (priss) R 16752 16752 15086 0 -1 4202560 220977 0 0 0 119928 83 0 0 25 0 5 0 595177160 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220942 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16753/tid=16756] ppid=16752 vsize=2256496 CPUtime=1201.41 cores=1,3,5,7
/proc/16753/task/16756/stat : 16756 (priss) R 16752 16752 15086 0 -1 4202560 185604 0 0 0 120060 81 0 0 25 0 5 0 595177171 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 4220668 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16753/tid=16757] ppid=16752 vsize=2256496 CPUtime=1196.38 cores=1,3,5,7
/proc/16753/task/16757/stat : 16757 (priss) R 16752 16752 15086 0 -1 4202560 221627 0 0 0 119544 94 0 0 25 0 5 0 595177183 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 4227985 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16753/tid=16758] ppid=16752 vsize=2256496 CPUtime=1201.45 cores=1,3,5,7
/proc/16753/task/16758/stat : 16758 (priss) R 16752 16752 15086 0 -1 4202560 298236 0 0 0 120088 57 0 0 25 0 5 0 595177197 2310651904 491798 33554432000 4194304 5787044 140733951643760 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 2265196
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16752 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1202.52
CPU time (s): 4800.28
CPU user time (s): 4797
CPU system time (s): 3.28
CPU usage (%): 399.186
Max. virtual memory (cumulated for all children) (KiB): 2265196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332
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= 5
involuntary context switches= 2
runsolver used 1.82572 second user time and 4.75028 second system time
The end