runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3706207-1338118743/watcher-3706207-1338118743 -o /tmp/evaluation-result-3706207-1338118743/solver-3706207-1338118743 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706207-1338118743.opb
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.03 2.00 3/176 8999
/proc/meminfo: memFree=28607060/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 278001076 7405568 742 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 1808 742 412 1167 0 589 0
[startup+0.092219 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 8999
/proc/meminfo: memFree=28607060/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=10304 CPUtime=0.08 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 1842 0 0 0 8 0 0 0 20 0 1 0 278001076 10551296 1764 33554432000 4194304 8973514 140734250622080 140734250621576 4209336 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 2576 1764 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10304
[startup+0.100194 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 8999
/proc/meminfo: memFree=28607060/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 2098 0 0 0 9 0 0 0 20 0 1 0 278001076 11599872 2020 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 2832 2020 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300238 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 8999
/proc/meminfo: memFree=28607060/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=23616 CPUtime=0.29 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 5170 0 0 0 29 0 0 0 20 0 1 0 278001076 24182784 5092 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 5904 5092 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23616
[startup+0.700179 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 8999
/proc/meminfo: memFree=28607060/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=38976 CPUtime=0.69 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 9029 0 0 0 68 1 0 0 20 0 1 0 278001076 39911424 8951 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 9744 8951 431 1167 0 8525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38976
[startup+1.50018 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 9000
/proc/meminfo: memFree=28571216/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=38976 CPUtime=1.49 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 9029 0 0 0 148 1 0 0 20 0 1 0 278001076 39911424 8951 33554432000 4194304 8973514 140734250622080 140734250621576 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 9744 8951 431 1167 0 8525 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38976
[startup+3.10019 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 9000
/proc/meminfo: memFree=28571076/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=49216 CPUtime=3.09 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 11589 0 0 0 307 2 0 0 20 0 1 0 278001076 50397184 11511 33554432000 4194304 8973514 140734250622080 140734250621576 4481184 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 12304 11511 431 1167 0 11085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49216
[startup+6.3002 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 9000
/proc/meminfo: memFree=28556840/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=52288 CPUtime=6.29 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 12357 0 0 0 625 4 0 0 20 0 1 0 278001076 53542912 12279 33554432000 4194304 8973514 140734250622080 140734250621344 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 13072 12279 431 1167 0 11853 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52288
[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 9000
/proc/meminfo: memFree=28552888/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=52288 CPUtime=12.69 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 12357 0 0 0 1263 6 0 0 20 0 1 0 278001076 53542912 12279 33554432000 4194304 8973514 140734250622080 140734250621576 5389011 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 13072 12279 431 1167 0 11853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52288
[startup+25.5002 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 9000
/proc/meminfo: memFree=28552440/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=52288 CPUtime=25.48 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 12370 0 0 0 2538 10 0 0 20 0 1 0 278001076 53542912 12292 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 13072 12292 444 1167 0 11853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52288
[startup+51.1002 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 9001
/proc/meminfo: memFree=28538852/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=63552 CPUtime=51.08 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 15191 0 0 0 5084 24 0 0 20 0 1 0 278001076 65077248 15108 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 15888 15108 444 1167 0 14669 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63552
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 9004
/proc/meminfo: memFree=28497624/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=97344 CPUtime=102.26 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 23647 0 0 0 10172 54 0 0 20 0 1 0 278001076 99680256 23556 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 24336 23556 444 1167 0 23117 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 97344
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9004
/proc/meminfo: memFree=28462036/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=135232 CPUtime=162.26 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 33120 0 0 0 16136 90 0 0 20 0 1 0 278001076 138477568 33029 33554432000 4194304 8973514 140734250622080 140734250621344 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 33808 33029 445 1167 0 32589 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 135232
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 9004
/proc/meminfo: memFree=28427400/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=162880 CPUtime=222.24 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 40037 0 0 0 22105 119 0 0 20 0 1 0 278001076 166789120 39941 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 40720 39941 445 1167 0 39501 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 162880
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9004
/proc/meminfo: memFree=28424284/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=165952 CPUtime=282.23 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 40805 0 0 0 28069 154 0 0 20 0 1 0 278001076 169934848 40709 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 41488 40709 445 1167 0 40269 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 165952
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 9004
/proc/meminfo: memFree=28425480/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=166976 CPUtime=342.22 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 41061 0 0 0 34033 189 0 0 20 0 1 0 278001076 170983424 40965 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 41744 40965 445 1167 0 40525 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 166976
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9006
/proc/meminfo: memFree=28389196/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=197696 CPUtime=402.21 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 48742 0 0 0 40010 211 0 0 20 0 1 0 278001076 202440704 48645 33554432000 4194304 8973514 140734250622080 140734250621344 4426576 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 49424 48645 445 1167 0 48205 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 197696
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9006
/proc/meminfo: memFree=28377768/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=197696 CPUtime=462.2 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 48745 0 0 0 45978 242 0 0 20 0 1 0 278001076 202440704 48645 33554432000 4194304 8973514 140734250622080 140734250605176 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 49424 48645 445 1167 0 48205 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 197696
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9006
/proc/meminfo: memFree=28345900/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=217152 CPUtime=522.19 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 53609 0 0 0 51944 275 0 0 20 0 1 0 278001076 222363648 53509 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 54288 53509 445 1167 0 53069 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 217152
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9006
/proc/meminfo: memFree=28326432/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=233536 CPUtime=582.18 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 57705 0 0 0 57917 301 0 0 20 0 1 0 278001076 239140864 57605 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 58384 57605 445 1167 0 57165 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 233536
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9010
/proc/meminfo: memFree=28323228/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=244800 CPUtime=822.14 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 60521 0 0 0 81810 404 0 0 20 0 1 0 278001076 250675200 60421 33554432000 4194304 8973514 140734250622080 140734250621576 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 61200 60421 445 1167 0 59981 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 244800
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9010
/proc/meminfo: memFree=28331668/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=244800 CPUtime=882.14 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 60521 0 0 0 87783 431 0 0 20 0 1 0 278001076 250675200 60421 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 61200 60421 445 1167 0 59981 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 244800
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9010
/proc/meminfo: memFree=28332040/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=244800 CPUtime=942.13 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 60521 0 0 0 93752 461 0 0 20 0 1 0 278001076 250675200 60421 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 61200 60421 445 1167 0 59981 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 244800
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28320508/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=252992 CPUtime=1002.12 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 62569 0 0 0 99722 490 0 0 20 0 1 0 278001076 259063808 62469 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 63248 62469 445 1167 0 62029 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 252992
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28290220/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=280640 CPUtime=1062.11 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 69483 0 0 0 105692 519 0 0 20 0 1 0 278001076 287375360 69381 33554432000 4194304 8973514 140734250622080 140734250621576 4462456 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 70160 69381 445 1167 0 68941 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 280640
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28275680/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=294976 CPUtime=1122.1 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 73067 0 0 0 111662 548 0 0 20 0 1 0 278001076 302055424 72965 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 73744 72965 445 1167 0 72525 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 294976
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28275804/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=294976 CPUtime=1182.09 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 73067 0 0 0 117634 575 0 0 20 0 1 0 278001076 302055424 72965 33554432000 4194304 8973514 140734250622080 140734250621576 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 73744 72965 445 1167 0 72525 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 294976
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9011
/proc/meminfo: memFree=28262660/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=308288 CPUtime=1242.08 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 76395 0 0 0 123606 602 0 0 20 0 1 0 278001076 315686912 76293 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 77072 76293 445 1167 0 75853 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 308288
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9015
/proc/meminfo: memFree=28257976/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=308288 CPUtime=1302.07 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 76397 0 0 0 129578 629 0 0 20 0 1 0 278001076 315686912 76293 33554432000 4194304 8973514 140734250622080 140734250621576 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 77072 76293 445 1167 0 75853 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 308288
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9038
/proc/meminfo: memFree=28250096/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=316480 CPUtime=1362.06 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 78446 0 0 0 135553 653 0 0 20 0 1 0 278001076 324075520 78341 33554432000 4194304 8973514 140734250622080 140734250621576 7400352 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 79120 78341 445 1167 0 77901 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 316480
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9038
/proc/meminfo: memFree=28248492/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=318528 CPUtime=1422.05 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 78958 0 0 0 141526 679 0 0 20 0 1 0 278001076 326172672 78853 33554432000 4194304 8973514 140734250622080 140734250621576 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 79632 78853 445 1167 0 78413 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 318528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9038
/proc/meminfo: memFree=28248492/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=318528 CPUtime=1482.04 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 78958 0 0 0 147495 709 0 0 20 0 1 0 278001076 326172672 78853 33554432000 4194304 8973514 140734250622080 140734250621576 6842872 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 79632 78853 445 1167 0 78413 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 318528
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9038
/proc/meminfo: memFree=28248740/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=318528 CPUtime=1542.03 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 78958 0 0 0 153467 736 0 0 20 0 1 0 278001076 326172672 78853 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 79632 78853 445 1167 0 78413 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 318528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9039
/proc/meminfo: memFree=28227168/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=335936 CPUtime=1602.02 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 83311 0 0 0 159439 763 0 0 20 0 1 0 278001076 343998464 83205 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 83984 83205 445 1167 0 82765 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 335936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9039
/proc/meminfo: memFree=28217680/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=345152 CPUtime=1662.01 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 86127 0 0 0 165412 789 0 0 20 0 1 0 278001076 353435648 85509 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 86288 85509 445 1167 0 85069 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 345152
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9039
/proc/meminfo: memFree=28217804/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=345152 CPUtime=1722.01 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 86127 0 0 0 171387 814 0 0 20 0 1 0 278001076 353435648 85509 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 86288 85509 445 1167 0 85069 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 345152
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9039
/proc/meminfo: memFree=28217308/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=345152 CPUtime=1782 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 86127 0 0 0 177362 838 0 0 20 0 1 0 278001076 353435648 85509 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 86288 85509 445 1167 0 85069 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 345152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 9078
/proc/meminfo: memFree=28148172/32873648 swapFree=6844/6844
[pid=8999] ppid=8997 vsize=336960 CPUtime=1800.1 cores=1,3,5,7
/proc/8999/stat : 8999 (toysat) R 8997 8999 5668 0 -1 4202496 86127 0 0 0 179162 848 0 0 20 0 1 0 278001076 345047040 83461 33554432000 4194304 8973514 140734250622080 140734250621576 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 84240 83461 445 1167 0 83021 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 336960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. 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.11
CPU user time (s): 1791.62
CPU system time (s): 8.48971
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 347200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.62
system time used= 8.48971
maximum resident set size= 344084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86127
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= 31
involuntary context switches= 1873
runsolver used 3.25251 second user time and 8.98363 second system time
The end