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-3707275-1338132186/watcher-3707275-1338132186 -o /tmp/evaluation-result-3707275-1338132186/solver-3707275-1338132186 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707275-1338132186.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.00 2.00 3/176 14549
/proc/meminfo: memFree=28533548/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 816 0 0 0 0 0 0 0 20 0 1 0 279344584 6356992 737 33554432000 4194304 8973514 140734381987712 140734165830376 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 1552 737 415 1167 0 333 0
[startup+0.0900641 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 14549
/proc/meminfo: memFree=28533548/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=14400 CPUtime=0.08 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 2911 0 0 0 8 0 0 0 20 0 1 0 279344584 14745600 2832 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 3600 2832 458 1167 0 2381 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14400
[startup+0.100273 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 14549
/proc/meminfo: memFree=28533548/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=14400 CPUtime=0.09 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 2911 0 0 0 9 0 0 0 20 0 1 0 279344584 14745600 2832 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 3600 2832 458 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400
[startup+0.300307 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 14549
/proc/meminfo: memFree=28533548/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=19520 CPUtime=0.29 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 4192 0 0 0 28 1 0 0 20 0 1 0 279344584 19988480 4113 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 4880 4113 458 1167 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19520
[startup+0.700251 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 14549
/proc/meminfo: memFree=28533548/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=19520 CPUtime=0.69 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 4192 0 0 0 68 1 0 0 20 0 1 0 279344584 19988480 4113 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 4880 4113 458 1167 0 3661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19520
[startup+1.50025 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14550
/proc/meminfo: memFree=28518776/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=19520 CPUtime=1.49 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 4192 0 0 0 148 1 0 0 20 0 1 0 279344584 19988480 4113 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 4880 4113 458 1167 0 3661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19520
[startup+3.10026 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14550
/proc/meminfo: memFree=28517272/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=21568 CPUtime=3.09 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 4704 0 0 0 308 1 0 0 20 0 1 0 279344584 22085632 4625 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 5392 4625 458 1167 0 4173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21568
[startup+6.30026 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14550
/proc/meminfo: memFree=28514788/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=25664 CPUtime=6.29 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 5508 0 0 0 627 2 0 0 20 0 1 0 279344584 26279936 5429 33554432000 4194304 8973514 140734381987712 140734381985728 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 6416 5429 458 1167 0 5197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25664
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14550
/proc/meminfo: memFree=28505672/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=32832 CPUtime=12.68 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 7522 0 0 0 1264 4 0 0 20 0 1 0 279344584 33619968 7448 33554432000 4194304 8973514 140734381987712 140734381985664 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 8208 7448 458 1167 0 6989 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32832
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=28494088/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=44096 CPUtime=25.48 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 10345 0 0 0 2541 7 0 0 20 0 1 0 279344584 45154304 10265 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 11024 10265 459 1167 0 9805 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44096
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=28484272/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=52288 CPUtime=51.06 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 12400 0 0 0 5094 12 0 0 20 0 1 0 279344584 53542912 12313 33554432000 4194304 8973514 140734381987712 140734381987208 4204605 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 13072 12313 459 1167 0 11853 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 52288
[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 14550
/proc/meminfo: memFree=28480600/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=56384 CPUtime=102.26 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 14704 0 0 0 10204 22 0 0 20 0 1 0 279344584 57737216 13337 33554432000 4194304 8973514 140734381987712 140734381986976 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 14096 13337 459 1167 0 12877 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 56384
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14550
/proc/meminfo: memFree=28471208/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=64576 CPUtime=162.24 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 17008 0 0 0 16190 34 0 0 20 0 1 0 279344584 66125824 15385 33554432000 4194304 8973514 140734381987712 140734381986976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 16144 15385 459 1167 0 14925 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 64576
[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14551
/proc/meminfo: memFree=28472360/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=63552 CPUtime=222.24 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 19056 0 0 0 22178 46 0 0 20 0 1 0 279344584 65077248 15129 33554432000 4194304 8973514 140734381987712 140734381986976 4447480 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 15888 15129 459 1167 0 14669 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 63552
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14552
/proc/meminfo: memFree=28472308/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=62528 CPUtime=282.23 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 22135 0 0 0 28165 58 0 0 20 0 1 0 279344584 64028672 14873 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 15632 14873 459 1167 0 14413 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 62528
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14552
/proc/meminfo: memFree=28467896/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=66624 CPUtime=342.22 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 26231 0 0 0 34154 68 0 0 20 0 1 0 279344584 68222976 15897 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 16656 15897 459 1167 0 15437 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 66624
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14552
/proc/meminfo: memFree=28466292/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=66624 CPUtime=402.21 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 27767 0 0 0 40143 78 0 0 20 0 1 0 279344584 68222976 15897 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 16656 15897 459 1167 0 15437 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 66624
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14555
/proc/meminfo: memFree=28465316/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=68672 CPUtime=462.19 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 29303 0 0 0 46130 89 0 0 20 0 1 0 279344584 70320128 16409 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 17168 16409 459 1167 0 15949 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 68672
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14555
/proc/meminfo: memFree=28458432/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=74816 CPUtime=522.18 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 33920 0 0 0 52117 101 0 0 20 0 1 0 279344584 76611584 17945 33554432000 4194304 8973514 140734381987712 140734381987208 4208836 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 18704 17945 459 1167 0 17485 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 74816
[startup+582.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 14556
/proc/meminfo: memFree=28474368/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=58432 CPUtime=582.18 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 35200 0 0 0 58106 112 0 0 20 0 1 0 279344584 59834368 13849 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 14608 13849 459 1167 0 13389 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 58432
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.04 2.07 2.02 3/177 14557
/proc/meminfo: memFree=28444756/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=81984 CPUtime=882.13 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 58247 0 0 0 88041 172 0 0 20 0 1 0 279344584 83951616 19737 33554432000 4194304 8973514 140734381987712 140734381987208 4441393 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 20496 19737 459 1167 0 19277 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 81984
[startup+942.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/177 14557
/proc/meminfo: memFree=28454536/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=70720 CPUtime=942.11 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 61063 0 0 0 94026 185 0 0 20 0 1 0 279344584 72417280 16921 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 17680 16921 459 1167 0 16461 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 70720
[startup+1002.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 14557
/proc/meminfo: memFree=28453220/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=70720 CPUtime=1002.1 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 63121 0 0 0 100015 195 0 0 20 0 1 0 279344584 72417280 16921 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 17680 16921 459 1167 0 16461 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 70720
[startup+1062.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/178 14637
/proc/meminfo: memFree=28743388/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=78912 CPUtime=1062.08 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 67473 0 0 0 106004 204 0 0 20 0 1 0 279344584 80805888 18969 33554432000 4194304 8973514 140734381987712 140734381985664 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 19728 18969 459 1167 0 18509 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 78912
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/177 14637
/proc/meminfo: memFree=28747880/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=59456 CPUtime=1122.07 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 70035 0 0 0 111993 214 0 0 20 0 1 0 279344584 60882944 14105 33554432000 4194304 8973514 140734381987712 140734381987208 6572052 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 14864 14105 459 1167 0 13645 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 59456
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 14638
/proc/meminfo: memFree=28726168/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=83008 CPUtime=1182.07 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 80275 0 0 0 117982 225 0 0 20 0 1 0 279344584 85000192 19993 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 20752 19993 459 1167 0 19533 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 83008
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/177 14638
/proc/meminfo: memFree=28706292/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=91200 CPUtime=1242.04 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 87203 0 0 0 123965 239 0 0 20 0 1 0 279344584 93388800 22041 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 22800 22041 459 1167 0 21581 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 91200
[startup+1302.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 14638
/proc/meminfo: memFree=28719940/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=78912 CPUtime=1302.03 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 88995 0 0 0 129954 249 0 0 20 0 1 0 279344584 80805888 18969 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 19728 18969 459 1167 0 18509 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 78912
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 14638
/proc/meminfo: memFree=28721864/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=74816 CPUtime=1362.02 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 93347 0 0 0 135941 261 0 0 20 0 1 0 279344584 76611584 17945 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 18704 17945 459 1167 0 17485 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 74816
[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14638
/proc/meminfo: memFree=28714504/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=71744 CPUtime=1422.01 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 95147 0 0 0 141929 272 0 0 20 0 1 0 279344584 73465856 17177 33554432000 4194304 8973514 140734381987712 140734381985664 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 17936 17177 459 1167 0 16717 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 71744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14639
/proc/meminfo: memFree=28699524/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=87104 CPUtime=1482 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 100523 0 0 0 147917 283 0 0 20 0 1 0 279344584 89194496 21017 33554432000 4194304 8973514 140734381987712 140734381987208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 21776 21017 459 1167 0 20557 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 87104
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14639
/proc/meminfo: memFree=28706972/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=88128 CPUtime=1541.99 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 104363 0 0 0 153907 292 0 0 20 0 1 0 279344584 90243072 21273 33554432000 4194304 8973514 140734381987712 140734381986976 4209200 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 22032 21273 459 1167 0 20813 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 88128
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 14639
/proc/meminfo: memFree=28718208/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=78912 CPUtime=1601.97 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 107181 0 0 0 159895 302 0 0 20 0 1 0 279344584 80805888 18969 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 19728 18969 459 1167 0 18509 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 78912
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 14642
/proc/meminfo: memFree=28696328/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=84032 CPUtime=1661.94 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 111816 0 0 0 165881 313 0 0 20 0 1 0 279344584 86048768 20249 33554432000 4194304 8973514 140734381987712 140734381987208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 21008 20249 459 1167 0 19789 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 84032
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 14642
/proc/meminfo: memFree=28723928/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=70720 CPUtime=1721.94 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 114888 0 0 0 171870 324 0 0 20 0 1 0 279344584 72417280 16921 33554432000 4194304 8973514 140734381987712 140734381985664 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 17680 16921 459 1167 0 16461 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 70720
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 14643
/proc/meminfo: memFree=28688672/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=87104 CPUtime=1781.92 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 119752 0 0 0 177857 335 0 0 20 0 1 0 279344584 89194496 21017 33554432000 4194304 8973514 140734381987712 140734381987208 4213575 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 21776 21017 459 1167 0 20557 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 87104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14643
/proc/meminfo: memFree=28684564/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=83008 CPUtime=1800.03 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 121288 0 0 0 179665 338 0 0 20 0 1 0 279344584 85000192 19993 33554432000 4194304 8973514 140734381987712 140734381987208 6571896 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 20752 19993 459 1167 0 19533 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 83008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14643
/proc/meminfo: memFree=28684564/32873648 swapFree=7372/7372
[pid=14549] ppid=14547 vsize=83008 CPUtime=1800.03 cores=1,3,5,7
/proc/14549/stat : 14549 (toysat) R 14547 14549 12124 0 -1 4202496 121288 0 0 0 179665 338 0 0 20 0 1 0 279344584 85000192 19993 33554432000 4194304 8973514 140734381987712 140734381987208 6571896 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14549/statm: 20752 19993 459 1167 0 19533 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 83008
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1796.65
CPU system time (s): 3.38848
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 101440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 3.38848
maximum resident set size= 98404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121288
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= 106
involuntary context switches= 1945
runsolver used 3.19951 second user time and 9.46456 second system time
The end