Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.03 | 1800.5 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow40b.opb |
MD5SUM | b1cb8dfc9613a6d80968091d3346a684 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5507 |
Best CPU time to get the best result obtained on this benchmark | 1782.8 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5507 |
Optimality of the best value was proved | NO |
Number of variables | 23384 |
Total number of constraints | 2806 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 39 |
Number of constraints which are nor clauses,nor cardinality constraints | 2767 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 1202 |
Number of terms in the objective function | 1364 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 230637 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 7037881 |
Number of bits of the biggest sum of numbers | 23 |
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.04 c INFO: OSL Context initialized. 0.71 c Initial problem consists of 23384 variables and 2884 constraints. 0.81 c No problem reductions applied in OPT. instance. 0.81 c preprocess terminated. Elapsed time: 0.77 0.81 c After prepocess the problem consists of 23384 variables and 2884 constraints. 0.81 c Initial Lower Bound: 0 1.70 c Restart #1 #Var: 23384 LB: 0 @ 1.667 3.35 c Restart #2 #Var: 23384 LB: 0 @ 3.311 5.24 c Restart #3 #Var: 23384 LB: 0 @ 5.204 7.51 c Restart #4 #Var: 23384 LB: 0 @ 7.469 9.93 c Restart #5 #Var: 23384 LB: 0 @ 9.893 15.50 c Restart #6 #Var: 23384 LB: 0 @ 15.456 29.34 c Restart #7 #Var: 23384 LB: 0 @ 29.296 43.88 c Restart #8 #Var: 23384 LB: 0 @ 43.831 57.78 c Restart #9 #Var: 23384 LB: 0 @ 57.733 73.37 c Restart #10 #Var: 23384 LB: 0 @ 73.311 78.71 c Restart #11 #Var: 23384 LB: 0 @ 78.651 81.70 c Restart #12 #Var: 23384 LB: 0 @ 81.64 84.04 c Restart #13 #Var: 23384 LB: 0 @ 83.986 85.70 c Restart #14 #Var: 23384 LB: 0 @ 85.64 88.62 c Restart #15 #Var: 23384 LB: 0 @ 88.559 91.19 c Restart #16 #Var: 23384 LB: 0 @ 91.131 94.02 c Restart #17 #Var: 23384 LB: 0 @ 93.957 96.48 c Restart #18 #Var: 23384 LB: 0 @ 96.422 101.14 c Restart #19 #Var: 23384 LB: 0 @ 101.08 105.13 c Restart #20 #Var: 23384 LB: 0 @ 105.06 118.24 c Restart #21 #Var: 23384 LB: 0 @ 118.17 128.34 c Restart #22 #Var: 23384 LB: 0 @ 128.28 131.92 c Restart #23 #Var: 23384 LB: 0 @ 131.85 135.25 c Restart #24 #Var: 23384 LB: 0 @ 135.18 146.07 c Restart #25 #Var: 23384 LB: 0 @ 145.99 152.38 c Restart #26 #Var: 23384 LB: 0 @ 152.3 159.73 c Restart #27 #Var: 23384 LB: 0 @ 159.65 167.37 c Restart #28 #Var: 23384 LB: 0 @ 167.29 172.08 c Restart #29 #Var: 23384 LB: 0 @ 172 177.25 c Restart #30 #Var: 23384 LB: 0 @ 177.17 182.16 c Restart #31 #Var: 23384 LB: 0 @ 182.08 187.43 c Restart #32 #Var: 23384 LB: 0 @ 187.35 192.57 c Restart #33 #Var: 23384 LB: 0 @ 192.49 197.79 c Restart #34 #Var: 23384 LB: 0 @ 197.71 203.38 c Restart #35 #Var: 23384 LB: 0 @ 203.3 209.26 c Restart #36 #Var: 23384 LB: 0 @ 209.18 218.55 c Restart #37 #Var: 23384 LB: 0 @ 218.46 224.92 c Restart #38 #Var: 23384 LB: 0 @ 224.83 234.77 c Restart #39 #Var: 23384 LB: 0 @ 234.68 242.27 c Restart #40 #Var: 23384 LB: 0 @ 242.18 248.69 c Restart #41 #Var: 23384 LB: 0 @ 248.59 255.96 c Restart #42 #Var: 23384 LB: 0 @ 255.86 263.81 c Restart #43 #Var: 23384 LB: 0 @ 263.71 271.65 c Restart #44 #Var: 23384 LB: 0 @ 271.55 280.45 c Restart #45 #Var: 23384 LB: 0 @ 280.35 303.42 c Restart #46 #Var: 23384 LB: 0 @ 303.31 325.35 c Restart #47 #Var: 23384 LB: 0 @ 325.24 334.99 c Restart #48 #Var: 23384 LB: 0 @ 334.88 345.20 c Restart #49 #Var: 23384 LB: 0 @ 345.08 363.37 c Restart #50 #Var: 23384 LB: 0 @ 363.25 374.88 c Restart #51 #Var: 23384 LB: 0 @ 374.76 385.57 c Restart #52 #Var: 23384 LB: 0 @ 385.44 395.99 c Restart #53 #Var: 23384 LB: 0 @ 395.86 405.25 c Restart #54 #Var: 23384 LB: 0 @ 405.11 415.82 c Restart #55 #Var: 23384 LB: 0 @ 415.68 426.57 c Restart #56 #Var: 23384 LB: 0 @ 426.43 488.76 c Restart #57 #Var: 23384 LB: 0 @ 488.61 528.56 c Restart #58 #Var: 23384 LB: 0 @ 528.4 543.40 c Restart #59 #Var: 23384 LB: 0 @ 543.23 582.29 c Restart #60 #Var: 23384 LB: 0 @ 582.11 720.62 c Restart #61 #Var: 23384 LB: 0 @ 720.41 731.94 c Restart #62 #Var: 23384 LB: 0 @ 731.73 782.97 c Restart #63 #Var: 23384 LB: 0 @ 782.75 800.57 c Restart #64 #Var: 23384 LB: 0 @ 800.34 839.54 c Restart #65 #Var: 23384 LB: 0 @ 839.3 850.80 c Restart #66 #Var: 23384 LB: 0 @ 850.56 863.37 c Restart #67 #Var: 23384 LB: 0 @ 863.13 878.13 c Restart #68 #Var: 23384 LB: 0 @ 877.88 889.14 c Restart #69 #Var: 23384 LB: 0 @ 888.89 904.98 c CHANGE Heuristic... 904.98 c Restart #0 #Var: 23384 LB: 0 @ 904.73 905.64 c Restart #1 #Var: 23384 LB: 0 @ 905.39 906.13 c Restart #2 #Var: 23384 LB: 0 @ 905.88 907.55 c Restart #3 #Var: 23384 LB: 0 @ 907.3 908.60 c Restart #4 #Var: 23384 LB: 0 @ 908.35 909.80 c Restart #5 #Var: 23384 LB: 0 @ 909.55 911.09 c Restart #6 #Var: 23384 LB: 0 @ 910.84 913.16 c Restart #7 #Var: 23384 LB: 0 @ 912.9 914.26 c Restart #8 #Var: 23384 LB: 0 @ 914 916.10 c Restart #9 #Var: 23384 LB: 0 @ 915.85 917.90 c Restart #10 #Var: 23384 LB: 0 @ 917.65 919.88 c Restart #11 #Var: 23384 LB: 0 @ 919.62 922.13 c Restart #12 #Var: 23384 LB: 0 @ 921.88 924.28 c Restart #13 #Var: 23384 LB: 0 @ 924.02 927.16 c Restart #14 #Var: 23384 LB: 0 @ 926.9 929.90 c Restart #15 #Var: 23384 LB: 0 @ 929.64 935.00 c Restart #16 #Var: 23384 LB: 0 @ 934.74 938.69 c Restart #17 #Var: 23384 LB: 0 @ 938.43 942.59 c Restart #18 #Var: 23384 LB: 0 @ 942.33 946.06 c Restart #19 #Var: 23384 LB: 0 @ 945.79 950.01 c Restart #20 #Var: 23384 LB: 0 @ 949.75 954.27 c Restart #21 #Var: 23384 LB: 0 @ 954.01 958.47 c Restart #22 #Var: 23384 LB: 0 @ 958.21 963.30 c Restart #23 #Var: 23384 LB: 0 @ 963.03 969.25 c Restart #24 #Var: 23384 LB: 0 @ 968.98 976.45 c Restart #25 #Var: 23384 LB: 0 @ 976.18 982.58 c Restart #26 #Var: 23384 LB: 0 @ 982.31 988.05 c Restart #27 #Var: 23384 LB: 0 @ 987.78 994.86 c Restart #28 #Var: 23384 LB: 0 @ 994.58 1001.20 c Restart #29 #Var: 23384 LB: 0 @ 1000.9 1008.31 c Restart #30 #Var: 23384 LB: 0 @ 1008 1018.07 c Restart #31 #Var: 23384 LB: 0 @ 1017.8 1023.66 c Restart #32 #Var: 23384 LB: 0 @ 1023.4 1032.49 c Restart #33 #Var: 23384 LB: 0 @ 1032.2 1038.57 c Restart #34 #Var: 23384 LB: 0 @ 1038.3 1046.24 c Restart #35 #Var: 23384 LB: 0 @ 1046 1054.83 c Restart #36 #Var: 23384 LB: 0 @ 1054.5 1066.47 c Restart #37 #Var: 23384 LB: 0 @ 1066.2 1073.25 c Restart #38 #Var: 23384 LB: 0 @ 1073 1080.42 c Restart #39 #Var: 23384 LB: 0 @ 1080.1 1107.56 c Restart #40 #Var: 23384 LB: 0 @ 1107.3 1114.31 c Restart #41 #Var: 23384 LB: 0 @ 1114 1121.38 c Restart #42 #Var: 23384 LB: 0 @ 1121.1 1128.85 c Restart #43 #Var: 23384 LB: 0 @ 1128.5 1140.18 c Restart #44 #Var: 23384 LB: 0 @ 1139.9 1147.59 c Restart #45 #Var: 23384 LB: 0 @ 1147.3 1157.85 c Restart #46 #Var: 23384 LB: 0 @ 1157.5 1169.99 c Restart #47 #Var: 23384 LB: 0 @ 1169.7 1181.19 c Restart #48 #Var: 23384 LB: 0 @ 1180.9 1194.61 c Restart #49 #Var: 23384 LB: 0 @ 1194.3 1203.60 c Restart #50 #Var: 23384 LB: 0 @ 1203.3 1214.27 c Restart #51 #Var: 23384 LB: 0 @ 1213.9 1224.43 c Restart #52 #Var: 23384 LB: 0 @ 1224.1 1236.36 c Restart #53 #Var: 23384 LB: 0 @ 1236 1249.49 c Restart #54 #Var: 23384 LB: 0 @ 1249.2 1260.14 c Restart #55 #Var: 23384 LB: 0 @ 1259.8 1272.99 c Restart #56 #Var: 23384 LB: 0 @ 1272.6 1283.78 c Restart #57 #Var: 23384 LB: 0 @ 1283.4 1293.98 c Restart #58 #Var: 23384 LB: 0 @ 1293.6 1338.37 c Restart #59 #Var: 23384 LB: 0 @ 1338 1355.53 c Restart #60 #Var: 23384 LB: 0 @ 1355.2 1367.55 c Restart #61 #Var: 23384 LB: 0 @ 1367.2 1380.53 c Restart #62 #Var: 23384 LB: 0 @ 1380.2 1393.46 c Restart #63 #Var: 23384 LB: 0 @ 1393.1 1406.95 c Restart #64 #Var: 23384 LB: 0 @ 1406.6 1420.81 c Restart #65 #Var: 23384 LB: 0 @ 1420.4 1437.13 c Restart #66 #Var: 23384 LB: 0 @ 1436.7 1469.00 c Restart #67 #Var: 23384 LB: 0 @ 1468.6 1484.90 c Restart #68 #Var: 23384 LB: 0 @ 1484.5 1525.22 c Restart #69 #Var: 23384 LB: 0 @ 1524.8 1534.90 c Restart #70 #Var: 23384 LB: 0 @ 1534.5 1569.42 c Restart #71 #Var: 23384 LB: 0 @ 1569 1594.86 c Restart #72 #Var: 23384 LB: 0 @ 1594.4 1611.02 c Restart #73 #Var: 23384 LB: 0 @ 1610.6 1629.38 c Restart #74 #Var: 23384 LB: 0 @ 1629 1648.41 c Restart #75 #Var: 23384 LB: 0 @ 1648 1665.62 c Restart #76 #Var: 23383 LB: 0 @ 1665.2 1679.48 c Restart #77 #Var: 23383 LB: 0 @ 1679 1697.33 c Restart #78 #Var: 23383 LB: 0 @ 1696.9 1716.56 c Restart #79 #Var: 23383 LB: 0 @ 1716.1 1736.27 c Restart #80 #Var: 23383 LB: 0 @ 1735.8 1754.92 c Restart #81 #Var: 23383 LB: 0 @ 1754.5 1779.53 c Restart #82 #Var: 23383 LB: 0 @ 1779.1 1800.47 s UNKNOWN 1800.47 c Exit Code: 0 1800.47 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/node43/watcher-39768-1149244218 -o ROOT/results/node43/solver-39768-1149244218 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39768-1149244218/instance-39768-1149244218.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.78 0.96 0.92 2/64 31088 /proc/meminfo: memFree=1564368/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=4924 CPUtime=0 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 272 0 0 0 0 0 0 0 19 0 1 0 190088535 5042176 242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696960 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 1231 248 159 55 0 123 0 [startup+10.0021 s] /proc/loadavg: 0.81 0.96 0.92 2/64 31088 /proc/meminfo: memFree=1531024/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=38544 CPUtime=9.95 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 9332 0 0 0 989 6 0 0 25 0 1 0 190088535 39469056 8622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 9636 8622 297 55 0 8528 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 38544 [startup+20.008 s] /proc/loadavg: 0.84 0.96 0.92 2/64 31088 /proc/meminfo: memFree=1531152/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=38544 CPUtime=19.96 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 9332 0 0 0 1989 7 0 0 25 0 1 0 190088535 39469056 8622 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 9636 8622 297 55 0 8528 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 38544 [startup+30.0139 s] /proc/loadavg: 0.86 0.96 0.92 2/64 31088 /proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=38908 CPUtime=29.96 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 2988 8 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 9727 8718 297 55 0 8619 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 38908 [startup+40.0197 s] /proc/loadavg: 0.89 0.96 0.92 2/64 31088 /proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=38908 CPUtime=39.97 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 3988 9 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 9727 8718 297 55 0 8619 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 38908 [startup+50.0256 s] /proc/loadavg: 0.90 0.96 0.92 2/64 31088 /proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=38908 CPUtime=49.97 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 4988 9 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 9727 8718 297 55 0 8619 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 38908 [startup+60.0315 s] /proc/loadavg: 0.92 0.96 0.92 2/64 31088 /proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=38908 CPUtime=59.97 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 5988 9 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 9727 8718 297 55 0 8619 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 38908 [startup+70.0373 s] /proc/loadavg: 0.93 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=38908 CPUtime=69.97 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 6988 9 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 9727 8718 297 55 0 8619 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 38908 [startup+80.0432 s] /proc/loadavg: 0.94 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1530576/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=38908 CPUtime=79.98 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 10197 0 0 0 7988 10 0 0 25 0 1 0 190088535 39841792 8718 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 9727 8718 297 55 0 8619 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 38908 [startup+90.049 s] /proc/loadavg: 0.95 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1527696/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=41740 CPUtime=89.99 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 11064 0 0 0 8986 13 0 0 25 0 1 0 190088535 42741760 9426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719284 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 10435 9426 297 55 0 9327 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 41740 [startup+100.054 s] /proc/loadavg: 0.96 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1527696/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=41740 CPUtime=99.98 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 11064 0 0 0 9984 14 0 0 25 0 1 0 190088535 42741760 9426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 10435 9426 297 55 0 9327 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 41740 [startup+110.06 s] /proc/loadavg: 0.96 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1526160/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=43596 CPUtime=109.99 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 11575 0 0 0 10983 16 0 0 25 0 1 0 190088535 44642304 9860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 10899 9860 297 55 0 9791 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 43596 [startup+120.066 s] /proc/loadavg: 0.97 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46820 CPUtime=119.99 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12488 0 0 0 11982 17 0 0 25 0 1 0 190088535 47943680 10694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11705 10694 297 55 0 10597 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 46820 [startup+130.072 s] /proc/loadavg: 0.97 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46820 CPUtime=129.99 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12488 0 0 0 12981 18 0 0 25 0 1 0 190088535 47943680 10694 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11705 10694 297 55 0 10597 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 46820 [startup+140.077 s] /proc/loadavg: 0.98 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46820 CPUtime=140 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 13977 23 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11705 10695 297 55 0 10597 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 46820 [startup+150.083 s] /proc/loadavg: 0.98 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46820 CPUtime=150.01 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 14977 24 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11705 10695 297 55 0 10597 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 46820 [startup+160.088 s] /proc/loadavg: 0.98 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46820 CPUtime=160 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 15975 25 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11705 10695 297 55 0 10597 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 46820 [startup+170.093 s] /proc/loadavg: 0.98 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46820 CPUtime=170 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 16974 26 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11705 10695 297 55 0 10597 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 46820 [startup+180.099 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46820 CPUtime=180.01 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12489 0 0 0 17972 29 0 0 25 0 1 0 190088535 47943680 10695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11705 10695 297 55 0 10597 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 46820 [startup+190.105 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522640/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46820 CPUtime=190.02 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12490 0 0 0 18971 31 0 0 25 0 1 0 190088535 47943680 10696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11705 10696 297 55 0 10597 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 46820 [startup+200.111 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31088 /proc/meminfo: memFree=1522576/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=46832 CPUtime=200.01 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 12780 0 0 0 19969 32 0 0 25 0 1 0 190088535 47955968 10699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 11708 10699 297 55 0 10600 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 46832 [startup+210.117 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1517776/2055920 swapFree=4180880/4192956 ################ # More data... # ################ /proc/31088/statm: 30168 29177 297 55 0 29060 0 Current children cumulated CPU time (s) 1760.55 Current children cumulated vsize (Kb) 120672 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1447760/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=121068 CPUtime=1770.56 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 38432 0 0 0 176836 220 0 0 25 0 1 0 190088535 123973632 29304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 30267 29304 297 55 0 29159 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (Kb) 121068 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1780.56 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 177835 221 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1780.56 Current children cumulated vsize (Kb) 124788 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1781.57 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 177935 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 124788 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1782.58 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178036 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 124788 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1783.58 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178136 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 124788 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1784.59 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178237 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542332 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 124788 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1785.59 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178337 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 124788 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1786.59 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178437 222 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 124788 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1787.6 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178537 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 124788 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1788.61 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178638 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 124788 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1789.61 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178738 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 124788 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1790.61 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178838 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 124788 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1791.62 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 178939 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 124788 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1792.62 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179039 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 124788 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1793.62 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179139 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529458 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 124788 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1794.63 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179240 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 124788 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1795.63 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179340 223 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 124788 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1443856/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=124788 CPUtime=1796.64 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 39617 0 0 0 179440 224 0 0 25 0 1 0 190088535 127782912 30234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551512 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31197 30234 297 55 0 30089 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 124788 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1442192/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=126648 CPUtime=1797.64 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 40109 0 0 0 179540 224 0 0 25 0 1 0 190088535 129687552 30691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31662 30691 297 55 0 30554 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 126648 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1442384/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=126252 CPUtime=1798.65 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 40112 0 0 0 179641 224 0 0 25 0 1 0 190088535 129282048 30600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31563 30600 297 55 0 30455 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 126252 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 31090 /proc/meminfo: memFree=1442384/2055920 swapFree=4180880/4192956 [pid=31088] ppid=31086 vsize=126252 CPUtime=1799.65 /proc/31088/stat : 31088 (bsolo) R 31086 31088 31042 0 -1 0 40112 0 0 0 179741 224 0 0 25 0 1 0 190088535 129282048 30600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31088/statm: 31563 30600 297 55 0 30455 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 126252 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.03 CPU user time (s): 1797.76 CPU system time (s): 2.27065 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (Kb): 126648
Begin job on node43 on Fri Jun 2 10:30:18 UTC 2006 FILE ID= 39768-1149244218 PBS_JOBID= 297659 BENCH NAME= ROOT/tmp/node43/39768-1149244218/instance-39768-1149244218.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39768-1149244218/instance-39768-1149244218.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-39768-1149244218 -o ROOT/results/node43/solver-39768-1149244218 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39768-1149244218/instance-39768-1149244218.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= b1cb8dfc9613a6d80968091d3346a684 RANDOM SEED= 710666962 /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.216 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.216 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: 1564576 kB Buffers: 10232 kB Cached: 410848 kB SwapCached: 3716 kB Active: 47548 kB Inactive: 382172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1564576 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 284 kB Writeback: 0 kB Mapped: 14816 kB Slab: 47656 kB Committed_AS: 250568 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Fri Jun 2 11:00:18 UTC 2006