Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.06 | 1800.58 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg.opb |
MD5SUM | 4f19aa044e880280faec0077a2509ba8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4890 |
Total number of constraints | 363 |
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 | 363 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 540 |
Number of terms in the objective function | 3930 |
Biggest coefficient in the objective function | 5373004087296 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 556141355997381 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 22763326668800000 |
Number of bits of the biggest number in a constraint | 55 |
Biggest sum of numbers in a constraint | 46271983665442689 |
Number of bits of the biggest sum of numbers | 56 |
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.02 c INFO: OSL Context initialized. 0.03 c BIG Int formula... 0.27 c Initial problem consists of 4890 variables and 393 constraints. 0.29 c No problem reductions applied in OPT. instance. 0.29 c preprocess terminated. Elapsed time: 0.28 0.29 c After prepocess the problem consists of 3069 variables and 177 constraints. 0.29 c Initial Lower Bound: -23824695210604 0.49 c Restart #1 #Var: 3069 LB: -23824695210604 @ 0.48 0.78 c Restart #2 #Var: 3069 LB: -23824695210604 @ 0.774 1.22 c Restart #3 #Var: 3069 LB: -23824695210604 @ 1.213 1.81 c Restart #4 #Var: 3069 LB: -23824695210604 @ 1.801 2.56 c Restart #5 #Var: 3069 LB: -23824695210604 @ 2.545 3.38 c Restart #6 #Var: 3069 LB: -23824695210604 @ 3.362 4.86 c Restart #7 #Var: 3069 LB: -23824695210604 @ 4.847 5.60 c Restart #8 #Var: 3069 LB: -23824695210604 @ 5.582 6.37 c Restart #9 #Var: 3069 LB: -23824695210604 @ 6.355 7.23 c Restart #10 #Var: 3069 LB: -23824695210604 @ 7.21 7.86 c Restart #11 #Var: 3069 LB: -23824695210604 @ 7.84 8.79 c Restart #12 #Var: 3069 LB: -23824695210604 @ 8.772 9.89 c Restart #13 #Var: 3069 LB: -23824695210604 @ 9.877 10.99 c Restart #14 #Var: 3069 LB: -23824695210604 @ 10.967 12.12 c Restart #15 #Var: 3069 LB: -23824695210604 @ 12.1 13.44 c Restart #16 #Var: 3069 LB: -23824695210604 @ 13.419 13.90 c Restart #17 #Var: 3069 LB: -23824695210604 @ 13.877 15.28 c Restart #18 #Var: 3069 LB: -23824695210604 @ 15.256 15.95 c Restart #19 #Var: 3069 LB: -23824695210604 @ 15.93 17.41 c Restart #20 #Var: 3069 LB: -23824695210604 @ 17.394 19.22 c Restart #21 #Var: 3069 LB: -23824695210604 @ 19.196 20.82 c Restart #22 #Var: 3069 LB: -23824695210604 @ 20.8 22.72 c Restart #23 #Var: 3069 LB: -23824695210604 @ 22.694 24.39 c Restart #24 #Var: 3069 LB: -23824695210604 @ 24.369 26.42 c Restart #25 #Var: 3069 LB: -23824695210604 @ 26.396 28.31 c Restart #26 #Var: 3069 LB: -23824695210604 @ 28.286 30.52 c Restart #27 #Var: 3069 LB: -23824695210604 @ 30.492 32.54 c Restart #28 #Var: 3069 LB: -23824695210604 @ 32.518 35.09 c Restart #29 #Var: 3069 LB: -23824695210604 @ 35.068 37.64 c Restart #30 #Var: 3069 LB: -23824695210604 @ 37.614 39.89 c Restart #31 #Var: 3069 LB: -23824695210604 @ 39.859 42.15 c Restart #32 #Var: 3069 LB: -23824695210604 @ 42.127 43.99 c Restart #33 #Var: 3069 LB: -23824695210604 @ 43.958 46.45 c Restart #34 #Var: 3069 LB: -23824695210604 @ 46.419 49.26 c Restart #35 #Var: 3069 LB: -23824695210604 @ 49.232 52.13 c Restart #36 #Var: 3069 LB: -23824695210604 @ 52.103 55.13 c Restart #37 #Var: 3069 LB: -23824695210604 @ 55.097 57.96 c Restart #38 #Var: 3069 LB: -23824695210604 @ 57.93 61.21 c Restart #39 #Var: 3069 LB: -23824695210604 @ 61.182 64.10 c Restart #40 #Var: 3069 LB: -23824695210604 @ 64.07 67.51 c Restart #41 #Var: 3069 LB: -23824695210604 @ 67.48 71.01 c Restart #42 #Var: 3069 LB: -23824695210604 @ 70.976 74.59 c Restart #43 #Var: 3069 LB: -23824695210604 @ 74.551 78.13 c Restart #44 #Var: 3069 LB: -23824695210604 @ 78.091 81.43 c Restart #45 #Var: 3069 LB: -23824695210604 @ 81.396 84.79 c Restart #46 #Var: 3069 LB: -23824695210604 @ 84.756 88.25 c Restart #47 #Var: 3069 LB: -23824695210604 @ 88.213 91.59 c Restart #48 #Var: 3069 LB: -23824695210604 @ 91.548 95.21 c Restart #49 #Var: 3069 LB: -23824695210604 @ 95.173 98.98 c Restart #50 #Var: 3069 LB: -23824695210604 @ 98.94 101.07 c Restart #51 #Var: 3069 LB: -23824695210604 @ 101.03 103.57 c Restart #52 #Var: 3069 LB: -23824695210604 @ 103.53 107.22 c Restart #53 #Var: 3069 LB: -23824695210604 @ 107.17 111.33 c Restart #54 #Var: 3069 LB: -23824695210604 @ 111.28 115.42 c Restart #55 #Var: 3069 LB: -23824695210604 @ 115.37 120.19 c Restart #56 #Var: 3069 LB: -23824695210604 @ 120.15 124.86 c Restart #57 #Var: 3069 LB: -23824695210604 @ 124.82 129.18 c Restart #58 #Var: 3069 LB: -23824695210604 @ 129.13 134.00 c Restart #59 #Var: 3069 LB: -23824695210604 @ 133.95 138.87 c Restart #60 #Var: 3069 LB: -23824695210604 @ 138.82 143.86 c Restart #61 #Var: 3069 LB: -23824695210604 @ 143.81 148.66 c Restart #62 #Var: 3069 LB: -23824695210604 @ 148.61 153.84 c Restart #63 #Var: 3069 LB: -23824695210604 @ 153.79 159.14 c Restart #64 #Var: 3069 LB: -23824695210604 @ 159.09 161.33 c Restart #65 #Var: 3069 LB: -23824695210604 @ 161.27 164.18 c Restart #66 #Var: 3069 LB: -23824695210604 @ 164.13 167.31 c Restart #67 #Var: 3069 LB: -23824695210604 @ 167.25 169.67 c Restart #68 #Var: 3069 LB: -23824695210604 @ 169.61 171.94 c Restart #69 #Var: 3069 LB: -23824695210604 @ 171.88 176.05 c Restart #70 #Var: 3069 LB: -23824695210604 @ 175.99 180.89 c Restart #71 #Var: 3069 LB: -23824695210604 @ 180.82 187.87 c Restart #72 #Var: 3069 LB: -23824695210604 @ 187.81 192.73 c Restart #73 #Var: 3069 LB: -23824695210604 @ 192.66 199.25 c Restart #74 #Var: 3069 LB: -23824695210604 @ 199.18 202.55 c Restart #75 #Var: 3069 LB: -23824695210604 @ 202.49 204.35 c Restart #76 #Var: 3069 LB: -23824695210604 @ 204.28 206.87 c Restart #77 #Var: 3069 LB: -23824695210604 @ 206.8 208.32 c Restart #78 #Var: 3069 LB: -23824695210604 @ 208.25 210.46 c Restart #79 #Var: 3069 LB: -23824695210604 @ 210.39 214.83 c Restart #80 #Var: 3069 LB: -23824695210604 @ 214.76 218.26 c Restart #81 #Var: 3069 LB: -23824695210604 @ 218.19 222.62 c Restart #82 #Var: 3069 LB: -23824695210604 @ 222.55 225.35 c Restart #83 #Var: 3069 LB: -23824695210604 @ 225.28 229.48 c Restart #84 #Var: 3069 LB: -23824695210604 @ 229.41 231.68 c Restart #85 #Var: 3069 LB: -23824695210604 @ 231.6 234.18 c Restart #86 #Var: 3069 LB: -23824695210604 @ 234.1 236.79 c Restart #87 #Var: 3069 LB: -23824695210604 @ 236.72 238.58 c Restart #88 #Var: 3069 LB: -23824695210604 @ 238.5 242.92 c Restart #89 #Var: 3069 LB: -23824695210604 @ 242.84 246.94 c Restart #90 #Var: 3069 LB: -23824695210604 @ 246.87 254.24 c Restart #91 #Var: 3069 LB: -23824695210604 @ 254.16 256.51 c Restart #92 #Var: 3069 LB: -23824695210604 @ 256.43 258.62 c Restart #93 #Var: 3069 LB: -23824695210604 @ 258.54 264.83 c Restart #94 #Var: 3069 LB: -23824695210604 @ 264.75 271.14 c Restart #95 #Var: 3069 LB: -23824695210604 @ 271.06 273.16 c Restart #96 #Var: 3069 LB: -23824695210604 @ 273.07 275.83 c Restart #97 #Var: 3069 LB: -23824695210604 @ 275.75 280.43 c Restart #98 #Var: 3069 LB: -23824695210604 @ 280.35 283.97 c Restart #99 #Var: 3069 LB: -23824695210604 @ 283.89 288.24 c Restart #100 #Var: 3069 LB: -23824695210604 @ 288.16 293.14 c Restart #101 #Var: 3069 LB: -23824695210604 @ 293.05 297.22 c Restart #102 #Var: 3069 LB: -23824695210604 @ 297.13 303.87 c Restart #103 #Var: 3069 LB: -23824695210604 @ 303.78 306.77 c Restart #104 #Var: 3069 LB: -23824695210604 @ 306.67 310.96 c Restart #105 #Var: 3069 LB: -23824695210604 @ 310.87 324.35 c Restart #106 #Var: 3069 LB: -23824695210604 @ 324.25 328.14 c Restart #107 #Var: 3069 LB: -23824695210604 @ 328.05 331.12 c Restart #108 #Var: 3069 LB: -23824695210604 @ 331.02 340.87 c Restart #109 #Var: 3069 LB: -23824695210604 @ 340.77 346.60 c Restart #110 #Var: 3069 LB: -23824695210604 @ 346.5 350.62 c Restart #111 #Var: 3069 LB: -23824695210604 @ 350.52 361.30 c Restart #112 #Var: 3069 LB: -23824695210604 @ 361.2 370.19 c Restart #113 #Var: 3069 LB: -23824695210604 @ 370.08 381.37 c Restart #114 #Var: 3069 LB: -23824695210604 @ 381.26 391.81 c Restart #115 #Var: 3069 LB: -23824695210604 @ 391.7 403.61 c Restart #116 #Var: 3069 LB: -23824695210604 @ 403.5 415.33 c Restart #117 #Var: 3069 LB: -23824695210604 @ 415.21 426.96 c Restart #118 #Var: 3069 LB: -23824695210604 @ 426.84 438.76 c Restart #119 #Var: 3069 LB: -23824695210604 @ 438.63 450.04 c Restart #120 #Var: 3069 LB: -23824695210604 @ 449.91 461.90 c Restart #121 #Var: 3069 LB: -23824695210604 @ 461.77 470.35 c Restart #122 #Var: 3069 LB: -23824695210604 @ 470.22 473.15 c Restart #123 #Var: 3069 LB: -23824695210604 @ 473.02 475.19 c Restart #124 #Var: 3069 LB: -23824695210604 @ 475.06 478.84 c Restart #125 #Var: 3069 LB: -23824695210604 @ 478.71 481.95 c Restart #126 #Var: 3069 LB: -23824695210604 @ 481.82 485.76 c Restart #127 #Var: 3069 LB: -23824695210604 @ 485.63 488.79 c Restart #128 #Var: 3069 LB: -23824695210604 @ 488.66 494.08 c Restart #129 #Var: 3069 LB: -23824695210604 @ 493.94 499.49 c Restart #130 #Var: 3069 LB: -23824695210604 @ 499.35 505.28 c Restart #131 #Var: 3069 LB: -23824695210604 @ 505.14 510.51 c Restart #132 #Var: 3069 LB: -23824695210604 @ 510.37 515.90 c Restart #133 #Var: 3069 LB: -23824695210604 @ 515.76 520.97 c Restart #134 #Var: 3069 LB: -23824695210604 @ 520.83 526.34 c Restart #135 #Var: 3069 LB: -23824695210604 @ 526.2 531.47 c Restart #136 #Var: 3069 LB: -23824695210604 @ 531.33 537.01 c Restart #137 #Var: 3069 LB: -23824695210604 @ 536.86 542.21 c Restart #138 #Var: 3069 LB: -23824695210604 @ 542.06 547.76 c Restart #139 #Var: 3069 LB: -23824695210604 @ 547.61 553.05 c Restart #140 #Var: 3069 LB: -23824695210604 @ 552.9 558.73 c Restart #141 #Var: 3069 LB: -23824695210604 @ 558.58 564.07 c Restart #142 #Var: 3069 LB: -23824695210604 @ 563.92 569.78 c Restart #143 #Var: 3069 LB: -23824695210604 @ 569.62 575.21 c Restart #144 #Var: 3069 LB: -23824695210604 @ 575.06 581.04 c Restart #145 #Var: 3069 LB: -23824695210604 @ 580.89 586.54 c Restart #146 #Var: 3069 LB: -23824695210604 @ 586.38 592.42 c Restart #147 #Var: 3069 LB: -23824695210604 @ 592.26 598.12 c Restart #148 #Var: 3069 LB: -23824695210604 @ 597.96 604.07 c Restart #149 #Var: 3069 LB: -23824695210604 @ 603.91 609.78 c Restart #150 #Var: 3069 LB: -23824695210604 @ 609.62 615.88 c Restart #151 #Var: 3069 LB: -23824695210604 @ 615.71 621.72 c Restart #152 #Var: 3069 LB: -23824695210604 @ 621.55 627.83 c Restart #153 #Var: 3069 LB: -23824695210604 @ 627.66 633.75 c Restart #154 #Var: 3069 LB: -23824695210604 @ 633.59 640.01 c Restart #155 #Var: 3069 LB: -23824695210604 @ 639.83 645.97 c Restart #156 #Var: 3069 LB: -23824695210604 @ 645.8 652.24 c Restart #157 #Var: 3069 LB: -23824695210604 @ 652.07 658.33 c Restart #158 #Var: 3069 LB: -23824695210604 @ 658.16 664.70 c Restart #159 #Var: 3069 LB: -23824695210604 @ 664.53 670.80 c Restart #160 #Var: 3069 LB: -23824695210604 @ 670.62 677.28 c Restart #161 #Var: 3069 LB: -23824695210604 @ 677.1 683.49 c Restart #162 #Var: 3069 LB: -23824695210604 @ 683.31 690.02 c Restart #163 #Var: 3069 LB: -23824695210604 @ 689.83 696.32 c Restart #164 #Var: 3069 LB: -23824695210604 @ 696.14 702.89 c Restart #165 #Var: 3069 LB: -23824695210604 @ 702.71 709.19 c Restart #166 #Var: 3069 LB: -23824695210604 @ 709 715.89 c Restart #167 #Var: 3069 LB: -23824695210604 @ 715.7 722.39 c Restart #168 #Var: 3069 LB: -23824695210604 @ 722.2 729.12 c Restart #169 #Var: 3069 LB: -23824695210604 @ 728.92 735.68 c Restart #170 #Var: 3069 LB: -23824695210604 @ 735.49 742.54 c Restart #171 #Var: 3069 LB: -23824695210604 @ 742.34 749.07 c Restart #172 #Var: 3069 LB: -23824695210604 @ 748.87 756.05 c Restart #173 #Var: 3069 LB: -23824695210604 @ 755.86 762.74 c Restart #174 #Var: 3069 LB: -23824695210604 @ 762.54 769.70 c Restart #175 #Var: 3069 LB: -23824695210604 @ 769.5 776.46 c Restart #176 #Var: 3069 LB: -23824695210604 @ 776.26 783.53 c Restart #177 #Var: 3069 LB: -23824695210604 @ 783.33 790.38 c Restart #178 #Var: 3069 LB: -23824695210604 @ 790.17 797.60 c Restart #179 #Var: 3069 LB: -23824695210604 @ 797.39 804.48 c Restart #180 #Var: 3069 LB: -23824695210604 @ 804.27 811.71 c Restart #181 #Var: 3069 LB: -23824695210604 @ 811.49 818.76 c Restart #182 #Var: 3069 LB: -23824695210604 @ 818.54 826.05 c Restart #183 #Var: 3069 LB: -23824695210604 @ 825.83 833.05 c Restart #184 #Var: 3069 LB: -23824695210604 @ 832.83 840.51 c Restart #185 #Var: 3069 LB: -23824695210604 @ 840.29 847.61 c Restart #186 #Var: 3069 LB: -23824695210604 @ 847.39 855.13 c Restart #187 #Var: 3069 LB: -23824695210604 @ 854.91 862.41 c Restart #188 #Var: 3069 LB: -23824695210604 @ 862.18 869.92 c Restart #189 #Var: 3069 LB: -23824695210604 @ 869.69 877.24 c Restart #190 #Var: 3069 LB: -23824695210604 @ 877.01 884.88 c Restart #191 #Var: 3069 LB: -23824695210604 @ 884.65 892.20 c Restart #192 #Var: 3069 LB: -23824695210604 @ 891.97 900.00 c Restart #193 #Var: 3069 LB: -23824695210604 @ 899.76 907.46 c CHANGE Heuristic... 907.46 c Restart #0 #Var: 3069 LB: -23824695210604 @ 907.23 907.50 c Restart #1 #Var: 3068 LB: -23824695210604 @ 907.26 907.60 c Restart #2 #Var: 3066 LB: -23634642907756 @ 907.37 907.80 c Restart #3 #Var: 3066 LB: -23634642907756 @ 907.57 908.14 c Restart #4 #Var: 3066 LB: -23634642907756 @ 907.91 908.25 c Restart #5 #Var: 3066 LB: -23634642907756 @ 908.01 908.62 c Restart #6 #Var: 3066 LB: -23634642907756 @ 908.38 908.88 c Restart #7 #Var: 3066 LB: -23634642907756 @ 908.65 909.13 c Restart #8 #Var: 3066 LB: -23634642907756 @ 908.89 909.54 c Restart #9 #Var: 3066 LB: -23634642907756 @ 909.31 909.94 c Restart #10 #Var: 3066 LB: -23634642907756 @ 909.7 910.37 c Restart #11 #Var: 3066 LB: -23634642907756 @ 910.13 910.83 c Restart #12 #Var: 3066 LB: -23634642907756 @ 910.6 911.28 c Restart #13 #Var: 3066 LB: -23634642907756 @ 911.04 911.79 c Restart #14 #Var: 3066 LB: -23634642907756 @ 911.55 912.32 c Restart #15 #Var: 3066 LB: -23634642907756 @ 912.08 912.89 c Restart #16 #Var: 3066 LB: -23634642907756 @ 912.66 913.48 c Restart #17 #Var: 3066 LB: -23634642907756 @ 913.24 914.16 c Restart #18 #Var: 3066 LB: -23634642907756 @ 913.92 914.83 c Restart #19 #Var: 3066 LB: -23634642907756 @ 914.6 915.56 c Restart #20 #Var: 3066 LB: -23634642907756 @ 915.33 916.31 c Restart #21 #Var: 3066 LB: -23634642907756 @ 916.08 917.12 c Restart #22 #Var: 3066 LB: -23634642907756 @ 916.89 917.90 c Restart #23 #Var: 3066 LB: -23634642907756 @ 917.66 918.82 c Restart #24 #Var: 3066 LB: -23634642907756 @ 918.58 919.71 c Restart #25 #Var: 3066 LB: -23634642907756 @ 919.48 920.61 c Restart #26 #Var: 3066 LB: -23634642907756 @ 920.38 921.67 c Restart #27 #Var: 3066 LB: -23634642907756 @ 921.43 922.94 c Restart #28 #Var: 3066 LB: -23634642907756 @ 922.7 924.26 c Restart #29 #Var: 3066 LB: -23634642907756 @ 924.02 925.34 c Restart #30 #Var: 3066 LB: -23634642907756 @ 925.1 926.45 c Restart #31 #Var: 3066 LB: -23634642907756 @ 926.21 927.63 c Restart #32 #Var: 3066 LB: -23634642907756 @ 927.39 928.89 c Restart #33 #Var: 3066 LB: -23634642907756 @ 928.65 930.13 c Restart #34 #Var: 3066 LB: -23634642907756 @ 929.89 931.43 c Restart #35 #Var: 3066 LB: -23634642907756 @ 931.19 932.75 c Restart #36 #Var: 3066 LB: -23634642907756 @ 932.51 934.09 c Restart #37 #Var: 3066 LB: -23634642907756 @ 933.85 935.45 c Restart #38 #Var: 3066 LB: -23634642907756 @ 935.2 936.89 c Restart #39 #Var: 3066 LB: -23634642907756 @ 936.64 938.34 c Restart #40 #Var: 3066 LB: -23634642907756 @ 938.1 939.67 c Restart #41 #Var: 3066 LB: -23634642907756 @ 939.42 941.04 c Restart #42 #Var: 3066 LB: -23634642907756 @ 940.79 942.57 c Restart #43 #Var: 3066 LB: -23634642907756 @ 942.33 944.16 c Restart #44 #Var: 3066 LB: -23634642907756 @ 943.91 945.79 c Restart #45 #Var: 3066 LB: -23634642907756 @ 945.55 947.43 c Restart #46 #Var: 3066 LB: -23634642907756 @ 947.19 949.14 c Restart #47 #Var: 3066 LB: -23634642907756 @ 948.89 950.87 c Restart #48 #Var: 3066 LB: -23634642907756 @ 950.62 952.64 c Restart #49 #Var: 3066 LB: -23634642907756 @ 952.39 954.41 c Restart #50 #Var: 3066 LB: -23634642907756 @ 954.16 956.03 c Restart #51 #Var: 3066 LB: -23634642907756 @ 955.78 957.83 c Restart #52 #Var: 3066 LB: -23634642907756 @ 957.58 959.76 c Restart #53 #Var: 3066 LB: -23634642907756 @ 959.51 961.62 c Restart #54 #Var: 3066 LB: -23634642907756 @ 961.38 963.64 c Restart #55 #Var: 3066 LB: -23634642907756 @ 963.39 965.61 c Restart #56 #Var: 3066 LB: -23634642907756 @ 965.37 967.72 c Restart #57 #Var: 3066 LB: -23634642907756 @ 967.47 969.77 c Restart #58 #Var: 3066 LB: -23634642907756 @ 969.51 971.84 c Restart #59 #Var: 3066 LB: -23634642907756 @ 971.59 974.02 c Restart #60 #Var: 3066 LB: -23634642907756 @ 973.76 976.24 c Restart #61 #Var: 3066 LB: -23634642907756 @ 975.99 978.37 c Restart #62 #Var: 3066 LB: -23634642907756 @ 978.12 980.56 c Restart #63 #Var: 3066 LB: -23634642907756 @ 980.31 982.82 c Restart #64 #Var: 3066 LB: -23634642907756 @ 982.56 985.15 c Restart #65 #Var: 3066 LB: -23634642907756 @ 984.9 987.26 c Restart #66 #Var: 3066 LB: -23634642907756 @ 987 989.62 c Restart #67 #Var: 3066 LB: -23634642907756 @ 989.36 991.82 c Restart #68 #Var: 3066 LB: -23634642907756 @ 991.56 994.20 c Restart #69 #Var: 3066 LB: -23634642907756 @ 993.94 996.79 c Restart #70 #Var: 3066 LB: -23634642907756 @ 996.53 999.28 c Restart #71 #Var: 3066 LB: -23634642907756 @ 999.02 1001.56 c Restart #72 #Var: 3066 LB: -23634642907756 @ 1001.3 1004.12 c Restart #73 #Var: 3066 LB: -23634642907756 @ 1003.9 1006.64 c Restart #74 #Var: 3066 LB: -23634642907756 @ 1006.4 1009.24 c Restart #75 #Var: 3066 LB: -23634642907756 @ 1009 1011.97 c Restart #76 #Var: 3066 LB: -23634642907756 @ 1011.7 1014.68 c Restart #77 #Var: 3066 LB: -23634642907756 @ 1014.4 1017.43 c Restart #78 #Var: 3066 LB: -23634642907756 @ 1017.2 1020.11 c Restart #79 #Var: 3066 LB: -23634642907756 @ 1019.9 1023.01 c Restart #80 #Var: 3066 LB: -23634642907756 @ 1022.8 1025.47 c Restart #81 #Var: 3066 LB: -23634642907756 @ 1025.2 1028.02 c Restart #82 #Var: 3066 LB: -23634642907756 @ 1027.8 1030.38 c Restart #83 #Var: 3066 LB: -23634642907756 @ 1030.1 1033.04 c Restart #84 #Var: 3066 LB: -23634642907756 @ 1032.8 1036.05 c Restart #85 #Var: 3066 LB: -23634642907756 @ 1035.8 1039.17 c Restart #86 #Var: 3066 LB: -23634642907756 @ 1038.9 1042.27 c Restart #87 #Var: 3066 LB: -23634642907756 @ 1042 1045.51 c Restart #88 #Var: 3066 LB: -23634642907756 @ 1045.2 1048.71 c Restart #89 #Var: 3066 LB: -23634642907756 @ 1048.4 1051.82 c Restart #90 #Var: 3066 LB: -23634642907756 @ 1051.5 1055.09 c Restart #91 #Var: 3066 LB: -23634642907756 @ 1054.8 1058.55 c Restart #92 #Var: 3066 LB: -23634642907756 @ 1058.3 1061.90 c Restart #93 #Var: 3066 LB: -23634642907756 @ 1061.6 1065.25 c Restart #94 #Var: 3066 LB: -23634642907756 @ 1065 1068.60 c Restart #95 #Var: 3066 LB: -23634642907756 @ 1068.3 1072.08 c Restart #96 #Var: 3066 LB: -23634642907756 @ 1071.8 1075.56 c Restart #97 #Var: 3066 LB: -23634642907756 @ 1075.3 1079.25 c Restart #98 #Var: 3066 LB: -23634642907756 @ 1079 1082.76 c Restart #99 #Var: 3066 LB: -23634642907756 @ 1082.5 1086.51 c Restart #100 #Var: 3066 LB: -23634642907756 @ 1086.2 1090.19 c Restart #101 #Var: 3066 LB: -23634642907756 @ 1089.9 1093.94 c Restart #102 #Var: 3066 LB: -23634642907756 @ 1093.7 1097.75 c Restart #103 #Var: 3066 LB: -23634642907756 @ 1097.5 1101.61 c Restart #104 #Var: 3066 LB: -23634642907756 @ 1101.3 1104.95 c Restart #105 #Var: 3066 LB: -23634642907756 @ 1104.7 1108.81 c Restart #106 #Var: 3066 LB: -23634642907756 @ 1108.5 1112.73 c Restart #107 #Var: 3066 LB: -23634642907756 @ 1112.4 1116.70 c Restart #108 #Var: 3066 LB: -23634642907756 @ 1116.4 1120.62 c Restart #109 #Var: 3066 LB: -23634642907756 @ 1120.3 1124.64 c Restart #110 #Var: 3066 LB: -23634642907756 @ 1124.4 1128.55 c Restart #111 #Var: 3066 LB: -23634642907756 @ 1128.3 1132.59 c Restart #112 #Var: 3066 LB: -23634642907756 @ 1132.3 1136.43 c Restart #113 #Var: 3066 LB: -23634642907756 @ 1136.1 1140.64 c Restart #114 #Var: 3066 LB: -23634642907756 @ 1140.4 1144.46 c Restart #115 #Var: 3066 LB: -23634642907756 @ 1144.2 1148.72 c Restart #116 #Var: 3066 LB: -23634642907756 @ 1148.4 1152.94 c Restart #117 #Var: 3066 LB: -23634642907756 @ 1152.6 1157.33 c Restart #118 #Var: 3066 LB: -23634642907756 @ 1157 1161.62 c Restart #119 #Var: 3066 LB: -23634642907756 @ 1161.3 1165.90 c Restart #120 #Var: 3066 LB: -23634642907756 @ 1165.6 1170.33 c Restart #121 #Var: 3066 LB: -23634642907756 @ 1170 1174.72 c Restart #122 #Var: 3066 LB: -23634642907756 @ 1174.4 1179.18 c Restart #123 #Var: 3066 LB: -23634642907756 @ 1178.9 1183.62 c Restart #124 #Var: 3066 LB: -23634642907756 @ 1183.3 1188.21 c Restart #125 #Var: 3066 LB: -23634642907756 @ 1187.9 1192.81 c Restart #126 #Var: 3066 LB: -23634642907756 @ 1192.5 1197.51 c Restart #127 #Var: 3066 LB: -23634642907756 @ 1197.2 1202.17 c Restart #128 #Var: 3066 LB: -23634642907756 @ 1201.9 1206.74 c Restart #129 #Var: 3066 LB: -23634642907756 @ 1206.4 1211.41 c Restart #130 #Var: 3066 LB: -23634642907756 @ 1211.1 1216.22 c Restart #131 #Var: 3066 LB: -23634642907756 @ 1215.9 1221.09 c Restart #132 #Var: 3066 LB: -23634642907756 @ 1220.8 1225.86 c Restart #133 #Var: 3066 LB: -23634642907756 @ 1225.5 1230.72 c Restart #134 #Var: 3066 LB: -23634642907756 @ 1230.4 1235.64 c Restart #135 #Var: 3066 LB: -23634642907756 @ 1235.3 1240.45 c Restart #136 #Var: 3066 LB: -23634642907756 @ 1240.1 1245.33 c Restart #137 #Var: 3066 LB: -23634642907756 @ 1245 1250.22 c Restart #138 #Var: 3066 LB: -23634642907756 @ 1249.9 1265.15 c Restart #139 #Var: 3066 LB: -23634642907756 @ 1264.8 1277.60 c Restart #140 #Var: 3066 LB: -23634642907756 @ 1277.3 1280.70 c Restart #141 #Var: 3066 LB: -23634642907756 @ 1280.4 1290.84 c Restart #142 #Var: 3066 LB: -23634642907756 @ 1290.5 1296.64 c Restart #143 #Var: 3066 LB: -23634642907756 @ 1296.3 1309.12 c Restart #144 #Var: 3066 LB: -23634642907756 @ 1308.8 1318.31 c Restart #145 #Var: 3066 LB: -23634642907756 @ 1318 1323.95 c Restart #146 #Var: 3066 LB: -23634642907756 @ 1323.6 1329.43 c Restart #147 #Var: 3066 LB: -23634642907756 @ 1329.1 1336.73 c Restart #148 #Var: 3066 LB: -23634642907756 @ 1336.4 1344.17 c Restart #149 #Var: 3066 LB: -23634642907756 @ 1343.8 1348.45 c Restart #150 #Var: 3066 LB: -23634642907756 @ 1348.1 1353.95 c Restart #151 #Var: 3066 LB: -23634642907756 @ 1353.6 1359.62 c Restart #152 #Var: 3066 LB: -23634642907756 @ 1359.3 1376.77 c Restart #153 #Var: 3066 LB: -23634642907756 @ 1376.4 1383.30 c Restart #154 #Var: 3066 LB: -23634642907756 @ 1383 1391.75 c Restart #155 #Var: 3066 LB: -23634642907756 @ 1391.4 1397.88 c Restart #156 #Var: 3066 LB: -23634642907756 @ 1397.5 1405.84 c Restart #157 #Var: 3066 LB: -23634642907756 @ 1405.5 1417.07 c Restart #158 #Var: 3066 LB: -23634642907756 @ 1416.7 1435.45 c Restart #159 #Var: 3066 LB: -23634642907756 @ 1435.1 1443.20 c Restart #160 #Var: 3066 LB: -23634642907756 @ 1442.8 1452.74 c Restart #161 #Var: 3066 LB: -23634642907756 @ 1452.4 1463.84 c Restart #162 #Var: 3065 LB: -23505525453420 @ 1463.5 1470.26 c Restart #163 #Var: 3063 LB: -23254269866604 @ 1469.9 1502.28 c Restart #164 #Var: 3063 LB: -23254269866604 @ 1501.9 1512.22 c Restart #165 #Var: 3063 LB: -23254269866604 @ 1511.8 1517.71 c Restart #166 #Var: 3063 LB: -23254269866604 @ 1517.3 1527.16 c Restart #167 #Var: 3063 LB: -23254269866604 @ 1526.8 1538.10 c Restart #168 #Var: 3063 LB: -23254269866604 @ 1537.7 1554.27 c Restart #169 #Var: 3063 LB: -23254269866604 @ 1553.9 1559.28 c Restart #170 #Var: 3063 LB: -23254269866604 @ 1558.9 1641.78 c Restart #171 #Var: 3063 LB: -23254269866604 @ 1641.4 1655.24 c Restart #172 #Var: 3063 LB: -23254269866604 @ 1654.8 1667.36 c Restart #173 #Var: 3063 LB: -23254269866604 @ 1666.9 1675.17 c Restart #174 #Var: 3063 LB: -23254269866604 @ 1674.7 1717.11 c Restart #175 #Var: 3063 LB: -23254269866604 @ 1716.6 1725.47 c Restart #176 #Var: 3063 LB: -23254269866604 @ 1725 1746.23 c Restart #177 #Var: 3063 LB: -23254269866604 @ 1745.7 1757.06 c Restart #178 #Var: 3063 LB: -23254269866604 @ 1756.6 1768.73 c Restart #179 #Var: 3063 LB: -23254269866604 @ 1768.2 1774.14 c Restart #180 #Var: 3063 LB: -23254269866604 @ 1773.6 1785.57 c Restart #181 #Var: 3063 LB: -23254269866604 @ 1785.1 1797.70 c Restart #182 #Var: 3063 LB: -23254269866604 @ 1797.2 1800.51 s UNKNOWN 1800.51 c Exit Code: 0 1800.51 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/node50/watcher-40705-1149312829 -o ROOT/results/node50/solver-40705-1149312829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40705-1149312829/instance-40705-1149312829.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.95 0.95 2/64 10142 /proc/meminfo: memFree=1815896/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=436 CPUtime=0 /proc/10142/stat : 10142 (bsolo) D 10140 10142 10096 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 196950068 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7918372 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/10142/statm: 109 23 18 55 0 18 0 [startup+10.0018 s] /proc/loadavg: 0.87 0.95 0.95 2/64 10144 /proc/meminfo: memFree=1806184/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=9.98 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 990 8 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 14224 [startup+20.0087 s] /proc/loadavg: 0.89 0.95 0.95 2/64 10144 /proc/meminfo: memFree=1806312/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=19.98 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 1988 10 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14224 [startup+30.0156 s] /proc/loadavg: 0.90 0.95 0.95 2/64 10144 /proc/meminfo: memFree=1806312/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=29.98 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 2987 11 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 14224 [startup+40.0215 s] /proc/loadavg: 0.92 0.95 0.95 2/64 10144 /proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=39.98 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 3987 11 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 14224 [startup+50.0274 s] /proc/loadavg: 0.93 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=49.99 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 4987 12 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8347745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 14224 [startup+60.0333 s] /proc/loadavg: 0.94 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=59.99 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 5986 13 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8359586 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 14224 [startup+70.0392 s] /proc/loadavg: 0.95 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=70 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 6985 15 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 14224 [startup+80.0451 s] /proc/loadavg: 0.96 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=80 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 7984 16 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 14224 [startup+90.051 s] /proc/loadavg: 0.96 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=90 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 8984 16 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 14224 [startup+100.057 s] /proc/loadavg: 0.97 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806376/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14224 CPUtime=100.01 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2783 0 0 0 9984 17 0 0 25 0 1 0 196950068 14565376 2698 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3556 2698 298 55 0 2448 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 14224 [startup+110.063 s] /proc/loadavg: 0.97 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14476 CPUtime=110.01 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 10982 19 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3619 2762 298 55 0 2511 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 14476 [startup+120.069 s] /proc/loadavg: 0.98 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14476 CPUtime=120.01 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 11981 20 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3619 2762 298 55 0 2511 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 14476 [startup+130.075 s] /proc/loadavg: 0.98 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14476 CPUtime=130.02 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 12981 21 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3619 2762 298 55 0 2511 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 14476 [startup+140.08 s] /proc/loadavg: 0.98 0.96 0.95 2/64 10144 /proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14476 CPUtime=140.02 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 13980 22 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3619 2762 298 55 0 2511 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 14476 [startup+150.087 s] /proc/loadavg: 0.98 0.97 0.95 2/64 10144 /proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14476 CPUtime=150.03 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 14980 23 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3619 2762 298 55 0 2511 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 14476 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.95 2/64 10144 /proc/meminfo: memFree=1806120/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=14476 CPUtime=160.02 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 2847 0 0 0 15979 23 0 0 25 0 1 0 196950068 14823424 2762 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 3619 2762 298 55 0 2511 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 14476 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.95 2/64 10144 /proc/meminfo: memFree=1804136/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=16416 CPUtime=170.03 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 3335 0 0 0 16976 27 0 0 25 0 1 0 196950068 16809984 3250 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 4104 3250 298 55 0 2996 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 16416 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.95 2/64 10144 /proc/meminfo: memFree=1802664/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=17968 CPUtime=180.03 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 3706 0 0 0 17974 29 0 0 25 0 1 0 196950068 18399232 3621 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 4492 3621 298 55 0 3384 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 17968 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.95 2/64 10144 /proc/meminfo: memFree=1802600/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=17968 CPUtime=190.04 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 3720 0 0 0 18973 31 0 0 25 0 1 0 196950068 18399232 3635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 4492 3635 298 55 0 3384 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 17968 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.95 2/64 10144 /proc/meminfo: memFree=1802600/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=17964 CPUtime=200.04 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 3720 0 0 0 19973 31 0 0 25 0 1 0 196950068 18395136 3635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 4491 3635 298 55 0 3383 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 17964 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.95 2/64 10144 /proc/meminfo: memFree=1798504/2055920 swapFree=4181340/4192956 ################ # More data... # ################ /proc/10142/statm: 79756 78857 298 55 0 78648 0 Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 319024 [startup+1771.04 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1500264/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=319352 CPUtime=1770.52 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 79172 0 0 0 176693 359 0 0 25 0 1 0 196950068 327016448 78919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550908 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 79838 78919 298 55 0 78730 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 319352 [startup+1781.04 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1485032/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=334604 CPUtime=1780.53 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 82981 0 0 0 177688 365 0 0 25 0 1 0 196950068 342634496 82728 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 83651 82728 298 55 0 82543 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 334604 [startup+1782.05 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1483432/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=336188 CPUtime=1781.53 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 83382 0 0 0 177788 365 0 0 25 0 1 0 196950068 344256512 83129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 84047 83129 298 55 0 82939 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 336188 [startup+1783.05 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1480104/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=339468 CPUtime=1782.54 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 84215 0 0 0 177888 366 0 0 25 0 1 0 196950068 347615232 83962 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 84867 83962 298 55 0 83759 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 339468 [startup+1784.06 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1479272/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=340260 CPUtime=1783.54 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 84414 0 0 0 177988 366 0 0 25 0 1 0 196950068 348426240 84161 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 85065 84161 298 55 0 83957 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 340260 [startup+1785.06 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1476136/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=343424 CPUtime=1784.54 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85196 0 0 0 178088 366 0 0 25 0 1 0 196950068 351666176 84943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 85856 84943 298 55 0 84748 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 343424 [startup+1786.07 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475112/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344424 CPUtime=1785.55 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85446 0 0 0 178188 367 0 0 25 0 1 0 196950068 352690176 85193 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86106 85193 298 55 0 84998 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 344424 [startup+1787.07 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475112/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344424 CPUtime=1786.56 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85457 0 0 0 178289 367 0 0 25 0 1 0 196950068 352690176 85204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8351585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86106 85204 298 55 0 84998 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 344424 [startup+1788.08 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475112/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344424 CPUtime=1787.56 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85459 0 0 0 178389 367 0 0 25 0 1 0 196950068 352690176 85206 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86106 85206 298 55 0 84998 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 344424 [startup+1789.08 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475112/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344424 CPUtime=1788.56 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85460 0 0 0 178489 367 0 0 25 0 1 0 196950068 352690176 85207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86106 85207 298 55 0 84998 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 344424 [startup+1790.09 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344536 CPUtime=1789.57 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85467 0 0 0 178590 367 0 0 25 0 1 0 196950068 352804864 85214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86134 85214 298 55 0 85026 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 344536 [startup+1791.09 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344536 CPUtime=1790.57 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85469 0 0 0 178690 367 0 0 25 0 1 0 196950068 352804864 85216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86134 85216 298 55 0 85026 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 344536 [startup+1792.1 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344528 CPUtime=1791.58 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85471 0 0 0 178790 368 0 0 25 0 1 0 196950068 352796672 85218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86132 85218 298 55 0 85024 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 344528 [startup+1793.1 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344528 CPUtime=1792.59 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85471 0 0 0 178891 368 0 0 25 0 1 0 196950068 352796672 85218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528656 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86132 85218 298 55 0 85024 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 344528 [startup+1794.11 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344528 CPUtime=1793.59 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85471 0 0 0 178991 368 0 0 25 0 1 0 196950068 352796672 85218 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86132 85218 298 55 0 85024 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 344528 [startup+1795.11 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344528 CPUtime=1794.59 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85472 0 0 0 179091 368 0 0 25 0 1 0 196950068 352796672 85219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557776 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86132 85219 298 55 0 85024 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 344528 [startup+1796.12 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344528 CPUtime=1795.6 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85476 0 0 0 179192 368 0 0 25 0 1 0 196950068 352796672 85223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86132 85223 298 55 0 85024 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 344528 [startup+1797.12 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344528 CPUtime=1796.6 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85476 0 0 0 179292 368 0 0 25 0 1 0 196950068 352796672 85223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86132 85223 298 55 0 85024 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 344528 [startup+1798.13 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1475048/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344528 CPUtime=1797.61 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85476 0 0 0 179392 369 0 0 25 0 1 0 196950068 352796672 85223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86132 85223 298 55 0 85024 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 344528 [startup+1799.13 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1474792/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344768 CPUtime=1798.61 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85530 0 0 0 179492 369 0 0 25 0 1 0 196950068 353042432 85277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86192 85277 298 55 0 85084 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 344768 [startup+1800.14 s] /proc/loadavg: 1.00 0.99 0.96 2/64 10339 /proc/meminfo: memFree=1474664/2055920 swapFree=4181340/4192956 [pid=10142] ppid=10140 vsize=344888 CPUtime=1799.61 /proc/10142/stat : 10142 (bsolo) R 10140 10142 10096 0 -1 0 85567 0 0 0 179592 369 0 0 25 0 1 0 196950068 353165312 85314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595821 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10142/statm: 86222 85314 298 55 0 85114 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 344888 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.06 CPU user time (s): 1796.31 CPU system time (s): 3.75243 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (Kb): 344888
Begin job on node50 on Sat Jun 3 05:33:49 UTC 2006 FILE ID= 40705-1149312829 PBS_JOBID= 308135 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40705-1149312829/instance-40705-1149312829.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-40705-1149312829 -o ROOT/results/node50/solver-40705-1149312829 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node50/40705-1149312829/instance-40705-1149312829.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4f19aa044e880280faec0077a2509ba8 RANDOM SEED= 511783447 /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.238 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.238 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: 1816168 kB Buffers: 17796 kB Cached: 156392 kB SwapCached: 3224 kB Active: 29424 kB Inactive: 153528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816168 kB SwapTotal: 4192956 kB SwapFree: 4181340 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14940 kB Slab: 42824 kB Committed_AS: 277688 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node50 on Sat Jun 3 06:03:50 UTC 2006