Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.6 | 1801.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb |
MD5SUM | 33434aafd8d2cc52b903fb501d38927b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14036 |
Total number of constraints | 600 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1523 |
Number of terms in the objective function | 13946 |
Biggest coefficient in the objective function | 1187 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 535685 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262020 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535685 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.28 c starting to Solve 0.28 c #variables read: 14036 - #constraints read: 701
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-37698-1149349767 -o ROOT/results/node13/solver-37698-1149349767 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node13/37698-1149349767/instance-37698-1149349767.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1884312/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=2280 CPUtime=0 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 200639347 2334720 152 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4160404688 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 570 164 142 16 0 11 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1874536/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=12292 CPUtime=10 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 2683 0 0 0 998 2 0 0 25 0 1 0 200639347 12587008 2654 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 3073 2654 206 16 0 2514 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 12292 [startup+20.0085 s] /proc/loadavg: 0.94 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1862128/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=24704 CPUtime=19.99 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 5782 0 0 0 1996 3 0 0 25 0 1 0 200639347 25296896 5753 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 6176 5753 206 16 0 5617 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 24704 [startup+30.0148 s] /proc/loadavg: 0.95 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1862128/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=24704 CPUtime=30 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 5782 0 0 0 2997 3 0 0 25 0 1 0 200639347 25296896 5753 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 6176 5753 206 16 0 5617 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 24704 [startup+40.0212 s] /proc/loadavg: 0.95 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1856304/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=30536 CPUtime=40 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 7239 0 0 0 3996 4 0 0 25 0 1 0 200639347 31268864 7210 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 7634 7210 206 16 0 7075 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 30536 [startup+50.0285 s] /proc/loadavg: 0.96 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1856304/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=30388 CPUtime=50.01 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 7239 0 0 0 4997 4 0 0 25 0 1 0 200639347 31117312 7180 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517505 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 7597 7180 206 16 0 7038 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 30388 [startup+60.0339 s] /proc/loadavg: 0.97 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1856304/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=30388 CPUtime=60.01 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 7239 0 0 0 5997 4 0 0 25 0 1 0 200639347 31117312 7180 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 7597 7180 206 16 0 7038 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 30388 [startup+70.0402 s] /proc/loadavg: 0.97 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1856304/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=30388 CPUtime=70.01 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 7239 0 0 0 6997 4 0 0 25 0 1 0 200639347 31117312 7180 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527321 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 7597 7180 206 16 0 7038 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 30388 [startup+80.0466 s] /proc/loadavg: 0.98 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1851824/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=35060 CPUtime=80.01 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8378 0 0 0 7997 4 0 0 25 0 1 0 200639347 35901440 8319 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 8765 8319 206 16 0 8206 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 35060 [startup+90.0529 s] /proc/loadavg: 0.98 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1850928/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=35928 CPUtime=90.01 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8594 0 0 0 8997 4 0 0 25 0 1 0 200639347 36790272 8535 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 8982 8535 206 16 0 8423 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 35928 [startup+100.059 s] /proc/loadavg: 0.98 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1850992/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=35928 CPUtime=100.01 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8594 0 0 0 9997 4 0 0 25 0 1 0 200639347 36790272 8535 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 8982 8535 206 16 0 8423 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 35928 [startup+110.067 s] /proc/loadavg: 0.98 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849968/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36796 CPUtime=110.02 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8836 0 0 0 10998 4 0 0 25 0 1 0 200639347 37679104 8777 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9199 8777 206 16 0 8640 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 36796 [startup+120.073 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849968/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36796 CPUtime=120.02 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8836 0 0 0 11998 4 0 0 25 0 1 0 200639347 37679104 8777 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9199 8777 206 16 0 8640 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 36796 [startup+130.079 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849968/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36796 CPUtime=130.03 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8837 0 0 0 12999 4 0 0 25 0 1 0 200639347 37679104 8778 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9199 8778 206 16 0 8640 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 36796 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849968/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36796 CPUtime=140.03 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8837 0 0 0 13999 4 0 0 25 0 1 0 200639347 37679104 8778 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9199 8778 206 16 0 8640 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 36796 [startup+150.092 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849968/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36796 CPUtime=150.03 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8837 0 0 0 14999 4 0 0 25 0 1 0 200639347 37679104 8778 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528057 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9199 8778 206 16 0 8640 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 36796 [startup+160.098 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849968/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36796 CPUtime=160.03 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8837 0 0 0 15999 4 0 0 25 0 1 0 200639347 37679104 8778 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528220 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9199 8778 206 16 0 8640 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 36796 [startup+170.105 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849968/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36796 CPUtime=170.04 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8837 0 0 0 17000 4 0 0 25 0 1 0 200639347 37679104 8778 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9199 8778 206 16 0 8640 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 36796 [startup+180.11 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849840/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36920 CPUtime=180.05 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8862 0 0 0 18000 5 0 0 25 0 1 0 200639347 37806080 8803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9230 8803 206 16 0 8671 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 36920 [startup+190.116 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849840/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36920 CPUtime=190.05 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8862 0 0 0 19000 5 0 0 25 0 1 0 200639347 37806080 8803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9230 8803 206 16 0 8671 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 36920 [startup+200.123 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1849840/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=36796 CPUtime=200.06 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 8862 0 0 0 20001 5 0 0 25 0 1 0 200639347 37679104 8782 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 9199 8782 206 16 0 8640 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 36796 [startup+210.129 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29073 /proc/meminfo: memFree=1848816/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178141 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (Kb) 52316 [startup+1783.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1782.5 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178242 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 52316 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1783.5 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178342 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 52316 [startup+1785.13 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1784.5 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178442 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 52316 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1785.51 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178543 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 52316 [startup+1787.14 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1786.51 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178643 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 52316 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1787.52 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178744 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527969 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 52316 [startup+1789.15 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1788.52 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178844 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 52316 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1789.53 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 178945 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 52316 [startup+1791.16 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1790.53 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179045 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 52316 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1791.54 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179146 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (Kb) 52316 [startup+1793.17 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1792.54 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179246 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 52316 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1793.55 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179347 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (Kb) 52316 [startup+1795.18 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1794.55 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179447 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527841 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 52316 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1795.56 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179548 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (Kb) 52316 [startup+1797.19 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1796.56 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179648 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 52316 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1797.56 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179748 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 12312717 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 52316 [startup+1799.2 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1798.57 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179849 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1798.57 Current children cumulated vsize (Kb) 52316 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1799.57 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 179949 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 52316 [startup+1801.21 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1800.58 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 180050 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 52316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.95 2/64 29268 /proc/meminfo: memFree=1833720/2055920 swapFree=4181416/4192956 [pid=29073] ppid=29071 vsize=52316 CPUtime=1800.58 /proc/29073/stat : 29073 (Pueblo13) R 29071 29073 29027 0 -1 4194304 13536 0 0 0 180050 8 0 0 25 0 1 0 200639347 53571584 12659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/29073/statm: 13079 12659 206 16 0 12520 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 52316 Sending SIGTERM to -29073 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.6 CPU user time (s): 1800.51 CPU system time (s): 0.092985 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (Kb): 53652 The end
Begin job on node13 on Sat Jun 3 15:49:27 UTC 2006 FILE ID= 37698-1149349767 PBS_JOBID= 310922 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node13/37698-1149349767/instance-37698-1149349767.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-37698-1149349767 -o ROOT/results/node13/solver-37698-1149349767 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node13/37698-1149349767/instance-37698-1149349767.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 33434aafd8d2cc52b903fb501d38927b RANDOM SEED= 750824794 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1884520 kB Buffers: 9564 kB Cached: 104820 kB SwapCached: 2848 kB Active: 41080 kB Inactive: 81616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1884520 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14664 kB Slab: 34648 kB Committed_AS: 361412 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Sat Jun 3 16:19:29 UTC 2006