Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.13 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | NO |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
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 | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1086 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3768 |
Number of bits of the biggest sum of numbers | 12 |
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/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680702-1277458411.opb. 0.00/0.00 c Instance file HOME/instance-2680702-1277458411.opb 0.00/0.00 c File size is 5459 bytes. 0.00/0.00 c Highest Coefficient sum: 3768 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 120 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 10 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 120 10 558 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1090 0.00/0.00 o 1090 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 120 11 638 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 998 0.00/0.00 o 998 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 7 | 120 12 718 | 5000 7 56 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 990 0.00/0.00 o 990 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 18 | 120 13 798 | 5000 18 58 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 699 0.00/0.00 o 699 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 20 | 120 14 878 | 5000 20 57 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 634 0.00/0.00 o 634 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 42 | 120 15 958 | 5000 42 46 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 614 0.00/0.00 o 614 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 49 | 120 16 1038 | 5000 49 47 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 602 0.00/0.00 o 602 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 52 | 120 17 1118 | 5000 52 48 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 504 0.00/0.00 o 504 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 71 | 120 18 1198 | 5000 71 46 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 455 0.00/0.01 o 455 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 71 | 120 19 1278 | 5000 71 46 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 427 0.00/0.01 o 427 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 71 | 120 20 1358 | 5000 71 46 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 425 0.00/0.01 o 425 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 79 | 120 21 1438 | 5000 79 44 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 423 0.00/0.01 o 423 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 81 | 120 22 1518 | 5000 81 45 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 365 0.00/0.01 o 365 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 110 | 120 23 1598 | 5000 110 41 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 209 0.00/0.01 o 209 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 115 | 120 24 1678 | 5000 115 41 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 207 0.00/0.01 o 207 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 116 | 120 25 1758 | 5000 116 41 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 205 0.00/0.01 o 205 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 122 | 120 26 1838 | 5000 122 41 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 203 0.00/0.01 o 203 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 127 | 120 27 1918 | 5000 127 42 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 166 0.00/0.02 o 166 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 183 | 120 28 1998 | 5000 183 44 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 165 0.00/0.02 o 165 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 197 | 120 29 2078 | 5000 197 42 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 161 0.00/0.02 o 161 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 199 | 120 30 2158 | 5000 199 42 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 157 0.00/0.02 o 157 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 203 | 120 31 2238 | 5000 203 42 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 94 0.00/0.03 o 94 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 232 | 120 32 2318 | 5000 232 42 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 76 0.00/0.04 o 76 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 331 | 110 33 2398 | 5000 231 41 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 49 0.00/0.04 o 49 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 394 | 110 34 2478 | 5000 294 40 | 0.000 % | 0.00/0.05 c | 494 | 102 34 2478 | 5500 394 40 | 16.674 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 48 0.00/0.06 o 48 0.00/0.06 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 515 | 100 35 2558 | 5000 415 40 | 16.674 % | 0.00/0.07 c | 617 | 100 35 2558 | 5500 517 40 | 16.674 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 42 0.00/0.08 o 42 0.00/0.08 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 715 | 100 36 2638 | 5000 615 40 | 16.674 % | 0.00/0.09 c | 815 | 100 36 2638 | 5500 608 38 | 16.674 % | 0.00/0.10 c | 965 | 100 36 2638 | 6050 758 38 | 16.674 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 34 0.09/0.11 o 34 0.09/0.11 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 1089 | 100 37 2718 | 5000 882 38 | 16.674 % | 0.09/0.12 c | 1190 | 100 37 2718 | 5500 983 39 | 16.674 % | 0.09/0.14 c | 1341 | 100 37 2718 | 6050 1134 38 | 16.674 % | 0.09/0.16 c | 1566 | 100 37 2718 | 6655 1359 38 | 16.674 % | 0.19/0.20 c | 1903 | 100 37 2718 | 7320 1696 38 | 16.674 % | 0.19/0.26 c | 2410 | 100 37 2718 | 8052 2203 38 | 16.674 % | 0.29/0.35 c | 3169 | 100 37 2718 | 8857 2962 37 | 16.674 % | 0.39/0.49 c | 4308 | 100 37 2718 | 9743 4101 37 | 16.674 % | 0.69/0.71 c | 6017 | 100 37 2718 | 10717 5810 37 | 16.674 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 29 0.79/0.87 o 29 0.79/0.87 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 7063 | 100 38 2798 | 5000 6856 36 | 16.674 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c New solution: 26 0.79/0.89 o 26 0.79/0.89 c Elapsed CPU time: 0.873867 s Remaining CPU time: 179.126 s 0.79/0.89 c =============================================================================== 0.79/0.89 c | 7107 | 90 39 2878 | 5000 3407 36 | 16.674 % | 0.89/0.90 c | 7207 | 90 39 2878 | 5500 3507 36 | 25.007 % | 0.89/0.92 c | 7357 | 90 39 2878 | 6050 3657 36 | 25.007 % | 0.89/0.94 c | 7584 | 90 39 2878 | 6655 3884 37 | 25.007 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: 24 0.89/0.96 o 24 0.89/0.96 c Elapsed CPU time: 0.944856 s Remaining CPU time: 179.055 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 7721 | 90 40 2958 | 5000 4021 37 | 25.007 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: 16 0.89/0.96 o 16 0.89/0.96 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 7747 | 90 41 3038 | 5000 4047 37 | 25.007 % | 0.89/0.98 c | 7847 | 89 41 3038 | 5500 4147 37 | 33.340 % | 0.89/0.99 c | 7998 | 88 41 3038 | 6050 4298 37 | 33.340 % | 0.99/1.02 c | 8224 | 88 41 3038 | 6655 4524 38 | 33.340 % | 0.99/1.05 c | 8562 | 82 41 3038 | 7320 4862 38 | 33.340 % | 1.09/1.12 c | 9068 | 82 41 3038 | 8052 5368 39 | 33.340 % | 1.20/1.20 c | 9827 | 82 41 3038 | 8857 6127 40 | 33.340 % | 1.29/1.37 c | 10966 | 80 41 3038 | 9743 7266 42 | 33.340 % | 1.59/1.62 c | 12674 | 80 41 3038 | 10717 8974 42 | 33.340 % | 1.99/2.01 c | 15236 | 80 41 3038 | 11789 6144 46 | 33.340 % | 2.49/2.55 c | 19080 | 80 41 3038 | 12968 9988 47 | 33.340 % | 2.69/2.80 c =============================================================================== 2.69/2.80 c New solution: 15 2.69/2.80 o 15 2.69/2.80 c Elapsed CPU time: 2.75358 s Remaining CPU time: 177.246 s 2.69/2.80 c =============================================================================== 2.69/2.80 c | 20588 | 80 42 3118 | 5000 11496 47 | 33.340 % | 2.79/2.85 c | 20688 | 80 42 3118 | 5500 2974 48 | 33.340 % | 2.79/2.86 c | 20838 | 80 42 3118 | 6050 3124 48 | 33.340 % | 2.79/2.89 c | 21063 | 80 42 3118 | 6655 3349 48 | 33.340 % | 2.89/2.92 c | 21401 | 80 42 3118 | 7320 3687 48 | 33.340 % | 2.89/2.98 c | 21907 | 80 42 3118 | 8052 4193 49 | 33.340 % | 2.99/3.06 c | 22666 | 80 42 3118 | 8857 4952 49 | 33.340 % | 3.09/3.18 c | 23805 | 80 42 3118 | 9743 6091 49 | 33.340 % | 3.30/3.38 c | 25514 | 80 42 3118 | 10717 7800 49 | 33.340 % | 3.69/3.74 c | 28077 | 80 42 3118 | 11789 10363 49 | 33.340 % | 4.19/4.25 c =============================================================================== 4.19/4.25 c New solution: 14 4.19/4.25 o 14 4.19/4.25 c Elapsed CPU time: 4.18736 s Remaining CPU time: 175.813 s 4.19/4.25 c =============================================================================== 4.19/4.25 c | 31226 | 80 43 3198 | 5000 7587 50 | 33.340 % | 4.19/4.27 c | 31326 | 80 43 3198 | 5500 3894 51 | 33.340 % | 4.19/4.29 c | 31477 | 80 43 3198 | 6050 4045 51 | 33.340 % | 4.29/4.31 c | 31702 | 80 43 3198 | 6655 4270 51 | 33.340 % | 4.29/4.35 c | 32040 | 80 43 3198 | 7320 4608 50 | 33.340 % | 4.29/4.38 c =============================================================================== 4.29/4.38 c New solution: 10 4.29/4.38 o 10 4.29/4.38 c Elapsed CPU time: 4.32134 s Remaining CPU time: 175.679 s 4.29/4.38 c =============================================================================== 4.29/4.38 c | 32292 | 80 44 3278 | 5000 4860 50 | 33.340 % | 4.29/4.39 c | 32393 | 80 44 3278 | 5500 4961 50 | 33.340 % | 4.40/4.41 c | 32544 | 80 44 3278 | 6050 5112 50 | 33.340 % | 4.40/4.42 c =============================================================================== 4.40/4.42 c New solution: 9 4.40/4.42 o 9 4.40/4.42 c Elapsed CPU time: 4.35934 s Remaining CPU time: 175.641 s 4.40/4.42 c =============================================================================== 4.40/4.42 c | 32606 | 80 45 3358 | 5000 5174 50 | 33.340 % | 4.40/4.44 c | 32706 | 80 45 3358 | 5500 2687 50 | 33.340 % | 4.40/4.45 c | 32856 | 80 45 3358 | 6050 2837 50 | 33.340 % | 4.40/4.48 c | 33081 | 80 45 3358 | 6655 3062 49 | 33.340 % | 4.50/4.51 c | 33418 | 80 45 3358 | 7320 3399 49 | 33.340 % | 4.50/4.56 c | 33924 | 80 45 3358 | 8052 3905 49 | 33.340 % | 4.59/4.64 c | 34684 | 80 45 3358 | 8857 4665 50 | 33.340 % | 4.69/4.78 c | 35824 | 80 45 3358 | 9743 5805 50 | 33.340 % | 4.99/5.01 c | 37532 | 80 45 3358 | 10717 7513 50 | 33.340 % | 5.29/5.38 c | 40094 | 80 45 3358 | 11789 10075 50 | 33.340 % | 5.89/5.99 c | 43938 | 80 45 3358 | 12968 7989 49 | 33.340 % | 6.99/7.03 c | 49704 | 80 45 3358 | 14265 7241 48 | 33.340 % | 8.59/8.63 c | 58353 | 80 45 3358 | 15692 8725 49 | 33.340 % | 11.00/11.09 c | 71329 | 80 45 3358 | 17261 13821 51 | 33.340 % | 15.29/15.33 c | 90790 | 80 45 3358 | 18987 15951 50 | 33.340 % | 19.29/19.36 c =============================================================================== 19.29/19.36 c New solution: 6 19.29/19.36 o 6 19.29/19.36 c Elapsed CPU time: 19.0691 s Remaining CPU time: 160.931 s 19.29/19.36 c =============================================================================== 19.29/19.36 c | 107990 | 80 46 3438 | 5000 14091 49 | 33.340 % | 19.39/19.44 c | 108090 | 70 46 3438 | 5500 3612 50 | 41.674 % | 19.39/19.46 c | 108241 | 70 46 3438 | 6050 3763 49 | 41.674 % | 19.39/19.49 c | 108466 | 70 46 3438 | 6655 3988 49 | 41.674 % | 19.48/19.53 c | 108803 | 70 46 3438 | 7320 4325 49 | 41.674 % | 19.58/19.60 c | 109309 | 70 46 3438 | 8052 4831 50 | 41.674 % | 19.68/19.70 c | 110068 | 70 46 3438 | 8857 5590 50 | 41.674 % | 19.79/19.86 c | 111207 | 70 46 3438 | 9743 6729 50 | 41.674 % | 20.08/20.11 c | 112915 | 70 46 3438 | 10717 8437 49 | 41.674 % | 20.49/20.56 c | 115477 | 70 46 3438 | 11789 5603 46 | 41.674 % | 21.08/21.11 c | 119321 | 70 46 3438 | 12968 9447 45 | 41.674 % | 22.00/22.04 c | 125087 | 70 46 3438 | 14265 8689 44 | 41.674 % | 23.39/23.47 c | 133736 | 70 46 3438 | 15692 10166 44 | 41.674 % | 25.69/25.79 c | 146710 | 70 46 3438 | 17261 15253 46 | 41.674 % | 30.09/30.17 c | 166171 | 70 46 3438 | 18987 8706 50 | 41.674 % | 36.89/36.96 c | 195363 | 70 46 3438 | 20886 18831 47 | 41.674 % | 46.68/46.74 c =============================================================================== 46.68/46.74 c New solution: 5 46.68/46.74 o 5 46.68/46.74 c Elapsed CPU time: 46.095 s Remaining CPU time: 133.905 s 46.68/46.74 c =============================================================================== 46.68/46.74 c | 234203 | 70 47 3518 | 5000 15747 49 | 41.674 % | 46.78/46.82 c | 234303 | 70 47 3518 | 5500 4037 50 | 41.674 % | 46.78/46.84 c | 234453 | 70 47 3518 | 6050 4187 50 | 41.674 % | 46.78/46.86 c | 234679 | 70 47 3518 | 6655 4413 50 | 41.674 % | 46.78/46.90 c | 235016 | 70 47 3518 | 7320 4750 49 | 41.674 % | 46.87/46.95 c | 235522 | 70 47 3518 | 8052 5256 49 | 41.674 % | 46.98/47.05 c | 236281 | 70 47 3518 | 8857 6015 48 | 41.674 % | 47.18/47.20 c | 237420 | 70 47 3518 | 9743 7154 48 | 41.674 % | 47.38/47.44 c | 239128 | 70 47 3518 | 10717 8862 49 | 41.674 % | 47.78/47.84 c | 241690 | 70 47 3518 | 11789 6017 52 | 41.674 % | 48.38/48.43 c | 245536 | 70 47 3518 | 12968 9863 51 | 41.674 % | 49.28/49.37 c | 251303 | 70 47 3518 | 14265 9106 49 | 41.674 % | 50.78/50.84 c | 259952 | 70 47 3518 | 15692 10584 47 | 41.674 % | 53.38/53.41 c | 272926 | 70 47 3518 | 17261 15673 49 | 41.674 % | 57.18/57.27 c | 292387 | 70 47 3518 | 18987 9125 47 | 41.674 % | 63.67/63.77 c | 321579 | 70 47 3518 | 20886 9724 46 | 41.674 % | 74.17/74.22 c | 365368 | 70 47 3518 | 22974 11584 47 | 41.674 % | 92.57/92.62 c | 431053 | 70 47 3518 | 25272 16265 52 | 41.674 % | 121.86/121.94 c | 529579 | 70 47 3518 | 27799 13324 47 | 41.674 % | 170.25/170.30 c | 677369 | 70 47 3518 | 30579 25942 51 | 41.674 % | 182.04/182.12 c There are 50 assigned variables. 50 in cost function. 182.55/182.64 c ============================[ Search Statistics ]============================== 182.55/182.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.64 c =============================================================================== 182.55/182.64 c | 0 | 40 104 458 | 5000 0 nan | 0.000 % | 182.55/182.65 c | 100 | 40 104 458 | 5500 100 40 | 66.674 % | 182.55/182.67 c | 252 | 40 104 458 | 6050 252 38 | 66.674 % | 182.55/182.69 c | 478 | 40 104 458 | 6655 478 40 | 66.674 % | 182.65/182.74 c | 815 | 40 104 458 | 7320 815 40 | 66.674 % | 182.74/182.82 c | 1321 | 40 104 458 | 8052 1321 39 | 66.674 % | 182.74/182.88 c | 2081 | 40 104 458 | 8857 2081 39 | 66.674 % | 182.85/182.99 c | 3220 | 40 104 458 | 9743 3220 40 | 66.674 % | 183.04/183.17 c | 4928 | 40 104 458 | 10717 4928 40 | 66.674 % | 183.45/183.50 c | 7490 | 40 104 458 | 11789 7490 39 | 66.674 % | 183.94/184.06 c | 11335 | 40 104 458 | 12968 11335 39 | 66.674 % | 184.94/185.04 c | 17101 | 40 104 458 | 14265 10563 39 | 66.674 % | 186.44/186.51 c | 25754 | 40 104 458 | 15692 12029 41 | 66.674 % | 189.04/189.19 c | 38728 | 40 104 458 | 17261 9202 41 | 66.674 % | 192.94/193.07 c | 58190 | 40 104 458 | 18987 11298 41 | 66.674 % | 199.44/199.56 c | 87383 | 40 104 458 | 20886 11857 41 | 66.674 % | 210.44/210.59 c | 131173 | 40 104 458 | 22974 13664 40 | 66.674 % | 227.13/227.29 c | 196857 | 40 104 458 | 25272 17655 42 | 66.674 % | 255.93/256.00 c | 295383 | 40 104 458 | 27799 14380 43 | 66.674 % | 309.51/309.63 c | 443172 | 40 104 458 | 30579 26354 44 | 66.674 % | 394.59/394.74 c | 664855 | 40 104 458 | 33637 12188 42 | 66.674 % | 535.45/535.64 c | 997380 | 40 104 458 | 37001 27983 42 | 66.674 % | 768.10/768.34 c | 1496169 | 40 104 458 | 40701 34809 42 | 66.674 % | 1159.70/1160.05 c | 2244351 | 40 104 458 | 44771 16051 39 | 66.674 % | 1769.44/1769.94 c | 3366625 | 40 104 458 | 49248 33954 42 | 66.674 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680702-1277458411/watcher-2680702-1277458411 -o /tmp/evaluation-result-2680702-1277458411/solver-2680702-1277458411 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680702-1277458411.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.91 3/106 21170 /proc/meminfo: memFree=1856572/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=2568 CPUtime=0 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 119497425 2629632 191 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 642 191 143 303 0 337 0 [startup+0.105022 s] /proc/loadavg: 0.99 0.98 0.91 3/106 21170 /proc/meminfo: memFree=1856572/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=2832 CPUtime=0.09 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 351 0 0 0 9 0 0 0 20 0 1 0 119497425 2899968 267 1992294400 134512640 135752675 4291122064 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 708 267 144 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.201031 s] /proc/loadavg: 0.99 0.98 0.91 3/106 21170 /proc/meminfo: memFree=1856572/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=3092 CPUtime=0.19 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 413 0 0 0 19 0 0 0 20 0 1 0 119497425 3166208 329 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 773 329 144 303 0 468 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3092 [startup+0.30104 s] /proc/loadavg: 0.99 0.98 0.91 3/106 21170 /proc/meminfo: memFree=1856572/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=3352 CPUtime=0.29 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 472 0 0 0 29 0 0 0 20 0 1 0 119497425 3432448 388 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 838 388 144 303 0 533 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3352 [startup+0.701079 s] /proc/loadavg: 0.99 0.98 0.91 3/106 21170 /proc/meminfo: memFree=1856572/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=4148 CPUtime=0.69 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 681 0 0 0 68 1 0 0 21 0 1 0 119497425 4247552 597 1992294400 134512640 135752675 4291122064 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 1037 597 144 303 0 732 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4148 [startup+1.50116 s] /proc/loadavg: 0.99 0.98 0.91 2/107 21171 /proc/meminfo: memFree=1853712/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=5860 CPUtime=1.49 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 1095 0 0 0 147 2 0 0 23 0 1 0 119497425 6000640 1011 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 1465 1011 145 303 0 1160 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5860 [startup+3.10131 s] /proc/loadavg: 0.99 0.98 0.91 2/107 21171 /proc/meminfo: memFree=1851356/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=8888 CPUtime=3.09 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 1857 0 0 0 305 4 0 0 25 0 1 0 119497425 9101312 1773 1992294400 134512640 135752675 4291122064 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 2222 1773 145 303 0 1917 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8888 [startup+6.30061 s] /proc/loadavg: 0.99 0.98 0.91 2/107 21171 /proc/meminfo: memFree=1844660/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=15072 CPUtime=6.29 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 3424 0 0 0 620 9 0 0 25 0 1 0 119497425 15433728 3340 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 3768 3340 145 303 0 3463 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15072 [startup+12.7002 s] /proc/loadavg: 1.07 1.00 0.92 2/107 21171 /proc/meminfo: memFree=1835112/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=24424 CPUtime=12.69 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 5747 0 0 0 1249 20 0 0 25 0 1 0 119497425 25010176 5663 1992294400 134512640 135752675 4291122064 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 6106 5663 145 303 0 5801 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24424 [startup+25.5015 s] /proc/loadavg: 1.06 1.00 0.92 2/107 21171 /proc/meminfo: memFree=1816760/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=42092 CPUtime=25.48 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 10149 0 0 0 2510 38 0 0 25 0 1 0 119497425 43102208 10065 1992294400 134512640 135752675 4291122064 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 10523 10065 145 303 0 10218 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42092 [startup+51.1009 s] /proc/loadavg: 1.03 1.00 0.92 2/107 21171 /proc/meminfo: memFree=1786256/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=73084 CPUtime=51.08 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 17920 0 0 0 5037 71 0 0 25 0 1 0 119497425 74838016 17836 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 18271 17836 145 303 0 17966 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73084 [startup+102.301 s] /proc/loadavg: 1.05 1.01 0.93 2/107 21173 /proc/meminfo: memFree=1731572/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=126708 CPUtime=102.27 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 31290 0 0 0 10095 132 0 0 25 0 1 0 119497425 129748992 31206 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 31677 31206 145 303 0 31372 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 126708 [startup+162.302 s] /proc/loadavg: 1.06 1.02 0.93 2/107 21175 /proc/meminfo: memFree=1680112/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=178792 CPUtime=162.25 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 44301 0 0 0 16036 189 0 0 25 0 1 0 119497425 183083008 44217 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 44698 44217 145 303 0 44393 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 178792 [startup+222.308 s] /proc/loadavg: 1.05 1.03 0.94 2/107 21177 /proc/meminfo: memFree=1638076/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=220000 CPUtime=222.24 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 54660 0 0 0 21972 252 0 0 25 0 1 0 119497425 225280000 54546 1992294400 134512640 135752675 4291122064 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 55000 54546 146 303 0 54695 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 220000 [startup+282.301 s] /proc/loadavg: 1.21 1.07 0.95 3/108 21180 /proc/meminfo: memFree=1573960/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=257228 CPUtime=282.22 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 63961 0 0 0 27915 307 0 0 25 0 1 0 119497425 263401472 63847 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 64307 63847 146 303 0 64002 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 257228 [startup+342.301 s] /proc/loadavg: 1.11 1.07 0.96 2/107 21182 /proc/meminfo: memFree=1569504/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=287996 CPUtime=342.21 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 71612 0 0 0 33866 355 0 0 25 0 1 0 119497425 294907904 71498 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 71999 71498 146 303 0 71694 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 287996 [startup+402.302 s] /proc/loadavg: 1.04 1.05 0.96 2/107 21184 /proc/meminfo: memFree=1539496/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=318024 CPUtime=402.19 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 79131 0 0 0 39816 403 0 0 25 0 1 0 119497425 325656576 79017 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 79506 79017 146 303 0 79201 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 318024 [startup+462.301 s] /proc/loadavg: 1.01 1.04 0.96 2/107 21186 /proc/meminfo: memFree=1504900/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=352548 CPUtime=462.18 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 87738 0 0 0 45770 448 0 0 25 0 1 0 119497425 361009152 87624 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 88137 87624 146 303 0 87832 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 352548 [startup+522.301 s] /proc/loadavg: 1.00 1.03 0.96 2/107 21188 /proc/meminfo: memFree=1473280/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=384788 CPUtime=522.16 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 95807 0 0 0 51730 486 0 0 25 0 1 0 119497425 394022912 95693 1992294400 134512640 135752675 4291122064 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 96197 95693 146 303 0 95892 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 384788 [startup+582.301 s] /proc/loadavg: 1.00 1.02 0.96 2/107 21188 /proc/meminfo: memFree=1440544/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=416736 CPUtime=582.14 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 103805 0 0 0 57687 527 0 0 25 0 1 0 119497425 426737664 103691 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 104184 103691 146 303 0 103879 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 416736 [startup+642.302 s] /proc/loadavg: 1.00 1.02 0.96 2/107 21190 /proc/meminfo: memFree=1410288/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=447152 CPUtime=642.13 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 111415 0 0 0 63645 568 0 0 25 0 1 0 119497425 457883648 111301 1992294400 134512640 135752675 4291122064 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 111788 111301 146 303 0 111483 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 447152 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21196 /proc/meminfo: memFree=1318032/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=538956 CPUtime=822.08 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 134333 0 0 0 81518 690 0 0 25 0 1 0 119497425 551890944 134219 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 134739 134219 146 303 0 134434 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 538956 [startup+882.309 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21196 /proc/meminfo: memFree=1291868/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=564784 CPUtime=882.08 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 140813 0 0 0 87482 726 0 0 25 0 1 0 119497425 578338816 140699 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 141196 140699 146 303 0 140891 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 564784 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21198 /proc/meminfo: memFree=1264836/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=592472 CPUtime=942.05 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 147716 0 0 0 93440 765 0 0 25 0 1 0 119497425 606691328 147602 1992294400 134512640 135752675 4291122064 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 148118 147602 146 303 0 147813 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 592472 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.96 3/107 21200 /proc/meminfo: memFree=1239788/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=616892 CPUtime=1002.04 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 153832 0 0 0 99402 802 0 0 25 0 1 0 119497425 631697408 153718 1992294400 134512640 135752675 4291122064 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 154223 153718 146 303 0 153918 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 616892 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21202 /proc/meminfo: memFree=1212880/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=644016 CPUtime=1062.02 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 160615 0 0 0 105367 835 0 0 25 0 1 0 119497425 659472384 160501 1992294400 134512640 135752675 4291122064 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 161004 160501 146 303 0 160699 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 644016 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21204 /proc/meminfo: memFree=1184608/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=671912 CPUtime=1122.01 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 167583 0 0 0 111328 873 0 0 25 0 1 0 119497425 688037888 167469 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 167978 167469 146 303 0 167673 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 671912 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21204 /proc/meminfo: memFree=1155592/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=701196 CPUtime=1181.99 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 174892 0 0 0 117285 914 0 0 25 0 1 0 119497425 718024704 174778 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 175299 174778 146 303 0 174994 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 701196 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21206 /proc/meminfo: memFree=1128064/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=728612 CPUtime=1241.98 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 181743 0 0 0 123246 952 0 0 25 0 1 0 119497425 746098688 181629 1992294400 134512640 135752675 4291122064 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 182153 181629 146 303 0 181848 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 728612 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21208 /proc/meminfo: memFree=1098180/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=759128 CPUtime=1301.96 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 189370 0 0 0 129200 996 0 0 25 0 1 0 119497425 777347072 189256 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 189782 189256 146 303 0 189477 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 759128 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21210 /proc/meminfo: memFree=1071148/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=785264 CPUtime=1361.95 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 195885 0 0 0 135162 1033 0 0 25 0 1 0 119497425 804110336 195771 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 196316 195771 146 303 0 196011 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 785264 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21212 /proc/meminfo: memFree=1045356/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=810740 CPUtime=1421.94 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 202281 0 0 0 141124 1070 0 0 25 0 1 0 119497425 830197760 202167 1992294400 134512640 135752675 4291122064 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 202685 202167 146 303 0 202380 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 810740 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21212 /proc/meminfo: memFree=1020432/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=835820 CPUtime=1481.92 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 208542 0 0 0 147085 1107 0 0 25 0 1 0 119497425 855879680 208428 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 208955 208428 146 303 0 208650 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 835820 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21214 /proc/meminfo: memFree=995384/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=860652 CPUtime=1541.91 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 214733 0 0 0 153049 1142 0 0 25 0 1 0 119497425 881307648 214619 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 215163 214619 146 303 0 214858 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 860652 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21216 /proc/meminfo: memFree=971576/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=884676 CPUtime=1601.89 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 220737 0 0 0 159013 1176 0 0 25 0 1 0 119497425 905908224 220623 1992294400 134512640 135752675 4291122064 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 221169 220623 146 303 0 220864 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 884676 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21227 /proc/meminfo: memFree=947520/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=908568 CPUtime=1661.86 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 226725 0 0 0 164976 1210 0 0 25 0 1 0 119497425 930373632 226611 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 227142 226611 146 303 0 226837 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 908568 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21229 /proc/meminfo: memFree=923216/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=933120 CPUtime=1721.84 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 232846 0 0 0 170939 1245 0 0 25 0 1 0 119497425 955514880 232732 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 233280 232732 146 303 0 232975 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 933120 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21229 /proc/meminfo: memFree=899036/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=957012 CPUtime=1781.82 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 238823 0 0 0 176906 1276 0 0 25 0 1 0 119497425 979980288 238709 1992294400 134512640 135752675 4291122064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 239253 238709 146 303 0 238948 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 957012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.96 2/107 21231 /proc/meminfo: memFree=891968/2059040 swapFree=4139948/4192956 [pid=21170] ppid=21168 vsize=964008 CPUtime=1800.03 /proc/21170/stat : 21170 (wbo1.4b) R 21168 21170 20778 0 -1 4202496 240570 0 0 0 178718 1285 0 0 25 0 1 0 119497425 987144192 240456 1992294400 134512640 135752675 4291122064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21170/statm: 241002 240456 146 303 0 240697 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 964008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.6 CPU time (s): 1800.13 CPU user time (s): 1787.18 CPU system time (s): 12.952 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 964008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.18 system time used= 12.952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 240570 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 19637 runsolver used 3.14152 second user time and 8.34773 second system time The end
Begin job on node018 at 2010-06-25 11:33:31 IDJOB=2680702 IDBENCH=2923 IDSOLVER=1190 FILE ID=node018/2680702-1277458411 PBS_JOBID= 11188141 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680702-1277458411/watcher-2680702-1277458411 -o /tmp/evaluation-result-2680702-1277458411/solver-2680702-1277458411 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680702-1277458411.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=773083848 node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1856976 kB Buffers: 26328 kB Cached: 68416 kB SwapCached: 5476 kB Active: 21600 kB Inactive: 86472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856976 kB SwapTotal: 4192956 kB SwapFree: 4139948 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 11948 kB Mapped: 11820 kB Slab: 71916 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181584 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62488 MiB End job on node018 at 2010-06-25 12:03:33