Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.04 | 1800.66 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit1p.opb |
MD5SUM | 85f7c2e2894ed59f685fa11d94ed0974 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10627584 |
Best CPU time to get the best result obtained on this benchmark | 1803.45 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10627584 |
Optimality of the best value was proved | NO |
Number of variables | 45485 |
Total number of constraints | 1026 |
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 | 1026 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 619 |
Number of terms in the objective function | 30780 |
Biggest coefficient in the objective function | 1610612736 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 1591285381686 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 59431609958400 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 209844586667159 |
Number of bits of the biggest sum of numbers | 48 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 4.68 c Initial problem consists of 45485 variables and 1653 constraints. 5.16 c No problem reductions applied in OPT. instance. 5.16 c preprocess terminated. Elapsed time: 5.146 5.16 c After prepocess the problem consists of 45444 variables and 1653 constraints. 5.16 c Initial Lower Bound: 0 8.61 c Restart #1 #Var: 45444 LB: 0 @ 8.595 14.21 c Restart #2 #Var: 45444 LB: 0 @ 14.195 22.53 c Restart #3 #Var: 45444 LB: 0 @ 22.506 33.33 c Restart #4 #Var: 45444 LB: 0 @ 33.304 46.45 c Restart #5 #Var: 45444 LB: 0 @ 46.422 61.70 c Restart #6 #Var: 45444 LB: 0 @ 61.665 79.06 c Restart #7 #Var: 45444 LB: 0 @ 79.022 95.14 c Restart #8 #Var: 45444 LB: 0 @ 95.099 115.39 c Restart #9 #Var: 45444 LB: 0 @ 115.34 136.55 c Restart #10 #Var: 45444 LB: 0 @ 136.49 153.92 c Restart #11 #Var: 45444 LB: 0 @ 153.86 175.54 c Restart #12 #Var: 45444 LB: 0 @ 175.47 179.20 c Restart #13 #Var: 45444 LB: 0 @ 179.13 201.58 c Restart #14 #Var: 45444 LB: 0 @ 201.51 221.54 c Restart #15 #Var: 45444 LB: 0 @ 221.47 239.88 c Restart #16 #Var: 45444 LB: 0 @ 239.8 265.98 c Restart #17 #Var: 45444 LB: 0 @ 265.89 297.42 c Restart #18 #Var: 45444 LB: 0 @ 297.32 331.08 c Restart #19 #Var: 45444 LB: 0 @ 330.97 366.96 c Restart #20 #Var: 45444 LB: 0 @ 366.85 368.81 c Restart #21 #Var: 45444 LB: 0 @ 368.69 380.94 c Restart #22 #Var: 45444 LB: 0 @ 380.82 414.90 c Restart #23 #Var: 45444 LB: 0 @ 414.77 445.38 c Restart #24 #Var: 45444 LB: 0 @ 445.24 462.57 c Restart #25 #Var: 45444 LB: 0 @ 462.43 488.59 c Restart #26 #Var: 45444 LB: 0 @ 488.44 526.05 c Restart #27 #Var: 45444 LB: 0 @ 525.89 532.60 c Restart #28 #Var: 45444 LB: 0 @ 532.43 578.36 c Restart #29 #Var: 45444 LB: 0 @ 578.18 585.37 c Restart #30 #Var: 45442 LB: 0 @ 585.19 613.82 c Restart #31 #Var: 45442 LB: 0 @ 613.64 653.72 c Restart #32 #Var: 45442 LB: 0 @ 653.52 682.15 c Restart #33 #Var: 45442 LB: 0 @ 681.94 727.21 c Restart #34 #Var: 45442 LB: 0 @ 726.99 788.22 c Restart #35 #Var: 45442 LB: 0 @ 787.98 855.64 c Restart #36 #Var: 45442 LB: 0 @ 855.38 922.18 c CHANGE Heuristic... 922.18 c Restart #0 #Var: 45442 LB: 0 @ 921.91 924.87 c Restart #1 #Var: 45442 LB: 0 @ 924.59 930.98 c Restart #2 #Var: 45441 LB: 0 @ 930.7 937.51 c Restart #3 #Var: 45441 LB: 0 @ 937.24 945.68 c Restart #4 #Var: 45441 LB: 0 @ 945.4 954.32 c Restart #5 #Var: 45441 LB: 0 @ 954.03 973.98 c Restart #6 #Var: 45441 LB: 0 @ 973.7 986.99 c Restart #7 #Var: 45440 LB: 0 @ 986.7 998.84 c Restart #8 #Var: 45440 LB: 0 @ 998.55 1007.20 c Restart #9 #Var: 45440 LB: 0 @ 1006.9 1023.28 c Restart #10 #Var: 45440 LB: 0 @ 1023 1043.71 c Restart #11 #Var: 45440 LB: 0 @ 1043.4 1058.76 c Restart #12 #Var: 45440 LB: 0 @ 1058.4 1083.77 c Restart #13 #Var: 45440 LB: 0 @ 1083.4 1093.56 c Restart #14 #Var: 45440 LB: 0 @ 1093.2 1118.39 c Restart #15 #Var: 45440 LB: 0 @ 1118.1 1132.74 c Restart #16 #Var: 45440 LB: 0 @ 1132.4 1146.80 c Restart #17 #Var: 45440 LB: 0 @ 1146.5 1181.90 c Restart #18 #Var: 45440 LB: 0 @ 1181.6 1207.40 c Restart #19 #Var: 45440 LB: 0 @ 1207.1 1242.64 c Restart #20 #Var: 45440 LB: 0 @ 1242.3 1295.46 c Restart #21 #Var: 45440 LB: 0 @ 1295.1 1313.18 c Restart #22 #Var: 45440 LB: 0 @ 1312.8 1356.08 c Restart #23 #Var: 45440 LB: 0 @ 1355.7 1390.27 c Restart #24 #Var: 45440 LB: 0 @ 1389.9 1392.60 c Restart #25 #Var: 45440 LB: 0 @ 1392.2 1436.82 c Restart #26 #Var: 45440 LB: 0 @ 1436.4 1487.85 c Restart #27 #Var: 45440 LB: 0 @ 1487.4 1511.89 c Restart #28 #Var: 45440 LB: 0 @ 1511.5 1594.80 c Restart #29 #Var: 45440 LB: 0 @ 1594.3 1623.35 c Restart #30 #Var: 45440 LB: 0 @ 1622.9 1673.82 c Restart #31 #Var: 45440 LB: 0 @ 1673.2 1707.89 c Restart #32 #Var: 45440 LB: 0 @ 1707.3 1760.24 c Restart #33 #Var: 45440 LB: 0 @ 1759.6 1766.70 c Restart #34 #Var: 45440 LB: 0 @ 1766.1 1771.81 c Restart #35 #Var: 45440 LB: 0 @ 1771.2 1800.63 s UNKNOWN 1800.63 c Exit Code: 0 1800.63 c Total time: 1800 s
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-40625-1149309237 -o ROOT/results/node77/solver-40625-1149309237 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/40625-1149309237/instance-40625-1149309237.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1461088/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=2900 CPUtime=0 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 196562914 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1463220 0 0 4096 0 0 0 0 17 1 0 0 /proc/5128/statm: 725 27 19 55 0 38 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377760/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=9.98 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499488 0 0 0 860 138 0 0 25 0 1 0 196562914 91213824 21068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21068 293 55 0 21160 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 89076 [startup+20.0088 s] /proc/loadavg: 0.94 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377888/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=19.97 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499491 0 0 0 1848 149 0 0 25 0 1 0 196562914 91213824 21071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21071 293 55 0 21160 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 89076 [startup+30.0151 s] /proc/loadavg: 0.95 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377952/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=29.99 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499495 0 0 0 2837 162 0 0 25 0 1 0 196562914 91213824 21075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21075 293 55 0 21160 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 89076 [startup+40.0213 s] /proc/loadavg: 0.95 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=39.99 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499501 0 0 0 3823 176 0 0 25 0 1 0 196562914 91213824 21081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21081 293 55 0 21160 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 89076 [startup+50.0276 s] /proc/loadavg: 0.96 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=49.99 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499501 0 0 0 4812 187 0 0 25 0 1 0 196562914 91213824 21081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21081 293 55 0 21160 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 89076 [startup+60.0328 s] /proc/loadavg: 0.97 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=59.99 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499501 0 0 0 5799 200 0 0 25 0 1 0 196562914 91213824 21081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21081 293 55 0 21160 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 89076 [startup+70.038 s] /proc/loadavg: 0.97 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=69.99 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499501 0 0 0 6786 213 0 0 25 0 1 0 196562914 91213824 21081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21081 293 55 0 21160 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 89076 [startup+80.0443 s] /proc/loadavg: 0.98 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=79.99 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499503 0 0 0 7774 225 0 0 25 0 1 0 196562914 91213824 21083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21083 293 55 0 21160 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 89076 [startup+90.0505 s] /proc/loadavg: 0.98 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=90 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499505 0 0 0 8766 234 0 0 25 0 1 0 196562914 91213824 21085 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21085 293 55 0 21160 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 89076 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=100 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499506 0 0 0 9756 244 0 0 25 0 1 0 196562914 91213824 21086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21086 293 55 0 21160 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 89076 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378080/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=110.01 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499506 0 0 0 10748 253 0 0 25 0 1 0 196562914 91213824 21086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21086 293 55 0 21160 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 89076 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378080/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=120.02 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499506 0 0 0 11738 264 0 0 25 0 1 0 196562914 91213824 21086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21086 293 55 0 21160 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 89076 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89200 CPUtime=130.02 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499532 0 0 0 12722 280 0 0 25 0 1 0 196562914 91340800 21112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22300 21112 293 55 0 21191 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 89200 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377952/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=140.01 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499551 0 0 0 13720 281 0 0 25 0 1 0 196562914 91213824 21087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21087 293 55 0 21160 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 89076 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377952/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=150.02 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499551 0 0 0 14720 282 0 0 25 0 1 0 196562914 91213824 21087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21087 293 55 0 21160 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 89076 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377952/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89076 CPUtime=160.02 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499551 0 0 0 15712 290 0 0 25 0 1 0 196562914 91213824 21087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22269 21087 293 55 0 21160 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 89076 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377952/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89204 CPUtime=170.02 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499561 0 0 0 16709 293 0 0 25 0 1 0 196562914 91344896 21097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22301 21097 293 55 0 21192 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 89204 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377952/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89104 CPUtime=180.03 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499587 0 0 0 17707 296 0 0 25 0 1 0 196562914 91242496 21094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22276 21094 293 55 0 21167 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 89104 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377952/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89104 CPUtime=190.03 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499587 0 0 0 18707 296 0 0 25 0 1 0 196562914 91242496 21094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22276 21094 293 55 0 21167 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 89104 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1377952/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=89104 CPUtime=200.04 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 499587 0 0 0 19708 296 0 0 25 0 1 0 196562914 91242496 21094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 22276 21094 293 55 0 21167 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 89104 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5128 /proc/meminfo: memFree=1378016/2055892 swapFree=4085336/4096564 ################ # More data... # ################ /proc/5128/statm: 34092 32963 293 55 0 32983 0 Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 136368 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137264 CPUtime=1770.47 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512095 0 0 0 176700 347 0 0 25 0 1 0 196562914 140558336 33168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34316 33168 293 55 0 33207 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 137264 [startup+1781.09 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1780.47 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 177699 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 137104 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1781.48 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 177800 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 137104 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1782.48 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 177900 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 137104 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1783.48 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178000 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 137104 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1784.49 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178101 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 137104 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1785.49 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178201 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 137104 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1786.5 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178302 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 137104 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1787.5 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178402 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 137104 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1788.5 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178502 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 137104 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1789.51 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178603 348 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134531464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 137104 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1790.52 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178703 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 137104 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1791.53 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178804 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 137104 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1792.53 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 178904 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 137104 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1793.54 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 179005 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 137104 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1794.54 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 179105 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 137104 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1795.55 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 179206 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 137104 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1796.55 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 179306 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 137104 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1797.55 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 179406 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 137104 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1798.56 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 179507 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 137104 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.96 2/67 5325 /proc/meminfo: memFree=1329504/2055892 swapFree=4085336/4096564 [pid=5128] ppid=5126 vsize=137104 CPUtime=1799.56 /proc/5128/stat : 5128 (bsolo) R 5126 5128 5082 0 -1 0 512096 0 0 0 179607 349 0 0 25 0 1 0 196562914 140394496 33147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5128/statm: 34276 33147 293 55 0 33167 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 137104 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.04 CPU user time (s): 1796.53 CPU system time (s): 3.50947 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (Kb): 137264
Begin job on node77 on Sat Jun 3 04:33:57 UTC 2006 FILE ID= 40625-1149309237 PBS_JOBID= 307815 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/40625-1149309237/instance-40625-1149309237.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-40625-1149309237 -o ROOT/results/node77/solver-40625-1149309237 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node77/40625-1149309237/instance-40625-1149309237.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 85f7c2e2894ed59f685fa11d94ed0974 RANDOM SEED= 899665720 /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: 1461488 kB Buffers: 38840 kB Cached: 486808 kB SwapCached: 2644 kB Active: 115056 kB Inactive: 419488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1461488 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 188 kB Writeback: 0 kB Mapped: 16132 kB Slab: 46612 kB Committed_AS: 296972 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 05:03:58 UTC 2006