Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 405 | 1800.16 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 74 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
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 | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5454 |
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.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 172 variables and 14 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.008 0.02 c After prepocess the problem consists of 172 variables and 14 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 172 LB: 0 @ 0.019 0.06 c Restart #2 #Var: 172 LB: 0 @ 0.043 0.09 c Restart #3 #Var: 172 LB: 0 @ 0.078 0.14 c Restart #4 #Var: 172 LB: 0 @ 0.129 0.19 c Restart #5 #Var: 172 LB: 0 @ 0.182 0.25 c Restart #6 #Var: 172 LB: 0 @ 0.241 0.32 c Restart #7 #Var: 172 LB: 0 @ 0.309 0.40 c Restart #8 #Var: 172 LB: 0 @ 0.385 0.47 c Restart #9 #Var: 172 LB: 0 @ 0.456 0.56 c Restart #10 #Var: 172 LB: 0 @ 0.543 0.66 c Restart #11 #Var: 172 LB: 0 @ 0.648 0.76 c Restart #12 #Var: 172 LB: 0 @ 0.743 0.86 c Restart #13 #Var: 172 LB: 0 @ 0.851 1.00 c Restart #14 #Var: 172 LB: 0 @ 0.987 1.25 c Restart #15 #Var: 172 LB: 0 @ 1.241 1.53 c Sol. found (all assignments made)... 1.53 o 1850 1.53 c NEW SOLUTION FOUND: 1850 @ 1.514 1.53 c Sol. found (all assignments made)... 1.53 o 1594 1.53 c NEW SOLUTION FOUND: 1594 @ 1.514 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 o 1338 1.53 c NEW SOLUTION FOUND: 1338 @ 1.514 1.53 c Sol. found (all assignments made)... 1.53 c Sol. found (all assignments made)... 1.53 o 1274 1.53 c NEW SOLUTION FOUND: 1274 @ 1.514 1.53 c Sol. found (all assignments made)... 1.53 o 1242 1.53 c NEW SOLUTION FOUND: 1242 @ 1.514 1.53 c Sol. found (all assignments made)... 1.53 o 1240 1.53 c NEW SOLUTION FOUND: 1240 @ 1.521 1.54 c Sol. found (all assignments made)... 1.54 o 1232 1.54 c NEW SOLUTION FOUND: 1232 @ 1.526 1.54 c Sol. found (all assignments made)... 1.54 o 1224 1.54 c NEW SOLUTION FOUND: 1224 @ 1.526 1.54 c Sol. found (all assignments made)... 1.54 o 1216 1.54 c NEW SOLUTION FOUND: 1216 @ 1.527 1.54 c Sol. found (all assignments made)... 1.54 o 1208 1.54 c NEW SOLUTION FOUND: 1208 @ 1.527 1.55 c Sol. found (all assignments made)... 1.55 o 1206 1.55 c NEW SOLUTION FOUND: 1206 @ 1.535 1.57 c Sol. found (all assignments made)... 1.57 o 1204 1.57 c NEW SOLUTION FOUND: 1204 @ 1.558 1.58 c Sol. found (all assignments made)... 1.58 o 1202 1.58 c NEW SOLUTION FOUND: 1202 @ 1.565 1.59 c Sol. found (all assignments made)... 1.59 o 1198 1.59 c NEW SOLUTION FOUND: 1198 @ 1.579 1.59 c Sol. found (all assignments made)... 1.59 o 1194 1.59 c NEW SOLUTION FOUND: 1194 @ 1.579 1.60 c Sol. found (all assignments made)... 1.60 o 1190 1.60 c NEW SOLUTION FOUND: 1190 @ 1.592 1.61 c Sol. found (all assignments made)... 1.61 o 1122 1.61 c NEW SOLUTION FOUND: 1122 @ 1.597 1.61 c Sol. found (all assignments made)... 1.61 o 1114 1.61 c NEW SOLUTION FOUND: 1114 @ 1.598 1.61 c Sol. found (all assignments made)... 1.61 o 1106 1.61 c NEW SOLUTION FOUND: 1106 @ 1.599 1.61 c Sol. found (all assignments made)... 1.61 o 1098 1.61 c NEW SOLUTION FOUND: 1098 @ 1.6 1.62 c Sol. found (all assignments made)... 1.62 o 1090 1.62 c NEW SOLUTION FOUND: 1090 @ 1.606 1.62 c Sol. found (all assignments made)... 1.62 o 1082 1.62 c NEW SOLUTION FOUND: 1082 @ 1.607 1.62 c Sol. found (all assignments made)... 1.62 o 1074 1.62 c NEW SOLUTION FOUND: 1074 @ 1.608 1.62 c Sol. found (all assignments made)... 1.62 o 1066 1.62 c NEW SOLUTION FOUND: 1066 @ 1.608 1.63 c Sol. found (all assignments made)... 1.63 o 1062 1.63 c NEW SOLUTION FOUND: 1062 @ 1.617 1.69 c Sol. found (all assignments made)... 1.69 o 1060 1.69 c NEW SOLUTION FOUND: 1060 @ 1.674 1.74 c Sol. found (all assignments made)... 1.74 o 954 1.74 c NEW SOLUTION FOUND: 954 @ 1.727 1.74 c Sol. found (all assignments made)... 1.74 o 942 1.74 c NEW SOLUTION FOUND: 942 @ 1.728 1.74 c Sol. found (all assignments made)... 1.74 o 938 1.74 c NEW SOLUTION FOUND: 938 @ 1.729 1.75 c Sol. found (all assignments made)... 1.75 o 934 1.75 c NEW SOLUTION FOUND: 934 @ 1.736 1.76 c Sol. found (all assignments made)... 1.76 o 932 1.76 c NEW SOLUTION FOUND: 932 @ 1.748 1.77 c Sol. found (all assignments made)... 1.77 o 824 1.77 c NEW SOLUTION FOUND: 824 @ 1.755 1.77 c Sol. found (all assignments made)... 1.77 o 816 1.77 c NEW SOLUTION FOUND: 816 @ 1.757 1.77 c Sol. found (all assignments made)... 1.77 o 808 1.77 c NEW SOLUTION FOUND: 808 @ 1.761 1.78 c Sol. found (all assignments made)... 1.78 o 804 1.78 c NEW SOLUTION FOUND: 804 @ 1.766 1.88 c Sol. found (all assignments made)... 1.88 o 802 1.88 c NEW SOLUTION FOUND: 802 @ 1.862 1.88 c Sol. found (all assignments made)... 1.88 o 800 1.88 c NEW SOLUTION FOUND: 800 @ 1.868 2.46 c Sol. found (all assignments made)... 2.46 o 796 2.46 c NEW SOLUTION FOUND: 796 @ 2.452 2.75 c Sol. found (all assignments made)... 2.75 o 792 2.75 c NEW SOLUTION FOUND: 792 @ 2.734 2.77 c Sol. found (all assignments made)... 2.77 o 788 2.77 c NEW SOLUTION FOUND: 788 @ 2.762 3.07 c Sol. found (all assignments made)... 3.07 o 784 3.07 c NEW SOLUTION FOUND: 784 @ 3.061 3.09 c Sol. found (all assignments made)... 3.09 o 778 3.09 c NEW SOLUTION FOUND: 778 @ 3.082 3.10 c Sol. found (all assignments made)... 3.10 o 776 3.10 c NEW SOLUTION FOUND: 776 @ 3.086 4.42 c Restart #16 #Var: 172 LB: 0 @ 4.408 5.80 c Restart #17 #Var: 172 LB: 0 @ 5.787 7.41 c Restart #18 #Var: 172 LB: 0 @ 7.392 8.70 c Restart #19 #Var: 172 LB: 0 @ 8.689 9.63 c Sol. found (all assignments made)... 9.63 o 770 9.63 c NEW SOLUTION FOUND: 770 @ 9.617 9.63 c Sol. found (all assignments made)... 9.63 o 768 9.63 c NEW SOLUTION FOUND: 768 @ 9.618 9.63 c Sol. found (all assignments made)... 9.63 o 766 9.63 c NEW SOLUTION FOUND: 766 @ 9.619 9.64 c Sol. found (all assignments made)... 9.64 o 764 9.64 c NEW SOLUTION FOUND: 764 @ 9.622 9.64 c Sol. found (all assignments made)... 9.64 o 762 9.64 c NEW SOLUTION FOUND: 762 @ 9.623 9.64 c Sol. found (all assignments made)... 9.64 o 760 9.64 c NEW SOLUTION FOUND: 760 @ 9.624 9.65 c Sol. found (all assignments made)... 9.65 o 758 9.65 c NEW SOLUTION FOUND: 758 @ 9.638 9.67 c Sol. found (all assignments made)... 9.67 o 756 9.67 c NEW SOLUTION FOUND: 756 @ 9.656 9.81 c Sol. found (all assignments made)... 9.81 o 752 9.81 c NEW SOLUTION FOUND: 752 @ 9.799 9.82 c Sol. found (all assignments made)... 9.82 o 750 9.82 c NEW SOLUTION FOUND: 750 @ 9.805 9.83 c Sol. found (all assignments made)... 9.83 o 748 9.83 c NEW SOLUTION FOUND: 748 @ 9.816 10.30 c Sol. found (all assignments made)... 10.30 o 738 10.30 c NEW SOLUTION FOUND: 738 @ 10.278 10.30 c Sol. found (all assignments made)... 10.30 o 736 10.30 c NEW SOLUTION FOUND: 736 @ 10.278 10.31 c Sol. found (all assignments made)... 10.31 o 734 10.31 c NEW SOLUTION FOUND: 734 @ 10.29 10.32 c Sol. found (all assignments made)... 10.32 o 730 10.32 c NEW SOLUTION FOUND: 730 @ 10.303 10.32 c Sol. found (all assignments made)... 10.32 o 728 10.32 c NEW SOLUTION FOUND: 728 @ 10.304 10.34 c Sol. found (all assignments made)... 10.34 o 726 10.34 c NEW SOLUTION FOUND: 726 @ 10.316 10.95 c Sol. found (all assignments made)... 10.95 o 688 10.95 c NEW SOLUTION FOUND: 688 @ 10.932 10.95 c Sol. found (all assignments made)... 10.95 o 686 10.95 c NEW SOLUTION FOUND: 686 @ 10.933 10.96 c Sol. found (all assignments made)... 10.96 o 684 10.96 c NEW SOLUTION FOUND: 684 @ 10.936 10.96 c Sol. found (all assignments made)... 10.96 o 680 10.96 c NEW SOLUTION FOUND: 680 @ 10.944 10.97 c Sol. found (all assignments made)... 10.97 o 678 10.97 c NEW SOLUTION FOUND: 678 @ 10.945 10.97 c Sol. found (all assignments made)... 10.97 o 676 10.97 c NEW SOLUTION FOUND: 676 @ 10.946 10.98 c Sol. found (all assignments made)... 10.98 o 674 10.98 c NEW SOLUTION FOUND: 674 @ 10.958 10.98 c Sol. found (all assignments made)... 10.98 o 672 10.98 c NEW SOLUTION FOUND: 672 @ 10.959 10.98 c Sol. found (all assignments made)... 10.98 o 670 10.98 c NEW SOLUTION FOUND: 670 @ 10.962 11.00 c Sol. found (all assignments made)... 11.00 o 666 11.00 c NEW SOLUTION FOUND: 666 @ 10.981 11.00 c Sol. found (all assignments made)... 11.00 o 664 11.00 c NEW SOLUTION FOUND: 664 @ 10.982 11.01 c Sol. found (all assignments made)... 11.01 o 662 11.01 c NEW SOLUTION FOUND: 662 @ 10.984 11.03 c Sol. found (all assignments made)... 11.03 o 658 11.03 c NEW SOLUTION FOUND: 658 @ 11.004 11.03 c Sol. found (all assignments made)... 11.03 o 656 11.03 c NEW SOLUTION FOUND: 656 @ 11.006 11.03 c Sol. found (all assignments made)... 11.03 o 654 11.03 c NEW SOLUTION FOUND: 654 @ 11.008 11.05 c Sol. found (all assignments made)... 11.05 o 650 11.05 c NEW SOLUTION FOUND: 650 @ 11.031 11.05 c Sol. found (all assignments made)... 11.05 o 648 11.05 c NEW SOLUTION FOUND: 648 @ 11.032 11.06 c Sol. found (all assignments made)... 11.06 o 646 11.06 c NEW SOLUTION FOUND: 646 @ 11.036 11.08 c Sol. found (all assignments made)... 11.08 o 642 11.08 c NEW SOLUTION FOUND: 642 @ 11.054 11.08 c Sol. found (all assignments made)... 11.08 o 640 11.08 c NEW SOLUTION FOUND: 640 @ 11.055 11.08 c Sol. found (all assignments made)... 11.08 o 638 11.08 c NEW SOLUTION FOUND: 638 @ 11.059 11.09 c Sol. found (all assignments made)... 11.09 o 634 11.09 c NEW SOLUTION FOUND: 634 @ 11.071 11.09 c Sol. found (all assignments made)... 11.09 o 632 11.09 c NEW SOLUTION FOUND: 632 @ 11.073 11.10 c Sol. found (all assignments made)... 11.10 o 630 11.10 c NEW SOLUTION FOUND: 630 @ 11.076 11.12 c Sol. found (all assignments made)... 11.12 o 624 11.12 c NEW SOLUTION FOUND: 624 @ 11.095 11.12 c Sol. found (all assignments made)... 11.12 o 622 11.12 c NEW SOLUTION FOUND: 622 @ 11.1 11.13 c Sol. found (all assignments made)... 11.13 o 618 11.13 c NEW SOLUTION FOUND: 618 @ 11.111 11.13 c Sol. found (all assignments made)... 11.13 o 616 11.13 c NEW SOLUTION FOUND: 616 @ 11.112 11.14 c Sol. found (all assignments made)... 11.14 o 614 11.14 c NEW SOLUTION FOUND: 614 @ 11.116 11.28 c Sol. found (all assignments made)... 11.28 o 610 11.28 c NEW SOLUTION FOUND: 610 @ 11.255 11.28 c Sol. found (all assignments made)... 11.28 o 608 11.28 c NEW SOLUTION FOUND: 608 @ 11.258 11.28 c Sol. found (all assignments made)... 11.28 o 606 11.28 c NEW SOLUTION FOUND: 606 @ 11.262 11.79 c Sol. found (all assignments made)... 11.79 o 604 11.79 c NEW SOLUTION FOUND: 604 @ 11.769 11.79 c Sol. found (all assignments made)... 11.79 o 598 11.79 c NEW SOLUTION FOUND: 598 @ 11.773 13.64 c Restart #20 #Var: 172 LB: 0 @ 13.618 17.37 c Restart #21 #Var: 172 LB: 0 @ 17.349 20.66 c Restart #22 #Var: 172 LB: 0 @ 20.625 26.84 c Restart #23 #Var: 172 LB: 0 @ 26.806 30.21 c CHANGE to MIS mode... UB: 598 MIS: 0 LPR: 0 (0.016) Diff: nan 30.21 c Restart #0 #Var: 172 LB: 0 @ 30.177 30.45 c Restart #1 #Var: 172 LB: 0 @ 30.409 31.11 c Restart #2 #Var: 172 LB: 0 @ 31.071 31.87 c Restart #3 #Var: 172 LB: 0 @ 31.833 32.84 c Restart #4 #Var: 172 LB: 0 @ 32.802 33.95 c Restart #5 #Var: 172 LB: 0 @ 33.916 35.46 c Restart #6 #Var: 172 LB: 0 @ 35.422 36.97 c Restart #7 #Var: 172 LB: 0 @ 36.931 39.04 c Restart #8 #Var: 172 LB: 0 @ 39.001 40.60 c Restart #9 #Var: 172 LB: 0 @ 40.558 44.01 c Restart #10 #Var: 172 LB: 0 @ 43.968 47.96 c Restart #11 #Var: 172 LB: 0 @ 47.916 51.03 c Restart #12 #Var: 172 LB: 0 @ 50.988 54.41 c Restart #13 #Var: 172 LB: 0 @ 54.369 57.65 c Restart #14 #Var: 172 LB: 0 @ 57.602 66.81 c Restart #15 #Var: 172 LB: 0 @ 66.763 75.13 c Restart #16 #Var: 172 LB: 0 @ 75.08 80.22 c Restart #17 #Var: 172 LB: 0 @ 80.17 86.53 c Restart #18 #Var: 172 LB: 0 @ 86.479 93.17 c Restart #19 #Var: 172 LB: 0 @ 93.121 97.72 c Restart #20 #Var: 172 LB: 0 @ 97.67 105.25 c Restart #21 #Var: 172 LB: 0 @ 105.19 112.99 c Restart #22 #Var: 172 LB: 0 @ 112.93 118.36 c Restart #23 #Var: 172 LB: 0 @ 118.3 130.69 c Restart #24 #Var: 172 LB: 0 @ 130.62 137.17 c Restart #25 #Var: 172 LB: 0 @ 137.11 154.84 c Restart #26 #Var: 172 LB: 0 @ 154.78 165.28 c Restart #27 #Var: 172 LB: 0 @ 165.21 177.75 c Restart #28 #Var: 172 LB: 0 @ 177.68 185.91 c Restart #29 #Var: 172 LB: 0 @ 185.83 193.49 c Restart #30 #Var: 172 LB: 0 @ 193.41 202.44 c Restart #31 #Var: 172 LB: 0 @ 202.36 209.59 c Restart #32 #Var: 172 LB: 0 @ 209.5 210.54 c Restart #33 #Var: 172 LB: 0 @ 210.46 229.80 c Sol. found (all assignments made)... 229.80 o 597 229.80 c NEW SOLUTION FOUND: 597 @ 229.72 230.01 c Sol. found (all assignments made)... 230.01 o 593 230.01 c NEW SOLUTION FOUND: 593 @ 229.92 231.68 c Sol. found (all assignments made)... 231.68 o 591 231.68 c NEW SOLUTION FOUND: 591 @ 231.59 231.77 c Sol. found (all assignments made)... 231.77 o 589 231.77 c NEW SOLUTION FOUND: 589 @ 231.68 231.83 c Sol. found (all assignments made)... 231.83 o 587 231.83 c NEW SOLUTION FOUND: 587 @ 231.74 246.10 c Restart #34 #Var: 172 LB: 0 @ 246.01 248.82 c Restart #35 #Var: 172 LB: 0 @ 248.73 252.00 c Restart #36 #Var: 172 LB: 0 @ 251.91 267.08 c Restart #37 #Var: 172 LB: 0 @ 266.99 295.58 c Sol. found (all assignments made)... 295.58 o 586 295.58 c NEW SOLUTION FOUND: 586 @ 295.48 327.80 c Sol. found (all assignments made)... 327.80 o 582 327.80 c NEW SOLUTION FOUND: 582 @ 327.69 329.16 c Sol. found (all assignments made)... 329.16 o 580 329.16 c NEW SOLUTION FOUND: 580 @ 329.05 348.94 c Sol. found (all assignments made)... 348.94 o 579 348.94 c NEW SOLUTION FOUND: 579 @ 348.82 349.85 c Sol. found (all assignments made)... 349.85 o 577 349.85 c NEW SOLUTION FOUND: 577 @ 349.73 352.06 c Sol. found (all assignments made)... 352.06 o 575 352.06 c NEW SOLUTION FOUND: 575 @ 351.94 352.28 c Sol. found (all assignments made)... 352.28 o 571 352.28 c NEW SOLUTION FOUND: 571 @ 352.16 352.92 c Sol. found (all assignments made)... 352.92 o 569 352.92 c NEW SOLUTION FOUND: 569 @ 352.8 362.33 c Sol. found (all assignments made)... 362.33 o 567 362.33 c NEW SOLUTION FOUND: 567 @ 362.21 362.49 c Sol. found (all assignments made)... 362.49 o 565 362.49 c NEW SOLUTION FOUND: 565 @ 362.37 362.75 c Sol. found (all assignments made)... 362.75 o 561 362.75 c NEW SOLUTION FOUND: 561 @ 362.63 378.22 c Sol. found (all assignments made)... 378.22 o 543 378.22 c NEW SOLUTION FOUND: 543 @ 378.1 378.26 c Sol. found (all assignments made)... 378.26 o 541 378.26 c NEW SOLUTION FOUND: 541 @ 378.14 378.27 c Sol. found (all assignments made)... 378.27 o 539 378.27 c NEW SOLUTION FOUND: 539 @ 378.15 378.29 c Sol. found (all assignments made)... 378.29 o 537 378.29 c NEW SOLUTION FOUND: 537 @ 378.16 378.43 c Sol. found (all assignments made)... 378.43 o 533 378.43 c NEW SOLUTION FOUND: 533 @ 378.3 378.50 c Sol. found (all assignments made)... 378.50 o 531 378.50 c NEW SOLUTION FOUND: 531 @ 378.38 378.55 c Sol. found (all assignments made)... 378.55 o 529 378.55 c NEW SOLUTION FOUND: 529 @ 378.43 378.62 c Sol. found (all assignments made)... 378.62 o 527 378.62 c NEW SOLUTION FOUND: 527 @ 378.5 381.12 c Sol. found (all assignments made)... 381.12 o 525 381.12 c NEW SOLUTION FOUND: 525 @ 380.99 382.78 c Sol. found (all assignments made)... 382.78 o 523 382.78 c NEW SOLUTION FOUND: 523 @ 382.65 382.90 c Sol. found (all assignments made)... 382.90 o 521 382.90 c NEW SOLUTION FOUND: 521 @ 382.77 383.25 c Sol. found (all assignments made)... 383.25 o 519 383.25 c NEW SOLUTION FOUND: 519 @ 383.12 385.49 c Sol. found (all assignments made)... 385.49 o 517 385.49 c NEW SOLUTION FOUND: 517 @ 385.37 385.65 c Sol. found (all assignments made)... 385.65 o 509 385.65 c NEW SOLUTION FOUND: 509 @ 385.52 385.76 c Sol. found (all assignments made)... 385.76 o 507 385.76 c NEW SOLUTION FOUND: 507 @ 385.63 385.94 c Sol. found (all assignments made)... 385.94 o 505 385.94 c NEW SOLUTION FOUND: 505 @ 385.81 386.08 c Sol. found (all assignments made)... 386.08 o 503 386.08 c NEW SOLUTION FOUND: 503 @ 385.95 387.72 c Sol. found (all assignments made)... 387.72 o 501 387.72 c NEW SOLUTION FOUND: 501 @ 387.59 387.85 c Sol. found (all assignments made)... 387.85 o 499 387.85 c NEW SOLUTION FOUND: 499 @ 387.72 388.52 c Sol. found (all assignments made)... 388.52 o 497 388.52 c NEW SOLUTION FOUND: 497 @ 388.39 418.04 c Restart #38 #Var: 172 LB: 0 @ 417.9 425.21 c Sol. found (all assignments made)... 425.24 c Sol. found (all assignments made)... 425.24 o 495 425.24 c NEW SOLUTION FOUND: 495 @ 425.1 426.57 c Sol. found (all assignments made)... 426.57 o 491 426.57 c NEW SOLUTION FOUND: 491 @ 426.43 429.90 c Sol. found (all assignments made)... 429.90 o 487 429.90 c NEW SOLUTION FOUND: 487 @ 429.76 430.78 c Sol. found (all assignments made)... 430.78 o 485 430.78 c NEW SOLUTION FOUND: 485 @ 430.64 430.84 c Sol. found (all assignments made)... 430.84 o 483 430.84 c NEW SOLUTION FOUND: 483 @ 430.7 433.30 c Sol. found (all assignments made)... 433.30 o 469 433.30 c NEW SOLUTION FOUND: 469 @ 433.16 433.39 c Sol. found (all assignments made)... 433.39 o 467 433.39 c NEW SOLUTION FOUND: 467 @ 433.25 433.47 c Sol. found (all assignments made)... 433.47 o 465 433.47 c NEW SOLUTION FOUND: 465 @ 433.33 433.68 c Sol. found (all assignments made)... 433.68 o 463 433.68 c NEW SOLUTION FOUND: 463 @ 433.54 433.89 c Sol. found (all assignments made)... 433.89 o 459 433.89 c NEW SOLUTION FOUND: 459 @ 433.75 442.42 c Sol. found (all assignments made)... 442.42 o 457 442.42 c NEW SOLUTION FOUND: 457 @ 442.28 452.62 c Sol. found (all assignments made)... 452.62 o 455 452.62 c NEW SOLUTION FOUND: 455 @ 452.48 452.81 c Sol. found (all assignments made)... 452.81 o 453 452.81 c NEW SOLUTION FOUND: 453 @ 452.67 455.70 c Sol. found (all assignments made)... 455.70 o 443 455.70 c NEW SOLUTION FOUND: 443 @ 455.55 455.82 c Sol. found (all assignments made)... 455.82 o 441 455.82 c NEW SOLUTION FOUND: 441 @ 455.67 457.83 c Sol. found (all assignments made)... 457.83 o 439 457.83 c NEW SOLUTION FOUND: 439 @ 457.69 457.97 c Sol. found (all assignments made)... 457.97 o 437 457.97 c NEW SOLUTION FOUND: 437 @ 457.82 458.32 c Sol. found (all assignments made)... 458.32 o 435 458.32 c NEW SOLUTION FOUND: 435 @ 458.17 458.45 c Sol. found (all assignments made)... 458.45 o 433 458.45 c NEW SOLUTION FOUND: 433 @ 458.31 467.14 c Sol. found (all assignments made)... 467.14 o 431 467.14 c NEW SOLUTION FOUND: 431 @ 466.99 467.21 c Sol. found (all assignments made)... 467.21 o 429 467.21 c NEW SOLUTION FOUND: 429 @ 467.06 473.26 c Sol. found (all assignments made)... 473.26 o 425 473.26 c NEW SOLUTION FOUND: 425 @ 473.11 473.38 c Sol. found (all assignments made)... 473.38 o 423 473.38 c NEW SOLUTION FOUND: 423 @ 473.24 497.93 c Sol. found (all assignments made)... 497.93 o 409 497.93 c NEW SOLUTION FOUND: 409 @ 497.77 498.31 c Sol. found (all assignments made)... 498.31 o 407 498.31 c NEW SOLUTION FOUND: 407 @ 498.15 539.66 c Restart #39 #Var: 172 LB: 0 @ 539.5 570.00 c Restart #40 #Var: 172 LB: 0 @ 569.83 597.73 c Restart #41 #Var: 172 LB: 0 @ 597.55 616.58 c Restart #42 #Var: 172 LB: 0 @ 616.39 645.16 c Restart #43 #Var: 172 LB: 0 @ 644.97 647.19 c Restart #44 #Var: 172 LB: 0 @ 647 692.10 c Restart #45 #Var: 172 LB: 0 @ 691.89 733.90 c Sol. found (all assignments made)... 733.90 c Sol. found (all assignments made)... 733.90 o 405 733.90 c NEW SOLUTION FOUND: 405 @ 733.69 810.58 c Restart #46 #Var: 172 LB: 0 @ 810.34 896.18 c Restart #47 #Var: 172 LB: 0 @ 895.92 916.73 c Restart #48 #Var: 172 LB: 0 @ 916.47 935.77 c Restart #49 #Var: 172 LB: 0 @ 935.5 967.16 c Restart #50 #Var: 172 LB: 0 @ 966.89 1042.92 c Restart #51 #Var: 172 LB: 0 @ 1042.6 1116.63 c Restart #52 #Var: 172 LB: 0 @ 1116.3 1165.68 c Sol. found (all assignments made)... 1165.70 c Sol. found (all assignments made)... 1212.22 c Restart #53 #Var: 172 LB: 0 @ 1211.9 1268.92 c Restart #54 #Var: 172 LB: 0 @ 1268.6 1361.87 c Restart #55 #Var: 172 LB: 0 @ 1361.5 1426.34 c Restart #56 #Var: 172 LB: 0 @ 1425.9 1510.03 c Restart #57 #Var: 172 LB: 0 @ 1509.6 1581.47 c Restart #58 #Var: 172 LB: 0 @ 1581 1666.72 c Restart #59 #Var: 172 LB: 0 @ 1666.3 1800.53 s SATISFIABLE 1800.53 c Cost: 405 1800.53 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.53 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.53 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.53 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 1800.53 v x108 -x109 -x110 -x111 -x112 x113 -x114 x115 x116 -x117 -x118 x119 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 1800.53 v x130 -x131 x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 x140 -x141 -x142 x143 -x144 -x145 -x146 x147 -x148 x149 x150 x151 1800.53 v -x152 x153 x154 x155 -x156 -x157 x158 x159 -x160 x161 -x162 -x163 x164 -x165 -x166 x167 -x168 -x169 x170 x171 x172 1800.53 c Exit Code: 10 1800.53 c Total time: 1800 s
OK 405
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/node44/watcher-50329-1154107053 -o ROOT/results/node44/solver-50329-1154107053 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/50329-1154107053/instance-50329-1154107053.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 5225 /proc/meminfo: memFree=1515272/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=4664 CPUtime=0 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 85 0 0 0 0 0 0 0 19 0 1 0 157576240 4775936 66 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11224339 0 0 4096 0 0 0 0 17 1 0 0 /proc/5225/statm: 1166 84 67 55 0 46 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1438480/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=81160 CPUtime=9.97 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 19550 0 0 0 983 14 0 0 25 0 1 0 157576240 83107840 19464 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 20290 19464 297 55 0 19182 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 81160 [startup+20.009 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1405840/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=114064 CPUtime=19.98 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 27723 0 0 0 1977 21 0 0 25 0 1 0 157576240 116801536 27636 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 28516 27636 297 55 0 27408 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 114064 [startup+30.016 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1390736/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=129120 CPUtime=29.98 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 31494 0 0 0 2973 25 0 0 25 0 1 0 157576240 132218880 31407 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 32280 31407 297 55 0 31172 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 129120 [startup+40.0221 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1374160/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=145648 CPUtime=39.97 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 35600 0 3 0 3968 29 0 0 25 0 1 0 157576240 149143552 35512 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 36412 35512 420 55 0 35304 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 145648 [startup+50.0281 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1364624/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=155160 CPUtime=49.97 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 37981 0 3 0 4965 32 0 0 25 0 1 0 157576240 158883840 37893 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 38790 37893 420 55 0 37682 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 155160 [startup+60.0341 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1353488/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=166268 CPUtime=59.98 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 40756 0 3 0 5963 35 0 0 25 0 1 0 157576240 170258432 40668 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 41567 40668 420 55 0 40459 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 166268 [startup+70.0402 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1348944/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=170780 CPUtime=69.99 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 41897 0 3 0 6962 37 0 0 25 0 1 0 157576240 174878720 41809 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 42695 41809 420 55 0 41587 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 170780 [startup+80.0462 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1341136/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=178604 CPUtime=79.98 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 43841 0 3 0 7959 39 0 0 25 0 1 0 157576240 182890496 43753 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 44651 43753 420 55 0 43543 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 178604 [startup+90.0522 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1331984/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=187744 CPUtime=89.99 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 46120 0 3 0 8957 42 0 0 25 0 1 0 157576240 192249856 46030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 46936 46030 420 55 0 45828 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 187744 [startup+100.058 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1321296/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=198432 CPUtime=99.99 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 48783 0 3 0 9954 45 0 0 25 0 1 0 157576240 203194368 48693 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 49608 48693 420 55 0 48500 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 198432 [startup+110.064 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1311952/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=207804 CPUtime=109.99 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 51120 0 3 0 10951 48 0 0 25 0 1 0 157576240 212791296 51030 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 51951 51030 420 55 0 50843 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 207804 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1300880/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=218808 CPUtime=120 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 53876 0 3 0 11949 51 0 0 25 0 1 0 157576240 224059392 53785 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 54702 53785 420 55 0 53594 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 218808 [startup+130.076 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1295440/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=224352 CPUtime=130 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 55232 0 3 0 12947 53 0 0 25 0 1 0 157576240 229736448 55141 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 56088 55141 420 55 0 54980 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 224352 [startup+140.082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1284496/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=235320 CPUtime=140.01 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 57967 0 3 0 13945 56 0 0 25 0 1 0 157576240 240967680 57874 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 58830 57874 420 55 0 57722 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 235320 [startup+150.089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1280272/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=239568 CPUtime=150.01 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 59018 0 3 0 14943 58 0 0 25 0 1 0 157576240 245317632 58923 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 59892 58923 420 55 0 58784 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 239568 [startup+160.095 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1272144/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=247704 CPUtime=160.02 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 61667 0 3 0 15941 61 0 0 25 0 1 0 157576240 253648896 60953 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 61926 60953 420 55 0 60818 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 247704 [startup+170.102 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1263888/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=256020 CPUtime=170.02 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 63726 0 3 0 16938 64 0 0 25 0 1 0 157576240 262164480 63010 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 64005 63010 420 55 0 62897 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 256020 [startup+180.108 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1256208/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=263724 CPUtime=180.02 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 65661 0 3 0 17936 66 0 0 25 0 1 0 157576240 270053376 64944 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 65931 64944 420 55 0 64823 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 263724 [startup+190.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1243408/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=276636 CPUtime=190.02 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 68856 0 3 0 18932 70 0 0 25 0 1 0 157576240 283275264 68132 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 69159 68132 420 55 0 68051 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 276636 [startup+200.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 /proc/meminfo: memFree=1233808/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=286340 CPUtime=200.03 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 71247 0 3 0 19930 73 0 0 25 0 1 0 157576240 293212160 70520 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 71585 70520 420 55 0 70477 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 286340 [startup+210.127 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5225 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 767384 [startup+1771.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=754448/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=767780 CPUtime=1770.58 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192207 0 3 0 176809 249 0 0 25 0 1 0 157576240 786206720 190040 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 191945 190040 420 55 0 190837 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 767780 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753616/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=768572 CPUtime=1780.58 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192402 0 3 0 177809 249 0 0 25 0 1 0 157576240 787017728 190235 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192143 190235 420 55 0 191035 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 768572 [startup+1782.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753616/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=768572 CPUtime=1781.58 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192410 0 3 0 177909 249 0 0 25 0 1 0 157576240 787017728 190243 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192143 190243 420 55 0 191035 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 768572 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753552/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=768704 CPUtime=1782.59 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192426 0 3 0 178010 249 0 0 25 0 1 0 157576240 787152896 190259 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192176 190259 420 55 0 191068 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 768704 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753488/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=768704 CPUtime=1783.59 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192435 0 3 0 178110 249 0 0 25 0 1 0 157576240 787152896 190268 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192176 190268 420 55 0 191068 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 768704 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753488/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=768704 CPUtime=1784.6 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192442 0 3 0 178211 249 0 0 25 0 1 0 157576240 787152896 190275 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192176 190275 420 55 0 191068 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 768704 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753424/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=768704 CPUtime=1785.6 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192455 0 3 0 178311 249 0 0 25 0 1 0 157576240 787152896 190288 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192176 190288 420 55 0 191068 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 768704 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753360/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=768836 CPUtime=1786.61 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192478 0 3 0 178412 249 0 0 25 0 1 0 157576240 787288064 190311 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192209 190311 420 55 0 191101 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 768836 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753040/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769100 CPUtime=1787.61 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192548 0 3 0 178512 249 0 0 25 0 1 0 157576240 787558400 190381 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192275 190381 420 55 0 191167 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 769100 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=753040/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769232 CPUtime=1788.62 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192559 0 3 0 178613 249 0 0 25 0 1 0 157576240 787693568 190392 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192308 190392 420 55 0 191200 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 769232 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752912/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769232 CPUtime=1789.62 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192579 0 3 0 178713 249 0 0 25 0 1 0 157576240 787693568 190412 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192308 190412 420 55 0 191200 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 769232 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752912/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769364 CPUtime=1790.63 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192591 0 3 0 178814 249 0 0 25 0 1 0 157576240 787828736 190424 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192341 190424 420 55 0 191233 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 769364 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752656/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769496 CPUtime=1791.63 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192649 0 3 0 178914 249 0 0 25 0 1 0 157576240 787963904 190482 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192374 190482 420 55 0 191266 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 769496 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752592/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769628 CPUtime=1792.63 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192662 0 3 0 179014 249 0 0 25 0 1 0 157576240 788099072 190495 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192407 190495 420 55 0 191299 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 769628 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752464/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769760 CPUtime=1793.64 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192688 0 3 0 179115 249 0 0 25 0 1 0 157576240 788234240 190521 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192440 190521 420 55 0 191332 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 769760 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752464/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769760 CPUtime=1794.64 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192699 0 3 0 179215 249 0 0 25 0 1 0 157576240 788234240 190532 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192440 190532 420 55 0 191332 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 769760 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752336/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769892 CPUtime=1795.65 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192724 0 3 0 179316 249 0 0 25 0 1 0 157576240 788369408 190557 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192473 190557 420 55 0 191365 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 769892 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752272/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=769892 CPUtime=1796.65 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192738 0 3 0 179416 249 0 0 25 0 1 0 157576240 788369408 190571 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192473 190571 420 55 0 191365 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 769892 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752208/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=770024 CPUtime=1797.66 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192756 0 3 0 179517 249 0 0 25 0 1 0 157576240 788504576 190589 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192506 190589 420 55 0 191398 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 770024 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752144/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=770024 CPUtime=1798.66 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192773 0 3 0 179617 249 0 0 25 0 1 0 157576240 788504576 190606 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192506 190606 420 55 0 191398 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 770024 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5227 /proc/meminfo: memFree=752080/2055920 swapFree=4183124/4192956 [pid=5225] ppid=5223 vsize=770024 CPUtime=1799.67 /proc/5225/stat : 5225 (bsolo) R 5223 5225 5176 0 -1 0 192783 0 3 0 179718 249 0 0 25 0 1 0 157576240 788504576 190616 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5225/statm: 192506 190616 420 55 0 191398 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 770024 Child status: 10 Real time (s): 1800.66 CPU time (s): 1800.16 CPU user time (s): 1797.54 CPU system time (s): 2.6196 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (Kb): 770024 The end
Begin job on node44 on Fri Jul 28 17:17:33 UTC 2006 FILE ID= 50329-1154107053 PBS_JOBID= 886332 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/50329-1154107053/instance-50329-1154107053.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-50329-1154107053 -o ROOT/results/node44/solver-50329-1154107053 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/50329-1154107053/instance-50329-1154107053.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED= 371539557 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.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1515544 kB Buffers: 33156 kB Cached: 429060 kB SwapCached: 3516 kB Active: 63624 kB Inactive: 407064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1515544 kB SwapTotal: 4192956 kB SwapFree: 4183124 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14476 kB Slab: 55748 kB Committed_AS: 685048 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 node44 on Fri Jul 28 17:47:34 UTC 2006