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-3719948-1338506028/watcher-3719948-1338506028 -o /tmp/evaluation-result-3719948-1338506028/solver-3719948-1338506028 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719948-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.06 0.02 0.00 3/176 10131
/proc/meminfo: memFree=31252664/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 316728799 3178496 247 33554432000 134512640 134579096 4291118400 4290985808 134546921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 776 247 213 17 0 82 0
[startup+0.0424651 s]
/proc/loadavg: 0.06 0.02 0.00 3/176 10131
/proc/meminfo: memFree=31252664/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3372 CPUtime=0.03 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 385 0 0 0 3 0 0 0 20 0 1 0 316728799 3452928 322 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 843 322 227 17 0 149 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3372
[startup+0.100211 s]
/proc/loadavg: 0.06 0.02 0.00 3/176 10131
/proc/meminfo: memFree=31252664/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3372 CPUtime=0.08 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 385 0 0 0 8 0 0 0 20 0 1 0 316728799 3452928 322 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 843 322 227 17 0 149 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3372
[startup+0.30018 s]
/proc/loadavg: 0.06 0.02 0.00 3/176 10131
/proc/meminfo: memFree=31252664/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3372 CPUtime=0.29 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 385 0 0 0 27 2 0 0 20 0 1 0 316728799 3452928 322 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 843 322 227 17 0 149 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3372
[startup+0.700169 s]
/proc/loadavg: 0.06 0.02 0.00 3/176 10131
/proc/meminfo: memFree=31252664/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3372 CPUtime=0.68 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 385 0 0 0 63 5 0 0 20 0 1 0 316728799 3452928 322 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 843 322 227 17 0 149 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 3372
[startup+1.50018 s]
/proc/loadavg: 0.22 0.05 0.01 3/177 10132
/proc/meminfo: memFree=31252284/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3372 CPUtime=1.48 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 385 0 0 0 137 11 0 0 20 0 1 0 316728799 3452928 322 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 843 322 227 17 0 149 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 3372
[startup+3.1002 s]
/proc/loadavg: 0.22 0.05 0.01 3/177 10132
/proc/meminfo: memFree=31251400/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3372 CPUtime=3.09 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 387 0 0 0 286 23 0 0 20 0 1 0 316728799 3452928 324 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 843 324 227 17 0 149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3372
[startup+6.30023 s]
/proc/loadavg: 0.36 0.08 0.02 3/177 10132
/proc/meminfo: memFree=31247344/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3372 CPUtime=6.28 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 389 0 0 0 582 46 0 0 20 0 1 0 316728799 3452928 326 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 843 326 227 17 0 149 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3372
[startup+12.7002 s]
/proc/loadavg: 0.49 0.11 0.03 3/177 10132
/proc/meminfo: memFree=31234208/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3372 CPUtime=12.69 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 392 0 0 0 1177 92 0 0 20 0 1 0 316728799 3452928 329 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 843 329 227 17 0 149 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3372
[startup+25.5001 s]
/proc/loadavg: 0.72 0.17 0.06 3/177 10132
/proc/meminfo: memFree=31210324/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3504 CPUtime=25.48 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 447 0 0 0 2420 128 0 0 20 0 1 0 316728799 3588096 384 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 876 384 227 17 0 182 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3504
[startup+51.1002 s]
/proc/loadavg: 1.22 0.35 0.12 3/177 10132
/proc/meminfo: memFree=31184624/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3616 CPUtime=51.07 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 472 0 0 0 4955 152 0 0 20 0 1 0 316728799 3702784 409 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 904 409 227 17 0 210 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3616
[startup+102.306 s]
/proc/loadavg: 1.66 0.60 0.21 3/177 10132
/proc/meminfo: memFree=31148084/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3724 CPUtime=102.27 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 490 0 0 0 9954 273 0 0 20 0 1 0 316728799 3813376 427 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 931 427 227 17 0 237 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3724
[startup+162.3 s]
/proc/loadavg: 1.87 0.85 0.32 3/177 10132
/proc/meminfo: memFree=31137532/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3832 CPUtime=162.26 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 517 0 0 0 15880 346 0 0 20 0 1 0 316728799 3923968 454 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 958 454 227 17 0 264 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3832
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.42 3/177 10132
/proc/meminfo: memFree=31123576/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3832 CPUtime=222.25 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 524 0 0 0 21821 404 0 0 20 0 1 0 316728799 3923968 461 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 958 461 227 17 0 264 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3832
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/177 10133
/proc/meminfo: memFree=31117476/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3944 CPUtime=282.24 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 552 0 0 0 27780 444 0 0 20 0 1 0 316728799 4038656 489 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 986 489 227 17 0 292 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3944
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.61 3/177 10133
/proc/meminfo: memFree=31097100/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3944 CPUtime=342.23 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 553 0 0 0 33745 478 0 0 20 0 1 0 316728799 4038656 490 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 986 490 227 17 0 292 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3944
[startup+402.3 s]
/proc/loadavg: 1.99 1.48 0.69 3/178 10136
/proc/meminfo: memFree=31096544/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3988 CPUtime=402.22 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 563 0 0 0 39696 526 0 0 20 0 1 0 316728799 4083712 500 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 997 500 227 17 0 303 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3988
[startup+462.3 s]
/proc/loadavg: 1.99 1.57 0.77 3/177 10136
/proc/meminfo: memFree=31096808/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3988 CPUtime=462.21 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 563 0 0 0 45619 602 0 0 20 0 1 0 316728799 4083712 500 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 997 500 227 17 0 303 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3988
[startup+522.3 s]
/proc/loadavg: 1.99 1.65 0.85 3/177 10136
/proc/meminfo: memFree=31064548/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3988 CPUtime=522.21 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 564 0 0 0 51570 651 0 0 20 0 1 0 316728799 4083712 501 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 997 501 227 17 0 303 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3988
[startup+582.3 s]
/proc/loadavg: 1.99 1.71 0.92 3/177 10137
/proc/meminfo: memFree=31065040/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=3988 CPUtime=582.2 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 564 0 0 0 57526 694 0 0 20 0 1 0 316728799 4083712 501 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 997 501 227 17 0 303 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3988
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31269048/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=882.15 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 583 0 0 0 87347 868 0 0 20 0 1 0 316728799 4169728 520 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 520 227 17 0 324 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 4072
[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.25 3/177 10188
/proc/meminfo: memFree=31268676/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=942.14 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 583 0 0 0 93311 903 0 0 20 0 1 0 316728799 4169728 520 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 520 227 17 0 324 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 4072
[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.30 3/178 10191
/proc/meminfo: memFree=31268804/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=1002.13 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 584 0 0 0 99265 948 0 0 20 0 1 0 316728799 4169728 521 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 521 227 17 0 324 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 4072
[startup+1062.3 s]
/proc/loadavg: 2.00 1.93 1.34 3/177 10191
/proc/meminfo: memFree=31268936/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=1062.13 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 584 0 0 0 105201 1012 0 0 20 0 1 0 316728799 4169728 521 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 521 227 17 0 324 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 4072
[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/177 10191
/proc/meminfo: memFree=31268936/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=1122.12 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 584 0 0 0 111145 1067 0 0 20 0 1 0 316728799 4169728 521 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 521 227 17 0 324 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 4072
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/177 10192
/proc/meminfo: memFree=31268940/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=1182.11 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 584 0 0 0 117088 1123 0 0 20 0 1 0 316728799 4169728 521 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 521 227 17 0 324 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4072
[startup+1242.3 s]
/proc/loadavg: 2.03 1.97 1.45 3/177 10192
/proc/meminfo: memFree=31268568/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=1242.09 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 584 0 0 0 122995 1214 0 0 20 0 1 0 316728799 4169728 521 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 521 227 17 0 324 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 4072
[startup+1302.3 s]
/proc/loadavg: 2.01 1.97 1.48 3/177 10192
/proc/meminfo: memFree=31268568/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=1302.09 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 584 0 0 0 128933 1276 0 0 20 0 1 0 316728799 4169728 521 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 521 227 17 0 324 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4072
[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.52 3/177 10192
/proc/meminfo: memFree=31268320/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=1362.07 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 584 0 0 0 134872 1335 0 0 20 0 1 0 316728799 4169728 521 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 521 227 17 0 324 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 4072
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.55 3/177 10192
/proc/meminfo: memFree=31268444/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4072 CPUtime=1422.08 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 584 0 0 0 140731 1477 0 0 20 0 1 0 316728799 4169728 521 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1018 521 227 17 0 324 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4072
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.57 3/177 10193
/proc/meminfo: memFree=31268080/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4096 CPUtime=1482.06 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 593 0 0 0 146514 1692 0 0 20 0 1 0 316728799 4194304 530 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1024 530 227 17 0 330 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4096
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.59 3/177 10193
/proc/meminfo: memFree=31267948/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4096 CPUtime=1542.05 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 593 0 0 0 152277 1928 0 0 20 0 1 0 316728799 4194304 530 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1024 530 227 17 0 330 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 4096
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/178 10196
/proc/meminfo: memFree=31268076/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4096 CPUtime=1602.04 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 597 0 0 0 158067 2137 0 0 20 0 1 0 316728799 4194304 534 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1024 534 227 17 0 330 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4096
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/177 10196
/proc/meminfo: memFree=31267964/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4096 CPUtime=1662.04 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 597 0 0 0 163981 2223 0 0 20 0 1 0 316728799 4194304 534 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1024 534 227 17 0 330 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 4096
[startup+1722.3 s]
/proc/loadavg: 2.04 2.00 1.66 3/177 10196
/proc/meminfo: memFree=31268088/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4208 CPUtime=1722.03 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 602 0 0 0 169924 2279 0 0 20 0 1 0 316728799 4308992 539 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1052 539 227 17 0 358 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4208
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 10197
/proc/meminfo: memFree=31267964/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4208 CPUtime=1782.02 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 608 0 0 0 175870 2332 0 0 20 0 1 0 316728799 4308992 545 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1052 545 227 17 0 358 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4208
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 10197
/proc/meminfo: memFree=31267964/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4208 CPUtime=1782.41 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 608 0 0 0 175909 2332 0 0 20 0 1 0 316728799 4308992 545 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1052 545 227 17 0 358 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 4208
[startup+1783.11 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 10197
/proc/meminfo: memFree=31267964/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4208 CPUtime=1782.82 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 608 0 0 0 175950 2332 0 0 20 0 1 0 316728799 4308992 545 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1052 545 227 17 0 358 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 4208
[startup+1783.2 s]
/proc/loadavg: 2.01 2.00 1.68 3/177 10197
/proc/meminfo: memFree=31267964/32873648 swapFree=7628/7628
[pid=10131] ppid=10129 vsize=4208 CPUtime=1782.91 cores=1,3,5,7
/proc/10131/stat : 10131 (Pueblo) R 10129 10131 9880 0 -1 4202496 608 0 0 0 175959 2332 0 0 20 0 1 0 316728799 4308992 545 33554432000 134512640 134579096 4291118400 4291117372 16200752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10131/statm: 1052 545 227 17 0 358 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 4208
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783.01
CPU user time (s): 1759.68
CPU system time (s): 23.3275
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 4212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.68
system time used= 23.3275
maximum resident set size= 2200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 613
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= 1839
runsolver used 2.6476 second user time and 7.55685 second system time
The end