Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.68 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb |
MD5SUM | 2fc9de6105f21066ef788431e0787cd8 |
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 | 9060 |
Total number of constraints | 429 |
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 | 429 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 6930 |
Biggest coefficient in the objective function | 3308 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 529735 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 529735 |
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.37 c starting to Solve 0.37 c #variables read: 9060 - #constraints read: 490
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/node77/watcher-36504-1149339813 -o ROOT/results/node77/solver-36504-1149339813 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36504-1149339813/instance-36504-1149339813.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1386600/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=2332 CPUtime=0 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 67 0 0 0 0 0 0 0 18 0 1 0 199620556 2387968 52 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1445860 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 584 61 49 16 0 11 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378288/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11192 CPUtime=9.99 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2318 0 0 0 998 1 0 0 25 0 1 0 199620556 11460608 2290 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2798 2290 206 16 0 2238 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 11192 [startup+20.0085 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378352/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11128 CPUtime=20 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2318 0 0 0 1999 1 0 0 25 0 1 0 199620556 11395072 2284 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2782 2284 206 16 0 2222 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 11128 [startup+30.0138 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378352/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11128 CPUtime=30 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2318 0 0 0 2999 1 0 0 25 0 1 0 199620556 11395072 2284 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2782 2284 206 16 0 2222 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 11128 [startup+40.019 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378416/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11128 CPUtime=40 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2318 0 0 0 3999 1 0 0 25 0 1 0 199620556 11395072 2284 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2782 2284 206 16 0 2222 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 11128 [startup+50.0252 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378416/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11128 CPUtime=50 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2318 0 0 0 4999 1 0 0 25 0 1 0 199620556 11395072 2284 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2782 2284 206 16 0 2222 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11128 [startup+60.0315 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378480/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11128 CPUtime=60.01 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2318 0 0 0 6000 1 0 0 25 0 1 0 199620556 11395072 2284 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2782 2284 206 16 0 2222 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 11128 [startup+70.0377 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378416/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11256 CPUtime=70.01 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2330 0 0 0 7000 1 0 0 25 0 1 0 199620556 11526144 2296 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2814 2296 206 16 0 2254 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 11256 [startup+80.045 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378352/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11256 CPUtime=80.02 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2342 0 0 0 8001 1 0 0 25 0 1 0 199620556 11526144 2308 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2814 2308 206 16 0 2254 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 11256 [startup+90.0502 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378352/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11256 CPUtime=90.02 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2344 0 0 0 9001 1 0 0 25 0 1 0 199620556 11526144 2310 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2814 2310 206 16 0 2254 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 11256 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378352/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11256 CPUtime=100.02 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2344 0 0 0 10001 1 0 0 25 0 1 0 199620556 11526144 2310 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2814 2310 206 16 0 2254 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 11256 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378288/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11384 CPUtime=110.03 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2354 0 0 0 11002 1 0 0 25 0 1 0 199620556 11657216 2320 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2846 2320 206 16 0 2286 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 11384 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378160/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=120.03 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2388 0 0 0 12002 1 0 0 25 0 1 0 199620556 11788288 2354 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2354 206 16 0 2318 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 11512 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378160/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=130.03 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2388 0 0 0 13002 1 0 0 25 0 1 0 199620556 11788288 2354 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2354 206 16 0 2318 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 11512 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378160/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=140.04 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2388 0 0 0 14003 1 0 0 25 0 1 0 199620556 11788288 2354 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2354 206 16 0 2318 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 11512 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378160/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=150.04 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2388 0 0 0 15003 1 0 0 25 0 1 0 199620556 11788288 2354 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2354 206 16 0 2318 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 11512 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378160/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=160.04 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2395 0 0 0 16003 1 0 0 25 0 1 0 199620556 11788288 2361 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527998 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2361 206 16 0 2318 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 11512 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378160/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=170.05 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2395 0 0 0 17004 1 0 0 25 0 1 0 199620556 11788288 2361 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528607 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2361 206 16 0 2318 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 11512 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378160/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=180.05 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2395 0 0 0 18004 1 0 0 25 0 1 0 199620556 11788288 2361 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2361 206 16 0 2318 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 11512 [startup+190.112 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378160/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=190.05 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2395 0 0 0 19004 1 0 0 25 0 1 0 199620556 11788288 2361 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2361 206 16 0 2318 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 11512 [startup+200.118 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1378096/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=11512 CPUtime=200.06 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2411 0 0 0 20005 1 0 0 25 0 1 0 199620556 11788288 2377 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 2878 2377 206 16 0 2318 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 11512 [startup+210.124 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1377904/2055892 swapFree=4085336/4096564 ################ # More data... # ################ /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178157 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134516734 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 13308 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1782.58 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178257 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 13308 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1783.59 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178358 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 13308 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1784.59 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178458 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558603 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 13308 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1785.6 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178559 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 13308 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1786.6 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178659 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 13308 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1787.61 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178760 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 13308 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1788.61 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178860 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528104 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 13308 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1789.62 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 178961 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 13308 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1790.62 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179061 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 13308 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1791.62 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179161 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1896789 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 13308 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1792.63 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179262 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528544 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 13308 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1793.63 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179362 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 13308 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1794.64 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179463 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 13308 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1795.64 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179563 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 13308 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1796.65 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179664 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 13308 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1797.65 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179764 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 13308 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1798.66 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179865 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 13308 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1799.66 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 179965 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 13308 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1800.66 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 180065 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 13308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/67 8340 /proc/meminfo: memFree=1376176/2055892 swapFree=4085336/4096564 [pid=8340] ppid=8338 vsize=13308 CPUtime=1800.67 /proc/8340/stat : 8340 (Pueblo) R 8338 8340 8294 0 -1 4194304 2865 0 0 0 180066 1 0 0 25 0 1 0 199620556 13627392 2828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/8340/statm: 3327 2828 206 16 0 2767 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 13308 Sending SIGTERM to -8340 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.68 CPU user time (s): 1800.66 CPU system time (s): 0.013997 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (Kb): 13308 The end
Begin job on node77 on Sat Jun 3 13:03:34 UTC 2006 FILE ID= 36504-1149339813 PBS_JOBID= 310352 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36504-1149339813/instance-36504-1149339813.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-36504-1149339813 -o ROOT/results/node77/solver-36504-1149339813 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36504-1149339813/instance-36504-1149339813.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 2fc9de6105f21066ef788431e0787cd8 RANDOM SEED= 922874303 /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.238 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 : 6006.16 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.238 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1386808 kB Buffers: 40208 kB Cached: 559356 kB SwapCached: 2644 kB Active: 114340 kB Inactive: 494100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1386808 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 180 kB Writeback: 0 kB Mapped: 16132 kB Slab: 47328 kB Committed_AS: 321796 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Sat Jun 3 13:33:35 UTC 2006