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-3720032-1338506456/watcher-3720032-1338506456 -o /tmp/evaluation-result-3720032-1338506456/solver-3720032-1338506456 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720032-1338506456.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: 1.99 1.53 0.73 3/177 1985
/proc/meminfo: memFree=27499384/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 316771325 3174400 254 33554432000 134512640 134579096 4288872208 4288739604 3220214 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 775 254 215 17 0 81 0
[startup+0.016024 s]
/proc/loadavg: 1.99 1.53 0.73 3/177 1985
/proc/meminfo: memFree=27499384/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=3232 CPUtime=0.01 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 375 0 0 0 1 0 0 0 20 0 1 0 316771325 3309568 312 33554432000 134512640 134579096 4288872208 4288739484 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 808 312 221 17 0 114 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3232
[startup+0.100207 s]
/proc/loadavg: 1.99 1.53 0.73 3/177 1985
/proc/meminfo: memFree=27499384/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=3764 CPUtime=0.09 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 510 0 0 0 9 0 0 0 20 0 1 0 316771325 3854336 447 33554432000 134512640 134579096 4288872208 4288870776 2471207 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 941 447 229 17 0 247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3764
[startup+0.300179 s]
/proc/loadavg: 1.99 1.53 0.73 3/177 1985
/proc/meminfo: memFree=27499384/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=4404 CPUtime=0.28 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 671 0 0 0 28 0 0 0 20 0 1 0 316771325 4509696 608 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 1101 608 229 17 0 407 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4404
[startup+0.700175 s]
/proc/loadavg: 1.99 1.53 0.73 3/177 1985
/proc/meminfo: memFree=27499384/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=4916 CPUtime=0.68 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 795 0 0 0 68 0 0 0 20 0 1 0 316771325 5033984 732 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 1229 732 229 17 0 535 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 4916
[startup+1.50018 s]
/proc/loadavg: 1.99 1.53 0.74 3/178 1986
/proc/meminfo: memFree=27497168/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=5428 CPUtime=1.48 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 921 0 0 0 147 1 0 0 20 0 1 0 316771325 5558272 858 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 1357 858 229 17 0 663 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5428
[startup+3.10018 s]
/proc/loadavg: 1.99 1.53 0.74 3/178 1986
/proc/meminfo: memFree=27496424/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=5948 CPUtime=3.09 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 1053 0 0 0 305 4 0 0 20 0 1 0 316771325 6090752 990 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 1487 990 229 17 0 793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5948
[startup+6.30018 s]
/proc/loadavg: 1.99 1.54 0.75 3/178 1986
/proc/meminfo: memFree=27495672/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=6576 CPUtime=6.29 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 1213 0 0 0 622 7 0 0 20 0 1 0 316771325 6733824 1150 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 1644 1150 229 17 0 950 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6576
[startup+12.7002 s]
/proc/loadavg: 1.99 1.55 0.75 3/177 1987
/proc/meminfo: memFree=27493660/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=7472 CPUtime=12.68 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 1415 0 0 0 1255 13 0 0 20 0 1 0 316771325 7651328 1352 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 1868 1352 229 17 0 1174 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7472
[startup+25.5002 s]
/proc/loadavg: 1.99 1.57 0.77 3/177 1987
/proc/meminfo: memFree=27492248/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=8512 CPUtime=25.48 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 1668 0 0 0 2527 21 0 0 20 0 1 0 316771325 8716288 1605 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 2128 1605 229 17 0 1434 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8512
[startup+51.1002 s]
/proc/loadavg: 1.99 1.60 0.80 3/177 1987
/proc/meminfo: memFree=27490632/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=9620 CPUtime=51.08 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 1951 0 0 0 5070 38 0 0 20 0 1 0 316771325 9850880 1885 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 2405 1885 229 17 0 1711 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9620
[startup+102.306 s]
/proc/loadavg: 1.99 1.66 0.86 3/177 1987
/proc/meminfo: memFree=27489804/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=11144 CPUtime=102.28 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 2323 0 0 0 10152 76 0 0 20 0 1 0 316771325 11411456 2268 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 2786 2268 229 17 0 2092 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11144
[startup+162.3 s]
/proc/loadavg: 1.99 1.72 0.93 3/177 1987
/proc/meminfo: memFree=27482996/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=12976 CPUtime=162.26 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 2774 0 0 0 16110 116 0 0 20 0 1 0 316771325 13287424 2719 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 3244 2719 229 17 0 2550 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 12976
[startup+222.3 s]
/proc/loadavg: 1.99 1.77 1.00 3/177 1987
/proc/meminfo: memFree=27472204/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=14428 CPUtime=222.24 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 3136 0 0 0 22072 152 0 0 20 0 1 0 316771325 14774272 3081 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 3607 3081 229 17 0 2913 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 14428
[startup+282.3 s]
/proc/loadavg: 1.99 1.81 1.06 3/177 1987
/proc/meminfo: memFree=27472232/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=14428 CPUtime=282.23 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 3138 0 0 0 28040 183 0 0 20 0 1 0 316771325 14774272 3090 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 3607 3090 229 17 0 2913 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 14428
[startup+342.3 s]
/proc/loadavg: 1.99 1.84 1.11 3/177 1989
/proc/meminfo: memFree=27472980/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=14668 CPUtime=342.23 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 3203 0 0 0 34015 208 0 0 20 0 1 0 316771325 15020032 3174 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 3667 3174 229 17 0 2973 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14668
[startup+402.3 s]
/proc/loadavg: 1.99 1.87 1.16 3/177 1990
/proc/meminfo: memFree=27471628/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=15424 CPUtime=402.22 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 3378 0 0 0 39982 240 0 0 20 0 1 0 316771325 15794176 3349 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 3856 3349 229 17 0 3162 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15424
[startup+462.3 s]
/proc/loadavg: 2.07 1.91 1.22 3/177 1990
/proc/meminfo: memFree=27471628/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=15552 CPUtime=462.21 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 3413 0 0 0 45940 281 0 0 20 0 1 0 316771325 15925248 3384 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 3888 3384 229 17 0 3194 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15552
[startup+522.3 s]
/proc/loadavg: 2.02 1.92 1.27 3/177 1990
/proc/meminfo: memFree=27471628/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=15744 CPUtime=522.2 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 3449 0 0 0 51896 324 0 0 20 0 1 0 316771325 16121856 3420 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 3936 3420 229 17 0 3242 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 15744
[startup+582.3 s]
/proc/loadavg: 2.01 1.93 1.31 3/178 1993
/proc/meminfo: memFree=27470880/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=16484 CPUtime=582.19 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 3656 0 0 0 57856 363 0 0 20 0 1 0 316771325 16879616 3595 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4121 3595 229 17 0 3427 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 16484
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27458332/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=18104 CPUtime=882.14 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4163 0 0 0 87689 525 0 0 20 0 1 0 316771325 18538496 4012 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4526 4012 229 17 0 3832 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 18104
[startup+942.3 s]
/proc/loadavg: 2.08 1.99 1.53 3/177 1995
/proc/meminfo: memFree=27458376/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=18352 CPUtime=942.13 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4231 0 0 0 93646 567 0 0 20 0 1 0 316771325 18792448 4099 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4588 4099 229 17 0 3894 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 18352
[startup+1002.3 s]
/proc/loadavg: 2.03 1.99 1.55 3/177 1995
/proc/meminfo: memFree=27458624/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=18448 CPUtime=1002.13 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4243 0 0 0 99605 608 0 0 20 0 1 0 316771325 18890752 4111 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4612 4111 229 17 0 3918 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 18448
[startup+1062.3 s]
/proc/loadavg: 2.01 1.99 1.58 3/177 1995
/proc/meminfo: memFree=27458624/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=18592 CPUtime=1062.12 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4282 0 0 0 105560 652 0 0 20 0 1 0 316771325 19038208 4150 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4648 4150 229 17 0 3954 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 18592
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/177 1995
/proc/meminfo: memFree=27458376/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=18672 CPUtime=1122.1 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4308 0 0 0 111515 695 0 0 20 0 1 0 316771325 19120128 4176 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4668 4176 229 17 0 3974 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 18672
[startup+1182.3 s]
/proc/loadavg: 2.06 2.00 1.63 3/178 1998
/proc/meminfo: memFree=27458504/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=18672 CPUtime=1182.1 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4317 0 0 0 117471 739 0 0 20 0 1 0 316771325 19120128 4178 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4668 4178 229 17 0 3974 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 18672
[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.65 3/177 1999
/proc/meminfo: memFree=27458388/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=18832 CPUtime=1242.09 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4338 0 0 0 123428 781 0 0 20 0 1 0 316771325 19283968 4199 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4708 4199 229 17 0 4014 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 18832
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/177 1999
/proc/meminfo: memFree=27457024/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=19924 CPUtime=1302.09 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4625 0 0 0 129373 836 0 0 20 0 1 0 316771325 20402176 4466 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 4981 4466 229 17 0 4287 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 19924
[startup+1362.3 s]
/proc/loadavg: 1.92 1.98 1.68 2/172 2122
/proc/meminfo: memFree=27524632/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20224 CPUtime=1362.07 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4670 0 0 0 135325 882 0 0 20 0 1 0 316771325 20709376 4511 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5056 4511 229 17 0 4362 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 20224
[startup+1422.31 s]
/proc/loadavg: 2.09 2.02 1.71 3/177 2143
/proc/meminfo: memFree=27459060/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20328 CPUtime=1422.07 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4697 0 0 0 141286 921 0 0 20 0 1 0 316771325 20815872 4538 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5082 4538 229 17 0 4388 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 20328
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.72 3/177 2143
/proc/meminfo: memFree=27447640/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20328 CPUtime=1482.06 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4718 0 0 0 147241 965 0 0 20 0 1 0 316771325 20815872 4559 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5082 4559 229 17 0 4388 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 20328
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.74 3/177 2144
/proc/meminfo: memFree=27437940/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20524 CPUtime=1542.04 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4767 0 0 0 153190 1014 0 0 20 0 1 0 316771325 21016576 4644 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5131 4644 229 17 0 4437 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 20524
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.75 3/177 2144
/proc/meminfo: memFree=27431236/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20652 CPUtime=1602.03 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4788 0 0 0 159141 1062 0 0 20 0 1 0 316771325 21147648 4665 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5163 4665 229 17 0 4469 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 20652
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.77 3/177 2144
/proc/meminfo: memFree=27431108/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20772 CPUtime=1662.03 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4817 0 0 0 165091 1112 0 0 20 0 1 0 316771325 21270528 4694 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5193 4694 229 17 0 4499 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 20772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/177 2144
/proc/meminfo: memFree=27424288/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20852 CPUtime=1722.01 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4833 0 0 0 171042 1159 0 0 20 0 1 0 316771325 21352448 4710 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5213 4710 229 17 0 4519 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 20852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 2147
/proc/meminfo: memFree=27421052/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20852 CPUtime=1782 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4833 0 0 0 176998 1202 0 0 20 0 1 0 316771325 21352448 4710 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5213 4710 229 17 0 4519 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 20852
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 2147
/proc/meminfo: memFree=27421052/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20852 CPUtime=1782.41 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4833 0 0 0 177038 1203 0 0 20 0 1 0 316771325 21352448 4710 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5213 4710 229 17 0 4519 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 20852
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 2147
/proc/meminfo: memFree=27421052/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20852 CPUtime=1782.82 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4833 0 0 0 177079 1203 0 0 20 0 1 0 316771325 21352448 4710 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5213 4710 229 17 0 4519 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 20852
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 2147
/proc/meminfo: memFree=27421052/32873660 swapFree=7120/7120
[pid=1985] ppid=1983 vsize=20852 CPUtime=1782.91 cores=1,3,5,7
/proc/1985/stat : 1985 (Pueblo) R 1983 1985 1765 0 -1 4202496 4833 0 0 0 177088 1203 0 0 20 0 1 0 316771325 21352448 4710 33554432000 134512640 134579096 4288872208 4288871180 13042736 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1985/statm: 5213 4710 229 17 0 4519 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 20852
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783
CPU user time (s): 1770.97
CPU system time (s): 12.0302
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 20900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.97
system time used= 12.0302
maximum resident set size= 18860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4838
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= 16
involuntary context switches= 1836
runsolver used 2.89656 second user time and 7.79082 second system time
The end