Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.19 | 1800.6 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680704-1277457937.opb. 0.00/0.00 c Instance file HOME/instance-2680704-1277457937.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.001999 s Remaining CPU time: 179.998 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.002999 s Remaining CPU time: 179.997 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.003999 s Remaining CPU time: 179.996 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.004999 s Remaining CPU time: 179.995 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.004999 s Remaining CPU time: 179.995 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.005999 s Remaining CPU time: 179.994 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.005999 s Remaining CPU time: 179.994 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.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 36 | 120 19 1274 | 5000 36 49 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 376 0.00/0.00 o 376 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 | 41 | 120 20 1354 | 5000 41 49 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 216 0.00/0.00 o 216 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 | 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.02 c =============================================================================== 0.00/0.02 c New solution: 162 0.00/0.02 o 162 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.02 c =============================================================================== 0.00/0.02 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.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 155 0.02/0.03 o 155 0.02/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 364 | 120 25 1754 | 5000 364 36 | 0.007 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 119 0.02/0.04 o 119 0.02/0.04 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 402 | 120 26 1834 | 5000 402 37 | 0.007 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 115 0.02/0.04 o 115 0.02/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 419 | 110 27 1914 | 5000 349 36 | 0.007 % | 0.02/0.05 c | 519 | 110 27 1914 | 5500 449 37 | 8.340 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 107 0.02/0.05 o 107 0.02/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 524 | 110 28 1994 | 5000 454 37 | 8.340 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 96 0.02/0.05 o 96 0.02/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 594 | 110 29 2074 | 5000 524 37 | 8.340 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 57 0.02/0.06 o 57 0.02/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 656 | 110 30 2154 | 5000 586 37 | 8.340 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 55 0.02/0.06 o 55 0.02/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 658 | 100 31 2234 | 5000 588 37 | 8.340 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 53 0.02/0.06 o 53 0.02/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 676 | 100 32 2314 | 5000 606 38 | 8.340 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: 51 0.02/0.07 o 51 0.02/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 694 | 100 33 2394 | 5000 624 39 | 8.340 % | 0.02/0.08 c | 795 | 100 33 2394 | 5500 725 39 | 16.674 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c New solution: 48 0.02/0.08 o 48 0.02/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.02/0.08 c =============================================================================== 0.02/0.08 c | 849 | 100 34 2474 | 5000 779 39 | 16.674 % | 0.02/0.09 c | 950 | 100 34 2474 | 5500 880 39 | 16.674 % | 0.09/0.10 c | 1101 | 100 34 2474 | 6050 1031 39 | 16.674 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 38 0.09/0.12 o 38 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 1307 | 100 35 2554 | 5000 1237 38 | 16.674 % | 0.09/0.13 c | 1409 | 100 35 2554 | 5500 1103 38 | 16.674 % | 0.09/0.15 c | 1559 | 100 35 2554 | 6050 1253 38 | 16.674 % | 0.09/0.17 c | 1784 | 100 35 2554 | 6655 1478 38 | 16.674 % | 0.19/0.20 c | 2121 | 100 35 2554 | 7320 1815 38 | 16.674 % | 0.19/0.25 c | 2627 | 100 35 2554 | 8052 2321 38 | 16.674 % | 0.29/0.33 c | 3386 | 100 35 2554 | 8857 3080 38 | 16.674 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 35 0.29/0.37 o 35 0.29/0.37 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 3695 | 100 36 2634 | 5000 3389 38 | 16.674 % | 0.29/0.38 c | 3795 | 100 36 2634 | 5500 3489 38 | 16.674 % | 0.39/0.40 c | 3947 | 100 36 2634 | 6050 3641 37 | 16.674 % | 0.39/0.43 c | 4174 | 100 36 2634 | 6655 3868 37 | 16.674 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 34 0.39/0.44 o 34 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 4297 | 100 37 2714 | 5000 3991 37 | 16.674 % | 0.39/0.45 c | 4398 | 100 37 2714 | 5500 4092 37 | 16.674 % | 0.39/0.47 c | 4548 | 100 37 2714 | 6050 4242 37 | 16.674 % | 0.49/0.50 c | 4774 | 100 37 2714 | 6655 4468 37 | 16.674 % | 0.49/0.54 c | 5111 | 100 37 2714 | 7320 4805 38 | 16.674 % | 0.59/0.61 c | 5618 | 100 37 2714 | 8052 5312 38 | 16.674 % | 0.69/0.72 c | 6377 | 100 37 2714 | 8857 6071 38 | 16.674 % | 0.79/0.90 c | 7517 | 100 37 2714 | 9743 7211 38 | 16.674 % | 1.10/1.18 c | 9225 | 100 37 2714 | 10717 8919 37 | 16.674 % | 1.59/1.64 c | 11787 | 100 37 2714 | 11789 6097 37 | 16.674 % | 2.19/2.23 c | 15631 | 100 37 2714 | 12968 9941 37 | 16.674 % | 2.19/2.27 c =============================================================================== 2.19/2.27 c New solution: 27 2.19/2.27 o 27 2.19/2.27 c Elapsed CPU time: 2.23366 s Remaining CPU time: 177.766 s 2.19/2.27 c =============================================================================== 2.19/2.27 c | 15799 | 100 38 2794 | 5000 10109 37 | 16.674 % | 2.29/2.32 c | 15899 | 90 38 2794 | 5500 2586 38 | 25.007 % | 2.29/2.34 c | 16049 | 90 38 2794 | 6050 2736 38 | 25.007 % | 2.29/2.36 c | 16274 | 90 38 2794 | 6655 2961 39 | 25.007 % | 2.39/2.40 c | 16612 | 90 38 2794 | 7320 3299 39 | 25.007 % | 2.39/2.46 c | 17118 | 90 38 2794 | 8052 3805 40 | 25.007 % | 2.49/2.55 c | 17877 | 90 38 2794 | 8857 4564 41 | 25.007 % | 2.59/2.69 c | 19017 | 90 38 2794 | 9743 5704 41 | 25.007 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c New solution: 24 2.69/2.79 o 24 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 | 19718 | 90 39 2874 | 5000 6405 42 | 25.007 % | 2.79/2.82 c | 19818 | 90 39 2874 | 5500 3303 44 | 25.007 % | 2.79/2.83 c | 19968 | 90 39 2874 | 6050 3453 44 | 25.007 % | 2.79/2.86 c | 20193 | 90 39 2874 | 6655 3678 44 | 25.007 % | 2.89/2.90 c | 20530 | 90 39 2874 | 7320 4015 44 | 25.007 % | 2.89/2.96 c | 21036 | 90 39 2874 | 8052 4521 44 | 25.007 % | 2.89/2.97 c =============================================================================== 2.89/2.97 c New solution: 20 2.89/2.97 o 20 2.89/2.97 c Elapsed CPU time: 2.92156 s Remaining CPU time: 177.078 s 2.89/2.97 c =============================================================================== 2.89/2.97 c | 21085 | 90 40 2954 | 5000 4570 44 | 25.007 % | 2.89/2.98 c | 21185 | 90 40 2954 | 5500 4670 44 | 25.007 % | 2.99/3.00 c | 21335 | 90 40 2954 | 6050 4820 44 | 25.007 % | 2.99/3.03 c | 21560 | 90 40 2954 | 6655 5045 44 | 25.007 % | 2.99/3.07 c | 21897 | 90 40 2954 | 7320 5382 44 | 25.007 % | 3.09/3.13 c | 22403 | 90 40 2954 | 8052 5888 43 | 25.007 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c New solution: 18 3.09/3.19 o 18 3.09/3.19 c Elapsed CPU time: 3.13652 s Remaining CPU time: 176.863 s 3.09/3.19 c =============================================================================== 3.09/3.19 c | 22840 | 90 41 3034 | 5000 6325 43 | 25.007 % | 3.20/3.21 c | 22941 | 90 41 3034 | 5500 3264 42 | 25.007 % | 3.20/3.23 c | 23091 | 90 41 3034 | 6050 3414 42 | 25.007 % | 3.20/3.26 c | 23316 | 90 41 3034 | 6655 3639 42 | 25.007 % | 3.20/3.30 c | 23653 | 90 41 3034 | 7320 3976 42 | 25.007 % | 3.29/3.36 c | 24159 | 90 41 3034 | 8052 4482 42 | 25.007 % | 3.39/3.47 c | 24919 | 90 41 3034 | 8857 5242 43 | 25.007 % | 3.59/3.64 c | 26058 | 90 41 3034 | 9743 6381 43 | 25.007 % | 3.79/3.89 c | 27767 | 90 41 3034 | 10717 8090 42 | 25.007 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: 14 3.99/4.04 o 14 3.99/4.04 c Elapsed CPU time: 3.9694 s Remaining CPU time: 176.031 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 28667 | 90 42 3114 | 5000 8990 42 | 25.007 % | 3.99/4.06 c | 28767 | 80 42 3114 | 5500 4595 42 | 33.340 % | 3.99/4.08 c | 28917 | 80 42 3114 | 6050 4745 42 | 33.340 % | 4.09/4.11 c | 29142 | 80 42 3114 | 6655 4970 42 | 33.340 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c New solution: 11 4.09/4.14 o 11 4.09/4.14 c Elapsed CPU time: 4.07338 s Remaining CPU time: 175.927 s 4.09/4.14 c =============================================================================== 4.09/4.14 c | 29374 | 80 43 3194 | 5000 5202 43 | 33.340 % | 4.09/4.16 c | 29474 | 80 43 3194 | 5500 2701 43 | 33.340 % | 4.09/4.17 c | 29624 | 80 43 3194 | 6050 2851 43 | 33.340 % | 4.09/4.19 c | 29849 | 80 43 3194 | 6655 3076 43 | 33.340 % | 4.19/4.23 c | 30186 | 80 43 3194 | 7320 3413 43 | 33.340 % | 4.19/4.27 c | 30692 | 80 43 3194 | 8052 3919 43 | 33.340 % | 4.30/4.35 c | 31451 | 80 43 3194 | 8857 4678 44 | 33.340 % | 4.30/4.40 c =============================================================================== 4.30/4.40 c New solution: 3 4.30/4.40 o 3 4.30/4.40 c Elapsed CPU time: 4.32834 s Remaining CPU time: 175.672 s 4.30/4.40 c =============================================================================== 4.30/4.40 c | 31971 | 80 44 3274 | 5000 5198 43 | 33.340 % | 4.40/4.41 c | 32071 | 80 44 3274 | 5500 2699 44 | 50.007 % | 4.40/4.43 c | 32221 | 74 44 3274 | 6050 2849 45 | 50.007 % | 4.40/4.45 c | 32446 | 74 44 3274 | 6655 3074 45 | 50.007 % | 4.40/4.49 c | 32783 | 72 44 3274 | 7320 3411 46 | 50.007 % | 4.49/4.54 c | 33290 | 68 44 3274 | 8052 3918 47 | 50.007 % | 4.59/4.63 c | 34050 | 68 44 3274 | 8857 4678 48 | 50.007 % | 4.69/4.76 c | 35189 | 66 44 3274 | 9743 5817 50 | 50.007 % | 4.89/4.98 c | 36897 | 64 44 3274 | 10717 7525 51 | 50.007 % | 5.29/5.36 c | 39459 | 64 44 3274 | 11789 10087 51 | 50.007 % | 5.89/5.99 c | 43303 | 64 44 3274 | 12968 7991 54 | 50.007 % | 6.89/6.94 c | 49070 | 64 44 3274 | 14265 7232 54 | 50.007 % | 8.39/8.41 c | 57719 | 64 44 3274 | 15692 8702 54 | 50.007 % | 10.79/10.82 c | 70693 | 64 44 3274 | 17261 13786 55 | 50.007 % | 14.69/14.78 c | 90155 | 60 44 3274 | 18987 15899 54 | 50.007 % | 22.38/22.47 c | 119347 | 60 44 3274 | 20886 16480 55 | 50.007 % | 33.38/33.45 c | 163137 | 60 44 3274 | 22974 18322 55 | 50.007 % | 50.98/51.06 c | 228821 | 60 44 3274 | 25272 22419 53 | 50.007 % | 80.08/80.10 c | 327347 | 60 44 3274 | 27799 19799 58 | 50.007 % | 129.67/129.78 c | 475136 | 60 44 3274 | 30579 15274 55 | 50.007 % | 181.85/181.90 c There are 60 assigned variables. 60 in cost function. 182.25/182.32 c ============================[ Search Statistics ]============================== 182.25/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.32 c =============================================================================== 182.25/182.32 c | 0 | 40 97 434 | 5000 0 nan | 0.000 % | 182.25/182.33 c | 101 | 40 97 434 | 5500 101 33 | 66.674 % | 182.25/182.34 c | 252 | 40 97 434 | 6050 252 35 | 66.674 % | 182.25/182.36 c | 477 | 40 97 434 | 6655 477 35 | 66.674 % | 182.35/182.40 c | 814 | 40 97 434 | 7320 814 36 | 66.674 % | 182.35/182.47 c | 1321 | 40 97 434 | 8052 1321 36 | 66.674 % | 182.46/182.53 c | 2080 | 40 97 434 | 8857 2080 37 | 66.674 % | 182.56/182.64 c | 3220 | 40 97 434 | 9743 3220 37 | 66.674 % | 182.75/182.83 c | 4928 | 40 97 434 | 10717 4928 37 | 66.674 % | 183.15/183.21 c | 7490 | 40 97 434 | 11789 7490 37 | 66.674 % | 183.85/183.95 c | 11334 | 40 97 434 | 12968 11334 37 | 66.674 % | 184.95/185.10 c | 17100 | 40 97 434 | 14265 10563 37 | 66.674 % | 186.86/186.97 c | 25749 | 40 97 434 | 15692 12025 37 | 66.674 % | 189.85/189.91 c | 38724 | 40 97 434 | 17261 9200 34 | 66.674 % | 194.35/194.47 c | 58185 | 40 97 434 | 18987 11293 38 | 66.674 % | 200.84/200.97 c | 87377 | 40 97 434 | 20886 11846 38 | 66.674 % | 210.94/211.03 c | 131166 | 40 97 434 | 22974 13652 37 | 66.674 % | 228.24/228.38 c | 196850 | 40 97 434 | 25272 17640 37 | 66.674 % | 258.14/258.21 c | 295376 | 40 97 434 | 27799 14696 38 | 66.674 % | 305.12/305.28 c | 443165 | 40 97 434 | 30579 26700 37 | 66.674 % | 382.71/382.89 c | 664850 | 40 97 434 | 33637 12494 34 | 66.674 % | 512.38/512.59 c | 997375 | 40 97 434 | 37001 28341 36 | 66.674 % | 734.54/734.76 c | 1496163 | 40 97 434 | 40701 35667 36 | 66.674 % | 1124.14/1124.45 c | 2244345 | 40 97 434 | 44771 17001 38 | 66.674 % | 1770.79/1771.24 c | 3366620 | 40 97 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-2680704-1277457937/watcher-2680704-1277457937 -o /tmp/evaluation-result-2680704-1277457937/solver-2680704-1277457937 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680704-1277457937.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.00 1.00 0.96 3/106 25789 /proc/meminfo: memFree=1837312/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=2576 CPUtime=0 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 276 0 0 0 0 0 0 0 18 0 1 0 87088790 2637824 192 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 644 192 143 303 0 339 0 [startup+0.029523 s] /proc/loadavg: 1.00 1.00 0.96 3/106 25789 /proc/meminfo: memFree=1837312/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=2576 CPUtime=0.02 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 295 0 0 0 2 0 0 0 20 0 1 0 87088790 2637824 211 1992294400 134512640 135752675 4293822752 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 644 212 144 303 0 339 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2576 [startup+0.101528 s] /proc/loadavg: 1.00 1.00 0.96 3/106 25789 /proc/meminfo: memFree=1837312/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=2836 CPUtime=0.09 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 353 0 0 0 9 0 0 0 20 0 1 0 87088790 2904064 269 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 709 269 144 303 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2836 [startup+0.301542 s] /proc/loadavg: 1.00 1.00 0.96 3/106 25789 /proc/meminfo: memFree=1837312/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=3356 CPUtime=0.29 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 490 0 0 0 29 0 0 0 20 0 1 0 87088790 3436544 406 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 839 406 144 303 0 534 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3356 [startup+0.701569 s] /proc/loadavg: 1.00 1.00 0.96 3/106 25789 /proc/meminfo: memFree=1837312/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=4268 CPUtime=0.69 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 705 0 0 0 68 1 0 0 20 0 1 0 87088790 4370432 621 1992294400 134512640 135752675 4293822752 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 1067 621 144 303 0 762 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4268 [startup+1.50063 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25790 /proc/meminfo: memFree=1834700/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=5436 CPUtime=1.49 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 1019 0 0 0 147 2 0 0 23 0 1 0 87088790 5566464 935 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 1359 935 144 303 0 1054 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5436 [startup+3.10074 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25790 /proc/meminfo: memFree=1832840/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=8436 CPUtime=3.09 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 1753 0 0 0 304 5 0 0 25 0 1 0 87088790 8638464 1669 1992294400 134512640 135752675 4293822752 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 2109 1669 145 303 0 1804 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8436 [startup+6.30096 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25790 /proc/meminfo: memFree=1825896/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=14848 CPUtime=6.29 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 3367 0 0 0 618 11 0 0 25 0 1 0 87088790 15204352 3283 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 3712 3283 145 303 0 3407 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14848 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25790 /proc/meminfo: memFree=1815108/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=24980 CPUtime=12.69 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 5902 0 0 0 1249 20 0 0 25 0 1 0 87088790 25579520 5818 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 6245 5818 145 303 0 5940 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24980 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25790 /proc/meminfo: memFree=1799608/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=39732 CPUtime=25.48 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 9576 0 0 0 2513 35 0 0 25 0 1 0 87088790 40685568 9492 1992294400 134512640 135752675 4293822752 18446744073709551615 134638289 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 9933 9492 145 303 0 9628 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39732 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25790 /proc/meminfo: memFree=1771832/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=67976 CPUtime=51.08 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 16619 0 0 0 5045 63 0 0 25 0 1 0 87088790 69607424 16535 1992294400 134512640 135752675 4293822752 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 16994 16535 145 303 0 16689 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67976 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25792 /proc/meminfo: memFree=1720992/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=118000 CPUtime=102.27 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 29108 0 0 0 10113 114 0 0 25 0 1 0 87088790 120832000 29024 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 29500 29024 145 303 0 29195 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 118000 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25794 /proc/meminfo: memFree=1672012/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=167184 CPUtime=162.26 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 41388 0 0 0 16057 169 0 0 25 0 1 0 87088790 171196416 41304 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 41796 41304 145 303 0 41491 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 167184 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25796 /proc/meminfo: memFree=1638160/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=200364 CPUtime=222.25 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 49765 0 0 0 21995 230 0 0 25 0 1 0 87088790 205172736 49651 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 50091 49651 146 303 0 49786 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 200364 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25798 /proc/meminfo: memFree=1604308/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=234640 CPUtime=282.22 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 58291 0 0 0 27936 286 0 0 25 0 1 0 87088790 240271360 58177 1992294400 134512640 135752675 4293822752 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 58660 58177 146 303 0 58355 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 234640 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 25798 /proc/meminfo: memFree=1573928/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=264600 CPUtime=342.21 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 65794 0 0 0 33886 335 0 0 25 0 1 0 87088790 270950400 65680 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 66150 65680 146 303 0 65845 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 264600 [startup+402.302 s] /proc/loadavg: 1.14 1.04 0.97 2/107 25803 /proc/meminfo: memFree=1535736/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=302512 CPUtime=402.2 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 75264 0 0 0 39836 384 0 0 25 0 1 0 87088790 309772288 75150 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 75628 75150 146 303 0 75323 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 302512 [startup+462.302 s] /proc/loadavg: 1.05 1.03 0.97 2/107 25805 /proc/meminfo: memFree=1503496/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=334420 CPUtime=462.19 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 83218 0 0 0 45793 426 0 0 25 0 1 0 87088790 342446080 83104 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 83605 83104 146 303 0 83300 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 334420 [startup+522.302 s] /proc/loadavg: 1.02 1.02 0.97 2/107 25807 /proc/meminfo: memFree=1471132/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=367172 CPUtime=522.18 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 91402 0 0 0 51744 474 0 0 25 0 1 0 87088790 375984128 91288 1992294400 134512640 135752675 4293822752 18446744073709551615 134605450 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 91793 91288 146 303 0 91488 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 367172 [startup+582.301 s] /proc/loadavg: 1.00 1.02 0.97 2/107 25809 /proc/meminfo: memFree=1440752/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=397004 CPUtime=582.16 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 98848 0 0 0 57698 518 0 0 25 0 1 0 87088790 406532096 98734 1992294400 134512640 135752675 4293822752 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 99251 98734 146 303 0 98946 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 397004 [startup+642.301 s] /proc/loadavg: 1.00 1.01 0.97 2/107 25809 /proc/meminfo: memFree=1410496/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=427048 CPUtime=642.15 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 106375 0 0 0 63654 561 0 0 25 0 1 0 87088790 437297152 106261 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 106762 106261 146 303 0 106457 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 427048 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 25817 /proc/meminfo: memFree=1304104/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=533068 CPUtime=882.1 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 132897 0 0 0 87494 716 0 0 25 0 1 0 87088790 545861632 132783 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 133267 132783 146 303 0 132962 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 533068 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 25817 /proc/meminfo: memFree=1278932/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=558412 CPUtime=942.08 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 139227 0 0 0 93458 750 0 0 25 0 1 0 87088790 571813888 139113 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 139603 139113 146 303 0 139298 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 558412 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 25819 /proc/meminfo: memFree=1253264/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=583924 CPUtime=1002.06 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 145587 0 0 0 99420 786 0 0 25 0 1 0 87088790 597938176 145473 1992294400 134512640 135752675 4293822752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 145981 145473 146 303 0 145676 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 583924 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 25821 /proc/meminfo: memFree=1229084/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=608400 CPUtime=1062.05 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 151726 0 0 0 105384 821 0 0 25 0 1 0 87088790 623001600 151612 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 152100 151612 146 303 0 151795 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 608400 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 25823 /proc/meminfo: memFree=1204532/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=632424 CPUtime=1122.04 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 157715 0 0 0 111350 854 0 0 25 0 1 0 87088790 647602176 157601 1992294400 134512640 135752675 4293822752 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 158106 157601 146 303 0 157801 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 632424 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 25825 /proc/meminfo: memFree=1180972/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=656488 CPUtime=1182.02 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 163703 0 0 0 117313 889 0 0 25 0 1 0 87088790 672243712 163589 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 164122 163589 146 303 0 163817 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 656488 [startup+1242.3 s] /proc/loadavg: 1.07 1.02 0.98 2/107 25825 /proc/meminfo: memFree=1158776/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=678144 CPUtime=1242.01 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 169138 0 0 0 123280 921 0 0 25 0 1 0 87088790 694419456 169024 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 169536 169024 146 303 0 169231 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 678144 [startup+1302.3 s] /proc/loadavg: 1.08 1.03 0.98 2/107 25827 /proc/meminfo: memFree=1135588/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=701244 CPUtime=1302 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 174890 0 0 0 129244 956 0 0 25 0 1 0 87088790 718073856 174776 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 175311 174776 146 303 0 175006 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 701244 [startup+1362.3 s] /proc/loadavg: 1.09 1.04 0.99 2/107 25829 /proc/meminfo: memFree=1112648/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=724280 CPUtime=1361.98 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 180644 0 0 0 135207 991 0 0 25 0 1 0 87088790 741662720 180530 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 181070 180530 146 303 0 180765 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 724280 [startup+1422.31 s] /proc/loadavg: 1.03 1.03 0.99 2/107 25831 /proc/meminfo: memFree=1089708/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=747004 CPUtime=1421.97 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 186329 0 0 0 141172 1025 0 0 25 0 1 0 87088790 764932096 186215 1992294400 134512640 135752675 4293822752 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 186751 186215 146 303 0 186446 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 747004 [startup+1482.3 s] /proc/loadavg: 1.01 1.02 0.99 2/107 25833 /proc/meminfo: memFree=1067512/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=769248 CPUtime=1481.96 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 191885 0 0 0 147136 1060 0 0 25 0 1 0 87088790 787709952 191771 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 192312 191771 146 303 0 192007 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 769248 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 0.99 2/107 25833 /proc/meminfo: memFree=1044944/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=791572 CPUtime=1541.94 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 197469 0 0 0 153101 1093 0 0 25 0 1 0 87088790 810569728 197355 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 197893 197355 146 303 0 197588 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 791572 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 0.99 2/107 25835 /proc/meminfo: memFree=1022748/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=814540 CPUtime=1601.93 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 203217 0 0 0 159066 1127 0 0 25 0 1 0 87088790 834088960 203103 1992294400 134512640 135752675 4293822752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 203635 203103 146 303 0 203330 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 814540 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25837 /proc/meminfo: memFree=998692/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=837812 CPUtime=1661.92 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 209021 0 0 0 165030 1162 0 0 25 0 1 0 87088790 857919488 208907 1992294400 134512640 135752675 4293822752 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 209453 208907 146 303 0 209148 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 837812 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25839 /proc/meminfo: memFree=979224/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=857968 CPUtime=1721.91 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 214055 0 0 0 170998 1193 0 0 25 0 1 0 87088790 878559232 213941 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 214492 213941 146 303 0 214187 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 857968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25841 /proc/meminfo: memFree=956656/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=879616 CPUtime=1781.89 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 219490 0 0 0 176964 1225 0 0 25 0 1 0 87088790 900726784 219376 1992294400 134512640 135752675 4293822752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 219904 219376 146 303 0 219599 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 879616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/107 25841 /proc/meminfo: memFree=949464/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=886744 CPUtime=1800.09 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 221253 0 0 0 178772 1237 0 0 25 0 1 0 87088790 908025856 221139 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 221686 221139 146 303 0 221381 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 886744 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 0.99 2/107 25841 /proc/meminfo: memFree=949464/2059040 swapFree=4140168/4192956 [pid=25789] ppid=25787 vsize=886744 CPUtime=1800.09 /proc/25789/stat : 25789 (wbo1.4b) R 25787 25789 25465 0 -1 4202496 221253 0 0 0 178772 1237 0 0 25 0 1 0 87088790 908025856 221139 1992294400 134512640 135752675 4293822752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25789/statm: 221686 221139 146 303 0 221381 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 886744 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.6 CPU time (s): 1800.19 CPU user time (s): 1787.73 CPU system time (s): 12.4681 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 886744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.73 system time used= 12.4681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 221253 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= 2 involuntary context switches= 2888 runsolver used 2.87956 second user time and 8.60969 second system time The end
Begin job on node034 at 2010-06-25 11:25:37 IDJOB=2680704 IDBENCH=2899 IDSOLVER=1190 FILE ID=node034/2680704-1277457937 PBS_JOBID= 11188132 Free space on /tmp= 62436 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680704-1277457937/watcher-2680704-1277457937 -o /tmp/evaluation-result-2680704-1277457937/solver-2680704-1277457937 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680704-1277457937.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED=1779119596 node034.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.242 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.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1837840 kB Buffers: 35900 kB Cached: 83112 kB SwapCached: 5348 kB Active: 30080 kB Inactive: 101980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1837840 kB SwapTotal: 4192956 kB SwapFree: 4140168 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 11692 kB Mapped: 12100 kB Slab: 67332 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181424 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= 62432 MiB End job on node034 at 2010-06-25 11:55:40