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-3706445-1338242338/watcher-3706445-1338242338 -o /tmp/evaluation-result-3706445-1338242338/solver-3706445-1338242338 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706445-1338242338.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.00 2.00 2.00 2/174 6431
/proc/meminfo: memFree=31270796/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 290359479 7405568 741 33554432000 4194304 8973514 140735068961040 140733363182520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 1808 741 412 1167 0 589 0
[startup+0.06737 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 6431
/proc/meminfo: memFree=31270796/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=9280 CPUtime=0.06 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 1581 0 0 0 6 0 0 0 20 0 1 0 290359479 9502720 1502 33554432000 4194304 8973514 140735068961040 140733363182520 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 2320 1502 412 1167 0 1101 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9280
[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 6431
/proc/meminfo: memFree=31270796/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 2097 0 0 0 9 0 0 0 20 0 1 0 290359479 11599872 2018 33554432000 4194304 8973514 140735068961040 140733363182520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 2832 2018 416 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300284 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 6431
/proc/meminfo: memFree=31270796/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=21568 CPUtime=0.29 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 4659 0 0 0 28 1 0 0 20 0 1 0 290359479 22085632 4580 33554432000 4194304 8973514 140735068961040 140733363182520 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 5392 4580 418 1167 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21568
[startup+0.700273 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 6431
/proc/meminfo: memFree=31270796/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=44096 CPUtime=0.69 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 10291 0 0 0 67 2 0 0 20 0 1 0 290359479 45154304 10212 33554432000 4194304 8973514 140735068961040 140733363182520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 11024 10212 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=31184164/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=90176 CPUtime=1.48 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 21833 0 0 0 144 4 0 0 20 0 1 0 290359479 92340224 21754 33554432000 4194304 8973514 140735068961040 140735068958976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 22544 21754 434 1167 0 21325 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 90176
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=31165788/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=90176 CPUtime=3.09 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 21833 0 0 0 304 5 0 0 20 0 1 0 290359479 92340224 21754 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 22544 21754 434 1167 0 21325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90176
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=31140748/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=104512 CPUtime=6.28 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 25417 0 0 0 622 6 0 0 20 0 1 0 290359479 107020288 25338 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 26128 25338 434 1167 0 24909 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 104512
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=31140292/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=104512 CPUtime=12.68 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 25417 0 0 0 1260 8 0 0 20 0 1 0 290359479 107020288 25338 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 26128 25338 434 1167 0 24909 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 104512
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=31140820/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=104512 CPUtime=25.48 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 25421 0 0 0 2535 13 0 0 20 0 1 0 290359479 107020288 25338 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 26128 25338 434 1167 0 24909 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104512
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6470
/proc/meminfo: memFree=31141020/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=104512 CPUtime=51.07 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 25447 0 0 0 5086 21 0 0 20 0 1 0 290359479 107020288 25351 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 26128 25351 447 1167 0 24909 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104512
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6473
/proc/meminfo: memFree=31115700/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=102.26 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 10194 32 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 129088
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6497
/proc/meminfo: memFree=31115944/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=162.24 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 16182 42 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 129088
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6497
/proc/meminfo: memFree=31114960/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=222.23 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 22171 52 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068958976 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 129088
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6497
/proc/meminfo: memFree=31115020/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=282.22 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 28161 61 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 129088
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6497
/proc/meminfo: memFree=31115020/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=342.21 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 34148 73 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 129088
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6497
/proc/meminfo: memFree=31115020/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=402.2 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 40137 83 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 129088
[startup+462.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/176 6498
/proc/meminfo: memFree=31115896/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=462.19 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 46124 95 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 129088
[startup+522.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/177 6499
/proc/meminfo: memFree=31115144/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=522.19 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 52114 105 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068959040 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 129088
[startup+582.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 6499
/proc/meminfo: memFree=31115020/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=582.17 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 58101 116 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 129088
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 6503
/proc/meminfo: memFree=31115020/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=822.14 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 82055 159 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 129088
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6503
/proc/meminfo: memFree=31115020/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=882.13 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 88041 172 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068958976 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 129088
[startup+942.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 6503
/proc/meminfo: memFree=31115392/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=942.12 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 94031 181 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 129088
[startup+1002.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 6503
/proc/meminfo: memFree=31115268/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1002.11 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 100018 193 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068958976 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 129088
[startup+1062.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 6503
/proc/meminfo: memFree=31115392/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1062.1 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 106006 204 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 129088
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 6504
/proc/meminfo: memFree=31114400/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1122.09 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 111995 214 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 129088
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6504
/proc/meminfo: memFree=31114152/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1182.08 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 117985 223 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 129088
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6504
/proc/meminfo: memFree=31114276/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1242.07 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 123972 235 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068959040 4209220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 129088
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6507
/proc/meminfo: memFree=31113896/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1302.07 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 129959 248 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068958976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 129088
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6507
/proc/meminfo: memFree=31114028/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1362.05 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 135947 258 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 4209450 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 129088
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6508
/proc/meminfo: memFree=31114152/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1422.05 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 141936 269 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 129088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6508
/proc/meminfo: memFree=31114152/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1482.04 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 147921 283 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 129088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6508
/proc/meminfo: memFree=31114524/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1542.03 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 153911 292 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068958976 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 129088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6508
/proc/meminfo: memFree=31114400/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1602.02 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 159899 303 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068958976 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 129088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6508
/proc/meminfo: memFree=31114524/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1662.01 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 165888 313 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960304 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 129088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6510
/proc/meminfo: memFree=31114640/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1722 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 171877 323 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 129088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6510
/proc/meminfo: memFree=31113904/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1781.99 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 177864 335 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 129088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6510
/proc/meminfo: memFree=31114276/32873844 swapFree=7112/7112
[pid=6431] ppid=6429 vsize=129088 CPUtime=1800.1 cores=1,3,5,7
/proc/6431/stat : 6431 (toysat) R 6429 6431 4756 0 -1 4202496 31612 0 0 0 179672 338 0 0 20 0 1 0 290359479 132186112 31505 33554432000 4194304 8973514 140735068961040 140735068960536 4208820 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/6431/statm: 32272 31505 457 1167 0 31053 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 129088
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): 1796.72
CPU system time (s): 3.38649
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 129088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.72
system time used= 3.38648
maximum resident set size= 126020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31612
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= 1861
runsolver used 3.07153 second user time and 10.5334 second system time
The end