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-3724727-1338643019/watcher-3724727-1338643019 -o /tmp/evaluation-result-3724727-1338643019/solver-3724727-1338643019 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724727-1338643019.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 3/176 11439
/proc/meminfo: memFree=27639188/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 813 0 0 0 0 0 0 0 20 0 1 0 330426835 6373376 733 33554432000 4194304 8989770 140734358636672 140737292078264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 1556 733 425 1171 0 333 0
[startup+0.0801731 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11439
/proc/meminfo: memFree=27639188/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=10320 CPUtime=0.07 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 1856 0 0 0 7 0 0 0 20 0 1 0 330426835 10567680 1776 33554432000 4194304 8989770 140734358636672 140737292078264 5796789 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 2580 1776 430 1171 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10320
[startup+0.100317 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11439
/proc/meminfo: memFree=27639188/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 2165 0 0 0 9 0 0 0 20 0 1 0 330426835 12664832 2085 33554432000 4194304 8989770 140734358636672 140737292078264 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 3092 2086 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300318 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11439
/proc/meminfo: memFree=27639188/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=24656 CPUtime=0.29 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 5440 0 0 0 29 0 0 0 20 0 1 0 330426835 25247744 5360 33554432000 4194304 8989770 140734358636672 140737292078264 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 6164 5360 430 1171 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24656
[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11439
/proc/meminfo: memFree=27639188/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=30800 CPUtime=0.69 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 6852 0 0 0 68 1 0 0 20 0 1 0 330426835 31539200 6772 33554432000 4194304 8989770 140734358636672 140734358634624 5400533 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 7700 6772 442 1171 0 6477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30800
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11440
/proc/meminfo: memFree=27613776/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=30800 CPUtime=1.49 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 6852 0 0 0 148 1 0 0 20 0 1 0 330426835 31539200 6772 33554432000 4194304 8989770 140734358636672 140734358636168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 7700 6772 442 1171 0 6477 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30800
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11440
/proc/meminfo: memFree=27613024/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=30800 CPUtime=3.09 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 6994 0 0 0 307 2 0 0 20 0 1 0 330426835 31539200 6914 33554432000 4194304 8989770 140734358636672 140734358636168 5395121 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 7700 6914 442 1171 0 6477 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30800
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11440
/proc/meminfo: memFree=27607164/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=30800 CPUtime=6.29 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 6994 0 0 0 626 3 0 0 20 0 1 0 330426835 31539200 6914 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 7700 6914 442 1171 0 6477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30800
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11440
/proc/meminfo: memFree=27597864/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=38992 CPUtime=12.68 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 8842 0 0 0 1262 6 0 0 20 0 1 0 330426835 39927808 8762 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 9748 8762 459 1171 0 8525 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38992
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11440
/proc/meminfo: memFree=27559772/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=62544 CPUtime=25.49 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 14795 0 0 0 2536 13 0 0 20 0 1 0 330426835 64045056 14715 33554432000 4194304 8989770 140734358636672 140734358635936 4361280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 15636 14715 461 1171 0 14413 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62544
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11440
/proc/meminfo: memFree=27522168/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=77904 CPUtime=51.08 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 18790 0 0 0 5085 23 0 0 20 0 1 0 330426835 79773696 18710 33554432000 4194304 8989770 140734358636672 140734358636168 6548327 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 19476 18710 461 1171 0 18253 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 77904
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11440
/proc/meminfo: memFree=27471496/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=95312 CPUtime=102.28 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 23142 0 0 0 10184 44 0 0 20 0 1 0 330426835 97599488 23062 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 23828 23062 461 1171 0 22605 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 95312
[startup+162.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 11440
/proc/meminfo: memFree=27418204/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=111696 CPUtime=162.27 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 27238 0 0 0 16159 68 0 0 20 0 1 0 330426835 114376704 27158 33554432000 4194304 8989770 140734358636672 140734358636168 4435168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 27924 27158 461 1171 0 26701 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 111696
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/178 11444
/proc/meminfo: memFree=27390200/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=111696 CPUtime=222.26 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 29030 0 0 0 22135 91 0 0 20 0 1 0 330426835 114376704 27158 33554432000 4194304 8989770 140734358636672 140734358636168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 27924 27158 461 1171 0 26701 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 111696
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 11444
/proc/meminfo: memFree=27353780/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=118864 CPUtime=282.24 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 31846 0 0 0 28113 111 0 0 20 0 1 0 330426835 121716736 28950 33554432000 4194304 8989770 140734358636672 140734358636168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 29716 28950 461 1171 0 28493 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 118864
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11444
/proc/meminfo: memFree=27315988/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=118864 CPUtime=342.23 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 31846 0 0 0 34088 135 0 0 20 0 1 0 330426835 121716736 28950 33554432000 4194304 8989770 140734358636672 140734358636168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 29716 28950 461 1171 0 28493 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 118864
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11444
/proc/meminfo: memFree=27261208/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=135248 CPUtime=402.23 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 35942 0 0 0 40064 159 0 0 20 0 1 0 330426835 138493952 33046 33554432000 4194304 8989770 140734358636672 140734358635936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 33812 33046 461 1171 0 32589 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 135248
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 11444
/proc/meminfo: memFree=27232220/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=128080 CPUtime=462.22 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 35942 0 0 0 46040 182 0 0 20 0 1 0 330426835 131153920 31254 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 32020 31254 461 1171 0 30797 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 128080
[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 11445
/proc/meminfo: memFree=27201496/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=123984 CPUtime=522.17 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 35976 0 0 0 52011 206 0 0 20 0 1 0 330426835 126959616 30230 33554432000 4194304 8989770 140734358636672 140734358636168 4371743 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 30996 30230 461 1171 0 29773 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 123984
[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 11445
/proc/meminfo: memFree=27149764/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=136272 CPUtime=582.16 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 39058 0 0 0 57984 232 0 0 20 0 1 0 330426835 139542528 33302 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 34068 33302 461 1171 0 32845 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 136272
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 11449
/proc/meminfo: memFree=26995500/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=153680 CPUtime=822.12 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 45458 0 0 0 81877 335 0 0 20 0 1 0 330426835 157368320 37654 33554432000 4194304 8989770 140734358636672 140734358636168 4371137 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 38420 37654 461 1171 0 37197 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 153680
[startup+882.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 11449
/proc/meminfo: memFree=26962400/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=154704 CPUtime=882.12 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 45714 0 0 0 87851 361 0 0 20 0 1 0 330426835 158416896 37910 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 38676 37910 461 1171 0 37453 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 154704
[startup+942.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 11450
/proc/meminfo: memFree=26925564/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=166992 CPUtime=942.1 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 48786 0 0 0 93827 383 0 0 20 0 1 0 330426835 170999808 40982 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 41748 40982 461 1171 0 40525 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 166992
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11450
/proc/meminfo: memFree=26889116/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=166992 CPUtime=1002.1 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 48786 0 0 0 99801 409 0 0 20 0 1 0 330426835 170999808 40982 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 41748 40982 461 1171 0 40525 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 166992
[startup+1062.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 11450
/proc/meminfo: memFree=26853160/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=173136 CPUtime=1062.08 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 53650 0 0 0 105775 433 0 0 20 0 1 0 330426835 177291264 42518 33554432000 4194304 8989770 140734358636672 140734358634688 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 43284 42518 461 1171 0 42061 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 173136
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 11451
/proc/meminfo: memFree=26838404/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=160848 CPUtime=1122.08 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 53650 0 0 0 111751 457 0 0 20 0 1 0 330426835 164708352 39446 33554432000 4194304 8989770 140734358636672 140734358636168 4209168 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 40212 39446 461 1171 0 38989 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 160848
[startup+1182.3 s]
/proc/loadavg: 1.95 2.03 1.99 3/177 11490
/proc/meminfo: memFree=28953764/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=191568 CPUtime=1182.07 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 61330 0 0 0 117730 477 0 0 20 0 1 0 330426835 196165632 47126 33554432000 4194304 8989770 140734358636672 140734358636168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 47892 47126 461 1171 0 46669 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 191568
[startup+1242.3 s]
/proc/loadavg: 1.98 2.02 1.99 3/177 11490
/proc/meminfo: memFree=28904068/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=169040 CPUtime=1242.04 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 62630 0 0 0 123707 497 0 0 20 0 1 0 330426835 173096960 41494 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 42260 41494 461 1171 0 41037 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 169040
[startup+1302.3 s]
/proc/loadavg: 1.99 2.01 1.99 3/177 11490
/proc/meminfo: memFree=28901012/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=153680 CPUtime=1302.03 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 62893 0 0 0 129684 519 0 0 20 0 1 0 330426835 157368320 37654 33554432000 4194304 8989770 140734358636672 140734358636168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 38420 37654 461 1171 0 37197 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 153680
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11490
/proc/meminfo: memFree=28861376/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=169040 CPUtime=1362.02 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 70061 0 0 0 135657 545 0 0 20 0 1 0 330426835 173096960 41494 33554432000 4194304 8989770 140734358636672 140734358635936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 42260 41494 461 1171 0 41037 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 169040
[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 11494
/proc/meminfo: memFree=28875656/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=189520 CPUtime=1422.01 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 75187 0 0 0 141634 567 0 0 20 0 1 0 330426835 194068480 46614 33554432000 4194304 8989770 140734358636672 140734358635936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 47380 46614 461 1171 0 46157 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 189520
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 11494
/proc/meminfo: memFree=28848808/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=189520 CPUtime=1481.99 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 75190 0 0 0 147609 590 0 0 20 0 1 0 330426835 194068480 46614 33554432000 4194304 8989770 140734358636672 140734358636168 4209206 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 47380 46614 461 1171 0 46157 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 189520
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 11494
/proc/meminfo: memFree=28802356/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=185424 CPUtime=1541.99 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 75190 0 0 0 153585 614 0 0 20 0 1 0 330426835 189874176 45590 33554432000 4194304 8989770 140734358636672 140734358636168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 46356 45590 461 1171 0 45133 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 185424
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 11494
/proc/meminfo: memFree=28817300/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=171088 CPUtime=1601.98 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 76727 0 0 0 159561 637 0 0 20 0 1 0 330426835 175194112 42006 33554432000 4194304 8989770 140734358636672 140734358635936 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 42772 42006 461 1171 0 41549 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 171088
[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 11494
/proc/meminfo: memFree=28811472/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=179280 CPUtime=1661.96 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 78775 0 0 0 165535 661 0 0 20 0 1 0 330426835 183582720 44054 33554432000 4194304 8989770 140734358636672 140734358635936 7696122 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 44820 44054 461 1171 0 43597 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 179280
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 11495
/proc/meminfo: memFree=28864736/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=179280 CPUtime=1721.96 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 78775 0 0 0 171515 681 0 0 20 0 1 0 330426835 183582720 44054 33554432000 4194304 8989770 140734358636672 140734358636168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 44820 44054 461 1171 0 43597 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 179280
[startup+1782.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/177 11495
/proc/meminfo: memFree=28858580/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=203856 CPUtime=1781.94 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 84924 0 0 0 177493 701 0 0 20 0 1 0 330426835 208748544 50198 33554432000 4194304 8989770 140734358636672 140734358635936 4204605 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 50964 50198 461 1171 0 49741 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 203856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 11495
/proc/meminfo: memFree=28867508/32873844 swapFree=7120/7120
[pid=11439] ppid=11437 vsize=214096 CPUtime=1800.04 cores=1,3,5,7
/proc/11439/stat : 11439 (toysat) R 11437 11439 10378 0 -1 4202496 87361 0 0 0 179296 708 0 0 20 0 1 0 330426835 219234304 52635 33554432000 4194304 8989770 140734358636672 140734358635936 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11439/statm: 53524 52635 461 1171 0 52301 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 214096
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.06
CPU user time (s): 1792.97
CPU system time (s): 7.08992
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 214096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.97
system time used= 7.08992
maximum resident set size= 210540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87361
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= 89
involuntary context switches= 1928
runsolver used 3.9214 second user time and 9.48356 second system time
The end