runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4100201-1466211570/watcher-4100201-1466211570 -o /tmp/evaluation-result-4100201-1466211570/solver-4100201-1466211570 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11341 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100201-1466211570.opb
pid=12212
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.04 2.05 2.00 3/179 12215
/proc/meminfo: memFree=30686984/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 2662 0 0 0 0 0 0 0 20 0 4 0 23207432 731312128 3023 33554432000 4194304 16246674 140737221760928 140737221760352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 179055 3031 441 2943 0 175949 0
[pid=12215/tid=12216] ppid=12212 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 749137920 3093 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 754380800 3112 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23207432 758575104 3127 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100221 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 12215
/proc/meminfo: memFree=30686984/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 29285 0 0 0 5 4 0 0 20 0 4 0 23207432 1333334016 29585 33554432000 4194304 16246674 140737221760928 140737221760240 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 325521 29601 801 2943 0 322415 0
[pid=12215/tid=12216] ppid=12212 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1333334016 29613 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1333334016 29624 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1333334016 29635 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084
[startup+0.200537 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 12215
/proc/meminfo: memFree=30686984/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 44921 0 0 0 13 6 0 0 20 0 4 0 23207432 1345916928 45731 33554432000 4194304 16246674 140737221760928 140737221760240 7361381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 328593 45731 801 2943 0 325487 0
[pid=12215/tid=12216] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 45731 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 45731 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 45731 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372
[startup+0.300515 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 12215
/proc/meminfo: memFree=30686984/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 55263 0 0 0 22 7 0 0 20 0 4 0 23207432 1345916928 56073 33554432000 4194304 16246674 140737221760928 140737221760240 4220495 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 328593 56073 802 2943 0 325487 0
[pid=12215/tid=12216] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 56073 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 56073 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 56073 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372
[startup+0.700417 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 12215
/proc/meminfo: memFree=30686984/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 65250 0 0 0 60 9 0 0 20 0 4 0 23207432 1345916928 66060 33554432000 4194304 16246674 140737221760928 140737221742848 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 328593 66060 808 2943 0 325487 0
[pid=12215/tid=12216] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 66060 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 66060 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1345916928 66060 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372
[startup+1.50043 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 12219
/proc/meminfo: memFree=30372352/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1.49 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 83013 0 0 0 138 11 0 0 20 0 4 0 23207432 1364791296 83823 33554432000 4194304 16246674 140737221760928 140737221758720 4206872 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 83823 837 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 83823 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 83823 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 83823 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1332804
[startup+3.10042 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 12219
/proc/meminfo: memFree=30298076/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=3.09 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 109821 0 0 0 294 15 0 0 20 0 4 0 23207432 1364791296 110631 33554432000 4194304 16246674 140737221760928 140737221758720 13191438 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 110631 838 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 110631 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 110631 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 110631 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1332804
[startup+6.30042 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 12219
/proc/meminfo: memFree=30085080/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=6.29 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 194898 0 0 0 604 25 0 0 20 0 4 0 23207432 1364791296 195708 33554432000 4194304 16246674 140737221760928 140737221742848 5721660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 195712 897 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 195714 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 195715 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 195717 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1332804
[startup+12.7004 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 12219
/proc/meminfo: memFree=29605840/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=12.69 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269749 0 0 0 1233 36 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140737221742848 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 270559 897 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1332804
[startup+25.5005 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 12219
/proc/meminfo: memFree=29606608/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=25.49 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269749 0 0 0 2513 36 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140737221742848 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 270559 897 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1332804
[startup+51.1005 s]
/proc/loadavg: 1.96 2.02 1.99 4/184 12271
/proc/meminfo: memFree=30275348/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=51.09 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269749 0 0 0 5073 36 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140737221742848 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 270559 897 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270559 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1332804
[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/185 12295
/proc/meminfo: memFree=30227888/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=102.28 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269749 0 0 0 10192 36 0 0 20 0 4 0 23207432 1364791296 270815 33554432000 4194304 16246674 140737221760928 140737221742848 12483320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 270815 897 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270815 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270815 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 270815 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1332804
################
# More data... #
################
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1332804
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/183 12529
/proc/meminfo: memFree=29012680/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1302.03 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 130167 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1332804
[startup+1362.3 s]
/proc/loadavg: 2.18 2.08 2.03 3/183 12530
/proc/meminfo: memFree=29012584/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1362.02 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 136166 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1332804
[startup+1422.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/183 12532
/proc/meminfo: memFree=29012892/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1422.02 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 142166 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1332804
[startup+1482.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/183 12533
/proc/meminfo: memFree=29013044/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1482 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 148164 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 5712771 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1332804
[startup+1542.31 s]
/proc/loadavg: 2.09 2.08 2.03 3/183 12534
/proc/meminfo: memFree=29013072/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1542 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 154164 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1332804
[startup+1602.3 s]
/proc/loadavg: 2.19 2.11 2.04 3/183 12535
/proc/meminfo: memFree=29012972/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1601.99 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 160163 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1332804
[startup+1662.3 s]
/proc/loadavg: 2.20 2.13 2.05 3/183 12536
/proc/meminfo: memFree=29012868/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1661.98 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 166162 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1332804
[startup+1722.3 s]
/proc/loadavg: 2.12 2.12 2.05 3/183 12538
/proc/meminfo: memFree=29013600/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1721.97 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 172161 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 12483300 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1332804
[startup+1782.3 s]
/proc/loadavg: 2.04 2.09 2.04 3/183 12539
/proc/meminfo: memFree=29013180/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1781.96 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 178160 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 12483393 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1332804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.10 2.10 2.05 3/183 12539
/proc/meminfo: memFree=29013428/32872528 swapFree=249320/249320
[pid=12215] ppid=12212 vsize=1332804 CPUtime=1800.06 cores=1,3,5,7
/proc/12215/stat : 12215 (toysat) R 12212 12215 11324 0 -1 4202496 269848 0 0 0 179970 36 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140737221742848 5711318 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12215/statm: 333201 274598 900 2943 0 330095 0
[pid=12215/tid=12216] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12216/stat : 12216 (toysat) S 12212 12215 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483358600432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=12215/tid=12217] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12217/stat : 12217 (toysat) S 12212 12215 11324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483279957232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=12215/tid=12218] ppid=12212 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/12215/task/12218/stat : 12218 (toysat) S 12212 12215 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23207432 1364791296 274598 33554432000 4194304 16246674 140737221760928 140483269483696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1332804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12215 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.71
CPU system time (s): 0.367944
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 1332804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.367944
maximum resident set size= 1098392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269848
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= 111
involuntary context switches= 2138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68729 second user time and 6.78097 second system time
The end