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-3706562-1338235545/watcher-3706562-1338235545 -o /tmp/evaluation-result-3706562-1338235545/solver-3706562-1338235545 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706562-1338235545.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.84 1.97 1.99 3/173 3260
/proc/meminfo: memFree=30553548/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 289679071 6356992 728 33554432000 4194304 8973514 140736902587472 140736526946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 1552 728 412 1167 0 333 0
[startup+0.0808141 s]
/proc/loadavg: 1.84 1.97 1.99 3/173 3260
/proc/meminfo: memFree=30553548/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=10304 CPUtime=0.07 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 1843 0 0 0 7 0 0 0 20 0 1 0 289679071 10551296 1764 33554432000 4194304 8973514 140736902587472 140736526946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 2576 1764 416 1167 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10304
[startup+0.1003 s]
/proc/loadavg: 1.84 1.97 1.99 3/173 3260
/proc/meminfo: memFree=30553548/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 2100 0 0 0 9 0 0 0 20 0 1 0 289679071 11599872 2021 33554432000 4194304 8973514 140736902587472 140736526946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 2832 2021 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328
[startup+0.300304 s]
/proc/loadavg: 1.84 1.97 1.99 3/173 3260
/proc/meminfo: memFree=30553548/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=22592 CPUtime=0.28 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 4917 0 0 0 28 0 0 0 20 0 1 0 289679071 23134208 4838 33554432000 4194304 8973514 140736902587472 140736526946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 5648 4838 418 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592
[startup+0.700273 s]
/proc/loadavg: 1.84 1.97 1.99 3/173 3260
/proc/meminfo: memFree=30553548/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=48192 CPUtime=0.69 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 11317 0 0 0 67 2 0 0 20 0 1 0 289679071 49348608 11238 33554432000 4194304 8973514 140736902587472 140736526946616 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 12048 11238 418 1167 0 10829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48192
[startup+1.5003 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 3271
/proc/meminfo: memFree=30443436/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=103488 CPUtime=1.49 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 25160 0 0 0 144 5 0 0 20 0 1 0 289679071 105971712 25081 33554432000 4194304 8973514 140736902587472 140736902586736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 25872 25081 431 1167 0 24653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103488
[startup+3.10025 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 3271
/proc/meminfo: memFree=30323644/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=118848 CPUtime=3.09 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 29004 0 0 0 303 6 0 0 20 0 1 0 289679071 121700352 28925 33554432000 4194304 8973514 140736902587472 140736902586968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 29712 28925 435 1167 0 28493 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118848
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 3271
/proc/meminfo: memFree=30078232/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=134208 CPUtime=6.28 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 32737 0 0 0 621 7 0 0 20 0 1 0 289679071 137428992 32658 33554432000 4194304 8973514 140736902587472 140736902586968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 33552 32658 435 1167 0 32333 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 134208
[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 3271
/proc/meminfo: memFree=29583320/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=135232 CPUtime=12.68 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 33105 0 0 0 1259 9 0 0 20 0 1 0 289679071 138477568 33026 33554432000 4194304 8973514 140736902587472 140736902586968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 33808 33026 435 1167 0 32589 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 135232
[startup+25.5003 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 3271
/proc/meminfo: memFree=29409448/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=135232 CPUtime=25.48 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 33108 0 0 0 2534 14 0 0 20 0 1 0 289679071 138477568 33026 33554432000 4194304 8973514 140736902587472 140736902586736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 33808 33026 435 1167 0 32589 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 135232
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3272
/proc/meminfo: memFree=29340968/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=140352 CPUtime=51.07 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 34404 0 0 0 5086 21 0 0 20 0 1 0 289679071 143720448 34318 33554432000 4194304 8973514 140736902587472 140736902586968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 35088 34318 447 1167 0 33869 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 140352
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3272
/proc/meminfo: memFree=29326956/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=153664 CPUtime=102.26 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 37740 0 0 0 10196 30 0 0 20 0 1 0 289679071 157351936 37646 33554432000 4194304 8973514 140736902587472 140736902586736 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 38416 37646 447 1167 0 37197 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 153664
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3272
/proc/meminfo: memFree=29300696/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=173120 CPUtime=162.25 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 42604 0 0 0 16182 43 0 0 20 0 1 0 289679071 177274880 42510 33554432000 4194304 8973514 140736902587472 140736902586968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 43280 42510 447 1167 0 42061 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 173120
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3272
/proc/meminfo: memFree=29272948/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=192576 CPUtime=222.24 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 47468 0 0 0 22165 59 0 0 20 0 1 0 289679071 197197824 47374 33554432000 4194304 8973514 140736902587472 140736902586736 4427188 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 48144 47374 447 1167 0 46925 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 192576
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3275
/proc/meminfo: memFree=29255864/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=207936 CPUtime=282.23 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 51308 0 0 0 28154 69 0 0 20 0 1 0 289679071 212926464 51214 33554432000 4194304 8973514 140736902587472 140736902586736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 51984 51214 447 1167 0 50765 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 207936
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3275
/proc/meminfo: memFree=29238416/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=225344 CPUtime=342.23 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 55660 0 0 0 34142 81 0 0 20 0 1 0 289679071 230752256 55566 33554432000 4194304 8973514 140736902587472 140736902586968 7672546 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 56336 55566 447 1167 0 55117 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 225344
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3276
/proc/meminfo: memFree=29222200/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=241728 CPUtime=402.21 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 59756 0 0 0 40126 95 0 0 20 0 1 0 289679071 247529472 59662 33554432000 4194304 8973514 140736902587472 140736902585408 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 60432 59662 447 1167 0 59213 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 241728
[startup+462.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3276
/proc/meminfo: memFree=29206108/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=258112 CPUtime=462.21 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 63852 0 0 0 46116 105 0 0 20 0 1 0 289679071 264306688 63758 33554432000 4194304 8973514 140736902587472 140736902586968 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 64528 63758 447 1167 0 63309 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 258112
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3276
/proc/meminfo: memFree=29183444/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=280640 CPUtime=522.2 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 69484 0 0 0 52102 118 0 0 20 0 1 0 289679071 287375360 69390 33554432000 4194304 8973514 140736902587472 140736902586736 4435852 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 70160 69390 447 1167 0 68941 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 280640
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3276
/proc/meminfo: memFree=29169212/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=294976 CPUtime=582.18 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 73068 0 0 0 58089 129 0 0 20 0 1 0 289679071 302055424 72974 33554432000 4194304 8973514 140736902587472 140736902586968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 73744 72974 447 1167 0 72525 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 294976
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3280
/proc/meminfo: memFree=29089008/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=376896 CPUtime=882.12 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 93572 0 0 0 88011 201 0 0 20 0 1 0 289679071 385941504 93454 33554432000 4194304 8973514 140736902587472 140736902586968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 94224 93454 447 1167 0 93005 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 376896
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3280
/proc/meminfo: memFree=29050976/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=412736 CPUtime=942.09 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 102550 0 0 0 93995 214 0 0 20 0 1 0 289679071 422641664 102414 33554432000 4194304 8973514 140736902587472 140736902586736 4435804 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 103184 102414 447 1167 0 101965 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 412736
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3281
/proc/meminfo: memFree=29018516/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=445504 CPUtime=1002.07 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 110758 0 0 0 99981 226 0 0 20 0 1 0 289679071 456196096 110606 33554432000 4194304 8973514 140736902587472 140736902586968 4427236 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 111376 110606 447 1167 0 110157 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 445504
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3281
/proc/meminfo: memFree=28990768/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=473152 CPUtime=1062.06 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 117676 0 0 0 105969 237 0 0 20 0 1 0 289679071 484507648 117518 33554432000 4194304 8973514 140736902587472 140736902586968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 118288 117518 447 1167 0 117069 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 473152
[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3281
/proc/meminfo: memFree=28975144/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=488512 CPUtime=1122.05 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 121516 0 0 0 111953 252 0 0 20 0 1 0 289679071 500236288 121358 33554432000 4194304 8973514 140736902587472 140736902586968 7662855 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 122128 121358 447 1167 0 120909 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 488512
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3281
/proc/meminfo: memFree=28963984/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=499776 CPUtime=1182.04 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 124332 0 0 0 117932 272 0 0 20 0 1 0 289679071 511770624 124174 33554432000 4194304 8973514 140736902587472 140736902586968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 124944 124174 447 1167 0 123725 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 499776
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3281
/proc/meminfo: memFree=28953320/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=510016 CPUtime=1242.03 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 126892 0 0 0 123912 291 0 0 20 0 1 0 289679071 522256384 126734 33554432000 4194304 8973514 140736902587472 140736902586736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 127504 126734 447 1167 0 126285 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 510016
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3282
/proc/meminfo: memFree=28931744/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=531520 CPUtime=1302.02 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 132268 0 0 0 129895 307 0 0 20 0 1 0 289679071 544276480 132110 33554432000 4194304 8973514 140736902587472 140736902586968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 132880 132110 447 1167 0 131661 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 531520
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3282
/proc/meminfo: memFree=28895784/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=567360 CPUtime=1362.01 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 141228 0 0 0 135881 320 0 0 20 0 1 0 289679071 580976640 141070 33554432000 4194304 8973514 140736902587472 140736902586968 4427828 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 141840 141070 447 1167 0 140621 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 567360
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3282
/proc/meminfo: memFree=28870364/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=593984 CPUtime=1422 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 147692 0 0 0 141868 332 0 0 20 0 1 0 289679071 608239616 147534 33554432000 4194304 8973514 140736902587472 140736902586968 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 148496 147534 447 1167 0 147277 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 593984
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 3285
/proc/meminfo: memFree=28837620/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=625728 CPUtime=1482 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 155820 0 0 0 147855 345 0 0 20 0 1 0 289679071 640745472 155662 33554432000 4194304 8973514 140736902587472 140736902586736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 156432 155662 447 1167 0 155213 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 625728
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3285
/proc/meminfo: memFree=28811588/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=652352 CPUtime=1541.99 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 162334 0 0 0 153844 355 0 0 20 0 1 0 289679071 668008448 162176 33554432000 4194304 8973514 140736902587472 140736902586968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 163088 162176 447 1167 0 161869 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 652352
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3286
/proc/meminfo: memFree=28787408/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=675904 CPUtime=1601.97 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 168364 0 0 0 159831 366 0 0 20 0 1 0 289679071 692125696 168206 33554432000 4194304 8973514 140736902587472 140736902586736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 168976 168206 447 1167 0 167757 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 675904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3286
/proc/meminfo: memFree=28761740/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=701504 CPUtime=1661.98 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 174764 0 0 0 165821 377 0 0 20 0 1 0 289679071 718340096 174606 33554432000 4194304 8973514 140736902587472 140736902586968 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 175376 174606 447 1167 0 174157 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 701504
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3286
/proc/meminfo: memFree=28741032/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=723008 CPUtime=1721.95 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 179911 0 0 0 171808 387 0 0 20 0 1 0 289679071 740360192 179753 33554432000 4194304 8973514 140736902587472 140736902586736 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 180752 179753 447 1167 0 179533 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 723008
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3286
/proc/meminfo: memFree=28714372/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=748608 CPUtime=1781.96 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 186540 0 0 0 177799 397 0 0 20 0 1 0 289679071 766574592 186382 33554432000 4194304 8973514 140736902587472 140736902586968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 187152 186382 447 1167 0 185933 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 748608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3286
/proc/meminfo: memFree=28710156/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=753728 CPUtime=1800.05 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 187574 0 0 0 179606 399 0 0 20 0 1 0 289679071 771817472 187416 33554432000 4194304 8973514 140736902587472 140736902586968 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 188432 187416 447 1167 0 187213 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 753728
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 3286
/proc/meminfo: memFree=28710156/32873844 swapFree=7900/7900
[pid=3260] ppid=3258 vsize=753728 CPUtime=1800.05 cores=1,3,5,7
/proc/3260/stat : 3260 (toysat) R 3258 3260 2640 0 -1 4202496 187574 0 0 0 179606 399 0 0 20 0 1 0 289679071 771817472 187416 33554432000 4194304 8973514 140736902587472 140736902586968 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3260/statm: 188432 187416 447 1167 0 187213 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 753728
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.09
CPU user time (s): 1796.07
CPU system time (s): 4.02039
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 753728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.07
system time used= 4.02039
maximum resident set size= 749664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187574
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= 87
involuntary context switches= 1850
runsolver used 3.68144 second user time and 9.63453 second system time
The end