runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3362369-1305302016/watcher-3362369-1305302016 -o /tmp/evaluation-result-3362369-1305302016/solver-3362369-1305302016 -C 4800 -W 1300 -M 15500 manysat.sh HOME/instance-3362369-1305302016.cnf aimd 1 

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.93 7.80 7.92 5/295 20789
/proc/meminfo: memFree=24468636/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 329 0 0 0 0 0 0 0 25 0 1 0 622617524 8908800 249 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20789/statm: 2175 249 209 178 0 68 0

[startup+0.0347611 s]
/proc/loadavg: 6.93 7.80 7.92 5/295 20789
/proc/meminfo: memFree=24468636/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 329 0 0 0 0 0 0 0 25 0 1 0 622617524 8908800 249 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20789/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100761 s]
/proc/loadavg: 6.93 7.80 7.92 5/295 20789
/proc/meminfo: memFree=24468636/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 329 0 0 0 0 0 0 0 25 0 1 0 622617524 8908800 249 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/20789/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30068 s]
/proc/loadavg: 6.93 7.80 7.92 5/295 20789
/proc/meminfo: memFree=24468636/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 8700

[startup+1.2525 s]
/proc/loadavg: 6.93 7.80 7.92 5/295 20789
/proc/meminfo: memFree=24468636/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 8700

[startup+1.50046 s]
/proc/loadavg: 6.93 7.80 7.92 5/295 20789
/proc/meminfo: memFree=24468636/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 8700

[startup+3.10117 s]
/proc/loadavg: 7.01 7.81 7.92 9/300 20795
/proc/meminfo: memFree=24395940/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=103616 CPUtime=11.15 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 17584 0 0 0 1111 4 0 0 23 0 4 0 622617541 106102784 17516 33554432000 134512640 135305190 4293789664 18446744073709551615 134558379 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 25904 17516 84 194 0 25708 0
[pid=20792/tid=20793] ppid=20789 vsize=103616 CPUtime=2.74 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 1397 0 0 0 274 0 0 0 23 0 4 0 622617559 106102784 17516 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=103616 CPUtime=2.74 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 2567 0 0 0 274 0 0 0 23 0 4 0 622617559 106102784 17516 33554432000 134512640 135305190 4293789664 18446744073709551615 134840070 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=103616 CPUtime=2.74 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 1523 0 0 0 274 0 0 0 19 0 4 0 622617559 106102784 17516 33554432000 134512640 135305190 4293789664 18446744073709551615 134857122 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 112316

[startup+6.30057 s]
/proc/loadavg: 7.01 7.81 7.92 9/300 20795
/proc/meminfo: memFree=24378200/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=115720 CPUtime=23.92 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 20999 0 0 0 2386 6 0 0 20 0 4 0 622617541 118497280 20931 33554432000 134512640 135305190 4293789664 18446744073709551615 134547909 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 28930 20931 84 194 0 28734 0
[pid=20792/tid=20793] ppid=20789 vsize=115720 CPUtime=5.94 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 2190 0 0 0 593 1 0 0 25 0 4 0 622617559 118497280 20931 33554432000 134512640 135305190 4293789664 18446744073709551615 134528235 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=115720 CPUtime=5.94 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 3796 0 0 0 593 1 0 0 25 0 4 0 622617559 118497280 20931 33554432000 134512640 135305190 4293789664 18446744073709551615 134528395 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=115720 CPUtime=5.94 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 2220 0 0 0 593 1 0 0 25 0 4 0 622617559 118497280 20931 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 124420

[startup+12.7004 s]
/proc/loadavg: 7.24 7.83 7.92 9/300 20795
/proc/meminfo: memFree=24353544/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=134708 CPUtime=49.47 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 25514 0 0 0 4939 8 0 0 25 0 4 0 622617541 137940992 25446 33554432000 134512640 135305190 4293789664 18446744073709551615 134528254 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 33677 25446 84 194 0 33481 0
[pid=20792/tid=20793] ppid=20789 vsize=134708 CPUtime=12.35 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 3233 0 0 0 1233 2 0 0 25 0 4 0 622617559 137940992 25446 33554432000 134512640 135305190 4293789664 18446744073709551615 134528444 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=134708 CPUtime=12.35 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 5319 0 0 0 1233 2 0 0 25 0 4 0 622617559 137940992 25446 33554432000 134512640 135305190 4293789664 18446744073709551615 134528319 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=134708 CPUtime=12.35 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 3145 0 0 0 1234 1 0 0 25 0 4 0 622617559 137940992 25446 33554432000 134512640 135305190 4293789664 18446744073709551615 134528388 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.63
Current children cumulated vsize (KiB) 143408

[startup+25.501 s]
/proc/loadavg: 7.36 7.83 7.92 9/300 20795
/proc/meminfo: memFree=24313892/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=170124 CPUtime=100.51 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 34303 0 0 0 10037 14 0 0 22 0 4 0 622617541 174206976 34235 33554432000 134512640 135305190 4293789664 18446744073709551615 134528410 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 42531 34235 84 194 0 42335 0
[pid=20792/tid=20793] ppid=20789 vsize=170124 CPUtime=25.13 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 5150 0 0 0 2510 3 0 0 25 0 4 0 622617559 174206976 34235 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=170124 CPUtime=25.14 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 8269 0 0 0 2511 3 0 0 25 0 4 0 622617559 174206976 34235 33554432000 134512640 135305190 4293789664 18446744073709551615 134528181 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=170124 CPUtime=25.14 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 5084 0 0 0 2510 4 0 0 25 0 4 0 622617559 174206976 34235 33554432000 134512640 135305190 4293789664 18446744073709551615 134528410 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.67
Current children cumulated vsize (KiB) 178824

[startup+51.1003 s]
/proc/loadavg: 7.58 7.85 7.92 9/300 20796
/proc/meminfo: memFree=24263844/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=216112 CPUtime=202.65 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 45296 0 0 0 20243 22 0 0 25 0 4 0 622617541 221298688 45228 33554432000 134512640 135305190 4293789664 18446744073709551615 134528446 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 54028 45228 84 194 0 53832 0
[pid=20792/tid=20793] ppid=20789 vsize=216112 CPUtime=50.71 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 7646 0 0 0 5067 4 0 0 25 0 4 0 622617559 221298688 45228 33554432000 134512640 135305190 4293789664 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=216112 CPUtime=50.74 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 11654 0 0 0 5070 4 0 0 25 0 4 0 622617559 221298688 45228 33554432000 134512640 135305190 4293789664 18446744073709551615 134528402 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=216112 CPUtime=50.72 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 7571 0 0 0 5066 6 0 0 25 0 4 0 622617559 221298688 45228 33554432000 134512640 135305190 4293789664 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.81
Current children cumulated vsize (KiB) 224812

[startup+102.301 s]
/proc/loadavg: 7.87 7.88 7.93 9/300 20798
/proc/meminfo: memFree=24204144/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=257640 CPUtime=406.89 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 55410 0 0 0 40654 35 0 0 25 0 4 0 622617541 263823360 55342 33554432000 134512640 135305190 4293789664 18446744073709551615 134547909 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 64410 55342 84 194 0 64214 0
[pid=20792/tid=20793] ppid=20789 vsize=257640 CPUtime=101.88 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 9581 0 0 0 10181 7 0 0 25 0 4 0 622617559 263823360 55342 33554432000 134512640 135305190 4293789664 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=257640 CPUtime=101.91 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 15845 0 0 0 10183 8 0 0 25 0 4 0 622617559 263823360 55342 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=257640 CPUtime=101.91 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 9438 0 0 0 10181 10 0 0 25 0 4 0 622617559 263823360 55342 33554432000 134512640 135305190 4293789664 18446744073709551615 134551694 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.05
Current children cumulated vsize (KiB) 266340

[startup+162.301 s]
/proc/loadavg: 7.99 7.92 7.93 9/300 20799
/proc/meminfo: memFree=24132680/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=304252 CPUtime=646.26 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 66903 0 0 0 64579 47 0 0 25 0 4 0 622617541 311554048 66835 33554432000 134512640 135305190 4293789664 18446744073709551615 134528388 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 76063 66835 84 194 0 75867 0
[pid=20792/tid=20793] ppid=20789 vsize=304252 CPUtime=161.86 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 11952 0 0 0 16176 10 0 0 25 0 4 0 622617559 311554048 66835 33554432000 134512640 135305190 4293789664 18446744073709551615 134528379 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=304252 CPUtime=161.89 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 19664 0 0 0 16178 11 0 0 25 0 4 0 622617559 311554048 66835 33554432000 134512640 135305190 4293789664 18446744073709551615 134528376 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=304252 CPUtime=161.89 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 11856 0 0 0 16177 12 0 0 25 0 4 0 622617559 311554048 66835 33554432000 134512640 135305190 4293789664 18446744073709551615 134528277 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 646.42
Current children cumulated vsize (KiB) 312952

[startup+222.301 s]

################
# More data... #
################

[pid=20792/tid=20794] ppid=20789 vsize=605164 CPUtime=761.77 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 47376 0 0 0 76142 35 0 0 25 0 4 0 622617559 619687936 139080 33554432000 134512640 135305190 4293789664 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=605164 CPUtime=761.76 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 27171 0 0 0 76146 30 0 0 25 0 4 0 622617559 619687936 139080 33554432000 134512640 135305190 4293789664 18446744073709551615 134528224 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.46
Current children cumulated vsize (KiB) 613864

[startup+822.301 s]
/proc/loadavg: 8.01 8.03 7.99 9/300 20826
/proc/meminfo: memFree=23682792/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=637372 CPUtime=3279.75 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 146891 0 0 0 327837 138 0 0 25 0 4 0 622617541 652668928 146743 33554432000 134512640 135305190 4293789664 18446744073709551615 134528235 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 159343 146743 84 194 0 159147 0
[pid=20792/tid=20793] ppid=20789 vsize=637372 CPUtime=820.18 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 26811 0 0 0 81989 29 0 0 25 0 4 0 622617559 652668928 146743 33554432000 134512640 135305190 4293789664 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=637372 CPUtime=821.78 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 50248 0 0 0 82138 40 0 0 25 0 4 0 622617559 652668928 146743 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=637372 CPUtime=821.77 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28812 0 0 0 82144 33 0 0 25 0 4 0 622617559 652668928 146743 33554432000 134512640 135305190 4293789664 18446744073709551615 134528480 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.91
Current children cumulated vsize (KiB) 646072

[startup+882.301 s]
/proc/loadavg: 8.00 8.03 7.99 9/300 20827
/proc/meminfo: memFree=23658200/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=653996 CPUtime=3519.1 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 151009 0 0 0 351764 146 0 0 25 0 4 0 622617541 669691904 150858 33554432000 134512640 135305190 4293789664 18446744073709551615 134528768 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 163499 150858 84 194 0 163303 0
[pid=20792/tid=20793] ppid=20789 vsize=653996 CPUtime=880.18 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28400 0 0 0 87985 33 0 0 25 0 4 0 622617559 669691904 150858 33554432000 134512640 135305190 4293789664 18446744073709551615 134528338 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=653996 CPUtime=881.71 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 51367 0 0 0 88129 42 0 0 25 0 4 0 622617559 669691904 150858 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=653996 CPUtime=881.76 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 29681 0 0 0 88142 34 0 0 25 0 4 0 622617559 669691904 150858 33554432000 134512640 135305190 4293789664 18446744073709551615 134528224 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.26
Current children cumulated vsize (KiB) 662696

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

[startup+883.801 s]
/proc/loadavg: 8.00 8.03 7.99 9/300 20827
/proc/meminfo: memFree=23657580/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=654140 CPUtime=3525.09 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 151070 0 0 0 352363 146 0 0 25 0 4 0 622617541 669839360 150919 33554432000 134512640 135305190 4293789664 18446744073709551615 134528688 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 163535 150919 84 194 0 163339 0
[pid=20792/tid=20793] ppid=20789 vsize=654140 CPUtime=881.68 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28400 0 0 0 88135 33 0 0 25 0 4 0 622617559 669839360 150919 33554432000 134512640 135305190 4293789664 18446744073709551615 134528501 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=654140 CPUtime=883.21 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 51402 0 0 0 88279 42 0 0 25 0 4 0 622617559 669839360 150919 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=654140 CPUtime=883.26 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 29706 0 0 0 88292 34 0 0 25 0 4 0 622617559 669839360 150919 33554432000 134512640 135305190 4293789664 18446744073709551615 134556752 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3525.25
Current children cumulated vsize (KiB) 662840

[startup+896.6 s]
/proc/loadavg: 8.00 8.02 7.99 9/300 20828
/proc/meminfo: memFree=23653220/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=655040 CPUtime=3576.12 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 151278 0 0 0 357465 147 0 0 25 0 4 0 622617541 670760960 151127 33554432000 134512640 135305190 4293789664 18446744073709551615 134528503 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 163760 151127 84 194 0 163564 0
[pid=20792/tid=20793] ppid=20789 vsize=655040 CPUtime=894.48 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28453 0 0 0 89415 33 0 0 25 0 4 0 622617559 670760960 151127 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=655040 CPUtime=896.01 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 51483 0 0 0 89559 42 0 0 25 0 4 0 622617559 670760960 151127 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=655040 CPUtime=896.01 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 29763 0 0 0 89567 34 0 0 25 0 4 0 622617559 670760960 151127 33554432000 134512640 135305190 4293789664 18446744073709551615 134528310 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3576.28
Current children cumulated vsize (KiB) 663740

[startup+899.801 s]
/proc/loadavg: 8.00 8.02 7.99 9/300 20828
/proc/meminfo: memFree=23651732/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=655328 CPUtime=3588.89 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 151322 0 0 0 358742 147 0 0 25 0 4 0 622617541 671055872 151171 33554432000 134512640 135305190 4293789664 18446744073709551615 134528376 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 163832 151171 84 194 0 163636 0
[pid=20792/tid=20793] ppid=20789 vsize=655328 CPUtime=897.68 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28462 0 0 0 89735 33 0 0 25 0 4 0 622617559 671055872 151171 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=655328 CPUtime=899.21 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 51517 0 0 0 89879 42 0 0 25 0 4 0 622617559 671055872 151171 33554432000 134512640 135305190 4293789664 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=655328 CPUtime=899.21 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 29763 0 0 0 89887 34 0 0 25 0 4 0 622617559 671055872 151171 33554432000 134512640 135305190 4293789664 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3589.05
Current children cumulated vsize (KiB) 664028

[startup+903.001 s]
/proc/loadavg: 8.00 8.02 7.99 9/300 20828
/proc/meminfo: memFree=23649252/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=655604 CPUtime=3601.66 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 151389 0 0 0 360019 147 0 0 25 0 4 0 622617541 671338496 151238 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 163901 151238 84 194 0 163705 0
[pid=20792/tid=20793] ppid=20789 vsize=655604 CPUtime=900.88 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28470 0 0 0 90055 33 0 0 25 0 4 0 622617559 671338496 151238 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=655604 CPUtime=902.41 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 51570 0 0 0 90199 42 0 0 25 0 4 0 622617559 671338496 151238 33554432000 134512640 135305190 4293789664 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=655604 CPUtime=902.41 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 29763 0 0 0 90207 34 0 0 25 0 4 0 622617559 671338496 151238 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3601.82
Current children cumulated vsize (KiB) 664304

[startup+904.601 s]
/proc/loadavg: 8.00 8.02 7.99 9/300 20828
/proc/meminfo: memFree=23648868/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=655820 CPUtime=3608.05 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 151443 0 0 0 360658 147 0 0 25 0 4 0 622617541 671559680 151292 33554432000 134512640 135305190 4293789664 18446744073709551615 134528520 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 163955 151292 84 194 0 163759 0
[pid=20792/tid=20793] ppid=20789 vsize=655820 CPUtime=902.48 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28472 0 0 0 90215 33 0 0 25 0 4 0 622617559 671559680 151292 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=655820 CPUtime=904.01 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 51622 0 0 0 90359 42 0 0 25 0 4 0 622617559 671559680 151292 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=655820 CPUtime=904.01 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 29763 0 0 0 90367 34 0 0 25 0 4 0 622617559 671559680 151292 33554432000 134512640 135305190 4293789664 18446744073709551615 134528503 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3608.21
Current children cumulated vsize (KiB) 664520

[startup+905.401 s]
/proc/loadavg: 8.00 8.02 7.99 9/300 20828
/proc/meminfo: memFree=23648248/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=655820 CPUtime=3611.24 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 151452 0 0 0 360977 147 0 0 25 0 4 0 622617541 671559680 151301 33554432000 134512640 135305190 4293789664 18446744073709551615 134528298 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 163955 151301 84 194 0 163759 0
[pid=20792/tid=20793] ppid=20789 vsize=655820 CPUtime=903.28 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28473 0 0 0 90295 33 0 0 25 0 4 0 622617559 671559680 151301 33554432000 134512640 135305190 4293789664 18446744073709551615 134528768 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=655820 CPUtime=904.81 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 51629 0 0 0 90439 42 0 0 25 0 4 0 622617559 671559680 151301 33554432000 134512640 135305190 4293789664 18446744073709551615 134528392 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=655820 CPUtime=904.81 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 29763 0 0 0 90447 34 0 0 25 0 4 0 622617559 671559680 151301 33554432000 134512640 135305190 4293789664 18446744073709551615 134528263 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3611.4
Current children cumulated vsize (KiB) 664520

[startup+905.801 s]
/proc/loadavg: 8.00 8.02 7.99 9/300 20828
/proc/meminfo: memFree=23648248/32951124 swapFree=63485424/67111528
[pid=20789] ppid=20787 vsize=8700 CPUtime=0.16 cores=1,3,5,7
/proc/20789/stat : 20789 (manysat.sh) S 20787 20789 19790 0 -1 4202496 357 2718 0 0 0 0 15 1 24 0 1 0 622617524 8908800 252 33554432000 4194304 4922060 140737179962960 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/20789/statm: 2175 252 209 178 0 68 0
[pid=20792] ppid=20789 vsize=655820 CPUtime=3612.84 cores=1,3,5,7
/proc/20792/stat : 20792 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202496 151454 0 0 0 361137 147 0 0 25 0 4 0 622617541 671559680 151303 33554432000 134512640 135305190 4293789664 18446744073709551615 134547909 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/20792/statm: 163955 151303 84 194 0 163759 0
[pid=20792/tid=20793] ppid=20789 vsize=655820 CPUtime=903.68 cores=1,3,5,7
/proc/20792/task/20793/stat : 20793 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 28473 0 0 0 90335 33 0 0 25 0 4 0 622617559 671559680 151303 33554432000 134512640 135305190 4293789664 18446744073709551615 134528265 0 0 4096 3 0 0 0 -1 1 0 0 0
[pid=20792/tid=20794] ppid=20789 vsize=655820 CPUtime=905.21 cores=1,3,5,7
/proc/20792/task/20794/stat : 20794 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 51631 0 0 0 90479 42 0 0 25 0 4 0 622617559 671559680 151303 33554432000 134512640 135305190 4293789664 18446744073709551615 134528557 0 0 4096 3 0 0 0 -1 5 0 0 0
[pid=20792/tid=20795] ppid=20789 vsize=655820 CPUtime=905.21 cores=1,3,5,7
/proc/20792/task/20795/stat : 20795 (manysat1.1_stat) R 20789 20789 19790 0 -1 4202560 29763 0 0 0 90487 34 0 0 25 0 4 0 622617559 671559680 151303 33554432000 134512640 135305190 4293789664 18446744073709551615 134528307 0 0 4096 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3613
Current children cumulated vsize (KiB) 664520

Child status: 10
Real time (s): 905.896
CPU time (s): 3613.31
CPU user time (s): 3611.8
CPU system time (s): 1.51577
CPU usage (%): 398.866
Max. virtual memory (cumulated for all children) (KiB): 664520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3611.79
system time used= 1.51577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154749
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= 19119
involuntary context switches= 15292

runsolver used 2.35264 second user time and 5.88711 second system time

The end