Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | 70 | 1800.12 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
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 | 64 |
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 | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4321 |
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.02 c INFO: OSL Context initialized. 0.03 c Initial problem consists of 146 variables and 12 constraints. 0.03 c No problem reductions applied in OPT. instance. 0.03 c preprocess terminated. Elapsed time: 0.004 0.03 c After prepocess the problem consists of 146 variables and 12 constraints. 0.03 c Initial Lower Bound: 0 0.04 c Restart #1 #Var: 146 LB: 0 @ 0.014 0.06 c Restart #2 #Var: 146 LB: 0 @ 0.033 0.09 c Restart #3 #Var: 146 LB: 0 @ 0.065 0.14 c Restart #4 #Var: 146 LB: 0 @ 0.113 0.19 c Restart #5 #Var: 146 LB: 0 @ 0.163 0.24 c Restart #6 #Var: 146 LB: 0 @ 0.218 0.29 c Restart #7 #Var: 146 LB: 0 @ 0.268 0.36 c Restart #8 #Var: 146 LB: 0 @ 0.333 0.44 c Restart #9 #Var: 146 LB: 0 @ 0.417 0.51 c Restart #10 #Var: 146 LB: 0 @ 0.488 0.61 c Restart #11 #Var: 146 LB: 0 @ 0.583 0.71 c Restart #12 #Var: 146 LB: 0 @ 0.686 0.83 c Restart #13 #Var: 146 LB: 0 @ 0.802 0.97 c Sol. found (all assignments made)... 0.97 o 1466 0.97 c NEW SOLUTION FOUND: 1466 @ 0.951 0.97 c Sol. found (all assignments made)... 0.97 o 1450 0.97 c NEW SOLUTION FOUND: 1450 @ 0.951 0.97 c Sol. found (all assignments made)... 0.97 o 1386 0.98 c NEW SOLUTION FOUND: 1386 @ 0.951 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 o 1376 0.98 c NEW SOLUTION FOUND: 1376 @ 0.957 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 o 1368 0.98 c NEW SOLUTION FOUND: 1368 @ 0.957 0.98 c Sol. found (all assignments made)... 0.98 o 1246 0.98 c NEW SOLUTION FOUND: 1246 @ 0.958 0.98 c Sol. found (all assignments made)... 0.98 o 1242 0.98 c NEW SOLUTION FOUND: 1242 @ 0.958 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.98 o 1240 0.98 c NEW SOLUTION FOUND: 1240 @ 0.958 0.98 c Sol. found (all assignments made)... 0.98 c Sol. found (all assignments made)... 0.99 c Sol. found (all assignments made)... 0.99 o 1238 0.99 c NEW SOLUTION FOUND: 1238 @ 0.961 1.00 c Sol. found (all assignments made)... 1.00 o 1220 1.00 c NEW SOLUTION FOUND: 1220 @ 0.974 1.00 c Sol. found (all assignments made)... 1.00 o 1216 1.00 c NEW SOLUTION FOUND: 1216 @ 0.975 1.00 c Sol. found (all assignments made)... 1.00 o 1214 1.00 c NEW SOLUTION FOUND: 1214 @ 0.975 1.01 c Sol. found (all assignments made)... 1.01 o 1208 1.01 c NEW SOLUTION FOUND: 1208 @ 0.986 1.01 c Sol. found (all assignments made)... 1.01 o 1206 1.01 c NEW SOLUTION FOUND: 1206 @ 0.987 1.04 c Sol. found (all assignments made)... 1.04 o 1204 1.04 c NEW SOLUTION FOUND: 1204 @ 1.018 1.04 c Sol. found (all assignments made)... 1.04 o 1202 1.04 c NEW SOLUTION FOUND: 1202 @ 1.019 1.13 c Sol. found (all assignments made)... 1.13 o 1180 1.13 c NEW SOLUTION FOUND: 1180 @ 1.103 1.13 c Sol. found (all assignments made)... 1.13 o 1178 1.13 c NEW SOLUTION FOUND: 1178 @ 1.103 1.13 c Sol. found (all assignments made)... 1.13 o 1172 1.13 c NEW SOLUTION FOUND: 1172 @ 1.105 1.13 c Sol. found (all assignments made)... 1.13 o 1170 1.13 c NEW SOLUTION FOUND: 1170 @ 1.105 1.27 c Sol. found (all assignments made)... 1.27 o 1164 1.27 c NEW SOLUTION FOUND: 1164 @ 1.247 1.27 c Sol. found (all assignments made)... 1.27 o 1154 1.27 c NEW SOLUTION FOUND: 1154 @ 1.248 1.27 c Sol. found (all assignments made)... 1.27 o 1150 1.27 c NEW SOLUTION FOUND: 1150 @ 1.249 1.27 c Sol. found (all assignments made)... 1.27 o 1146 1.27 c NEW SOLUTION FOUND: 1146 @ 1.249 1.43 c Sol. found (all assignments made)... 1.43 o 1140 1.43 c NEW SOLUTION FOUND: 1140 @ 1.408 1.43 c Sol. found (all assignments made)... 1.43 o 1138 1.43 c NEW SOLUTION FOUND: 1138 @ 1.408 1.60 c Sol. found (all assignments made)... 1.60 o 1132 1.60 c NEW SOLUTION FOUND: 1132 @ 1.576 1.60 c Sol. found (all assignments made)... 1.60 o 1116 1.60 c NEW SOLUTION FOUND: 1116 @ 1.577 1.60 c Sol. found (all assignments made)... 1.60 o 1114 1.60 c NEW SOLUTION FOUND: 1114 @ 1.578 2.19 c Sol. found (all assignments made)... 2.19 o 1084 2.19 c NEW SOLUTION FOUND: 1084 @ 2.167 2.19 c Sol. found (all assignments made)... 2.19 o 1082 2.19 c NEW SOLUTION FOUND: 1082 @ 2.168 2.20 c Sol. found (all assignments made)... 2.20 o 1076 2.20 c NEW SOLUTION FOUND: 1076 @ 2.175 2.20 c Sol. found (all assignments made)... 2.20 o 1074 2.20 c NEW SOLUTION FOUND: 1074 @ 2.177 2.22 c Sol. found (all assignments made)... 2.22 o 1068 2.22 c NEW SOLUTION FOUND: 1068 @ 2.195 2.22 c Sol. found (all assignments made)... 2.22 o 1052 2.22 c NEW SOLUTION FOUND: 1052 @ 2.199 2.23 c Sol. found (all assignments made)... 2.23 o 1050 2.23 c NEW SOLUTION FOUND: 1050 @ 2.204 3.93 c Restart #14 #Var: 146 LB: 0 @ 3.905 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.00 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.01 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.02 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.06 c Sol. found (all assignments made)... 4.52 c Restart #15 #Var: 146 LB: 0 @ 4.498 4.72 c Sol. found (all assignments made)... 4.72 o 1042 4.72 c NEW SOLUTION FOUND: 1042 @ 4.691 4.72 c Sol. found (all assignments made)... 4.72 o 1040 4.72 c NEW SOLUTION FOUND: 1040 @ 4.698 4.72 c Sol. found (all assignments made)... 4.72 o 980 4.72 c NEW SOLUTION FOUND: 980 @ 4.7 4.72 c Sol. found (all assignments made)... 4.72 o 976 4.72 c NEW SOLUTION FOUND: 976 @ 4.7 4.73 c Sol. found (all assignments made)... 4.73 o 974 4.73 c NEW SOLUTION FOUND: 974 @ 4.707 4.74 c Sol. found (all assignments made)... 4.74 o 956 4.74 c NEW SOLUTION FOUND: 956 @ 4.711 4.93 c Sol. found (all assignments made)... 4.93 o 954 4.93 c NEW SOLUTION FOUND: 954 @ 4.907 4.93 c Sol. found (all assignments made)... 4.93 o 952 4.93 c NEW SOLUTION FOUND: 952 @ 4.91 5.28 c Sol. found (all assignments made)... 5.28 o 950 5.28 c NEW SOLUTION FOUND: 950 @ 5.258 6.59 c Sol. found (all assignments made)... 6.59 o 944 6.59 c NEW SOLUTION FOUND: 944 @ 6.561 6.59 c Sol. found (all assignments made)... 6.59 o 936 6.59 c NEW SOLUTION FOUND: 936 @ 6.561 6.59 c Sol. found (all assignments made)... 6.59 o 930 6.59 c NEW SOLUTION FOUND: 930 @ 6.566 6.59 c Sol. found (all assignments made)... 6.59 o 928 6.59 c NEW SOLUTION FOUND: 928 @ 6.57 6.60 c Sol. found (all assignments made)... 6.60 o 920 6.60 c NEW SOLUTION FOUND: 920 @ 6.575 6.60 c Sol. found (all assignments made)... 6.60 o 912 6.60 c NEW SOLUTION FOUND: 912 @ 6.58 6.62 c Sol. found (all assignments made)... 6.62 o 908 6.62 c NEW SOLUTION FOUND: 908 @ 6.594 6.63 c Sol. found (all assignments made)... 6.63 o 904 6.63 c NEW SOLUTION FOUND: 904 @ 6.607 6.64 c Sol. found (all assignments made)... 6.64 o 902 6.64 c NEW SOLUTION FOUND: 902 @ 6.612 6.64 c Sol. found (all assignments made)... 6.64 o 898 6.64 c NEW SOLUTION FOUND: 898 @ 6.612 6.64 c Sol. found (all assignments made)... 6.64 o 896 6.64 c NEW SOLUTION FOUND: 896 @ 6.615 6.65 c Sol. found (all assignments made)... 6.65 o 880 6.65 c NEW SOLUTION FOUND: 880 @ 6.621 6.66 c Sol. found (all assignments made)... 6.66 o 876 6.66 c NEW SOLUTION FOUND: 876 @ 6.636 6.69 c Sol. found (all assignments made)... 6.69 o 872 6.69 c NEW SOLUTION FOUND: 872 @ 6.666 6.70 c Sol. found (all assignments made)... 6.70 o 870 6.70 c NEW SOLUTION FOUND: 870 @ 6.672 6.71 c Sol. found (all assignments made)... 6.71 o 856 6.71 c NEW SOLUTION FOUND: 856 @ 6.681 6.71 c Sol. found (all assignments made)... 6.71 o 854 6.71 c NEW SOLUTION FOUND: 854 @ 6.683 6.71 c Sol. found (all assignments made)... 6.71 o 840 6.71 c NEW SOLUTION FOUND: 840 @ 6.688 6.72 c Sol. found (all assignments made)... 6.72 o 838 6.72 c NEW SOLUTION FOUND: 838 @ 6.695 6.73 c Sol. found (all assignments made)... 6.73 o 836 6.73 c NEW SOLUTION FOUND: 836 @ 6.707 6.74 c Sol. found (all assignments made)... 6.74 o 834 6.74 c NEW SOLUTION FOUND: 834 @ 6.714 6.78 c Sol. found (all assignments made)... 6.78 o 832 6.78 c NEW SOLUTION FOUND: 832 @ 6.75 6.78 c Sol. found (all assignments made)... 6.78 o 830 6.78 c NEW SOLUTION FOUND: 830 @ 6.753 6.82 c Sol. found (all assignments made)... 6.82 o 824 6.82 c NEW SOLUTION FOUND: 824 @ 6.792 6.82 c Sol. found (all assignments made)... 6.82 o 822 6.82 c NEW SOLUTION FOUND: 822 @ 6.793 6.82 c Sol. found (all assignments made)... 6.82 o 820 6.82 c NEW SOLUTION FOUND: 820 @ 6.793 6.82 c Sol. found (all assignments made)... 6.82 o 816 6.82 c NEW SOLUTION FOUND: 816 @ 6.793 6.83 c Sol. found (all assignments made)... 6.83 o 808 6.83 c NEW SOLUTION FOUND: 808 @ 6.801 6.83 c Sol. found (all assignments made)... 6.83 o 806 6.83 c NEW SOLUTION FOUND: 806 @ 6.801 6.83 c Sol. found (all assignments made)... 6.83 o 804 6.83 c NEW SOLUTION FOUND: 804 @ 6.802 6.83 c Sol. found (all assignments made)... 6.83 o 800 6.83 c NEW SOLUTION FOUND: 800 @ 6.802 6.84 c Sol. found (all assignments made)... 6.84 o 792 6.84 c NEW SOLUTION FOUND: 792 @ 6.816 6.84 c Sol. found (all assignments made)... 6.84 o 790 6.84 c NEW SOLUTION FOUND: 790 @ 6.817 6.84 c Sol. found (all assignments made)... 6.84 o 788 6.84 c NEW SOLUTION FOUND: 788 @ 6.817 6.84 c Sol. found (all assignments made)... 6.84 o 784 6.84 c NEW SOLUTION FOUND: 784 @ 6.817 6.85 c Sol. found (all assignments made)... 6.85 o 776 6.85 c NEW SOLUTION FOUND: 776 @ 6.824 6.85 c Sol. found (all assignments made)... 6.85 o 774 6.85 c NEW SOLUTION FOUND: 774 @ 6.825 6.85 c Sol. found (all assignments made)... 6.85 o 768 6.85 c NEW SOLUTION FOUND: 768 @ 6.825 6.88 c Sol. found (all assignments made)... 6.88 o 764 6.88 c NEW SOLUTION FOUND: 764 @ 6.85 6.94 c Sol. found (all assignments made)... 6.94 o 760 6.94 c NEW SOLUTION FOUND: 760 @ 6.912 6.94 c Sol. found (all assignments made)... 6.94 o 758 6.94 c NEW SOLUTION FOUND: 758 @ 6.917 6.95 c Sol. found (all assignments made)... 6.95 o 744 6.95 c NEW SOLUTION FOUND: 744 @ 6.923 6.95 c Sol. found (all assignments made)... 6.95 o 742 6.95 c NEW SOLUTION FOUND: 742 @ 6.927 6.96 c Sol. found (all assignments made)... 6.96 o 728 6.96 c NEW SOLUTION FOUND: 728 @ 6.93 6.96 c Sol. found (all assignments made)... 6.96 o 726 6.96 c NEW SOLUTION FOUND: 726 @ 6.934 6.98 c Sol. found (all assignments made)... 6.98 o 724 6.98 c NEW SOLUTION FOUND: 724 @ 6.954 6.98 c Sol. found (all assignments made)... 6.98 o 722 6.98 c NEW SOLUTION FOUND: 722 @ 6.958 7.24 c Sol. found (all assignments made)... 7.24 o 718 7.24 c NEW SOLUTION FOUND: 718 @ 7.212 7.77 c Sol. found (all assignments made)... 7.77 o 706 7.77 c NEW SOLUTION FOUND: 706 @ 7.748 9.67 c Restart #16 #Var: 146 LB: 0 @ 9.644 11.65 c Sol. found (all assignments made)... 11.65 o 704 11.65 c NEW SOLUTION FOUND: 704 @ 11.624 11.66 c Sol. found (all assignments made)... 11.66 o 702 11.66 c NEW SOLUTION FOUND: 702 @ 11.628 13.76 c Sol. found (all assignments made)... 13.76 o 638 13.76 c NEW SOLUTION FOUND: 638 @ 13.732 13.77 c Sol. found (all assignments made)... 13.77 o 630 13.77 c NEW SOLUTION FOUND: 630 @ 13.736 13.83 c Sol. found (all assignments made)... 13.83 o 592 13.83 c NEW SOLUTION FOUND: 592 @ 13.795 13.83 c Sol. found (all assignments made)... 13.83 o 590 13.83 c NEW SOLUTION FOUND: 590 @ 13.797 13.84 c Sol. found (all assignments made)... 13.84 o 534 13.84 c NEW SOLUTION FOUND: 534 @ 13.809 13.90 c Sol. found (all assignments made)... 13.90 o 518 13.90 c NEW SOLUTION FOUND: 518 @ 13.868 13.90 c Sol. found (all assignments made)... 13.90 o 510 13.90 c NEW SOLUTION FOUND: 510 @ 13.871 15.96 c Sol. found (all assignments made)... 15.96 o 494 15.96 c NEW SOLUTION FOUND: 494 @ 15.929 15.96 c Sol. found (all assignments made)... 15.96 o 486 15.96 c NEW SOLUTION FOUND: 486 @ 15.933 16.30 c Sol. found (all assignments made)... 16.30 o 470 16.30 c NEW SOLUTION FOUND: 470 @ 16.272 16.45 c Sol. found (all assignments made)... 16.45 o 462 16.45 c NEW SOLUTION FOUND: 462 @ 16.42 16.46 c Sol. found (all assignments made)... 16.46 o 454 16.46 c NEW SOLUTION FOUND: 454 @ 16.433 17.84 c Sol. found (all assignments made)... 17.84 o 452 17.84 c NEW SOLUTION FOUND: 452 @ 17.807 19.34 c Sol. found (all assignments made)... 19.34 o 446 19.34 c NEW SOLUTION FOUND: 446 @ 19.306 19.36 c Sol. found (all assignments made)... 19.36 o 438 19.36 c NEW SOLUTION FOUND: 438 @ 19.334 19.52 c Sol. found (all assignments made)... 19.52 o 436 19.52 c NEW SOLUTION FOUND: 436 @ 19.485 19.63 c Sol. found (all assignments made)... 19.63 o 430 19.63 c NEW SOLUTION FOUND: 430 @ 19.601 19.74 c Sol. found (all assignments made)... 19.74 o 428 19.74 c NEW SOLUTION FOUND: 428 @ 19.708 20.54 c Sol. found (all assignments made)... 20.54 o 414 20.54 c NEW SOLUTION FOUND: 414 @ 20.505 20.57 c Sol. found (all assignments made)... 20.57 o 406 20.57 c NEW SOLUTION FOUND: 406 @ 20.533 20.72 c Sol. found (all assignments made)... 20.72 o 404 20.72 c NEW SOLUTION FOUND: 404 @ 20.684 21.63 c Sol. found (all assignments made)... 21.63 o 398 21.63 c NEW SOLUTION FOUND: 398 @ 21.602 21.71 c Sol. found (all assignments made)... 21.71 o 382 21.71 c NEW SOLUTION FOUND: 382 @ 21.678 21.74 c Sol. found (all assignments made)... 21.74 o 374 21.74 c NEW SOLUTION FOUND: 374 @ 21.711 21.88 c Sol. found (all assignments made)... 21.88 o 372 21.88 c NEW SOLUTION FOUND: 372 @ 21.846 25.57 c Sol. found (all assignments made)... 25.58 c Sol. found (all assignments made)... 25.58 o 371 25.58 c NEW SOLUTION FOUND: 371 @ 25.544 25.58 c Sol. found (all assignments made)... 25.58 o 369 25.58 c NEW SOLUTION FOUND: 369 @ 25.549 29.06 c Restart #17 #Var: 146 LB: 0 @ 29.027 31.91 c Restart #18 #Var: 146 LB: 0 @ 31.872 36.68 c Restart #19 #Var: 146 LB: 0 @ 36.644 39.22 c Restart #20 #Var: 146 LB: 0 @ 39.183 42.69 c CHANGE to MIS mode... UB: 369 MIS: 0 LPR: 0 (0.016) Diff: nan 42.69 c Restart #0 #Var: 146 LB: 0 @ 42.652 43.09 c Restart #1 #Var: 146 LB: 0 @ 43.053 43.70 c Restart #2 #Var: 146 LB: 0 @ 43.662 45.45 c Restart #3 #Var: 146 LB: 0 @ 45.411 48.01 c Restart #4 #Var: 146 LB: 0 @ 47.966 49.99 c Restart #5 #Var: 146 LB: 0 @ 49.948 51.77 c Restart #6 #Var: 146 LB: 0 @ 51.729 54.66 c Restart #7 #Var: 146 LB: 0 @ 54.614 58.71 c Restart #8 #Var: 146 LB: 0 @ 58.666 61.62 c Restart #9 #Var: 146 LB: 0 @ 61.578 65.11 c Restart #10 #Var: 146 LB: 0 @ 65.065 68.16 c Restart #11 #Var: 146 LB: 0 @ 68.111 73.72 c Restart #12 #Var: 146 LB: 0 @ 73.672 77.95 c Restart #13 #Var: 146 LB: 0 @ 77.903 85.05 c Restart #14 #Var: 146 LB: 0 @ 84.994 91.78 c Restart #15 #Var: 146 LB: 0 @ 91.728 97.49 c Restart #16 #Var: 146 LB: 0 @ 97.433 105.15 c Restart #17 #Var: 146 LB: 0 @ 105.1 109.73 c Restart #18 #Var: 146 LB: 0 @ 109.67 119.78 c Restart #19 #Var: 146 LB: 0 @ 119.71 126.23 c Restart #20 #Var: 146 LB: 0 @ 126.16 136.48 c Restart #21 #Var: 146 LB: 0 @ 136.41 154.85 c Restart #22 #Var: 146 LB: 0 @ 154.78 166.80 c Restart #23 #Var: 146 LB: 0 @ 166.72 179.36 c Restart #24 #Var: 146 LB: 0 @ 179.28 196.43 c Restart #25 #Var: 146 LB: 0 @ 196.35 216.38 c Restart #26 #Var: 146 LB: 0 @ 216.29 229.51 c Restart #27 #Var: 146 LB: 0 @ 229.42 245.50 c Restart #28 #Var: 146 LB: 0 @ 245.4 263.56 c Restart #29 #Var: 146 LB: 0 @ 263.46 279.33 c Restart #30 #Var: 146 LB: 0 @ 279.2 301.98 c Restart #31 #Var: 146 LB: 0 @ 301.79 326.96 c Restart #32 #Var: 146 LB: 0 @ 326.76 344.36 c Restart #33 #Var: 146 LB: 0 @ 344.17 373.06 c Restart #34 #Var: 146 LB: 0 @ 372.85 397.43 c Restart #35 #Var: 146 LB: 0 @ 397.22 417.01 c Sol. found (all assignments made)... 417.01 o 364 417.01 c NEW SOLUTION FOUND: 364 @ 416.79 417.01 c Sol. found (all assignments made)... 417.01 c Sol. found (all assignments made)... 417.08 c Sol. found (all assignments made)... 417.08 o 356 417.08 c NEW SOLUTION FOUND: 356 @ 416.87 417.09 c Sol. found (all assignments made)... 417.09 c Sol. found (all assignments made)... 417.09 o 354 417.09 c NEW SOLUTION FOUND: 354 @ 416.88 417.09 c Sol. found (all assignments made)... 417.18 c Sol. found (all assignments made)... 417.18 o 352 417.18 c NEW SOLUTION FOUND: 352 @ 416.96 417.18 c Sol. found (all assignments made)... 417.18 o 344 417.18 c NEW SOLUTION FOUND: 344 @ 416.96 417.18 c Sol. found (all assignments made)... 417.18 o 342 417.18 c NEW SOLUTION FOUND: 342 @ 416.96 417.18 c Sol. found (all assignments made)... 417.18 o 340 417.18 c NEW SOLUTION FOUND: 340 @ 416.96 417.18 c Sol. found (all assignments made)... 417.18 o 336 417.18 c NEW SOLUTION FOUND: 336 @ 416.96 417.18 c Sol. found (all assignments made)... 417.18 o 334 417.18 c NEW SOLUTION FOUND: 334 @ 416.96 417.19 c Sol. found (all assignments made)... 417.19 o 332 417.19 c NEW SOLUTION FOUND: 332 @ 416.97 417.26 c Sol. found (all assignments made)... 417.26 o 328 417.26 c NEW SOLUTION FOUND: 328 @ 417.05 417.27 c Sol. found (all assignments made)... 417.27 o 324 417.27 c NEW SOLUTION FOUND: 324 @ 417.05 417.28 c Sol. found (all assignments made)... 417.28 o 322 417.28 c NEW SOLUTION FOUND: 322 @ 417.06 417.51 c Sol. found (all assignments made)... 417.51 o 316 417.51 c NEW SOLUTION FOUND: 316 @ 417.29 417.57 c Sol. found (all assignments made)... 417.57 o 314 417.57 c NEW SOLUTION FOUND: 314 @ 417.35 417.86 c Sol. found (all assignments made)... 417.86 o 312 417.86 c NEW SOLUTION FOUND: 312 @ 417.64 417.97 c Sol. found (all assignments made)... 417.97 o 310 417.97 c NEW SOLUTION FOUND: 310 @ 417.75 433.98 c Restart #36 #Var: 146 LB: 0 @ 433.76 448.19 c Sol. found (all assignments made)... 464.37 c Restart #37 #Var: 146 LB: 0 @ 464.14 502.51 c Restart #38 #Var: 146 LB: 0 @ 502.27 538.20 c Sol. found (all assignments made)... 538.20 o 299 538.20 c NEW SOLUTION FOUND: 299 @ 537.95 538.36 c Sol. found (all assignments made)... 538.41 c Sol. found (all assignments made)... 538.46 c Sol. found (all assignments made)... 538.51 c Sol. found (all assignments made)... 538.51 c Sol. found (all assignments made)... 538.52 c Sol. found (all assignments made)... 538.53 c Sol. found (all assignments made)... 539.05 c Sol. found (all assignments made)... 539.05 o 297 539.05 c NEW SOLUTION FOUND: 297 @ 538.8 543.14 c Sol. found (all assignments made)... 543.14 c Sol. found (all assignments made)... 543.14 o 289 543.14 c NEW SOLUTION FOUND: 289 @ 542.89 543.14 c Sol. found (all assignments made)... 543.14 c Sol. found (all assignments made)... 543.14 o 285 543.14 c NEW SOLUTION FOUND: 285 @ 542.89 543.15 c Sol. found (all assignments made)... 543.15 o 271 543.15 c NEW SOLUTION FOUND: 271 @ 542.9 543.15 c Sol. found (all assignments made)... 543.15 o 269 543.15 c NEW SOLUTION FOUND: 269 @ 542.9 543.92 c Sol. found (all assignments made)... 543.92 o 267 543.92 c NEW SOLUTION FOUND: 267 @ 543.67 544.15 c Sol. found (all assignments made)... 544.15 o 265 544.15 c NEW SOLUTION FOUND: 265 @ 543.9 548.88 c Sol. found (all assignments made)... 548.88 o 263 548.88 c NEW SOLUTION FOUND: 263 @ 548.62 550.77 c Sol. found (all assignments made)... 550.77 o 253 550.77 c NEW SOLUTION FOUND: 253 @ 550.51 550.78 c Sol. found (all assignments made)... 550.78 o 251 550.78 c NEW SOLUTION FOUND: 251 @ 550.53 550.87 c Sol. found (all assignments made)... 550.87 o 247 550.87 c NEW SOLUTION FOUND: 247 @ 550.62 571.45 c Sol. found (all assignments made)... 571.45 o 222 571.45 c NEW SOLUTION FOUND: 222 @ 571.19 571.45 c Sol. found (all assignments made)... 571.45 o 220 571.45 c NEW SOLUTION FOUND: 220 @ 571.19 571.59 c Sol. found (all assignments made)... 571.59 o 218 571.59 c NEW SOLUTION FOUND: 218 @ 571.33 573.34 c Sol. found (all assignments made)... 573.34 o 216 573.34 c NEW SOLUTION FOUND: 216 @ 573.07 574.92 c Sol. found (all assignments made)... 574.92 o 208 574.92 c NEW SOLUTION FOUND: 208 @ 574.65 575.00 c Sol. found (all assignments made)... 575.00 o 206 575.00 c NEW SOLUTION FOUND: 206 @ 574.73 576.07 c Sol. found (all assignments made)... 576.07 o 200 576.07 c NEW SOLUTION FOUND: 200 @ 575.8 576.86 c Sol. found (all assignments made)... 576.86 o 192 576.86 c NEW SOLUTION FOUND: 192 @ 576.59 578.91 c Sol. found (all assignments made)... 578.91 o 182 578.91 c NEW SOLUTION FOUND: 182 @ 578.65 578.99 c Sol. found (all assignments made)... 578.99 o 180 578.99 c NEW SOLUTION FOUND: 180 @ 578.73 579.41 c Sol. found (all assignments made)... 579.41 o 178 579.41 c NEW SOLUTION FOUND: 178 @ 579.15 579.56 c Sol. found (all assignments made)... 579.56 o 176 579.56 c NEW SOLUTION FOUND: 176 @ 579.29 579.79 c Sol. found (all assignments made)... 579.79 o 168 579.79 c NEW SOLUTION FOUND: 168 @ 579.53 580.27 c Sol. found (all assignments made)... 580.27 o 166 580.27 c NEW SOLUTION FOUND: 166 @ 580.01 605.07 c Sol. found (all assignments made)... 605.07 o 162 605.07 c NEW SOLUTION FOUND: 162 @ 604.8 636.33 c Restart #39 #Var: 146 LB: 0 @ 636.05 670.24 c Restart #40 #Var: 146 LB: 0 @ 669.95 739.75 c Restart #41 #Var: 146 LB: 0 @ 739.44 743.92 c Sol. found (all assignments made)... 743.92 c Sol. found (all assignments made)... 771.24 c Restart #42 #Var: 146 LB: 0 @ 770.93 852.98 c Sol. found (all assignments made)... 852.98 o 161 852.98 c NEW SOLUTION FOUND: 161 @ 852.64 852.98 c Sol. found (all assignments made)... 852.98 o 153 852.98 c NEW SOLUTION FOUND: 153 @ 852.64 853.00 c Sol. found (all assignments made)... 853.00 o 151 853.00 c NEW SOLUTION FOUND: 151 @ 852.66 853.01 c Sol. found (all assignments made)... 853.01 o 149 853.01 c NEW SOLUTION FOUND: 149 @ 852.67 853.02 c Sol. found (all assignments made)... 853.02 o 147 853.02 c NEW SOLUTION FOUND: 147 @ 852.68 853.09 c Sol. found (all assignments made)... 853.09 o 145 853.09 c NEW SOLUTION FOUND: 145 @ 852.75 853.09 c Sol. found (all assignments made)... 853.09 o 143 853.09 c NEW SOLUTION FOUND: 143 @ 852.75 872.97 c Sol. found (all assignments made)... 872.97 o 141 872.97 c NEW SOLUTION FOUND: 141 @ 872.62 873.01 c Sol. found (all assignments made)... 873.01 o 139 873.01 c NEW SOLUTION FOUND: 139 @ 872.66 873.82 c Sol. found (all assignments made)... 873.82 o 137 873.82 c NEW SOLUTION FOUND: 137 @ 873.48 873.92 c Sol. found (all assignments made)... 873.92 o 133 873.92 c NEW SOLUTION FOUND: 133 @ 873.58 874.55 c Sol. found (all assignments made)... 874.55 o 131 874.55 c NEW SOLUTION FOUND: 131 @ 874.2 877.48 c Sol. found (all assignments made)... 877.48 o 129 877.48 c NEW SOLUTION FOUND: 129 @ 877.14 877.58 c Sol. found (all assignments made)... 877.58 o 127 877.58 c NEW SOLUTION FOUND: 127 @ 877.23 895.39 c Sol. found (all assignments made)... 895.39 o 125 895.39 c NEW SOLUTION FOUND: 125 @ 895.04 958.14 c Sol. found (all assignments made)... 958.14 o 119 958.14 c NEW SOLUTION FOUND: 119 @ 957.77 958.74 c Sol. found (all assignments made)... 958.74 o 117 958.74 c NEW SOLUTION FOUND: 117 @ 958.37 1010.19 c Restart #43 #Var: 145 LB: 0 @ 1009.8 1113.33 c Restart #44 #Var: 143 LB: 0 @ 1112.9 1199.68 c Restart #45 #Var: 141 LB: 0 @ 1199.2 1294.07 c Restart #46 #Var: 140 LB: 0 @ 1293.6 1397.70 c Restart #47 #Var: 139 LB: 0 @ 1397.2 1487.83 c Restart #48 #Var: 139 LB: 0 @ 1487.3 1493.34 c Sol. found (all assignments made)... 1493.34 o 84 1493.34 c NEW SOLUTION FOUND: 84 @ 1492.8 1493.97 c Sol. found (all assignments made)... 1493.97 o 82 1493.97 c NEW SOLUTION FOUND: 82 @ 1493.5 1524.20 c Sol. found (all assignments made)... 1524.20 o 80 1524.20 c NEW SOLUTION FOUND: 80 @ 1523.7 1529.87 c Sol. found (all assignments made)... 1529.87 o 78 1529.87 c NEW SOLUTION FOUND: 78 @ 1529.3 1531.46 c Sol. found (all assignments made)... 1531.46 o 74 1531.46 c NEW SOLUTION FOUND: 74 @ 1530.9 1626.10 c Restart #49 #Var: 139 LB: 0 @ 1625.5 1633.38 c Sol. found (all assignments made)... 1633.50 c Sol. found (all assignments made)... 1638.38 c Sol. found (all assignments made)... 1638.40 c Sol. found (all assignments made)... 1638.40 c Sol. found (all assignments made)... 1638.41 c Sol. found (all assignments made)... 1638.53 c Sol. found (all assignments made)... 1638.62 c Sol. found (all assignments made)... 1638.62 o 72 1638.62 c NEW SOLUTION FOUND: 72 @ 1638.1 1686.11 c Sol. found (all assignments made)... 1689.89 c Sol. found (all assignments made)... 1689.89 o 70 1689.89 c NEW SOLUTION FOUND: 70 @ 1689.3 1800.63 s SATISFIABLE 1800.63 c Cost: 70 1800.63 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.63 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.63 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.63 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.63 v -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 x121 x122 -x123 x124 x125 -x126 x127 x128 -x129 -x130 x131 1800.63 v -x132 -x133 -x134 x135 -x136 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 x145 x146 1800.63 c Exit Code: 10 1800.63 c Total time: 1800 s
OK 70
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/node60/watcher-50315-1154102190 -o ROOT/results/node60/solver-50315-1154102190 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50315-1154102190/instance-50315-1154102190.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 786 /proc/meminfo: memFree=1495192/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=3216 CPUtime=0 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 52 0 0 0 0 0 0 0 18 0 1 0 157088854 3293184 35 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5536397 0 0 4096 0 0 0 0 17 1 0 0 /proc/786/statm: 806 38 28 55 0 40 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.99 2/64 786 /proc/meminfo: memFree=1432096/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=67432 CPUtime=9.97 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 16118 0 0 0 985 12 0 0 25 0 1 0 157088854 69050368 16032 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 16858 16032 297 55 0 15750 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 67432 [startup+20.0081 s] /proc/loadavg: 0.94 0.98 0.99 2/64 786 /proc/meminfo: memFree=1418656/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=80924 CPUtime=19.97 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 19479 0 0 0 1982 15 0 0 25 0 1 0 157088854 82866176 19393 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 20231 19393 297 55 0 19123 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 80924 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.99 2/64 786 /proc/meminfo: memFree=1408800/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=90828 CPUtime=29.97 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 21934 0 0 0 2978 19 0 0 25 0 1 0 157088854 93007872 21848 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 22707 21848 297 55 0 21599 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 90828 [startup+40.0201 s] /proc/loadavg: 0.96 0.98 0.99 2/64 786 /proc/meminfo: memFree=1393056/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=106552 CPUtime=39.98 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 25854 0 0 0 3974 24 0 0 25 0 1 0 157088854 109109248 25768 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 26638 25768 297 55 0 25530 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 106552 [startup+50.0261 s] /proc/loadavg: 0.96 0.98 0.99 2/64 786 /proc/meminfo: memFree=1381472/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=118036 CPUtime=49.97 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 28749 0 3 0 4970 27 0 0 25 0 1 0 157088854 120868864 28663 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 29509 28663 420 55 0 28401 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 118036 [startup+60.0321 s] /proc/loadavg: 0.97 0.98 0.99 2/64 786 /proc/meminfo: memFree=1375200/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=124396 CPUtime=59.98 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 30311 0 3 0 5968 30 0 0 25 0 1 0 157088854 127381504 30225 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 31099 30225 420 55 0 29991 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 124396 [startup+70.0381 s] /proc/loadavg: 0.97 0.98 0.99 2/64 786 /proc/meminfo: memFree=1367392/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=132340 CPUtime=69.98 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 32274 0 3 0 6965 33 0 0 25 0 1 0 157088854 135516160 32188 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 33085 32188 420 55 0 31977 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 132340 [startup+80.0441 s] /proc/loadavg: 0.98 0.98 0.99 2/64 786 /proc/meminfo: memFree=1360800/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=138872 CPUtime=79.98 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 33914 0 3 0 7962 36 0 0 25 0 1 0 157088854 142204928 33828 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 34718 33828 420 55 0 33610 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 138872 [startup+90.0501 s] /proc/loadavg: 0.98 0.98 0.99 2/64 786 /proc/meminfo: memFree=1355808/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=143928 CPUtime=89.99 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 35166 0 3 0 8961 38 0 0 25 0 1 0 157088854 147382272 35079 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 35982 35079 420 55 0 34874 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 143928 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 786 /proc/meminfo: memFree=1347936/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=151944 CPUtime=99.99 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 37141 0 3 0 9958 41 0 0 25 0 1 0 157088854 155590656 37051 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 37986 37051 420 55 0 36878 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 151944 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 786 /proc/meminfo: memFree=1340512/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=159356 CPUtime=110 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 38981 0 3 0 10956 44 0 0 25 0 1 0 157088854 163180544 38891 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 39839 38891 420 55 0 38731 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 159356 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1335648/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=164256 CPUtime=120 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 40202 0 3 0 11954 46 0 0 25 0 1 0 157088854 168198144 40112 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 41064 40112 420 55 0 39956 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 164256 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1328544/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=171412 CPUtime=130 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 41976 0 3 0 12951 49 0 0 25 0 1 0 157088854 175525888 41885 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 42853 41885 420 55 0 41745 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 171412 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1323936/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=175904 CPUtime=140 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 43115 0 3 0 13950 50 0 0 25 0 1 0 157088854 180125696 43024 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550888 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 43976 43024 420 55 0 42868 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 175904 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1320608/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=179368 CPUtime=150 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 43942 0 3 0 14948 52 0 0 25 0 1 0 157088854 183672832 43850 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 44842 43850 420 55 0 43734 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 179368 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1316896/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=183216 CPUtime=160.01 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 44870 0 3 0 15947 54 0 0 25 0 1 0 157088854 187613184 44776 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 45804 44776 420 55 0 44696 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 183216 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1310688/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=189304 CPUtime=170.01 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 46422 0 3 0 16944 57 0 0 25 0 1 0 157088854 193847296 46327 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 47326 46327 420 55 0 46218 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 189304 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1305760/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=194244 CPUtime=180.02 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 47648 0 3 0 17943 59 0 0 25 0 1 0 157088854 198905856 47551 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 48561 47551 420 55 0 47453 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 194244 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1302432/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=197708 CPUtime=190.02 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 48493 0 3 0 18941 61 0 0 25 0 1 0 157088854 202452992 48396 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524861 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 49427 48396 420 55 0 48319 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 197708 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 /proc/meminfo: memFree=1298336/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=201844 CPUtime=200.02 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 49517 0 3 0 19939 63 0 0 25 0 1 0 157088854 206688256 49418 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 50461 49418 420 55 0 49353 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 201844 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 786 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 509344 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=991520/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=510004 CPUtime=1770.46 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128010 0 3 0 176855 191 0 0 25 0 1 0 157088854 522244096 125888 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134535012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127501 125888 420 55 0 126393 0 Current children cumulated CPU time (s) 1770.46 Current children cumulated vsize (Kb) 510004 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990816/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=510664 CPUtime=1780.46 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128192 0 3 0 177855 191 0 0 25 0 1 0 157088854 522919936 126070 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127666 126070 420 55 0 126558 0 Current children cumulated CPU time (s) 1780.46 Current children cumulated vsize (Kb) 510664 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990816/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=510664 CPUtime=1781.46 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128193 0 3 0 177955 191 0 0 25 0 1 0 157088854 522919936 126071 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127666 126071 420 55 0 126558 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 510664 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990752/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=510796 CPUtime=1782.47 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128202 0 3 0 178056 191 0 0 25 0 1 0 157088854 523055104 126080 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127699 126080 420 55 0 126591 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 510796 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990688/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=510796 CPUtime=1783.47 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128216 0 3 0 178156 191 0 0 25 0 1 0 157088854 523055104 126094 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127699 126094 420 55 0 126591 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 510796 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990624/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=510796 CPUtime=1784.48 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128230 0 3 0 178257 191 0 0 25 0 1 0 157088854 523055104 126108 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127699 126108 420 55 0 126591 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 510796 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990560/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=510928 CPUtime=1785.48 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128252 0 3 0 178357 191 0 0 25 0 1 0 157088854 523190272 126130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127732 126130 420 55 0 126624 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 510928 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990496/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=510928 CPUtime=1786.48 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128259 0 3 0 178457 191 0 0 25 0 1 0 157088854 523190272 126137 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127732 126137 420 55 0 126624 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 510928 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990496/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511060 CPUtime=1787.5 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128267 0 3 0 178558 192 0 0 25 0 1 0 157088854 523325440 126145 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127765 126145 420 55 0 126657 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 511060 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990432/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511060 CPUtime=1788.5 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128282 0 3 0 178658 192 0 0 25 0 1 0 157088854 523325440 126160 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127765 126160 420 55 0 126657 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 511060 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990368/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511192 CPUtime=1789.51 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128301 0 3 0 178759 192 0 0 25 0 1 0 157088854 523460608 126179 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127798 126179 420 55 0 126690 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 511192 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990304/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511192 CPUtime=1790.51 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128313 0 3 0 178859 192 0 0 25 0 1 0 157088854 523460608 126191 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127798 126191 420 55 0 126690 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 511192 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990240/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511192 CPUtime=1791.51 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128325 0 3 0 178959 192 0 0 25 0 1 0 157088854 523460608 126203 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127798 126203 420 55 0 126690 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 511192 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990240/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511324 CPUtime=1792.52 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128334 0 3 0 179060 192 0 0 25 0 1 0 157088854 523595776 126212 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127831 126212 420 55 0 126723 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 511324 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990176/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511324 CPUtime=1793.52 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128339 0 3 0 179160 192 0 0 25 0 1 0 157088854 523595776 126217 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127831 126217 420 55 0 126723 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 511324 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990176/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511324 CPUtime=1794.53 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128350 0 3 0 179261 192 0 0 25 0 1 0 157088854 523595776 126228 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127831 126228 420 55 0 126723 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 511324 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990112/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511324 CPUtime=1795.53 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128363 0 3 0 179361 192 0 0 25 0 1 0 157088854 523595776 126241 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127831 126241 420 55 0 126723 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 511324 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=990048/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511456 CPUtime=1796.54 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128375 0 3 0 179462 192 0 0 25 0 1 0 157088854 523730944 126253 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127864 126253 420 55 0 126756 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 511456 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=989984/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511456 CPUtime=1797.54 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128391 0 3 0 179562 192 0 0 25 0 1 0 157088854 523730944 126269 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127864 126269 420 55 0 126756 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 511456 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=989920/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511588 CPUtime=1798.55 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128404 0 3 0 179663 192 0 0 25 0 1 0 157088854 523866112 126282 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127897 126282 420 55 0 126789 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 511588 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 984 /proc/meminfo: memFree=989920/2055920 swapFree=4184148/4192956 [pid=786] ppid=784 vsize=511588 CPUtime=1799.55 /proc/786/stat : 786 (bsolo) R 784 786 737 0 -1 0 128409 0 3 0 179763 192 0 0 25 0 1 0 157088854 523866112 126287 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/786/statm: 127897 126287 420 55 0 126789 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 511588 Child status: 10 Real time (s): 1800.72 CPU time (s): 1800.12 CPU user time (s): 1798.11 CPU system time (s): 2.00469 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (Kb): 511588 The end
Begin job on node60 on Fri Jul 28 15:56:30 UTC 2006 FILE ID= 50315-1154102190 PBS_JOBID= 886150 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50315-1154102190/instance-50315-1154102190.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-50315-1154102190 -o ROOT/results/node60/solver-50315-1154102190 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/50315-1154102190/instance-50315-1154102190.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED= 618315657 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.231 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.231 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: 1495400 kB Buffers: 31532 kB Cached: 454676 kB SwapCached: 2576 kB Active: 49148 kB Inactive: 445624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1495400 kB SwapTotal: 4192956 kB SwapFree: 4184148 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14584 kB Slab: 51724 kB Committed_AS: 1124404 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Fri Jul 28 16:26:31 UTC 2006