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-3706763-1338117505/watcher-3706763-1338117505 -o /tmp/evaluation-result-3706763-1338117505/solver-3706763-1338117505 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706763-1338117505.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: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 277876524 6356992 563 33554432000 4194304 8973514 140734118843696 140736913718312 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 1552 566 346 1167 0 333 0
[startup+0.0922769 s]
/proc/loadavg: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=13376 CPUtime=0.08 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 2555 0 0 0 8 0 0 0 20 0 1 0 277876524 13697024 2476 33554432000 4194304 8973514 140734118843696 140736913718312 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 3344 2476 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13376
[startup+0.100205 s]
/proc/loadavg: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=13376 CPUtime=0.08 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 2613 0 0 0 8 0 0 0 20 0 1 0 277876524 13697024 2534 33554432000 4194304 8973514 140734118843696 140736913718312 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 3344 2534 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13376
[startup+0.300168 s]
/proc/loadavg: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=24640 CPUtime=0.28 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 5439 0 0 0 28 0 0 0 20 0 1 0 277876524 25231360 5360 33554432000 4194304 8973514 140734118843696 140736913718312 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 6160 5360 426 1167 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24640
[startup+0.700135 s]
/proc/loadavg: 1.00 1.00 1.17 4/175 12050
/proc/meminfo: memFree=28872308/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=25664 CPUtime=0.69 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 5623 0 0 0 68 1 0 0 20 0 1 0 277876524 26279936 5544 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 6416 5544 456 1167 0 5197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25664
[startup+1.50013 s]
/proc/loadavg: 1.08 1.02 1.18 4/177 12052
/proc/meminfo: memFree=28827752/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=31808 CPUtime=1.48 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 7089 0 0 0 147 1 0 0 20 0 1 0 277876524 32571392 7010 33554432000 4194304 8973514 140734118843696 140734118842536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 7952 7010 456 1167 0 6733 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31808
[startup+3.10015 s]
/proc/loadavg: 1.08 1.02 1.18 4/177 12052
/proc/meminfo: memFree=28812592/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=41024 CPUtime=3.08 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 9385 0 0 0 306 2 0 0 20 0 1 0 277876524 42008576 9306 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 10256 9306 456 1167 0 9037 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41024
[startup+6.30014 s]
/proc/loadavg: 1.08 1.02 1.18 4/177 12052
/proc/meminfo: memFree=28775684/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=58432 CPUtime=6.29 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 13760 0 0 0 624 5 0 0 20 0 1 0 277876524 59834368 13681 33554432000 4194304 8973514 140734118843696 140734118842960 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 14608 13681 456 1167 0 13389 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58432
[startup+12.7002 s]
/proc/loadavg: 1.37 1.08 1.19 4/177 12052
/proc/meminfo: memFree=28712600/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=89152 CPUtime=12.68 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 21496 0 0 0 1260 8 0 0 20 0 1 0 277876524 91291648 21417 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 22288 21417 456 1167 0 21069 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89152
[startup+25.5003 s]
/proc/loadavg: 1.47 1.11 1.20 4/177 12052
/proc/meminfo: memFree=28600032/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=141376 CPUtime=25.48 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 34624 0 0 0 2534 14 0 0 20 0 1 0 277876524 144769024 34545 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 35344 34545 456 1167 0 34125 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 141376
[startup+51.1003 s]
/proc/loadavg: 1.68 1.20 1.23 4/177 12052
/proc/meminfo: memFree=28503700/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=181312 CPUtime=51.07 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 52578 0 0 0 5083 24 0 0 20 0 1 0 277876524 185663488 44563 33554432000 4194304 8973514 140734118843696 140734118843192 4213713 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 45328 44563 457 1167 0 44109 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 181312
[startup+102.307 s]
/proc/loadavg: 1.86 1.32 1.27 4/178 12055
/proc/meminfo: memFree=28417980/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=230464 CPUtime=102.28 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 72696 0 0 0 10188 40 0 0 20 0 1 0 277876524 235995136 56745 33554432000 4194304 8973514 140734118843696 140734118842960 6570484 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 57616 56745 457 1167 0 56397 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 230464
[startup+162.3 s]
/proc/loadavg: 1.95 1.44 1.31 4/177 12055
/proc/meminfo: memFree=28353852/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=230464 CPUtime=162.26 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 93026 0 0 0 16167 59 0 0 20 0 1 0 277876524 235995136 56851 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 57616 56851 457 1167 0 56397 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 230464
[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.35 4/177 12055
/proc/meminfo: memFree=28341452/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=278592 CPUtime=222.25 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 114453 0 0 0 22147 78 0 0 20 0 1 0 277876524 285278208 68806 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 69648 68806 457 1167 0 68429 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 278592
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.39 4/177 12056
/proc/meminfo: memFree=28259424/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=283712 CPUtime=282.24 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 120162 0 0 0 28131 93 0 0 20 0 1 0 277876524 290521088 70163 33554432000 4194304 8973514 140734118843696 140734118842960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 70928 70163 457 1167 0 69709 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 283712
[startup+342.3 s]
/proc/loadavg: 1.99 1.69 1.42 4/177 12056
/proc/meminfo: memFree=28202940/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=357440 CPUtime=342.22 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 147827 0 0 0 34112 110 0 0 20 0 1 0 277876524 366018560 88600 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 89360 88600 457 1167 0 88141 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 357440
[startup+402.3 s]
/proc/loadavg: 2.04 1.76 1.46 4/177 12056
/proc/meminfo: memFree=28194872/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=332864 CPUtime=402.19 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 158084 0 0 0 40093 126 0 0 20 0 1 0 277876524 340852736 82456 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 83216 82456 457 1167 0 81997 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 332864
[startup+462.3 s]
/proc/loadavg: 2.01 1.80 1.49 4/177 12056
/proc/meminfo: memFree=28100048/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=383040 CPUtime=462.19 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 177893 0 0 0 46075 144 0 0 20 0 1 0 277876524 392232960 94833 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 95760 94833 457 1167 0 94541 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 383040
[startup+522.3 s]
/proc/loadavg: 2.10 1.86 1.53 4/178 12057
/proc/meminfo: memFree=28130928/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=382016 CPUtime=522.17 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 211093 0 0 0 52054 163 0 0 20 0 1 0 277876524 391184384 94744 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 95504 94744 457 1167 0 94285 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 382016
[startup+582.3 s]
/proc/loadavg: 2.03 1.88 1.56 4/177 12058
/proc/meminfo: memFree=28108856/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=300096 CPUtime=582.15 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 211107 0 0 0 58034 181 0 0 20 0 1 0 277876524 307298304 74264 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 75024 74264 457 1167 0 73805 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 300096
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.66 4/177 12062
/proc/meminfo: memFree=27865572/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=524352 CPUtime=882.05 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 335086 0 0 0 87921 284 0 0 20 0 1 0 277876524 536936448 130329 33554432000 4194304 8973514 140734118843696 140734118842800 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 131088 130329 457 1167 0 129869 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 524352
[startup+942.3 s]
/proc/loadavg: 2.00 1.95 1.68 4/177 12062
/proc/meminfo: memFree=28191124/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=351296 CPUtime=942.04 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 345849 0 0 0 93904 300 0 0 20 0 1 0 277876524 359727104 87065 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 87824 87065 457 1167 0 86605 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 351296
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.70 4/177 12062
/proc/meminfo: memFree=28049368/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=364608 CPUtime=1002.01 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 367119 0 0 0 99881 320 0 0 20 0 1 0 277876524 373358592 90393 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 91152 90393 457 1167 0 89933 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 364608
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.72 4/177 12062
/proc/meminfo: memFree=28134620/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=374848 CPUtime=1062 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 386649 0 0 0 105860 340 0 0 20 0 1 0 277876524 383844352 92758 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 93712 92758 457 1167 0 92493 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 374848
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.73 4/177 12062
/proc/meminfo: memFree=27915308/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=556096 CPUtime=1121.98 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 432182 0 0 0 111834 364 0 0 20 0 1 0 277876524 569442304 138265 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 139024 138265 457 1167 0 137805 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 556096
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.74 4/177 12063
/proc/meminfo: memFree=28047740/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=439360 CPUtime=1181.96 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 446278 0 0 0 117817 379 0 0 20 0 1 0 277876524 449904640 109081 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 109840 109081 457 1167 0 108621 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 439360
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.76 4/177 12063
/proc/meminfo: memFree=27948208/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=439360 CPUtime=1241.93 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 446291 0 0 0 123800 393 0 0 20 0 1 0 277876524 449904640 109081 33554432000 4194304 8973514 140734118843696 140734118843192 4213693 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 109840 109081 457 1167 0 108621 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 439360
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 12066
/proc/meminfo: memFree=27911884/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=447552 CPUtime=1301.93 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 456531 0 0 0 129780 413 0 0 20 0 1 0 277876524 458293248 111129 33554432000 4194304 8973514 140734118843696 140734118842960 4494624 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 111888 111129 457 1167 0 110669 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 447552
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.78 4/177 12066
/proc/meminfo: memFree=27978564/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=439360 CPUtime=1361.91 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 465747 0 0 0 135762 429 0 0 20 0 1 0 277876524 449904640 109081 33554432000 4194304 8973514 140734118843696 140734118841664 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 109840 109081 457 1167 0 108621 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 439360
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.79 4/177 12066
/proc/meminfo: memFree=27851080/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=401472 CPUtime=1421.92 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 477779 0 0 0 141745 447 0 0 20 0 1 0 277876524 411107328 99609 33554432000 4194304 8973514 140734118843696 140734118842960 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 100368 99609 457 1167 0 99149 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 401472
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.80 4/177 12067
/proc/meminfo: memFree=27863184/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=585792 CPUtime=1481.9 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 523859 0 0 0 147721 469 0 0 20 0 1 0 277876524 599851008 145689 33554432000 4194304 8973514 140734118843696 140734118842960 4381103 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 146448 145689 457 1167 0 145229 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 585792
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.81 4/177 12067
/proc/meminfo: memFree=28000736/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=394304 CPUtime=1541.89 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 534867 0 0 0 153706 483 0 0 20 0 1 0 277876524 403767296 97817 33554432000 4194304 8973514 140734118843696 140734118842960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 98576 97817 457 1167 0 97357 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 394304
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.82 4/177 12067
/proc/meminfo: memFree=28015152/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=504896 CPUtime=1601.88 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 571475 0 0 0 159686 502 0 0 20 0 1 0 277876524 517013504 125465 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 126224 125465 457 1167 0 125005 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 504896
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/177 12067
/proc/meminfo: memFree=27957756/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=504896 CPUtime=1661.87 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 571475 0 0 0 165674 513 0 0 20 0 1 0 277876524 517013504 125465 33554432000 4194304 8973514 140734118843696 140734118841664 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 126224 125465 457 1167 0 125005 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 504896
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.83 4/177 12067
/proc/meminfo: memFree=27881152/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=487488 CPUtime=1721.87 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 572243 0 0 0 171661 526 0 0 20 0 1 0 277876524 499187712 121113 33554432000 4194304 8973514 140734118843696 140734118842960 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 121872 121113 457 1167 0 120653 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 487488
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 12068
/proc/meminfo: memFree=27746920/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=446528 CPUtime=1781.85 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 584275 0 0 0 177645 540 0 0 20 0 1 0 277876524 457244672 110873 33554432000 4194304 8973514 140734118843696 140734118843192 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 111632 110873 457 1167 0 110413 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 446528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 1.97 1.84 4/177 12068
/proc/meminfo: memFree=27853092/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=478272 CPUtime=1800.06 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 592211 0 0 0 179461 545 0 0 20 0 1 0 277876524 489750528 118809 33554432000 4194304 8973514 140734118843696 140734118842960 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 119568 118809 457 1167 0 118349 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 478272
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 1.97 1.84 4/177 12068
/proc/meminfo: memFree=27853092/32873648 swapFree=7372/7372
[pid=12050] ppid=12045 vsize=478272 CPUtime=1800.06 cores=1,3,5,7
/proc/12050/stat : 12050 (toysat) R 12045 12050 7065 0 -1 4202496 592211 0 0 0 179461 545 0 0 20 0 1 0 277876524 489750528 118809 33554432000 4194304 8973514 140734118843696 140734118842960 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/12050/statm: 119568 118809 457 1167 0 118349 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 478272
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.1
CPU user time (s): 1794.61
CPU system time (s): 5.48517
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 629824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 5.48517
maximum resident set size= 626788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592211
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= 243
involuntary context switches= 1835
runsolver used 3.2915 second user time and 9.53255 second system time
The end