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-3725547-1338644133/watcher-3725547-1338644133 -o /tmp/evaluation-result-3725547-1338644133/solver-3725547-1338644133 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725547-1338644133.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/177 4761
/proc/meminfo: memFree=28135812/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 330541855 6373376 736 33554432000 4194304 8989770 140733411109808 140733628659016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 1556 736 425 1171 0 333 0
[startup+0.059655 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4761
/proc/meminfo: memFree=28135812/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=10320 CPUtime=0.05 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 1683 0 0 0 5 0 0 0 20 0 1 0 330541855 10567680 1604 33554432000 4194304 8989770 140733411109808 140733628659016 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 2580 1604 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320
[startup+0.100306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4761
/proc/meminfo: memFree=28135812/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 2112 0 0 0 9 0 0 0 20 0 1 0 330541855 11616256 2033 33554432000 4194304 8989770 140733411109808 140733628659016 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 2836 2033 431 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300331 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4761
/proc/meminfo: memFree=28135812/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=23632 CPUtime=0.29 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 5184 0 0 0 28 1 0 0 20 0 1 0 330541855 24199168 5105 33554432000 4194304 8989770 140733411109808 140733411109304 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 5908 5105 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632
[startup+0.70034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4761
/proc/meminfo: memFree=28135812/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=47184 CPUtime=0.69 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 11072 0 0 0 67 2 0 0 20 0 1 0 330541855 48316416 10993 33554432000 4194304 8989770 140733411109808 140733411109304 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 11796 10993 431 1171 0 10573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47184
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4762
/proc/meminfo: memFree=28077484/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=99408 CPUtime=1.49 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 23889 0 0 0 145 4 0 0 20 0 1 0 330541855 101793792 23810 33554432000 4194304 8989770 140733411109808 140733411109304 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 24852 23820 431 1171 0 23629 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99408
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4762
/proc/meminfo: memFree=27998744/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=184400 CPUtime=3.09 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 45376 0 0 0 300 9 0 0 20 0 1 0 330541855 188825600 45297 33554432000 4194304 8989770 140733411109808 140733411109072 7748271 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 46100 45297 431 1171 0 44877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 184400
[startup+6.30039 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 4762
/proc/meminfo: memFree=27813124/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=324688 CPUtime=6.28 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 80449 0 0 0 611 17 0 0 20 0 1 0 330541855 332480512 80370 33554432000 4194304 8989770 140733411109808 140733411109304 4214034 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 81172 80370 431 1171 0 79949 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 324688
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 4762
/proc/meminfo: memFree=27459352/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=676944 CPUtime=12.69 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 168529 0 0 0 1235 34 0 0 20 0 1 0 330541855 693190656 168450 33554432000 4194304 8989770 140733411109808 140733411109304 6592099 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 169236 168450 441 1171 0 168013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 676944
[startup+25.5004 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 4762
/proc/meminfo: memFree=27941488/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=189520 CPUtime=25.48 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 168559 0 0 0 2506 42 0 0 20 0 1 0 330541855 194068480 46624 33554432000 4194304 8989770 140733411109808 140733411109072 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 47380 46624 471 1171 0 46157 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 189520
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4762
/proc/meminfo: memFree=27932940/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=189520 CPUtime=51.08 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 168559 0 0 0 5060 48 0 0 20 0 1 0 330541855 194068480 46624 33554432000 4194304 8989770 140733411109808 140733411107776 4206154 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 47380 46624 471 1171 0 46157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 189520
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4801
/proc/meminfo: memFree=28910512/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=189520 CPUtime=102.27 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 168572 0 0 0 10169 58 0 0 20 0 1 0 330541855 194068480 46624 33554432000 4194304 8989770 140733411109808 140733411109072 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 47380 46624 471 1171 0 46157 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 189520
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4802
/proc/meminfo: memFree=28880904/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=189520 CPUtime=162.25 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 168588 0 0 0 16157 68 0 0 20 0 1 0 330541855 194068480 46624 33554432000 4194304 8989770 140733411109808 140733411109072 4209168 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 47380 46624 471 1171 0 46157 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 189520
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4802
/proc/meminfo: memFree=28886036/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=205904 CPUtime=222.24 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 172684 0 0 0 22144 80 0 0 20 0 1 0 330541855 210845696 50720 33554432000 4194304 8989770 140733411109808 140733411109304 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 51476 50720 471 1171 0 50253 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 205904
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 4805
/proc/meminfo: memFree=28838344/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=222288 CPUtime=282.22 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 176780 0 0 0 28131 91 0 0 20 0 1 0 330541855 227622912 54816 33554432000 4194304 8989770 140733411109808 140733411109072 4208846 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 55572 54816 471 1171 0 54349 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 222288
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4805
/proc/meminfo: memFree=28824080/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=233552 CPUtime=342.22 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 179597 0 0 0 34121 101 0 0 20 0 1 0 330541855 239157248 57632 33554432000 4194304 8989770 140733411109808 140733411091776 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 58388 57632 471 1171 0 57165 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 233552
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4805
/proc/meminfo: memFree=28825344/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=245840 CPUtime=402.2 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 182670 0 0 0 40111 109 0 0 20 0 1 0 330541855 251740160 60704 33554432000 4194304 8989770 140733411109808 140733411109072 4554059 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 61460 60704 471 1171 0 60237 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 245840
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4806
/proc/meminfo: memFree=28832464/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=259152 CPUtime=462.2 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 185998 0 0 0 46101 119 0 0 20 0 1 0 330541855 265371648 64032 33554432000 4194304 8989770 140733411109808 140733411109304 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 64788 64032 471 1171 0 63565 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 259152
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4806
/proc/meminfo: memFree=28809836/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=270416 CPUtime=522.19 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 188814 0 0 0 52090 129 0 0 20 0 1 0 330541855 276905984 66848 33554432000 4194304 8989770 140733411109808 140733411091776 7688048 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 67604 66848 471 1171 0 66381 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 270416
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4806
/proc/meminfo: memFree=28791504/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=283728 CPUtime=582.18 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 192142 0 0 0 58080 138 0 0 20 0 1 0 330541855 290537472 70176 33554432000 4194304 8989770 140733411109808 140733411109304 5398003 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 70932 70176 471 1171 0 69709 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 283728
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4807
/proc/meminfo: memFree=28750252/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=327760 CPUtime=822.15 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 203150 0 0 0 82042 173 0 0 20 0 1 0 330541855 335626240 81184 33554432000 4194304 8989770 140733411109808 140733411091776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 81940 81184 471 1171 0 80717 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 327760
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4810
/proc/meminfo: memFree=28711412/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=338000 CPUtime=882.13 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 205710 0 0 0 88031 182 0 0 20 0 1 0 330541855 346112000 83744 33554432000 4194304 8989770 140733411109808 140733411109304 4451817 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 84500 83744 471 1171 0 83277 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 338000
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4810
/proc/meminfo: memFree=28724760/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=346192 CPUtime=942.13 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 207758 0 0 0 94021 192 0 0 20 0 1 0 330541855 354500608 85792 33554432000 4194304 8989770 140733411109808 140733411109072 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 86548 85792 471 1171 0 85325 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 346192
[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 4810
/proc/meminfo: memFree=28696240/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=358480 CPUtime=1002.12 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 210830 0 0 0 100012 200 0 0 20 0 1 0 330541855 367083520 88864 33554432000 4194304 8989770 140733411109808 140733411109072 4209336 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 89620 88864 471 1171 0 88397 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 358480
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4811
/proc/meminfo: memFree=28681828/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=366672 CPUtime=1062.11 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 212878 0 0 0 106003 208 0 0 20 0 1 0 330541855 375472128 90912 33554432000 4194304 8989770 140733411109808 140733411109072 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 91668 90912 471 1171 0 90445 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 366672
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4811
/proc/meminfo: memFree=28678088/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=376912 CPUtime=1122.09 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 215441 0 0 0 111994 215 0 0 20 0 1 0 330541855 385957888 93472 33554432000 4194304 8989770 140733411109808 140733411091776 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 94228 93472 471 1171 0 93005 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 376912
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4811
/proc/meminfo: memFree=28697060/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=385104 CPUtime=1182.09 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 217489 0 0 0 117985 224 0 0 20 0 1 0 330541855 394346496 95520 33554432000 4194304 8989770 140733411109808 140733411107776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 96276 95520 471 1171 0 95053 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 385104
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4811
/proc/meminfo: memFree=28688752/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=394320 CPUtime=1242.08 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 219793 0 0 0 123975 233 0 0 20 0 1 0 330541855 403783680 97824 33554432000 4194304 8989770 140733411109808 140733411109304 4371340 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 98580 97824 471 1171 0 97357 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 394320
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4811
/proc/meminfo: memFree=28670152/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=404560 CPUtime=1302.08 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 222355 0 0 0 129966 242 0 0 20 0 1 0 330541855 414269440 100386 33554432000 4194304 8989770 140733411109808 140733411091776 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 101140 100386 473 1171 0 99917 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 404560
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4812
/proc/meminfo: memFree=28674452/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=404560 CPUtime=1362.06 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 222355 0 0 0 135957 249 0 0 20 0 1 0 330541855 414269440 100386 33554432000 4194304 8989770 140733411109808 140733411107776 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 101140 100386 473 1171 0 99917 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 404560
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4812
/proc/meminfo: memFree=28662736/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=404560 CPUtime=1422.06 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 222355 0 0 0 141946 260 0 0 20 0 1 0 330541855 414269440 100386 33554432000 4194304 8989770 140733411109808 140733411109072 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 101140 100386 473 1171 0 99917 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 404560
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4815
/proc/meminfo: memFree=28682568/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=404560 CPUtime=1482.04 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 222355 0 0 0 147935 269 0 0 20 0 1 0 330541855 414269440 100386 33554432000 4194304 8989770 140733411109808 140733411109304 4213693 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 101140 100386 473 1171 0 99917 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 404560
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 4838
/proc/meminfo: memFree=28646856/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=404560 CPUtime=1542.03 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 222355 0 0 0 153924 279 0 0 20 0 1 0 330541855 414269440 100386 33554432000 4194304 8989770 140733411109808 140733411091776 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 101140 100386 473 1171 0 99917 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 404560
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4838
/proc/meminfo: memFree=28659388/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=404560 CPUtime=1602.02 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 222355 0 0 0 159914 288 0 0 20 0 1 0 330541855 414269440 100386 33554432000 4194304 8989770 140733411109808 140733411109304 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 101140 100386 473 1171 0 99917 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 404560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4839
/proc/meminfo: memFree=28661552/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=404560 CPUtime=1662.01 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 222355 0 0 0 165904 297 0 0 20 0 1 0 330541855 414269440 100386 33554432000 4194304 8989770 140733411109808 140733411109304 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 101140 100386 473 1171 0 99917 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 404560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4839
/proc/meminfo: memFree=28663164/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=404560 CPUtime=1722 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 222355 0 0 0 171894 306 0 0 20 0 1 0 330541855 414269440 100386 33554432000 4194304 8989770 140733411109808 140733411109072 4213683 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 101140 100386 473 1171 0 99917 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 404560
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4839
/proc/meminfo: memFree=28652500/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=408656 CPUtime=1782 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 223379 0 0 0 177884 316 0 0 20 0 1 0 330541855 418463744 101410 33554432000 4194304 8989770 140733411109808 140733411109304 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 102164 101410 473 1171 0 100941 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 408656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4839
/proc/meminfo: memFree=28661180/32873844 swapFree=6872/6872
[pid=4761] ppid=4759 vsize=408656 CPUtime=1800.1 cores=1,3,5,7
/proc/4761/stat : 4761 (toysat) R 4759 4761 3386 0 -1 4202496 223379 0 0 0 179691 319 0 0 20 0 1 0 330541855 418463744 101410 33554432000 4194304 8989770 140733411109808 140733411109304 4437096 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4761/statm: 102164 101410 473 1171 0 100941 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 408656
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.92
CPU system time (s): 3.19551
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 676944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.92
system time used= 3.19551
maximum resident set size= 673920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223379
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= 37
involuntary context switches= 1884
runsolver used 2.67059 second user time and 11.0943 second system time
The end