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-3720501-1338511639/watcher-3720501-1338511639 -o /tmp/evaluation-result-3720501-1338511639/solver-3720501-1338511639 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720501-1338511639.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.07 2.02 1.94 3/176 29700
/proc/meminfo: memFree=26460872/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 317289355 3174400 270 33554432000 134512640 134579096 4293344432 4293211568 11220263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 775 271 219 17 0 81 0

[startup+0.056329 s]
/proc/loadavg: 2.07 2.02 1.94 3/176 29700
/proc/meminfo: memFree=26460872/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=4948 CPUtime=0.05 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 775 0 0 0 5 0 0 0 20 0 1 0 317289355 5066752 713 33554432000 134512640 134579096 4293344432 4293343136 11220263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 1237 713 225 17 0 543 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4948

[startup+0.100259 s]
/proc/loadavg: 2.07 2.02 1.94 3/176 29700
/proc/meminfo: memFree=26460872/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=5348 CPUtime=0.09 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 879 0 0 0 9 0 0 0 20 0 1 0 317289355 5476352 817 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 1337 817 227 17 0 643 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5348

[startup+0.300181 s]
/proc/loadavg: 2.07 2.02 1.94 3/176 29700
/proc/meminfo: memFree=26460872/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=5620 CPUtime=0.28 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 954 0 0 0 28 0 0 0 20 0 1 0 317289355 5754880 892 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 1405 892 227 17 0 711 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5620

[startup+0.700224 s]
/proc/loadavg: 2.07 2.02 1.94 3/176 29700
/proc/meminfo: memFree=26460872/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=7208 CPUtime=0.68 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 1342 0 0 0 68 0 0 0 20 0 1 0 317289355 7380992 1280 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 1802 1280 227 17 0 1108 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7208

[startup+1.50023 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 29701
/proc/meminfo: memFree=26452820/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=10992 CPUtime=1.49 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 2285 0 0 0 148 1 0 0 20 0 1 0 317289355 11255808 2223 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 2748 2223 227 17 0 2054 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10992

[startup+3.10012 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 29701
/proc/meminfo: memFree=26446868/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=12296 CPUtime=3.08 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 2608 0 0 0 307 1 0 0 20 0 1 0 317289355 12591104 2546 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 3074 2546 227 17 0 2380 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12296

[startup+6.30012 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 29701
/proc/meminfo: memFree=26443272/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=15184 CPUtime=6.29 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 3314 0 0 0 627 2 0 0 20 0 1 0 317289355 15548416 3252 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 3796 3252 227 17 0 3102 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15184

[startup+12.7002 s]
/proc/loadavg: 2.13 2.03 1.95 3/177 29701
/proc/meminfo: memFree=26441084/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=17260 CPUtime=12.68 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 3843 0 0 0 1265 3 0 0 20 0 1 0 317289355 17674240 3781 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 4315 3781 227 17 0 3621 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17260

[startup+25.5002 s]
/proc/loadavg: 2.11 2.03 1.95 3/177 29701
/proc/meminfo: memFree=26438520/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=19880 CPUtime=25.48 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 4502 0 0 0 2544 4 0 0 20 0 1 0 317289355 20357120 4440 33554432000 134512640 134579096 4293344432 4293343280 134527712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 4970 4440 227 17 0 4276 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19880

[startup+51.1001 s]
/proc/loadavg: 2.07 2.03 1.95 3/177 29701
/proc/meminfo: memFree=26436212/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=22228 CPUtime=51.08 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 5081 0 0 0 5101 7 0 0 20 0 1 0 317289355 22761472 5019 33554432000 134512640 134579096 4293344432 4293343264 134517919 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 5557 5019 227 17 0 4863 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22228

[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.95 3/177 29701
/proc/meminfo: memFree=26409736/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=25336 CPUtime=102.27 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 5875 0 0 0 10215 12 0 0 20 0 1 0 317289355 25944064 5813 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 6334 5813 227 17 0 5640 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25336

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 29702
/proc/meminfo: memFree=26407912/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=27012 CPUtime=162.25 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 6306 0 0 0 16207 18 0 0 20 0 1 0 317289355 27660288 6256 33554432000 134512640 134579096 4293344432 4293343280 134527742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 6753 6256 227 17 0 6059 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27012

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 29705
/proc/meminfo: memFree=26407480/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=27760 CPUtime=222.25 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 6479 0 0 0 22203 22 0 0 20 0 1 0 317289355 28426240 6429 33554432000 134512640 134579096 4293344432 4293343280 134527737 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 6940 6429 227 17 0 6246 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27760

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 29705
/proc/meminfo: memFree=26406124/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=29552 CPUtime=282.23 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 6920 0 0 0 28195 28 0 0 20 0 1 0 317289355 30261248 6868 33554432000 134512640 134579096 4293344432 4293343280 134527833 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 7388 6868 227 17 0 6694 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 29552

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 29705
/proc/meminfo: memFree=26403892/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=29804 CPUtime=342.23 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 6985 0 0 0 34191 32 0 0 20 0 1 0 317289355 30519296 6933 33554432000 134512640 134579096 4293344432 4293343280 134527833 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 7451 6933 227 17 0 6757 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29804

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 29705
/proc/meminfo: memFree=26369700/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=32144 CPUtime=402.22 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 7590 0 0 0 40185 37 0 0 20 0 1 0 317289355 32915456 7538 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 8036 7538 227 17 0 7342 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 32144

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 29706
/proc/meminfo: memFree=26368940/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=32536 CPUtime=462.2 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 7690 0 0 0 46179 41 0 0 20 0 1 0 317289355 33316864 7641 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 8134 7641 227 17 0 7440 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 32536

[startup+522.3 s]
/proc/loadavg: 2.09 2.03 1.96 3/177 29706
/proc/meminfo: memFree=26369312/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=32536 CPUtime=522.19 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 7690 0 0 0 52173 46 0 0 20 0 1 0 317289355 33316864 7641 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 8134 7641 227 17 0 7440 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 32536

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 29706
/proc/meminfo: memFree=26367328/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=34764 CPUtime=582.19 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 8203 0 0 0 58168 51 0 0 20 0 1 0 317289355 35598336 8154 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 8691 8154 227 17 0 7997 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 34764

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=26351092/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=36120 CPUtime=822.15 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 8547 0 0 0 82150 65 0 0 20 0 1 0 317289355 36986880 8524 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 9030 8524 227 17 0 8336 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 36120

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 29733
/proc/meminfo: memFree=26350828/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=36252 CPUtime=882.14 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 8559 0 0 0 88145 69 0 0 20 0 1 0 317289355 37122048 8536 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 9063 8536 227 17 0 8369 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 36252

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29733
/proc/meminfo: memFree=26350524/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=36512 CPUtime=942.13 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 8618 0 0 0 94141 72 0 0 20 0 1 0 317289355 37388288 8595 33554432000 134512640 134579096 4293344432 4293343280 134527818 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 9128 8595 227 17 0 8434 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 36512

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29733
/proc/meminfo: memFree=26347052/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=39772 CPUtime=1002.12 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9456 0 0 0 100137 75 0 0 20 0 1 0 317289355 40726528 9433 33554432000 134512640 134579096 4293344432 4293343280 134527742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 9943 9433 227 17 0 9249 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 39772

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29734
/proc/meminfo: memFree=26346804/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=39772 CPUtime=1062.11 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9456 0 0 0 106133 78 0 0 20 0 1 0 317289355 40726528 9433 33554432000 134512640 134579096 4293344432 4293343280 134527742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 9943 9433 227 17 0 9249 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 39772

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 29734
/proc/meminfo: memFree=26343272/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=39772 CPUtime=1122.1 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9456 0 0 0 112129 81 0 0 20 0 1 0 317289355 40726528 9433 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 9943 9433 227 17 0 9249 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 39772

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29735
/proc/meminfo: memFree=26343376/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=39772 CPUtime=1182.09 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9458 0 0 0 118124 85 0 0 20 0 1 0 317289355 40726528 9441 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 9943 9441 227 17 0 9249 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 39772

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29735
/proc/meminfo: memFree=26344740/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=39772 CPUtime=1242.08 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9458 0 0 0 124120 88 0 0 20 0 1 0 317289355 40726528 9441 33554432000 134512640 134579096 4293344432 4293343280 134527742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 9943 9441 227 17 0 9249 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 39772

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29735
/proc/meminfo: memFree=26344368/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=40412 CPUtime=1302.08 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9600 0 0 0 130115 93 0 0 20 0 1 0 317289355 41381888 9583 33554432000 134512640 134579096 4293344432 4293343280 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 10103 9583 227 17 0 9409 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 40412

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 29739
/proc/meminfo: memFree=26343480/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=40412 CPUtime=1362.06 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9601 0 0 0 136108 98 0 0 20 0 1 0 317289355 41381888 9584 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 10103 9584 227 17 0 9409 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 40412

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29739
/proc/meminfo: memFree=26343512/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=40672 CPUtime=1422.06 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9665 0 0 0 142105 101 0 0 20 0 1 0 317289355 41648128 9648 33554432000 134512640 134579096 4293344432 4293343280 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 10168 9648 227 17 0 9474 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 40672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29739
/proc/meminfo: memFree=26343512/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=40932 CPUtime=1482.05 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9723 0 0 0 148100 105 0 0 20 0 1 0 317289355 41914368 9706 33554432000 134512640 134579096 4293344432 4293343312 134557302 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 10233 9706 227 17 0 9539 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 40932

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29739
/proc/meminfo: memFree=26343388/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=40932 CPUtime=1542.04 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9723 0 0 0 154095 109 0 0 20 0 1 0 317289355 41914368 9706 33554432000 134512640 134579096 4293344432 4293343280 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 10233 9706 227 17 0 9539 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 40932

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29787
/proc/meminfo: memFree=26482752/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=40932 CPUtime=1602.02 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 9723 0 0 0 160090 112 0 0 20 0 1 0 317289355 41914368 9706 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 10233 9706 227 17 0 9539 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 40932

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 29788
/proc/meminfo: memFree=26433812/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=43820 CPUtime=1662.02 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 10434 0 0 0 166086 116 0 0 20 0 1 0 317289355 44871680 10417 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 10955 10417 227 17 0 10261 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 43820

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 29788
/proc/meminfo: memFree=26377500/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=44344 CPUtime=1722.01 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 10551 0 0 0 172080 121 0 0 20 0 1 0 317289355 45408256 10557 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 11086 10557 227 17 0 10392 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 44344

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 29788
/proc/meminfo: memFree=26326692/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=44344 CPUtime=1782 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 10551 0 0 0 178075 125 0 0 20 0 1 0 317289355 45408256 10557 33554432000 134512640 134579096 4293344432 4293343280 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 11086 10557 227 17 0 10392 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 44344

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 29788
/proc/meminfo: memFree=26325700/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=44344 CPUtime=1782.8 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 10551 0 0 0 178155 125 0 0 20 0 1 0 317289355 45408256 10557 33554432000 134512640 134579096 4293344432 4293343404 9872432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 11086 10557 227 17 0 10392 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 44344

[startup+1783.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 29788
/proc/meminfo: memFree=26325700/32873648 swapFree=6864/6864
[pid=29700] ppid=29698 vsize=44344 CPUtime=1783 cores=0,2,4,6
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29082 0 -1 4202496 10551 0 0 0 178175 125 0 0 20 0 1 0 317289355 45408256 10557 33554432000 134512640 134579096 4293344432 4293343280 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29700/statm: 11086 10557 227 17 0 10392 0
Current children cumulated CPU time (s) 1783
Current children cumulated vsize (KiB) 44344

Child status: 10
Real time (s): 1783.3
CPU time (s): 1783.01
CPU user time (s): 1781.75
CPU system time (s): 1.25581
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 44344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.75
system time used= 1.25581
maximum resident set size= 42248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10556
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= 24
involuntary context switches= 1913

runsolver used 2.6096 second user time and 7.12192 second system time

The end