Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 68 | 1800.08 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1800.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 66 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1273 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4329 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.09 c INFO: OSL Context initialized. 0.09 c Initial problem consists of 146 variables and 12 constraints. 0.09 c No problem reductions applied in OPT. instance. 0.09 c preprocess terminated. Elapsed time: 0.012 0.09 c After prepocess the problem consists of 146 variables and 12 constraints. 0.09 c Initial Lower Bound: 0 0.10 c Restart #1 #Var: 146 LB: 0 @ 0.022 0.12 c Restart #2 #Var: 146 LB: 0 @ 0.043 0.16 c Restart #3 #Var: 146 LB: 0 @ 0.079 0.20 c Restart #4 #Var: 146 LB: 0 @ 0.125 0.25 c Restart #5 #Var: 146 LB: 0 @ 0.172 0.30 c Restart #6 #Var: 146 LB: 0 @ 0.218 0.35 c Restart #7 #Var: 146 LB: 0 @ 0.271 0.41 c Restart #8 #Var: 146 LB: 0 @ 0.332 0.46 c Sol. found (all assignments made)... 0.46 o 1518 0.46 c NEW SOLUTION FOUND: 1518 @ 0.384 0.46 c Sol. found (all assignments made)... 0.46 c Sol. found (all assignments made)... 0.46 o 1454 0.46 c NEW SOLUTION FOUND: 1454 @ 0.384 0.46 c Sol. found (all assignments made)... 0.46 o 1438 0.46 c NEW SOLUTION FOUND: 1438 @ 0.384 0.47 c Sol. found (all assignments made)... 0.47 o 1434 0.47 c NEW SOLUTION FOUND: 1434 @ 0.386 0.47 c Sol. found (all assignments made)... 0.47 o 1418 0.47 c NEW SOLUTION FOUND: 1418 @ 0.387 0.47 c Sol. found (all assignments made)... 0.47 o 1410 0.47 c NEW SOLUTION FOUND: 1410 @ 0.388 0.47 c Sol. found (all assignments made)... 0.47 o 1402 0.47 c NEW SOLUTION FOUND: 1402 @ 0.388 0.47 c Sol. found (all assignments made)... 0.47 o 1400 0.47 c NEW SOLUTION FOUND: 1400 @ 0.393 0.48 c Sol. found (all assignments made)... 0.48 o 1398 0.48 c NEW SOLUTION FOUND: 1398 @ 0.398 0.48 c Sol. found (all assignments made)... 0.48 o 1396 0.48 c NEW SOLUTION FOUND: 1396 @ 0.398 0.48 c Sol. found (all assignments made)... 0.48 o 1394 0.48 c NEW SOLUTION FOUND: 1394 @ 0.399 0.48 c Sol. found (all assignments made)... 0.48 o 1392 0.48 c NEW SOLUTION FOUND: 1392 @ 0.399 0.48 c Sol. found (all assignments made)... 0.48 o 1384 0.48 c NEW SOLUTION FOUND: 1384 @ 0.402 0.49 c Sol. found (all assignments made)... 0.49 o 1380 0.49 c NEW SOLUTION FOUND: 1380 @ 0.409 0.50 c Sol. found (all assignments made)... 0.50 o 1378 0.50 c NEW SOLUTION FOUND: 1378 @ 0.42 0.52 c Sol. found (all assignments made)... 0.52 o 1370 0.52 c NEW SOLUTION FOUND: 1370 @ 0.435 0.53 c Sol. found (all assignments made)... 0.53 o 1362 0.53 c NEW SOLUTION FOUND: 1362 @ 0.451 0.56 c Sol. found (all assignments made)... 0.56 o 1356 0.56 c NEW SOLUTION FOUND: 1356 @ 0.485 0.57 c Sol. found (all assignments made)... 0.57 o 1354 0.57 c NEW SOLUTION FOUND: 1354 @ 0.491 0.58 c Sol. found (all assignments made)... 0.58 o 1350 0.58 c NEW SOLUTION FOUND: 1350 @ 0.504 0.62 c Sol. found (all assignments made)... 0.62 o 1348 0.62 c NEW SOLUTION FOUND: 1348 @ 0.545 0.64 c Sol. found (all assignments made)... 0.64 o 1334 0.64 c NEW SOLUTION FOUND: 1334 @ 0.565 0.65 c Sol. found (all assignments made)... 0.65 o 1326 0.65 c NEW SOLUTION FOUND: 1326 @ 0.568 0.65 c Sol. found (all assignments made)... 0.65 o 1318 0.65 c NEW SOLUTION FOUND: 1318 @ 0.568 0.65 c Sol. found (all assignments made)... 0.65 o 1316 0.65 c NEW SOLUTION FOUND: 1316 @ 0.572 0.66 c Sol. found (all assignments made)... 0.66 o 1304 0.66 c NEW SOLUTION FOUND: 1304 @ 0.58 0.67 c Sol. found (all assignments made)... 0.67 o 1300 0.67 c NEW SOLUTION FOUND: 1300 @ 0.587 0.67 c Sol. found (all assignments made)... 0.67 o 1296 0.67 c NEW SOLUTION FOUND: 1296 @ 0.595 0.68 c Sol. found (all assignments made)... 0.68 o 1292 0.68 c NEW SOLUTION FOUND: 1292 @ 0.603 0.72 c Sol. found (all assignments made)... 0.72 o 1286 0.72 c NEW SOLUTION FOUND: 1286 @ 0.636 0.72 c Sol. found (all assignments made)... 0.72 o 1284 0.72 c NEW SOLUTION FOUND: 1284 @ 0.64 0.78 c Sol. found (all assignments made)... 0.78 o 1280 0.78 c NEW SOLUTION FOUND: 1280 @ 0.698 0.78 c Sol. found (all assignments made)... 0.78 o 1272 0.78 c NEW SOLUTION FOUND: 1272 @ 0.699 0.78 c Sol. found (all assignments made)... 0.78 o 1270 0.78 c NEW SOLUTION FOUND: 1270 @ 0.703 0.79 c Sol. found (all assignments made)... 0.79 o 1266 0.79 c NEW SOLUTION FOUND: 1266 @ 0.714 0.80 c Sol. found (all assignments made)... 0.80 o 1262 0.80 c NEW SOLUTION FOUND: 1262 @ 0.724 0.83 c Sol. found (all assignments made)... 0.83 o 1260 0.83 c NEW SOLUTION FOUND: 1260 @ 0.75 0.88 c Sol. found (all assignments made)... 0.88 o 1252 0.88 c NEW SOLUTION FOUND: 1252 @ 0.799 1.22 c Sol. found (all assignments made)... 1.22 o 1248 1.22 c NEW SOLUTION FOUND: 1248 @ 1.143 1.72 c Sol. found (all assignments made)... 1.72 o 1246 1.72 c NEW SOLUTION FOUND: 1246 @ 1.64 1.93 c Sol. found (all assignments made)... 1.93 o 1242 1.93 c NEW SOLUTION FOUND: 1242 @ 1.85 1.93 c Sol. found (all assignments made)... 1.93 o 1240 1.93 c NEW SOLUTION FOUND: 1240 @ 1.851 1.93 c Sol. found (all assignments made)... 1.93 o 1226 1.93 c NEW SOLUTION FOUND: 1226 @ 1.852 1.93 c Sol. found (all assignments made)... 1.93 o 1224 1.93 c NEW SOLUTION FOUND: 1224 @ 1.854 1.97 c Sol. found (all assignments made)... 1.97 o 1216 1.97 c NEW SOLUTION FOUND: 1216 @ 1.885 1.97 c Sol. found (all assignments made)... 1.97 o 1208 1.97 c NEW SOLUTION FOUND: 1208 @ 1.887 1.98 c Sol. found (all assignments made)... 1.98 o 1206 1.98 c NEW SOLUTION FOUND: 1206 @ 1.904 2.01 c Sol. found (all assignments made)... 2.01 o 1202 2.01 c NEW SOLUTION FOUND: 1202 @ 1.928 2.05 c Sol. found (all assignments made)... 2.05 o 1196 2.05 c NEW SOLUTION FOUND: 1196 @ 1.968 2.05 c Sol. found (all assignments made)... 2.05 o 1194 2.05 c NEW SOLUTION FOUND: 1194 @ 1.97 2.08 c Sol. found (all assignments made)... 2.08 o 1190 2.08 c NEW SOLUTION FOUND: 1190 @ 1.998 2.28 c Sol. found (all assignments made)... 2.28 o 1188 2.28 c NEW SOLUTION FOUND: 1188 @ 2.204 2.31 c Sol. found (all assignments made)... 2.31 o 1184 2.31 c NEW SOLUTION FOUND: 1184 @ 2.233 2.43 c Sol. found (all assignments made)... 2.43 o 1182 2.43 c NEW SOLUTION FOUND: 1182 @ 2.35 2.74 c Sol. found (all assignments made)... 2.74 o 1180 2.74 c NEW SOLUTION FOUND: 1180 @ 2.656 2.74 c Sol. found (all assignments made)... 2.74 o 1178 2.74 c NEW SOLUTION FOUND: 1178 @ 2.66 3.38 c Restart #9 #Var: 146 LB: 0 @ 3.301 3.88 c Restart #10 #Var: 146 LB: 0 @ 3.802 5.24 c Restart #11 #Var: 146 LB: 0 @ 5.163 5.84 c Restart #12 #Var: 146 LB: 0 @ 5.756 8.43 c Sol. found (all assignments made)... 8.43 o 999 8.43 c NEW SOLUTION FOUND: 999 @ 8.353 8.44 c Sol. found (all assignments made)... 8.44 o 991 8.44 c NEW SOLUTION FOUND: 991 @ 8.354 8.44 c Sol. found (all assignments made)... 8.44 o 975 8.44 c NEW SOLUTION FOUND: 975 @ 8.356 8.44 c Sol. found (all assignments made)... 8.44 o 959 8.44 c NEW SOLUTION FOUND: 959 @ 8.356 8.44 c Sol. found (all assignments made)... 8.44 o 899 8.44 c NEW SOLUTION FOUND: 899 @ 8.359 8.44 c Sol. found (all assignments made)... 8.44 o 895 8.44 c NEW SOLUTION FOUND: 895 @ 8.36 8.49 c Sol. found (all assignments made)... 8.49 o 891 8.49 c NEW SOLUTION FOUND: 891 @ 8.404 8.51 c Sol. found (all assignments made)... 8.51 o 889 8.51 c NEW SOLUTION FOUND: 889 @ 8.433 8.53 c Sol. found (all assignments made)... 8.53 o 887 8.53 c NEW SOLUTION FOUND: 887 @ 8.446 8.56 c Sol. found (all assignments made)... 8.56 o 879 8.56 c NEW SOLUTION FOUND: 879 @ 8.474 8.57 c Sol. found (all assignments made)... 8.57 o 875 8.57 c NEW SOLUTION FOUND: 875 @ 8.487 8.57 c Sol. found (all assignments made)... 8.57 o 871 8.57 c NEW SOLUTION FOUND: 871 @ 8.487 8.57 c Sol. found (all assignments made)... 8.57 o 863 8.57 c NEW SOLUTION FOUND: 863 @ 8.491 8.66 c Sol. found (all assignments made)... 8.66 o 861 8.66 c NEW SOLUTION FOUND: 861 @ 8.575 8.78 c Sol. found (all assignments made)... 8.78 o 859 8.78 c NEW SOLUTION FOUND: 859 @ 8.698 8.83 c Sol. found (all assignments made)... 8.83 o 857 8.83 c NEW SOLUTION FOUND: 857 @ 8.744 10.67 c Sol. found (all assignments made)... 10.67 o 855 10.67 c NEW SOLUTION FOUND: 855 @ 10.584 10.68 c Sol. found (all assignments made)... 10.68 o 851 10.68 c NEW SOLUTION FOUND: 851 @ 10.6 10.70 c Sol. found (all assignments made)... 10.70 o 847 10.70 c NEW SOLUTION FOUND: 847 @ 10.613 10.72 c Sol. found (all assignments made)... 10.72 o 843 10.72 c NEW SOLUTION FOUND: 843 @ 10.637 10.77 c Sol. found (all assignments made)... 10.77 o 839 10.77 c NEW SOLUTION FOUND: 839 @ 10.681 10.83 c Sol. found (all assignments made)... 10.83 o 835 10.83 c NEW SOLUTION FOUND: 835 @ 10.744 11.89 c Sol. found (all assignments made)... 11.89 o 765 11.89 c NEW SOLUTION FOUND: 765 @ 11.804 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.89 c Sol. found (all assignments made)... 11.89 o 763 11.89 c NEW SOLUTION FOUND: 763 @ 11.81 11.90 c Sol. found (all assignments made)... 11.90 c Sol. found (all assignments made)... 11.90 o 759 11.90 c NEW SOLUTION FOUND: 759 @ 11.81 11.90 c Sol. found (all assignments made)... 11.90 o 757 11.90 c NEW SOLUTION FOUND: 757 @ 11.811 11.90 c Sol. found (all assignments made)... 11.90 o 749 11.90 c NEW SOLUTION FOUND: 749 @ 11.813 11.90 c Sol. found (all assignments made)... 12.03 c Sol. found (all assignments made)... 12.03 o 747 12.03 c NEW SOLUTION FOUND: 747 @ 11.948 12.63 c Sol. found (all assignments made)... 12.63 o 745 12.63 c NEW SOLUTION FOUND: 745 @ 12.541 12.64 c Sol. found (all assignments made)... 12.64 o 743 12.64 c NEW SOLUTION FOUND: 743 @ 12.551 12.74 c Sol. found (all assignments made)... 12.74 o 741 12.74 c NEW SOLUTION FOUND: 741 @ 12.65 12.80 c Sol. found (all assignments made)... 12.80 o 739 12.80 c NEW SOLUTION FOUND: 739 @ 12.716 12.85 c Sol. found (all assignments made)... 12.85 c Sol. found (all assignments made)... 12.85 o 737 12.85 c NEW SOLUTION FOUND: 737 @ 12.767 17.64 c Restart #13 #Var: 146 LB: 0 @ 17.558 18.86 c Restart #14 #Var: 146 LB: 0 @ 18.771 19.72 c Restart #15 #Var: 146 LB: 0 @ 19.637 20.98 c Restart #16 #Var: 146 LB: 0 @ 20.888 21.72 c Sol. found (all assignments made)... 21.73 c Sol. found (all assignments made)... 21.73 o 727 21.73 c NEW SOLUTION FOUND: 727 @ 21.637 21.74 c Sol. found (all assignments made)... 21.74 o 725 21.74 c NEW SOLUTION FOUND: 725 @ 21.651 21.78 c Sol. found (all assignments made)... 21.78 o 715 21.78 c NEW SOLUTION FOUND: 715 @ 21.696 21.80 c Sol. found (all assignments made)... 21.80 o 675 21.80 c NEW SOLUTION FOUND: 675 @ 21.707 21.80 c Sol. found (all assignments made)... 21.80 o 667 21.80 c NEW SOLUTION FOUND: 667 @ 21.707 21.80 c Sol. found (all assignments made)... 21.80 o 665 21.80 c NEW SOLUTION FOUND: 665 @ 21.708 21.80 c Sol. found (all assignments made)... 21.80 o 653 21.80 c NEW SOLUTION FOUND: 653 @ 21.71 21.80 c Sol. found (all assignments made)... 21.80 o 651 21.80 c NEW SOLUTION FOUND: 651 @ 21.711 21.82 c Sol. found (all assignments made)... 21.82 o 647 21.82 c NEW SOLUTION FOUND: 647 @ 21.727 21.91 c Sol. found (all assignments made)... 21.91 o 641 21.91 c NEW SOLUTION FOUND: 641 @ 21.819 21.91 c Sol. found (all assignments made)... 21.91 o 639 21.91 c NEW SOLUTION FOUND: 639 @ 21.824 21.97 c Sol. found (all assignments made)... 21.97 o 637 21.97 c NEW SOLUTION FOUND: 637 @ 21.886 22.37 c Sol. found (all assignments made)... 22.37 o 635 22.37 c NEW SOLUTION FOUND: 635 @ 22.278 23.57 c Sol. found (all assignments made)... 23.57 o 633 23.57 c NEW SOLUTION FOUND: 633 @ 23.484 24.86 c Restart #17 #Var: 146 LB: 0 @ 24.771 26.68 c Restart #18 #Var: 146 LB: 0 @ 26.592 28.08 c Sol. found (all assignments made)... 28.08 o 631 28.08 c NEW SOLUTION FOUND: 631 @ 27.989 28.12 c Sol. found (all assignments made)... 28.12 o 629 28.12 c NEW SOLUTION FOUND: 629 @ 28.035 28.21 c Sol. found (all assignments made)... 28.21 o 627 28.21 c NEW SOLUTION FOUND: 627 @ 28.12 28.22 c Sol. found (all assignments made)... 28.22 o 625 28.22 c NEW SOLUTION FOUND: 625 @ 28.133 28.26 c Sol. found (all assignments made)... 28.26 o 621 28.26 c NEW SOLUTION FOUND: 621 @ 28.173 28.27 c Sol. found (all assignments made)... 28.27 o 619 28.27 c NEW SOLUTION FOUND: 619 @ 28.181 33.88 c Restart #19 #Var: 146 LB: 0 @ 33.791 37.60 c Sol. found (all assignments made)... 37.60 c Sol. found (all assignments made)... 37.60 o 618 37.60 c NEW SOLUTION FOUND: 618 @ 37.513 37.61 c Sol. found (all assignments made)... 37.61 o 616 37.61 c NEW SOLUTION FOUND: 616 @ 37.519 38.16 c Sol. found (all assignments made)... 38.16 o 608 38.16 c NEW SOLUTION FOUND: 608 @ 38.064 38.16 c Sol. found (all assignments made)... 38.16 o 602 38.16 c NEW SOLUTION FOUND: 602 @ 38.066 38.16 c Sol. found (all assignments made)... 38.16 o 598 38.16 c NEW SOLUTION FOUND: 598 @ 38.071 38.17 c Sol. found (all assignments made)... 38.17 o 596 38.17 c NEW SOLUTION FOUND: 596 @ 38.074 38.17 c Sol. found (all assignments made)... 38.17 o 594 38.17 c NEW SOLUTION FOUND: 594 @ 38.075 38.17 c Sol. found (all assignments made)... 38.17 o 588 38.17 c NEW SOLUTION FOUND: 588 @ 38.082 38.17 c Sol. found (all assignments made)... 38.17 o 582 38.17 c NEW SOLUTION FOUND: 582 @ 38.083 38.18 c Sol. found (all assignments made)... 38.18 o 580 38.18 c NEW SOLUTION FOUND: 580 @ 38.091 38.18 c Sol. found (all assignments made)... 38.18 o 578 38.18 c NEW SOLUTION FOUND: 578 @ 38.091 38.20 c Sol. found (all assignments made)... 38.20 o 556 38.20 c NEW SOLUTION FOUND: 556 @ 38.105 38.20 c Sol. found (all assignments made)... 38.20 o 552 38.20 c NEW SOLUTION FOUND: 552 @ 38.106 38.20 c Sol. found (all assignments made)... 38.20 o 550 38.20 c NEW SOLUTION FOUND: 550 @ 38.107 38.21 c Sol. found (all assignments made)... 38.21 o 546 38.21 c NEW SOLUTION FOUND: 546 @ 38.114 38.25 c Sol. found (all assignments made)... 38.25 o 544 38.25 c NEW SOLUTION FOUND: 544 @ 38.158 38.30 c Sol. found (all assignments made)... 38.30 o 532 38.30 c NEW SOLUTION FOUND: 532 @ 38.209 38.31 c Sol. found (all assignments made)... 38.31 o 528 38.31 c NEW SOLUTION FOUND: 528 @ 38.217 38.33 c Sol. found (all assignments made)... 38.33 o 516 38.33 c NEW SOLUTION FOUND: 516 @ 38.241 38.36 c Sol. found (all assignments made)... 38.36 o 512 38.36 c NEW SOLUTION FOUND: 512 @ 38.271 38.40 c Sol. found (all assignments made)... 38.40 o 500 38.40 c NEW SOLUTION FOUND: 500 @ 38.304 38.40 c Sol. found (all assignments made)... 38.40 o 484 38.40 c NEW SOLUTION FOUND: 484 @ 38.309 38.42 c Sol. found (all assignments made)... 38.42 o 480 38.42 c NEW SOLUTION FOUND: 480 @ 38.329 38.55 c Sol. found (all assignments made)... 38.55 o 470 38.55 c NEW SOLUTION FOUND: 470 @ 38.459 38.57 c Sol. found (all assignments made)... 38.57 o 466 38.57 c NEW SOLUTION FOUND: 466 @ 38.483 38.71 c Sol. found (all assignments made)... 38.71 o 456 38.71 c NEW SOLUTION FOUND: 456 @ 38.623 38.77 c Sol. found (all assignments made)... 38.77 o 452 38.77 c NEW SOLUTION FOUND: 452 @ 38.677 38.80 c Sol. found (all assignments made)... 38.80 o 424 38.80 c NEW SOLUTION FOUND: 424 @ 38.706 38.82 c Sol. found (all assignments made)... 38.82 o 420 38.82 c NEW SOLUTION FOUND: 420 @ 38.731 38.90 c Sol. found (all assignments made)... 38.90 o 410 38.90 c NEW SOLUTION FOUND: 410 @ 38.811 38.93 c Sol. found (all assignments made)... 38.93 o 406 38.93 c NEW SOLUTION FOUND: 406 @ 38.84 39.00 c Sol. found (all assignments made)... 39.00 o 396 39.00 c NEW SOLUTION FOUND: 396 @ 38.905 39.03 c Sol. found (all assignments made)... 39.03 o 392 39.03 c NEW SOLUTION FOUND: 392 @ 38.937 39.10 c Sol. found (all assignments made)... 39.10 o 382 39.10 c NEW SOLUTION FOUND: 382 @ 39.006 39.13 c Sol. found (all assignments made)... 39.13 o 378 39.13 c NEW SOLUTION FOUND: 378 @ 39.033 39.20 c Sol. found (all assignments made)... 39.20 o 374 39.20 c NEW SOLUTION FOUND: 374 @ 39.107 39.22 c Sol. found (all assignments made)... 39.22 o 370 39.22 c NEW SOLUTION FOUND: 370 @ 39.127 39.31 c Sol. found (all assignments made)... 39.31 o 368 39.31 c NEW SOLUTION FOUND: 368 @ 39.223 39.62 c Sol. found (all assignments made)... 39.62 o 364 39.62 c NEW SOLUTION FOUND: 364 @ 39.532 39.77 c Sol. found (all assignments made)... 39.77 o 360 39.77 c NEW SOLUTION FOUND: 360 @ 39.683 40.05 c Sol. found (all assignments made)... 40.05 o 358 40.05 c NEW SOLUTION FOUND: 358 @ 39.955 44.64 c Sol. found (all assignments made)... 44.64 o 354 44.64 c NEW SOLUTION FOUND: 354 @ 44.551 46.19 c Sol. found (all assignments made)... 46.19 o 350 46.19 c NEW SOLUTION FOUND: 350 @ 46.092 46.30 c Sol. found (all assignments made)... 46.30 o 346 46.30 c NEW SOLUTION FOUND: 346 @ 46.203 48.01 c Sol. found (all assignments made)... 48.01 o 345 48.01 c NEW SOLUTION FOUND: 345 @ 47.918 48.64 c Sol. found (all assignments made)... 48.64 o 341 48.64 c NEW SOLUTION FOUND: 341 @ 48.547 48.68 c Sol. found (all assignments made)... 48.68 o 339 48.68 c NEW SOLUTION FOUND: 339 @ 48.582 48.88 c Sol. found (all assignments made)... 48.88 o 337 48.88 c NEW SOLUTION FOUND: 337 @ 48.788 49.41 c Sol. found (all assignments made)... 49.41 o 333 49.41 c NEW SOLUTION FOUND: 333 @ 49.32 49.46 c Sol. found (all assignments made)... 49.46 o 331 49.46 c NEW SOLUTION FOUND: 331 @ 49.365 49.92 c Sol. found (all assignments made)... 49.92 o 329 49.92 c NEW SOLUTION FOUND: 329 @ 49.827 49.95 c Sol. found (all assignments made)... 49.95 o 325 49.95 c NEW SOLUTION FOUND: 325 @ 49.854 50.06 c Sol. found (all assignments made)... 50.06 o 323 50.06 c NEW SOLUTION FOUND: 323 @ 49.964 51.67 c Sol. found (all assignments made)... 51.67 o 307 51.67 c NEW SOLUTION FOUND: 307 @ 51.571 51.68 c Sol. found (all assignments made)... 51.68 o 299 51.68 c NEW SOLUTION FOUND: 299 @ 51.58 51.68 c Sol. found (all assignments made)... 51.68 o 295 51.68 c NEW SOLUTION FOUND: 295 @ 51.585 51.70 c Sol. found (all assignments made)... 51.70 o 293 51.70 c NEW SOLUTION FOUND: 293 @ 51.605 51.85 c Sol. found (all assignments made)... 51.85 o 287 51.85 c NEW SOLUTION FOUND: 287 @ 51.755 51.90 c Sol. found (all assignments made)... 51.90 o 283 51.90 c NEW SOLUTION FOUND: 283 @ 51.802 52.88 c Sol. found (all assignments made)... 52.88 o 261 52.88 c NEW SOLUTION FOUND: 261 @ 52.783 52.95 c Sol. found (all assignments made)... 52.95 o 257 52.95 c NEW SOLUTION FOUND: 257 @ 52.857 53.53 c Sol. found (all assignments made)... 53.53 o 255 53.53 c NEW SOLUTION FOUND: 255 @ 53.436 53.70 c Sol. found (all assignments made)... 53.70 o 251 53.70 c NEW SOLUTION FOUND: 251 @ 53.606 53.91 c Sol. found (all assignments made)... 53.91 o 249 53.91 c NEW SOLUTION FOUND: 249 @ 53.813 54.96 c Sol. found (all assignments made)... 54.96 o 234 54.96 c NEW SOLUTION FOUND: 234 @ 54.859 54.97 c Sol. found (all assignments made)... 54.97 o 218 54.97 c NEW SOLUTION FOUND: 218 @ 54.869 55.57 c Sol. found (all assignments made)... 55.57 o 216 55.57 c NEW SOLUTION FOUND: 216 @ 55.469 55.89 c Sol. found (all assignments made)... 55.89 o 214 55.89 c NEW SOLUTION FOUND: 214 @ 55.79 60.23 c Sol. found (all assignments made)... 60.23 o 212 60.23 c NEW SOLUTION FOUND: 212 @ 60.13 62.56 c Sol. found (all assignments made)... 62.56 o 204 62.56 c NEW SOLUTION FOUND: 204 @ 62.461 62.60 c Sol. found (all assignments made)... 62.60 o 200 62.60 c NEW SOLUTION FOUND: 200 @ 62.497 63.86 c Sol. found (all assignments made)... 63.86 o 198 63.86 c NEW SOLUTION FOUND: 198 @ 63.757 64.80 c Sol. found (all assignments made)... 64.80 o 194 64.80 c NEW SOLUTION FOUND: 194 @ 64.703 65.04 c Sol. found (all assignments made)... 65.04 o 182 65.04 c NEW SOLUTION FOUND: 182 @ 64.94 65.17 c Sol. found (all assignments made)... 65.17 o 178 65.17 c NEW SOLUTION FOUND: 178 @ 65.066 65.21 c Sol. found (all assignments made)... 65.21 o 170 65.21 c NEW SOLUTION FOUND: 170 @ 65.113 65.25 c Sol. found (all assignments made)... 65.25 o 162 65.25 c NEW SOLUTION FOUND: 162 @ 65.147 65.55 c Sol. found (all assignments made)... 65.55 o 154 65.55 c NEW SOLUTION FOUND: 154 @ 65.449 65.60 c Sol. found (all assignments made)... 65.60 o 150 65.60 c NEW SOLUTION FOUND: 150 @ 65.505 65.66 c Sol. found (all assignments made)... 65.66 o 146 65.66 c NEW SOLUTION FOUND: 146 @ 65.564 65.78 c Sol. found (all assignments made)... 65.78 o 144 65.78 c NEW SOLUTION FOUND: 144 @ 65.685 65.99 c Sol. found (all assignments made)... 65.99 o 136 65.99 c NEW SOLUTION FOUND: 136 @ 65.891 66.03 c Sol. found (all assignments made)... 66.03 o 132 66.03 c NEW SOLUTION FOUND: 132 @ 65.929 71.81 c Restart #20 #Var: 146 LB: 0 @ 71.711 80.31 c Restart #21 #Var: 146 LB: 0 @ 80.209 88.36 c Restart #22 #Var: 146 LB: 0 @ 88.256 97.09 c Restart #23 #Var: 146 LB: 0 @ 96.982 108.38 c CHANGE to MIS mode... UB: 132 MIS: 0 LPR: 0 (0.023) Diff: nan 108.38 c Restart #0 #Var: 146 LB: 0 @ 108.26 108.94 c Restart #1 #Var: 146 LB: 0 @ 108.82 110.23 c Restart #2 #Var: 146 LB: 0 @ 110.11 110.89 c Restart #3 #Var: 146 LB: 0 @ 110.77 112.65 c Restart #4 #Var: 146 LB: 0 @ 112.54 114.57 c Restart #5 #Var: 146 LB: 0 @ 114.45 119.78 c Restart #6 #Var: 146 LB: 0 @ 119.66 123.73 c Restart #7 #Var: 146 LB: 0 @ 123.61 127.58 c Restart #8 #Var: 146 LB: 0 @ 127.46 130.01 c Restart #9 #Var: 146 LB: 0 @ 129.88 132.36 c Sol. found (all assignments made)... 132.36 o 130 132.36 c NEW SOLUTION FOUND: 130 @ 132.23 140.33 c Restart #10 #Var: 146 LB: 0 @ 140.21 146.44 c Restart #11 #Var: 146 LB: 0 @ 146.31 150.44 c Restart #12 #Var: 146 LB: 0 @ 150.31 157.96 c Restart #13 #Var: 146 LB: 0 @ 157.83 164.60 c Restart #14 #Var: 146 LB: 0 @ 164.47 172.53 c Restart #15 #Var: 146 LB: 0 @ 172.4 184.59 c Restart #16 #Var: 146 LB: 0 @ 184.46 199.76 c Restart #17 #Var: 146 LB: 0 @ 199.62 213.83 c Restart #18 #Var: 146 LB: 0 @ 213.69 232.85 c Restart #19 #Var: 146 LB: 0 @ 232.7 259.21 c Restart #20 #Var: 146 LB: 0 @ 259.05 267.00 c Restart #21 #Var: 146 LB: 0 @ 266.84 283.68 c Restart #22 #Var: 146 LB: 0 @ 283.51 285.69 c Sol. found (all assignments made)... 285.69 o 129 285.69 c NEW SOLUTION FOUND: 129 @ 285.53 285.69 c Sol. found (all assignments made)... 285.70 c Sol. found (all assignments made)... 285.70 o 113 285.70 c NEW SOLUTION FOUND: 113 @ 285.53 285.70 c Sol. found (all assignments made)... 285.70 c Sol. found (all assignments made)... 285.70 c Sol. found (all assignments made)... 285.70 c Sol. found (all assignments made)... 286.65 c Sol. found (all assignments made)... 286.65 o 109 286.65 c NEW SOLUTION FOUND: 109 @ 286.49 300.12 c Restart #23 #Var: 146 LB: 0 @ 299.95 318.65 c Restart #24 #Var: 143 LB: 0 @ 318.48 342.77 c Restart #25 #Var: 142 LB: 0 @ 342.59 374.88 c Restart #26 #Var: 142 LB: 0 @ 374.69 398.47 c Restart #27 #Var: 142 LB: 0 @ 398.28 421.53 c Restart #28 #Var: 141 LB: 0 @ 421.32 450.19 c Restart #29 #Var: 140 LB: 0 @ 449.98 481.37 c Restart #30 #Var: 140 LB: 0 @ 481.15 552.82 c Restart #31 #Var: 140 LB: 0 @ 552.58 617.49 c Restart #32 #Var: 138 LB: 0 @ 617.23 678.24 c Restart #33 #Var: 138 LB: 0 @ 677.97 742.25 c Sol. found (all assignments made)... 742.25 o 107 742.25 c NEW SOLUTION FOUND: 107 @ 741.96 742.25 c Sol. found (all assignments made)... 742.25 o 103 742.25 c NEW SOLUTION FOUND: 103 @ 741.96 744.59 c Sol. found (all assignments made)... 744.59 o 101 744.59 c NEW SOLUTION FOUND: 101 @ 744.29 756.40 c Sol. found (all assignments made)... 756.40 o 97 756.40 c NEW SOLUTION FOUND: 97 @ 756.1 756.69 c Sol. found (all assignments made)... 756.69 o 95 756.69 c NEW SOLUTION FOUND: 95 @ 756.39 763.00 c Sol. found (all assignments made)... 763.00 o 93 763.00 c NEW SOLUTION FOUND: 93 @ 762.7 763.08 c Sol. found (all assignments made)... 763.08 o 89 763.08 c NEW SOLUTION FOUND: 89 @ 762.78 763.22 c Sol. found (all assignments made)... 763.22 o 87 763.22 c NEW SOLUTION FOUND: 87 @ 762.92 831.71 c Restart #34 #Var: 138 LB: 0 @ 831.4 906.91 c Restart #35 #Var: 137 LB: 0 @ 906.58 994.61 c Restart #36 #Var: 136 LB: 0 @ 994.25 1080.98 c Restart #37 #Var: 136 LB: 0 @ 1080.6 1085.57 c Sol. found (all assignments made)... 1111.22 c Sol. found (all assignments made)... 1111.22 o 85 1111.22 c NEW SOLUTION FOUND: 85 @ 1110.8 1197.44 c Restart #38 #Var: 136 LB: 0 @ 1197 1247.20 c Sol. found (all assignments made)... 1283.70 c Sol. found (all assignments made)... 1283.70 o 83 1283.70 c NEW SOLUTION FOUND: 83 @ 1283.3 1439.07 c Restart #39 #Var: 136 LB: 0 @ 1438.6 1487.92 c Sol. found (all assignments made)... 1487.92 o 82 1487.92 c NEW SOLUTION FOUND: 82 @ 1487.4 1490.04 c Sol. found (all assignments made)... 1490.04 o 80 1490.04 c NEW SOLUTION FOUND: 80 @ 1489.5 1491.89 c Sol. found (all assignments made)... 1491.89 o 76 1491.89 c NEW SOLUTION FOUND: 76 @ 1491.4 1492.40 c Sol. found (all assignments made)... 1492.40 o 74 1492.40 c NEW SOLUTION FOUND: 74 @ 1491.9 1500.84 c Sol. found (all assignments made)... 1500.84 o 72 1500.84 c NEW SOLUTION FOUND: 72 @ 1500.3 1501.67 c Sol. found (all assignments made)... 1501.67 o 70 1501.67 c NEW SOLUTION FOUND: 70 @ 1501.2 1551.88 c Sol. found (all assignments made)... 1551.88 o 68 1551.88 c NEW SOLUTION FOUND: 68 @ 1551.4 1708.77 c Restart #40 #Var: 136 LB: 0 @ 1708.2 1800.60 s SATISFIABLE 1800.60 c Cost: 68 1800.60 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.60 v -x30 -x31 -x32 x33 x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.60 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.60 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 x97 -x98 x99 x100 x101 -x102 x103 -x104 -x105 x106 -x107 -x108 1800.60 v x109 x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 x120 -x121 -x122 -x123 x124 x125 -x126 -x127 x128 -x129 -x130 1800.60 v x131 -x132 x133 x134 -x135 -x136 x137 x138 -x139 -x140 x141 -x142 -x143 x144 -x145 x146 1800.60 c Exit Code: 10 1800.60 c Total time: 1800 s
OK 68
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node26/watcher-50307-1154099178 -o ROOT/results/node26/solver-50307-1154099178 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/50307-1154099178/instance-50307-1154099178.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.97 3/64 26776 /proc/meminfo: memFree=1274760/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=2900 CPUtime=0 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 156777924 2969600 24 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 12596231 0 0 4096 0 0 0 0 17 1 0 0 /proc/26776/statm: 725 24 18 55 0 19 0 [startup+10.0021 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1225552/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=51316 CPUtime=9.91 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 12074 0 10 0 979 12 0 0 25 0 1 0 156777924 52547584 11997 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 12829 11997 297 55 0 11721 0 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 51316 [startup+20.0081 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1207056/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=69800 CPUtime=19.92 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 16700 0 10 0 1975 17 0 0 25 0 1 0 156777924 71475200 16623 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 17450 16623 297 55 0 16342 0 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 69800 [startup+30.014 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1177552/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=99408 CPUtime=29.91 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 24053 0 10 0 2969 22 0 0 25 0 1 0 156777924 101793792 23976 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 24852 23976 297 55 0 23744 0 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 99408 [startup+40.02 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1168848/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=108264 CPUtime=39.92 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 26232 0 10 0 3966 26 0 0 25 0 1 0 156777924 110862336 26153 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 27066 26153 297 55 0 25958 0 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (Kb) 108264 [startup+50.027 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1160976/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=116184 CPUtime=49.93 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 28218 0 10 0 4964 29 0 0 25 0 1 0 156777924 118972416 28139 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 29046 28139 297 55 0 27938 0 Current children cumulated CPU time (s) 49.93 Current children cumulated vsize (Kb) 116184 [startup+60.033 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1155728/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=121504 CPUtime=59.93 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 29544 0 10 0 5962 31 0 0 25 0 1 0 156777924 124420096 29462 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 30376 29462 297 55 0 29268 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 121504 [startup+70.039 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1146832/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=130496 CPUtime=69.93 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 31770 0 10 0 6959 34 0 0 25 0 1 0 156777924 133627904 31688 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 32624 31688 297 55 0 31516 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 130496 [startup+80.045 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1141776/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=135660 CPUtime=79.93 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 33041 0 10 0 7956 37 0 0 25 0 1 0 156777924 138915840 32957 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 33915 32957 297 55 0 32807 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 135660 [startup+90.051 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1135440/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=141880 CPUtime=89.94 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 34606 0 10 0 8954 40 0 0 25 0 1 0 156777924 145285120 34521 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 35470 34521 297 55 0 34362 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 141880 [startup+100.057 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1129808/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=147696 CPUtime=99.94 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 36023 0 10 0 9951 43 0 0 25 0 1 0 156777924 151240704 35937 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 36924 35937 297 55 0 35816 0 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 147696 [startup+110.064 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1119184/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=158412 CPUtime=109.94 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 38649 0 14 0 10949 45 0 0 25 0 1 0 156777924 162213888 38562 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 39603 38562 420 55 0 38495 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 158412 [startup+120.07 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1114832/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=162796 CPUtime=119.95 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 39757 0 14 0 11948 47 0 0 25 0 1 0 156777924 166703104 39670 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 40699 39670 420 55 0 39591 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 162796 [startup+130.076 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1109136/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=168472 CPUtime=129.95 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 41173 0 14 0 12946 49 0 0 25 0 1 0 156777924 172515328 41086 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 42118 41086 420 55 0 41010 0 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 168472 [startup+140.082 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1104912/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=172760 CPUtime=139.95 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 42228 0 14 0 13944 51 0 0 25 0 1 0 156777924 176906240 42140 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 43190 42140 420 55 0 42082 0 Current children cumulated CPU time (s) 139.95 Current children cumulated vsize (Kb) 172760 [startup+150.088 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1100112/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=177644 CPUtime=149.96 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 43446 0 14 0 14943 53 0 0 25 0 1 0 156777924 181907456 43356 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 44411 43356 420 55 0 43303 0 Current children cumulated CPU time (s) 149.96 Current children cumulated vsize (Kb) 177644 [startup+160.094 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1095632/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=182232 CPUtime=159.95 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 44567 0 14 0 15941 54 0 0 25 0 1 0 156777924 186605568 44473 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 45558 44473 420 55 0 44450 0 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 182232 [startup+170.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1090832/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=187116 CPUtime=169.96 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 45766 0 14 0 16939 57 0 0 25 0 1 0 156777924 191606784 45670 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 46779 45670 420 55 0 45671 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 187116 [startup+180.106 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1087696/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=190192 CPUtime=179.96 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 46539 0 14 0 17938 58 0 0 25 0 1 0 156777924 194756608 46442 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 47548 46442 420 55 0 46440 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 190192 [startup+190.112 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1083728/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=194200 CPUtime=189.97 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 47535 0 14 0 18936 61 0 0 25 0 1 0 156777924 198860800 47436 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 48550 47436 420 55 0 47442 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 194200 [startup+200.118 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=1082000/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=195940 CPUtime=199.96 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 47966 0 14 0 19935 61 0 0 25 0 1 0 156777924 200642560 47867 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 48985 47867 420 55 0 47877 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 195940 [startup+210.124 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 398680 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=879120/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=399604 CPUtime=1770.48 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99558 0 14 0 176894 154 0 0 25 0 1 0 156777924 409194496 98454 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534935 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 99901 98454 420 55 0 98793 0 Current children cumulated CPU time (s) 1770.48 Current children cumulated vsize (Kb) 399604 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878672/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400132 CPUtime=1780.48 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99681 0 14 0 177894 154 0 0 25 0 1 0 156777924 409735168 98577 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100033 98577 420 55 0 98925 0 Current children cumulated CPU time (s) 1780.48 Current children cumulated vsize (Kb) 400132 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878608/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400132 CPUtime=1781.48 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99691 0 14 0 177994 154 0 0 25 0 1 0 156777924 409735168 98587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100033 98587 420 55 0 98925 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 400132 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878544/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400132 CPUtime=1782.5 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99701 0 14 0 178095 155 0 0 25 0 1 0 156777924 409735168 98597 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100033 98597 420 55 0 98925 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 400132 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878544/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400264 CPUtime=1783.5 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99709 0 14 0 178195 155 0 0 25 0 1 0 156777924 409870336 98605 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100066 98605 420 55 0 98958 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 400264 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878480/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400264 CPUtime=1784.5 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99727 0 14 0 178295 155 0 0 25 0 1 0 156777924 409870336 98623 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100066 98623 420 55 0 98958 0 Current children cumulated CPU time (s) 1784.5 Current children cumulated vsize (Kb) 400264 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878416/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400396 CPUtime=1785.51 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99745 0 14 0 178396 155 0 0 25 0 1 0 156777924 410005504 98641 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100099 98641 420 55 0 98991 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 400396 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878288/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400396 CPUtime=1786.51 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99769 0 14 0 178496 155 0 0 25 0 1 0 156777924 410005504 98665 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100099 98665 420 55 0 98991 0 Current children cumulated CPU time (s) 1786.51 Current children cumulated vsize (Kb) 400396 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878224/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400528 CPUtime=1787.52 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99783 0 14 0 178597 155 0 0 25 0 1 0 156777924 410140672 98679 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100132 98679 420 55 0 99024 0 Current children cumulated CPU time (s) 1787.52 Current children cumulated vsize (Kb) 400528 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878160/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400528 CPUtime=1788.52 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99797 0 14 0 178697 155 0 0 25 0 1 0 156777924 410140672 98693 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100132 98693 420 55 0 99024 0 Current children cumulated CPU time (s) 1788.52 Current children cumulated vsize (Kb) 400528 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878160/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400660 CPUtime=1789.53 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99807 0 14 0 178798 155 0 0 25 0 1 0 156777924 410275840 98703 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100165 98703 420 55 0 99057 0 Current children cumulated CPU time (s) 1789.53 Current children cumulated vsize (Kb) 400660 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878096/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400660 CPUtime=1790.53 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99813 0 14 0 178898 155 0 0 25 0 1 0 156777924 410275840 98709 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100165 98709 420 55 0 99057 0 Current children cumulated CPU time (s) 1790.53 Current children cumulated vsize (Kb) 400660 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878096/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400660 CPUtime=1791.53 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99821 0 14 0 178998 155 0 0 25 0 1 0 156777924 410275840 98717 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100165 98717 420 55 0 99057 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (Kb) 400660 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=878032/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400660 CPUtime=1792.54 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99830 0 14 0 179099 155 0 0 25 0 1 0 156777924 410275840 98726 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100165 98726 420 55 0 99057 0 Current children cumulated CPU time (s) 1792.54 Current children cumulated vsize (Kb) 400660 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=877968/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400792 CPUtime=1793.54 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99840 0 14 0 179199 155 0 0 25 0 1 0 156777924 410411008 98736 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100198 98736 420 55 0 99090 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 400792 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=877968/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400792 CPUtime=1794.55 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99850 0 14 0 179300 155 0 0 25 0 1 0 156777924 410411008 98746 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100198 98746 420 55 0 99090 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (Kb) 400792 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=877904/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400792 CPUtime=1795.55 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99865 0 14 0 179400 155 0 0 25 0 1 0 156777924 410411008 98761 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100198 98761 420 55 0 99090 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 400792 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=877840/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400924 CPUtime=1796.56 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99879 0 14 0 179501 155 0 0 25 0 1 0 156777924 410546176 98775 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100231 98775 420 55 0 99123 0 Current children cumulated CPU time (s) 1796.56 Current children cumulated vsize (Kb) 400924 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=877776/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400924 CPUtime=1797.56 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99891 0 14 0 179601 155 0 0 25 0 1 0 156777924 410546176 98787 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100231 98787 420 55 0 99123 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 400924 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=877776/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=400924 CPUtime=1798.56 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99901 0 14 0 179701 155 0 0 25 0 1 0 156777924 410546176 98797 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100231 98797 420 55 0 99123 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 400924 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.97 2/64 26776 /proc/meminfo: memFree=877712/2055920 swapFree=4177816/4192956 [pid=26776] ppid=26774 vsize=401056 CPUtime=1799.57 /proc/26776/stat : 26776 (bsolo) R 26774 26776 26727 0 -1 0 99907 0 14 0 179802 155 0 0 25 0 1 0 156777924 410681344 98803 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26776/statm: 100264 98803 420 55 0 99156 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 401056 Child status: 10 Real time (s): 1800.67 CPU time (s): 1800.08 CPU user time (s): 1798.46 CPU system time (s): 1.61875 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (Kb): 401056 The end
Begin job on node26 on Fri Jul 28 15:06:18 UTC 2006 FILE ID= 50307-1154099178 PBS_JOBID= 886046 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/50307-1154099178/instance-50307-1154099178.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-50307-1154099178 -o ROOT/results/node26/solver-50307-1154099178 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node26/50307-1154099178/instance-50307-1154099178.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED= 266373362 TIMEOUT= 1800 seconds /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.225 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.225 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: 1274968 kB Buffers: 38412 kB Cached: 659508 kB SwapCached: 8804 kB Active: 133844 kB Inactive: 578112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1274968 kB SwapTotal: 4192956 kB SwapFree: 4177816 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14468 kB Slab: 55092 kB Committed_AS: 715868 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Fri Jul 28 15:36:19 UTC 2006