Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.1 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb |
MD5SUM | 93a0ff34a98f6d4593d65282fbf98be9 |
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 | 21960 |
Total number of constraints | 750 |
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 | 750 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 372 |
Number of terms in the objective function | 11160 |
Biggest coefficient in the objective function | 1295 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 533310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533310 |
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. 0.41 c Initial problem consists of 21960 variables and 1110 constraints. 0.47 c No problem reductions applied in OPT. instance. 0.47 c preprocess terminated. Elapsed time: 0.457 0.47 c After prepocess the problem consists of 18280 variables and 1110 constraints. 0.47 c Initial Lower Bound: 0 1.38 c Restart #1 #Var: 18280 LB: 0 @ 1.368 3.21 c Restart #2 #Var: 18280 LB: 0 @ 3.194 9.76 c Restart #3 #Var: 18280 LB: 0 @ 9.744 14.01 c Restart #4 #Var: 18280 LB: 0 @ 13.994 27.43 c Restart #5 #Var: 18280 LB: 0 @ 27.401 34.51 c Restart #6 #Var: 18280 LB: 0 @ 34.478 48.77 c Restart #7 #Var: 18280 LB: 0 @ 48.74 49.60 c Restart #8 #Var: 18280 LB: 0 @ 49.564 52.09 c Restart #9 #Var: 18280 LB: 0 @ 52.053 53.00 c Restart #10 #Var: 18274 LB: 0 @ 52.963 53.44 c Restart #11 #Var: 18260 LB: 0 @ 53.41 53.99 c Restart #12 #Var: 18260 LB: 0 @ 53.961 54.38 c Restart #13 #Var: 18256 LB: 0 @ 54.351 54.56 c Restart #14 #Var: 18256 LB: 0 @ 54.528 55.46 c Restart #15 #Var: 18252 LB: 0 @ 55.422 56.37 c Restart #16 #Var: 18252 LB: 0 @ 56.336 56.85 c Restart #17 #Var: 18251 LB: 0 @ 56.814 57.60 c Restart #18 #Var: 18247 LB: 0 @ 57.566 58.87 c Restart #19 #Var: 18245 LB: 0 @ 58.836 59.64 c Restart #20 #Var: 18244 LB: 0 @ 59.609 60.57 c Restart #21 #Var: 18237 LB: 0 @ 60.531 62.65 c Restart #22 #Var: 18236 LB: 0 @ 62.611 64.74 c Restart #23 #Var: 18234 LB: 0 @ 64.705 68.04 c Restart #24 #Var: 18207 LB: 0 @ 68.002 69.98 c Restart #25 #Var: 18207 LB: 0 @ 69.94 70.42 c Restart #26 #Var: 18202 LB: 0 @ 70.378 72.54 c Restart #27 #Var: 18201 LB: 0 @ 72.497 75.03 c Restart #28 #Var: 18192 LB: 5 @ 74.992 77.49 c Restart #29 #Var: 18192 LB: 5 @ 77.451 78.98 c Restart #30 #Var: 18192 LB: 5 @ 78.938 80.39 c Restart #31 #Var: 18192 LB: 5 @ 80.342 81.87 c Restart #32 #Var: 18192 LB: 5 @ 81.826 82.71 c Restart #33 #Var: 18192 LB: 5 @ 82.667 87.83 c Restart #34 #Var: 18190 LB: 7 @ 87.782 90.46 c Restart #35 #Var: 18180 LB: 7 @ 90.409 93.74 c Restart #36 #Var: 18180 LB: 7 @ 93.697 99.76 c Restart #37 #Var: 18179 LB: 8 @ 99.709 107.09 c Restart #38 #Var: 18179 LB: 8 @ 107.04 114.35 c Restart #39 #Var: 18179 LB: 8 @ 114.29 123.15 c Restart #40 #Var: 18179 LB: 8 @ 123.09 126.18 c Restart #41 #Var: 18179 LB: 8 @ 126.12 131.84 c Restart #42 #Var: 18179 LB: 8 @ 131.78 141.58 c Restart #43 #Var: 18179 LB: 8 @ 141.51 146.58 c Restart #44 #Var: 18179 LB: 8 @ 146.52 155.69 c Restart #45 #Var: 18179 LB: 8 @ 155.62 166.96 c Restart #46 #Var: 18179 LB: 8 @ 166.89 169.50 c Restart #47 #Var: 18179 LB: 8 @ 169.42 197.61 c Restart #48 #Var: 18179 LB: 8 @ 197.53 217.96 c Restart #49 #Var: 18179 LB: 8 @ 217.87 224.15 c Restart #50 #Var: 18179 LB: 8 @ 224.05 235.61 c Restart #51 #Var: 18179 LB: 8 @ 235.52 238.87 c Restart #52 #Var: 18179 LB: 8 @ 238.78 254.64 c Restart #53 #Var: 18179 LB: 8 @ 254.54 283.42 c Restart #54 #Var: 18177 LB: 8 @ 283.31 299.04 c Restart #55 #Var: 18177 LB: 8 @ 298.92 330.04 c Restart #56 #Var: 18175 LB: 8 @ 329.91 355.64 c Restart #57 #Var: 18175 LB: 8 @ 355.49 369.84 c Restart #58 #Var: 18175 LB: 8 @ 369.66 395.77 c Restart #59 #Var: 18175 LB: 8 @ 395.55 447.06 c Restart #60 #Var: 18175 LB: 8 @ 446.83 471.89 c Restart #61 #Var: 18175 LB: 8 @ 471.65 518.53 c Restart #62 #Var: 18175 LB: 8 @ 518.27 559.05 c Restart #63 #Var: 18165 LB: 8 @ 558.78 609.28 c Restart #64 #Var: 18165 LB: 8 @ 608.99 691.63 c Restart #65 #Var: 18165 LB: 8 @ 691.32 788.59 c Restart #66 #Var: 18165 LB: 8 @ 788.24 826.34 c Restart #67 #Var: 18165 LB: 8 @ 825.98 851.60 c Restart #68 #Var: 18165 LB: 8 @ 851.23 949.13 c CHANGE Heuristic... 949.13 c Restart #0 #Var: 18165 LB: 8 @ 948.73 950.39 c Restart #1 #Var: 18165 LB: 8 @ 949.98 952.77 c Restart #2 #Var: 18165 LB: 8 @ 952.36 953.56 c Restart #3 #Var: 18165 LB: 8 @ 953.15 955.14 c Restart #4 #Var: 18165 LB: 8 @ 954.73 957.74 c Restart #5 #Var: 18152 LB: 8 @ 957.33 962.35 c Restart #6 #Var: 18152 LB: 8 @ 961.94 965.67 c Restart #7 #Var: 18152 LB: 8 @ 965.26 970.34 c Restart #8 #Var: 18152 LB: 8 @ 969.93 975.01 c Restart #9 #Var: 18152 LB: 8 @ 974.6 997.00 c Restart #10 #Var: 18142 LB: 8 @ 996.58 1010.46 c Restart #11 #Var: 18131 LB: 8 @ 1010 1014.79 c Restart #12 #Var: 18131 LB: 8 @ 1014.4 1024.53 c Restart #13 #Var: 18121 LB: 8 @ 1024.1 1055.27 c Restart #14 #Var: 18121 LB: 8 @ 1054.8 1070.88 c Restart #15 #Var: 18121 LB: 8 @ 1070.4 1090.04 c Restart #16 #Var: 18121 LB: 8 @ 1089.6 1116.14 c Restart #17 #Var: 18121 LB: 8 @ 1115.7 1118.56 c Restart #18 #Var: 18121 LB: 8 @ 1118.1 1122.70 c Restart #19 #Var: 18121 LB: 8 @ 1122.2 1145.39 c Restart #20 #Var: 18083 LB: 8 @ 1144.9 1149.23 c Restart #21 #Var: 18067 LB: 8 @ 1148.8 1154.00 c Restart #22 #Var: 18063 LB: 8 @ 1153.5 1179.23 c Restart #23 #Var: 18051 LB: 8 @ 1178.8 1212.64 c Restart #24 #Var: 18051 LB: 8 @ 1212.1 1215.78 c Restart #25 #Var: 18051 LB: 8 @ 1215.3 1237.90 c Restart #26 #Var: 18051 LB: 8 @ 1237.4 1244.14 c Restart #27 #Var: 18051 LB: 8 @ 1243.6 1265.42 c Restart #28 #Var: 18051 LB: 8 @ 1264.9 1289.01 c Restart #29 #Var: 18051 LB: 8 @ 1288.5 1350.59 c Restart #30 #Var: 18051 LB: 8 @ 1350 1384.43 c Restart #31 #Var: 18051 LB: 8 @ 1383.9 1421.00 c Restart #32 #Var: 18051 LB: 8 @ 1420.4 1433.18 c Restart #33 #Var: 18051 LB: 8 @ 1432.6 1454.11 c Restart #34 #Var: 18051 LB: 8 @ 1453.5 1464.83 c Restart #35 #Var: 18051 LB: 8 @ 1464.2 1499.60 c Restart #36 #Var: 18051 LB: 8 @ 1499 1541.64 c Restart #37 #Var: 18051 LB: 8 @ 1541 1554.90 c Restart #38 #Var: 18051 LB: 8 @ 1554.3 1583.62 c Restart #39 #Var: 18051 LB: 8 @ 1583 1610.04 c Restart #40 #Var: 18051 LB: 8 @ 1609.4 1644.19 c Restart #41 #Var: 18051 LB: 8 @ 1643.5 1682.51 c Restart #42 #Var: 18051 LB: 8 @ 1681.8 1728.08 c Restart #43 #Var: 18051 LB: 8 @ 1727.4 1800.71 s UNKNOWN 1800.71 c Exit Code: 0 1800.71 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/node41/watcher-40014-1149353707 -o ROOT/results/node41/solver-40014-1149353707 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40014-1149353707/instance-40014-1149353707.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1750592/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=4664 CPUtime=0 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 167 0 0 0 0 0 0 0 18 0 1 0 201037289 4775936 147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1932642 0 0 4096 0 0 0 0 17 1 0 0 /proc/5847/statm: 1166 151 112 55 0 46 0 [startup+10.0017 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1724416/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=31368 CPUtime=9.98 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 8289 0 0 0 990 8 0 0 25 0 1 0 201037289 32120832 6841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 7842 6841 297 55 0 6734 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 31368 [startup+20.0084 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1724352/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=31416 CPUtime=19.97 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 8625 0 0 0 1986 11 0 0 25 0 1 0 201037289 32169984 6850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 7854 6850 297 55 0 6746 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 31416 [startup+30.015 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1724864/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=30900 CPUtime=29.98 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 8923 0 0 0 2985 13 0 0 25 0 1 0 201037289 31641600 6726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 7725 6726 297 55 0 6617 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 30900 [startup+40.0217 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1724032/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=31748 CPUtime=39.98 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 9237 0 0 0 3982 16 0 0 25 0 1 0 201037289 32509952 6928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 7937 6928 297 55 0 6829 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 31748 [startup+50.0284 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1724544/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=31264 CPUtime=49.99 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 9474 0 0 0 4975 24 0 0 25 0 1 0 201037289 32014336 6798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 7816 6798 297 55 0 6708 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 31264 [startup+60.0341 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1684864/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=70840 CPUtime=59.99 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 19400 0 0 0 5946 53 0 0 25 0 1 0 201037289 72540160 16715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 17710 16715 297 55 0 16602 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 70840 [startup+70.0408 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1663360/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=92292 CPUtime=69.99 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 24759 0 0 0 6938 61 0 0 25 0 1 0 201037289 94507008 22074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 23073 22074 297 55 0 21965 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 92292 [startup+80.0475 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1624320/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=131228 CPUtime=79.99 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 34491 0 0 0 7931 68 0 0 25 0 1 0 201037289 134377472 31806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 32807 31806 297 55 0 31699 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 131228 [startup+90.0531 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1595520/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=160156 CPUtime=89.99 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 41695 0 0 0 8924 75 0 0 25 0 1 0 201037289 163999744 39008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 40039 39008 297 55 0 38931 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 160156 [startup+100.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1589184/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=166500 CPUtime=100 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 43274 0 0 0 9921 79 0 0 25 0 1 0 201037289 170496000 40587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 41625 40587 297 55 0 40517 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 166500 [startup+110.065 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1584256/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=171376 CPUtime=110 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 44507 0 0 0 10919 81 0 0 25 0 1 0 201037289 175489024 41820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 42844 41820 297 55 0 41736 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 171376 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1580032/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=175464 CPUtime=120 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 45542 0 0 0 11917 83 0 0 25 0 1 0 201037289 179675136 42855 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 43866 42855 297 55 0 42758 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 175464 [startup+130.076 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5847 /proc/meminfo: memFree=1573376/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=182192 CPUtime=130 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 47201 0 0 0 12915 85 0 0 25 0 1 0 201037289 186564608 44514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 45548 44514 297 55 0 44440 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 182192 [startup+140.082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1562752/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=192748 CPUtime=140.01 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 49842 0 0 0 13911 90 0 0 25 0 1 0 201037289 197373952 47155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 48187 47155 297 55 0 47079 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 192748 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1558080/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=197500 CPUtime=150.01 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 51032 0 0 0 14909 92 0 0 25 0 1 0 201037289 202240000 48345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 49375 48345 297 55 0 48267 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 197500 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1551168/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=204384 CPUtime=160.02 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 52766 0 0 0 15907 95 0 0 25 0 1 0 201037289 209289216 50079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 51096 50079 297 55 0 49988 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 204384 [startup+170.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1543232/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=212300 CPUtime=170.02 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 54724 0 0 0 16904 98 0 0 25 0 1 0 201037289 217395200 52037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 53075 52037 297 55 0 51967 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 212300 [startup+180.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1540672/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=214808 CPUtime=180.02 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 55362 0 0 0 17903 99 0 0 25 0 1 0 201037289 219963392 52675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 53702 52675 297 55 0 52594 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 214808 [startup+190.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1538624/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=216920 CPUtime=190.02 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 55875 0 0 0 18902 100 0 0 25 0 1 0 201037289 222126080 53188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 54230 53188 297 55 0 53122 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 216920 [startup+200.118 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1535488/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=219960 CPUtime=200.03 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 56647 0 0 0 19901 102 0 0 25 0 1 0 201037289 225239040 53960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 54990 53960 297 55 0 53882 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 219960 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5847 /proc/meminfo: memFree=1532352/2055920 swapFree=4180964/4192956 ################ # More data... # ################ /proc/5847/statm: 136614 135442 297 55 0 135506 0 Current children cumulated CPU time (s) 1760.33 Current children cumulated vsize (Kb) 546456 [startup+1771.03 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1207936/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=546984 CPUtime=1770.33 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138355 0 0 0 176775 258 0 0 25 0 1 0 201037289 560111616 135582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 136746 135582 297 55 0 135638 0 Current children cumulated CPU time (s) 1770.33 Current children cumulated vsize (Kb) 546984 [startup+1781.04 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1207104/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=547908 CPUtime=1780.34 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138567 0 0 0 177775 259 0 0 25 0 1 0 201037289 561057792 135794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 136977 135794 297 55 0 135869 0 Current children cumulated CPU time (s) 1780.34 Current children cumulated vsize (Kb) 547908 [startup+1782.04 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206976/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=547908 CPUtime=1781.34 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138588 0 0 0 177875 259 0 0 25 0 1 0 201037289 561057792 135815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 136977 135815 297 55 0 135869 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (Kb) 547908 [startup+1783.05 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206912/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548040 CPUtime=1782.34 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138610 0 0 0 177975 259 0 0 25 0 1 0 201037289 561192960 135837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137010 135837 297 55 0 135902 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (Kb) 548040 [startup+1784.05 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206720/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548304 CPUtime=1783.35 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138655 0 0 0 178076 259 0 0 25 0 1 0 201037289 561463296 135882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137076 135882 297 55 0 135968 0 Current children cumulated CPU time (s) 1783.35 Current children cumulated vsize (Kb) 548304 [startup+1785.06 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206528/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548432 CPUtime=1784.35 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138700 0 0 0 178176 259 0 0 25 0 1 0 201037289 561594368 135927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137108 135927 297 55 0 136000 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 548432 [startup+1786.06 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206400/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548564 CPUtime=1785.36 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138730 0 0 0 178277 259 0 0 25 0 1 0 201037289 561729536 135957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137141 135957 297 55 0 136033 0 Current children cumulated CPU time (s) 1785.36 Current children cumulated vsize (Kb) 548564 [startup+1787.07 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206336/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548696 CPUtime=1786.36 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138757 0 0 0 178377 259 0 0 25 0 1 0 201037289 561864704 135984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137174 135984 297 55 0 136066 0 Current children cumulated CPU time (s) 1786.36 Current children cumulated vsize (Kb) 548696 [startup+1788.07 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206208/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548828 CPUtime=1787.36 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138784 0 0 0 178477 259 0 0 25 0 1 0 201037289 561999872 136011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137207 136011 297 55 0 136099 0 Current children cumulated CPU time (s) 1787.36 Current children cumulated vsize (Kb) 548828 [startup+1789.08 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206144/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548828 CPUtime=1788.37 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138807 0 0 0 178578 259 0 0 25 0 1 0 201037289 561999872 136034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137207 136034 297 55 0 136099 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 548828 [startup+1790.08 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1206080/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548828 CPUtime=1789.37 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138814 0 0 0 178678 259 0 0 25 0 1 0 201037289 561999872 136041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137207 136041 297 55 0 136099 0 Current children cumulated CPU time (s) 1789.37 Current children cumulated vsize (Kb) 548828 [startup+1791.09 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1205952/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=548960 CPUtime=1790.38 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138841 0 0 0 178779 259 0 0 25 0 1 0 201037289 562135040 136068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137240 136068 297 55 0 136132 0 Current children cumulated CPU time (s) 1790.38 Current children cumulated vsize (Kb) 548960 [startup+1792.09 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1205824/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=549092 CPUtime=1791.38 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138881 0 0 0 178879 259 0 0 25 0 1 0 201037289 562270208 136108 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137273 136108 297 55 0 136165 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (Kb) 549092 [startup+1793.1 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1205632/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=549356 CPUtime=1792.39 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138921 0 0 0 178979 260 0 0 25 0 1 0 201037289 562540544 136148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137339 136148 297 55 0 136231 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (Kb) 549356 [startup+1794.1 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1205440/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=549488 CPUtime=1793.4 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138969 0 0 0 179080 260 0 0 25 0 1 0 201037289 562675712 136196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137372 136196 297 55 0 136264 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 549488 [startup+1795.11 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1205184/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=549752 CPUtime=1794.4 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139042 0 0 0 179180 260 0 0 25 0 1 0 201037289 562946048 136269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137438 136269 297 55 0 136330 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 549752 [startup+1796.11 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1204992/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=550016 CPUtime=1795.41 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139082 0 0 0 179281 260 0 0 25 0 1 0 201037289 563216384 136309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137504 136309 297 55 0 136396 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 550016 [startup+1797.12 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1204992/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=550016 CPUtime=1796.41 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139092 0 0 0 179381 260 0 0 25 0 1 0 201037289 563216384 136319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137504 136319 297 55 0 136396 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 550016 [startup+1798.12 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1204928/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=550148 CPUtime=1797.41 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139118 0 0 0 179481 260 0 0 25 0 1 0 201037289 563351552 136345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137537 136345 297 55 0 136429 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 550148 [startup+1799.12 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6042 /proc/meminfo: memFree=1204800/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=550148 CPUtime=1798.42 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139144 0 0 0 179582 260 0 0 25 0 1 0 201037289 563351552 136371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524329 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137537 136371 297 55 0 136429 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 550148 [startup+1800.13 s] /proc/loadavg: 1.02 1.01 1.00 3/64 6042 /proc/meminfo: memFree=1204672/2055920 swapFree=4180964/4192956 [pid=5847] ppid=5845 vsize=550280 CPUtime=1799.42 /proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139174 0 0 0 179682 260 0 0 25 0 1 0 201037289 563486720 136401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5847/statm: 137570 136401 297 55 0 136462 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (Kb) 550280 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.1 CPU user time (s): 1797.4 CPU system time (s): 2.69259 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (Kb): 550280
Begin job on node41 on Sat Jun 3 16:55:07 UTC 2006 FILE ID= 40014-1149353707 PBS_JOBID= 311131 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40014-1149353707/instance-40014-1149353707.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-40014-1149353707 -o ROOT/results/node41/solver-40014-1149353707 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40014-1149353707/instance-40014-1149353707.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 93a0ff34a98f6d4593d65282fbf98be9 RANDOM SEED= 855686119 /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.265 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.265 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: 1750800 kB Buffers: 18240 kB Cached: 223004 kB SwapCached: 3692 kB Active: 57332 kB Inactive: 192592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1750800 kB SwapTotal: 4192956 kB SwapFree: 4180964 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14936 kB Slab: 41196 kB Committed_AS: 387104 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node41 on Sat Jun 3 17:25:08 UTC 2006