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-3719953-1338506028/watcher-3719953-1338506028 -o /tmp/evaluation-result-3719953-1338506028/solver-3719953-1338506028 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719953-1338506028.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: 0.54 0.14 0.04 3/176 3197
/proc/meminfo: memFree=29359752/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 316727719 3174400 257 33554432000 134512640 134579096 4293415232 4293282632 6238189 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 775 257 219 17 0 81 0
[startup+0.0150549 s]
/proc/loadavg: 0.54 0.14 0.04 3/176 3197
/proc/meminfo: memFree=29359752/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3364 CPUtime=0 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 316727719 3444736 323 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 841 323 227 17 0 147 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3364
[startup+0.10021 s]
/proc/loadavg: 0.54 0.14 0.04 3/176 3197
/proc/meminfo: memFree=29359752/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3364 CPUtime=0.09 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 408 0 0 0 9 0 0 0 20 0 1 0 316727719 3444736 346 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 841 346 227 17 0 147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3364
[startup+0.30018 s]
/proc/loadavg: 0.54 0.14 0.04 3/176 3197
/proc/meminfo: memFree=29359752/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3364 CPUtime=0.29 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 410 0 0 0 29 0 0 0 20 0 1 0 316727719 3444736 348 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 841 348 227 17 0 147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3364
[startup+0.700178 s]
/proc/loadavg: 0.54 0.14 0.04 3/176 3197
/proc/meminfo: memFree=29359752/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3364 CPUtime=0.68 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 412 0 0 0 68 0 0 0 20 0 1 0 316727719 3444736 350 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 841 350 227 17 0 147 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 3364
[startup+1.50018 s]
/proc/loadavg: 0.54 0.14 0.04 3/177 3198
/proc/meminfo: memFree=29359288/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3364 CPUtime=1.49 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 413 0 0 0 148 1 0 0 20 0 1 0 316727719 3444736 351 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 841 351 227 17 0 147 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3364
[startup+3.10018 s]
/proc/loadavg: 0.66 0.17 0.05 3/177 3198
/proc/meminfo: memFree=29358900/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3476 CPUtime=3.09 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 417 0 0 0 307 2 0 0 20 0 1 0 316727719 3559424 355 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 869 355 227 17 0 175 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3476
[startup+6.30018 s]
/proc/loadavg: 0.66 0.17 0.05 3/177 3198
/proc/meminfo: memFree=29358900/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=6.28 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 418 0 0 0 625 3 0 0 20 0 1 0 316727719 3534848 356 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 356 227 17 0 169 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3452
[startup+12.7002 s]
/proc/loadavg: 0.87 0.23 0.08 3/177 3198
/proc/meminfo: memFree=29358544/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=12.68 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 420 0 0 0 1261 7 0 0 20 0 1 0 316727719 3534848 358 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 358 227 17 0 169 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3452
[startup+25.5002 s]
/proc/loadavg: 1.04 0.29 0.10 3/177 3198
/proc/meminfo: memFree=29358668/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=25.48 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 422 0 0 0 2535 13 0 0 20 0 1 0 316727719 3534848 360 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 360 227 17 0 169 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3452
[startup+51.1002 s]
/proc/loadavg: 1.37 0.42 0.14 3/177 3198
/proc/meminfo: memFree=29358232/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=51.07 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 425 0 0 0 5081 26 0 0 20 0 1 0 316727719 3534848 363 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 363 227 17 0 169 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3452
[startup+102.306 s]
/proc/loadavg: 1.75 0.69 0.25 3/177 3199
/proc/meminfo: memFree=29357736/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=102.27 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 426 0 0 0 10177 50 0 0 20 0 1 0 316727719 3534848 364 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 364 227 17 0 169 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3452
[startup+162.3 s]
/proc/loadavg: 1.90 0.92 0.36 3/177 3199
/proc/meminfo: memFree=29356992/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=162.26 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 429 0 0 0 16146 80 0 0 20 0 1 0 316727719 3534848 367 33554432000 134512640 134579096 4293415232 4293414032 134528560 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 367 227 17 0 169 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3452
[startup+222.3 s]
/proc/loadavg: 1.96 1.12 0.46 3/177 3199
/proc/meminfo: memFree=29356372/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=222.26 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 430 0 0 0 22120 106 0 0 20 0 1 0 316727719 3534848 368 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 368 227 17 0 169 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3452
[startup+282.3 s]
/proc/loadavg: 1.98 1.28 0.55 3/177 3199
/proc/meminfo: memFree=29356000/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=282.24 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 431 0 0 0 28094 130 0 0 20 0 1 0 316727719 3534848 369 33554432000 134512640 134579096 4293415232 4293414032 134528619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 369 227 17 0 169 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3452
[startup+342.3 s]
/proc/loadavg: 1.99 1.40 0.64 3/177 3199
/proc/meminfo: memFree=29355884/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=342.24 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 431 0 0 0 34069 155 0 0 20 0 1 0 316727719 3534848 369 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 369 227 17 0 169 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3452
[startup+402.3 s]
/proc/loadavg: 2.06 1.53 0.72 3/178 3203
/proc/meminfo: memFree=29354636/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=402.23 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 432 0 0 0 40041 182 0 0 20 0 1 0 316727719 3534848 370 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 370 227 17 0 169 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3452
[startup+462.3 s]
/proc/loadavg: 2.02 1.61 0.80 3/177 3203
/proc/meminfo: memFree=29355016/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=462.22 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 433 0 0 0 46015 207 0 0 20 0 1 0 316727719 3534848 371 33554432000 134512640 134579096 4293415232 4293414032 134528560 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 371 227 17 0 169 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3452
[startup+522.3 s]
/proc/loadavg: 2.01 1.68 0.87 3/177 3203
/proc/meminfo: memFree=29354704/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=522.2 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 433 0 0 0 51989 231 0 0 20 0 1 0 316727719 3534848 371 33554432000 134512640 134579096 4293415232 4293414032 134528560 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 371 227 17 0 169 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3452
[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.94 3/177 3203
/proc/meminfo: memFree=29354828/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3452 CPUtime=582.19 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 433 0 0 0 57964 255 0 0 20 0 1 0 316727719 3534848 371 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 863 371 227 17 0 169 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3452
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29354456/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=882.15 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 444 0 0 0 87830 385 0 0 20 0 1 0 316727719 3633152 382 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 382 227 17 0 193 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 3548
[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.27 3/177 3204
/proc/meminfo: memFree=29354332/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=942.14 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 445 0 0 0 93805 409 0 0 20 0 1 0 316727719 3633152 383 33554432000 134512640 134579096 4293415232 4293414064 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 383 227 17 0 193 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 3548
[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.31 3/178 3207
/proc/meminfo: memFree=29353952/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1002.13 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 445 0 0 0 99781 432 0 0 20 0 1 0 316727719 3633152 383 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 383 227 17 0 193 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3548
[startup+1062.3 s]
/proc/loadavg: 2.00 1.93 1.35 3/177 3208
/proc/meminfo: memFree=29353960/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1062.13 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 446 0 0 0 105756 457 0 0 20 0 1 0 316727719 3633152 384 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 384 227 17 0 193 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3548
[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.39 3/178 3209
/proc/meminfo: memFree=29354200/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1122.12 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 446 0 0 0 111729 483 0 0 20 0 1 0 316727719 3633152 384 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 384 227 17 0 193 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3548
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.42 3/177 3209
/proc/meminfo: memFree=29353960/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1182.11 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 446 0 0 0 117700 511 0 0 20 0 1 0 316727719 3633152 384 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 384 227 17 0 193 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3548
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/177 3209
/proc/meminfo: memFree=29354084/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1242.1 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 447 0 0 0 123675 535 0 0 20 0 1 0 316727719 3633152 385 33554432000 134512640 134579096 4293415232 4293414032 134528622 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 385 227 17 0 193 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3548
[startup+1302.3 s]
/proc/loadavg: 2.06 1.98 1.49 3/177 3209
/proc/meminfo: memFree=29353588/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1302.09 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 447 0 0 0 129650 559 0 0 20 0 1 0 316727719 3633152 385 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 385 227 17 0 193 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3548
[startup+1362.3 s]
/proc/loadavg: 2.02 1.98 1.52 3/177 3210
/proc/meminfo: memFree=29353464/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1362.08 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 135628 580 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414080 134527729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3548
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.55 3/177 3210
/proc/meminfo: memFree=29353836/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1422.08 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 141600 608 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3548
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.57 3/177 3210
/proc/meminfo: memFree=29353836/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1482.06 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 147572 634 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414080 134528357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3548
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.60 3/177 3210
/proc/meminfo: memFree=29354084/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1542.05 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 153547 658 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3548
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.62 3/178 3213
/proc/meminfo: memFree=29353456/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1602.04 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 159520 684 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414080 134527658 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3548
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.64 3/177 3214
/proc/meminfo: memFree=29353588/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1662.04 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 165497 707 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3548
[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.66 3/177 3214
/proc/meminfo: memFree=29353464/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1722.02 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 171473 729 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3548
[startup+1782.3 s]
/proc/loadavg: 2.07 1.99 1.68 3/177 3263
/proc/meminfo: memFree=29357700/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1782.02 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 177450 752 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414112 134558596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3548
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.07 1.99 1.68 3/177 3263
/proc/meminfo: memFree=29357700/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1782.41 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 177489 752 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 3548
[startup+1783.11 s]
/proc/loadavg: 2.07 1.99 1.68 3/177 3263
/proc/meminfo: memFree=29357700/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1782.82 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 177530 752 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414064 134517733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 3548
[startup+1783.2 s]
/proc/loadavg: 2.07 1.99 1.68 3/177 3263
/proc/meminfo: memFree=29357700/32873844 swapFree=7120/7120
[pid=3197] ppid=3195 vsize=3548 CPUtime=1782.91 cores=1,3,5,7
/proc/3197/stat : 3197 (Pueblo) R 3195 3197 2995 0 -1 4202496 448 0 0 0 177539 752 0 0 20 0 1 0 316727719 3633152 386 33554432000 134512640 134579096 4293415232 4293414204 8901680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3197/statm: 887 386 227 17 0 193 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 3548
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783.01
CPU user time (s): 1775.48
CPU system time (s): 7.52785
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 3564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.48
system time used= 7.52785
maximum resident set size= 1564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453
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= 8
involuntary context switches= 1857
runsolver used 3.03754 second user time and 7.28789 second system time
The end