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-3720827-1338514974/watcher-3720827-1338514974 -o /tmp/evaluation-result-3720827-1338514974/solver-3720827-1338514974 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720827-1338514974.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.00 2.00 2.00 3/176 31604
/proc/meminfo: memFree=24712796/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=2976 CPUtime=0 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4194304 167 0 0 0 0 0 0 0 20 0 1 0 317622851 3047424 120 33554432000 134512640 134579096 4293406768 4293405684 10709560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 744 124 107 17 0 34 0
[startup+0.0123929 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31604
/proc/meminfo: memFree=24712796/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=3368 CPUtime=0 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 1 0 317622851 3448832 334 33554432000 134512640 134579096 4293406768 4293274068 11969333 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 842 334 219 17 0 148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3368
[startup+0.100151 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31604
/proc/meminfo: memFree=24712796/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=6432 CPUtime=0.09 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 1146 0 0 0 9 0 0 0 20 0 1 0 317622851 6586368 1084 33554432000 134512640 134579096 4293406768 4293274228 11969265 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 1608 1084 219 17 0 914 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6432
[startup+0.300115 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31604
/proc/meminfo: memFree=24712796/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=12372 CPUtime=0.28 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 2425 0 0 0 28 0 0 0 20 0 1 0 317622851 12668928 2363 33554432000 134512640 134579096 4293406768 4293405728 134532448 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 3093 2363 226 17 0 2399 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12372
[startup+0.700098 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31604
/proc/meminfo: memFree=24712796/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=12504 CPUtime=0.68 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 2426 0 0 0 68 0 0 0 20 0 1 0 317622851 12804096 2364 33554432000 134512640 134579096 4293406768 4293405744 134532044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 3126 2364 226 17 0 2432 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12504
[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31605
/proc/meminfo: memFree=24702868/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=16944 CPUtime=1.48 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 3541 0 0 0 148 0 0 0 20 0 1 0 317622851 17350656 3479 33554432000 134512640 134579096 4293406768 4293405588 134556241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 4236 3479 228 17 0 3542 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16944
[startup+3.1001 s]
/proc/loadavg: 2.16 2.03 2.01 3/177 31605
/proc/meminfo: memFree=24698132/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=17812 CPUtime=3.08 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 3565 0 0 0 308 0 0 0 20 0 1 0 317622851 18239488 3503 33554432000 134512640 134579096 4293406768 4293405588 134556250 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 4453 3503 228 17 0 3759 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17812
[startup+6.30012 s]
/proc/loadavg: 2.16 2.03 2.01 3/177 31605
/proc/meminfo: memFree=24695292/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=17944 CPUtime=6.28 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 3618 0 0 0 628 0 0 0 20 0 1 0 317622851 18374656 3525 33554432000 134512640 134579096 4293406768 4293405588 134556414 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 4486 3525 228 17 0 3792 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17944
[startup+12.7002 s]
/proc/loadavg: 2.13 2.03 2.01 3/177 31605
/proc/meminfo: memFree=24689564/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=18632 CPUtime=12.68 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 3928 0 0 0 1268 0 0 0 20 0 1 0 317622851 19079168 3814 33554432000 134512640 134579096 4293406768 4293405588 134556334 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 4658 3814 228 17 0 3964 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18632
[startup+25.5002 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 31605
/proc/meminfo: memFree=24677252/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=22884 CPUtime=25.48 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 5066 0 0 0 2548 0 0 0 20 0 1 0 317622851 23433216 4952 33554432000 134512640 134579096 4293406768 4293405588 134556411 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 5721 4952 228 17 0 5027 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22884
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 31605
/proc/meminfo: memFree=24650468/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=32164 CPUtime=51.08 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 7408 0 0 0 5107 1 0 0 20 0 1 0 317622851 32935936 7294 33554432000 134512640 134579096 4293406768 4293405424 134524561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 8041 7294 228 17 0 7347 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32164
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 31605
/proc/meminfo: memFree=24602356/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=49972 CPUtime=102.28 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 11847 0 0 0 10226 2 0 0 20 0 1 0 317622851 51171328 11733 33554432000 134512640 134579096 4293406768 4293405632 134520003 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 12493 11733 228 17 0 11799 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 49972
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31606
/proc/meminfo: memFree=24541224/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=53676 CPUtime=162.26 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 12757 0 0 0 16224 2 0 0 20 0 1 0 317622851 54964224 12643 33554432000 134512640 134579096 4293406768 4293405588 134556221 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 13419 12643 228 17 0 12725 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 53676
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31606
/proc/meminfo: memFree=24527212/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=66112 CPUtime=222.25 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 15873 0 0 0 22221 4 0 0 20 0 1 0 317622851 67698688 15759 33554432000 134512640 134579096 4293406768 4293405600 134517901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 16528 15759 228 17 0 15834 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 66112
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/174 31613
/proc/meminfo: memFree=25884624/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=71340 CPUtime=282.23 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 17172 0 0 0 28219 4 0 0 20 0 1 0 317622851 73052160 17102 33554432000 134512640 134579096 4293406768 4293405424 134522724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 17835 17102 228 17 0 17141 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 71340
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 31613
/proc/meminfo: memFree=25878704/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=77488 CPUtime=342.21 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 18718 0 0 0 34217 4 0 0 20 0 1 0 317622851 79347712 18633 33554432000 134512640 134579096 4293406768 4293405584 134519114 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 19372 18633 228 17 0 18678 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 77488
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26277728/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=86428 CPUtime=402.2 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 21271 0 0 0 40215 5 0 0 20 0 1 0 317622851 88502272 20878 33554432000 134512640 134579096 4293406768 4293405424 134524568 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 21607 20878 228 17 0 20913 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 86428
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31658
/proc/meminfo: memFree=26262140/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=102712 CPUtime=462.2 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 25328 0 0 0 46214 6 0 0 20 0 1 0 317622851 105177088 24935 33554432000 134512640 134579096 4293406768 4293405588 134556315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 25678 24935 228 17 0 24984 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 102712
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26262508/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=102712 CPUtime=522.19 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 25328 0 0 0 52213 6 0 0 20 0 1 0 317622851 105177088 24935 33554432000 134512640 134579096 4293406768 4293405424 134522706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 25678 24935 228 17 0 24984 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 102712
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26260500/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=102712 CPUtime=582.17 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 25336 0 0 0 58211 6 0 0 20 0 1 0 317622851 105177088 24936 33554432000 134512640 134579096 4293406768 4293405424 134522726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 25678 24936 228 17 0 24984 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 102712
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26217336/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=133364 CPUtime=822.14 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 33214 0 0 0 82207 7 0 0 20 0 1 0 317622851 136564736 32638 33554432000 134512640 134579096 4293406768 4293405424 134522754 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 33341 32638 228 17 0 32647 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 133364
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26152368/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=136072 CPUtime=882.12 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 33956 0 0 0 88205 7 0 0 20 0 1 0 317622851 139337728 33313 33554432000 134512640 134579096 4293406768 4293405424 134522754 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 34018 33313 228 17 0 33324 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 136072
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26077264/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=942.12 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35040 0 0 0 94204 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405424 134522754 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 140056
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26006024/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1002.11 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 100203 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405584 134519085 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 140056
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31663
/proc/meminfo: memFree=25928848/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1062.1 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 106202 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405648 134516801 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 140056
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31686
/proc/meminfo: memFree=25821436/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1122.09 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 112201 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405584 134519077 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 140056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31686
/proc/meminfo: memFree=25701572/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1182.08 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 118200 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405696 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 140056
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31686
/proc/meminfo: memFree=25585992/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1242.07 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 124199 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405584 134519093 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 140056
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31686
/proc/meminfo: memFree=25417876/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1302.07 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 130199 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405424 134522688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 140056
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31687
/proc/meminfo: memFree=25168788/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1362.05 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 136197 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405376 134565449 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 140056
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31687
/proc/meminfo: memFree=24869480/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1422.05 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 142197 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405584 134519111 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 140056
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31687
/proc/meminfo: memFree=24592740/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1482.03 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 148195 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405584 134519111 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 140056
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31687
/proc/meminfo: memFree=24294796/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1542.03 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 154195 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405584 134556627 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 140056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31687
/proc/meminfo: memFree=23976024/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1602.02 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 160194 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405696 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 140056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31691
/proc/meminfo: memFree=23688504/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1662.01 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 166193 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405696 134559528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 140056
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31691
/proc/meminfo: memFree=23371720/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=140056 CPUtime=1722 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35041 0 0 0 172192 8 0 0 20 0 1 0 317622851 143417344 34299 33554432000 134512640 134579096 4293406768 4293405584 134519095 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35014 34299 228 17 0 34320 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 140056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31691
/proc/meminfo: memFree=23061624/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=142040 CPUtime=1781.99 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 35527 0 0 0 178191 8 0 0 20 0 1 0 317622851 145448960 34785 33554432000 134512640 134579096 4293406768 4293405600 134517901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 35510 34785 228 17 0 34816 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 142040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31691
/proc/meminfo: memFree=22978652/32873648 swapFree=6864/6864
[pid=31604] ppid=31602 vsize=144272 CPUtime=1800.09 cores=1,3,5,7
/proc/31604/stat : 31604 (Pueblo) R 31602 31604 29082 0 -1 4202496 36105 0 0 0 180001 8 0 0 20 0 1 0 317622851 147734528 35363 33554432000 134512640 134579096 4293406768 4293405588 134556290 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31604/statm: 36068 35363 228 17 0 35374 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 144272
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1800.02
CPU system time (s): 0.082987
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 144272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.082987
maximum resident set size= 141452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36105
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= 50
involuntary context switches= 1859
runsolver used 3.23151 second user time and 8.73467 second system time
The end