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-3720147-1338507869/watcher-3720147-1338507869 -o /tmp/evaluation-result-3720147-1338507869/solver-3720147-1338507869 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720147-1338507869.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: 3.63 2.43 1.85 3/177 17528
/proc/meminfo: memFree=19887036/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 316914294 3174400 243 33554432000 134512640 134579096 4291752048 4291619456 134546916 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 775 243 213 17 0 81 0

[startup+0.075855 s]
/proc/loadavg: 3.63 2.43 1.85 3/177 17528
/proc/meminfo: memFree=19887036/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=5096 CPUtime=0.06 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 813 0 0 0 6 0 0 0 20 0 1 0 316914294 5218304 750 33554432000 134512640 134579096 4291752048 4291619496 7291020 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 1274 750 219 17 0 580 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5096

[startup+0.100224 s]
/proc/loadavg: 3.63 2.43 1.85 3/177 17528
/proc/meminfo: memFree=19887036/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=5764 CPUtime=0.09 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 980 0 0 0 9 0 0 0 20 0 1 0 316914294 5902336 917 33554432000 134512640 134579096 4291752048 4291619472 134546737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 1441 917 219 17 0 747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5764

[startup+0.300203 s]
/proc/loadavg: 3.63 2.43 1.85 3/177 17528
/proc/meminfo: memFree=19887036/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=11092 CPUtime=0.29 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 2312 0 0 0 29 0 0 0 20 0 1 0 316914294 11358208 2249 33554432000 134512640 134579096 4291752048 4291619440 7224213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 2773 2249 219 17 0 2079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11092

[startup+0.700247 s]
/proc/loadavg: 3.63 2.43 1.85 3/177 17528
/proc/meminfo: memFree=19887036/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=18692 CPUtime=0.68 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 4213 0 0 0 68 0 0 0 20 0 1 0 316914294 19140608 4150 33554432000 134512640 134579096 4291752048 4291751008 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 4673 4150 225 17 0 3979 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18692

[startup+1.50017 s]
/proc/loadavg: 3.66 2.46 1.86 2/178 17529
/proc/meminfo: memFree=19837272/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=21480 CPUtime=1.48 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 4932 0 0 0 148 0 0 0 20 0 1 0 316914294 21995520 4869 33554432000 134512640 134579096 4291752048 4291750704 134522706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 5370 4869 228 17 0 4676 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21480

[startup+3.1002 s]
/proc/loadavg: 3.66 2.46 1.86 2/178 17529
/proc/meminfo: memFree=19797344/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=22380 CPUtime=3.08 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 5130 0 0 0 308 0 0 0 20 0 1 0 316914294 22917120 5067 33554432000 134512640 134579096 4291752048 4291750896 134528344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 5595 5067 228 17 0 4901 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22380

[startup+6.30019 s]
/proc/loadavg: 3.66 2.46 1.86 2/178 17529
/proc/meminfo: memFree=19707816/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=22200 CPUtime=6.28 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 5358 0 0 0 628 0 0 0 20 0 1 0 316914294 22732800 5054 33554432000 134512640 134579096 4291752048 4291750704 134523686 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 5550 5054 228 17 0 4856 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22200

[startup+12.7002 s]
/proc/loadavg: 3.79 2.52 1.89 2/178 17529
/proc/meminfo: memFree=19631680/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=26972 CPUtime=12.69 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 6627 0 0 0 1268 1 0 0 20 0 1 0 316914294 27619328 6235 33554432000 134512640 134579096 4291752048 4291750704 134523642 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 6743 6235 228 17 0 6049 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26972

[startup+25.5002 s]
/proc/loadavg: 3.90 2.59 1.91 2/178 17529
/proc/meminfo: memFree=19072804/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=39816 CPUtime=25.48 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 9840 0 0 0 2547 1 0 0 20 0 1 0 316914294 40771584 9448 33554432000 134512640 134579096 4291752048 4291750704 134522688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 9954 9448 228 17 0 9260 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39816

[startup+51.1002 s]
/proc/loadavg: 4.28 2.78 2.00 2/178 17529
/proc/meminfo: memFree=19047972/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=64352 CPUtime=51.07 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 15967 0 0 0 5105 2 0 0 20 0 1 0 316914294 65896448 15575 33554432000 134512640 134579096 4291752048 4291750864 134519100 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 16088 15575 228 17 0 15394 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64352

[startup+102.306 s]
/proc/loadavg: 5.20 3.28 2.21 4/179 17627
/proc/meminfo: memFree=29399864/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=111952 CPUtime=102.25 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 27892 0 0 0 10221 4 0 0 20 0 1 0 316914294 114638848 27485 33554432000 134512640 134579096 4291752048 4291750704 134522754 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 27988 27485 228 17 0 27294 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111952

[startup+162.3 s]
/proc/loadavg: 3.17 3.04 2.19 3/178 17627
/proc/meminfo: memFree=31858440/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=170344 CPUtime=162.22 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 42477 0 0 0 16214 8 0 0 20 0 1 0 316914294 174432256 42071 33554432000 134512640 134579096 4291752048 4291750864 134519088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 42586 42071 228 17 0 41892 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 170344

[startup+222.3 s]
/proc/loadavg: 2.43 2.85 2.18 3/177 17627
/proc/meminfo: memFree=31773272/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=235836 CPUtime=222.21 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 58745 0 0 0 22209 12 0 0 20 0 1 0 316914294 241496064 58339 33554432000 134512640 134579096 4291752048 4291750864 134519114 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 58959 58339 228 17 0 58265 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 235836

[startup+282.3 s]
/proc/loadavg: 2.16 2.69 2.16 3/177 17627
/proc/meminfo: memFree=31695648/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=314272 CPUtime=282.21 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 78281 0 0 0 28204 17 0 0 20 0 1 0 316914294 321814528 77875 33554432000 134512640 134579096 4291752048 4291750704 134524544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 78568 77875 228 17 0 77874 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 314272

[startup+342.3 s]
/proc/loadavg: 2.06 2.56 2.15 3/178 17631
/proc/meminfo: memFree=31617008/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=390768 CPUtime=342.17 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 97388 0 0 0 34196 21 0 0 20 0 1 0 316914294 400146432 97029 33554432000 134512640 134579096 4291752048 4291750704 134524568 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 97692 97029 228 17 0 96998 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 390768

[startup+402.3 s]
/proc/loadavg: 2.06 2.47 2.15 3/177 17631
/proc/meminfo: memFree=31540412/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=468552 CPUtime=402.14 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 116804 0 0 0 40190 24 0 0 20 0 1 0 316914294 479797248 116517 33554432000 134512640 134579096 4291752048 4291750704 134523654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 117138 116517 228 17 0 116444 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 468552

[startup+462.3 s]
/proc/loadavg: 2.06 2.40 2.14 3/177 17631
/proc/meminfo: memFree=31474596/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=533368 CPUtime=462.12 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 133011 0 0 0 46184 28 0 0 20 0 1 0 316914294 546168832 132754 33554432000 134512640 134579096 4291752048 4291750880 134517903 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 133342 132754 228 17 0 132648 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 533368

[startup+522.3 s]
/proc/loadavg: 2.02 2.32 2.13 3/177 17631
/proc/meminfo: memFree=31409400/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=599428 CPUtime=522.1 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 149291 0 0 0 52178 32 0 0 20 0 1 0 316914294 613814272 149042 33554432000 134512640 134579096 4291752048 4291750704 134523649 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17528/statm: 149857 149042 228 17 0 149163 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 599428

[startup+582.3 s]
/proc/loadavg: 2.01 2.26 2.12 3/176 17631
/proc/meminfo: memFree=31321396/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=685864 CPUtime=582.05 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 170799 0 0 0 58169 36 0 0 20 0 1 0 316914294 702324736 170601 33554432000 134512640 134579096 4291752048 4291750912 134520196 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 171466 170601 228 17 0 170772 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 685864

[startup+642.3 s]

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

/proc/meminfo: memFree=31009004/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=994468 CPUtime=821.98 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 247664 0 0 0 82144 54 0 0 20 0 1 0 316914294 1018335232 247481 33554432000 134512640 134579096 4291752048 4291750848 134528713 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 248617 247481 228 17 0 247923 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 994468

[startup+882.3 s]
/proc/loadavg: 2.00 2.09 2.07 3/177 17633
/proc/meminfo: memFree=30914516/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1073976 CPUtime=881.97 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 267166 0 0 0 88138 59 0 0 20 0 1 0 316914294 1099751424 266983 33554432000 134512640 134579096 4291752048 4291750976 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 268494 266983 228 17 0 267800 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 1073976

[startup+942.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/178 17637
/proc/meminfo: memFree=30840472/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1146152 CPUtime=941.97 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 285111 0 0 0 94134 63 0 0 20 0 1 0 316914294 1173659648 284896 33554432000 134512640 134579096 4291752048 4291750704 134522688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 286538 284896 228 17 0 285844 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1146152

[startup+1002.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/178 17660
/proc/meminfo: memFree=30769304/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1219136 CPUtime=1001.95 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 303169 0 0 0 100129 66 0 0 20 0 1 0 316914294 1248395264 302922 33554432000 134512640 134579096 4291752048 4291750704 134523691 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 304784 302922 228 17 0 304090 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1219136

[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/177 17660
/proc/meminfo: memFree=30701112/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286560 CPUtime=1061.95 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 319963 0 0 0 106124 71 0 0 20 0 1 0 316914294 1317437440 319652 33554432000 134512640 134579096 4291752048 4291750944 134516700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321640 319652 228 17 0 320946 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1286560

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/177 17660
/proc/meminfo: memFree=30701112/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1121.93 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 319963 0 0 0 112122 71 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750864 134519100 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1286528

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/177 17660
/proc/meminfo: memFree=30701236/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1181.93 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 319963 0 0 0 118121 72 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750704 134522726 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1286528

[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/177 17661
/proc/meminfo: memFree=30700712/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1241.92 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 319964 0 0 0 124119 73 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750704 134523671 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1286528

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/177 17661
/proc/meminfo: memFree=30688588/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1301.91 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 319976 0 0 0 130117 74 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750864 134519125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1286528

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/177 17661
/proc/meminfo: memFree=30691468/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1361.88 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 319987 0 0 0 136113 75 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750704 134523649 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1286528

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 17661
/proc/meminfo: memFree=30691620/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1421.85 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320014 0 0 0 142109 76 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750880 134517885 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1286528

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/177 17661
/proc/meminfo: memFree=30691528/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1481.82 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320035 0 0 0 148105 77 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750912 134520196 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1286528

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 17665
/proc/meminfo: memFree=30690688/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1541.82 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320035 0 0 0 154104 78 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750880 134517901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1286528

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 17665
/proc/meminfo: memFree=30690944/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1601.81 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320035 0 0 0 160102 79 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750928 134557302 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1286528

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 17665
/proc/meminfo: memFree=30691564/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1661.8 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320035 0 0 0 166100 80 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750864 134519114 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1286528

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17665
/proc/meminfo: memFree=30691440/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1721.79 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320035 0 0 0 172099 80 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750912 134520048 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1286528

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17665
/proc/meminfo: memFree=30691192/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1781.78 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320035 0 0 0 178097 81 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750912 134520067 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1286528

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

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17665
/proc/meminfo: memFree=30691192/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1782.58 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320035 0 0 0 178177 81 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750912 134520067 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (KiB) 1286528

[startup+1783.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17665
/proc/meminfo: memFree=30691192/32873844 swapFree=7116/7116
[pid=17528] ppid=17526 vsize=1286528 CPUtime=1782.98 cores=0,2,4,6
/proc/17528/stat : 17528 (Pueblo) R 17526 17528 17309 0 -1 4202496 320035 0 0 0 178217 81 0 0 20 0 1 0 316914294 1317404672 319652 33554432000 134512640 134579096 4291752048 4291750880 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17528/statm: 321632 319652 228 17 0 320938 0
Current children cumulated CPU time (s) 1782.98
Current children cumulated vsize (KiB) 1286528

Child status: 10
Real time (s): 1783.57
CPU time (s): 1783.06
CPU user time (s): 1782.24
CPU system time (s): 0.819875
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1286560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.24
system time used= 0.819875
maximum resident set size= 1278628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320040
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= 278
involuntary context switches= 2377

runsolver used 5.02424 second user time and 13.8979 second system time

The end