Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.11 | 1800.59 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656059-1276615887.opb. 0.00/0.00 c Instance file HOME/instance-2656059-1276615887.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.001999 s Remaining CPU time: 179.998 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.002999 s Remaining CPU time: 179.997 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.003999 s Remaining CPU time: 179.996 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.003999 s Remaining CPU time: 179.996 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.004999 s Remaining CPU time: 179.995 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.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 71 | 120 18 1198 | 5000 71 46 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 455 0.00/0.00 o 455 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 19 1278 | 5000 71 46 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 427 0.00/0.00 o 427 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 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.021996 s Remaining CPU time: 179.978 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.02 c =============================================================================== 0.00/0.02 c New solution: 94 0.00/0.02 o 94 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 232 | 120 32 2318 | 5000 232 42 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 76 0.00/0.03 o 76 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.03 c =============================================================================== 0.00/0.03 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.041993 s Remaining CPU time: 179.958 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.05 c =============================================================================== 0.00/0.05 c New solution: 48 0.00/0.05 o 48 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 515 | 100 35 2558 | 5000 415 40 | 16.674 % | 0.06/0.06 c | 617 | 100 35 2558 | 5500 517 40 | 16.674 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: 42 0.06/0.07 o 42 0.06/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 715 | 100 36 2638 | 5000 615 40 | 16.674 % | 0.06/0.08 c | 815 | 100 36 2638 | 5500 608 38 | 16.674 % | 0.06/0.09 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.106983 s Remaining CPU time: 179.893 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.13 c | 1341 | 100 37 2718 | 6050 1134 38 | 16.674 % | 0.09/0.15 c | 1566 | 100 37 2718 | 6655 1359 38 | 16.674 % | 0.09/0.19 c | 1903 | 100 37 2718 | 7320 1696 38 | 16.674 % | 0.19/0.24 c | 2410 | 100 37 2718 | 8052 2203 38 | 16.674 % | 0.29/0.33 c | 3169 | 100 37 2718 | 8857 2962 37 | 16.674 % | 0.39/0.45 c | 4308 | 100 37 2718 | 9743 4101 37 | 16.674 % | 0.59/0.67 c | 6017 | 100 37 2718 | 10717 5810 37 | 16.674 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 29 0.79/0.81 o 29 0.79/0.81 c Elapsed CPU time: 0.799878 s Remaining CPU time: 179.2 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 7063 | 100 38 2798 | 5000 6856 36 | 16.674 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 26 0.79/0.83 o 26 0.79/0.83 c Elapsed CPU time: 0.824874 s Remaining CPU time: 179.175 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 7107 | 90 39 2878 | 5000 3407 36 | 16.674 % | 0.79/0.84 c | 7207 | 90 39 2878 | 5500 3507 36 | 25.007 % | 0.79/0.86 c | 7357 | 90 39 2878 | 6050 3657 36 | 25.007 % | 0.79/0.88 c | 7584 | 90 39 2878 | 6655 3884 37 | 25.007 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: 24 0.89/0.90 o 24 0.89/0.90 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 7721 | 90 40 2958 | 5000 4021 37 | 25.007 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: 16 0.89/0.90 o 16 0.89/0.90 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 7747 | 90 41 3038 | 5000 4047 37 | 25.007 % | 0.89/0.92 c | 7847 | 89 41 3038 | 5500 4147 37 | 33.340 % | 0.89/0.93 c | 7998 | 88 41 3038 | 6050 4298 37 | 33.340 % | 0.89/0.95 c | 8224 | 88 41 3038 | 6655 4524 38 | 33.340 % | 0.89/0.99 c | 8562 | 82 41 3038 | 7320 4862 38 | 33.340 % | 1.00/1.04 c | 9068 | 82 41 3038 | 8052 5368 39 | 33.340 % | 1.10/1.13 c | 9827 | 82 41 3038 | 8857 6127 40 | 33.340 % | 1.19/1.28 c | 10966 | 80 41 3038 | 9743 7266 42 | 33.340 % | 1.49/1.51 c | 12674 | 80 41 3038 | 10717 8974 42 | 33.340 % | 1.79/1.89 c | 15236 | 80 41 3038 | 11789 6144 46 | 33.340 % | 2.29/2.39 c | 19080 | 80 41 3038 | 12968 9988 47 | 33.340 % | 2.59/2.63 c =============================================================================== 2.59/2.63 c New solution: 15 2.59/2.63 o 15 2.59/2.63 c Elapsed CPU time: 2.58961 s Remaining CPU time: 177.41 s 2.59/2.63 c =============================================================================== 2.59/2.63 c | 20588 | 80 42 3118 | 5000 11496 47 | 33.340 % | 2.59/2.69 c | 20688 | 80 42 3118 | 5500 2974 48 | 33.340 % | 2.69/2.71 c | 20838 | 80 42 3118 | 6050 3124 48 | 33.340 % | 2.69/2.73 c | 21063 | 80 42 3118 | 6655 3349 48 | 33.340 % | 2.69/2.76 c | 21401 | 80 42 3118 | 7320 3687 48 | 33.340 % | 2.79/2.81 c | 21907 | 80 42 3118 | 8052 4193 49 | 33.340 % | 2.79/2.89 c | 22666 | 80 42 3118 | 8857 4952 49 | 33.340 % | 2.99/3.00 c | 23805 | 80 42 3118 | 9743 6091 49 | 33.340 % | 3.09/3.19 c | 25514 | 80 42 3118 | 10717 7800 49 | 33.340 % | 3.49/3.53 c | 28077 | 80 42 3118 | 11789 10363 49 | 33.340 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c New solution: 14 3.99/4.02 o 14 3.99/4.02 c Elapsed CPU time: 3.9484 s Remaining CPU time: 176.052 s 3.99/4.02 c =============================================================================== 3.99/4.02 c | 31226 | 80 43 3198 | 5000 7587 50 | 33.340 % | 3.99/4.05 c | 31326 | 80 43 3198 | 5500 3894 51 | 33.340 % | 3.99/4.06 c | 31477 | 80 43 3198 | 6050 4045 51 | 33.340 % | 3.99/4.09 c | 31702 | 80 43 3198 | 6655 4270 51 | 33.340 % | 4.09/4.12 c | 32040 | 80 43 3198 | 7320 4608 50 | 33.340 % | 4.09/4.15 c =============================================================================== 4.09/4.15 c New solution: 10 4.09/4.15 o 10 4.09/4.15 c Elapsed CPU time: 4.07938 s Remaining CPU time: 175.921 s 4.09/4.15 c =============================================================================== 4.09/4.15 c | 32292 | 80 44 3278 | 5000 4860 50 | 33.340 % | 4.09/4.16 c | 32393 | 80 44 3278 | 5500 4961 50 | 33.340 % | 4.09/4.18 c | 32544 | 80 44 3278 | 6050 5112 50 | 33.340 % | 4.09/4.19 c =============================================================================== 4.09/4.19 c New solution: 9 4.09/4.19 o 9 4.09/4.19 c Elapsed CPU time: 4.11337 s Remaining CPU time: 175.887 s 4.09/4.19 c =============================================================================== 4.09/4.19 c | 32606 | 80 45 3358 | 5000 5174 50 | 33.340 % | 4.19/4.21 c | 32706 | 80 45 3358 | 5500 2687 50 | 33.340 % | 4.19/4.22 c | 32856 | 80 45 3358 | 6050 2837 50 | 33.340 % | 4.19/4.24 c | 33081 | 80 45 3358 | 6655 3062 49 | 33.340 % | 4.19/4.27 c | 33418 | 80 45 3358 | 7320 3399 49 | 33.340 % | 4.30/4.32 c | 33924 | 80 45 3358 | 8052 3905 49 | 33.340 % | 4.30/4.40 c | 34684 | 80 45 3358 | 8857 4665 50 | 33.340 % | 4.49/4.53 c | 35824 | 80 45 3358 | 9743 5805 50 | 33.340 % | 4.69/4.74 c | 37532 | 80 45 3358 | 10717 7513 50 | 33.340 % | 4.99/5.09 c | 40094 | 80 45 3358 | 11789 10075 50 | 33.340 % | 5.59/5.66 c | 43938 | 80 45 3358 | 12968 7989 49 | 33.340 % | 6.60/6.66 c | 49704 | 80 45 3358 | 14265 7241 48 | 33.340 % | 8.19/8.21 c | 58353 | 80 45 3358 | 15692 8725 49 | 33.340 % | 10.49/10.55 c | 71329 | 80 45 3358 | 17261 13821 51 | 33.340 % | 14.49/14.55 c | 90790 | 80 45 3358 | 18987 15951 50 | 33.340 % | 18.38/18.42 c =============================================================================== 18.38/18.42 c New solution: 6 18.38/18.42 o 6 18.38/18.42 c Elapsed CPU time: 18.1602 s Remaining CPU time: 161.84 s 18.38/18.42 c =============================================================================== 18.38/18.42 c | 107990 | 80 46 3438 | 5000 14091 49 | 33.340 % | 18.48/18.52 c | 108090 | 70 46 3438 | 5500 3612 50 | 41.674 % | 18.48/18.53 c | 108241 | 70 46 3438 | 6050 3763 49 | 41.674 % | 18.48/18.56 c | 108466 | 70 46 3438 | 6655 3988 49 | 41.674 % | 18.59/18.60 c | 108803 | 70 46 3438 | 7320 4325 49 | 41.674 % | 18.59/18.66 c | 109309 | 70 46 3438 | 8052 4831 50 | 41.674 % | 18.70/18.75 c | 110068 | 70 46 3438 | 8857 5590 50 | 41.674 % | 18.89/18.90 c | 111207 | 70 46 3438 | 9743 6729 50 | 41.674 % | 19.08/19.12 c | 112915 | 70 46 3438 | 10717 8437 49 | 41.674 % | 19.49/19.55 c | 115477 | 70 46 3438 | 11789 5603 46 | 41.674 % | 19.99/20.07 c | 119321 | 70 46 3438 | 12968 9447 45 | 41.674 % | 20.90/20.94 c | 125087 | 70 46 3438 | 14265 8689 44 | 41.674 % | 22.18/22.29 c | 133736 | 70 46 3438 | 15692 10166 44 | 41.674 % | 24.38/24.47 c | 146710 | 70 46 3438 | 17261 15253 46 | 41.674 % | 28.59/28.67 c | 166171 | 70 46 3438 | 18987 8706 50 | 41.674 % | 34.98/35.06 c | 195363 | 70 46 3438 | 20886 18831 47 | 41.674 % | 44.47/44.54 c =============================================================================== 44.47/44.54 c New solution: 5 44.47/44.54 o 5 44.47/44.54 c Elapsed CPU time: 43.9833 s Remaining CPU time: 136.017 s 44.47/44.54 c =============================================================================== 44.47/44.54 c | 234203 | 70 47 3518 | 5000 15747 49 | 41.674 % | 44.58/44.65 c | 234303 | 70 47 3518 | 5500 4037 50 | 41.674 % | 44.58/44.67 c | 234453 | 70 47 3518 | 6050 4187 50 | 41.674 % | 44.58/44.69 c | 234679 | 70 47 3518 | 6655 4413 50 | 41.674 % | 44.68/44.72 c | 235016 | 70 47 3518 | 7320 4750 49 | 41.674 % | 44.68/44.78 c | 235522 | 70 47 3518 | 8052 5256 49 | 41.674 % | 44.78/44.87 c | 236281 | 70 47 3518 | 8857 6015 48 | 41.674 % | 44.98/45.01 c | 237420 | 70 47 3518 | 9743 7154 48 | 41.674 % | 45.17/45.23 c | 239128 | 70 47 3518 | 10717 8862 49 | 41.674 % | 45.58/45.61 c | 241690 | 70 47 3518 | 11789 6017 52 | 41.674 % | 46.08/46.15 c | 245536 | 70 47 3518 | 12968 9863 51 | 41.674 % | 46.98/47.05 c | 251303 | 70 47 3518 | 14265 9106 49 | 41.674 % | 48.38/48.43 c | 259952 | 70 47 3518 | 15692 10584 47 | 41.674 % | 50.77/50.82 c | 272926 | 70 47 3518 | 17261 15673 49 | 41.674 % | 54.47/54.51 c | 292387 | 70 47 3518 | 18987 9125 47 | 41.674 % | 60.77/60.80 c | 321579 | 70 47 3518 | 20886 9724 46 | 41.674 % | 70.58/70.64 c | 365368 | 70 47 3518 | 22974 11584 47 | 41.674 % | 88.06/88.10 c | 431053 | 70 47 3518 | 25272 16265 52 | 41.674 % | 116.16/116.21 c | 529579 | 70 47 3518 | 27799 13324 47 | 41.674 % | 162.66/162.79 c | 677369 | 70 47 3518 | 30579 25942 51 | 41.674 % | 181.94/182.00 c There are 50 assigned variables. 50 in cost function. 182.45/182.52 c ============================[ Search Statistics ]============================== 182.45/182.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.52 c =============================================================================== 182.45/182.52 c | 0 | 40 105 458 | 5000 0 nan | 0.000 % | 182.45/182.54 c | 100 | 40 105 458 | 5500 100 40 | 66.674 % | 182.45/182.55 c | 252 | 40 105 458 | 6050 252 38 | 66.674 % | 182.45/182.57 c | 478 | 40 105 458 | 6655 478 40 | 66.674 % | 182.55/182.62 c | 815 | 40 105 458 | 7320 815 40 | 66.674 % | 182.64/182.70 c | 1321 | 40 105 458 | 8052 1321 39 | 66.674 % | 182.64/182.76 c | 2081 | 40 105 458 | 8857 2081 39 | 66.674 % | 182.74/182.86 c | 3220 | 40 105 458 | 9743 3220 40 | 66.674 % | 182.95/183.03 c | 4928 | 40 105 458 | 10717 4928 40 | 66.674 % | 183.24/183.34 c | 7490 | 40 105 458 | 11789 7490 39 | 66.674 % | 183.74/183.87 c | 11335 | 40 105 458 | 12968 11335 39 | 66.674 % | 184.75/184.82 c | 17101 | 40 105 458 | 14265 10563 39 | 66.674 % | 186.04/186.18 c | 25754 | 40 105 458 | 15692 12029 41 | 66.674 % | 188.64/188.70 c | 38728 | 40 105 458 | 17261 9202 41 | 66.674 % | 192.24/192.35 c | 58190 | 40 105 458 | 18987 11298 41 | 66.674 % | 198.14/198.22 c | 87383 | 40 105 458 | 20886 11857 41 | 66.674 % | 208.23/208.36 c | 131173 | 40 105 458 | 22974 13664 40 | 66.674 % | 224.34/224.44 c | 196857 | 40 105 458 | 25272 17655 42 | 66.674 % | 251.32/251.43 c | 295383 | 40 105 458 | 27799 14380 43 | 66.674 % | 300.91/301.03 c | 443172 | 40 105 458 | 30579 26354 44 | 66.674 % | 381.19/381.39 c | 664855 | 40 105 458 | 33637 12188 42 | 66.674 % | 515.06/515.28 c | 997380 | 40 105 458 | 37001 27983 42 | 66.674 % | 738.10/738.36 c | 1496169 | 40 105 458 | 40701 34809 42 | 66.674 % | 1116.51/1116.86 c | 2244351 | 40 105 458 | 44771 16051 39 | 66.674 % | 1713.36/1713.85 c | 3366625 | 40 105 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-2656059-1276615887/watcher-2656059-1276615887 -o /tmp/evaluation-result-2656059-1276615887/solver-2656059-1276615887 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656059-1276615887.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.99 3/105 10230 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=2572 CPUtime=0 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 278 0 0 0 0 0 0 0 25 0 1 0 2882508 2633728 195 1992294400 134512640 135751879 4293592992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 643 195 146 303 0 338 0 [startup+0.0649929 s] /proc/loadavg: 0.99 0.98 0.99 3/105 10230 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=2704 CPUtime=0.06 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 327 0 0 0 6 0 0 0 18 0 1 0 2882508 2768896 244 1992294400 134512640 135751879 4293592992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 676 244 147 303 0 371 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2704 [startup+0.100994 s] /proc/loadavg: 0.99 0.98 0.99 3/105 10230 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=2836 CPUtime=0.09 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 354 0 0 0 9 0 0 0 18 0 1 0 2882508 2904064 271 1992294400 134512640 135751879 4293592992 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 709 271 147 303 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2836 [startup+0.301014 s] /proc/loadavg: 0.99 0.98 0.99 3/105 10230 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=3356 CPUtime=0.29 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 488 0 0 0 29 0 0 0 18 0 1 0 2882508 3436544 405 1992294400 134512640 135751879 4293592992 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 839 405 147 303 0 534 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3356 [startup+0.701053 s] /proc/loadavg: 0.99 0.98 0.99 3/105 10230 /proc/meminfo: memFree=1778244/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=4284 CPUtime=0.69 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 706 0 0 0 69 0 0 0 18 0 1 0 2882508 4386816 623 1992294400 134512640 135751879 4293592992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 1071 623 147 303 0 766 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4284 [startup+1.50113 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10231 /proc/meminfo: memFree=1775632/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=5996 CPUtime=1.49 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 1136 0 0 0 147 2 0 0 19 0 1 0 2882508 6139904 1053 1992294400 134512640 135751879 4293592992 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 1499 1053 148 303 0 1194 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5996 [startup+3.10129 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10231 /proc/meminfo: memFree=1773152/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=9292 CPUtime=3.09 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 1966 0 0 0 304 5 0 0 25 0 1 0 2882508 9515008 1883 1992294400 134512640 135751879 4293592992 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 2323 1883 148 303 0 2018 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9292 [startup+6.30161 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10231 /proc/meminfo: memFree=1766084/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=15608 CPUtime=6.29 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 3557 0 0 0 620 9 0 0 20 0 1 0 2882508 15982592 3474 1992294400 134512640 135751879 4293592992 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 3902 3474 148 303 0 3597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15608 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10231 /proc/meminfo: memFree=1755676/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=25340 CPUtime=12.69 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 5980 0 0 0 1252 17 0 0 25 0 1 0 2882508 25948160 5897 1992294400 134512640 135751879 4293592992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 6335 5897 148 303 0 6030 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25340 [startup+25.5015 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10231 /proc/meminfo: memFree=1736704/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=43800 CPUtime=25.49 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 10579 0 0 0 2515 34 0 0 25 0 1 0 2882508 44851200 10496 1992294400 134512640 135751879 4293592992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 10950 10496 148 303 0 10645 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43800 [startup+51.1021 s] /proc/loadavg: 0.99 0.98 0.99 2/106 10233 /proc/meminfo: memFree=1703844/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=76572 CPUtime=51.08 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 18765 0 0 0 5043 65 0 0 25 0 1 0 2882508 78409728 18682 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 19143 18682 148 303 0 18838 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 76572 [startup+102.309 s] /proc/loadavg: 1.07 1.00 1.00 2/106 10236 /proc/meminfo: memFree=1647912/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=131436 CPUtime=102.27 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 32487 0 0 0 10109 118 0 0 25 0 1 0 2882508 134590464 32404 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 32859 32404 148 303 0 32554 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 131436 [startup+162.301 s] /proc/loadavg: 1.02 1.00 1.00 2/106 10238 /proc/meminfo: memFree=1594724/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=185076 CPUtime=162.25 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 45879 0 0 0 16049 176 0 0 25 0 1 0 2882508 189517824 45796 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 46269 45796 148 303 0 45964 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 185076 [startup+222.302 s] /proc/loadavg: 1.01 1.00 1.00 2/106 10240 /proc/meminfo: memFree=1551448/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=227712 CPUtime=222.23 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 56593 0 0 0 21983 240 0 0 25 0 1 0 2882508 233177088 56480 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 56928 56480 150 303 0 56623 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 227712 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10242 /proc/meminfo: memFree=1512512/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=266932 CPUtime=282.22 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 66366 0 0 0 27926 296 0 0 25 0 1 0 2882508 273338368 66253 1992294400 134512640 135751879 4293592992 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 66733 66253 150 303 0 66428 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 266932 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10242 /proc/meminfo: memFree=1479776/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=299408 CPUtime=342.21 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 74468 0 0 0 33878 343 0 0 25 0 1 0 2882508 306593792 74355 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 74852 74355 150 303 0 74547 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 299408 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10244 /proc/meminfo: memFree=1448652/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=330896 CPUtime=402.19 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 82349 0 0 0 39831 388 0 0 25 0 1 0 2882508 338837504 82236 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 82724 82236 150 303 0 82419 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 330896 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10246 /proc/meminfo: memFree=1412816/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=365952 CPUtime=462.17 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 91117 0 0 0 45788 429 0 0 25 0 1 0 2882508 374734848 91004 1992294400 134512640 135751879 4293592992 18446744073709551615 134616453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 91488 91004 150 303 0 91183 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 365952 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10248 /proc/meminfo: memFree=1378468/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=401196 CPUtime=522.16 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 99905 0 0 0 51742 474 0 0 25 0 1 0 2882508 410824704 99792 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 100299 99792 150 303 0 99994 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 401196 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10250 /proc/meminfo: memFree=1345484/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=433216 CPUtime=582.14 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 107931 0 0 0 57699 515 0 0 25 0 1 0 2882508 443613184 107818 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 108304 107818 150 303 0 107999 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 433216 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10250 /proc/meminfo: memFree=1312624/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=465696 CPUtime=642.13 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 116047 0 0 0 63661 552 0 0 25 0 1 0 2882508 476872704 115934 1992294400 134512640 135751879 4293592992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 116424 115934 150 303 0 116119 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 465696 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10258 /proc/meminfo: memFree=1192096/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=586132 CPUtime=882.07 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 146121 0 0 0 87505 702 0 0 25 0 1 0 2882508 600199168 146008 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 146533 146008 150 303 0 146228 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 586132 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10258 /proc/meminfo: memFree=1165188/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=613104 CPUtime=942.05 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 152885 0 0 0 93469 736 0 0 25 0 1 0 2882508 627818496 152772 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 153276 152772 150 303 0 152971 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 613104 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10260 /proc/meminfo: memFree=1141008/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=637128 CPUtime=1002.04 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 158881 0 0 0 99436 768 0 0 25 0 1 0 2882508 652419072 158768 1992294400 134512640 135751879 4293592992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 159282 158768 150 303 0 158977 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 637128 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10262 /proc/meminfo: memFree=1112364/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=666672 CPUtime=1062.02 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 166271 0 0 0 105397 805 0 0 25 0 1 0 2882508 682672128 166158 1992294400 134512640 135751879 4293592992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 166668 166158 150 303 0 166363 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 666672 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10264 /proc/meminfo: memFree=1080372/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=697560 CPUtime=1122 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 174006 0 0 0 111360 840 0 0 25 0 1 0 2882508 714301440 173893 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 174390 173893 150 303 0 174085 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 697560 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10266 /proc/meminfo: memFree=1051604/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=726936 CPUtime=1181.99 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 181315 0 0 0 117319 880 0 0 25 0 1 0 2882508 744382464 181202 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 181734 181202 150 303 0 181429 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 726936 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10266 /proc/meminfo: memFree=1019116/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=758616 CPUtime=1241.97 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 189252 0 0 0 123279 918 0 0 25 0 1 0 2882508 776822784 189139 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 189654 189139 150 303 0 189349 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 758616 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10268 /proc/meminfo: memFree=992828/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=784644 CPUtime=1301.97 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 195755 0 0 0 129245 952 0 0 25 0 1 0 2882508 803475456 195642 1992294400 134512640 135751879 4293592992 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 196161 195642 150 303 0 195856 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 784644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10270 /proc/meminfo: memFree=967656/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=809724 CPUtime=1361.95 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 202024 0 0 0 135208 987 0 0 25 0 1 0 2882508 829157376 201911 1992294400 134512640 135751879 4293592992 18446744073709551615 134602930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 202431 201911 150 303 0 202126 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 809724 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10272 /proc/meminfo: memFree=940996/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=836388 CPUtime=1421.93 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 208682 0 0 0 141167 1026 0 0 25 0 1 0 2882508 856461312 208569 1992294400 134512640 135751879 4293592992 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 209097 208569 150 303 0 208792 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 836388 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10274 /proc/meminfo: memFree=914956/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=862672 CPUtime=1481.92 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 215259 0 0 0 147133 1059 0 0 25 0 1 0 2882508 883376128 215146 1992294400 134512640 135751879 4293592992 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 215668 215146 150 303 0 215363 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 862672 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10274 /proc/meminfo: memFree=890156/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=887356 CPUtime=1541.89 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 221405 0 0 0 153095 1094 0 0 25 0 1 0 2882508 908652544 221292 1992294400 134512640 135751879 4293592992 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 221839 221292 150 303 0 221534 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 887356 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10276 /proc/meminfo: memFree=865728/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=911776 CPUtime=1601.88 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 227517 0 0 0 159058 1130 0 0 25 0 1 0 2882508 933658624 227404 1992294400 134512640 135751879 4293592992 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 227944 227404 150 303 0 227639 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 911776 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10278 /proc/meminfo: memFree=840928/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=936328 CPUtime=1661.86 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 233657 0 0 0 165025 1161 0 0 25 0 1 0 2882508 958799872 233544 1992294400 134512640 135751879 4293592992 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 234082 233544 150 303 0 233777 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 936328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10280 /proc/meminfo: memFree=816376/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=961012 CPUtime=1721.85 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 239818 0 0 0 170989 1196 0 0 25 0 1 0 2882508 984076288 239705 1992294400 134512640 135751879 4293592992 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 240253 239705 150 303 0 239948 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 961012 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10291 /proc/meminfo: memFree=793048/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=983992 CPUtime=1781.82 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 245562 0 0 0 176954 1228 0 0 25 0 1 0 2882508 1007607808 245449 1992294400 134512640 135751879 4293592992 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 245998 245449 150 303 0 245693 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 983992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10291 /proc/meminfo: memFree=786988/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=989752 CPUtime=1800.02 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 247010 0 0 0 178766 1236 0 0 25 0 1 0 2882508 1013506048 246897 1992294400 134512640 135751879 4293592992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 247438 246897 150 303 0 247133 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 989752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 10291 /proc/meminfo: memFree=786988/2059040 swapFree=4192956/4192956 [pid=10230] ppid=10228 vsize=989752 CPUtime=1800.02 /proc/10230/stat : 10230 (wbo1.4b) R 10228 10230 10130 0 -1 4202496 247010 0 0 0 178766 1236 0 0 25 0 1 0 2882508 1013506048 246897 1992294400 134512640 135751879 4293592992 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10230/statm: 247438 246897 150 303 0 247133 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 989752 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.59 CPU time (s): 1800.11 CPU user time (s): 1787.66 CPU system time (s): 12.4491 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 989752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.66 system time used= 12.4491 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 247010 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= 7 involuntary context switches= 1662 runsolver used 3.15452 second user time and 8.33473 second system time The end
Begin job on node084 at 2010-06-15 17:31:27 IDJOB=2656059 IDBENCH=2923 IDSOLVER=1161 FILE ID=node084/2656059-1276615887 PBS_JOBID= 11172295 Free space on /tmp= 62512 MiB SOLVER NAME= wbo 1.4b 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-2656059-1276615887/watcher-2656059-1276615887 -o /tmp/evaluation-result-2656059-1276615887/solver-2656059-1276615887 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656059-1276615887.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED=1066082570 node084.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.229 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.45 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.229 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1778772 kB Buffers: 35580 kB Cached: 121688 kB SwapCached: 0 kB Active: 107184 kB Inactive: 109672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1778772 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2620 kB Writeback: 0 kB AnonPages: 59616 kB Mapped: 15592 kB Slab: 41692 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181352 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= 62508 MiB End job on node084 at 2010-06-15 18:01:29