Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.14 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1790.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 66 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1273 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4329 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680701-1277457960.opb. 0.00/0.00 c Instance file HOME/instance-2680701-1277457960.opb 0.00/0.00 c File size is 7798 bytes. 0.00/0.00 c Highest Coefficient sum: 4329 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: 146 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 12 | 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 | 146 12 792 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1026 0.00/0.00 o 1026 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 | 0 | 146 13 888 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 839 0.00/0.00 o 839 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 | 43 | 146 14 984 | 5000 43 62 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 264 0.00/0.00 o 264 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 | 43 | 146 15 1080 | 5000 43 62 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 263 0.00/0.00 o 263 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 | 64 | 146 16 1176 | 5000 64 57 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 158 0.00/0.01 o 158 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 97 | 146 17 1272 | 5000 97 51 | 0.000 % | 0.00/0.01 c | 197 | 146 17 1272 | 5500 197 45 | 0.005 % | 0.00/0.03 c | 347 | 146 17 1272 | 6050 347 42 | 0.005 % | 0.00/0.05 c | 572 | 146 17 1272 | 6655 572 42 | 0.005 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 152 0.00/0.06 o 152 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 739 | 146 18 1368 | 5000 739 42 | 0.005 % | 0.00/0.07 c | 841 | 146 18 1368 | 5500 841 43 | 0.005 % | 0.00/0.09 c | 991 | 146 18 1368 | 6050 991 43 | 0.005 % | 0.09/0.11 c | 1216 | 146 18 1368 | 6655 1216 42 | 0.005 % | 0.09/0.14 c | 1553 | 146 18 1368 | 7320 1553 42 | 0.005 % | 0.09/0.19 c | 2059 | 146 18 1368 | 8052 2059 42 | 0.005 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 138 0.19/0.23 o 138 0.19/0.23 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 2445 | 146 19 1464 | 5000 2445 42 | 0.005 % | 0.19/0.24 c | 2545 | 146 19 1464 | 5500 2545 42 | 0.005 % | 0.19/0.26 c | 2695 | 146 19 1464 | 6050 2695 43 | 0.005 % | 0.19/0.29 c | 2921 | 146 19 1464 | 6655 2921 43 | 0.005 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 130 0.19/0.29 o 130 0.19/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 2969 | 146 20 1560 | 5000 2969 43 | 0.005 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 128 0.19/0.29 o 128 0.19/0.29 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 2980 | 146 21 1656 | 5000 2980 43 | 0.005 % | 0.29/0.31 c | 3081 | 134 21 1656 | 5500 2962 43 | 8.224 % | 0.29/0.33 c | 3231 | 134 21 1656 | 6050 3112 43 | 8.224 % | 0.29/0.35 c | 3457 | 134 21 1656 | 6655 3338 43 | 8.224 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 103 0.29/0.39 o 103 0.29/0.39 c Elapsed CPU time: 0.39094 s Remaining CPU time: 179.609 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 3775 | 134 22 1752 | 5000 3656 43 | 8.224 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 99 0.29/0.39 o 99 0.29/0.39 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 3776 | 134 23 1848 | 5000 3657 43 | 8.224 % | 0.39/0.41 c | 3876 | 134 23 1848 | 5500 3757 43 | 8.224 % | 0.39/0.43 c | 4026 | 134 23 1848 | 6050 3907 43 | 8.224 % | 0.39/0.46 c | 4251 | 134 23 1848 | 6655 4132 43 | 8.224 % | 0.49/0.51 c | 4589 | 134 23 1848 | 7320 4470 43 | 8.224 % | 0.49/0.57 c | 5095 | 134 23 1848 | 8052 4976 44 | 8.224 % | 0.59/0.68 c | 5854 | 134 23 1848 | 8857 5735 44 | 8.224 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 96 0.79/0.81 o 96 0.79/0.81 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 6832 | 134 24 1944 | 5000 6713 44 | 8.224 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 94 0.79/0.82 o 94 0.79/0.82 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 6834 | 134 25 2040 | 5000 3359 45 | 8.224 % | 0.79/0.84 c | 6934 | 134 25 2040 | 5500 3459 45 | 8.224 % | 0.79/0.86 c | 7087 | 134 25 2040 | 6050 3612 45 | 8.224 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 91 0.79/0.87 o 91 0.79/0.87 c Elapsed CPU time: 0.858869 s Remaining CPU time: 179.141 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 7124 | 134 26 2136 | 5000 3649 45 | 8.224 % | 0.79/0.88 c | 7224 | 134 26 2136 | 5500 3749 45 | 8.224 % | 0.89/0.90 c | 7374 | 134 26 2136 | 6050 3899 45 | 8.224 % | 0.89/0.93 c | 7599 | 134 26 2136 | 6655 4124 45 | 8.224 % | 0.89/0.98 c | 7936 | 134 26 2136 | 7320 4461 46 | 8.224 % | 1.00/1.05 c | 8442 | 134 26 2136 | 8052 4967 45 | 8.224 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: 74 1.00/1.06 o 74 1.00/1.06 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 8484 | 134 27 2232 | 5000 5009 45 | 8.224 % | 1.00/1.08 c | 8584 | 134 27 2232 | 5500 2588 45 | 8.224 % | 1.00/1.10 c | 8734 | 134 27 2232 | 6050 2738 45 | 8.224 % | 1.10/1.12 c | 8959 | 134 27 2232 | 6655 2963 45 | 8.224 % | 1.10/1.17 c | 9296 | 134 27 2232 | 7320 3300 45 | 8.224 % | 1.19/1.23 c | 9802 | 134 27 2232 | 8052 3806 44 | 8.224 % | 1.29/1.33 c | 10561 | 134 27 2232 | 8857 4565 44 | 8.224 % | 1.39/1.48 c | 11701 | 134 27 2232 | 9743 5705 44 | 8.224 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c New solution: 67 1.49/1.50 o 67 1.49/1.50 c Elapsed CPU time: 1.48177 s Remaining CPU time: 178.518 s 1.49/1.50 c =============================================================================== 1.49/1.50 c | 11879 | 134 28 2328 | 5000 5883 44 | 8.224 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c New solution: 65 1.49/1.51 o 65 1.49/1.51 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s 1.49/1.51 c =============================================================================== 1.49/1.51 c | 11880 | 134 29 2424 | 5000 2943 43 | 8.224 % | 1.49/1.53 c | 11980 | 134 29 2424 | 5500 3043 43 | 8.224 % | 1.49/1.55 c | 12130 | 134 29 2424 | 6050 3193 43 | 8.224 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c New solution: 49 1.49/1.56 o 49 1.49/1.56 c Elapsed CPU time: 1.53377 s Remaining CPU time: 178.466 s 1.49/1.56 c =============================================================================== 1.49/1.56 c | 12222 | 134 30 2520 | 5000 3285 43 | 8.224 % | 1.49/1.57 c | 12322 | 122 30 2520 | 5500 3333 43 | 16.443 % | 1.49/1.60 c | 12473 | 122 30 2520 | 6050 3484 44 | 16.443 % | 1.59/1.63 c | 12698 | 122 30 2520 | 6655 3709 44 | 16.443 % | 1.59/1.68 c | 13035 | 122 30 2520 | 7320 4046 44 | 16.443 % | 1.69/1.75 c | 13541 | 122 30 2520 | 8052 4552 44 | 16.443 % | 1.79/1.87 c | 14300 | 122 30 2520 | 8857 5311 45 | 16.443 % | 1.99/2.05 c | 15439 | 122 30 2520 | 9743 6450 45 | 16.443 % | 2.10/2.10 c =============================================================================== 2.10/2.10 c New solution: 44 2.10/2.10 o 44 2.10/2.10 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s 2.10/2.10 c =============================================================================== 2.10/2.10 c | 15741 | 122 31 2616 | 5000 6752 45 | 16.443 % | 2.10/2.12 c | 15841 | 122 31 2616 | 5500 3476 47 | 16.443 % | 2.10/2.14 c | 15991 | 122 31 2616 | 6050 3626 47 | 16.443 % | 2.10/2.17 c | 16216 | 122 31 2616 | 6655 3851 47 | 16.443 % | 2.20/2.21 c | 16553 | 122 31 2616 | 7320 4188 47 | 16.443 % | 2.20/2.27 c | 17059 | 122 31 2616 | 8052 4694 46 | 16.443 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c New solution: 35 2.29/2.35 o 35 2.29/2.35 c Elapsed CPU time: 2.31365 s Remaining CPU time: 177.686 s 2.29/2.35 c =============================================================================== 2.29/2.35 c | 17676 | 122 32 2712 | 5000 5311 46 | 16.443 % | 2.29/2.37 c | 17777 | 122 32 2712 | 5500 2757 45 | 16.443 % | 2.29/2.39 c | 17927 | 122 32 2712 | 6050 2907 45 | 16.443 % | 2.39/2.42 c | 18155 | 122 32 2712 | 6655 3135 45 | 16.443 % | 2.39/2.46 c | 18493 | 122 32 2712 | 7320 3473 45 | 16.443 % | 2.49/2.53 c | 18999 | 122 32 2712 | 8052 3979 45 | 16.443 % | 2.59/2.63 c | 19758 | 122 32 2712 | 8857 4738 45 | 16.443 % | 2.69/2.79 c | 20897 | 122 32 2712 | 9743 5877 45 | 16.443 % | 2.99/3.04 c | 22605 | 122 32 2712 | 10717 7585 45 | 16.443 % | 3.40/3.49 c | 25167 | 122 32 2712 | 11789 10147 46 | 16.443 % | 4.09/4.18 c | 29011 | 122 32 2712 | 12968 8065 47 | 16.443 % | 5.29/5.30 c | 34777 | 122 32 2712 | 14265 7316 46 | 16.443 % | 6.89/6.99 c | 43426 | 122 32 2712 | 15692 8803 47 | 16.443 % | 9.59/9.62 c | 56400 | 122 32 2712 | 17261 13901 46 | 16.443 % | 13.79/13.83 c | 75862 | 122 32 2712 | 18987 16039 45 | 16.443 % | 20.79/20.85 c | 105055 | 122 32 2712 | 20886 16659 45 | 16.443 % | 21.69/21.73 c =============================================================================== 21.69/21.73 c New solution: 31 21.69/21.73 o 31 21.69/21.73 c Elapsed CPU time: 21.4547 s Remaining CPU time: 158.545 s 21.69/21.73 c =============================================================================== 21.69/21.73 c | 108242 | 122 33 2808 | 5000 19846 45 | 16.443 % | 21.79/21.85 c | 108342 | 110 33 2808 | 5500 5031 45 | 24.662 % | 21.79/21.87 c | 108492 | 110 33 2808 | 6050 5181 45 | 24.662 % | 21.90/21.90 c | 108718 | 110 33 2808 | 6655 5407 45 | 24.662 % | 21.90/21.95 c | 109055 | 110 33 2808 | 7320 5744 46 | 24.662 % | 22.00/22.02 c | 109561 | 110 33 2808 | 8052 6250 47 | 24.662 % | 22.08/22.13 c | 110321 | 110 33 2808 | 8857 7010 47 | 24.662 % | 22.29/22.31 c | 111460 | 110 33 2808 | 9743 8149 48 | 24.662 % | 22.39/22.41 c =============================================================================== 22.39/22.41 c New solution: 30 22.39/22.41 o 30 22.39/22.41 c Elapsed CPU time: 22.1256 s Remaining CPU time: 157.874 s 22.39/22.41 c =============================================================================== 22.39/22.41 c | 111994 | 110 34 2904 | 5000 8683 49 | 24.662 % | 22.39/22.44 c | 112094 | 110 34 2904 | 5500 4442 53 | 24.662 % | 22.39/22.46 c | 112244 | 110 34 2904 | 6050 4592 53 | 24.662 % | 22.39/22.49 c | 112469 | 110 34 2904 | 6655 4817 53 | 24.662 % | 22.48/22.54 c | 112806 | 110 34 2904 | 7320 5154 53 | 24.662 % | 22.58/22.62 c | 113312 | 110 34 2904 | 8052 5660 53 | 24.662 % | 22.69/22.73 c | 114071 | 110 34 2904 | 8857 6419 53 | 24.662 % | 22.89/22.91 c | 115210 | 110 34 2904 | 9743 7558 53 | 24.662 % | 23.09/23.18 c | 116918 | 110 34 2904 | 10717 9266 53 | 24.662 % | 23.58/23.61 c | 119482 | 110 34 2904 | 11789 6438 54 | 24.662 % | 24.29/24.31 c | 123326 | 110 34 2904 | 12968 10282 53 | 24.662 % | 25.29/25.35 c | 129092 | 110 34 2904 | 14265 9526 53 | 24.662 % | 25.79/25.85 c =============================================================================== 25.79/25.85 c New solution: 28 25.79/25.85 o 28 25.79/25.85 c Elapsed CPU time: 25.5071 s Remaining CPU time: 154.493 s 25.79/25.85 c =============================================================================== 25.79/25.85 c | 131896 | 110 35 3000 | 5000 12330 53 | 24.662 % | 25.89/25.91 c | 131996 | 110 35 3000 | 5500 3183 54 | 24.662 % | 25.89/25.92 c | 132146 | 110 35 3000 | 6050 3333 54 | 24.662 % | 25.89/25.95 c | 132371 | 110 35 3000 | 6655 3558 53 | 24.662 % | 25.89/25.98 c | 132709 | 110 35 3000 | 7320 3896 53 | 24.662 % | 25.98/26.04 c | 133215 | 110 35 3000 | 8052 4402 53 | 24.662 % | 26.08/26.13 c | 133974 | 110 35 3000 | 8857 5161 53 | 24.662 % | 26.18/26.28 c | 135113 | 110 35 3000 | 9743 6300 53 | 24.662 % | 26.48/26.53 c | 136821 | 110 35 3000 | 10717 8008 52 | 24.662 % | 26.89/26.92 c | 139383 | 110 35 3000 | 11789 10570 52 | 24.662 % | 27.49/27.57 c | 143227 | 110 35 3000 | 12968 8485 53 | 24.662 % | 27.49/27.58 c =============================================================================== 27.49/27.58 c New solution: 27 27.49/27.58 o 27 27.49/27.58 c Elapsed CPU time: 27.2189 s Remaining CPU time: 152.781 s 27.49/27.58 c =============================================================================== 27.49/27.58 c | 143310 | 110 36 3096 | 5000 8568 53 | 24.662 % | 27.59/27.60 c =============================================================================== 27.59/27.60 c New solution: 25 27.59/27.60 o 25 27.59/27.60 c Elapsed CPU time: 27.2379 s Remaining CPU time: 152.762 s 27.59/27.60 c =============================================================================== 27.59/27.60 c | 143310 | 110 37 3192 | 5000 4284 53 | 24.662 % | 27.59/27.61 c | 143410 | 110 37 3192 | 5500 4384 53 | 24.662 % | 27.59/27.63 c | 143560 | 110 37 3192 | 6050 4534 53 | 24.662 % | 27.59/27.66 c | 143786 | 110 37 3192 | 6655 4760 53 | 24.662 % | 27.68/27.72 c | 144123 | 110 37 3192 | 7320 5097 53 | 24.662 % | 27.78/27.80 c | 144629 | 110 37 3192 | 8052 5603 54 | 24.662 % | 27.89/27.90 c | 145389 | 110 37 3192 | 8857 6363 54 | 24.662 % | 27.99/28.07 c | 146528 | 110 37 3192 | 9743 7502 53 | 24.662 % | 28.28/28.35 c | 148236 | 110 37 3192 | 10717 9210 53 | 24.662 % | 28.79/28.81 c | 150798 | 110 37 3192 | 11789 6375 53 | 24.662 % | 29.39/29.50 c | 154642 | 110 37 3192 | 12968 10219 53 | 24.662 % | 30.58/30.62 c | 160408 | 110 37 3192 | 14265 9463 53 | 24.662 % | 32.38/32.48 c | 169058 | 110 37 3192 | 15692 10941 53 | 24.662 % | 35.48/35.50 c | 182032 | 110 37 3192 | 17261 8150 53 | 24.662 % | 39.98/40.04 c | 201493 | 110 37 3192 | 18987 10274 53 | 24.662 % | 47.48/47.55 c | 230686 | 110 37 3192 | 20886 10876 53 | 24.662 % | 50.48/50.55 c =============================================================================== 50.48/50.55 c New solution: 22 50.48/50.55 o 22 50.48/50.55 c Elapsed CPU time: 49.8824 s Remaining CPU time: 130.118 s 50.48/50.55 c =============================================================================== 50.48/50.55 c | 241896 | 110 38 3288 | 5000 11603 55 | 24.662 % | 50.48/50.60 c | 241996 | 110 38 3288 | 5500 3001 56 | 24.662 % | 50.48/50.60 c =============================================================================== 50.48/50.60 c New solution: 20 50.48/50.60 o 20 50.48/50.60 c Elapsed CPU time: 49.9344 s Remaining CPU time: 130.066 s 50.48/50.60 c =============================================================================== 50.48/50.60 c | 242004 | 110 39 3384 | 5000 3009 56 | 24.662 % | 50.58/50.62 c | 242104 | 110 39 3384 | 5500 3109 56 | 24.662 % | 50.58/50.64 c | 242254 | 110 39 3384 | 6050 3259 56 | 24.662 % | 50.58/50.68 c | 242480 | 110 39 3384 | 6655 3485 56 | 24.662 % | 50.67/50.72 c | 242817 | 110 39 3384 | 7320 3822 56 | 24.662 % | 50.78/50.81 c | 243323 | 110 39 3384 | 8052 4328 56 | 24.662 % | 50.88/50.92 c | 244083 | 110 39 3384 | 8857 5088 56 | 24.662 % | 51.08/51.10 c | 245222 | 110 39 3384 | 9743 6227 56 | 24.662 % | 51.38/51.43 c | 246930 | 110 39 3384 | 10717 7935 57 | 24.662 % | 51.88/51.94 c | 249492 | 110 39 3384 | 11789 10497 57 | 24.662 % | 52.58/52.68 c | 253338 | 110 39 3384 | 12968 8417 56 | 24.662 % | 53.79/53.82 c | 259104 | 110 39 3384 | 14265 7664 54 | 24.662 % | 55.37/55.46 c | 267753 | 110 39 3384 | 15692 9145 51 | 24.662 % | 58.18/58.25 c | 280727 | 110 39 3384 | 17261 14233 53 | 24.662 % | 62.97/63.05 c | 300189 | 110 39 3384 | 18987 16366 54 | 24.662 % | 70.18/70.26 c | 329381 | 110 39 3384 | 20886 16972 51 | 24.662 % | 81.87/81.95 c | 373170 | 110 39 3384 | 22974 18832 51 | 24.662 % | 101.66/101.78 c | 438854 | 110 39 3384 | 25272 11307 53 | 24.662 % | 134.06/134.19 c | 537380 | 110 39 3384 | 27799 11287 54 | 24.662 % | 181.95/182.02 c There are 36 assigned variables. 36 in cost function. 182.45/182.59 c ============================[ Search Statistics ]============================== 182.45/182.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.59 c =============================================================================== 182.45/182.59 c | 0 | 50 133 720 | 5000 0 nan | 0.000 % | 182.45/182.60 c | 100 | 50 133 720 | 5500 100 61 | 65.758 % | 182.55/182.62 c | 250 | 50 133 720 | 6050 250 59 | 65.758 % | 182.55/182.64 c | 475 | 50 133 720 | 6655 475 59 | 65.758 % | 182.64/182.72 c | 812 | 50 133 720 | 7320 812 60 | 65.758 % | 182.74/182.83 c | 1318 | 50 133 720 | 8052 1318 60 | 65.758 % | 182.84/182.92 c | 2077 | 50 133 720 | 8857 2077 61 | 65.758 % | 182.94/183.08 c | 3217 | 50 133 720 | 9743 3217 60 | 65.758 % | 183.24/183.33 c | 4925 | 50 133 720 | 10717 4925 60 | 65.758 % | 183.75/183.82 c | 7487 | 50 133 720 | 11789 7487 60 | 65.758 % | 184.65/184.74 c | 11331 | 50 133 720 | 12968 11331 60 | 65.758 % | 185.95/186.01 c | 17097 | 50 133 720 | 14265 10551 60 | 65.758 % | 187.84/187.90 c | 25746 | 50 133 720 | 15692 12002 60 | 65.758 % | 190.94/191.02 c | 38720 | 50 133 720 | 17261 9150 62 | 65.758 % | 195.84/195.95 c | 58181 | 50 133 720 | 18987 11222 61 | 65.758 % | 203.34/203.41 c | 87373 | 50 133 720 | 20886 11734 60 | 65.758 % | 216.04/216.10 c | 131162 | 50 133 720 | 22974 13493 61 | 65.758 % | 237.33/237.46 c | 196847 | 50 133 720 | 25272 17354 60 | 65.758 % | 272.12/272.27 c | 295373 | 50 133 720 | 27799 13932 58 | 65.758 % | 328.50/328.65 c | 443162 | 50 133 720 | 30579 25774 60 | 65.758 % | 419.78/419.92 c | 664845 | 50 133 720 | 33637 11290 55 | 65.758 % | 551.65/551.81 c | 997370 | 50 133 720 | 37001 26769 58 | 65.758 % | 788.68/788.99 c | 1496158 | 50 133 720 | 40701 33194 59 | 65.758 % | 1196.67/1197.00 c | 2244340 | 50 133 720 | 44771 13867 60 | 65.758 % |
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-2680701-1277457960/watcher-2680701-1277457960 -o /tmp/evaluation-result-2680701-1277457960/solver-2680701-1277457960 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680701-1277457960.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 4/106 29596 /proc/meminfo: memFree=1854280/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=2568 CPUtime=0 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 121400052 2629632 195 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 642 195 143 303 0 337 0 [startup+0.095217 s] /proc/loadavg: 0.99 0.97 0.91 4/106 29596 /proc/meminfo: memFree=1854280/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=2832 CPUtime=0.09 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 349 0 0 0 9 0 0 0 20 0 1 0 121400052 2899968 266 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 708 266 144 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.101218 s] /proc/loadavg: 0.99 0.97 0.91 4/106 29596 /proc/meminfo: memFree=1854280/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=2832 CPUtime=0.09 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 356 0 0 0 9 0 0 0 20 0 1 0 121400052 2899968 273 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 708 273 144 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.301241 s] /proc/loadavg: 0.99 0.97 0.91 4/106 29596 /proc/meminfo: memFree=1854280/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=3348 CPUtime=0.29 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 500 0 0 0 29 0 0 0 20 0 1 0 121400052 3428352 417 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 837 417 144 303 0 532 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3348 [startup+0.701288 s] /proc/loadavg: 0.99 0.97 0.91 4/106 29596 /proc/meminfo: memFree=1854280/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=4260 CPUtime=0.7 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 723 0 0 0 69 1 0 0 20 0 1 0 121400052 4362240 640 1992294400 134512640 135752675 4291019920 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 1065 640 144 303 0 760 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 4260 [startup+1.50138 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29597 /proc/meminfo: memFree=1851544/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=5956 CPUtime=1.49 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 1152 0 0 0 147 2 0 0 22 0 1 0 121400052 6098944 1069 1992294400 134512640 135752675 4291019920 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 1489 1069 145 303 0 1184 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5956 [startup+3.10157 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29597 /proc/meminfo: memFree=1849064/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=9212 CPUtime=3.09 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 1944 0 0 0 304 5 0 0 25 0 1 0 121400052 9433088 1861 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 2303 1861 145 303 0 1998 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9212 [startup+6.30194 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29597 /proc/meminfo: memFree=1843236/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=14360 CPUtime=6.29 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 3219 0 0 0 620 9 0 0 25 0 1 0 121400052 14704640 3136 1992294400 134512640 135752675 4291019920 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 3590 3136 145 303 0 3285 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14360 [startup+12.7017 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29597 /proc/meminfo: memFree=1834192/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=22704 CPUtime=12.69 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 5336 0 0 0 1253 16 0 0 25 0 1 0 121400052 23248896 5253 1992294400 134512640 135752675 4291019920 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 5676 5253 145 303 0 5371 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22704 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29597 /proc/meminfo: memFree=1817088/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=39748 CPUtime=25.48 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 9566 0 0 0 2515 33 0 0 25 0 1 0 121400052 40701952 9483 1992294400 134512640 135752675 4291019920 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 9937 9483 145 303 0 9632 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39748 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29599 /proc/meminfo: memFree=1783980/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=73324 CPUtime=51.08 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 17957 0 0 0 5042 66 0 0 25 0 1 0 121400052 75083776 17874 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 18331 17874 145 303 0 18026 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73324 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29599 /proc/meminfo: memFree=1726568/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=129344 CPUtime=102.27 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 31964 0 0 0 10102 125 0 0 25 0 1 0 121400052 132448256 31881 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 32336 31881 145 303 0 32031 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 129344 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29601 /proc/meminfo: memFree=1675480/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=180900 CPUtime=162.25 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 44823 0 0 0 16044 181 0 0 25 0 1 0 121400052 185241600 44740 1992294400 134512640 135752675 4291019920 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 45225 44741 145 303 0 44920 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 180900 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29603 /proc/meminfo: memFree=1630716/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=224928 CPUtime=222.24 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 55909 0 0 0 21985 239 0 0 25 0 1 0 121400052 230326272 55798 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 56232 55798 146 303 0 55927 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 224928 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29605 /proc/meminfo: memFree=1585952/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=269904 CPUtime=282.21 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 67123 0 0 0 27928 293 0 0 25 0 1 0 121400052 276381696 67012 1992294400 134512640 135752675 4291019920 18446744073709551615 134612074 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 67476 67012 146 303 0 67171 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 269904 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29605 /proc/meminfo: memFree=1545280/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=310216 CPUtime=342.2 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 77187 0 0 0 33879 341 0 0 25 0 1 0 121400052 317661184 77076 1992294400 134512640 135752675 4291019920 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 77554 77076 146 303 0 77249 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 310216 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29607 /proc/meminfo: memFree=1508204/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=347648 CPUtime=402.18 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 86536 0 0 0 39831 387 0 0 25 0 1 0 121400052 355991552 86425 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 86912 86425 146 303 0 86607 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 347648 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29609 /proc/meminfo: memFree=1467284/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=388052 CPUtime=462.17 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 96635 0 0 0 45780 437 0 0 25 0 1 0 121400052 397365248 96524 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 97013 96524 146 303 0 96708 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 388052 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29611 /proc/meminfo: memFree=1422148/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=433672 CPUtime=522.15 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 108038 0 0 0 51733 482 0 0 25 0 1 0 121400052 444080128 107927 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 108418 107927 146 303 0 108113 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 433672 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29613 /proc/meminfo: memFree=1380856/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=474252 CPUtime=582.14 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 118199 0 0 0 57685 529 0 0 25 0 1 0 121400052 485634048 118088 1992294400 134512640 135752675 4291019920 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 118563 118088 146 303 0 118258 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 474252 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29613 /proc/meminfo: memFree=1340804/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=513860 CPUtime=642.13 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 128092 0 0 0 63642 571 0 0 25 0 1 0 121400052 526192640 127981 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 128465 127981 146 303 0 128160 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 513860 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29621 /proc/meminfo: memFree=1190144/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=664228 CPUtime=882.05 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 165685 0 0 0 87470 735 0 0 25 0 1 0 121400052 680169472 165574 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 166057 165574 146 303 0 165752 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 664228 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29621 /proc/meminfo: memFree=1157532/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=697364 CPUtime=942.03 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 173954 0 0 0 93431 772 0 0 25 0 1 0 121400052 714100736 173843 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 174341 173843 146 303 0 174036 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 697364 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29623 /proc/meminfo: memFree=1124920/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=729344 CPUtime=1002.02 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 181934 0 0 0 99396 806 0 0 25 0 1 0 121400052 746848256 181823 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 182336 181823 146 303 0 182031 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 729344 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29625 /proc/meminfo: memFree=1091564/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=763036 CPUtime=1062.01 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 190351 0 0 0 105362 839 0 0 25 0 1 0 121400052 781348864 190240 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 190759 190240 146 303 0 190454 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 763036 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29627 /proc/meminfo: memFree=1057340/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=797092 CPUtime=1121.99 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 198877 0 0 0 111323 876 0 0 25 0 1 0 121400052 816222208 198766 1992294400 134512640 135752675 4291019920 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 199273 198766 146 303 0 198968 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 797092 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29629 /proc/meminfo: memFree=1021380/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=833276 CPUtime=1181.97 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 207918 0 0 0 117278 919 0 0 25 0 1 0 121400052 853274624 207807 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 208319 207807 146 303 0 208014 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 833276 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29629 /proc/meminfo: memFree=988892/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=865140 CPUtime=1241.96 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 215860 0 0 0 123238 958 0 0 25 0 1 0 121400052 885903360 215749 1992294400 134512640 135752675 4291019920 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 216285 215749 146 303 0 215980 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 865140 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29631 /proc/meminfo: memFree=959008/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=894624 CPUtime=1301.95 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 223232 0 0 0 129202 993 0 0 25 0 1 0 121400052 916094976 223121 1992294400 134512640 135752675 4291019920 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 223656 223121 146 303 0 223351 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 894624 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29633 /proc/meminfo: memFree=926272/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=927624 CPUtime=1361.93 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 231470 0 0 0 135165 1028 0 0 25 0 1 0 121400052 949886976 231359 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 231906 231359 146 303 0 231601 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 927624 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29635 /proc/meminfo: memFree=895520/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=958064 CPUtime=1421.92 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 239084 0 0 0 141130 1062 0 0 25 0 1 0 121400052 981057536 238973 1992294400 134512640 135752675 4291019920 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 239516 238973 146 303 0 239211 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 958064 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29637 /proc/meminfo: memFree=865264/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=988692 CPUtime=1481.89 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 246753 0 0 0 147096 1093 0 0 25 0 1 0 121400052 1012420608 246642 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 247173 246642 146 303 0 246868 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 988692 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29637 /proc/meminfo: memFree=831536/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=1021888 CPUtime=1541.88 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 255052 0 0 0 153057 1131 0 0 25 0 1 0 121400052 1046413312 254941 1992294400 134512640 135752675 4291019920 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 255472 254941 146 303 0 255167 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1021888 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29639 /proc/meminfo: memFree=800784/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=1052908 CPUtime=1601.86 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 262798 0 0 0 159019 1167 0 0 25 0 1 0 121400052 1078177792 262687 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 263227 262687 146 303 0 262922 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1052908 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29641 /proc/meminfo: memFree=768792/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=1084644 CPUtime=1661.84 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 270719 0 0 0 164981 1203 0 0 25 0 1 0 121400052 1110675456 270608 1992294400 134512640 135752675 4291019920 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 271161 270608 146 303 0 270856 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1084644 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29643 /proc/meminfo: memFree=737544/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=1116776 CPUtime=1721.83 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 278763 0 0 0 170942 1241 0 0 25 0 1 0 121400052 1143578624 278652 1992294400 134512640 135752675 4291019920 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 279194 278652 146 303 0 278889 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1116776 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29645 /proc/meminfo: memFree=701584/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=1151512 CPUtime=1781.82 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 287445 0 0 0 176901 1281 0 0 25 0 1 0 121400052 1179148288 287334 1992294400 134512640 135752675 4291019920 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 287878 287334 146 303 0 287573 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1151512 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29645 /proc/meminfo: memFree=691044/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=1161856 CPUtime=1800.02 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4202496 290016 0 0 0 178709 1293 0 0 25 0 1 0 121400052 1189740544 289905 1992294400 134512640 135752675 4291019920 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29596/statm: 290464 289905 146 303 0 290159 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1161856 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.91 2/108 29646 /proc/meminfo: memFree=1693556/2059040 swapFree=4136396/4192956 [pid=29596] ppid=29594 vsize=0 CPUtime=1800.13 /proc/29596/stat : 29596 (wbo1.4b) R 29594 29596 29207 0 -1 4203524 290016 0 0 0 178709 1304 0 0 25 0 1 0 121400052 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29596/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.14 CPU user time (s): 1787.09 CPU system time (s): 13.047 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1161856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.09 system time used= 13.047 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290016 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 977 runsolver used 3.02154 second user time and 8.46471 second system time The end
Begin job on node001 at 2010-06-25 11:26:00 IDJOB=2680701 IDBENCH=2902 IDSOLVER=1190 FILE ID=node001/2680701-1277457960 PBS_JOBID= 11188156 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680701-1277457960/watcher-2680701-1277457960 -o /tmp/evaluation-result-2680701-1277457960/solver-2680701-1277457960 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680701-1277457960.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=467018107 node001.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.202 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.40 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854808 kB Buffers: 23860 kB Cached: 79656 kB SwapCached: 9008 kB Active: 56812 kB Inactive: 59704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854808 kB SwapTotal: 4192956 kB SwapFree: 4136396 kB Dirty: 2628 kB Writeback: 0 kB AnonPages: 11656 kB Mapped: 8404 kB Slab: 65616 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181960 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= 62472 MiB End job on node001 at 2010-06-25 11:56:03