Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.21 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb |
MD5SUM | 7b9d3fef35f44b9f29a1eccedaaa362f |
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 | 366703 |
Total number of constraints | 6084 |
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 | 6084 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 187033 |
Biggest coefficient in the objective function | 1278 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 704610 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 704610 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 212.41 c Initial problem consists of 366703 variables and 12155 constraints. 213.75 c No problem reductions applied in OPT. instance. 213.75 c preprocess terminated. Elapsed time: 213.65 213.75 c After prepocess the problem consists of 266078 variables and 12155 constraints. 213.75 c Initial Lower Bound: 0 214.73 c Restart #1 #Var: 266078 LB: 0 @ 214.63 216.14 c Restart #2 #Var: 266078 LB: 0 @ 216.04 218.35 c Restart #3 #Var: 266078 LB: 0 @ 218.25 220.89 c Restart #4 #Var: 266078 LB: 0 @ 220.79 223.92 c Restart #5 #Var: 266078 LB: 0 @ 223.81 227.64 c Restart #6 #Var: 266078 LB: 0 @ 227.53 231.76 c Restart #7 #Var: 266078 LB: 0 @ 231.65 240.13 c Restart #8 #Var: 266078 LB: 0 @ 240.02 257.64 c Restart #9 #Var: 266078 LB: 0 @ 257.52 280.22 c Restart #10 #Var: 266078 LB: 0 @ 280.1 284.17 c Restart #11 #Var: 266078 LB: 0 @ 284.04 285.26 c Restart #12 #Var: 266078 LB: 0 @ 285.13 287.10 c Restart #13 #Var: 266078 LB: 0 @ 286.98 292.85 c Restart #14 #Var: 266078 LB: 0 @ 292.73 295.20 c Restart #15 #Var: 266078 LB: 0 @ 295.07 296.18 c Restart #16 #Var: 266078 LB: 0 @ 296.05 296.84 c Restart #17 #Var: 266072 LB: 0 @ 296.71 297.69 c Restart #18 #Var: 266072 LB: 0 @ 297.56 300.72 c Restart #19 #Var: 266064 LB: 0 @ 300.59 303.75 c Restart #20 #Var: 266064 LB: 0 @ 303.61 306.29 c Restart #21 #Var: 266062 LB: 0 @ 306.16 311.22 c Restart #22 #Var: 266062 LB: 0 @ 311.09 316.29 c Restart #23 #Var: 266062 LB: 0 @ 316.15 321.84 c Restart #24 #Var: 266062 LB: 0 @ 321.7 327.04 c Restart #25 #Var: 266062 LB: 0 @ 326.9 329.60 c Restart #26 #Var: 266062 LB: 0 @ 329.46 333.29 c Restart #27 #Var: 266029 LB: 0 @ 333.15 352.61 c Restart #28 #Var: 266029 LB: 0 @ 352.46 362.81 c Restart #29 #Var: 266029 LB: 0 @ 362.66 364.01 c Restart #30 #Var: 266014 LB: 0 @ 363.85 367.46 c Restart #31 #Var: 266014 LB: 0 @ 367.3 373.76 c Restart #32 #Var: 266014 LB: 0 @ 373.61 376.16 c Restart #33 #Var: 266014 LB: 0 @ 376 381.67 c Restart #34 #Var: 266009 LB: 0 @ 381.51 384.07 c Restart #35 #Var: 266009 LB: 0 @ 383.91 402.52 c Restart #36 #Var: 265945 LB: 0 @ 402.35 405.68 c Restart #37 #Var: 265945 LB: 0 @ 405.51 408.56 c Restart #38 #Var: 265944 LB: 0 @ 408.39 432.23 c Restart #39 #Var: 265904 LB: 0 @ 432.06 440.36 c Restart #40 #Var: 265904 LB: 0 @ 440.18 447.61 c Restart #41 #Var: 265881 LB: 0 @ 447.43 471.68 c Restart #42 #Var: 265881 LB: 0 @ 471.49 486.70 c Restart #43 #Var: 265858 LB: 0 @ 486.5 506.69 c Restart #44 #Var: 265851 LB: 0 @ 506.49 517.84 c Restart #45 #Var: 265835 LB: 0 @ 517.63 534.77 c Restart #46 #Var: 265832 LB: 0 @ 534.56 550.33 c Restart #47 #Var: 265830 LB: 0 @ 550.12 580.80 c Restart #48 #Var: 265746 LB: 0 @ 580.57 585.85 c Restart #49 #Var: 265687 LB: 0 @ 585.62 600.52 c Restart #50 #Var: 265686 LB: 0 @ 600.28 614.69 c Restart #51 #Var: 265685 LB: 0 @ 614.45 647.42 c Restart #52 #Var: 265685 LB: 0 @ 647.17 679.66 c Restart #53 #Var: 265635 LB: 0 @ 679.39 695.96 c Restart #54 #Var: 265563 LB: 0 @ 695.69 734.14 c Restart #55 #Var: 265547 LB: 0 @ 733.86 752.95 c Restart #56 #Var: 265545 LB: 0 @ 752.66 792.25 c Restart #57 #Var: 265472 LB: 0 @ 791.95 816.77 c Restart #58 #Var: 265376 LB: 0 @ 816.46 824.06 c Restart #59 #Var: 265376 LB: 0 @ 823.75 845.93 c Restart #60 #Var: 265338 LB: 0 @ 845.61 868.65 c Restart #61 #Var: 265338 LB: 0 @ 868.33 946.36 c CHANGE Heuristic... 946.36 c Restart #0 #Var: 265328 LB: 0 @ 946.01 946.42 c Restart #1 #Var: 265315 LB: 0 @ 946.06 946.45 c Restart #2 #Var: 265315 LB: 0 @ 946.09 946.51 c Restart #3 #Var: 265315 LB: 0 @ 946.15 946.57 c Restart #4 #Var: 265315 LB: 0 @ 946.21 946.66 c Restart #5 #Var: 265315 LB: 0 @ 946.31 946.79 c Restart #6 #Var: 265314 LB: 0 @ 946.44 947.05 c Restart #7 #Var: 265314 LB: 0 @ 946.69 947.44 c Restart #8 #Var: 265303 LB: 0 @ 947.09 950.06 c Restart #9 #Var: 265144 LB: 0 @ 949.71 951.92 c Restart #10 #Var: 265113 LB: 0 @ 951.57 952.71 c Restart #11 #Var: 265107 LB: 0 @ 952.35 953.74 c Restart #12 #Var: 265105 LB: 0 @ 953.39 954.40 c Restart #13 #Var: 265105 LB: 0 @ 954.04 955.95 c Restart #14 #Var: 265101 LB: 0 @ 955.59 961.09 c Restart #15 #Var: 265099 LB: 0 @ 960.73 962.43 c Restart #16 #Var: 265096 LB: 0 @ 962.07 963.92 c Restart #17 #Var: 265087 LB: 0 @ 963.56 966.35 c Restart #18 #Var: 265087 LB: 0 @ 965.99 968.10 c Restart #19 #Var: 265087 LB: 0 @ 967.74 970.97 c Restart #20 #Var: 265087 LB: 0 @ 970.6 972.97 c Restart #21 #Var: 265067 LB: 0 @ 972.61 974.28 c Restart #22 #Var: 265067 LB: 0 @ 973.91 977.52 c Restart #23 #Var: 265067 LB: 0 @ 977.15 979.20 c Restart #24 #Var: 265067 LB: 0 @ 978.84 982.27 c Restart #25 #Var: 265067 LB: 0 @ 981.9 984.59 c Restart #26 #Var: 265053 LB: 0 @ 984.22 989.47 c Restart #27 #Var: 265046 LB: 0 @ 989.1 993.94 c Restart #28 #Var: 265046 LB: 0 @ 993.57 997.28 c Restart #29 #Var: 265045 LB: 0 @ 996.91 1001.00 c Restart #30 #Var: 265042 LB: 0 @ 1000.6 1006.13 c Restart #31 #Var: 265042 LB: 0 @ 1005.8 1009.44 c Restart #32 #Var: 265033 LB: 0 @ 1009.1 1011.66 c Restart #33 #Var: 265033 LB: 0 @ 1011.3 1015.58 c Restart #34 #Var: 265033 LB: 0 @ 1015.2 1018.90 c Restart #35 #Var: 265033 LB: 0 @ 1018.5 1020.28 c Restart #36 #Var: 265019 LB: 0 @ 1019.9 1025.95 c Restart #37 #Var: 265017 LB: 0 @ 1025.6 1031.06 c Restart #38 #Var: 265017 LB: 0 @ 1030.7 1039.50 c Restart #39 #Var: 265017 LB: 0 @ 1039.1 1043.86 c Restart #40 #Var: 265017 LB: 0 @ 1043.5 1052.74 c Restart #41 #Var: 265017 LB: 0 @ 1052.4 1058.98 c Restart #42 #Var: 265017 LB: 0 @ 1058.6 1065.09 c Restart #43 #Var: 264972 LB: 0 @ 1064.7 1068.10 c Restart #44 #Var: 264972 LB: 0 @ 1067.7 1071.23 c Restart #45 #Var: 264972 LB: 0 @ 1070.8 1078.55 c Restart #46 #Var: 264972 LB: 0 @ 1078.2 1082.20 c Restart #47 #Var: 264959 LB: 0 @ 1081.8 1089.81 c Restart #48 #Var: 264959 LB: 0 @ 1089.4 1100.43 c Restart #49 #Var: 264958 LB: 0 @ 1100 1107.81 c Restart #50 #Var: 264956 LB: 0 @ 1107.4 1110.04 c Restart #51 #Var: 264956 LB: 0 @ 1109.6 1121.45 c Restart #52 #Var: 264955 LB: 0 @ 1121 1127.12 c Restart #53 #Var: 264955 LB: 0 @ 1126.7 1138.53 c Restart #54 #Var: 264954 LB: 0 @ 1138.1 1152.41 c Restart #55 #Var: 264953 LB: 0 @ 1152 1161.45 c Restart #56 #Var: 264951 LB: 0 @ 1161 1174.83 c Restart #57 #Var: 264949 LB: 0 @ 1174.4 1183.48 c Restart #58 #Var: 264949 LB: 0 @ 1183 1192.93 c Restart #59 #Var: 264948 LB: 0 @ 1192.5 1232.73 c Restart #60 #Var: 264948 LB: 0 @ 1232.3 1240.63 c Restart #61 #Var: 264948 LB: 0 @ 1240.2 1250.28 c Restart #62 #Var: 264948 LB: 0 @ 1249.8 1263.42 c Restart #63 #Var: 264948 LB: 0 @ 1263 1270.09 c Restart #64 #Var: 264948 LB: 0 @ 1269.6 1281.69 c Restart #65 #Var: 264948 LB: 0 @ 1281.2 1306.15 c Restart #66 #Var: 264948 LB: 0 @ 1305.7 1313.59 c Restart #67 #Var: 264948 LB: 0 @ 1313.1 1321.17 c Restart #68 #Var: 264948 LB: 0 @ 1320.7 1332.55 c Restart #69 #Var: 264942 LB: 0 @ 1332.1 1342.35 c Restart #70 #Var: 264941 LB: 0 @ 1341.9 1348.43 c Restart #71 #Var: 264941 LB: 0 @ 1347.9 1406.66 c Restart #72 #Var: 264941 LB: 0 @ 1406.2 1409.38 c Restart #73 #Var: 264941 LB: 0 @ 1408.9 1483.98 c Restart #74 #Var: 264941 LB: 0 @ 1483.4 1584.32 c Restart #75 #Var: 264941 LB: 0 @ 1583.7 1599.64 c Restart #76 #Var: 264926 LB: 0 @ 1599.1 1604.04 c Restart #77 #Var: 264926 LB: 0 @ 1603.5 1623.00 c Restart #78 #Var: 264925 LB: 0 @ 1622.4 1726.45 c Restart #79 #Var: 264925 LB: 0 @ 1725.8 1734.46 c Restart #80 #Var: 264882 LB: 0 @ 1733.8 1800.66 s UNKNOWN 1800.66 c Exit Code: 0 1800.66 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/node65/watcher-39969-1149343535 -o ROOT/results/node65/solver-39969-1149343535 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39969-1149343535/instance-39969-1149343535.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1760432/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=4928 CPUtime=0 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 336 0 0 0 0 0 0 0 18 0 1 0 200022980 5046272 301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6151895 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 1232 311 209 55 0 124 0 [startup+10.0019 s] /proc/loadavg: 0.93 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1744760/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=20828 CPUtime=9.98 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 2030872 0 0 0 457 541 0 0 25 0 1 0 200022980 21327872 4237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 5207 4246 277 55 0 4099 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 20828 [startup+20.0086 s] /proc/loadavg: 0.94 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1739000/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=27548 CPUtime=19.98 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 4127254 0 0 0 875 1123 0 0 25 0 1 0 200022980 28209152 5732 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 6887 5741 277 55 0 5779 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 27548 [startup+30.0152 s] /proc/loadavg: 0.95 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1734456/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=31740 CPUtime=29.98 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 6128240 0 0 0 1306 1692 0 0 25 0 1 0 200022980 32501760 6908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 7935 6914 287 55 0 6827 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 31740 [startup+40.0219 s] /proc/loadavg: 0.96 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1731632/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=35092 CPUtime=39.98 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 7973785 0 0 0 1734 2264 0 0 25 0 1 0 200022980 35934208 7737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 8773 7744 277 55 0 7665 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 35092 [startup+50.0285 s] /proc/loadavg: 0.96 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1728248/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=38048 CPUtime=49.98 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 9809796 0 0 0 2168 2830 0 0 24 0 1 0 200022980 38961152 8458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6652/statm: 9512 8462 277 55 0 8404 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 38048 [startup+60.0352 s] /proc/loadavg: 0.97 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1726136/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=40584 CPUtime=59.99 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 11595381 0 0 0 2598 3401 0 0 25 0 1 0 200022980 41558016 9219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 10146 9219 500 55 0 9038 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 40584 [startup+70.0418 s] /proc/loadavg: 0.97 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1723128/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=42832 CPUtime=69.98 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 13334502 0 0 0 3034 3964 0 0 25 0 1 0 200022980 43859968 9702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 10708 9709 277 55 0 9600 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 42832 [startup+80.0485 s] /proc/loadavg: 0.98 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1721400/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=44932 CPUtime=79.99 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 15043420 0 0 0 3464 4535 0 0 25 0 1 0 200022980 46010368 10343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 11233 10349 277 55 0 10125 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 44932 [startup+90.0541 s] /proc/loadavg: 0.98 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1719608/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=48868 CPUtime=89.99 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 16734917 0 0 0 3876 5123 0 0 25 0 1 0 200022980 50040832 10711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 12217 10719 277 55 0 11109 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 48868 [startup+100.06 s] /proc/loadavg: 0.98 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1716856/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=50796 CPUtime=99.99 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 18398398 0 0 0 4298 5701 0 0 25 0 1 0 200022980 52015104 11087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 12699 11095 277 55 0 11591 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 50796 [startup+110.066 s] /proc/loadavg: 0.98 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1715064/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=52584 CPUtime=110 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 20120435 0 0 0 4723 6277 0 0 25 0 1 0 200022980 53846016 11831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 13146 11838 277 55 0 12038 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 52584 [startup+120.073 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1714040/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=54232 CPUtime=119.99 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 21762498 0 0 0 5139 6860 0 0 25 0 1 0 200022980 55533568 12053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 13558 12060 277 55 0 12450 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 54232 [startup+130.079 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1712056/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=55880 CPUtime=130 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 23402646 0 0 0 5566 7434 0 0 25 0 1 0 200022980 57221120 12552 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 13970 12559 277 55 0 12862 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 55880 [startup+140.084 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1710648/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=57524 CPUtime=140 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 25028666 0 0 0 5981 8019 0 0 25 0 1 0 200022980 58904576 12874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 14381 12881 277 55 0 13273 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 57524 [startup+150.09 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1708536/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=59048 CPUtime=150 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 26648307 0 0 0 6388 8612 0 0 25 0 1 0 200022980 60465152 13389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 14762 13396 277 55 0 13654 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 59048 [startup+160.096 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1706936/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=60556 CPUtime=160 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 28252741 0 0 0 6800 9200 0 0 25 0 1 0 200022980 62009344 13751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 15139 13758 277 55 0 14031 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 60556 [startup+170.101 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1705016/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=62064 CPUtime=170.01 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 29893407 0 0 0 7207 9794 0 0 25 0 1 0 200022980 63553536 14286 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 15516 14293 277 55 0 14408 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 62064 [startup+180.108 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1704120/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=63572 CPUtime=180.01 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 31480226 0 0 0 7625 10376 0 0 25 0 1 0 200022980 65097728 14390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 15893 14397 277 55 0 14785 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 63572 [startup+190.114 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1702776/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=64948 CPUtime=190.01 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 33061022 0 0 0 8037 10964 0 0 25 0 1 0 200022980 66506752 14744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 16237 14744 277 55 0 15129 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 64948 [startup+200.119 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1701624/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=66324 CPUtime=200.02 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 34631765 0 0 0 8441 11561 0 0 25 0 1 0 200022980 67915776 15407 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 16581 15413 277 55 0 15473 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 66324 [startup+210.125 s] /proc/loadavg: 0.99 1.00 0.99 2/64 6652 /proc/meminfo: memFree=1526840/2055920 swapFree=4181844/4192956 ################ # More data... # ################ /proc/6652/statm: 314185 309341 297 55 0 313077 0 Current children cumulated CPU time (s) 1760.38 Current children cumulated vsize (Kb) 1256740 [startup+1771.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=519864/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1258984 CPUtime=1770.38 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35396910 0 0 0 164663 12375 0 0 25 0 1 0 200022980 1289199616 309891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 314746 309891 297 55 0 313638 0 Current children cumulated CPU time (s) 1770.38 Current children cumulated vsize (Kb) 1258984 [startup+1781.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=517880/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1260964 CPUtime=1780.39 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397414 0 0 0 165663 12376 0 0 25 0 1 0 200022980 1291227136 310395 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315241 310395 297 55 0 314133 0 Current children cumulated CPU time (s) 1780.39 Current children cumulated vsize (Kb) 1260964 [startup+1782.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=517496/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1261228 CPUtime=1781.4 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397499 0 0 0 165764 12376 0 0 25 0 1 0 200022980 1291497472 310480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315307 310480 297 55 0 314199 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 1261228 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=517368/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1261492 CPUtime=1782.4 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397538 0 0 0 165864 12376 0 0 25 0 1 0 200022980 1291767808 310519 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315373 310519 297 55 0 314265 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 1261492 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=517176/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1261624 CPUtime=1783.4 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397581 0 0 0 165964 12376 0 0 25 0 1 0 200022980 1291902976 310562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315406 310562 297 55 0 314298 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 1261624 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=516984/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1261756 CPUtime=1784.41 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397628 0 0 0 166065 12376 0 0 25 0 1 0 200022980 1292038144 310609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315439 310609 297 55 0 314331 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 1261756 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=516856/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1262020 CPUtime=1785.41 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397668 0 0 0 166165 12376 0 0 25 0 1 0 200022980 1292308480 310649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542332 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315505 310649 297 55 0 314397 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 1262020 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=516664/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1262152 CPUtime=1786.42 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397712 0 0 0 166266 12376 0 0 25 0 1 0 200022980 1292443648 310693 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315538 310693 297 55 0 314430 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 1262152 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=516472/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1262284 CPUtime=1787.42 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397752 0 0 0 166366 12376 0 0 25 0 1 0 200022980 1292578816 310733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315571 310733 297 55 0 314463 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 1262284 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=516280/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1262548 CPUtime=1788.42 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397799 0 0 0 166466 12376 0 0 25 0 1 0 200022980 1292849152 310780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315637 310780 297 55 0 314529 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 1262548 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=516152/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1262680 CPUtime=1789.43 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397837 0 0 0 166567 12376 0 0 25 0 1 0 200022980 1292984320 310818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315670 310818 297 55 0 314562 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 1262680 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=515960/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1262812 CPUtime=1790.43 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397883 0 0 0 166667 12376 0 0 25 0 1 0 200022980 1293119488 310864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315703 310864 297 55 0 314595 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 1262812 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=515832/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1262944 CPUtime=1791.44 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397926 0 0 0 166768 12376 0 0 25 0 1 0 200022980 1293254656 310907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315736 310907 297 55 0 314628 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 1262944 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=515576/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1263208 CPUtime=1792.44 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35397975 0 0 0 166868 12376 0 0 25 0 1 0 200022980 1293524992 310956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315802 310956 297 55 0 314694 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 1263208 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=515448/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1263340 CPUtime=1793.44 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398011 0 0 0 166968 12376 0 0 25 0 1 0 200022980 1293660160 310992 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315835 310992 297 55 0 314727 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 1263340 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=515256/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1263472 CPUtime=1794.45 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398058 0 0 0 167069 12376 0 0 25 0 1 0 200022980 1293795328 311039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315868 311039 297 55 0 314760 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 1263472 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=515128/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1263736 CPUtime=1795.46 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398099 0 0 0 167169 12377 0 0 25 0 1 0 200022980 1294065664 311080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315934 311080 297 55 0 314826 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 1263736 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=514936/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1263868 CPUtime=1796.46 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398144 0 0 0 167269 12377 0 0 25 0 1 0 200022980 1294200832 311125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 315967 311125 297 55 0 314859 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 1263868 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=514680/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1264132 CPUtime=1797.47 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398198 0 0 0 167370 12377 0 0 25 0 1 0 200022980 1294471168 311179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 316033 311179 297 55 0 314925 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 1264132 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=514360/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1264396 CPUtime=1798.47 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398283 0 0 0 167470 12377 0 0 25 0 1 0 200022980 1294741504 311264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 316099 311264 297 55 0 314991 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 1264396 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6654 /proc/meminfo: memFree=514168/2055920 swapFree=4181844/4192956 [pid=6652] ppid=6650 vsize=1264660 CPUtime=1799.47 /proc/6652/stat : 6652 (bsolo) R 6650 6652 6606 0 -1 0 35398331 0 0 0 167570 12377 0 0 25 0 1 0 200022980 1295011840 311312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6652/statm: 316165 311312 297 55 0 315057 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 1264660 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.21 CPU user time (s): 1676.24 CPU system time (s): 123.967 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (Kb): 1264660
Begin job on node65 on Sat Jun 3 14:05:36 UTC 2006 FILE ID= 39969-1149343535 PBS_JOBID= 310542 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-dfl001.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39969-1149343535/instance-39969-1149343535.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-39969-1149343535 -o ROOT/results/node65/solver-39969-1149343535 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39969-1149343535/instance-39969-1149343535.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7b9d3fef35f44b9f29a1eccedaaa362f RANDOM SEED= 400391810 /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.283 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.283 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: 1760832 kB Buffers: 16296 kB Cached: 214780 kB SwapCached: 2776 kB Active: 65900 kB Inactive: 173896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1760832 kB SwapTotal: 4192956 kB SwapFree: 4181844 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14748 kB Slab: 41312 kB Committed_AS: 332344 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node65 on Sat Jun 3 14:35:37 UTC 2006