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-3706375-1338152352/watcher-3706375-1338152352 -o /tmp/evaluation-result-3706375-1338152352/solver-3706375-1338152352 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706375-1338152352.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.01 2.01 2.00 3/176 22897
/proc/meminfo: memFree=30247728/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 797 0 0 0 0 0 0 0 20 0 1 0 281359592 6356992 718 33554432000 4194304 8973514 140736608444320 140736608443584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 1552 718 411 1167 0 333 0
[startup+0.0927779 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 22897
/proc/meminfo: memFree=30247728/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=10304 CPUtime=0.08 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 1727 0 0 0 8 0 0 0 20 0 1 0 281359592 10551296 1648 33554432000 4194304 8973514 140736608444320 140736608443584 5783797 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 2576 1648 413 1167 0 1357 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10304
[startup+0.100297 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 22897
/proc/meminfo: memFree=30247728/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=10304 CPUtime=0.09 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 1838 0 0 0 9 0 0 0 20 0 1 0 281359592 10551296 1759 33554432000 4194304 8973514 140736608444320 140736608443584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 2576 1759 413 1167 0 1357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10304
[startup+0.300302 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 22897
/proc/meminfo: memFree=30247728/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=19520 CPUtime=0.28 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 4146 0 0 0 28 0 0 0 20 0 1 0 281359592 19988480 4067 33554432000 4194304 8973514 140736608444320 140736608443584 4209382 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 4880 4067 417 1167 0 3661 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19520
[startup+0.700319 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 22897
/proc/meminfo: memFree=30247728/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=47168 CPUtime=0.68 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 11058 0 0 0 67 1 0 0 20 0 1 0 281359592 48300032 10979 33554432000 4194304 8973514 140736608444320 140736608443584 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 11792 10979 417 1167 0 10573 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47168
[startup+1.50034 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22898
/proc/meminfo: memFree=30193252/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=98368 CPUtime=1.49 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 23858 0 0 0 145 4 0 0 20 0 1 0 281359592 100728832 23779 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 24592 23779 417 1167 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98368
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22898
/proc/meminfo: memFree=30126416/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=156736 CPUtime=3.09 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 38469 0 0 0 303 6 0 0 20 0 1 0 281359592 160497664 38390 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 39184 38390 430 1167 0 37965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 156736
[startup+6.30024 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22898
/proc/meminfo: memFree=30058960/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=192576 CPUtime=6.29 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 47429 0 0 0 619 10 0 0 20 0 1 0 281359592 197197824 47350 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 48144 47350 430 1167 0 46925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192576
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22898
/proc/meminfo: memFree=30033192/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=217152 CPUtime=12.68 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 53573 0 0 0 1254 14 0 0 20 0 1 0 281359592 222363648 53494 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 54288 53494 430 1167 0 53069 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 217152
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 22898
/proc/meminfo: memFree=30033688/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=217152 CPUtime=25.49 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 53573 0 0 0 2528 21 0 0 20 0 1 0 281359592 222363648 53494 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 54288 53494 430 1167 0 53069 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 217152
[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 22901
/proc/meminfo: memFree=30033680/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=217152 CPUtime=51.09 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 53584 0 0 0 5075 34 0 0 20 0 1 0 281359592 222363648 53505 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 54288 53505 441 1167 0 53069 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 217152
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 22902
/proc/meminfo: memFree=30032440/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=217152 CPUtime=102.28 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 53590 0 0 0 10171 57 0 0 20 0 1 0 281359592 222363648 53511 33554432000 4194304 8973514 140736608444320 140736608443816 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 54288 53511 447 1167 0 53069 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 217152
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22925
/proc/meminfo: memFree=30026796/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=222272 CPUtime=162.26 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 54886 0 0 0 16139 87 0 0 20 0 1 0 281359592 227606528 54807 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 55568 54807 458 1167 0 54349 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 222272
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22925
/proc/meminfo: memFree=30023408/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=226368 CPUtime=222.23 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 55936 0 0 0 22116 107 0 0 20 0 1 0 281359592 231800832 55831 33554432000 4194304 8973514 140736608444320 140736608443816 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 56592 55831 458 1167 0 55373 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 226368
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22925
/proc/meminfo: memFree=30023452/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=226368 CPUtime=282.21 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 55946 0 0 0 28098 123 0 0 20 0 1 0 281359592 231800832 55831 33554432000 4194304 8973514 140736608444320 140736608443584 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 56592 55831 458 1167 0 55373 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 226368
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22925
/proc/meminfo: memFree=30023612/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=226368 CPUtime=342.21 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 55946 0 0 0 34080 141 0 0 20 0 1 0 281359592 231800832 55831 33554432000 4194304 8973514 140736608444320 140736608443584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 56592 55831 458 1167 0 55373 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 226368
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22965
/proc/meminfo: memFree=29190992/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=226368 CPUtime=402.2 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 55946 0 0 0 40062 158 0 0 20 0 1 0 281359592 231800832 55831 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 56592 55831 458 1167 0 55373 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 226368
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 22965
/proc/meminfo: memFree=29556420/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=227392 CPUtime=462.19 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56202 0 0 0 46046 173 0 0 20 0 1 0 281359592 232849408 56087 33554432000 4194304 8973514 140736608444320 140736608443816 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 56848 56087 458 1167 0 55629 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 227392
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22965
/proc/meminfo: memFree=29556916/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=227392 CPUtime=522.17 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56202 0 0 0 52031 186 0 0 20 0 1 0 281359592 232849408 56087 33554432000 4194304 8973514 140736608444320 140736608442240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 56848 56087 458 1167 0 55629 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 227392
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22965
/proc/meminfo: memFree=29556828/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=227392 CPUtime=582.16 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56202 0 0 0 58019 197 0 0 20 0 1 0 281359592 232849408 56087 33554432000 4194304 8973514 140736608444320 140736608442240 4209344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 56848 56087 458 1167 0 55629 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 227392
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 22969
/proc/meminfo: memFree=29556088/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=822.13 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 81957 256 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 228416
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22969
/proc/meminfo: memFree=29555976/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=882.12 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 87941 271 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608443584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 228416
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 22969
/proc/meminfo: memFree=29556932/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=942.11 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 93924 287 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608442304 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 228416
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22971
/proc/meminfo: memFree=29556304/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=1002.1 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 99912 298 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608443584 4213841 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 228416
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22971
/proc/meminfo: memFree=29556304/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=1062.09 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 105898 311 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608443584 4206608 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 228416
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 22971
/proc/meminfo: memFree=29556180/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=1122.08 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 111883 325 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608443816 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 228416
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22971
/proc/meminfo: memFree=29556428/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=1182.08 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 117871 337 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608443816 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 228416
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22971
/proc/meminfo: memFree=29556304/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=1242.06 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 123852 354 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608443584 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 228416
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22975
/proc/meminfo: memFree=29555924/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=228416 CPUtime=1302.06 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56458 0 0 0 129840 366 0 0 20 0 1 0 281359592 233897984 56343 33554432000 4194304 8973514 140736608444320 140736608443584 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57104 56343 458 1167 0 55885 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 228416
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=29554692/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=229440 CPUtime=1362.05 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56714 0 0 0 135827 378 0 0 20 0 1 0 281359592 234946560 56599 33554432000 4194304 8973514 140736608444320 140736608443584 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57360 56599 458 1167 0 56141 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 229440
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=29555064/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=229440 CPUtime=1422.04 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56714 0 0 0 141814 390 0 0 20 0 1 0 281359592 234946560 56599 33554432000 4194304 8973514 140736608444320 140736608443584 4204289 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57360 56599 458 1167 0 56141 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 229440
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=29555188/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=229440 CPUtime=1482.03 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56714 0 0 0 147799 404 0 0 20 0 1 0 281359592 234946560 56599 33554432000 4194304 8973514 140736608444320 140736608442240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57360 56599 458 1167 0 56141 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 229440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=29555188/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=229440 CPUtime=1542.02 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56714 0 0 0 153786 416 0 0 20 0 1 0 281359592 234946560 56599 33554432000 4194304 8973514 140736608444320 140736608443816 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57360 56599 458 1167 0 56141 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 229440
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 22976
/proc/meminfo: memFree=29555188/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=229440 CPUtime=1602.02 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56714 0 0 0 159773 429 0 0 20 0 1 0 281359592 234946560 56599 33554432000 4194304 8973514 140736608444320 140736608443816 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57360 56599 458 1167 0 56141 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 229440
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 22976
/proc/meminfo: memFree=29554132/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=230464 CPUtime=1662 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56970 0 0 0 165758 442 0 0 20 0 1 0 281359592 235995136 56855 33554432000 4194304 8973514 140736608444320 140736608442240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57616 56855 458 1167 0 56397 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 230464
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22976
/proc/meminfo: memFree=29554132/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=230464 CPUtime=1721.99 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56970 0 0 0 171744 455 0 0 20 0 1 0 281359592 235995136 56855 33554432000 4194304 8973514 140736608444320 140736608442240 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57616 56855 458 1167 0 56397 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 230464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22976
/proc/meminfo: memFree=29553512/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=230464 CPUtime=1781.99 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56970 0 0 0 177734 465 0 0 20 0 1 0 281359592 235995136 56855 33554432000 4194304 8973514 140736608444320 140736608443816 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57616 56855 458 1167 0 56397 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 230464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22976
/proc/meminfo: memFree=29553636/32873844 swapFree=7388/7388
[pid=22897] ppid=22895 vsize=230464 CPUtime=1800.09 cores=1,3,5,7
/proc/22897/stat : 22897 (toysat) R 22895 22897 20110 0 -1 4202496 56970 0 0 0 179541 468 0 0 20 0 1 0 281359592 235995136 56855 33554432000 4194304 8973514 140736608444320 140736608442304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/22897/statm: 57616 56855 458 1167 0 56397 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 230464
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.1
CPU user time (s): 1795.41
CPU system time (s): 4.68429
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 230464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.42
system time used= 4.68429
maximum resident set size= 227420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56970
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= 44
involuntary context switches= 1859
runsolver used 3.98139 second user time and 9.53355 second system time
The end