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-3720240-1338508953/watcher-3720240-1338508953 -o /tmp/evaluation-result-3720240-1338508953/solver-3720240-1338508953 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720240-1338508953.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 1.87 3/174 8134
/proc/meminfo: memFree=29400848/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 317023732 3309568 286 33554432000 134512640 134579096 4289262128 4289129588 4346629 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 808 286 221 17 0 114 0
[startup+0.0353291 s]
/proc/loadavg: 2.00 2.00 1.87 3/174 8134
/proc/meminfo: memFree=29400848/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=3648 CPUtime=0.03 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 476 0 0 0 3 0 0 0 20 0 1 0 317023732 3735552 413 33554432000 134512640 134579096 4289262128 4289260784 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 912 413 229 17 0 218 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3648
[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 1.87 3/174 8134
/proc/meminfo: memFree=29400848/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=4612 CPUtime=0.09 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 702 0 0 0 9 0 0 0 20 0 1 0 317023732 4722688 639 33554432000 134512640 134579096 4289262128 4289260784 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 1153 639 229 17 0 459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612
[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 1.87 3/174 8134
/proc/meminfo: memFree=29400848/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=5504 CPUtime=0.29 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 935 0 0 0 29 0 0 0 20 0 1 0 317023732 5636096 872 33554432000 134512640 134579096 4289262128 4289258688 134533001 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 1376 872 229 17 0 682 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5504
[startup+0.700209 s]
/proc/loadavg: 2.00 2.00 1.87 3/174 8134
/proc/meminfo: memFree=29400848/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=5876 CPUtime=0.69 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 1032 0 0 0 69 0 0 0 20 0 1 0 317023732 6017024 969 33554432000 134512640 134579096 4289262128 4289260848 134529206 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 1469 969 229 17 0 775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5876
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 8135
/proc/meminfo: memFree=29397864/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=6212 CPUtime=1.49 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 1163 0 0 0 149 0 0 0 20 0 1 0 317023732 6361088 1055 33554432000 134512640 134579096 4289262128 4289260976 134527815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 1553 1055 229 17 0 859 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6212
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 8135
/proc/meminfo: memFree=29396832/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=6824 CPUtime=3.09 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 1327 0 0 0 309 0 0 0 20 0 1 0 317023732 6987776 1195 33554432000 134512640 134579096 4289262128 4289260784 134523429 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 1706 1195 229 17 0 1012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6824
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 8135
/proc/meminfo: memFree=29395972/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=8032 CPUtime=6.29 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 1670 0 0 0 629 0 0 0 20 0 1 0 317023732 8224768 1490 33554432000 134512640 134579096 4289262128 4289260976 134527830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 2008 1490 229 17 0 1314 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8032
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 8135
/proc/meminfo: memFree=29394324/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=8992 CPUtime=12.69 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 2166 0 0 0 1268 1 0 0 20 0 1 0 317023732 9207808 1745 33554432000 134512640 134579096 4289262128 4289260784 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 2248 1745 229 17 0 1554 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8992
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.87 3/175 8135
/proc/meminfo: memFree=29393352/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=10008 CPUtime=25.49 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 2412 0 0 0 2547 2 0 0 20 0 1 0 317023732 10248192 1989 33554432000 134512640 134579096 4289262128 4289260976 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 2502 1989 229 17 0 1808 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10008
[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 1.88 3/175 8136
/proc/meminfo: memFree=29392544/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=10524 CPUtime=51.08 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 3044 0 0 0 5105 3 0 0 20 0 1 0 317023732 10776576 2133 33554432000 134512640 134579096 4289262128 4289261100 3126320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 2631 2133 229 17 0 1937 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10524
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.89 3/175 8136
/proc/meminfo: memFree=29390064/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=12584 CPUtime=102.28 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 3848 0 0 0 10221 7 0 0 20 0 1 0 317023732 12886016 2648 33554432000 134512640 134579096 4289262128 4289261100 3126320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 3146 2648 229 17 0 2452 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12584
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/175 8136
/proc/meminfo: memFree=29389256/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=13620 CPUtime=162.26 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 4157 0 0 0 16216 10 0 0 20 0 1 0 317023732 13946880 2875 33554432000 134512640 134579096 4289262128 4289260928 134558913 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 3405 2875 229 17 0 2711 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13620
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/175 8136
/proc/meminfo: memFree=29389380/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=13764 CPUtime=222.25 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 4225 0 0 0 22213 12 0 0 20 0 1 0 317023732 14094336 2914 33554432000 134512640 134579096 4289262128 4289260976 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 3441 2914 229 17 0 2747 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 13764
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 8136
/proc/meminfo: memFree=29388140/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=14624 CPUtime=282.24 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 4538 0 0 0 28210 14 0 0 20 0 1 0 317023732 14974976 3158 33554432000 134512640 134579096 4289262128 4289260928 134528574 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 3656 3158 229 17 0 2962 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14624
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 8137
/proc/meminfo: memFree=29387580/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=14624 CPUtime=342.24 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 4539 0 0 0 34206 18 0 0 20 0 1 0 317023732 14974976 3158 33554432000 134512640 134579096 4289262128 4289260976 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 3656 3158 229 17 0 2962 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 14624
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 8137
/proc/meminfo: memFree=29387580/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=14668 CPUtime=402.23 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 4604 0 0 0 40203 20 0 0 20 0 1 0 317023732 15020032 3169 33554432000 134512640 134579096 4289262128 4289260976 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 3667 3169 229 17 0 2973 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 14668
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 8140
/proc/meminfo: memFree=29386324/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=15892 CPUtime=462.22 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 5009 0 0 0 46199 23 0 0 20 0 1 0 317023732 16273408 3447 33554432000 134512640 134579096 4289262128 4289260928 134528556 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 3973 3447 229 17 0 3279 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 15892
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/175 8140
/proc/meminfo: memFree=29386588/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=15892 CPUtime=522.21 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 5013 0 0 0 52195 26 0 0 20 0 1 0 317023732 16273408 3451 33554432000 134512640 134579096 4289262128 4289261100 3126320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 3973 3451 229 17 0 3279 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 15892
[startup+582.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/175 8140
/proc/meminfo: memFree=29386216/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=16108 CPUtime=582.2 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 5160 0 0 0 58192 28 0 0 20 0 1 0 317023732 16494592 3529 33554432000 134512640 134579096 4289262128 4289260976 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4027 3529 229 17 0 3333 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 16108
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29390504/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=16868 CPUtime=882.15 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6019 0 0 0 88177 38 0 0 20 0 1 0 317023732 17272832 3703 33554432000 134512640 134579096 4289262128 4289260976 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4217 3703 229 17 0 3523 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 16868
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 8190
/proc/meminfo: memFree=29390752/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=16868 CPUtime=942.14 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6019 0 0 0 94174 40 0 0 20 0 1 0 317023732 17272832 3703 33554432000 134512640 134579096 4289262128 4289260976 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4217 3703 229 17 0 3523 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 16868
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/175 8190
/proc/meminfo: memFree=29389140/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18384 CPUtime=1002.13 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6402 0 0 0 100171 42 0 0 20 0 1 0 317023732 18825216 4086 33554432000 134512640 134579096 4289262128 4289261100 3126320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4596 4086 229 17 0 3902 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 18384
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/176 8193
/proc/meminfo: memFree=29388480/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18748 CPUtime=1062.12 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6528 0 0 0 106168 44 0 0 20 0 1 0 317023732 19197952 4172 33554432000 134512640 134579096 4289262128 4289260976 134527729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4687 4172 229 17 0 3993 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 18748
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8193
/proc/meminfo: memFree=29388332/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18764 CPUtime=1122.11 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 112166 45 0 0 20 0 1 0 317023732 19214336 4193 33554432000 134512640 134579096 4289262128 4289260976 134527824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4691 4193 229 17 0 3997 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 18764
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8193
/proc/meminfo: memFree=29388208/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18764 CPUtime=1182.11 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 118164 47 0 0 20 0 1 0 317023732 19214336 4193 33554432000 134512640 134579096 4289262128 4289260976 134527815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4691 4193 229 17 0 3997 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 18764
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/174 8193
/proc/meminfo: memFree=29388092/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18764 CPUtime=1242.1 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 124162 48 0 0 20 0 1 0 317023732 19214336 4193 33554432000 134512640 134579096 4289262128 4289260976 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4691 4193 229 17 0 3997 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 18764
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8194
/proc/meminfo: memFree=29387836/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18764 CPUtime=1302.1 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 130160 50 0 0 20 0 1 0 317023732 19214336 4193 33554432000 134512640 134579096 4289262128 4289261100 3126320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4691 4193 229 17 0 3997 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 18764
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8194
/proc/meminfo: memFree=29388208/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18764 CPUtime=1362.08 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 136156 52 0 0 20 0 1 0 317023732 19214336 4193 33554432000 134512640 134579096 4289262128 4289260976 134527978 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4691 4193 229 17 0 3997 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 18764
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8194
/proc/meminfo: memFree=29388332/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18764 CPUtime=1422.08 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 142154 54 0 0 20 0 1 0 317023732 19214336 4193 33554432000 134512640 134579096 4289262128 4289260976 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4691 4193 229 17 0 3997 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 18764
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8194
/proc/meminfo: memFree=29388208/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18764 CPUtime=1482.06 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 148150 56 0 0 20 0 1 0 317023732 19214336 4193 33554432000 134512640 134579096 4289262128 4289261100 3126320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4691 4193 229 17 0 3997 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 18764
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8194
/proc/meminfo: memFree=29387960/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18764 CPUtime=1542.05 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 154148 57 0 0 20 0 1 0 317023732 19214336 4193 33554432000 134512640 134579096 4289262128 4289260976 134527818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4691 4193 229 17 0 3997 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 18764
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8195
/proc/meminfo: memFree=29388084/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18748 CPUtime=1602.04 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 160146 58 0 0 20 0 1 0 317023732 19197952 4189 33554432000 134512640 134579096 4289262128 4289260976 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4687 4189 229 17 0 3993 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 18748
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/176 8198
/proc/meminfo: memFree=29387696/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=18748 CPUtime=1662.03 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6641 0 0 0 166143 60 0 0 20 0 1 0 317023732 19197952 4189 33554432000 134512640 134579096 4289262128 4289260976 134528058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4687 4189 229 17 0 3993 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 18748
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/175 8198
/proc/meminfo: memFree=29387464/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=19140 CPUtime=1722.03 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6864 0 0 0 172140 63 0 0 20 0 1 0 317023732 19599360 4287 33554432000 134512640 134579096 4289262128 4289261036 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4785 4287 229 17 0 4091 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 19140
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/175 8198
/proc/meminfo: memFree=29386968/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=19516 CPUtime=1782.01 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6973 0 0 0 178137 64 0 0 20 0 1 0 317023732 19984384 4381 33554432000 134512640 134579096 4289262128 4289260976 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4879 4381 229 17 0 4185 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 19516
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.01 2.00 1.93 3/175 8198
/proc/meminfo: memFree=29386968/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=19516 CPUtime=1782.41 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6973 0 0 0 178177 64 0 0 20 0 1 0 317023732 19984384 4381 33554432000 134512640 134579096 4289262128 4289261100 3126320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4879 4381 229 17 0 4185 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 19516
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8198
/proc/meminfo: memFree=29386968/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=19516 CPUtime=1782.82 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6973 0 0 0 178218 64 0 0 20 0 1 0 317023732 19984384 4381 33554432000 134512640 134579096 4289262128 4289260976 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4879 4381 229 17 0 4185 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 19516
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 8198
/proc/meminfo: memFree=29386968/32873844 swapFree=6088/6088
[pid=8134] ppid=8132 vsize=19516 CPUtime=1782.91 cores=1,3,5,7
/proc/8134/stat : 8134 (Pueblo) R 8132 8134 7644 0 -1 4202496 6973 0 0 0 178227 64 0 0 20 0 1 0 317023732 19984384 4381 33554432000 134512640 134579096 4289262128 4289260976 134528058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8134/statm: 4879 4381 229 17 0 4185 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 19516
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783.01
CPU user time (s): 1782.36
CPU system time (s): 0.648901
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 19676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.36
system time used= 0.648901
maximum resident set size= 17584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6978
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= 12
involuntary context switches= 1834
runsolver used 7.12792 second user time and 15.7016 second system time
The end