Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.04 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb |
MD5SUM | 96d9927730c8b8baae8e5c668115210d |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 273432 |
Optimality of the best value was proved | NO |
Number of variables | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526135 |
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.52 c Initial problem consists of 8902 variables and 3038 constraints. 0.58 c No problem reductions applied in OPT. instance. 0.58 c preprocess terminated. Elapsed time: 0.566 0.58 c After prepocess the problem consists of 5572 variables and 2065 constraints. 0.58 c Initial Lower Bound: 0 0.95 c Restart #1 #Var: 5572 LB: 0 @ 0.942 1.66 c Restart #2 #Var: 5572 LB: 0 @ 1.643 2.53 c Restart #3 #Var: 5572 LB: 0 @ 2.519 3.63 c Restart #4 #Var: 5572 LB: 0 @ 3.617 4.99 c Restart #5 #Var: 5572 LB: 0 @ 4.977 6.77 c Restart #6 #Var: 5572 LB: 0 @ 6.755 10.18 c Restart #7 #Var: 5572 LB: 0 @ 10.157 16.77 c Restart #8 #Var: 5572 LB: 0 @ 16.743 19.55 c Restart #9 #Var: 5572 LB: 0 @ 19.526 30.17 c Restart #10 #Var: 5572 LB: 0 @ 30.141 36.86 c Restart #11 #Var: 5572 LB: 0 @ 36.829 41.08 c Restart #12 #Var: 5572 LB: 0 @ 41.048 42.63 c Restart #13 #Var: 5572 LB: 0 @ 42.601 44.38 c Restart #14 #Var: 5572 LB: 0 @ 44.352 46.69 c Restart #15 #Var: 5572 LB: 0 @ 46.653 50.25 c Restart #16 #Var: 5572 LB: 0 @ 50.215 51.78 c Restart #17 #Var: 5572 LB: 0 @ 51.748 55.37 c Restart #18 #Var: 5572 LB: 0 @ 55.337 58.42 c Restart #19 #Var: 5572 LB: 0 @ 58.384 62.53 c Restart #20 #Var: 5572 LB: 0 @ 62.491 65.15 c Restart #21 #Var: 5572 LB: 0 @ 65.107 69.10 c Restart #22 #Var: 5572 LB: 0 @ 69.063 71.70 c Restart #23 #Var: 5572 LB: 0 @ 71.66 75.47 c Restart #24 #Var: 5572 LB: 0 @ 75.428 78.25 c Restart #25 #Var: 5572 LB: 0 @ 78.209 82.25 c Restart #26 #Var: 5572 LB: 0 @ 82.204 88.72 c Restart #27 #Var: 5572 LB: 0 @ 88.67 95.48 c Restart #28 #Var: 5572 LB: 0 @ 95.435 99.69 c Restart #29 #Var: 5572 LB: 0 @ 99.638 107.36 c Restart #30 #Var: 5572 LB: 0 @ 107.3 111.11 c Restart #31 #Var: 5572 LB: 0 @ 111.05 119.30 c Restart #32 #Var: 5572 LB: 0 @ 119.24 126.59 c Restart #33 #Var: 5572 LB: 0 @ 126.53 135.24 c Restart #34 #Var: 5572 LB: 0 @ 135.17 140.27 c Restart #35 #Var: 5572 LB: 0 @ 140.2 148.80 c Restart #36 #Var: 5572 LB: 0 @ 148.73 155.59 c Restart #37 #Var: 5572 LB: 0 @ 155.52 164.59 c Restart #38 #Var: 5572 LB: 0 @ 164.52 169.83 c Restart #39 #Var: 5572 LB: 0 @ 169.75 179.54 c Restart #40 #Var: 5572 LB: 0 @ 179.46 197.93 c Restart #41 #Var: 5572 LB: 0 @ 197.84 208.23 c Restart #42 #Var: 5571 LB: 0 @ 208.14 216.30 c Restart #43 #Var: 5571 LB: 0 @ 216.21 224.74 c Restart #44 #Var: 5571 LB: 0 @ 224.65 236.52 c Restart #45 #Var: 5571 LB: 0 @ 236.42 245.17 c Restart #46 #Var: 5570 LB: 0 @ 245.06 265.93 c Restart #47 #Var: 5570 LB: 0 @ 265.82 294.66 c Restart #48 #Var: 5570 LB: 0 @ 294.5 354.74 c Restart #49 #Var: 5570 LB: 0 @ 354.55 366.09 c Restart #50 #Var: 5570 LB: 0 @ 365.9 394.62 c Restart #51 #Var: 5569 LB: 0 @ 394.42 463.99 c Restart #52 #Var: 5568 LB: 0 @ 463.77 562.18 c Restart #53 #Var: 5567 LB: 0 @ 561.93 583.68 c Restart #54 #Var: 5567 LB: 0 @ 583.41 596.26 c Restart #55 #Var: 5566 LB: 0 @ 596 622.36 c Restart #56 #Var: 5566 LB: 0 @ 622.09 644.27 c Restart #57 #Var: 5562 LB: 0 @ 643.99 670.69 c Restart #58 #Var: 5562 LB: 0 @ 670.39 733.78 c Restart #59 #Var: 5562 LB: 0 @ 733.46 800.74 c Restart #60 #Var: 5562 LB: 0 @ 800.4 850.16 c Restart #61 #Var: 5562 LB: 0 @ 849.81 903.49 c CHANGE Heuristic... 903.49 c Restart #0 #Var: 5562 LB: 0 @ 903.12 904.82 c Restart #1 #Var: 5562 LB: 0 @ 904.45 908.03 c Restart #2 #Var: 5562 LB: 0 @ 907.65 910.61 c Restart #3 #Var: 5562 LB: 0 @ 910.24 915.43 c Restart #4 #Var: 5561 LB: 0 @ 915.06 920.60 c Restart #5 #Var: 5561 LB: 0 @ 920.22 924.10 c Restart #6 #Var: 5561 LB: 0 @ 923.72 930.92 c Restart #7 #Var: 5561 LB: 0 @ 930.53 939.72 c Restart #8 #Var: 5561 LB: 0 @ 939.34 955.66 c Restart #9 #Var: 5561 LB: 0 @ 955.27 960.67 c Restart #10 #Var: 5561 LB: 0 @ 960.28 970.25 c Restart #11 #Var: 5561 LB: 0 @ 969.86 983.05 c Restart #12 #Var: 5561 LB: 0 @ 982.65 1000.92 c Restart #13 #Var: 5560 LB: 0 @ 1000.5 1013.05 c Restart #14 #Var: 5560 LB: 0 @ 1012.6 1045.00 c Restart #15 #Var: 5560 LB: 0 @ 1044.6 1057.84 c Restart #16 #Var: 5560 LB: 0 @ 1057.4 1072.99 c Restart #17 #Var: 5560 LB: 0 @ 1072.6 1082.21 c Restart #18 #Var: 5560 LB: 0 @ 1081.8 1108.16 c Restart #19 #Var: 5560 LB: 0 @ 1107.7 1132.12 c Restart #20 #Var: 5560 LB: 0 @ 1131.7 1147.54 c Restart #21 #Var: 5560 LB: 0 @ 1147.1 1164.07 c Restart #22 #Var: 5560 LB: 0 @ 1163.6 1181.72 c Restart #23 #Var: 5560 LB: 0 @ 1181.2 1215.66 c Restart #24 #Var: 5560 LB: 0 @ 1215.2 1257.36 c Restart #25 #Var: 5560 LB: 0 @ 1256.9 1311.97 c Restart #26 #Var: 5559 LB: 0 @ 1311.5 1346.99 c Restart #27 #Var: 5559 LB: 0 @ 1346.5 1384.55 c Restart #28 #Var: 5559 LB: 0 @ 1384 1421.11 c Restart #29 #Var: 5559 LB: 0 @ 1420.6 1463.29 c Restart #30 #Var: 5559 LB: 0 @ 1462.7 1487.56 c Restart #31 #Var: 5558 LB: 0 @ 1487 1501.25 c Restart #32 #Var: 5558 LB: 0 @ 1500.7 1530.09 c Restart #33 #Var: 5558 LB: 0 @ 1529.5 1570.29 c Restart #34 #Var: 5558 LB: 0 @ 1569.7 1600.98 c Restart #35 #Var: 5558 LB: 0 @ 1600.4 1624.32 c Restart #36 #Var: 5558 LB: 0 @ 1623.7 1663.76 c Restart #37 #Var: 5558 LB: 0 @ 1663.1 1744.75 c Restart #38 #Var: 5558 LB: 0 @ 1744.1 1792.40 c Restart #39 #Var: 5558 LB: 0 @ 1791.7 1800.68 s UNKNOWN 1800.68 c Exit Code: 0 1800.68 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/node59/watcher-40043-1149360983 -o ROOT/results/node59/solver-40043-1149360983 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/40043-1149360983/instance-40043-1149360983.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1677776/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=4664 CPUtime=0 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 156 0 0 0 0 0 0 0 18 0 1 0 201766501 4775936 136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9255800 0 0 4096 0 0 0 0 17 1 0 0 /proc/8754/statm: 1166 136 106 55 0 46 0 [startup+10.003 s] /proc/loadavg: 0.93 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1658848/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=23804 CPUtime=9.98 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 5106 0 0 0 964 34 0 0 25 0 1 0 201766501 24375296 5021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 5951 5021 297 55 0 4843 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 23804 [startup+20.01 s] /proc/loadavg: 0.94 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1659048/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=23424 CPUtime=19.98 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 5106 0 0 0 1963 35 0 0 25 0 1 0 201766501 23986176 4953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719391 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 5856 4953 297 55 0 4748 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 23424 [startup+30.0169 s] /proc/loadavg: 0.95 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1654504/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=28288 CPUtime=29.98 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 6311 0 0 0 2963 35 0 0 25 0 1 0 201766501 28966912 6158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 7072 6158 297 55 0 5964 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 28288 [startup+40.0228 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1654504/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=28260 CPUtime=39.98 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 6311 0 0 0 3962 36 0 0 25 0 1 0 201766501 28938240 6158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 7065 6158 297 55 0 5957 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 28260 [startup+50.0297 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1653800/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=29056 CPUtime=49.99 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 6495 0 0 0 4961 38 0 0 25 0 1 0 201766501 29753344 6342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 7264 6342 297 55 0 6156 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 29056 [startup+60.0357 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1653032/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=29628 CPUtime=59.99 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 6777 0 0 0 5960 39 0 0 25 0 1 0 201766501 30339072 6504 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 7407 6504 297 55 0 6299 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 29628 [startup+70.0416 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1649960/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=32824 CPUtime=69.99 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 7897 0 0 0 6958 41 0 0 25 0 1 0 201766501 33611776 7303 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 8206 7303 297 55 0 7098 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 32824 [startup+80.0475 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1642280/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=40444 CPUtime=79.99 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 10089 0 0 0 7955 44 0 0 25 0 1 0 201766501 41414656 9208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 10111 9208 297 55 0 9003 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 40444 [startup+90.0535 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1641832/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=40972 CPUtime=90 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 10210 0 0 0 8955 45 0 0 25 0 1 0 201766501 41955328 9329 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603839 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 10243 9329 297 55 0 9135 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 40972 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1639976/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=42584 CPUtime=100 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 10691 0 0 0 9953 47 0 0 25 0 1 0 201766501 43606016 9743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 10646 9743 297 55 0 9538 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 42584 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1634856/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=47932 CPUtime=110 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 12206 0 0 0 10951 49 0 0 25 0 1 0 201766501 49082368 11069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537684 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 11983 11069 297 55 0 10875 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 47932 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1632936/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=49800 CPUtime=120.01 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 12881 0 0 0 11950 51 0 0 25 0 1 0 201766501 50995200 11544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 12450 11544 297 55 0 11342 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 49800 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1631720/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=50852 CPUtime=130 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 13187 0 0 0 12949 51 0 0 25 0 1 0 201766501 52072448 11810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 12713 11810 297 55 0 11605 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 50852 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1630120/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=52696 CPUtime=140.01 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 13634 0 0 0 13948 53 0 0 25 0 1 0 201766501 53960704 12246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 13174 12246 297 55 0 12066 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 52696 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1628520/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=54280 CPUtime=150.01 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 14286 0 0 0 14947 54 0 0 25 0 1 0 201766501 55582720 12643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 13570 12643 297 55 0 12462 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 54280 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1624168/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=58328 CPUtime=160.01 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 15575 0 0 0 15946 55 0 0 25 0 1 0 201766501 59727872 13679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 14582 13679 297 55 0 13474 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 58328 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1621672/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=61080 CPUtime=170.01 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 16289 0 0 0 16944 57 0 0 25 0 1 0 201766501 62545920 14353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 15270 14353 297 55 0 14162 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 61080 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1621608/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=61108 CPUtime=180.02 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 16722 0 0 0 17943 59 0 0 25 0 1 0 201766501 62574592 14357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 15277 14357 297 55 0 14169 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 61108 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1621608/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=61108 CPUtime=190.03 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 16725 0 0 0 18943 60 0 0 25 0 1 0 201766501 62574592 14360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 15277 14360 297 55 0 14169 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 61108 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1620840/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=61756 CPUtime=200.02 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 17006 0 0 0 19942 60 0 0 25 0 1 0 201766501 63238144 14506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 15439 14506 297 55 0 14331 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 61756 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8754 /proc/meminfo: memFree=1618792/2055920 swapFree=4180876/4192956 ################ # More data... # ################ /proc/8754/statm: 59762 58826 297 55 0 58654 0 Current children cumulated CPU time (s) 1760.39 Current children cumulated vsize (Kb) 239048 [startup+1771.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1442920/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=239300 CPUtime=1770.4 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 62328 0 0 0 176864 176 0 0 25 0 1 0 201766501 245043200 58881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718426 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 59825 58881 297 55 0 58717 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 239300 [startup+1781.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1441896/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=240356 CPUtime=1780.4 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 62579 0 0 0 177864 176 0 0 25 0 1 0 201766501 246124544 59132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60089 59132 297 55 0 58981 0 Current children cumulated CPU time (s) 1780.4 Current children cumulated vsize (Kb) 240356 [startup+1782.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1441576/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=240620 CPUtime=1781.45 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 62654 0 0 0 177968 177 0 0 25 0 1 0 201766501 246394880 59207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541205 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60155 59207 297 55 0 59047 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 240620 [startup+1783.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1440936/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=241280 CPUtime=1782.45 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 62819 0 0 0 178068 177 0 0 25 0 1 0 201766501 247070720 59372 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60320 59372 297 55 0 59212 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 241280 [startup+1784.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1440168/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=242072 CPUtime=1783.45 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63015 0 0 0 178168 177 0 0 25 0 1 0 201766501 247881728 59568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60518 59568 297 55 0 59410 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 242072 [startup+1785.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439528/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=242600 CPUtime=1784.45 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63163 0 0 0 178268 177 0 0 25 0 1 0 201766501 248422400 59716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60650 59716 297 55 0 59542 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 242600 [startup+1786.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=242996 CPUtime=1785.46 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178369 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60749 59801 297 55 0 59641 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 242996 [startup+1787.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=242996 CPUtime=1786.46 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178469 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60749 59801 297 55 0 59641 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (Kb) 242996 [startup+1788.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=242996 CPUtime=1787.47 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178570 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60749 59801 297 55 0 59641 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 242996 [startup+1789.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=242996 CPUtime=1788.47 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178670 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60749 59801 297 55 0 59641 0 Current children cumulated CPU time (s) 1788.47 Current children cumulated vsize (Kb) 242996 [startup+1790.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=242996 CPUtime=1789.47 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178770 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60749 59801 297 55 0 59641 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 242996 [startup+1791.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439144/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=242996 CPUtime=1790.48 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63255 0 0 0 178871 177 0 0 25 0 1 0 201766501 248827904 59808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60749 59808 297 55 0 59641 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 242996 [startup+1792.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439080/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=243128 CPUtime=1791.48 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63285 0 0 0 178971 177 0 0 25 0 1 0 201766501 248963072 59838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60782 59838 297 55 0 59674 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 243128 [startup+1793.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439016/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=243128 CPUtime=1792.5 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63293 0 0 0 179072 178 0 0 25 0 1 0 201766501 248963072 59846 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60782 59846 297 55 0 59674 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 243128 [startup+1794.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439016/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=243128 CPUtime=1793.5 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63293 0 0 0 179172 178 0 0 25 0 1 0 201766501 248963072 59846 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60782 59846 297 55 0 59674 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 243128 [startup+1795.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1439016/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=243260 CPUtime=1794.5 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63295 0 0 0 179272 178 0 0 25 0 1 0 201766501 249098240 59848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60815 59848 297 55 0 59707 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 243260 [startup+1796.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1438952/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=243256 CPUtime=1795.51 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63316 0 0 0 179373 178 0 0 25 0 1 0 201766501 249094144 59869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60814 59869 297 55 0 59706 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 243256 [startup+1797.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1438760/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=243520 CPUtime=1796.51 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63366 0 0 0 179473 178 0 0 25 0 1 0 201766501 249364480 59919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60880 59919 297 55 0 59772 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 243520 [startup+1798.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1438568/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=243652 CPUtime=1797.52 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63400 0 0 0 179574 178 0 0 25 0 1 0 201766501 249499648 59953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 60913 59953 297 55 0 59805 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 243652 [startup+1799.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1438184/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=244048 CPUtime=1798.52 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63504 0 0 0 179674 178 0 0 25 0 1 0 201766501 249905152 60057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 61012 60057 297 55 0 59904 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 244048 [startup+1800.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8949 /proc/meminfo: memFree=1437992/2055920 swapFree=4180876/4192956 [pid=8754] ppid=8752 vsize=244180 CPUtime=1799.52 /proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63543 0 0 0 179774 178 0 0 25 0 1 0 201766501 250040320 60096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8754/statm: 61045 60096 297 55 0 59937 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 244180 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.04 CPU user time (s): 1798.22 CPU system time (s): 1.82472 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (Kb): 244180
Begin job on node59 on Sat Jun 3 18:56:23 UTC 2006 FILE ID= 40043-1149360983 PBS_JOBID= 311507 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/40043-1149360983/instance-40043-1149360983.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-40043-1149360983 -o ROOT/results/node59/solver-40043-1149360983 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/40043-1149360983/instance-40043-1149360983.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 96d9927730c8b8baae8e5c668115210d RANDOM SEED= 140790698 /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.272 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.272 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: 1677984 kB Buffers: 22228 kB Cached: 284856 kB SwapCached: 3744 kB Active: 47268 kB Inactive: 268508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1677984 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14732 kB Slab: 48124 kB Committed_AS: 353428 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Sat Jun 3 19:26:24 UTC 2006