Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | UNSAT | 268.839 | 268.927 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-qiu.opb |
MD5SUM | 42437a98f8f475fdcbcf3676beea9d9f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 268.839 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23808 |
Total number of constraints | 1192 |
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 | 1192 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 5940 |
Number of terms in the objective function | 7968 |
Biggest coefficient in the objective function | 9098351345664 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 4803935111035752 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 9098351345664 |
Number of bits of the biggest number in a constraint | 44 |
Biggest sum of numbers in a constraint | 4803935111035752 |
Number of bits of the biggest sum of numbers | 53 |
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.01 c BIG Int formula... 0.95 c Initial problem consists of 23808 variables and 1324 constraints. 1.02 c No problem reductions applied in OPT. instance. 1.02 c preprocess terminated. Elapsed time: 1.01 1.02 c After prepocess the problem consists of 8316 variables and 1324 constraints. 1.02 c Initial Lower Bound: -13566141288 1.26 c Restart #1 #Var: 8316 LB: -13566141288 @ 1.251 1.61 c Restart #2 #Var: 8316 LB: -13566141288 @ 1.598 2.17 c Restart #3 #Var: 8316 LB: -13566141288 @ 2.163 2.93 c Restart #4 #Var: 8316 LB: -13566141288 @ 2.922 3.83 c Restart #5 #Var: 8316 LB: -13566141288 @ 3.818 4.66 c Restart #6 #Var: 8316 LB: -13566141288 @ 4.653 5.21 c Restart #7 #Var: 8316 LB: -13566141288 @ 5.197 5.92 c Restart #8 #Var: 8316 LB: -13566141288 @ 5.905 6.69 c Restart #9 #Var: 8316 LB: -13566141288 @ 6.674 7.46 c Restart #10 #Var: 8316 LB: -13566141288 @ 7.448 8.35 c Restart #11 #Var: 8316 LB: -13566141288 @ 8.336 9.72 c Restart #12 #Var: 8316 LB: -13566141288 @ 9.702 10.06 c Restart #13 #Var: 8316 LB: -13566141288 @ 10.043 10.24 c Restart #14 #Var: 8312 LB: -13557464424 @ 10.231 10.44 c Restart #15 #Var: 8310 LB: -13553125992 @ 10.428 10.65 c Restart #16 #Var: 8310 LB: -13553125992 @ 10.637 10.88 c Restart #17 #Var: 8310 LB: -13553125992 @ 10.861 11.11 c Restart #18 #Var: 8308 LB: -13548787560 @ 11.096 11.36 c Restart #19 #Var: 8308 LB: -13548787560 @ 11.342 11.61 c Restart #20 #Var: 8308 LB: -13548787560 @ 11.6 11.88 c Restart #21 #Var: 8308 LB: -13548787560 @ 11.871 12.17 c Restart #22 #Var: 8308 LB: -13548787560 @ 12.156 12.47 c Restart #23 #Var: 8308 LB: -13548787560 @ 12.452 12.78 c Restart #24 #Var: 8308 LB: -13548787560 @ 12.763 13.11 c Restart #25 #Var: 8308 LB: -13548787560 @ 13.094 13.47 c Restart #26 #Var: 8308 LB: -13548787560 @ 13.46 13.90 c Restart #27 #Var: 8308 LB: -13548787560 @ 13.882 14.37 c Restart #28 #Var: 8308 LB: -13548787560 @ 14.355 15.21 c Restart #29 #Var: 8308 LB: -13548787560 @ 15.196 16.22 c Restart #30 #Var: 8308 LB: -13548787560 @ 16.201 16.87 c Restart #31 #Var: 8308 LB: -13548787560 @ 16.858 17.35 c Restart #32 #Var: 8308 LB: -13548787560 @ 17.332 17.76 c Restart #33 #Var: 8308 LB: -13548787560 @ 17.741 18.18 c Restart #34 #Var: 8308 LB: -13548787560 @ 18.161 18.62 c Restart #35 #Var: 8308 LB: -13548787560 @ 18.606 19.08 c Restart #36 #Var: 8308 LB: -13548787560 @ 19.06 19.66 c Restart #37 #Var: 8308 LB: -13548787560 @ 19.643 20.19 c Restart #38 #Var: 8308 LB: -13548787560 @ 20.171 20.67 c Restart #39 #Var: 8308 LB: -13548787560 @ 20.648 21.16 c Restart #40 #Var: 8308 LB: -13548787560 @ 21.147 21.67 c Restart #41 #Var: 8308 LB: -13548787560 @ 21.656 22.20 c Restart #42 #Var: 8308 LB: -13548787560 @ 22.186 22.73 c Restart #43 #Var: 8308 LB: -13548787560 @ 22.709 23.26 c Restart #44 #Var: 8308 LB: -13548787560 @ 23.245 23.82 c Restart #45 #Var: 8308 LB: -13548787560 @ 23.798 24.37 c Restart #46 #Var: 8308 LB: -13548787560 @ 24.358 24.95 c Restart #47 #Var: 8308 LB: -13548787560 @ 24.936 25.57 c Restart #48 #Var: 8308 LB: -13548787560 @ 25.552 26.17 c Restart #49 #Var: 8308 LB: -13548787560 @ 26.151 26.78 c Restart #50 #Var: 8308 LB: -13548787560 @ 26.765 27.42 c Restart #51 #Var: 8308 LB: -13548787560 @ 27.406 28.06 c Restart #52 #Var: 8308 LB: -13548787560 @ 28.04 28.70 c Restart #53 #Var: 8308 LB: -13548787560 @ 28.685 29.38 c Restart #54 #Var: 8308 LB: -13548787560 @ 29.36 30.06 c Restart #55 #Var: 8308 LB: -13548787560 @ 30.046 30.75 c Restart #56 #Var: 8308 LB: -13548787560 @ 30.733 31.47 c Restart #57 #Var: 8308 LB: -13548787560 @ 31.455 32.18 c Restart #58 #Var: 8308 LB: -13548787560 @ 32.158 32.89 c Restart #59 #Var: 8308 LB: -13548787560 @ 32.872 33.65 c Restart #60 #Var: 8308 LB: -13548787560 @ 33.633 34.39 c Restart #61 #Var: 8308 LB: -13548787560 @ 34.369 35.15 c Restart #62 #Var: 8308 LB: -13548787560 @ 35.13 35.91 c Restart #63 #Var: 8308 LB: -13548787560 @ 35.891 36.71 c Restart #64 #Var: 8308 LB: -13548787560 @ 36.693 37.50 c Restart #65 #Var: 8308 LB: -13548787560 @ 37.478 38.32 c Restart #66 #Var: 8308 LB: -13548787560 @ 38.296 39.13 c Restart #67 #Var: 8308 LB: -13548787560 @ 39.107 39.96 c Restart #68 #Var: 8308 LB: -13548787560 @ 39.935 40.79 c Restart #69 #Var: 8308 LB: -13548787560 @ 40.772 41.65 c Restart #70 #Var: 8308 LB: -13548787560 @ 41.628 42.52 c Restart #71 #Var: 8308 LB: -13548787560 @ 42.498 43.41 c Restart #72 #Var: 8308 LB: -13548787560 @ 43.387 44.30 c Restart #73 #Var: 8308 LB: -13548787560 @ 44.281 45.23 c Restart #74 #Var: 8308 LB: -13548787560 @ 45.206 46.15 c Restart #75 #Var: 8308 LB: -13548787560 @ 46.126 47.08 c Restart #76 #Var: 8308 LB: -13548787560 @ 47.06 48.04 c Restart #77 #Var: 8308 LB: -13548787560 @ 48.011 49.02 c Restart #78 #Var: 8308 LB: -13548787560 @ 48.995 49.99 c Restart #79 #Var: 8308 LB: -13548787560 @ 49.968 50.98 c Restart #80 #Var: 8308 LB: -13548787560 @ 50.96 51.98 c Restart #81 #Var: 8308 LB: -13548787560 @ 51.952 52.99 c Restart #82 #Var: 8308 LB: -13548787560 @ 52.968 54.02 c Restart #83 #Var: 8308 LB: -13548787560 @ 53.997 55.05 c Restart #84 #Var: 8308 LB: -13548787560 @ 55.02 56.08 c Restart #85 #Var: 8308 LB: -13548787560 @ 56.059 57.13 c Restart #86 #Var: 8308 LB: -13548787560 @ 57.109 58.20 c Restart #87 #Var: 8308 LB: -13548787560 @ 58.179 59.29 c Restart #88 #Var: 8308 LB: -13548787560 @ 59.266 60.38 c Restart #89 #Var: 8308 LB: -13548787560 @ 60.35 61.49 c Restart #90 #Var: 8308 LB: -13548787560 @ 61.461 62.60 c Restart #91 #Var: 8308 LB: -13548787560 @ 62.573 63.75 c Restart #92 #Var: 8308 LB: -13548787560 @ 63.721 64.89 c Restart #93 #Var: 8308 LB: -13548787560 @ 64.858 66.05 c Restart #94 #Var: 8308 LB: -13548787560 @ 66.018 67.22 c Restart #95 #Var: 8308 LB: -13548787560 @ 67.189 68.40 c Restart #96 #Var: 8308 LB: -13548787560 @ 68.374 69.60 c Restart #97 #Var: 8308 LB: -13548787560 @ 69.575 70.83 c Restart #98 #Var: 8308 LB: -13548787560 @ 70.799 72.04 c Restart #99 #Var: 8308 LB: -13548787560 @ 72.015 73.29 c Restart #100 #Var: 8308 LB: -13548787560 @ 73.259 74.51 c Restart #101 #Var: 8308 LB: -13548787560 @ 74.481 75.76 c Restart #102 #Var: 8308 LB: -13548787560 @ 75.725 77.00 c Restart #103 #Var: 8308 LB: -13548787560 @ 76.968 78.28 c Restart #104 #Var: 8308 LB: -13548787560 @ 78.244 79.56 c Restart #105 #Var: 8308 LB: -13548787560 @ 79.524 80.86 c Restart #106 #Var: 8308 LB: -13548787560 @ 80.827 82.18 c Restart #107 #Var: 8308 LB: -13548787560 @ 82.146 83.50 c Restart #108 #Var: 8308 LB: -13548787560 @ 83.47 84.85 c Restart #109 #Var: 8308 LB: -13548787560 @ 84.821 86.23 c Restart #110 #Var: 8308 LB: -13548787560 @ 86.199 87.58 c Restart #111 #Var: 8308 LB: -13548787560 @ 87.549 88.97 c Restart #112 #Var: 8308 LB: -13548787560 @ 88.934 90.34 c Restart #113 #Var: 8308 LB: -13548787560 @ 90.302 91.73 c Restart #114 #Var: 8308 LB: -13548787560 @ 91.692 93.11 c Restart #115 #Var: 8308 LB: -13548787560 @ 93.074 94.55 c Restart #116 #Var: 8308 LB: -13548787560 @ 94.511 95.98 c Restart #117 #Var: 8308 LB: -13548787560 @ 95.94 97.41 c Restart #118 #Var: 8308 LB: -13548787560 @ 97.372 98.87 c Restart #119 #Var: 8308 LB: -13548787560 @ 98.83 100.32 c Restart #120 #Var: 8308 LB: -13548787560 @ 100.29 101.80 c Restart #121 #Var: 8308 LB: -13548787560 @ 101.76 103.30 c Restart #122 #Var: 8308 LB: -13548787560 @ 103.26 104.83 c Restart #123 #Var: 8308 LB: -13548787560 @ 104.79 106.34 c Restart #124 #Var: 8308 LB: -13548787560 @ 106.3 107.87 c Restart #125 #Var: 8308 LB: -13548787560 @ 107.83 109.41 c Restart #126 #Var: 8308 LB: -13548787560 @ 109.37 110.97 c Restart #127 #Var: 8308 LB: -13548787560 @ 110.93 112.51 c Restart #128 #Var: 8308 LB: -13548787560 @ 112.47 114.10 c Restart #129 #Var: 8308 LB: -13548787560 @ 114.05 115.67 c Restart #130 #Var: 8308 LB: -13548787560 @ 115.63 117.24 c Restart #131 #Var: 8308 LB: -13548787560 @ 117.2 118.87 c Restart #132 #Var: 8308 LB: -13548787560 @ 118.82 120.51 c Restart #133 #Var: 8308 LB: -13548787560 @ 120.47 122.15 c Restart #134 #Var: 8308 LB: -13548787560 @ 122.1 123.82 c Restart #135 #Var: 8308 LB: -13548787560 @ 123.78 125.48 c Restart #136 #Var: 8308 LB: -13548787560 @ 125.44 127.16 c Restart #137 #Var: 8308 LB: -13548787560 @ 127.11 128.84 c Restart #138 #Var: 8308 LB: -13548787560 @ 128.8 130.55 c Restart #139 #Var: 8308 LB: -13548787560 @ 130.5 132.25 c Restart #140 #Var: 8308 LB: -13548787560 @ 132.21 133.98 c Restart #141 #Var: 8308 LB: -13548787560 @ 133.93 135.71 c Restart #142 #Var: 8308 LB: -13548787560 @ 135.66 137.46 c Restart #143 #Var: 8308 LB: -13548787560 @ 137.41 139.20 c Restart #144 #Var: 8308 LB: -13548787560 @ 139.15 140.98 c Restart #145 #Var: 8308 LB: -13548787560 @ 140.93 142.76 c Restart #146 #Var: 8308 LB: -13548787560 @ 142.71 144.60 c Restart #147 #Var: 8308 LB: -13548787560 @ 144.54 146.41 c Restart #148 #Var: 8308 LB: -13548787560 @ 146.35 148.23 c Restart #149 #Var: 8308 LB: -13548787560 @ 148.18 150.05 c Restart #150 #Var: 8308 LB: -13548787560 @ 149.99 151.89 c Restart #151 #Var: 8308 LB: -13548787560 @ 151.83 153.73 c Restart #152 #Var: 8308 LB: -13548787560 @ 153.68 155.56 c Restart #153 #Var: 8308 LB: -13548787560 @ 155.51 157.41 c Restart #154 #Var: 8308 LB: -13548787560 @ 157.36 159.28 c Restart #155 #Var: 8308 LB: -13548787560 @ 159.23 161.13 c Restart #156 #Var: 8308 LB: -13548787560 @ 161.07 163.00 c Restart #157 #Var: 8308 LB: -13548787560 @ 162.94 164.90 c Restart #158 #Var: 8308 LB: -13548787560 @ 164.84 166.81 c Restart #159 #Var: 8308 LB: -13548787560 @ 166.75 168.73 c Restart #160 #Var: 8308 LB: -13548787560 @ 168.68 170.68 c Restart #161 #Var: 8308 LB: -13548787560 @ 170.62 172.63 c Restart #162 #Var: 8308 LB: -13548787560 @ 172.57 174.58 c Restart #163 #Var: 8308 LB: -13548787560 @ 174.53 176.55 c Restart #164 #Var: 8308 LB: -13548787560 @ 176.49 178.54 c Restart #165 #Var: 8308 LB: -13548787560 @ 178.48 180.53 c Restart #166 #Var: 8308 LB: -13548787560 @ 180.47 182.56 c Restart #167 #Var: 8308 LB: -13548787560 @ 182.49 184.58 c Restart #168 #Var: 8308 LB: -13548787560 @ 184.52 186.65 c Restart #169 #Var: 8308 LB: -13548787560 @ 186.59 188.73 c Restart #170 #Var: 8308 LB: -13548787560 @ 188.66 190.79 c Restart #171 #Var: 8308 LB: -13548787560 @ 190.73 192.85 c Restart #172 #Var: 8308 LB: -13548787560 @ 192.79 194.91 c Restart #173 #Var: 8308 LB: -13548787560 @ 194.84 197.02 c Restart #174 #Var: 8308 LB: -13548787560 @ 196.96 199.14 c Restart #175 #Var: 8308 LB: -13548787560 @ 199.07 201.24 c Restart #176 #Var: 8308 LB: -13548787560 @ 201.18 203.37 c Restart #177 #Var: 8308 LB: -13548787560 @ 203.31 205.53 c Restart #178 #Var: 8308 LB: -13548787560 @ 205.47 207.72 c Restart #179 #Var: 8308 LB: -13548787560 @ 207.65 209.88 c Restart #180 #Var: 8308 LB: -13548787560 @ 209.82 212.05 c Restart #181 #Var: 8308 LB: -13548787560 @ 211.98 214.22 c Restart #182 #Var: 8308 LB: -13548787560 @ 214.15 216.40 c Restart #183 #Var: 8308 LB: -13548787560 @ 216.33 218.61 c Restart #184 #Var: 8308 LB: -13548787560 @ 218.54 220.85 c Restart #185 #Var: 8308 LB: -13548787560 @ 220.78 223.11 c Restart #186 #Var: 8308 LB: -13548787560 @ 223.04 225.38 c Restart #187 #Var: 8308 LB: -13548787560 @ 225.31 227.64 c Restart #188 #Var: 8307 LB: -13548787560 @ 227.56 229.90 c Restart #189 #Var: 8307 LB: -13548787560 @ 229.82 232.16 c Restart #190 #Var: 8307 LB: -13548787560 @ 232.08 234.41 c Restart #191 #Var: 8307 LB: -13548787560 @ 234.33 236.69 c Restart #192 #Var: 8307 LB: -13548787560 @ 236.62 238.97 c Restart #193 #Var: 8307 LB: -13548787560 @ 238.89 241.27 c Restart #194 #Var: 8307 LB: -13548787560 @ 241.19 243.62 c Restart #195 #Var: 8307 LB: -13548787560 @ 243.54 245.96 c Restart #196 #Var: 8307 LB: -13548787560 @ 245.88 248.32 c Restart #197 #Var: 8307 LB: -13548787560 @ 248.24 250.69 c Restart #198 #Var: 8307 LB: -13548787560 @ 250.61 253.03 c Restart #199 #Var: 8306 LB: -13548787560 @ 252.95 255.40 c Restart #200 #Var: 8306 LB: -13548787560 @ 255.32 257.77 c Restart #201 #Var: 8306 LB: -13548787560 @ 257.69 260.18 c Restart #202 #Var: 8305 LB: -13548787560 @ 260.09 262.57 c Restart #203 #Var: 8298 LB: -13542279912 @ 262.49 264.97 c Restart #204 #Var: 8296 LB: -13425509096 @ 264.88 267.36 c Restart #205 #Var: 8292 LB: -13422255272 @ 267.28 268.92 s UNSATISFIABLE 268.92 c Exit Code: 20 268.92 c Total time: 268.83 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/node9/watcher-40760-1149316400 -o ROOT/results/node9/solver-40760-1149316400 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/40760-1149316400/instance-40760-1149316400.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1555128/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=4664 CPUtime=0 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 142 0 0 0 0 0 0 0 19 0 1 0 197302300 4775936 123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8627392 0 0 4096 0 0 0 0 17 1 0 0 /proc/18453/statm: 1166 123 103 55 0 46 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1525624/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=34972 CPUtime=9.98 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9225 0 0 0 950 48 0 0 25 0 1 0 197302300 35811328 7662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8743 7662 298 55 0 7635 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 34972 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1525496/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=35216 CPUtime=19.99 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9286 0 0 0 1946 53 0 0 25 0 1 0 197302300 36061184 7723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8804 7723 298 55 0 7696 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 35216 [startup+30.0161 s] /proc/loadavg: 0.95 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1525432/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=35216 CPUtime=29.98 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9306 0 0 0 2939 59 0 0 25 0 1 0 197302300 36061184 7743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8804 7743 298 55 0 7696 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 35216 [startup+40.0213 s] /proc/loadavg: 0.96 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1525368/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=35332 CPUtime=40 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9330 0 0 0 3935 65 0 0 25 0 1 0 197302300 36179968 7767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8833 7767 298 55 0 7725 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 35332 [startup+50.0274 s] /proc/loadavg: 0.96 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1525240/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=35456 CPUtime=50 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9361 0 0 0 4929 71 0 0 25 0 1 0 197302300 36306944 7798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8864 7798 298 55 0 7756 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 35456 [startup+60.0336 s] /proc/loadavg: 0.97 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1525240/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=35584 CPUtime=60 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9384 0 0 0 5923 77 0 0 25 0 1 0 197302300 36438016 7821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8896 7821 298 55 0 7788 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 35584 [startup+70.0397 s] /proc/loadavg: 0.97 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1525112/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=35708 CPUtime=70 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9414 0 0 0 6919 81 0 0 25 0 1 0 197302300 36564992 7851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8927 7851 298 55 0 7819 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 35708 [startup+80.0469 s] /proc/loadavg: 0.98 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1524920/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=35840 CPUtime=80.01 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9449 0 0 0 7913 88 0 0 25 0 1 0 197302300 36700160 7886 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8960 7886 298 55 0 7852 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 35840 [startup+90.053 s] /proc/loadavg: 0.98 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1524856/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=35964 CPUtime=90.01 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9476 0 0 0 8908 93 0 0 25 0 1 0 197302300 36827136 7913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 8991 7913 298 55 0 7883 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 35964 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1524728/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36088 CPUtime=100.01 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9497 0 0 0 9901 100 0 0 25 0 1 0 197302300 36954112 7934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9022 7934 298 55 0 7914 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 36088 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1524664/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36088 CPUtime=110.01 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9523 0 0 0 10896 105 0 0 25 0 1 0 197302300 36954112 7960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9022 7960 298 55 0 7914 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 36088 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1524536/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36216 CPUtime=120.02 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9544 0 0 0 11891 111 0 0 25 0 1 0 197302300 37085184 7981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9054 7981 298 55 0 7946 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 36216 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18453 /proc/meminfo: memFree=1524472/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36340 CPUtime=130.02 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9568 0 0 0 12886 116 0 0 25 0 1 0 197302300 37212160 8005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9085 8005 298 55 0 7977 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 36340 [startup+140.084 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1524216/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36464 CPUtime=140.03 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9592 0 0 0 13880 123 0 0 25 0 1 0 197302300 37339136 8029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9116 8029 298 55 0 8008 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 36464 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1524216/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36464 CPUtime=150.03 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9612 0 0 0 14875 128 0 0 25 0 1 0 197302300 37339136 8049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9116 8049 298 55 0 8008 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 36464 [startup+160.096 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1524088/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36592 CPUtime=160.03 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9643 0 0 0 15870 133 0 0 25 0 1 0 197302300 37470208 8080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9148 8080 298 55 0 8040 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 36592 [startup+170.102 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1523960/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36716 CPUtime=170.03 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9670 0 0 0 16864 139 0 0 25 0 1 0 197302300 37597184 8107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9179 8107 298 55 0 8071 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 36716 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1523832/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36844 CPUtime=180.03 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9701 0 0 0 17857 146 0 0 25 0 1 0 197302300 37728256 8138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9211 8138 298 55 0 8103 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 36844 [startup+190.114 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1523768/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=36968 CPUtime=190.04 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9724 0 0 0 18853 151 0 0 25 0 1 0 197302300 37855232 8161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9242 8161 298 55 0 8134 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 36968 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1523640/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=37080 CPUtime=200.04 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9752 0 0 0 19847 157 0 0 25 0 1 0 197302300 37969920 8189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9270 8189 298 55 0 8162 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 37080 [startup+210.128 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1523512/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=37196 CPUtime=210.05 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9785 0 0 0 20841 164 0 0 25 0 1 0 197302300 38088704 8222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9299 8222 298 55 0 8191 0 Current children cumulated CPU time (s) 210.05 Current children cumulated vsize (Kb) 37196 [startup+220.134 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1523384/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=37316 CPUtime=220.05 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9823 0 0 0 21833 172 0 0 25 0 1 0 197302300 38211584 8260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9329 8260 298 55 0 8221 0 Current children cumulated CPU time (s) 220.05 Current children cumulated vsize (Kb) 37316 [startup+230.14 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1523192/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=37556 CPUtime=230.05 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9867 0 0 0 22828 177 0 0 25 0 1 0 197302300 38457344 8304 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604050 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9389 8304 298 55 0 8281 0 Current children cumulated CPU time (s) 230.05 Current children cumulated vsize (Kb) 37556 [startup+240.146 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1523000/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=37676 CPUtime=240.06 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9907 0 0 0 23823 183 0 0 25 0 1 0 197302300 38580224 8344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9419 8344 298 55 0 8311 0 Current children cumulated CPU time (s) 240.06 Current children cumulated vsize (Kb) 37676 [startup+250.153 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1522872/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=37800 CPUtime=250.06 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9951 0 0 0 24816 190 0 0 25 0 1 0 197302300 38707200 8388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9450 8388 298 55 0 8342 0 Current children cumulated CPU time (s) 250.06 Current children cumulated vsize (Kb) 37800 [startup+260.159 s] /proc/loadavg: 0.99 0.98 0.97 2/64 18455 /proc/meminfo: memFree=1522680/2055920 swapFree=4180864/4192956 [pid=18453] ppid=18451 vsize=38048 CPUtime=260.07 /proc/18453/stat : 18453 (bsolo) R 18451 18453 18407 0 -1 0 9993 0 0 0 25810 197 0 0 25 0 1 0 197302300 38961152 8430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18453/statm: 9512 8430 298 55 0 8404 0 Current children cumulated CPU time (s) 260.07 Current children cumulated vsize (Kb) 38048 Child status: 20 Real time (s): 268.927 CPU time (s): 268.839 CPU user time (s): 266.804 CPU system time (s): 2.03469 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (Kb): 38048
Begin job on node9 on Sat Jun 3 06:33:20 UTC 2006 FILE ID= 40760-1149316400 PBS_JOBID= 308352 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/40760-1149316400/instance-40760-1149316400.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-40760-1149316400 -o ROOT/results/node9/solver-40760-1149316400 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/40760-1149316400/instance-40760-1149316400.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 42437a98f8f475fdcbcf3676beea9d9f RANDOM SEED= 364787294 /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.234 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.234 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: 1555400 kB Buffers: 23412 kB Cached: 415388 kB SwapCached: 3744 kB Active: 46972 kB Inactive: 400524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1555400 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14720 kB Slab: 39076 kB Committed_AS: 311900 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node9 on Sat Jun 3 06:37:52 UTC 2006