Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 8107 | 1800.36 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb |
MD5SUM | 95e4efc01e56e7c627bbc0cc1139ffbe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7985 |
Best CPU time to get the best result obtained on this benchmark | 0.055991 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7985 |
Optimality of the best value was proved | YES |
Number of variables | 290 |
Total number of constraints | 205 |
Number of constraints which are clauses | 189 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 53 |
Number of terms in the objective function | 288 |
Biggest coefficient in the objective function | 61096 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524351 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 61096 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 524351 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 290 variables and 205 constraints. 0.02 c Switching on LPR. 0.02 c preprocess terminated. Elapsed time: 0.014 0.02 c After prepocess the problem consists of 288 variables and 203 constraints. 0.04 c Initial Lower Bound: 1802 0.28 o 83473 0.28 c NEW SOLUTION FOUND: 83473 @ 0.265 0.28 c Sol. found (all assignments made)... 0.28 o 83419 0.28 c NEW SOLUTION FOUND: 83419 @ 0.271 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.28 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 o 82728 0.29 c NEW SOLUTION FOUND: 82728 @ 0.272 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 o 82009 0.29 c NEW SOLUTION FOUND: 82009 @ 0.274 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 o 80842 0.29 c NEW SOLUTION FOUND: 80842 @ 0.277 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.29 o 80497 0.29 c NEW SOLUTION FOUND: 80497 @ 0.28 0.29 c Sol. found (all assignments made)... 0.29 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.30 o 80386 0.30 c NEW SOLUTION FOUND: 80386 @ 0.285 0.30 c Sol. found (all assignments made)... 0.30 o 80173 0.30 c NEW SOLUTION FOUND: 80173 @ 0.286 0.30 c Sol. found (all assignments made)... 0.30 c Sol. found (all assignments made)... 0.33 c Sol. found (all assignments made)... 0.38 o 74241 0.38 c NEW SOLUTION FOUND: 74241 @ 0.368 0.38 c Sol. found (all assignments made)... 0.38 o 58967 0.38 c NEW SOLUTION FOUND: 58967 @ 0.37 0.39 c Sol. found (all assignments made)... 0.39 o 58143 0.39 c NEW SOLUTION FOUND: 58143 @ 0.373 0.39 c Sol. found (all assignments made)... 0.39 o 57322 0.39 c NEW SOLUTION FOUND: 57322 @ 0.379 0.40 o 44824 0.40 c NEW SOLUTION FOUND: 44824 @ 0.392 0.44 o 44479 0.44 c NEW SOLUTION FOUND: 44479 @ 0.424 0.48 o 44174 0.48 c NEW SOLUTION FOUND: 44174 @ 0.471 0.49 o 44000 0.49 c NEW SOLUTION FOUND: 44000 @ 0.476 0.49 c Sol. found (all assignments made)... 0.49 o 42701 0.49 c NEW SOLUTION FOUND: 42701 @ 0.48 0.55 o 41995 0.55 c NEW SOLUTION FOUND: 41995 @ 0.537 0.62 o 41982 0.62 c NEW SOLUTION FOUND: 41982 @ 0.612 0.76 c Restart #1 #Var: 288 LB: 1822 @ 0.75 0.84 c Sol. found (all assignments made)... 0.84 o 41641 0.84 c NEW SOLUTION FOUND: 41641 @ 0.831 0.85 o 41520 0.85 c NEW SOLUTION FOUND: 41520 @ 0.834 0.87 o 40992 0.87 c NEW SOLUTION FOUND: 40992 @ 0.852 0.87 c Sol. found (all assignments made)... 0.87 o 40941 0.87 c NEW SOLUTION FOUND: 40941 @ 0.86 0.87 o 40820 0.87 c NEW SOLUTION FOUND: 40820 @ 0.861 0.87 c Sol. found (all assignments made)... 0.88 c Sol. found (all assignments made)... 0.88 o 40129 0.88 c NEW SOLUTION FOUND: 40129 @ 0.863 0.89 c Sol. found (all assignments made)... 0.89 o 39783 0.89 c NEW SOLUTION FOUND: 39783 @ 0.877 0.91 c Sol. found (all assignments made)... 0.92 o 39426 0.92 c NEW SOLUTION FOUND: 39426 @ 0.907 0.93 c Sol. found (all assignments made)... 0.93 o 39293 0.93 c NEW SOLUTION FOUND: 39293 @ 0.918 0.93 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.94 c Sol. found (all assignments made)... 0.95 c Sol. found (all assignments made)... 0.95 o 38602 0.95 c NEW SOLUTION FOUND: 38602 @ 0.933 0.96 c Sol. found (all assignments made)... 0.96 o 38256 0.96 c NEW SOLUTION FOUND: 38256 @ 0.945 0.96 c Sol. found (all assignments made)... 1.02 o 38103 1.02 c NEW SOLUTION FOUND: 38103 @ 1.005 1.02 c Sol. found (all assignments made)... 1.02 o 37565 1.02 c NEW SOLUTION FOUND: 37565 @ 1.012 1.03 o 37444 1.03 c NEW SOLUTION FOUND: 37444 @ 1.013 1.04 c Sol. found (all assignments made)... 1.04 o 37220 1.04 c NEW SOLUTION FOUND: 37220 @ 1.025 1.04 o 37099 1.04 c NEW SOLUTION FOUND: 37099 @ 1.026 1.05 c Sol. found (all assignments made)... 1.05 o 36753 1.05 c NEW SOLUTION FOUND: 36753 @ 1.036 1.06 c Sol. found (all assignments made)... 1.06 o 36642 1.06 c NEW SOLUTION FOUND: 36642 @ 1.048 1.06 o 36521 1.06 c NEW SOLUTION FOUND: 36521 @ 1.051 1.07 c Sol. found (all assignments made)... 1.08 o 36328 1.08 c NEW SOLUTION FOUND: 36328 @ 1.062 1.08 o 36207 1.08 c NEW SOLUTION FOUND: 36207 @ 1.063 1.10 c Sol. found (all assignments made)... 1.10 o 36050 1.10 c NEW SOLUTION FOUND: 36050 @ 1.087 1.10 c Sol. found (all assignments made)... 1.10 o 35929 1.10 c NEW SOLUTION FOUND: 35929 @ 1.088 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 o 35892 1.11 c NEW SOLUTION FOUND: 35892 @ 1.098 1.11 c Sol. found (all assignments made)... 1.11 c Sol. found (all assignments made)... 1.11 o 35720 1.11 c NEW SOLUTION FOUND: 35720 @ 1.102 1.12 c Sol. found (all assignments made)... 1.12 c Sol. found (all assignments made)... 1.12 o 35029 1.12 c NEW SOLUTION FOUND: 35029 @ 1.104 1.12 o 34860 1.12 c NEW SOLUTION FOUND: 34860 @ 1.104 1.12 o 34635 1.12 c NEW SOLUTION FOUND: 34635 @ 1.112 1.14 c Sol. found (all assignments made)... 1.14 o 34510 1.14 c NEW SOLUTION FOUND: 34510 @ 1.129 1.14 o 34389 1.14 c NEW SOLUTION FOUND: 34389 @ 1.132 1.15 c Sol. found (all assignments made)... 1.16 o 34290 1.16 c NEW SOLUTION FOUND: 34290 @ 1.144 1.17 c Sol. found (all assignments made)... 1.17 o 34097 1.17 c NEW SOLUTION FOUND: 34097 @ 1.153 1.17 o 33976 1.17 c NEW SOLUTION FOUND: 33976 @ 1.155 1.18 c Sol. found (all assignments made)... 1.19 o 33819 1.19 c NEW SOLUTION FOUND: 33819 @ 1.172 1.19 c Sol. found (all assignments made)... 1.19 o 33698 1.19 c NEW SOLUTION FOUND: 33698 @ 1.174 1.20 c Sol. found (all assignments made)... 1.21 c Sol. found (all assignments made)... 1.21 o 33565 1.21 c NEW SOLUTION FOUND: 33565 @ 1.197 1.22 c Sol. found (all assignments made)... 1.22 o 33498 1.22 c NEW SOLUTION FOUND: 33498 @ 1.209 1.23 c Sol. found (all assignments made)... 1.23 o 33341 1.23 c NEW SOLUTION FOUND: 33341 @ 1.217 1.23 c Sol. found (all assignments made)... 1.23 o 33220 1.23 c NEW SOLUTION FOUND: 33220 @ 1.218 1.24 o 33152 1.24 c NEW SOLUTION FOUND: 33152 @ 1.227 1.25 c Sol. found (all assignments made)... 1.25 o 32995 1.25 c NEW SOLUTION FOUND: 32995 @ 1.234 1.25 c Sol. found (all assignments made)... 1.25 o 32874 1.25 c NEW SOLUTION FOUND: 32874 @ 1.235 1.27 c Sol. found (all assignments made)... 1.27 o 32780 1.27 c NEW SOLUTION FOUND: 32780 @ 1.256 1.27 c Sol. found (all assignments made)... 1.27 o 32659 1.27 c NEW SOLUTION FOUND: 32659 @ 1.257 1.28 c Sol. found (all assignments made)... 1.28 o 32592 1.28 c NEW SOLUTION FOUND: 32592 @ 1.266 1.28 c Sol. found (all assignments made)... 1.28 o 32314 1.28 c NEW SOLUTION FOUND: 32314 @ 1.272 1.29 c Sol. found (all assignments made)... 1.29 o 32246 1.29 c NEW SOLUTION FOUND: 32246 @ 1.281 1.30 c Sol. found (all assignments made)... 1.30 o 32210 1.30 c NEW SOLUTION FOUND: 32210 @ 1.288 1.30 c Sol. found (all assignments made)... 1.31 c Sol. found (all assignments made)... 1.31 o 32142 1.31 c NEW SOLUTION FOUND: 32142 @ 1.298 1.32 c Sol. found (all assignments made)... 1.32 o 32074 1.32 c NEW SOLUTION FOUND: 32074 @ 1.305 1.33 o 32038 1.33 c NEW SOLUTION FOUND: 32038 @ 1.312 1.33 c Sol. found (all assignments made)... 1.33 c Sol. found (all assignments made)... 1.34 c Sol. found (all assignments made)... 1.34 o 31729 1.34 c NEW SOLUTION FOUND: 31729 @ 1.328 1.35 c Sol. found (all assignments made)... 1.35 o 31693 1.35 c NEW SOLUTION FOUND: 31693 @ 1.333 1.35 c Sol. found (all assignments made)... 1.35 c Sol. found (all assignments made)... 1.35 o 31383 1.35 c NEW SOLUTION FOUND: 31383 @ 1.339 1.37 c Sol. found (all assignments made)... 1.45 c Sol. found (all assignments made)... 1.45 o 31354 1.45 c NEW SOLUTION FOUND: 31354 @ 1.435 1.45 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.46 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 c Sol. found (all assignments made)... 1.48 o 31033 1.48 c NEW SOLUTION FOUND: 31033 @ 1.472 1.48 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.50 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 c Sol. found (all assignments made)... 1.51 o 30726 1.51 c NEW SOLUTION FOUND: 30726 @ 1.498 1.52 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 o 30554 1.53 c NEW SOLUTION FOUND: 30554 @ 1.514 1.57 c Sol. found (all assignments made)... 1.57 o 30378 1.57 c NEW SOLUTION FOUND: 30378 @ 1.561 1.59 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.60 c Sol. found (all assignments made)... 1.61 o 30245 1.61 c NEW SOLUTION FOUND: 30245 @ 1.592 1.61 o 30178 1.61 c NEW SOLUTION FOUND: 30178 @ 1.599 1.62 c Sol. found (all assignments made)... 1.62 o 29900 1.62 c NEW SOLUTION FOUND: 29900 @ 1.604 1.62 c Sol. found (all assignments made)... 1.62 c Sol. found (all assignments made)... 1.62 o 29832 1.62 c NEW SOLUTION FOUND: 29832 @ 1.61 1.62 c Sol. found (all assignments made)... 1.65 c Sol. found (all assignments made)... 1.67 o 29554 1.67 c NEW SOLUTION FOUND: 29554 @ 1.66 1.68 c Sol. found (all assignments made)... 1.68 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 1.84 c Sol. found (all assignments made)... 2.04 c Restart #2 #Var: 288 LB: 1822 @ 2.022 2.65 c Restart #3 #Var: 288 LB: 1831 @ 2.638 2.86 o 29351 2.86 c NEW SOLUTION FOUND: 29351 @ 2.842 2.87 o 29070 2.87 c NEW SOLUTION FOUND: 29070 @ 2.854 2.88 o 29027 2.88 c NEW SOLUTION FOUND: 29027 @ 2.861 3.18 c Sol. found (all assignments made)... 3.19 c Sol. found (all assignments made)... 3.20 c Sol. found (all assignments made)... 3.21 c Sol. found (all assignments made)... 3.23 o 25875 3.23 c NEW SOLUTION FOUND: 25875 @ 3.212 3.23 o 25742 3.23 c NEW SOLUTION FOUND: 25742 @ 3.218 3.23 o 25124 3.23 c NEW SOLUTION FOUND: 25124 @ 3.218 3.26 o 22859 3.26 c NEW SOLUTION FOUND: 22859 @ 3.247 3.27 o 22586 3.27 c NEW SOLUTION FOUND: 22586 @ 3.258 3.35 o 22414 3.35 c NEW SOLUTION FOUND: 22414 @ 3.329 3.37 o 18494 3.37 c NEW SOLUTION FOUND: 18494 @ 3.351 3.38 o 17876 3.38 c NEW SOLUTION FOUND: 17876 @ 3.368 3.42 o 16302 3.42 c NEW SOLUTION FOUND: 16302 @ 3.404 3.44 o 15957 3.44 c NEW SOLUTION FOUND: 15957 @ 3.419 3.45 o 15684 3.45 c NEW SOLUTION FOUND: 15684 @ 3.434 3.47 o 15512 3.47 c NEW SOLUTION FOUND: 15512 @ 3.451 3.62 o 14258 3.62 c NEW SOLUTION FOUND: 14258 @ 3.602 3.62 o 13395 3.62 c NEW SOLUTION FOUND: 13395 @ 3.607 3.66 o 13123 3.66 c NEW SOLUTION FOUND: 13123 @ 3.643 3.67 o 12777 3.67 c NEW SOLUTION FOUND: 12777 @ 3.656 3.71 o 11203 3.71 c NEW SOLUTION FOUND: 11203 @ 3.692 3.72 o 10858 3.72 c NEW SOLUTION FOUND: 10858 @ 3.706 3.76 o 10686 3.76 c NEW SOLUTION FOUND: 10686 @ 3.745 3.83 o 10585 3.83 c NEW SOLUTION FOUND: 10585 @ 3.812 3.87 o 10413 3.87 c NEW SOLUTION FOUND: 10413 @ 3.854 3.98 o 10362 3.98 c NEW SOLUTION FOUND: 10362 @ 3.964 4.00 o 10090 4.00 c NEW SOLUTION FOUND: 10090 @ 3.982 4.61 c Sol. found (all assignments made)... 4.77 c Restart #4 #Var: 288 LB: 1831 @ 4.75 5.06 o 9837 5.06 c NEW SOLUTION FOUND: 9837 @ 5.039 5.07 o 9491 5.07 c NEW SOLUTION FOUND: 9491 @ 5.051 5.98 c Restart #5 #Var: 288 LB: 1831 @ 5.965 9.10 c Restart #6 #Var: 288 LB: 1831 @ 9.083 10.12 o 9449 10.12 c NEW SOLUTION FOUND: 9449 @ 10.096 10.47 o 9220 10.47 c NEW SOLUTION FOUND: 9220 @ 10.444 11.18 o 9198 11.18 c NEW SOLUTION FOUND: 9198 @ 11.154 11.19 o 9065 11.19 c NEW SOLUTION FOUND: 9065 @ 11.168 11.21 o 8741 11.21 c NEW SOLUTION FOUND: 8741 @ 11.19 12.82 c Restart #7 #Var: 288 LB: 1831 @ 12.794 15.64 c Restart #8 #Var: 288 LB: 1831 @ 15.622 18.20 c Restart #9 #Var: 288 LB: 1831 @ 18.174 20.83 c Restart #10 #Var: 288 LB: 1831 @ 20.801 23.71 c Restart #11 #Var: 288 LB: 1831 @ 23.689 26.92 c Restart #12 #Var: 288 LB: 1831 @ 26.896 30.96 c Restart #13 #Var: 288 LB: 1831 @ 30.931 36.84 c Restart #14 #Var: 288 LB: 1831 @ 36.808 40.91 c Restart #15 #Var: 288 LB: 1831 @ 40.886 43.98 c Sol. found (all assignments made)... 43.98 c Sol. found (all assignments made)... 43.99 c Sol. found (all assignments made)... 43.99 c Sol. found (all assignments made)... 45.16 c Restart #16 #Var: 288 LB: 1831 @ 45.13 50.35 c Restart #17 #Var: 288 LB: 1831 @ 50.314 59.89 c Restart #18 #Var: 288 LB: 1831 @ 59.855 68.89 c Restart #19 #Var: 288 LB: 1831 @ 68.859 81.71 c Restart #20 #Var: 288 LB: 1831 @ 81.672 93.24 c Restart #21 #Var: 288 LB: 1831 @ 93.197 104.91 c Restart #22 #Var: 288 LB: 1831 @ 104.87 109.97 o 8514 109.97 c NEW SOLUTION FOUND: 8514 @ 109.93 111.28 o 8483 111.28 c NEW SOLUTION FOUND: 8483 @ 111.23 114.52 o 8316 114.52 c NEW SOLUTION FOUND: 8316 @ 114.47 116.00 o 8285 116.00 c NEW SOLUTION FOUND: 8285 @ 115.95 121.62 o 8126 121.62 c NEW SOLUTION FOUND: 8126 @ 121.57 126.03 o 8119 126.03 c NEW SOLUTION FOUND: 8119 @ 125.98 136.48 c Restart #23 #Var: 288 LB: 1831 @ 136.43 146.45 c Restart #24 #Var: 288 LB: 1831 @ 146.39 156.42 c Restart #25 #Var: 288 LB: 1831 @ 156.37 172.67 c Restart #26 #Var: 288 LB: 1831 @ 172.6 187.66 c Restart #27 #Var: 288 LB: 1831 @ 187.59 203.11 c Restart #28 #Var: 288 LB: 1831 @ 203.04 220.33 c Restart #29 #Var: 288 LB: 1831 @ 220.26 236.47 c Restart #30 #Var: 288 LB: 1831 @ 236.39 253.44 c Restart #31 #Var: 288 LB: 1831 @ 253.36 273.60 c Restart #32 #Var: 288 LB: 1831 @ 273.51 296.33 c Restart #33 #Var: 288 LB: 1831 @ 296.24 320.45 c Restart #34 #Var: 288 LB: 1831 @ 320.36 339.60 c Restart #35 #Var: 288 LB: 1831 @ 339.5 344.76 c Sol. found (all assignments made)... 362.26 c Restart #36 #Var: 288 LB: 1831 @ 362.15 368.68 o 8107 368.68 c NEW SOLUTION FOUND: 8107 @ 368.57 391.11 c Restart #37 #Var: 288 LB: 1831 @ 390.99 416.17 c Restart #38 #Var: 288 LB: 1831 @ 416.05 439.64 c Restart #39 #Var: 288 LB: 1831 @ 439.51 479.24 c Restart #40 #Var: 288 LB: 1831 @ 479.11 506.52 c Restart #41 #Var: 288 LB: 1831 @ 506.38 529.91 c Restart #42 #Var: 288 LB: 1831 @ 529.76 553.53 c Restart #43 #Var: 288 LB: 1831 @ 553.37 586.66 c Restart #44 #Var: 288 LB: 1831 @ 586.5 616.07 c Restart #45 #Var: 288 LB: 1831 @ 615.9 643.57 c Restart #46 #Var: 288 LB: 1831 @ 643.39 671.26 c Restart #47 #Var: 288 LB: 1831 @ 671.07 693.95 c Restart #48 #Var: 288 LB: 1831 @ 693.76 704.28 c Sol. found (all assignments made)... 704.29 c Sol. found (all assignments made)... 713.81 c Sol. found (all assignments made)... 713.84 c Sol. found (all assignments made)... 714.02 c Sol. found (all assignments made)... 714.12 c Sol. found (all assignments made)... 715.74 c Sol. found (all assignments made)... 715.78 c Sol. found (all assignments made)... 717.93 c Sol. found (all assignments made)... 719.23 c Sol. found (all assignments made)... 719.24 c Sol. found (all assignments made)... 719.27 c Sol. found (all assignments made)... 719.30 c Sol. found (all assignments made)... 724.02 c Restart #49 #Var: 288 LB: 1831 @ 723.82 752.26 c Restart #50 #Var: 288 LB: 1831 @ 752.06 791.75 c Restart #51 #Var: 288 LB: 1831 @ 791.54 823.64 c Restart #52 #Var: 288 LB: 1831 @ 823.42 860.61 c Restart #53 #Var: 288 LB: 1831 @ 860.38 892.43 c Restart #54 #Var: 288 LB: 1831 @ 892.19 926.68 c Restart #55 #Var: 288 LB: 1831 @ 926.43 935.78 c Sol. found (all assignments made)... 968.10 c Restart #56 #Var: 288 LB: 1831 @ 967.84 1003.39 c Restart #57 #Var: 288 LB: 1831 @ 1003.1 1034.37 c Restart #58 #Var: 288 LB: 1831 @ 1034.1 1069.97 c Restart #59 #Var: 288 LB: 1831 @ 1069.7 1115.54 c Restart #60 #Var: 288 LB: 1831 @ 1115.2 1170.55 c Restart #61 #Var: 288 LB: 1831 @ 1170.2 1211.94 c Restart #62 #Var: 288 LB: 1831 @ 1211.6 1262.49 c Restart #63 #Var: 288 LB: 1831 @ 1262.2 1304.55 c Restart #64 #Var: 288 LB: 1831 @ 1304.2 1353.23 c Restart #65 #Var: 288 LB: 1831 @ 1352.9 1376.67 c Sol. found (all assignments made)... 1376.88 c Sol. found (all assignments made)... 1377.79 c Sol. found (all assignments made)... 1386.14 c Sol. found (all assignments made)... 1386.18 c Sol. found (all assignments made)... 1392.66 c Restart #66 #Var: 288 LB: 1831 @ 1392.3 1447.78 c Restart #67 #Var: 288 LB: 1831 @ 1447.4 1488.46 c Restart #68 #Var: 288 LB: 1831 @ 1488.1 1530.72 c Restart #69 #Var: 288 LB: 1831 @ 1530.3 1571.13 c Restart #70 #Var: 288 LB: 1831 @ 1570.7 1611.95 c Restart #71 #Var: 288 LB: 1831 @ 1611.5 1626.68 c Sol. found (all assignments made)... 1626.75 c Sol. found (all assignments made)... 1661.96 c Restart #72 #Var: 288 LB: 1831 @ 1661.5 1672.71 c Sol. found (all assignments made)... 1672.71 c Sol. found (all assignments made)... 1672.72 c Sol. found (all assignments made)... 1672.72 c Sol. found (all assignments made)... 1672.76 c Sol. found (all assignments made)... 1672.76 c Sol. found (all assignments made)... 1672.78 c Sol. found (all assignments made)... 1672.78 c Sol. found (all assignments made)... 1672.78 c Sol. found (all assignments made)... 1672.78 c Sol. found (all assignments made)... 1672.78 c Sol. found (all assignments made)... 1672.78 c Sol. found (all assignments made)... 1672.91 c Sol. found (all assignments made)... 1672.91 c Sol. found (all assignments made)... 1672.94 c Sol. found (all assignments made)... 1672.94 c Sol. found (all assignments made)... 1672.94 c Sol. found (all assignments made)... 1672.94 c Sol. found (all assignments made)... 1672.94 c Sol. found (all assignments made)... 1672.94 c Sol. found (all assignments made)... 1672.97 c Sol. found (all assignments made)... 1672.97 c Sol. found (all assignments made)... 1672.97 c Sol. found (all assignments made)... 1672.97 c Sol. found (all assignments made)... 1673.00 c Sol. found (all assignments made)... 1673.00 c Sol. found (all assignments made)... 1673.00 c Sol. found (all assignments made)... 1673.00 c Sol. found (all assignments made)... 1673.01 c Sol. found (all assignments made)... 1673.01 c Sol. found (all assignments made)... 1673.03 c Sol. found (all assignments made)... 1673.03 c Sol. found (all assignments made)... 1673.04 c Sol. found (all assignments made)... 1673.04 c Sol. found (all assignments made)... 1673.05 c Sol. found (all assignments made)... 1673.05 c Sol. found (all assignments made)... 1673.06 c Sol. found (all assignments made)... 1673.06 c Sol. found (all assignments made)... 1673.06 c Sol. found (all assignments made)... 1673.06 c Sol. found (all assignments made)... 1673.07 c Sol. found (all assignments made)... 1673.07 c Sol. found (all assignments made)... 1673.07 c Sol. found (all assignments made)... 1673.07 c Sol. found (all assignments made)... 1673.07 c Sol. found (all assignments made)... 1673.07 c Sol. found (all assignments made)... 1673.14 c Sol. found (all assignments made)... 1673.14 c Sol. found (all assignments made)... 1673.17 c Sol. found (all assignments made)... 1673.19 c Sol. found (all assignments made)... 1673.23 c Sol. found (all assignments made)... 1673.23 c Sol. found (all assignments made)... 1673.24 c Sol. found (all assignments made)... 1673.24 c Sol. found (all assignments made)... 1673.24 c Sol. found (all assignments made)... 1673.24 c Sol. found (all assignments made)... 1673.25 c Sol. found (all assignments made)... 1673.25 c Sol. found (all assignments made)... 1673.29 c Sol. found (all assignments made)... 1673.29 c Sol. found (all assignments made)... 1673.31 c Sol. found (all assignments made)... 1673.31 c Sol. found (all assignments made)... 1673.31 c Sol. found (all assignments made)... 1673.31 c Sol. found (all assignments made)... 1673.33 c Sol. found (all assignments made)... 1673.33 c Sol. found (all assignments made)... 1673.36 c Sol. found (all assignments made)... 1673.36 c Sol. found (all assignments made)... 1673.39 c Sol. found (all assignments made)... 1673.39 c Sol. found (all assignments made)... 1673.39 c Sol. found (all assignments made)... 1673.39 c Sol. found (all assignments made)... 1673.41 c Sol. found (all assignments made)... 1673.42 c Sol. found (all assignments made)... 1673.42 c Sol. found (all assignments made)... 1673.43 c Sol. found (all assignments made)... 1673.43 c Sol. found (all assignments made)... 1673.43 c Sol. found (all assignments made)... 1673.43 c Sol. found (all assignments made)... 1673.43 c Sol. found (all assignments made)... 1673.45 c Sol. found (all assignments made)... 1673.46 c Sol. found (all assignments made)... 1673.46 c Sol. found (all assignments made)... 1673.47 c Sol. found (all assignments made)... 1673.48 c Sol. found (all assignments made)... 1673.48 c Sol. found (all assignments made)... 1673.48 c Sol. found (all assignments made)... 1673.48 c Sol. found (all assignments made)... 1673.48 c Sol. found (all assignments made)... 1673.48 c Sol. found (all assignments made)... 1673.49 c Sol. found (all assignments made)... 1673.50 c Sol. found (all assignments made)... 1673.50 c Sol. found (all assignments made)... 1673.50 c Sol. found (all assignments made)... 1673.50 c Sol. found (all assignments made)... 1673.51 c Sol. found (all assignments made)... 1673.51 c Sol. found (all assignments made)... 1673.51 c Sol. found (all assignments made)... 1673.52 c Sol. found (all assignments made)... 1673.52 c Sol. found (all assignments made)... 1673.54 c Sol. found (all assignments made)... 1673.54 c Sol. found (all assignments made)... 1673.55 c Sol. found (all assignments made)... 1673.56 c Sol. found (all assignments made)... 1673.56 c Sol. found (all assignments made)... 1673.98 c Sol. found (all assignments made)... 1674.00 c Sol. found (all assignments made)... 1674.01 c Sol. found (all assignments made)... 1674.03 c Sol. found (all assignments made)... 1674.04 c Sol. found (all assignments made)... 1674.08 c Sol. found (all assignments made)... 1674.08 c Sol. found (all assignments made)... 1674.08 c Sol. found (all assignments made)... 1674.09 c Sol. found (all assignments made)... 1674.10 c Sol. found (all assignments made)... 1674.10 c Sol. found (all assignments made)... 1674.10 c Sol. found (all assignments made)... 1674.12 c Sol. found (all assignments made)... 1674.12 c Sol. found (all assignments made)... 1674.12 c Sol. found (all assignments made)... 1674.13 c Sol. found (all assignments made)... 1674.14 c Sol. found (all assignments made)... 1674.14 c Sol. found (all assignments made)... 1674.15 c Sol. found (all assignments made)... 1674.15 c Sol. found (all assignments made)... 1674.15 c Sol. found (all assignments made)... 1674.16 c Sol. found (all assignments made)... 1674.17 c Sol. found (all assignments made)... 1674.17 c Sol. found (all assignments made)... 1674.19 c Sol. found (all assignments made)... 1674.44 c Sol. found (all assignments made)... 1674.44 c Sol. found (all assignments made)... 1674.45 c Sol. found (all assignments made)... 1674.51 c Sol. found (all assignments made)... 1674.54 c Sol. found (all assignments made)... 1674.60 c Sol. found (all assignments made)... 1674.63 c Sol. found (all assignments made)... 1674.63 c Sol. found (all assignments made)... 1674.63 c Sol. found (all assignments made)... 1674.65 c Sol. found (all assignments made)... 1674.65 c Sol. found (all assignments made)... 1674.65 c Sol. found (all assignments made)... 1674.78 c Sol. found (all assignments made)... 1674.79 c Sol. found (all assignments made)... 1674.79 c Sol. found (all assignments made)... 1674.80 c Sol. found (all assignments made)... 1674.81 c Sol. found (all assignments made)... 1674.81 c Sol. found (all assignments made)... 1674.92 c Sol. found (all assignments made)... 1674.93 c Sol. found (all assignments made)... 1674.94 c Sol. found (all assignments made)... 1674.98 c Sol. found (all assignments made)... 1674.99 c Sol. found (all assignments made)... 1675.00 c Sol. found (all assignments made)... 1675.00 c Sol. found (all assignments made)... 1675.06 c Sol. found (all assignments made)... 1675.08 c Sol. found (all assignments made)... 1675.21 c Sol. found (all assignments made)... 1705.73 c Restart #73 #Var: 288 LB: 1831 @ 1705.3 1739.11 c Restart #74 #Var: 288 LB: 1831 @ 1738.7 1794.76 c Sol. found (all assignments made)... 1794.76 c Sol. found (all assignments made)... 1794.89 c Sol. found (all assignments made)... 1797.01 c Sol. found (all assignments made)... 1797.06 c Sol. found (all assignments made)... 1800.55 s SATISFIABLE 1800.55 c Cost: 8107 1800.55 v -x18 -x19 -x21 -x22 -x30 -x31 -x33 -x34 -x41 -x42 -x44 x45 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 1800.55 v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 1800.55 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 1800.55 v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 1800.55 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 1800.55 v -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 1800.55 v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 1800.55 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 1800.55 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1800.55 v -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x1 -x20 -x32 1800.55 v -x43 -x2 -x3 -x4 x5 x6 -x23 -x35 -x46 -x7 -x24 x36 -x25 -x37 -x26 -x38 -x47 -x8 -x27 -x39 -x48 -x10 -x11 -x28 x49 -x29 -x40 -x50 1800.55 v -x12 -x13 -x14 x15 -x16 -x17 -x260 -x274 -x280 -x286 -x262 x263 x265 -x259 -x273 -x279 -x285 -x261 -x264 x266 -x275 -x281 -x287 1800.55 v -x267 -x276 -x282 -x288 -x268 -x277 -x283 -x289 -x269 -x270 -x278 -x284 -x290 -x271 -x272 -x9 -x144 1800.55 c Exit Code: 10 1800.55 c Total time: 1800.1 s
OK 8107
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/node4/watcher-40005-1149351411 -o ROOT/results/node4/solver-40005-1149351411 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/40005-1149351411/instance-40005-1149351411.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.72 0.91 0.97 2/64 14144 /proc/meminfo: memFree=1807648/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=4928 CPUtime=0 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 307 0 0 0 0 0 0 0 19 0 1 0 200803030 5046272 276 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160504812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 1232 288 195 55 0 124 0 [startup+10.0024 s] /proc/loadavg: 0.76 0.91 0.97 2/64 14144 /proc/meminfo: memFree=1780704/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=30244 CPUtime=9.97 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 35504 0 5 0 955 42 0 0 25 0 1 0 200803030 30969856 6859 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 7619 6860 430 55 0 6511 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 30244 [startup+20.0084 s] /proc/loadavg: 0.80 0.92 0.97 2/64 14144 /proc/meminfo: memFree=1759200/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=52416 CPUtime=19.97 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 64311 0 5 0 1920 77 0 0 25 0 1 0 200803030 53673984 12233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 13089 12232 430 55 0 11981 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 52416 [startup+30.0144 s] /proc/loadavg: 0.83 0.92 0.97 2/64 14144 /proc/meminfo: memFree=1736480/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=76380 CPUtime=29.98 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 91704 0 5 0 2888 110 0 0 25 0 1 0 200803030 78213120 17894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 19095 17894 430 55 0 17987 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 76380 [startup+40.0203 s] /proc/loadavg: 0.85 0.92 0.97 2/64 14144 /proc/meminfo: memFree=1719776/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=94608 CPUtime=39.98 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 115853 0 5 0 3859 139 0 0 25 0 1 0 200803030 96878592 22057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 23652 22057 430 55 0 22544 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 94608 [startup+50.0273 s] /proc/loadavg: 0.88 0.92 0.97 2/64 14144 /proc/meminfo: memFree=1699104/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=115364 CPUtime=49.99 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 144128 0 5 0 4824 175 0 0 25 0 1 0 200803030 118132736 27214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 28841 27214 430 55 0 27733 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 115364 [startup+60.0323 s] /proc/loadavg: 0.89 0.92 0.97 2/64 14144 /proc/meminfo: memFree=1689952/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=124712 CPUtime=59.99 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 164655 0 5 0 5802 197 0 0 25 0 1 0 200803030 127705088 29495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 31178 29495 430 55 0 30070 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 124712 [startup+70.0382 s] /proc/loadavg: 0.91 0.93 0.97 2/64 14144 /proc/meminfo: memFree=1677344/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=137216 CPUtime=69.99 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 181160 0 5 0 6780 219 0 0 25 0 1 0 200803030 140509184 32621 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 34304 32621 430 55 0 33196 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 137216 [startup+80.0442 s] /proc/loadavg: 0.92 0.93 0.97 2/64 14144 /proc/meminfo: memFree=1666144/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=150580 CPUtime=80 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 199411 0 5 0 7760 240 0 0 25 0 1 0 200803030 154193920 35423 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 37645 35423 430 55 0 36537 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 150580 [startup+90.0502 s] /proc/loadavg: 0.93 0.93 0.97 2/64 14144 /proc/meminfo: memFree=1654560/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=163060 CPUtime=90 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 217215 0 5 0 8737 263 0 0 25 0 1 0 200803030 166973440 38312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 40765 38312 430 55 0 39657 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 163060 [startup+100.056 s] /proc/loadavg: 0.94 0.93 0.97 2/64 14144 /proc/meminfo: memFree=1643744/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=174788 CPUtime=100 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 234584 0 5 0 9717 283 0 0 25 0 1 0 200803030 178982912 41015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 43697 41015 430 55 0 42589 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 174788 [startup+110.063 s] /proc/loadavg: 0.95 0.93 0.97 2/64 14144 /proc/meminfo: memFree=1633952/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=185012 CPUtime=110.01 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 253888 0 5 0 10697 304 0 0 25 0 1 0 200803030 189452288 43459 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 46253 43459 430 55 0 45145 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 185012 [startup+120.068 s] /proc/loadavg: 0.96 0.94 0.97 2/64 14144 /proc/meminfo: memFree=1621600/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=197796 CPUtime=120.01 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 272593 0 5 0 11677 324 0 0 25 0 1 0 200803030 202543104 46536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 49483 46538 430 55 0 48375 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 197796 [startup+130.074 s] /proc/loadavg: 0.97 0.94 0.97 2/64 14144 /proc/meminfo: memFree=1610016/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=209784 CPUtime=130.01 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 289704 0 5 0 12657 344 0 0 25 0 1 0 200803030 214818816 49417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 52446 49417 430 55 0 51338 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 209784 [startup+140.08 s] /proc/loadavg: 0.97 0.94 0.97 2/64 14144 /proc/meminfo: memFree=1597024/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=222756 CPUtime=140.01 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 309147 0 5 0 13635 366 0 0 25 0 1 0 200803030 228102144 52664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 55689 52664 430 55 0 54581 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 222756 [startup+150.086 s] /proc/loadavg: 0.97 0.94 0.97 2/64 14144 /proc/meminfo: memFree=1582176/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=237688 CPUtime=150.02 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 330745 0 5 0 14611 391 0 0 25 0 1 0 200803030 243392512 56385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 59396 56384 430 55 0 58288 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 237688 [startup+160.092 s] /proc/loadavg: 0.98 0.94 0.97 2/64 14144 /proc/meminfo: memFree=1571680/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=247988 CPUtime=160.02 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 348366 0 5 0 15590 412 0 0 25 0 1 0 200803030 253939712 58999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134687061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 61997 58999 430 55 0 60889 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 247988 [startup+170.099 s] /proc/loadavg: 0.98 0.94 0.97 2/64 14144 /proc/meminfo: memFree=1560544/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=258692 CPUtime=170.03 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 371713 0 5 0 16566 437 0 0 25 0 1 0 200803030 264900608 61772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 64673 61772 430 55 0 63565 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 258692 [startup+180.104 s] /proc/loadavg: 0.98 0.94 0.97 2/64 14144 /proc/meminfo: memFree=1549024/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=272484 CPUtime=180.03 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 390892 0 5 0 17545 458 0 0 25 0 1 0 200803030 279023616 64644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 68121 64644 430 55 0 67013 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 272484 [startup+190.11 s] /proc/loadavg: 0.98 0.95 0.97 2/64 14144 /proc/meminfo: memFree=1539936/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=283048 CPUtime=190.04 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 408912 0 5 0 18524 480 0 0 25 0 1 0 200803030 289841152 66919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 70762 66919 430 55 0 69654 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 283048 [startup+200.116 s] /proc/loadavg: 0.99 0.95 0.97 2/64 14144 /proc/meminfo: memFree=1525792/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=298544 CPUtime=200.04 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 431386 0 5 0 19499 505 0 0 25 0 1 0 200803030 305709056 70444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 74636 70444 430 55 0 73528 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 298544 [startup+210.126 s] /proc/loadavg: 0.99 0.95 0.97 2/64 14144 /proc/meminfo: memFree=1516512/2055920 swapFree=4181420/4192956 ################ # More data... # ################ /proc/14144/statm: 435640 414875 430 55 0 434532 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 1742560 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=132008/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1754880 CPUtime=1770.59 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2523683 0 5 0 173997 3062 0 0 25 0 1 0 200803030 1796997120 418043 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 438720 418043 430 55 0 437612 0 Current children cumulated CPU time (s) 1770.59 Current children cumulated vsize (Kb) 1754880 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=127464/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1759228 CPUtime=1780.59 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2531742 0 5 0 174987 3072 0 0 25 0 1 0 200803030 1801449472 419182 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 439807 419182 430 55 0 438699 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 1759228 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=127208/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1759528 CPUtime=1781.6 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2532200 0 5 0 175087 3073 0 0 25 0 1 0 200803030 1801756672 419255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 439882 419255 430 55 0 438774 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 1759528 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=127144/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1759536 CPUtime=1782.61 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2532249 0 5 0 175188 3073 0 0 25 0 1 0 200803030 1801764864 419256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 439884 419256 430 55 0 438776 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 1759536 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=126824/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1759852 CPUtime=1783.61 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2532745 0 5 0 175287 3074 0 0 25 0 1 0 200803030 1802088448 419340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 439963 419340 430 55 0 438855 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 1759852 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=126568/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1760052 CPUtime=1784.62 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2533080 0 5 0 175388 3074 0 0 25 0 1 0 200803030 1802293248 419400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644630 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440013 419400 430 55 0 438905 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 1760052 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=126568/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1760104 CPUtime=1785.62 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2533215 0 5 0 175488 3074 0 0 25 0 1 0 200803030 1802346496 419405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440026 419405 430 55 0 438918 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 1760104 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=126504/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1760112 CPUtime=1786.62 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2533332 0 5 0 175588 3074 0 0 25 0 1 0 200803030 1802354688 419415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440028 419415 430 55 0 438920 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 1760112 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=126248/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1760376 CPUtime=1787.63 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2533666 0 5 0 175688 3075 0 0 25 0 1 0 200803030 1802625024 419479 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440094 419479 430 55 0 438986 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 1760376 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=125992/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1760652 CPUtime=1788.64 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2534104 0 5 0 175788 3076 0 0 25 0 1 0 200803030 1802907648 419560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440163 419560 430 55 0 439055 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 1760652 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=125800/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1760792 CPUtime=1789.64 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2534398 0 5 0 175888 3076 0 0 25 0 1 0 200803030 1803051008 419600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440198 419600 430 55 0 439090 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 1760792 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=125480/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1761112 CPUtime=1790.64 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2534965 0 5 0 175987 3077 0 0 25 0 1 0 200803030 1803378688 419680 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440278 419680 430 55 0 439170 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 1761112 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=125096/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1761468 CPUtime=1791.65 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2535844 0 5 0 176086 3079 0 0 25 0 1 0 200803030 1803743232 419775 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541457 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440367 419775 430 55 0 439259 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 1761468 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=125032/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1761552 CPUtime=1792.66 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2536029 0 5 0 176187 3079 0 0 25 0 1 0 200803030 1803829248 419790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440388 419790 430 55 0 439280 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 1761552 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=124840/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1761672 CPUtime=1793.66 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2536350 0 5 0 176286 3080 0 0 25 0 1 0 200803030 1803952128 419829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440418 419829 430 55 0 439310 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 1761672 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=123880/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1762580 CPUtime=1794.67 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2537592 0 5 0 176385 3082 0 0 25 0 1 0 200803030 1804881920 420066 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440645 420066 430 55 0 439537 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 1762580 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=123752/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1762728 CPUtime=1795.67 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2537910 0 5 0 176485 3082 0 0 25 0 1 0 200803030 1805033472 420102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440682 420102 430 55 0 439574 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 1762728 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=123368/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1763096 CPUtime=1796.67 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2538512 0 5 0 176584 3083 0 0 25 0 1 0 200803030 1805410304 420197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440774 420197 430 55 0 439666 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 1763096 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=123176/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1763308 CPUtime=1797.67 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2538794 0 5 0 176684 3083 0 0 25 0 1 0 200803030 1805627392 420255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440827 420255 430 55 0 439719 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 1763308 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=122984/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1763484 CPUtime=1798.69 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2539043 0 5 0 176785 3084 0 0 25 0 1 0 200803030 1805807616 420300 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440871 420300 430 55 0 439763 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 1763484 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 14146 /proc/meminfo: memFree=122856/2055920 swapFree=4181420/4192956 [pid=14144] ppid=14142 vsize=1763572 CPUtime=1799.69 /proc/14144/stat : 14144 (bsolo) R 14142 14144 14098 0 -1 0 2539204 0 5 0 176885 3084 0 0 25 0 1 0 200803030 1805897728 420321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14144/statm: 440893 420321 430 55 0 439785 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 1763572 Child status: 10 Real time (s): 1800.83 CPU time (s): 1800.36 CPU user time (s): 1769.24 CPU system time (s): 31.1233 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (Kb): 1763572
Begin job on node4 on Sat Jun 3 16:16:51 UTC 2006 FILE ID= 40005-1149351411 PBS_JOBID= 311016 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/40005-1149351411/instance-40005-1149351411.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-40005-1149351411 -o ROOT/results/node4/solver-40005-1149351411 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node4/40005-1149351411/instance-40005-1149351411.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 95e4efc01e56e7c627bbc0cc1139ffbe RANDOM SEED= 584828177 /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.236 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.236 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: 1807856 kB Buffers: 16640 kB Cached: 172500 kB SwapCached: 3164 kB Active: 37876 kB Inactive: 159880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1807856 kB SwapTotal: 4192956 kB SwapFree: 4181420 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14652 kB Slab: 36280 kB Committed_AS: 324392 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Sat Jun 3 16:46:52 UTC 2006