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-3720037-1338507507/watcher-3720037-1338507507 -o /tmp/evaluation-result-3720037-1338507507/solver-3720037-1338507507 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720037-1338507507.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.01 2.00 1.58 3/176 5594
/proc/meminfo: memFree=28478568/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3112 CPUtime=0 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 316875304 3186688 278 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 778 278 227 17 0 84 0
[startup+0.0280791 s]
/proc/loadavg: 2.01 2.00 1.58 3/176 5594
/proc/meminfo: memFree=28478568/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3112 CPUtime=0.02 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 346 0 0 0 2 0 0 0 20 0 1 0 316875304 3186688 283 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 778 283 227 17 0 84 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3112
[startup+0.100205 s]
/proc/loadavg: 2.01 2.00 1.58 3/176 5594
/proc/meminfo: memFree=28478568/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3112 CPUtime=0.09 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 350 0 0 0 9 0 0 0 20 0 1 0 316875304 3186688 287 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 778 287 227 17 0 84 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3112
[startup+0.300175 s]
/proc/loadavg: 2.01 2.00 1.58 3/176 5594
/proc/meminfo: memFree=28478568/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3240 CPUtime=0.29 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 358 0 0 0 28 1 0 0 20 0 1 0 316875304 3317760 295 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 810 295 227 17 0 116 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3240
[startup+0.700175 s]
/proc/loadavg: 2.01 2.00 1.58 3/176 5594
/proc/meminfo: memFree=28478568/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3240 CPUtime=0.69 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 364 0 0 0 68 1 0 0 20 0 1 0 316875304 3317760 301 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 810 301 227 17 0 116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3240
[startup+1.50017 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5595
/proc/meminfo: memFree=28477940/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3240 CPUtime=1.49 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 370 0 0 0 146 3 0 0 20 0 1 0 316875304 3317760 307 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 810 307 227 17 0 116 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3240
[startup+3.10017 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5595
/proc/meminfo: memFree=28477568/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3240 CPUtime=3.09 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 377 0 0 0 302 7 0 0 20 0 1 0 316875304 3317760 314 33554432000 134512640 134579096 4292011808 4292010656 134527762 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 810 314 227 17 0 116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3240
[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5595
/proc/meminfo: memFree=28477568/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3368 CPUtime=6.29 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 386 0 0 0 614 15 0 0 20 0 1 0 316875304 3448832 323 33554432000 134512640 134579096 4292011808 4292010608 134528817 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 842 323 227 17 0 148 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3368
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5595
/proc/meminfo: memFree=28477484/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3368 CPUtime=12.68 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 397 0 0 0 1237 31 0 0 20 0 1 0 316875304 3448832 334 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 842 334 227 17 0 148 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3368
[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 1.59 3/177 5595
/proc/meminfo: memFree=28477516/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3368 CPUtime=25.48 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 409 0 0 0 2486 62 0 0 20 0 1 0 316875304 3448832 346 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 842 346 227 17 0 148 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3368
[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 1.60 3/177 5595
/proc/meminfo: memFree=28477516/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3492 CPUtime=51.08 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 419 0 0 0 4980 128 0 0 20 0 1 0 316875304 3575808 356 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 873 356 227 17 0 179 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3492
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.63 3/178 5598
/proc/meminfo: memFree=28476872/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3492 CPUtime=102.27 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 446 0 0 0 9974 253 0 0 20 0 1 0 316875304 3575808 383 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 873 383 227 17 0 179 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3492
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 1.65 3/176 5598
/proc/meminfo: memFree=28476532/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3624 CPUtime=162.24 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 472 0 0 0 15823 401 0 0 20 0 1 0 316875304 3710976 409 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5594/statm: 906 409 227 17 0 212 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 3624
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.67 3/177 5599
/proc/meminfo: memFree=28476648/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3748 CPUtime=222.24 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 484 0 0 0 21683 541 0 0 20 0 1 0 316875304 3837952 421 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 937 421 227 17 0 243 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 3748
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 1.69 3/177 5599
/proc/meminfo: memFree=28476524/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3748 CPUtime=282.22 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 491 0 0 0 27538 684 0 0 20 0 1 0 316875304 3837952 428 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 937 428 227 17 0 243 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 3748
[startup+342.3 s]
/proc/loadavg: 2.10 2.04 1.71 3/177 5647
/proc/meminfo: memFree=28330492/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3748 CPUtime=342.22 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 503 0 0 0 33397 825 0 0 20 0 1 0 316875304 3837952 440 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 937 440 227 17 0 243 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 3748
[startup+402.3 s]
/proc/loadavg: 2.17 2.06 1.74 3/177 5647
/proc/meminfo: memFree=28193004/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3872 CPUtime=402.2 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 511 0 0 0 39263 957 0 0 20 0 1 0 316875304 3964928 448 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 968 448 227 17 0 274 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 3872
[startup+462.3 s]
/proc/loadavg: 2.12 2.06 1.76 3/177 5647
/proc/meminfo: memFree=28159800/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3872 CPUtime=462.2 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 526 0 0 0 45135 1085 0 0 20 0 1 0 316875304 3964928 463 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 968 463 227 17 0 274 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 3872
[startup+522.3 s]
/proc/loadavg: 2.04 2.05 1.77 3/177 5648
/proc/meminfo: memFree=28152580/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3872 CPUtime=522.19 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 529 0 0 0 51012 1207 0 0 20 0 1 0 316875304 3964928 466 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 968 466 227 17 0 274 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 3872
[startup+582.3 s]
/proc/loadavg: 2.09 2.05 1.79 3/177 5648
/proc/meminfo: memFree=28146752/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3872 CPUtime=582.18 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 531 0 0 0 56900 1318 0 0 20 0 1 0 316875304 3964928 468 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 968 468 227 17 0 274 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 3872
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28103048/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=3976 CPUtime=882.13 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 564 0 0 0 86333 1880 0 0 20 0 1 0 316875304 4071424 501 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 994 501 227 17 0 300 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 3976
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/177 5652
/proc/meminfo: memFree=28078992/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4108 CPUtime=942.12 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 570 0 0 0 92213 1999 0 0 20 0 1 0 316875304 4206592 507 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1027 507 227 17 0 333 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 4108
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 5652
/proc/meminfo: memFree=28077292/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4108 CPUtime=1002.11 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 572 0 0 0 98082 2129 0 0 20 0 1 0 316875304 4206592 509 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1027 509 227 17 0 333 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 4108
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 5652
/proc/meminfo: memFree=28089268/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4108 CPUtime=1062.11 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 576 0 0 0 103949 2262 0 0 20 0 1 0 316875304 4206592 513 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1027 513 227 17 0 333 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 4108
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 1.86 3/177 5653
/proc/meminfo: memFree=28075380/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4108 CPUtime=1122.09 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 588 0 0 0 109821 2388 0 0 20 0 1 0 316875304 4206592 525 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1027 525 227 17 0 333 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 4108
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.87 3/177 5653
/proc/meminfo: memFree=28077240/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4108 CPUtime=1182.09 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 600 0 0 0 115670 2539 0 0 20 0 1 0 316875304 4206592 537 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1027 537 227 17 0 333 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 4108
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 5653
/proc/meminfo: memFree=28056336/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1242.07 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 604 0 0 0 121519 2688 0 0 20 0 1 0 316875304 4345856 541 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 541 227 17 0 367 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 4244
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 5656
/proc/meminfo: memFree=28046536/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1302.07 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 608 0 0 0 127368 2839 0 0 20 0 1 0 316875304 4345856 545 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 545 227 17 0 367 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 4244
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 5679
/proc/meminfo: memFree=28051976/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1362.05 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 612 0 0 0 133203 3002 0 0 20 0 1 0 316875304 4345856 549 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 549 227 17 0 367 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 4244
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 5680
/proc/meminfo: memFree=28051784/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1422.05 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 612 0 0 0 139043 3162 0 0 20 0 1 0 316875304 4345856 549 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 549 227 17 0 367 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 4244
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5680
/proc/meminfo: memFree=28051784/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1482.04 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 612 0 0 0 144892 3312 0 0 20 0 1 0 316875304 4345856 549 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 549 227 17 0 367 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 4244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 5680
/proc/meminfo: memFree=28047564/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1542.03 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 616 0 0 0 150728 3475 0 0 20 0 1 0 316875304 4345856 553 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 553 227 17 0 367 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 4244
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 5680
/proc/meminfo: memFree=28046448/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1602.02 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 616 0 0 0 156558 3644 0 0 20 0 1 0 316875304 4345856 553 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 553 227 17 0 367 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 4244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 5680
/proc/meminfo: memFree=28017680/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1662.02 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 620 0 0 0 162404 3798 0 0 20 0 1 0 316875304 4345856 557 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 557 227 17 0 367 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 4244
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/177 5681
/proc/meminfo: memFree=28023260/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1722.01 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 620 0 0 0 168248 3953 0 0 20 0 1 0 316875304 4345856 557 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 557 227 17 0 367 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 4244
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 5681
/proc/meminfo: memFree=28012720/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1781.99 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 622 0 0 0 174122 4077 0 0 20 0 1 0 316875304 4345856 559 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 559 227 17 0 367 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 4244
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 5681
/proc/meminfo: memFree=28012720/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1782.39 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 624 0 0 0 174161 4078 0 0 20 0 1 0 316875304 4345856 561 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 561 227 17 0 367 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 4244
[startup+1783.11 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 5681
/proc/meminfo: memFree=28012596/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1782.8 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 624 0 0 0 174201 4079 0 0 20 0 1 0 316875304 4345856 561 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 561 227 17 0 367 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 4244
[startup+1783.2 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 5681
/proc/meminfo: memFree=28012596/32873844 swapFree=7108/7108
[pid=5594] ppid=5592 vsize=4244 CPUtime=1782.89 cores=0,2,4,6
/proc/5594/stat : 5594 (Pueblo) R 5592 5594 5139 0 -1 4202496 624 0 0 0 174210 4079 0 0 20 0 1 0 316875304 4345856 561 33554432000 134512640 134579096 4292011808 4292010780 8774704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5594/statm: 1061 561 227 17 0 367 0
Current children cumulated CPU time (s) 1782.89
Current children cumulated vsize (KiB) 4244
Child status: 10
Real time (s): 1783.3
CPU time (s): 1783
CPU user time (s): 1742.2
CPU system time (s): 40.8008
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 4244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1742.2
system time used= 40.8008
maximum resident set size= 2264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629
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= 5
involuntary context switches= 2151
runsolver used 3.10053 second user time and 6.63099 second system time
The end