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-3720478-1338511477/watcher-3720478-1338511477 -o /tmp/evaluation-result-3720478-1338511477/solver-3720478-1338511477 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720478-1338511477.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: 2.00 2.00 2.00 4/174 32253
/proc/meminfo: memFree=24278396/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 321 0 0 0 0 0 0 0 20 0 1 0 317276240 3174400 259 33554432000 134512640 134579096 4293721648 4293588880 7292199 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 775 259 219 17 0 81 0

[startup+0.045958 s]
/proc/loadavg: 2.00 2.00 2.00 4/174 32253
/proc/meminfo: memFree=24278396/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=4164 CPUtime=0.04 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 582 0 0 0 4 0 0 0 20 0 1 0 317276240 4263936 520 33554432000 134512640 134579096 4293721648 4293589044 8041201 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 1041 522 219 17 0 347 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4164

[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 2.00 4/174 32253
/proc/meminfo: memFree=24278396/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=5572 CPUtime=0.09 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 952 0 0 0 9 0 0 0 20 0 1 0 317276240 5705728 890 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 1393 890 227 17 0 699 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5572

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 4/174 32253
/proc/meminfo: memFree=24278396/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=5836 CPUtime=0.29 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 1006 0 0 0 29 0 0 0 20 0 1 0 317276240 5976064 944 33554432000 134512640 134579096 4293721648 4293720496 134528360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 1459 944 227 17 0 765 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5836

[startup+0.700245 s]
/proc/loadavg: 2.00 2.00 2.00 4/174 32253
/proc/meminfo: memFree=24278396/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=6860 CPUtime=0.68 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 1249 0 0 0 68 0 0 0 20 0 1 0 317276240 7024640 1187 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 1715 1187 227 17 0 1021 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6860

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32254
/proc/meminfo: memFree=24274188/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=8644 CPUtime=1.49 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 1702 0 0 0 148 1 0 0 20 0 1 0 317276240 8851456 1640 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 2161 1640 227 17 0 1467 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8644

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32254
/proc/meminfo: memFree=24272008/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=9952 CPUtime=3.09 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 2044 0 0 0 307 2 0 0 20 0 1 0 317276240 10190848 1982 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 2488 1982 227 17 0 1794 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9952

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32254
/proc/meminfo: memFree=24269776/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=11392 CPUtime=6.29 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 2388 0 0 0 626 3 0 0 20 0 1 0 317276240 11665408 2326 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 2848 2326 227 17 0 2154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11392

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32254
/proc/meminfo: memFree=24265748/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=13200 CPUtime=12.69 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 2850 0 0 0 1265 4 0 0 20 0 1 0 317276240 13516800 2797 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 3300 2797 227 17 0 2606 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13200

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32255
/proc/meminfo: memFree=24262040/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=15152 CPUtime=25.47 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 3335 0 0 0 2542 5 0 0 20 0 1 0 317276240 15515648 3288 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 3788 3288 227 17 0 3094 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 15152

[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 32255
/proc/meminfo: memFree=24257508/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=18348 CPUtime=51.07 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 4087 0 0 0 5097 10 0 0 20 0 1 0 317276240 18788352 4040 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 4587 4040 227 17 0 3893 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18348

[startup+102.306 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 32255
/proc/meminfo: memFree=24254776/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=18348 CPUtime=102.27 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 4097 0 0 0 10207 20 0 0 20 0 1 0 317276240 18788352 4067 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 4587 4067 227 17 0 3893 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 18348

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 32255
/proc/meminfo: memFree=24248880/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=20524 CPUtime=162.26 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 4626 0 0 0 16198 28 0 0 20 0 1 0 317276240 21016576 4596 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 5131 4596 227 17 0 4437 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 20524

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 32255
/proc/meminfo: memFree=24244912/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=21072 CPUtime=222.24 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 4758 0 0 0 22188 36 0 0 20 0 1 0 317276240 21577728 4728 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 5268 4728 227 17 0 4574 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 21072

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 32255
/proc/meminfo: memFree=24242300/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=22980 CPUtime=282.24 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 5175 0 0 0 28182 42 0 0 20 0 1 0 317276240 23531520 5213 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 5745 5213 227 17 0 5051 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 22980

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32259
/proc/meminfo: memFree=24242044/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=23408 CPUtime=342.23 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 5257 0 0 0 34174 49 0 0 20 0 1 0 317276240 23969792 5295 33554432000 134512640 134579096 4293721648 4293720496 134528360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 5852 5295 227 17 0 5158 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 23408

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32259
/proc/meminfo: memFree=24238268/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=24780 CPUtime=402.22 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 5593 0 0 0 40165 57 0 0 20 0 1 0 317276240 25374720 5689 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 6195 5689 227 17 0 5501 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 24780

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32259
/proc/meminfo: memFree=24235412/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=24932 CPUtime=462.2 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 5622 0 0 0 46156 64 0 0 20 0 1 0 317276240 25530368 5718 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 6233 5718 227 17 0 5539 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 24932

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32259
/proc/meminfo: memFree=24235536/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=25228 CPUtime=522.2 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 5654 0 0 0 52148 72 0 0 20 0 1 0 317276240 25833472 5750 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 6307 5750 227 17 0 5613 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 25228

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32259
/proc/meminfo: memFree=24233488/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=25592 CPUtime=582.19 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 5767 0 0 0 58139 80 0 0 20 0 1 0 317276240 26206208 5863 33554432000 134512640 134579096 4293721648 4293720560 134559164 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 6398 5863 227 17 0 5704 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 25592

[startup+642.3 s]

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

/proc/meminfo: memFree=24209348/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=28080 CPUtime=882.14 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 6359 0 0 0 88103 111 0 0 20 0 1 0 317276240 28753920 6493 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 7020 6493 227 17 0 6326 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 28080

[startup+942.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 32264
/proc/meminfo: memFree=24208844/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=28628 CPUtime=942.13 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 6477 0 0 0 94092 121 0 0 20 0 1 0 317276240 29315072 6611 33554432000 134512640 134579096 4293721648 4293720496 134527742 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 7157 6611 227 17 0 6463 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 28628

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32287
/proc/meminfo: memFree=24207780/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=29292 CPUtime=1002.12 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 6643 0 0 0 100084 128 0 0 20 0 1 0 317276240 29995008 6815 33554432000 134512640 134579096 4293721648 4293720576 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 7323 6815 227 17 0 6629 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 29292

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32287
/proc/meminfo: memFree=24207540/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=29752 CPUtime=1062.11 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 6719 0 0 0 106075 136 0 0 20 0 1 0 317276240 30466048 6891 33554432000 134512640 134579096 4293721648 4293720304 134522544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 7438 6891 227 17 0 6744 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 29752

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32287
/proc/meminfo: memFree=24206608/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=30520 CPUtime=1122.11 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 6866 0 0 0 112066 145 0 0 20 0 1 0 317276240 31252480 7114 33554432000 134512640 134579096 4293721648 4293720496 134527812 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 7630 7114 227 17 0 6936 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 30520

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32287
/proc/meminfo: memFree=24206360/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=30520 CPUtime=1182.09 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 6866 0 0 0 118058 151 0 0 20 0 1 0 317276240 31252480 7114 33554432000 134512640 134579096 4293721648 4293720448 134528646 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 7630 7114 227 17 0 6936 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 30520

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32287
/proc/meminfo: memFree=24206120/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=30520 CPUtime=1242.08 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 6866 0 0 0 124049 159 0 0 20 0 1 0 317276240 31252480 7114 33554432000 134512640 134579096 4293721648 4293720496 134527939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 7630 7114 227 17 0 6936 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 30520

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 32288
/proc/meminfo: memFree=24206112/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=30520 CPUtime=1302.08 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 6866 0 0 0 130042 166 0 0 20 0 1 0 317276240 31252480 7114 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 7630 7114 227 17 0 6936 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 30520

[startup+1362.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/176 32288
/proc/meminfo: memFree=24204004/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=32600 CPUtime=1362.07 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7387 0 0 0 136033 174 0 0 20 0 1 0 317276240 33382400 7635 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8150 7635 227 17 0 7456 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 32600

[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 32288
/proc/meminfo: memFree=24203692/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=32936 CPUtime=1422.07 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7434 0 0 0 142025 182 0 0 20 0 1 0 317276240 33726464 7707 33554432000 134512640 134579096 4293721648 4293720576 134526859 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8234 7707 227 17 0 7540 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 32936

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32288
/proc/meminfo: memFree=24204064/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=32936 CPUtime=1482.05 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7434 0 0 0 148013 192 0 0 20 0 1 0 317276240 33726464 7707 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8234 7707 227 17 0 7540 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 32936

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32291
/proc/meminfo: memFree=24204180/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=32936 CPUtime=1542.04 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7434 0 0 0 154005 199 0 0 20 0 1 0 317276240 33726464 7707 33554432000 134512640 134579096 4293721648 4293720468 134527234 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8234 7707 227 17 0 7540 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 32936

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32292
/proc/meminfo: memFree=24203692/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=33432 CPUtime=1602.03 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7553 0 0 0 159999 204 0 0 20 0 1 0 317276240 34234368 7826 33554432000 134512640 134579096 4293721648 4293720556 134527572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8358 7826 227 17 0 7664 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 33432

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32292
/proc/meminfo: memFree=24202824/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=34480 CPUtime=1662.03 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7792 0 0 0 165993 210 0 0 20 0 1 0 317276240 35307520 8065 33554432000 134512640 134579096 4293721648 4293720620 9536560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8620 8065 227 17 0 7926 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 34480

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32340
/proc/meminfo: memFree=24220612/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=34480 CPUtime=1722.01 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7793 0 0 0 171985 216 0 0 20 0 1 0 317276240 35307520 8107 33554432000 134512640 134579096 4293721648 4293720576 134559581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8620 8107 227 17 0 7926 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 34480

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32340
/proc/meminfo: memFree=24194028/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=34480 CPUtime=1782 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7793 0 0 0 177977 223 0 0 20 0 1 0 317276240 35307520 8107 33554432000 134512640 134579096 4293721648 4293720556 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8620 8107 227 17 0 7926 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 34480

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

[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32340
/proc/meminfo: memFree=24194028/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=34480 CPUtime=1782.4 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7793 0 0 0 178017 223 0 0 20 0 1 0 317276240 35307520 8107 33554432000 134512640 134579096 4293721648 4293720496 134527824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8620 8107 227 17 0 7926 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 34480

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32340
/proc/meminfo: memFree=24192540/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=34480 CPUtime=1782.81 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7793 0 0 0 178058 223 0 0 20 0 1 0 317276240 35307520 8107 33554432000 134512640 134579096 4293721648 4293720528 134516807 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8620 8107 227 17 0 7926 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 34480

[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32340
/proc/meminfo: memFree=24192540/32873844 swapFree=7112/7112
[pid=32253] ppid=32251 vsize=34480 CPUtime=1782.9 cores=1,3,5,7
/proc/32253/stat : 32253 (Pueblo) R 32251 32253 31493 0 -1 4202496 7793 0 0 0 178067 223 0 0 20 0 1 0 317276240 35307520 8107 33554432000 134512640 134579096 4293721648 4293720544 134516696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32253/statm: 8620 8107 227 17 0 7926 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 34480

Child status: 10
Real time (s): 1783.3
CPU time (s): 1783.01
CPU user time (s): 1780.77
CPU system time (s): 2.23766
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 34480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.77
system time used= 2.23766
maximum resident set size= 32448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7798
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= 1835

runsolver used 4.20036 second user time and 10.0875 second system time

The end