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-3720762-1338513288/watcher-3720762-1338513288 -o /tmp/evaluation-result-3720762-1338513288/solver-3720762-1338513288 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720762-1338513288.opb
running on 4 cores: 0,2,4,6
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/175 32483
/proc/meminfo: memFree=24288272/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=3236 CPUtime=0 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 317457394 3313664 289 33554432000 134512640 134579096 4293438832 4293306180 8041259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 809 289 219 17 0 115 0
[startup+0.0869319 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32483
/proc/meminfo: memFree=24288272/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=7100 CPUtime=0.08 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 1328 0 0 0 8 0 0 0 20 0 1 0 317457394 7270400 1265 33554432000 134512640 134579096 4293438832 4293306016 7292199 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 1775 1266 219 17 0 1081 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7100
[startup+0.100223 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32483
/proc/meminfo: memFree=24288272/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=7764 CPUtime=0.09 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 1480 0 0 0 9 0 0 0 20 0 1 0 317457394 7950336 1417 33554432000 134512640 134579096 4293438832 4293306280 8040946 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 1941 1417 219 17 0 1247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7764
[startup+0.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32483
/proc/meminfo: memFree=24288272/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=16824 CPUtime=0.29 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 3747 0 0 0 29 0 0 0 20 0 1 0 317457394 17227776 3684 33554432000 134512640 134579096 4293438832 4293306108 6485040 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 4206 3684 219 17 0 3512 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16824
[startup+0.700216 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32483
/proc/meminfo: memFree=24288272/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=28012 CPUtime=0.68 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 6552 0 0 0 68 0 0 0 20 0 1 0 317457394 28684288 6489 33554432000 134512640 134579096 4293438832 4293306232 6971376 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 7003 6489 219 17 0 6309 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 28012
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32484
/proc/meminfo: memFree=24256900/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=42800 CPUtime=1.49 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 10235 0 0 0 148 1 0 0 20 0 1 0 317457394 43827200 10172 33554432000 134512640 134579096 4293438832 4293306236 8030607 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 10700 10172 219 17 0 10006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42800
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32484
/proc/meminfo: memFree=24228248/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=88588 CPUtime=3.09 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 328410 0 0 0 272 37 0 0 20 0 1 0 317457394 90714112 19373 33554432000 134512640 134579096 4293438832 4293437792 134532446 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 22147 19389 226 17 0 21453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88588
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32484
/proc/meminfo: memFree=24209896/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=89248 CPUtime=6.29 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 1297506 0 0 0 485 144 0 0 20 0 1 0 317457394 91389952 19558 33554432000 134512640 134579096 4293438832 4293437792 134532446 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 22312 19573 226 17 0 21618 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89248
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32484
/proc/meminfo: memFree=24208168/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=90664 CPUtime=12.68 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 3236431 0 0 0 906 362 0 0 20 0 1 0 317457394 92839936 20002 33554432000 134512640 134579096 4293438832 4293437808 134532045 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 22666 19838 226 17 0 21972 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 90664
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32484
/proc/meminfo: memFree=24204700/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=93296 CPUtime=25.47 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 7124646 0 0 0 1751 796 0 0 20 0 1 0 317457394 95535104 20597 33554432000 134512640 134579096 4293438832 4293437792 134532446 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 23324 20612 226 17 0 22630 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 93296
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32485
/proc/meminfo: memFree=24199196/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=98568 CPUtime=51.05 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 14865578 0 0 0 3438 1667 0 0 20 0 1 0 317457394 100933632 21877 33554432000 134512640 134579096 4293438832 4293437792 134532446 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 24642 21893 226 17 0 23948 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 98568
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32485
/proc/meminfo: memFree=24179464/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=115408 CPUtime=102.23 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27886178 0 0 0 7072 3151 0 0 20 0 1 0 317457394 118177792 26427 33554432000 134512640 134579096 4293438832 4293437648 134519088 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 28852 26427 228 17 0 28158 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 115408
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32485
/proc/meminfo: memFree=24175852/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=118832 CPUtime=162.22 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27887480 0 0 0 13070 3152 0 0 20 0 1 0 317457394 121683968 27242 33554432000 134512640 134579096 4293438832 4293437648 134519093 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 29708 27242 228 17 0 29014 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 118832
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32485
/proc/meminfo: memFree=24163752/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=129668 CPUtime=222.22 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27890192 0 0 0 19069 3153 0 0 20 0 1 0 317457394 132780032 29968 33554432000 134512640 134579096 4293438832 4293437648 134519095 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 32417 29968 228 17 0 31723 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 129668
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32485
/proc/meminfo: memFree=24151472/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=141104 CPUtime=282.2 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27893044 0 0 0 25067 3153 0 0 20 0 1 0 317457394 144490496 32821 33554432000 134512640 134579096 4293438832 4293437648 134519085 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 35276 32821 228 17 0 34582 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 141104
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32488
/proc/meminfo: memFree=24139740/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=152344 CPUtime=342.19 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27895849 0 0 0 31065 3154 0 0 20 0 1 0 317457394 156000256 35631 33554432000 134512640 134579096 4293438832 4293437648 134519100 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 38086 35631 228 17 0 37392 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 152344
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32489
/proc/meminfo: memFree=24127200/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=164604 CPUtime=402.18 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27898909 0 0 0 37064 3154 0 0 20 0 1 0 317457394 168554496 38698 33554432000 134512640 134579096 4293438832 4293437648 134519125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 41151 38698 228 17 0 40457 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 164604
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32489
/proc/meminfo: memFree=24115048/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=176640 CPUtime=462.18 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27901912 0 0 0 43063 3155 0 0 20 0 1 0 317457394 180879360 41701 33554432000 134512640 134579096 4293438832 4293437648 134519114 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 44160 41701 228 17 0 43466 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 176640
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32489
/proc/meminfo: memFree=24127008/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=164064 CPUtime=522.17 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27905124 0 0 0 49061 3156 0 0 20 0 1 0 317457394 168001536 38563 33554432000 134512640 134579096 4293438832 4293437664 134517893 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 41016 38563 228 17 0 40322 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 164064
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32489
/proc/meminfo: memFree=24113780/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=177308 CPUtime=582.16 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 27908430 0 0 0 55059 3157 0 0 20 0 1 0 317457394 181563392 41877 33554432000 134512640 134579096 4293438832 4293437664 134517893 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 44327 41877 228 17 0 43633 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 177308
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 32490
/proc/meminfo: memFree=23769948/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=519760 CPUtime=822.12 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28002115 0 0 0 79038 3174 0 0 20 0 1 0 317457394 532234240 127478 33554432000 134512640 134579096 4293438832 4293437696 134520048 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 129940 127478 228 17 0 129246 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 519760
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32490
/proc/meminfo: memFree=23769976/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=519760 CPUtime=882.11 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28002115 0 0 0 85037 3174 0 0 20 0 1 0 317457394 532234240 127478 33554432000 134512640 134579096 4293438832 4293437696 134520044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 129940 127478 228 17 0 129246 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 519760
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32493
/proc/meminfo: memFree=23648848/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=644396 CPUtime=942.1 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28033275 0 0 0 91031 3179 0 0 20 0 1 0 317457394 659861504 158637 33554432000 134512640 134579096 4293438832 4293437664 134517829 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 161099 158637 228 17 0 160405 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 644396
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32494
/proc/meminfo: memFree=23573740/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=715196 CPUtime=1002.09 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28050931 0 0 0 97027 3182 0 0 20 0 1 0 317457394 732360704 176289 33554432000 134512640 134579096 4293438832 4293437696 134520078 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 178799 176289 228 17 0 178105 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 715196
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32494
/proc/meminfo: memFree=23568684/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=720648 CPUtime=1062.08 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28052247 0 0 0 103025 3183 0 0 20 0 1 0 317457394 737943552 177604 33554432000 134512640 134579096 4293438832 4293437696 134520067 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 180162 177604 228 17 0 179468 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 720648
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32494
/proc/meminfo: memFree=23546764/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=744976 CPUtime=1122.07 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28071052 0 0 0 109019 3188 0 0 20 0 1 0 317457394 762855424 183481 33554432000 134512640 134579096 4293438832 4293437696 134520078 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 186244 183481 228 17 0 185550 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 744976
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32494
/proc/meminfo: memFree=23128416/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=1164676 CPUtime=1182.06 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28405987 0 0 0 114965 3241 0 0 20 0 1 0 317457394 1192628224 288685 33554432000 134512640 134579096 4293438832 4293437664 134517782 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 291169 288685 228 17 0 290475 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 1164676
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32494
/proc/meminfo: memFree=22918016/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=1370744 CPUtime=1242.04 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28457640 0 0 0 120955 3249 0 0 20 0 1 0 317457394 1403641856 340202 33554432000 134512640 134579096 4293438832 4293437696 134520044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 342686 340202 228 17 0 341992 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1370744
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 32495
/proc/meminfo: memFree=22677608/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=1608112 CPUtime=1302.04 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28517167 0 0 0 126945 3259 0 0 20 0 1 0 317457394 1646706688 399544 33554432000 134512640 134579096 4293438832 4293437696 134520196 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 402028 399544 228 17 0 401334 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1608112
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32544
/proc/meminfo: memFree=22435692/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=1852568 CPUtime=1362.01 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28578281 0 0 0 132933 3268 0 0 20 0 1 0 317457394 1897029632 460658 33554432000 134512640 134579096 4293438832 4293437696 134520044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 463142 460658 228 17 0 462448 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1852568
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32544
/proc/meminfo: memFree=22130092/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=2122088 CPUtime=1422 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28645661 0 0 0 138922 3278 0 0 20 0 1 0 317457394 2173018112 528038 33554432000 134512640 134579096 4293438832 4293437696 134520044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 530522 528038 228 17 0 529828 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2122088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32544
/proc/meminfo: memFree=21884600/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=2365904 CPUtime=1481.99 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28706617 0 0 0 144911 3288 0 0 20 0 1 0 317457394 2422685696 588992 33554432000 134512640 134579096 4293438832 4293437632 134528583 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 591476 588992 228 17 0 590782 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2365904
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32547
/proc/meminfo: memFree=21681756/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=2567568 CPUtime=1541.98 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 28879617 0 0 0 150883 3315 0 0 20 0 1 0 317457394 2629189632 639485 33554432000 134512640 134579096 4293438832 4293437696 134520204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 641892 639485 228 17 0 641198 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 2567568
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32548
/proc/meminfo: memFree=21458592/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=2794336 CPUtime=1601.96 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 29096566 0 0 0 156849 3347 0 0 20 0 1 0 317457394 2861400064 696100 33554432000 134512640 134579096 4293438832 4293437696 134520204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 698584 696100 228 17 0 697890 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 2794336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32548
/proc/meminfo: memFree=21276836/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=2953732 CPUtime=1661.95 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 29135578 0 0 0 162843 3352 0 0 20 0 1 0 317457394 3024621568 735111 33554432000 134512640 134579096 4293438832 4293437696 134520078 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 738433 735111 228 17 0 737739 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 2953732
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32750
/proc/meminfo: memFree=21227512/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=2978480 CPUtime=1721.95 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 29139398 0 0 0 168841 3354 0 0 20 0 1 0 317457394 3049963520 738931 33554432000 134512640 134579096 4293438832 4293437696 134520044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 744620 738931 228 17 0 743926 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2978480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32750
/proc/meminfo: memFree=21203616/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=2998624 CPUtime=1781.93 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 29142475 0 0 0 174839 3354 0 0 20 0 1 0 317457394 3070590976 742008 33554432000 134512640 134579096 4293438832 4293437696 134520044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 749656 742008 228 17 0 748962 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 2998624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32750
/proc/meminfo: memFree=21200236/32873844 swapFree=7112/7112
[pid=32483] ppid=32481 vsize=3004376 CPUtime=1800.03 cores=0,2,4,6
/proc/32483/stat : 32483 (Pueblo) R 32481 32483 31493 0 -1 4202496 29143312 0 0 0 176649 3354 0 0 20 0 1 0 317457394 3076481024 742845 33554432000 134512640 134579096 4293438832 4293437696 134520204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32483/statm: 751094 742845 228 17 0 750400 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3004376
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.49
CPU time (s): 1800.14
CPU user time (s): 1766.5
CPU system time (s): 33.6359
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 3004376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.5
system time used= 33.6359
maximum resident set size= 2971380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29143312
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= 2047
runsolver used 2.83057 second user time and 8.5837 second system time
The end