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-3706174-1338247755/watcher-3706174-1338247755 -o /tmp/evaluation-result-3706174-1338247755/solver-3706174-1338247755 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706174-1338247755.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.03 2.01 2.00 3/176 3961
/proc/meminfo: memFree=29308744/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 290900334 7405568 746 33554432000 4194304 8973514 140736813102784 140734977656440 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 1808 746 411 1167 0 589 0
[startup+0.00998403 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 3961
/proc/meminfo: memFree=29308744/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 922 0 0 0 0 0 0 0 20 0 1 0 290900334 7405568 844 33554432000 4194304 8973514 140736813102784 140734977656440 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 1808 844 411 1167 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7232
[startup+0.100266 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 3961
/proc/meminfo: memFree=29308744/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 2253 0 0 0 9 0 0 0 20 0 1 0 290900334 12648448 2175 33554432000 4194304 8973514 140736813102784 140734977656440 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 3088 2175 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300305 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 3961
/proc/meminfo: memFree=29308744/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=25664 CPUtime=0.29 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 5663 0 0 0 28 1 0 0 20 0 1 0 290900334 26279936 5585 33554432000 4194304 8973514 140736813102784 140734977656440 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 6416 5593 418 1167 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25664
[startup+0.700301 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 3961
/proc/meminfo: memFree=29308744/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=44096 CPUtime=0.69 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 10291 0 0 0 67 2 0 0 20 0 1 0 290900334 45154304 10213 33554432000 4194304 8973514 140736813102784 140736813102048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 11024 10213 418 1167 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44096
[startup+1.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3962
/proc/meminfo: memFree=29241272/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=97344 CPUtime=1.49 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 23603 0 0 0 144 5 0 0 20 0 1 0 290900334 99680256 23525 33554432000 4194304 8973514 140736813102784 140736813102280 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 24336 23525 418 1167 0 23117 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97344
[startup+3.10031 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3962
/proc/meminfo: memFree=29192292/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=193600 CPUtime=3.08 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 47498 0 0 0 298 10 0 0 20 0 1 0 290900334 198246400 47421 33554432000 4194304 8973514 140736813102784 140736813100736 4213859 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 48400 47429 418 1167 0 47181 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 193600
[startup+6.30031 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3962
/proc/meminfo: memFree=29027496/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=387136 CPUtime=6.29 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 96051 0 0 0 607 22 0 0 20 0 1 0 290900334 396427264 95973 33554432000 4194304 8973514 140736813102784 140736813102048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 96784 95973 418 1167 0 95565 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 387136
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3962
/proc/meminfo: memFree=28638144/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=681024 CPUtime=12.69 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 169524 0 0 0 1228 41 0 0 20 0 1 0 290900334 697368576 169446 33554432000 4194304 8973514 140736813102784 140736813102048 4212448 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 170256 169446 418 1167 0 169037 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 681024
[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 3962
/proc/meminfo: memFree=27720544/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=1597504 CPUtime=25.48 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 398644 0 0 0 2464 84 0 0 20 0 1 0 290900334 1635844096 398566 33554432000 4194304 8973514 140736813102784 140736813102048 7937344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 399376 398566 418 1167 0 398157 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1597504
[startup+51.1003 s]
/proc/loadavg: 2.14 2.04 2.01 3/178 3965
/proc/meminfo: memFree=26489084/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2826304 CPUtime=51.08 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 705848 0 0 0 4953 155 0 0 20 0 1 0 290900334 2894135296 705770 33554432000 4194304 8973514 140736813102784 140736813102048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 706576 705770 422 1167 0 705357 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2826304
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 3966
/proc/meminfo: memFree=27254668/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=102.28 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912457 0 0 0 10017 211 0 0 20 0 1 0 290900334 2110849024 514555 33554432000 4194304 8973514 140736813102784 140736813102280 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514555 432 1167 0 514125 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2061376
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 3966
/proc/meminfo: memFree=27255048/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=162.27 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912480 0 0 0 16004 223 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2061376
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 3966
/proc/meminfo: memFree=27255048/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=222.26 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912480 0 0 0 21990 236 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2061376
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3966
/proc/meminfo: memFree=27255420/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=282.24 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912480 0 0 0 27977 247 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813100736 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2061376
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3966
/proc/meminfo: memFree=27254552/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=342.23 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912480 0 0 0 33965 258 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 4204289 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2061376
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3967
/proc/meminfo: memFree=27254428/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=402.23 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912480 0 0 0 39953 270 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2061376
[startup+462.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/178 4007
/proc/meminfo: memFree=25605184/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=462.22 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912490 0 0 0 45938 284 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102048 4209278 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2061376
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4007
/proc/meminfo: memFree=26935988/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=522.2 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912508 0 0 0 51926 294 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2061376
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4007
/proc/meminfo: memFree=26936140/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=582.18 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912516 0 0 0 57911 307 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 2061376
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4011
/proc/meminfo: memFree=26936252/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=822.14 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912526 0 0 0 81861 353 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102048 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 2061376
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4011
/proc/meminfo: memFree=26936280/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=882.13 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912533 0 0 0 87848 365 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102048 4209328 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 2061376
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4011
/proc/meminfo: memFree=26936184/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=942.11 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912550 0 0 0 93837 374 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813100800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 2061376
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4012
/proc/meminfo: memFree=26936336/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1002.1 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912558 0 0 0 99824 386 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813100736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 2061376
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4012
/proc/meminfo: memFree=26935868/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1062.08 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912560 0 0 0 105808 400 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813100736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 2061376
[startup+1122.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 4012
/proc/meminfo: memFree=26936020/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1122.08 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912560 0 0 0 111794 414 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 4209220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 2061376
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4012
/proc/meminfo: memFree=26935924/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1182.07 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912560 0 0 0 117776 431 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 4372360 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 2061376
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4012
/proc/meminfo: memFree=26936076/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1242.06 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912562 0 0 0 123761 445 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102048 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2061376
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 4016
/proc/meminfo: memFree=26935848/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1302.05 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912571 0 0 0 129748 457 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102048 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2061376
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4016
/proc/meminfo: memFree=26936132/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1362.04 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912571 0 0 0 135735 469 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813100736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2061376
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4016
/proc/meminfo: memFree=26936160/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1422.04 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912572 0 0 0 141721 483 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813100736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2061376
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4016
/proc/meminfo: memFree=26936188/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1482.01 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912577 0 0 0 147705 496 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813100736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 2061376
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4016
/proc/meminfo: memFree=26936216/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1542 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912584 0 0 0 153692 508 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 7674007 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2061376
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4017
/proc/meminfo: memFree=26936244/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1601.99 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912585 0 0 0 159676 523 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 2061376
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4017
/proc/meminfo: memFree=26936100/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1661.98 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912587 0 0 0 165663 535 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813100736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2061376
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4017
/proc/meminfo: memFree=26935944/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1721.97 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912587 0 0 0 171650 547 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 2061376
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4017
/proc/meminfo: memFree=26935724/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1781.96 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912587 0 0 0 177638 558 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 2061376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4017
/proc/meminfo: memFree=26935940/32873844 swapFree=7900/7900
[pid=3961] ppid=3959 vsize=2061376 CPUtime=1800.06 cores=1,3,5,7
/proc/3961/stat : 3961 (toysat) R 3959 3961 2640 0 -1 4202496 912587 0 0 0 179445 561 0 0 20 0 1 0 290900334 2110849024 514578 33554432000 4194304 8973514 140736813102784 140736813102280 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3961/statm: 515344 514578 455 1167 0 514125 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2061376
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.42
CPU time (s): 1800.08
CPU user time (s): 1794.46
CPU system time (s): 5.62514
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 3652672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.46
system time used= 5.62514
maximum resident set size= 3649516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 912587
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= 110
involuntary context switches= 2069
runsolver used 3.3015 second user time and 10.4034 second system time
The end