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-3720268-1338509602/watcher-3720268-1338509602 -o /tmp/evaluation-result-3720268-1338509602/solver-3720268-1338509602 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720268-1338509602.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.08 2.02 2.06 3/176 9173
/proc/meminfo: memFree=31656736/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 316 0 0 0 0 0 0 0 20 0 1 0 317088780 3178496 254 33554432000 134512640 134579096 4292030288 4291897700 2851642 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 776 254 219 17 0 82 0
[startup+0.0356999 s]
/proc/loadavg: 2.08 2.02 2.06 3/176 9173
/proc/meminfo: memFree=31656736/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3108 CPUtime=0.03 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 346 0 0 0 3 0 0 0 20 0 1 0 317088780 3182592 284 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 777 284 227 17 0 83 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3108
[startup+0.100256 s]
/proc/loadavg: 2.08 2.02 2.06 3/176 9173
/proc/meminfo: memFree=31656736/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3240 CPUtime=0.09 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 355 0 0 0 9 0 0 0 20 0 1 0 317088780 3317760 293 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 810 293 227 17 0 116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3240
[startup+0.300223 s]
/proc/loadavg: 2.08 2.02 2.06 3/176 9173
/proc/meminfo: memFree=31656736/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3240 CPUtime=0.29 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 375 0 0 0 29 0 0 0 20 0 1 0 317088780 3317760 313 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 810 313 227 17 0 116 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3240
[startup+0.70022 s]
/proc/loadavg: 2.08 2.02 2.06 3/176 9173
/proc/meminfo: memFree=31656736/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3368 CPUtime=0.68 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 384 0 0 0 68 0 0 0 20 0 1 0 317088780 3448832 322 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 842 322 227 17 0 148 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 3368
[startup+1.50022 s]
/proc/loadavg: 2.08 2.02 2.06 3/177 9174
/proc/meminfo: memFree=31658372/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3368 CPUtime=1.48 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 392 0 0 0 148 0 0 0 20 0 1 0 317088780 3448832 330 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 842 330 227 17 0 148 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 3368
[startup+3.10022 s]
/proc/loadavg: 2.07 2.02 2.06 3/177 9174
/proc/meminfo: memFree=31657876/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3368 CPUtime=3.09 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 392 0 0 0 307 2 0 0 20 0 1 0 317088780 3448832 330 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 842 330 227 17 0 148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3368
[startup+6.30022 s]
/proc/loadavg: 2.07 2.02 2.06 3/177 9174
/proc/meminfo: memFree=31657752/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3500 CPUtime=6.29 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 417 0 0 0 625 4 0 0 20 0 1 0 317088780 3584000 355 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 875 355 227 17 0 181 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3500
[startup+12.7002 s]
/proc/loadavg: 2.06 2.02 2.06 3/177 9174
/proc/meminfo: memFree=31657428/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3500 CPUtime=12.68 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 417 0 0 0 1259 9 0 0 20 0 1 0 317088780 3584000 355 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 875 355 227 17 0 181 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3500
[startup+25.5002 s]
/proc/loadavg: 2.05 2.01 2.06 3/177 9174
/proc/meminfo: memFree=31657676/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3500 CPUtime=25.48 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 417 0 0 0 2527 21 0 0 20 0 1 0 317088780 3584000 355 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 875 355 227 17 0 181 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3500
[startup+51.1002 s]
/proc/loadavg: 2.03 2.01 2.05 3/177 9318
/proc/meminfo: memFree=32106492/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3632 CPUtime=51.08 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 456 0 0 0 5065 43 0 0 20 0 1 0 317088780 3719168 394 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 908 394 227 17 0 214 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3632
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/177 9318
/proc/meminfo: memFree=32105500/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3884 CPUtime=102.28 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 514 0 0 0 10145 83 0 0 20 0 1 0 317088780 3977216 452 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 971 452 227 17 0 277 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3884
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 9318
/proc/meminfo: memFree=32104756/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3884 CPUtime=162.26 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 534 0 0 0 16097 129 0 0 20 0 1 0 317088780 3977216 472 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 971 472 227 17 0 277 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3884
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 9318
/proc/meminfo: memFree=32104384/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=3884 CPUtime=222.25 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 539 0 0 0 22047 178 0 0 20 0 1 0 317088780 3977216 477 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 971 477 227 17 0 277 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3884
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 9319
/proc/meminfo: memFree=32104320/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4008 CPUtime=282.25 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 559 0 0 0 27998 227 0 0 20 0 1 0 317088780 4104192 497 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1002 497 227 17 0 308 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 4008
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 9319
/proc/meminfo: memFree=32103948/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4008 CPUtime=342.24 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 559 0 0 0 33950 274 0 0 20 0 1 0 317088780 4104192 497 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1002 497 227 17 0 308 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 4008
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 9322
/proc/meminfo: memFree=32103520/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4008 CPUtime=402.23 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 559 0 0 0 39900 323 0 0 20 0 1 0 317088780 4104192 497 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1002 497 227 17 0 308 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 4008
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.02 3/177 9322
/proc/meminfo: memFree=32103452/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4008 CPUtime=462.21 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 559 0 0 0 45853 368 0 0 20 0 1 0 317088780 4104192 497 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1002 497 227 17 0 308 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 4008
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 9322
/proc/meminfo: memFree=32103576/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4008 CPUtime=522.2 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 559 0 0 0 51806 414 0 0 20 0 1 0 317088780 4104192 497 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1002 497 227 17 0 308 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 4008
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 9323
/proc/meminfo: memFree=32103452/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4008 CPUtime=582.2 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 559 0 0 0 57760 460 0 0 20 0 1 0 317088780 4104192 497 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1002 497 227 17 0 308 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 4008
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31988236/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4136 CPUtime=882.16 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 600 0 0 0 87543 673 0 0 20 0 1 0 317088780 4235264 538 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1034 538 227 17 0 340 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 4136
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9372
/proc/meminfo: memFree=31938156/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4260 CPUtime=942.15 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 610 0 0 0 93496 719 0 0 20 0 1 0 317088780 4362240 548 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1065 548 227 17 0 371 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 4260
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9375
/proc/meminfo: memFree=31890616/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4260 CPUtime=1002.14 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 633 0 0 0 99453 761 0 0 20 0 1 0 317088780 4362240 571 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1065 571 227 17 0 371 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 4260
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9375
/proc/meminfo: memFree=31849960/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1062.12 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 645 0 0 0 105409 803 0 0 20 0 1 0 317088780 4485120 583 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 583 227 17 0 401 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 4380
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9375
/proc/meminfo: memFree=31801988/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1122.12 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 111363 849 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 4380
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9376
/proc/meminfo: memFree=31764912/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1182.11 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 117316 895 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4380
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9376
/proc/meminfo: memFree=31731060/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1242.09 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 123271 938 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 4380
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9376
/proc/meminfo: memFree=31702180/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1302.1 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 129227 983 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 4380
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9376
/proc/meminfo: memFree=31664264/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1362.07 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 135181 1026 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 4380
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9376
/proc/meminfo: memFree=31614144/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1422.08 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 141136 1072 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4380
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9377
/proc/meminfo: memFree=31568140/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1482.06 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 147092 1114 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9377
/proc/meminfo: memFree=31528832/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1542.05 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 153047 1158 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 4380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9380
/proc/meminfo: memFree=31513780/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1602.04 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 159006 1198 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=31513952/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1662.03 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 164962 1241 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 4380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=31514044/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1722.02 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 170916 1286 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 4380
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9382
/proc/meminfo: memFree=31513564/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1782.02 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 176877 1325 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 4380
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9382
/proc/meminfo: memFree=31513564/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1782.41 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 176916 1325 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 4380
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9382
/proc/meminfo: memFree=31513564/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1782.82 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 176957 1325 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 4380
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9382
/proc/meminfo: memFree=31513564/32873844 swapFree=8656/8656
[pid=9173] ppid=9171 vsize=4380 CPUtime=1782.91 cores=1,3,5,7
/proc/9173/stat : 9173 (Pueblo) R 9171 9173 8724 0 -1 4202496 655 0 0 0 176966 1325 0 0 20 0 1 0 317088780 4485120 593 33554432000 134512640 134579096 4292030288 4292029260 16516144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9173/statm: 1095 593 227 17 0 401 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 4380
Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1769.75
CPU system time (s): 13.26
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 4380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.75
system time used= 13.26
maximum resident set size= 2392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660
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= 9
involuntary context switches= 1837
runsolver used 2.70959 second user time and 7.07592 second system time
The end