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-3706084-1338199521/watcher-3706084-1338199521 -o /tmp/evaluation-result-3706084-1338199521/solver-3706084-1338199521 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706084-1338199521.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.09 2.06 2.00 2/174 30334
/proc/meminfo: memFree=31464756/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 817 0 0 0 0 0 0 0 20 0 1 0 286019111 6356992 737 33554432000 4194304 8973514 140735405579632 140735405578896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 1552 737 415 1167 0 333 0
[startup+0.100063 s]
/proc/loadavg: 2.09 2.06 2.00 2/174 30334
/proc/meminfo: memFree=31464756/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 286019111 12648448 2276 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.200295 s]
/proc/loadavg: 2.09 2.06 2.00 2/174 30334
/proc/meminfo: memFree=31464756/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=18496 CPUtime=0.19 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 3892 0 0 0 19 0 0 0 20 0 1 0 286019111 18939904 3812 33554432000 4194304 8973514 140735405579632 140735405578896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 4624 3812 418 1167 0 3405 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18496
[startup+0.300456 s]
/proc/loadavg: 2.09 2.06 2.00 2/174 30334
/proc/meminfo: memFree=31464756/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=22592 CPUtime=0.29 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 4916 0 0 0 28 1 0 0 20 0 1 0 286019111 23134208 4836 33554432000 4194304 8973514 140735405579632 140735405578896 7726813 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 5648 4836 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22592
[startup+0.700312 s]
/proc/loadavg: 2.09 2.06 2.00 2/174 30334
/proc/meminfo: memFree=31464756/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=46144 CPUtime=0.69 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 10832 0 0 0 67 2 0 0 20 0 1 0 286019111 47251456 10752 33554432000 4194304 8973514 140735405579632 140735405579128 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 11536 10752 440 1167 0 10317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46144
[startup+1.50033 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 30373
/proc/meminfo: memFree=31377240/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=50240 CPUtime=1.49 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 11860 0 0 0 146 3 0 0 20 0 1 0 286019111 51445760 11780 33554432000 4194304 8973514 140735405579632 140735405579128 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 12560 11780 444 1167 0 11341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50240
[startup+3.10032 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 30373
/proc/meminfo: memFree=31376224/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=50240 CPUtime=3.09 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 11860 0 0 0 306 3 0 0 20 0 1 0 286019111 51445760 11780 33554432000 4194304 8973514 140735405579632 140735405579128 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/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.08 2.06 2.00 3/177 30373
/proc/meminfo: memFree=31375108/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=50240 CPUtime=6.28 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 11860 0 0 0 625 3 0 0 20 0 1 0 286019111 51445760 11780 33554432000 4194304 8973514 140735405579632 140735405579128 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 12560 11780 444 1167 0 11341 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50240
[startup+12.7005 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 30373
/proc/meminfo: memFree=31358076/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=57408 CPUtime=12.69 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 13652 0 0 0 1264 5 0 0 20 0 1 0 286019111 58785792 13572 33554432000 4194304 8973514 140735405579632 140735405579128 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 14352 13572 444 1167 0 13133 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57408
[startup+25.5004 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 30373
/proc/meminfo: memFree=31324448/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=73792 CPUtime=25.47 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 17590 0 0 0 2538 9 0 0 20 0 1 0 286019111 75563008 17501 33554432000 4194304 8973514 140735405579632 140735405579128 6570508 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 18448 17501 444 1167 0 17229 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 73792
[startup+51.1004 s]
/proc/loadavg: 2.10 2.07 2.00 3/177 30373
/proc/meminfo: memFree=31250264/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=108608 CPUtime=51.05 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 26305 0 0 0 5086 19 0 0 20 0 1 0 286019111 111214592 26204 33554432000 4194304 8973514 140735405579632 140735405579128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 27152 26204 444 1167 0 25933 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 108608
[startup+102.3 s]
/proc/loadavg: 2.11 2.07 2.00 3/177 30373
/proc/meminfo: memFree=31138028/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=156736 CPUtime=102.23 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 38541 0 0 0 10188 35 0 0 20 0 1 0 286019111 160497664 38409 33554432000 4194304 8973514 140735405579632 140735405578896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 39184 38409 444 1167 0 37965 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 156736
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 30373
/proc/meminfo: memFree=31026836/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=213056 CPUtime=162.2 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 52621 0 0 0 16167 53 0 0 20 0 1 0 286019111 218169344 52489 33554432000 4194304 8973514 140735405579632 140735405578896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 53264 52489 444 1167 0 52045 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 213056
[startup+222.307 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 30374
/proc/meminfo: memFree=30986192/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=252992 CPUtime=222.21 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 62605 0 0 0 22153 68 0 0 20 0 1 0 286019111 259063808 62473 33554432000 4194304 8973514 140735405579632 140735405579128 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 63248 62473 444 1167 0 62029 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 252992
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 30378
/proc/meminfo: memFree=30956868/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=255040 CPUtime=282.19 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 63118 0 0 0 28137 82 0 0 20 0 1 0 286019111 261160960 62986 33554432000 4194304 8973514 140735405579632 140735405578896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 63760 62986 445 1167 0 62541 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 255040
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30378
/proc/meminfo: memFree=30926768/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=258112 CPUtime=342.18 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 63815 0 0 0 34125 93 0 0 20 0 1 0 286019111 264306688 63683 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 64528 63683 445 1167 0 63309 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 258112
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30378
/proc/meminfo: memFree=30901572/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=283712 CPUtime=402.15 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 70150 0 0 0 40109 106 0 0 20 0 1 0 286019111 290521088 69985 33554432000 4194304 8973514 140735405579632 140735405578896 6540736 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 70928 69985 445 1167 0 69709 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 283712
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30378
/proc/meminfo: memFree=30887564/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=297024 CPUtime=462.13 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 73665 0 0 0 46095 118 0 0 20 0 1 0 286019111 304152576 73482 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 74256 73482 445 1167 0 73037 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 297024
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30378
/proc/meminfo: memFree=30853588/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=297024 CPUtime=522.12 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 73665 0 0 0 52083 129 0 0 20 0 1 0 286019111 304152576 73482 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 74256 73482 445 1167 0 73037 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 297024
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30379
/proc/meminfo: memFree=30821836/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=297024 CPUtime=582.11 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 73665 0 0 0 58073 138 0 0 20 0 1 0 286019111 304152576 73482 33554432000 4194304 8973514 140735405579632 140735405561600 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 74256 73482 445 1167 0 73037 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 297024
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30383
/proc/meminfo: memFree=30810416/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=297024 CPUtime=882.07 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 73665 0 0 0 88014 193 0 0 20 0 1 0 286019111 304152576 73482 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 74256 73482 445 1167 0 73037 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 297024
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30383
/proc/meminfo: memFree=30800388/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=307264 CPUtime=942.05 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 76225 0 0 0 94002 203 0 0 20 0 1 0 286019111 314638336 76042 33554432000 4194304 8973514 140735405579632 140735405579128 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 76816 76042 445 1167 0 75597 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 307264
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30383
/proc/meminfo: memFree=30800512/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=307264 CPUtime=1002.04 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 76225 0 0 0 99991 213 0 0 20 0 1 0 286019111 314638336 76042 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 76816 76042 445 1167 0 75597 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 307264
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30383
/proc/meminfo: memFree=30820612/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=307264 CPUtime=1062.03 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 76225 0 0 0 105980 223 0 0 20 0 1 0 286019111 314638336 76042 33554432000 4194304 8973514 140735405579632 140735405578896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 76816 76042 445 1167 0 75597 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 307264
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30383
/proc/meminfo: memFree=30820548/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=307264 CPUtime=1122.02 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 76225 0 0 0 111970 232 0 0 20 0 1 0 286019111 314638336 76042 33554432000 4194304 8973514 140735405579632 140735405579128 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 76816 76042 445 1167 0 75597 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 307264
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30384
/proc/meminfo: memFree=30810008/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=318528 CPUtime=1182.01 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 78855 0 0 0 117960 241 0 0 20 0 1 0 286019111 326172672 78672 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 79632 78672 445 1167 0 78413 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 318528
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30384
/proc/meminfo: memFree=30791780/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=335936 CPUtime=1242 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 83393 0 0 0 123950 250 0 0 20 0 1 0 286019111 343998464 83210 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 83984 83210 445 1167 0 82765 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 335936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30384
/proc/meminfo: memFree=30791432/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=335936 CPUtime=1302 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 83399 0 0 0 129940 260 0 0 20 0 1 0 286019111 343998464 83210 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 83984 83210 445 1167 0 82765 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 335936
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30384
/proc/meminfo: memFree=30791432/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=335936 CPUtime=1361.98 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 83399 0 0 0 135928 270 0 0 20 0 1 0 286019111 343998464 83210 33554432000 4194304 8973514 140735405579632 140735405578896 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 83984 83210 445 1167 0 82765 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 335936
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30384
/proc/meminfo: memFree=30791804/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=335936 CPUtime=1421.98 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 83399 0 0 0 141914 284 0 0 20 0 1 0 286019111 343998464 83210 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 83984 83210 445 1167 0 82765 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 335936
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 30388
/proc/meminfo: memFree=30791524/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=335936 CPUtime=1481.96 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 83399 0 0 0 147905 291 0 0 20 0 1 0 286019111 343998464 83210 33554432000 4194304 8973514 140735405579632 140735405579128 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 83984 83210 445 1167 0 82765 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 335936
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30388
/proc/meminfo: memFree=30790812/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=336960 CPUtime=1541.97 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 83578 0 0 0 153897 300 0 0 20 0 1 0 286019111 345047040 83389 33554432000 4194304 8973514 140735405579632 140735405578896 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 84240 83389 445 1167 0 83021 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 336960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30388
/proc/meminfo: memFree=30783124/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=345152 CPUtime=1601.95 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 85523 0 0 0 159885 310 0 0 20 0 1 0 286019111 353435648 85334 33554432000 4194304 8973514 140735405579632 140735405578896 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 86288 85334 445 1167 0 85069 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 345152
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30388
/proc/meminfo: memFree=30768988/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=359488 CPUtime=1661.94 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 89068 0 0 0 165875 319 0 0 20 0 1 0 286019111 368115712 88879 33554432000 4194304 8973514 140735405579632 140735405577600 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 89872 88879 445 1167 0 88653 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 359488
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30388
/proc/meminfo: memFree=30764956/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=362560 CPUtime=1721.93 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 90055 0 0 0 171862 331 0 0 20 0 1 0 286019111 371261440 89866 33554432000 4194304 8973514 140735405579632 140735405579128 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 90640 89866 445 1167 0 89421 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 362560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30389
/proc/meminfo: memFree=30763196/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=362560 CPUtime=1781.92 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 90058 0 0 0 177850 342 0 0 20 0 1 0 286019111 371261440 89866 33554432000 4194304 8973514 140735405579632 140735405579128 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 90640 89866 445 1167 0 89421 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 362560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30389
/proc/meminfo: memFree=30755880/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=362560 CPUtime=1800.02 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 90058 0 0 0 179657 345 0 0 20 0 1 0 286019111 371261440 89866 33554432000 4194304 8973514 140735405579632 140735405578896 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 90640 89866 445 1167 0 89421 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 362560
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.00 2.00 3/177 30389
/proc/meminfo: memFree=30755880/32873844 swapFree=6872/6872
[pid=30334] ppid=30332 vsize=362560 CPUtime=1800.02 cores=1,3,5,7
/proc/30334/stat : 30334 (toysat) R 30332 30334 30001 0 -1 4202496 90058 0 0 0 179657 345 0 0 20 0 1 0 286019111 371261440 89866 33554432000 4194304 8973514 140735405579632 140735405578896 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/30334/statm: 90640 89866 445 1167 0 89421 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 362560
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1796.58
CPU system time (s): 3.45647
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 362560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.58
system time used= 3.45647
maximum resident set size= 359464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90058
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= 120
involuntary context switches= 1848
runsolver used 3.81342 second user time and 9.82151 second system time
The end