Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.1 | 1800.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb |
MD5SUM | 455599f2e36aed56b051b7169c43fa6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1563.97 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
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 | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3997 |
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-2656061-1276599974.opb. 0.00/0.00 c Instance file HOME/instance-2656061-1276599974.opb 0.00/0.00 c File size is 5435 bytes. 0.00/0.00 c Highest Coefficient sum: 3997 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 554 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 924 0.00/0.00 o 924 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 634 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 762 0.00/0.00 o 762 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 | 16 | 120 12 714 | 5000 16 48 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 758 0.00/0.00 o 758 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 | 22 | 120 13 794 | 5000 22 50 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 754 0.00/0.00 o 754 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 | 27 | 120 14 874 | 5000 27 50 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 746 0.00/0.00 o 746 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 | 29 | 120 15 954 | 5000 29 50 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 734 0.00/0.00 o 734 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 | 31 | 120 16 1034 | 5000 31 49 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 732 0.00/0.00 o 732 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 | 36 | 120 17 1114 | 5000 36 49 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 446 0.00/0.00 o 446 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 | 36 | 120 18 1194 | 5000 36 49 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 398 0.00/0.00 o 398 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.01 c | 36 | 120 19 1274 | 5000 36 49 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 376 0.00/0.01 o 376 0.00/0.01 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 41 | 120 20 1354 | 5000 41 49 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 216 0.00/0.01 o 216 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 | 54 | 120 21 1434 | 5000 54 44 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 213 0.00/0.01 o 213 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 | 60 | 120 22 1514 | 5000 60 42 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 166 0.00/0.01 o 166 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 | 60 | 120 23 1594 | 5000 60 42 | 0.000 % | 0.00/0.01 c | 161 | 120 23 1594 | 5500 161 37 | 0.007 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 162 0.00/0.01 o 162 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 179 | 120 24 1674 | 5000 179 37 | 0.007 % | 0.00/0.02 c | 279 | 120 24 1674 | 5500 279 37 | 0.007 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 155 0.00/0.03 o 155 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 364 | 120 25 1754 | 5000 364 36 | 0.007 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 119 0.00/0.03 o 119 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 402 | 120 26 1834 | 5000 402 37 | 0.007 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 115 0.00/0.03 o 115 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 419 | 110 27 1914 | 5000 349 36 | 0.007 % | 0.04/0.04 c | 519 | 110 27 1914 | 5500 449 37 | 8.340 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c New solution: 107 0.04/0.04 o 107 0.04/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.04/0.04 c =============================================================================== 0.04/0.04 c | 524 | 110 28 1994 | 5000 454 37 | 8.340 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c New solution: 96 0.04/0.05 o 96 0.04/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.04/0.05 c =============================================================================== 0.04/0.05 c | 594 | 110 29 2074 | 5000 524 37 | 8.340 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 57 0.04/0.06 o 57 0.04/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 656 | 110 30 2154 | 5000 586 37 | 8.340 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 55 0.04/0.06 o 55 0.04/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 658 | 100 31 2234 | 5000 588 37 | 8.340 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 53 0.04/0.06 o 53 0.04/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 676 | 100 32 2314 | 5000 606 38 | 8.340 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c New solution: 51 0.04/0.06 o 51 0.04/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.04/0.06 c =============================================================================== 0.04/0.06 c | 694 | 100 33 2394 | 5000 624 39 | 8.340 % | 0.04/0.07 c | 795 | 100 33 2394 | 5500 725 39 | 16.674 % | 0.04/0.08 c =============================================================================== 0.04/0.08 c New solution: 48 0.04/0.08 o 48 0.04/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.04/0.08 c =============================================================================== 0.04/0.08 c | 849 | 100 34 2474 | 5000 779 39 | 16.674 % | 0.04/0.08 c | 950 | 100 34 2474 | 5500 880 39 | 16.674 % | 0.04/0.10 c | 1101 | 100 34 2474 | 6050 1031 39 | 16.674 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 38 0.09/0.11 o 38 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 1307 | 100 35 2554 | 5000 1237 38 | 16.674 % | 0.09/0.12 c | 1409 | 100 35 2554 | 5500 1103 38 | 16.674 % | 0.09/0.14 c | 1559 | 100 35 2554 | 6050 1253 38 | 16.674 % | 0.09/0.16 c | 1784 | 100 35 2554 | 6655 1478 38 | 16.674 % | 0.09/0.18 c | 2121 | 100 35 2554 | 7320 1815 38 | 16.674 % | 0.19/0.23 c | 2627 | 100 35 2554 | 8052 2321 38 | 16.674 % | 0.29/0.31 c | 3386 | 100 35 2554 | 8857 3080 38 | 16.674 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 35 0.29/0.34 o 35 0.29/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 3695 | 100 36 2634 | 5000 3389 38 | 16.674 % | 0.29/0.35 c | 3795 | 100 36 2634 | 5500 3489 38 | 16.674 % | 0.29/0.37 c | 3947 | 100 36 2634 | 6050 3641 37 | 16.674 % | 0.39/0.40 c | 4174 | 100 36 2634 | 6655 3868 37 | 16.674 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 34 0.39/0.41 o 34 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 4297 | 100 37 2714 | 5000 3991 37 | 16.674 % | 0.39/0.42 c | 4398 | 100 37 2714 | 5500 4092 37 | 16.674 % | 0.39/0.44 c | 4548 | 100 37 2714 | 6050 4242 37 | 16.674 % | 0.39/0.47 c | 4774 | 100 37 2714 | 6655 4468 37 | 16.674 % | 0.49/0.51 c | 5111 | 100 37 2714 | 7320 4805 38 | 16.674 % | 0.49/0.57 c | 5618 | 100 37 2714 | 8052 5312 38 | 16.674 % | 0.59/0.67 c | 6377 | 100 37 2714 | 8857 6071 38 | 16.674 % | 0.79/0.84 c | 7517 | 100 37 2714 | 9743 7211 38 | 16.674 % | 1.00/1.10 c | 9225 | 100 37 2714 | 10717 8919 37 | 16.674 % | 1.49/1.54 c | 11787 | 100 37 2714 | 11789 6097 37 | 16.674 % | 1.99/2.09 c | 15631 | 100 37 2714 | 12968 9941 37 | 16.674 % | 2.10/2.12 c =============================================================================== 2.10/2.12 c New solution: 27 2.10/2.12 o 27 2.10/2.12 c Elapsed CPU time: 2.08968 s Remaining CPU time: 177.91 s 2.10/2.12 c =============================================================================== 2.10/2.12 c | 15799 | 100 38 2794 | 5000 10109 37 | 16.674 % | 2.10/2.18 c | 15899 | 90 38 2794 | 5500 2586 38 | 25.007 % | 2.10/2.20 c | 16049 | 90 38 2794 | 6050 2736 38 | 25.007 % | 2.20/2.22 c | 16274 | 90 38 2794 | 6655 2961 39 | 25.007 % | 2.20/2.26 c | 16612 | 90 38 2794 | 7320 3299 39 | 25.007 % | 2.29/2.32 c | 17118 | 90 38 2794 | 8052 3805 40 | 25.007 % | 2.29/2.39 c | 17877 | 90 38 2794 | 8857 4564 41 | 25.007 % | 2.49/2.53 c | 19017 | 90 38 2794 | 9743 5704 41 | 25.007 % | 2.59/2.62 c =============================================================================== 2.59/2.62 c New solution: 24 2.59/2.62 o 24 2.59/2.62 c Elapsed CPU time: 2.57961 s Remaining CPU time: 177.42 s 2.59/2.62 c =============================================================================== 2.59/2.62 c | 19718 | 90 39 2874 | 5000 6405 42 | 25.007 % | 2.59/2.65 c | 19818 | 90 39 2874 | 5500 3303 44 | 25.007 % | 2.59/2.66 c | 19968 | 90 39 2874 | 6050 3453 44 | 25.007 % | 2.59/2.69 c | 20193 | 90 39 2874 | 6655 3678 44 | 25.007 % | 2.69/2.72 c | 20530 | 90 39 2874 | 7320 4015 44 | 25.007 % | 2.69/2.78 c | 21036 | 90 39 2874 | 8052 4521 44 | 25.007 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: 20 2.69/2.79 o 20 2.69/2.79 c Elapsed CPU time: 2.74558 s Remaining CPU time: 177.254 s 2.69/2.79 c =============================================================================== 2.69/2.79 c | 21085 | 90 40 2954 | 5000 4570 44 | 25.007 % | 2.79/2.80 c | 21185 | 90 40 2954 | 5500 4670 44 | 25.007 % | 2.79/2.82 c | 21335 | 90 40 2954 | 6050 4820 44 | 25.007 % | 2.79/2.84 c | 21560 | 90 40 2954 | 6655 5045 44 | 25.007 % | 2.79/2.88 c | 21897 | 90 40 2954 | 7320 5382 44 | 25.007 % | 2.88/2.94 c | 22403 | 90 40 2954 | 8052 5888 43 | 25.007 % | 2.88/2.99 c =============================================================================== 2.88/2.99 c New solution: 18 2.88/2.99 o 18 2.88/2.99 c Elapsed CPU time: 2.94455 s Remaining CPU time: 177.055 s 2.88/2.99 c =============================================================================== 2.88/2.99 c | 22840 | 90 41 3034 | 5000 6325 43 | 25.007 % | 2.99/3.02 c | 22941 | 90 41 3034 | 5500 3264 42 | 25.007 % | 2.99/3.03 c | 23091 | 90 41 3034 | 6050 3414 42 | 25.007 % | 2.99/3.06 c | 23316 | 90 41 3034 | 6655 3639 42 | 25.007 % | 3.09/3.10 c | 23653 | 90 41 3034 | 7320 3976 42 | 25.007 % | 3.09/3.16 c | 24159 | 90 41 3034 | 8052 4482 42 | 25.007 % | 3.20/3.26 c | 24919 | 90 41 3034 | 8857 5242 43 | 25.007 % | 3.39/3.41 c | 26058 | 90 41 3034 | 9743 6381 43 | 25.007 % | 3.59/3.65 c | 27767 | 90 41 3034 | 10717 8090 42 | 25.007 % | 3.69/3.79 c =============================================================================== 3.69/3.79 c New solution: 14 3.69/3.79 o 14 3.69/3.79 c Elapsed CPU time: 3.72343 s Remaining CPU time: 176.277 s 3.69/3.79 c =============================================================================== 3.69/3.79 c | 28667 | 90 42 3114 | 5000 8990 42 | 25.007 % | 3.79/3.82 c | 28767 | 80 42 3114 | 5500 4595 42 | 33.340 % | 3.79/3.84 c | 28917 | 80 42 3114 | 6050 4745 42 | 33.340 % | 3.79/3.86 c | 29142 | 80 42 3114 | 6655 4970 42 | 33.340 % | 3.79/3.89 c =============================================================================== 3.79/3.89 c New solution: 11 3.79/3.89 o 11 3.79/3.89 c Elapsed CPU time: 3.82542 s Remaining CPU time: 176.175 s 3.79/3.89 c =============================================================================== 3.79/3.89 c | 29374 | 80 43 3194 | 5000 5202 43 | 33.340 % | 3.89/3.91 c | 29474 | 80 43 3194 | 5500 2701 43 | 33.340 % | 3.89/3.93 c | 29624 | 80 43 3194 | 6050 2851 43 | 33.340 % | 3.89/3.94 c | 29849 | 80 43 3194 | 6655 3076 43 | 33.340 % | 3.89/3.97 c | 30186 | 80 43 3194 | 7320 3413 43 | 33.340 % | 3.99/4.02 c | 30692 | 80 43 3194 | 8052 3919 43 | 33.340 % | 3.99/4.09 c | 31451 | 80 43 3194 | 8857 4678 44 | 33.340 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c New solution: 3 4.09/4.14 o 3 4.09/4.14 c Elapsed CPU time: 4.06738 s Remaining CPU time: 175.933 s 4.09/4.14 c =============================================================================== 4.09/4.14 c | 31971 | 80 44 3274 | 5000 5198 43 | 33.340 % | 4.09/4.15 c | 32071 | 80 44 3274 | 5500 2699 44 | 50.007 % | 4.09/4.16 c | 32221 | 74 44 3274 | 6050 2849 45 | 50.007 % | 4.09/4.19 c | 32446 | 74 44 3274 | 6655 3074 45 | 50.007 % | 4.19/4.22 c | 32783 | 72 44 3274 | 7320 3411 46 | 50.007 % | 4.19/4.27 c | 33290 | 68 44 3274 | 8052 3918 47 | 50.007 % | 4.29/4.35 c | 34050 | 68 44 3274 | 8857 4678 48 | 50.007 % | 4.40/4.48 c | 35189 | 66 44 3274 | 9743 5817 50 | 50.007 % | 4.59/4.68 c | 36897 | 64 44 3274 | 10717 7525 51 | 50.007 % | 4.99/5.04 c | 39459 | 64 44 3274 | 11789 10087 51 | 50.007 % | 5.59/5.63 c | 43303 | 64 44 3274 | 12968 7991 54 | 50.007 % | 6.49/6.54 c | 49070 | 64 44 3274 | 14265 7232 54 | 50.007 % | 7.88/7.94 c | 57719 | 64 44 3274 | 15692 8702 54 | 50.007 % | 10.18/10.25 c | 70693 | 64 44 3274 | 17261 13786 55 | 50.007 % | 13.98/14.07 c | 90155 | 60 44 3274 | 18987 15899 54 | 50.007 % | 21.28/21.38 c | 119347 | 60 44 3274 | 20886 16480 55 | 50.007 % | 31.79/31.81 c | 163137 | 60 44 3274 | 22974 18322 55 | 50.007 % | 48.67/48.72 c | 228821 | 60 44 3274 | 25272 22419 53 | 50.007 % | 76.46/76.54 c | 327347 | 60 44 3274 | 27799 19799 58 | 50.007 % | 124.45/124.52 c | 475136 | 60 44 3274 | 30579 15274 55 | 50.007 % | 181.74/181.84 c There are 60 assigned variables. 60 in cost function. 182.14/182.26 c ============================[ Search Statistics ]============================== 182.14/182.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.26 c =============================================================================== 182.14/182.26 c | 0 | 40 98 434 | 5000 0 nan | 0.000 % | 182.14/182.27 c | 101 | 40 98 434 | 5500 101 33 | 66.674 % | 182.14/182.28 c | 252 | 40 98 434 | 6050 252 35 | 66.674 % | 182.23/182.30 c | 477 | 40 98 434 | 6655 477 35 | 66.674 % | 182.23/182.34 c | 814 | 40 98 434 | 7320 814 36 | 66.674 % | 182.33/182.41 c | 1321 | 40 98 434 | 8052 1321 36 | 66.674 % | 182.33/182.46 c | 2080 | 40 98 434 | 8857 2080 37 | 66.674 % | 182.44/182.57 c | 3220 | 40 98 434 | 9743 3220 37 | 66.674 % | 182.64/182.75 c | 4928 | 40 98 434 | 10717 4928 37 | 66.674 % | 183.03/183.11 c | 7490 | 40 98 434 | 11789 7490 37 | 66.674 % | 183.74/183.81 c | 11334 | 40 98 434 | 12968 11334 37 | 66.674 % | 184.84/184.93 c | 17100 | 40 98 434 | 14265 10563 37 | 66.674 % | 186.63/186.73 c | 25749 | 40 98 434 | 15692 12025 37 | 66.674 % | 189.53/189.63 c | 38724 | 40 98 434 | 17261 9200 34 | 66.674 % | 193.93/194.02 c | 58185 | 40 98 434 | 18987 11293 38 | 66.674 % | 199.83/199.95 c | 87377 | 40 98 434 | 20886 11846 38 | 66.674 % | 209.63/209.74 c | 131166 | 40 98 434 | 22974 13652 37 | 66.674 % | 226.02/226.17 c | 196850 | 40 98 434 | 25272 17640 37 | 66.674 % | 253.62/253.79 c | 295376 | 40 98 434 | 27799 14696 38 | 66.674 % | 297.00/297.13 c | 443165 | 40 98 434 | 30579 26700 37 | 66.674 % | 369.18/369.39 c | 664850 | 40 98 434 | 33637 12494 34 | 66.674 % | 492.06/492.21 c | 997375 | 40 98 434 | 37001 28341 36 | 66.674 % | 704.70/704.90 c | 1496163 | 40 98 434 | 40701 35667 36 | 66.674 % | 1079.30/1079.60 c | 2244345 | 40 98 434 | 44771 17001 38 | 66.674 % | 1706.04/1706.58 c | 3366620 | 40 98 434 | 49248 34753 37 | 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-2656061-1276599974/watcher-2656061-1276599974 -o /tmp/evaluation-result-2656061-1276599974/solver-2656061-1276599974 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656061-1276599974.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: 1.95 1.90 1.59 3/105 11044 /proc/meminfo: memFree=1805016/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=2572 CPUtime=0 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 281 0 0 0 0 0 0 0 25 0 1 0 1290887 2633728 197 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 643 197 146 303 0 338 0 [startup+0.0459871 s] /proc/loadavg: 1.95 1.90 1.59 3/105 11044 /proc/meminfo: memFree=1805016/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=2704 CPUtime=0.04 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 316 0 0 0 4 0 0 0 25 0 1 0 1290887 2768896 232 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 676 232 147 303 0 371 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2704 [startup+0.100994 s] /proc/loadavg: 1.95 1.90 1.59 3/105 11044 /proc/meminfo: memFree=1805016/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=2832 CPUtime=0.09 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 361 0 0 0 9 0 0 0 25 0 1 0 1290887 2899968 277 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 708 277 147 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.301015 s] /proc/loadavg: 1.95 1.90 1.59 3/105 11044 /proc/meminfo: memFree=1805016/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=3484 CPUtime=0.29 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 507 0 0 0 29 0 0 0 25 0 1 0 1290887 3567616 423 1992294400 134512640 135751879 4293762784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 871 423 147 303 0 566 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3484 [startup+0.70106 s] /proc/loadavg: 1.95 1.90 1.59 3/105 11044 /proc/meminfo: memFree=1805016/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=4264 CPUtime=0.69 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 729 0 0 0 68 1 0 0 25 0 1 0 1290887 4366336 645 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 1066 645 147 303 0 761 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4264 [startup+1.50115 s] /proc/loadavg: 1.95 1.90 1.59 2/106 11045 /proc/meminfo: memFree=1802280/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=5564 CPUtime=1.49 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 1056 0 0 0 146 3 0 0 25 0 1 0 1290887 5697536 972 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 1391 972 148 303 0 1086 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5564 [startup+3.10033 s] /proc/loadavg: 1.96 1.90 1.59 2/106 11045 /proc/meminfo: memFree=1800172/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=8816 CPUtime=3.09 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 1854 0 0 0 304 5 0 0 25 0 1 0 1290887 9027584 1770 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 2204 1770 148 303 0 1899 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8816 [startup+6.30069 s] /proc/loadavg: 1.96 1.90 1.59 2/106 11045 /proc/meminfo: memFree=1793104/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=15524 CPUtime=6.29 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 3544 0 0 0 619 10 0 0 25 0 1 0 1290887 15896576 3460 1992294400 134512640 135751879 4293762784 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 3881 3460 148 303 0 3576 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15524 [startup+12.7004 s] /proc/loadavg: 1.81 1.87 1.58 2/106 11047 /proc/meminfo: memFree=1781820/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=25944 CPUtime=12.68 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 6122 0 0 0 1250 18 0 0 25 0 1 0 1290887 26566656 6038 1992294400 134512640 135751879 4293762784 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 6486 6038 148 303 0 6181 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25944 [startup+25.5008 s] /proc/loadavg: 1.68 1.84 1.57 2/106 11047 /proc/meminfo: memFree=1766196/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=40780 CPUtime=25.48 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 9842 0 0 0 2518 30 0 0 25 0 1 0 1290887 41758720 9758 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 10195 9758 148 303 0 9890 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40780 [startup+51.1017 s] /proc/loadavg: 1.45 1.78 1.56 2/106 11047 /proc/meminfo: memFree=1736932/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=70452 CPUtime=51.07 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 17250 0 0 0 5046 61 0 0 25 0 1 0 1290887 72142848 17166 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 17613 17166 148 303 0 17308 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70452 [startup+102.308 s] /proc/loadavg: 1.22 1.66 1.53 2/106 11049 /proc/meminfo: memFree=1685224/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=121508 CPUtime=102.27 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 29985 0 0 0 10117 110 0 0 25 0 1 0 1290887 124424192 29901 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 30377 29901 148 303 0 30072 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 121508 [startup+162.301 s] /proc/loadavg: 1.11 1.55 1.50 2/106 11051 /proc/meminfo: memFree=1634384/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=172708 CPUtime=162.24 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 42771 0 0 0 16062 162 0 0 25 0 1 0 1290887 176852992 42687 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 43177 42687 148 303 0 42872 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 172708 [startup+222.302 s] /proc/loadavg: 1.15 1.48 1.47 2/106 11051 /proc/meminfo: memFree=1599168/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=207244 CPUtime=222.23 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 51476 0 0 0 22002 221 0 0 25 0 1 0 1290887 212217856 51362 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 51811 51362 150 303 0 51506 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 207244 [startup+282.301 s] /proc/loadavg: 1.13 1.40 1.45 2/106 11053 /proc/meminfo: memFree=1562712/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=243904 CPUtime=282.21 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 60603 0 0 0 27943 278 0 0 25 0 1 0 1290887 249757696 60489 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 60976 60489 150 303 0 60671 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 243904 [startup+342.301 s] /proc/loadavg: 1.11 1.34 1.42 2/106 11055 /proc/meminfo: memFree=1529604/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=276768 CPUtime=342.19 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 68833 0 0 0 33893 326 0 0 25 0 1 0 1290887 283410432 68719 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 69192 68719 150 303 0 68887 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 276768 [startup+402.302 s] /proc/loadavg: 1.10 1.29 1.40 2/106 11057 /proc/meminfo: memFree=1491660/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=314656 CPUtime=402.18 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 78312 0 0 0 39848 370 0 0 25 0 1 0 1290887 322207744 78198 1992294400 134512640 135751879 4293762784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 78664 78198 150 303 0 78359 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 314656 [startup+462.301 s] /proc/loadavg: 1.13 1.27 1.38 2/106 11059 /proc/meminfo: memFree=1457064/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=348924 CPUtime=462.16 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 86862 0 0 0 45802 414 0 0 25 0 1 0 1290887 357298176 86748 1992294400 134512640 135751879 4293762784 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 87231 86748 150 303 0 86926 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 348924 [startup+522.302 s] /proc/loadavg: 1.14 1.25 1.36 2/106 11059 /proc/meminfo: memFree=1424700/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=381964 CPUtime=522.15 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 95138 0 0 0 51757 458 0 0 25 0 1 0 1290887 391131136 95024 1992294400 134512640 135751879 4293762784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 95491 95024 150 303 0 95186 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 381964 [startup+582.301 s] /proc/loadavg: 1.05 1.20 1.34 2/106 11061 /proc/meminfo: memFree=1392708/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=413376 CPUtime=582.13 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 102959 0 0 0 57710 503 0 0 25 0 1 0 1290887 423297024 102845 1992294400 134512640 135751879 4293762784 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 103344 102845 150 303 0 103039 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 413376 [startup+642.302 s] /proc/loadavg: 1.02 1.16 1.31 2/106 11063 /proc/meminfo: memFree=1360220/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=445556 CPUtime=642.13 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 111006 0 0 0 63668 545 0 0 25 0 1 0 1290887 456249344 110892 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 111389 110892 150 303 0 111084 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 445556 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.06 1.23 2/106 11069 /proc/meminfo: memFree=1252960/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=552440 CPUtime=882.05 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 137750 0 0 0 87511 694 0 0 25 0 1 0 1290887 565698560 137636 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 138110 137636 150 303 0 137805 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 552440 [startup+942.301 s] /proc/loadavg: 1.00 1.05 1.22 2/106 11071 /proc/meminfo: memFree=1226796/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=578744 CPUtime=942.03 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 144288 0 0 0 93476 727 0 0 25 0 1 0 1290887 592633856 144174 1992294400 134512640 135751879 4293762784 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 144686 144174 150 303 0 144381 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 578744 [startup+1002.3 s] /proc/loadavg: 1.00 1.04 1.20 2/106 11073 /proc/meminfo: memFree=1200880/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=604412 CPUtime=1002.02 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 150733 0 0 0 99440 762 0 0 25 0 1 0 1290887 618917888 150619 1992294400 134512640 135751879 4293762784 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 151103 150619 150 303 0 150798 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 604412 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.18 2/106 11075 /proc/meminfo: memFree=1174840/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=630548 CPUtime=1062 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 157243 0 0 0 105407 793 0 0 25 0 1 0 1290887 645681152 157129 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 157637 157129 150 303 0 157332 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 630548 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.17 2/106 11075 /proc/meminfo: memFree=1149544/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=655932 CPUtime=1121.99 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 163578 0 0 0 111373 826 0 0 25 0 1 0 1290887 671674368 163464 1992294400 134512640 135751879 4293762784 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 163983 163464 150 303 0 163678 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 655932 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.16 2/106 11077 /proc/meminfo: memFree=1126728/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=678508 CPUtime=1181.97 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 169235 0 0 0 117338 859 0 0 25 0 1 0 1290887 694792192 169121 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 169627 169121 150 303 0 169322 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 678508 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.15 2/106 11079 /proc/meminfo: memFree=1103664/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=701080 CPUtime=1241.96 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 174888 0 0 0 123304 892 0 0 25 0 1 0 1290887 717905920 174774 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 175270 174774 150 303 0 174965 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 701080 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 2/106 11081 /proc/meminfo: memFree=1078616/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=725964 CPUtime=1301.95 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 181082 0 0 0 129269 926 0 0 25 0 1 0 1290887 743387136 180968 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 181491 180968 150 303 0 181186 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 725964 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/106 11083 /proc/meminfo: memFree=1054560/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=750140 CPUtime=1361.92 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 187139 0 0 0 135233 959 0 0 25 0 1 0 1290887 768143360 187025 1992294400 134512640 135751879 4293762784 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 187535 187025 150 303 0 187230 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 750140 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/106 11083 /proc/meminfo: memFree=1031744/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=772916 CPUtime=1421.92 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 192824 0 0 0 141202 990 0 0 25 0 1 0 1290887 791465984 192710 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 193229 192710 150 303 0 192924 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 772916 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.10 2/106 11085 /proc/meminfo: memFree=1008556/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=796160 CPUtime=1481.89 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 198628 0 0 0 147167 1022 0 0 25 0 1 0 1290887 815267840 198514 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 199040 198514 150 303 0 198735 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 796160 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/106 11087 /proc/meminfo: memFree=984376/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=820316 CPUtime=1541.88 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 204657 0 0 0 153132 1056 0 0 25 0 1 0 1290887 840003584 204543 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 205079 204543 150 303 0 204774 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 820316 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/106 11092 /proc/meminfo: memFree=960568/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=843460 CPUtime=1601.86 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 210459 0 0 0 159098 1088 0 0 25 0 1 0 1290887 863703040 210345 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 210865 210345 150 303 0 210560 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 843460 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/106 11094 /proc/meminfo: memFree=938744/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=865196 CPUtime=1661.85 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 215870 0 0 0 165066 1119 0 0 25 0 1 0 1290887 885960704 215756 1992294400 134512640 135751879 4293762784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 216299 215756 150 303 0 215994 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 865196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/106 11094 /proc/meminfo: memFree=917168/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=887372 CPUtime=1721.82 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 221423 0 0 0 171033 1149 0 0 25 0 1 0 1290887 908668928 221309 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 221843 221309 150 303 0 221538 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 887372 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.07 2/106 11096 /proc/meminfo: memFree=899312/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=904664 CPUtime=1781.81 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 225759 0 0 0 177004 1177 0 0 25 0 1 0 1290887 926375936 225645 1992294400 134512640 135751879 4293762784 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 226166 225645 150 303 0 225861 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 904664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.06 2/106 11096 /proc/meminfo: memFree=893112/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=910736 CPUtime=1800.02 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 227266 0 0 0 178814 1188 0 0 25 0 1 0 1290887 932593664 227152 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 227684 227152 150 303 0 227379 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 910736 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.06 2/106 11096 /proc/meminfo: memFree=893112/2059040 swapFree=4192956/4192956 [pid=11044] ppid=11042 vsize=910736 CPUtime=1800.02 /proc/11044/stat : 11044 (wbo1.4b) R 11042 11044 2306 0 -1 4202496 227266 0 0 0 178814 1188 0 0 25 0 1 0 1290887 932593664 227152 1992294400 134512640 135751879 4293762784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11044/statm: 227684 227152 150 303 0 227379 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 910736 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.59 CPU time (s): 1800.1 CPU user time (s): 1788.14 CPU system time (s): 11.9622 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 910736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.14 system time used= 11.9622 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 227266 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= 3 involuntary context switches= 5099 runsolver used 2.84057 second user time and 8.65068 second system time The end
Begin job on node087 at 2010-06-15 13:06:14 IDJOB=2656061 IDBENCH=2899 IDSOLVER=1161 FILE ID=node087/2656061-1276599974 PBS_JOBID= 11173547 Free space on /tmp= 62556 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_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656061-1276599974/watcher-2656061-1276599974 -o /tmp/evaluation-result-2656061-1276599974/solver-2656061-1276599974 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656061-1276599974.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED=753347459 node087.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.213 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.42 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.213 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805420 kB Buffers: 5260 kB Cached: 113724 kB SwapCached: 0 kB Active: 72900 kB Inactive: 106036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805420 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2652 kB Writeback: 0 kB AnonPages: 60004 kB Mapped: 15596 kB Slab: 52988 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180624 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= 62552 MiB End job on node087 at 2010-06-15 13:36:16