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-3707255-1338135014/watcher-3707255-1338135014 -o /tmp/evaluation-result-3707255-1338135014/solver-3707255-1338135014 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707255-1338135014.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21236
/proc/meminfo: memFree=30483704/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 822 0 0 0 0 0 0 0 20 0 1 0 279625790 7405568 743 33554432000 4194304 8973514 140733579972544 140733283140648 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 1808 743 415 1167 0 589 0
[startup+0.073385 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21236
/proc/meminfo: memFree=30483704/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 1919 0 0 0 7 0 0 0 20 0 1 0 279625790 11599872 1840 33554432000 4194304 8973514 140733579972544 140733283140648 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 2832 1847 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100333 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21236
/proc/meminfo: memFree=30483704/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=15424 CPUtime=0.09 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 2883 0 0 0 9 0 0 0 20 0 1 0 279625790 15794176 2804 33554432000 4194304 8973514 140733579972544 140733283140648 6576360 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 3856 2804 428 1167 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424
[startup+0.300342 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21236
/proc/meminfo: memFree=30483704/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=28736 CPUtime=0.29 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 6483 0 0 0 28 1 0 0 20 0 1 0 279625790 29425664 6404 33554432000 4194304 8973514 140733579972544 140733283140648 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 7184 6404 446 1167 0 5965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28736
[startup+0.700303 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21236
/proc/meminfo: memFree=30483704/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=32832 CPUtime=0.69 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 7507 0 0 0 68 1 0 0 20 0 1 0 279625790 33619968 7428 33554432000 4194304 8973514 140733579972544 140733283140648 7680190 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 8208 7428 446 1167 0 6989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32832
[startup+1.50025 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 21237
/proc/meminfo: memFree=30455532/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=32832 CPUtime=1.49 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 7507 0 0 0 148 1 0 0 20 0 1 0 279625790 33619968 7428 33554432000 4194304 8973514 140733579972544 140733579972040 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 8208 7428 446 1167 0 6989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32832
[startup+3.10025 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 21237
/proc/meminfo: memFree=30451564/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=34880 CPUtime=3.09 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 8019 0 0 0 307 2 0 0 20 0 1 0 279625790 35717120 7940 33554432000 4194304 8973514 140733579972544 140733579972040 4459098 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 8720 7940 446 1167 0 7501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34880
[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 21237
/proc/meminfo: memFree=30450208/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=37952 CPUtime=6.29 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 8797 0 0 0 627 2 0 0 20 0 1 0 279625790 38862848 8718 33554432000 4194304 8973514 140733579972544 140733579972040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 9488 8718 456 1167 0 8269 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37952
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 21237
/proc/meminfo: memFree=30449092/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=38976 CPUtime=12.69 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 9053 0 0 0 1266 3 0 0 20 0 1 0 279625790 39911424 8974 33554432000 4194304 8973514 140733579972544 140733579971808 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 9744 8974 456 1167 0 8525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38976
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21237
/proc/meminfo: memFree=30448768/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=42048 CPUtime=25.49 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 9821 0 0 0 2544 5 0 0 20 0 1 0 279625790 43057152 9742 33554432000 4194304 8973514 140733579972544 140733579971808 4447480 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 10512 9742 456 1167 0 9293 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42048
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21237
/proc/meminfo: memFree=30441948/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=50240 CPUtime=51.08 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 11874 0 0 0 5099 9 0 0 20 0 1 0 279625790 51445760 11790 33554432000 4194304 8973514 140733579972544 140733579972040 7732529 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 12560 11790 456 1167 0 11341 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50240
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21237
/proc/meminfo: memFree=30425284/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=66624 CPUtime=102.26 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 15980 0 0 0 10211 15 0 0 20 0 1 0 279625790 68222976 15886 33554432000 4194304 8973514 140733579972544 140733579972040 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 16656 15886 456 1167 0 15437 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66624
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21237
/proc/meminfo: memFree=30405488/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=84032 CPUtime=162.25 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 20336 0 0 0 16201 24 0 0 20 0 1 0 279625790 86048768 20238 33554432000 4194304 8973514 140733579972544 140733579971808 7660525 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 21008 20238 456 1167 0 19789 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 84032
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21237
/proc/meminfo: memFree=30377944/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=112704 CPUtime=222.24 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 27504 0 0 0 22189 35 0 0 20 0 1 0 279625790 115408896 27406 33554432000 4194304 8973514 140733579972544 140733579972040 4427828 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 28176 27406 456 1167 0 26957 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 112704
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21238
/proc/meminfo: memFree=30351056/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=137280 CPUtime=282.22 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 33658 0 0 0 28176 46 0 0 20 0 1 0 279625790 140574720 33550 33554432000 4194304 8973514 140733579972544 140733579971808 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 34320 33550 456 1167 0 33101 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 137280
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21239
/proc/meminfo: memFree=30334980/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=157760 CPUtime=342.21 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 38778 0 0 0 34167 54 0 0 20 0 1 0 279625790 161546240 38670 33554432000 4194304 8973514 140733579972544 140733579972040 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 39440 38670 456 1167 0 38221 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 157760
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21239
/proc/meminfo: memFree=30315860/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=173120 CPUtime=402.2 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 42620 0 0 0 40157 63 0 0 20 0 1 0 279625790 177274880 42512 33554432000 4194304 8973514 140733579972544 140733579972040 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 43280 42512 456 1167 0 42061 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 173120
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21239
/proc/meminfo: memFree=30314400/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=176192 CPUtime=462.19 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 43389 0 0 0 46147 72 0 0 20 0 1 0 279625790 180420608 43281 33554432000 4194304 8973514 140733579972544 140733579970496 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 44048 43281 457 1167 0 42829 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 176192
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21239
/proc/meminfo: memFree=30295868/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=191552 CPUtime=522.19 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 47229 0 0 0 52135 84 0 0 20 0 1 0 279625790 196149248 47121 33554432000 4194304 8973514 140733579972544 140733579972040 4209365 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 47888 47121 457 1167 0 46669 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 191552
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21240
/proc/meminfo: memFree=30287908/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=200768 CPUtime=582.18 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 49533 0 0 0 58125 93 0 0 20 0 1 0 279625790 205586432 49425 33554432000 4194304 8973514 140733579972544 140733579972040 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 50192 49425 457 1167 0 48973 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 200768
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 21282
/proc/meminfo: memFree=30234540/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=197696 CPUtime=822.14 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 58752 0 0 0 82089 125 0 0 20 0 1 0 279625790 202440704 48657 33554432000 4194304 8973514 140733579972544 140733579970560 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 49424 48657 457 1167 0 48205 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 197696
[startup+882.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21283
/proc/meminfo: memFree=30206152/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=209984 CPUtime=882.13 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 61824 0 0 0 88079 134 0 0 20 0 1 0 279625790 215023616 51729 33554432000 4194304 8973514 140733579972544 140733579971808 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 52496 51729 457 1167 0 51277 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 209984
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21283
/proc/meminfo: memFree=30176112/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=229440 CPUtime=942.12 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 66688 0 0 0 94068 144 0 0 20 0 1 0 279625790 234946560 56593 33554432000 4194304 8973514 140733579972544 140733579971808 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 57360 56593 457 1167 0 56141 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 229440
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21283
/proc/meminfo: memFree=30145116/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=251968 CPUtime=1002.11 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 72326 0 0 0 100057 154 0 0 20 0 1 0 279625790 258015232 62225 33554432000 4194304 8973514 140733579972544 140733579971808 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 62992 62225 457 1167 0 61773 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 251968
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21283
/proc/meminfo: memFree=30137964/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=234560 CPUtime=1062.1 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 73350 0 0 0 106046 164 0 0 20 0 1 0 279625790 240189440 57873 33554432000 4194304 8973514 140733579972544 140733579971808 7732879 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 58640 57873 457 1167 0 57421 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 234560
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21283
/proc/meminfo: memFree=30145184/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=234560 CPUtime=1122.09 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 73350 0 0 0 112035 174 0 0 20 0 1 0 279625790 240189440 57873 33554432000 4194304 8973514 140733579972544 140733579971808 4447250 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 58640 57873 457 1167 0 57421 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 234560
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21284
/proc/meminfo: memFree=30145196/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=236608 CPUtime=1182.08 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 73862 0 0 0 118028 180 0 0 20 0 1 0 279625790 242286592 58385 33554432000 4194304 8973514 140733579972544 140733579971808 7672543 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 59152 58385 457 1167 0 57933 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 236608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21287
/proc/meminfo: memFree=30169080/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=254016 CPUtime=1242.07 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 78215 0 0 0 124018 189 0 0 20 0 1 0 279625790 260112384 62737 33554432000 4194304 8973514 140733579972544 140733579971808 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 63504 62737 457 1167 0 62285 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 254016
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21287
/proc/meminfo: memFree=30100496/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=283712 CPUtime=1302.07 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 85639 0 0 0 130008 199 0 0 20 0 1 0 279625790 290521088 70161 33554432000 4194304 8973514 140733579972544 140733579971808 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 70928 70161 457 1167 0 69709 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 283712
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21287
/proc/meminfo: memFree=30086180/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=308288 CPUtime=1362.05 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 91783 0 0 0 135996 209 0 0 20 0 1 0 279625790 315686912 76305 33554432000 4194304 8973514 140733579972544 140733579971808 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 77072 76305 457 1167 0 75853 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 308288
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21287
/proc/meminfo: memFree=30044580/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=316480 CPUtime=1422.05 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 94855 0 0 0 141988 217 0 0 20 0 1 0 279625790 324075520 78353 33554432000 4194304 8973514 140733579972544 140733579970496 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 79120 78353 457 1167 0 77901 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 316480
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21287
/proc/meminfo: memFree=30031052/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=316480 CPUtime=1482.03 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 94859 0 0 0 147977 226 0 0 20 0 1 0 279625790 324075520 78353 33554432000 4194304 8973514 140733579972544 140733579972040 6575950 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 79120 78353 457 1167 0 77901 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 316480
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21289
/proc/meminfo: memFree=30005436/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=316480 CPUtime=1542.02 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 94859 0 0 0 153966 236 0 0 20 0 1 0 279625790 324075520 78353 33554432000 4194304 8973514 140733579972544 140733579971808 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 79120 78353 457 1167 0 77901 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 316480
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21289
/proc/meminfo: memFree=30051008/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=316480 CPUtime=1602.01 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 94859 0 0 0 159955 246 0 0 20 0 1 0 279625790 324075520 78353 33554432000 4194304 8973514 140733579972544 140733579972040 4214016 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 79120 78353 457 1167 0 77901 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 316480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21289
/proc/meminfo: memFree=30016200/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=317504 CPUtime=1662 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 95115 0 0 0 165942 258 0 0 20 0 1 0 279625790 325124096 78609 33554432000 4194304 8973514 140733579972544 140733579970560 4419420 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 79376 78609 457 1167 0 78157 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 317504
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21289
/proc/meminfo: memFree=29995148/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=332864 CPUtime=1722 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 98955 0 0 0 171931 269 0 0 20 0 1 0 279625790 340852736 82449 33554432000 4194304 8973514 140733579972544 140733579972040 4390256 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 83216 82449 457 1167 0 81997 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 332864
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21289
/proc/meminfo: memFree=29996484/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=357440 CPUtime=1781.98 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 105099 0 0 0 177920 278 0 0 20 0 1 0 279625790 366018560 88593 33554432000 4194304 8973514 140733579972544 140733579972040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 89360 88593 457 1167 0 88141 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 357440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21293
/proc/meminfo: memFree=29975272/32873844 swapFree=7388/7388
[pid=21236] ppid=21234 vsize=357440 CPUtime=1800.08 cores=1,3,5,7
/proc/21236/stat : 21236 (toysat) R 21234 21236 20110 0 -1 4202496 105099 0 0 0 179727 281 0 0 20 0 1 0 279625790 366018560 88593 33554432000 4194304 8973514 140733579972544 140733579972040 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21236/statm: 89360 88593 457 1167 0 88141 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 357440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1797.28
CPU system time (s): 2.82457
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 357440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.28
system time used= 2.82457
maximum resident set size= 354372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105099
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= 46
involuntary context switches= 1849
runsolver used 4.67229 second user time and 8.63369 second system time
The end