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-3706089-1338198256/watcher-3706089-1338198256 -o /tmp/evaluation-result-3706089-1338198256/solver-3706089-1338198256 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706089-1338198256.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.11 2.07 2.01 3/171 28185
/proc/meminfo: memFree=27149216/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 285954178 6356992 725 33554432000 4194304 8973514 140734182375792 140735239910728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 1552 725 415 1167 0 333 0
[startup+0.0584749 s]
/proc/loadavg: 2.11 2.07 2.01 3/171 28185
/proc/meminfo: memFree=27149216/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=10304 CPUtime=0.05 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 1656 0 0 0 5 0 0 0 20 0 1 0 285954178 10551296 1577 33554432000 4194304 8973514 140734182375792 140735239910728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 2576 1577 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304
[startup+0.100302 s]
/proc/loadavg: 2.11 2.07 2.01 3/171 28185
/proc/meminfo: memFree=27149216/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 285954178 12648448 2276 33554432000 4194304 8973514 140734182375792 140735239910728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300275 s]
/proc/loadavg: 2.11 2.07 2.01 3/171 28185
/proc/meminfo: memFree=27149216/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=22592 CPUtime=0.28 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 4915 0 0 0 28 0 0 0 20 0 1 0 285954178 23134208 4836 33554432000 4194304 8973514 140734182375792 140735239910728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 5648 4836 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592
[startup+0.700297 s]
/proc/loadavg: 2.11 2.07 2.01 3/171 28185
/proc/meminfo: memFree=27149216/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=46144 CPUtime=0.68 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 10816 0 0 0 67 1 0 0 20 0 1 0 285954178 47251456 10737 33554432000 4194304 8973514 140734182375792 140735239910728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 11536 10737 425 1167 0 10317 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 46144
[startup+1.50032 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 28200
/proc/meminfo: memFree=27040964/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=50240 CPUtime=1.49 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 11859 0 0 0 147 2 0 0 20 0 1 0 285954178 51445760 11780 33554432000 4194304 8973514 140734182375792 140734182375288 4372292 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 12560 11780 444 1167 0 11341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50240
[startup+3.10031 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 28200
/proc/meminfo: memFree=27035756/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=50240 CPUtime=3.09 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 11859 0 0 0 307 2 0 0 20 0 1 0 285954178 51445760 11780 33554432000 4194304 8973514 140734182375792 140734182375288 4442273 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 12560 11780 444 1167 0 11341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50240
[startup+6.30032 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 28200
/proc/meminfo: memFree=27035632/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=52288 CPUtime=6.29 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 12125 0 0 0 626 3 0 0 20 0 1 0 285954178 53542912 12046 33554432000 4194304 8973514 140734182375792 140734182373760 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 13072 12046 444 1167 0 11853 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52288
[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 28200
/proc/meminfo: memFree=27026668/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=60480 CPUtime=12.69 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 14419 0 0 0 1264 5 0 0 20 0 1 0 285954178 61931520 14340 33554432000 4194304 8973514 140734182375792 140734182375288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 15120 14340 444 1167 0 13901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60480
[startup+25.5003 s]
/proc/loadavg: 2.01 2.05 2.00 3/177 28200
/proc/meminfo: memFree=26994412/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=72768 CPUtime=25.48 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 17499 0 0 0 2539 9 0 0 20 0 1 0 285954178 74514432 17412 33554432000 4194304 8973514 140734182375792 140734182373760 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 18192 17412 444 1167 0 16973 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72768
[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 28200
/proc/meminfo: memFree=26934472/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=104512 CPUtime=51.06 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 25452 0 0 0 5090 16 0 0 20 0 1 0 285954178 107020288 25348 33554432000 4194304 8973514 140734182375792 140734182375288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 26128 25348 444 1167 0 24909 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 104512
[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 28200
/proc/meminfo: memFree=26827504/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=157760 CPUtime=102.24 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 38635 0 0 0 10193 31 0 0 20 0 1 0 285954178 161546240 38504 33554432000 4194304 8973514 140734182375792 140734182375288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 39440 38504 444 1167 0 38221 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 157760
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28200
/proc/meminfo: memFree=26716384/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=208960 CPUtime=162.22 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 51449 0 0 0 16173 49 0 0 20 0 1 0 285954178 213975040 51315 33554432000 4194304 8973514 140734182375792 140734182375288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 52240 51315 444 1167 0 51021 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 208960
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28200
/proc/meminfo: memFree=26621304/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=249920 CPUtime=222.21 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 61835 0 0 0 22158 63 0 0 20 0 1 0 285954178 255918080 61701 33554432000 4194304 8973514 140734182375792 140734182375288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 62480 61701 445 1167 0 61261 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 249920
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28201
/proc/meminfo: memFree=26579544/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=249920 CPUtime=282.19 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 61835 0 0 0 28142 77 0 0 20 0 1 0 285954178 255918080 61701 33554432000 4194304 8973514 140734182375792 140734182375288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 62480 61701 445 1167 0 61261 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 249920
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28201
/proc/meminfo: memFree=26566172/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=264256 CPUtime=342.18 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 65175 0 0 0 34127 91 0 0 20 0 1 0 285954178 270598144 65041 33554432000 4194304 8973514 140734182375792 140734182375288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 66064 65041 445 1167 0 64845 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 264256
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28204
/proc/meminfo: memFree=26540496/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=288832 CPUtime=402.18 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 71563 0 0 0 40114 104 0 0 20 0 1 0 285954178 295763968 71429 33554432000 4194304 8973514 140734182375792 140734182375288 7680222 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 72208 71429 445 1167 0 70989 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 288832
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28204
/proc/meminfo: memFree=26527432/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=288832 CPUtime=462.15 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 71586 0 0 0 46099 116 0 0 20 0 1 0 285954178 295763968 71429 33554432000 4194304 8973514 140734182375792 140734182375288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 72208 71429 445 1167 0 70989 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 288832
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28204
/proc/meminfo: memFree=26487868/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=288832 CPUtime=522.12 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 71601 0 0 0 52085 127 0 0 20 0 1 0 285954178 295763968 71429 33554432000 4194304 8973514 140734182375792 140734182375288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 72208 71429 445 1167 0 70989 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 288832
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 28205
/proc/meminfo: memFree=26464680/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=289856 CPUtime=582.11 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 71857 0 0 0 58073 138 0 0 20 0 1 0 285954178 296812544 71685 33554432000 4194304 8973514 140734182375792 140734182375056 4213723 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 72464 71685 445 1167 0 71245 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 289856
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28206
/proc/meminfo: memFree=26404408/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=353344 CPUtime=882.07 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 87579 0 0 0 88011 196 0 0 20 0 1 0 285954178 361824256 87407 33554432000 4194304 8973514 140734182375792 140734182375056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 88336 87407 445 1167 0 87117 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 353344
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28206
/proc/meminfo: memFree=26379360/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=377920 CPUtime=942.06 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 93831 0 0 0 94000 206 0 0 20 0 1 0 285954178 386990080 93659 33554432000 4194304 8973514 140734182375792 140734182375288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 94480 93659 445 1167 0 93261 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 377920
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28209
/proc/meminfo: memFree=26359368/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=398400 CPUtime=1002.02 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 98860 0 0 0 99986 216 0 0 20 0 1 0 285954178 407961600 98659 33554432000 4194304 8973514 140734182375792 140734182375056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 99600 98659 445 1167 0 98381 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 398400
[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 28232
/proc/meminfo: memFree=26348736/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=408640 CPUtime=1062.01 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 101447 0 0 0 105976 225 0 0 20 0 1 0 285954178 418447360 101240 33554432000 4194304 8973514 140734182375792 140734182375056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 102160 101240 445 1167 0 100941 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 408640
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 28232
/proc/meminfo: memFree=26338080/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=418880 CPUtime=1122 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 104148 0 0 0 111967 233 0 0 20 0 1 0 285954178 428933120 103941 33554432000 4194304 8973514 140734182375792 140734182375056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 104720 103941 445 1167 0 103501 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 418880
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 28233
/proc/meminfo: memFree=26323572/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=433216 CPUtime=1181.99 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 107732 0 0 0 117958 241 0 0 20 0 1 0 285954178 443613184 107525 33554432000 4194304 8973514 140734182375792 140734182375056 4424683 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 108304 107525 445 1167 0 107085 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 433216
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 28233
/proc/meminfo: memFree=26323200/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=433216 CPUtime=1241.98 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 107732 0 0 0 123947 251 0 0 20 0 1 0 285954178 443613184 107525 33554432000 4194304 8973514 140734182375792 140734182375056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 108304 107525 445 1167 0 107085 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 433216
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28233
/proc/meminfo: memFree=26323012/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=433216 CPUtime=1301.98 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 107732 0 0 0 129938 260 0 0 20 0 1 0 285954178 443613184 107525 33554432000 4194304 8973514 140734182375792 140734182375056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 108304 107525 445 1167 0 107085 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 433216
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28233
/proc/meminfo: memFree=26323136/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=433216 CPUtime=1361.97 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 107732 0 0 0 135930 267 0 0 20 0 1 0 285954178 443613184 107525 33554432000 4194304 8973514 140734182375792 140734182375056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 108304 107525 445 1167 0 107085 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 433216
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28233
/proc/meminfo: memFree=26323384/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=433216 CPUtime=1421.96 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 107732 0 0 0 141922 274 0 0 20 0 1 0 285954178 443613184 107525 33554432000 4194304 8973514 140734182375792 140734182375056 4424744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 108304 107525 445 1167 0 107085 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 433216
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 28234
/proc/meminfo: memFree=26323384/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=433216 CPUtime=1481.95 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 107732 0 0 0 147914 281 0 0 20 0 1 0 285954178 443613184 107525 33554432000 4194304 8973514 140734182375792 140734182375056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 108304 107525 445 1167 0 107085 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 433216
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28234
/proc/meminfo: memFree=26352024/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=433216 CPUtime=1541.93 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 107734 0 0 0 153905 288 0 0 20 0 1 0 285954178 443613184 107525 33554432000 4194304 8973514 140734182375792 140734182375288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 108304 107525 445 1167 0 107085 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 433216
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 28237
/proc/meminfo: memFree=26347104/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=438336 CPUtime=1601.92 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 109019 0 0 0 159896 296 0 0 20 0 1 0 285954178 448856064 108805 33554432000 4194304 8973514 140734182375792 140734182375056 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 109584 108805 445 1167 0 108365 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 438336
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28237
/proc/meminfo: memFree=26382900/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=402496 CPUtime=1661.92 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 109019 0 0 0 165888 304 0 0 20 0 1 0 285954178 412155904 99845 33554432000 4194304 8973514 140734182375792 140734182375288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 100624 99845 445 1167 0 99405 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 402496
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28237
/proc/meminfo: memFree=26403368/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=382016 CPUtime=1721.9 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 109019 0 0 0 171874 316 0 0 20 0 1 0 285954178 391184384 94725 33554432000 4194304 8973514 140734182375792 140734182375056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 95504 94725 445 1167 0 94285 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 382016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28238
/proc/meminfo: memFree=26385808/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=382016 CPUtime=1781.9 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 109019 0 0 0 177861 329 0 0 20 0 1 0 285954178 391184384 94725 33554432000 4194304 8973514 140734182375792 140734182375056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 95504 94725 445 1167 0 94285 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 382016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28238
/proc/meminfo: memFree=26372044/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=382016 CPUtime=1800.1 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 109019 0 0 0 179678 332 0 0 20 0 1 0 285954178 391184384 94725 33554432000 4194304 8973514 140734182375792 140734182375288 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 95504 94725 445 1167 0 94285 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 382016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28238
/proc/meminfo: memFree=26372044/32873844 swapFree=6088/6088
[pid=28185] ppid=28183 vsize=382016 CPUtime=1800.1 cores=1,3,5,7
/proc/28185/stat : 28185 (toysat) R 28183 28185 27853 0 -1 4202496 109019 0 0 0 179678 332 0 0 20 0 1 0 285954178 391184384 94725 33554432000 4194304 8973514 140734182375792 140734182375288 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28185/statm: 95504 94725 445 1167 0 94285 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 382016
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1796.78
CPU system time (s): 3.33249
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 438336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.78
system time used= 3.33249
maximum resident set size= 435220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109019
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= 138
involuntary context switches= 1845
runsolver used 3.21151 second user time and 10.1835 second system time
The end