Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.02 | 1800.61 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656058-1276600525.opb. 0.00/0.00 c Instance file HOME/instance-2656058-1276600525.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.001999 s Remaining CPU time: 179.998 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.004999 s Remaining CPU time: 179.995 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.009998 s Remaining CPU time: 179.99 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.03/0.05 c | 572 | 146 17 1272 | 6655 572 42 | 0.005 % | 0.03/0.06 c =============================================================================== 0.03/0.06 c New solution: 152 0.03/0.06 o 152 0.03/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.03/0.06 c =============================================================================== 0.03/0.06 c | 739 | 146 18 1368 | 5000 739 42 | 0.005 % | 0.03/0.07 c | 841 | 146 18 1368 | 5500 841 43 | 0.005 % | 0.03/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.231964 s Remaining CPU time: 179.768 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.28 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.289955 s Remaining CPU time: 179.71 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.290955 s Remaining CPU time: 179.709 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.386941 s Remaining CPU time: 179.613 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.386941 s Remaining CPU time: 179.613 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.50/0.50 c | 4589 | 134 23 1848 | 7320 4470 43 | 8.224 % | 0.50/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.796878 s Remaining CPU time: 179.203 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.811876 s Remaining CPU time: 179.188 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.85487 s Remaining CPU time: 179.145 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 % | 0.99/1.05 c | 8442 | 134 26 2136 | 8052 4967 45 | 8.224 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c New solution: 74 0.99/1.06 o 74 0.99/1.06 c Elapsed CPU time: 1.04284 s Remaining CPU time: 178.957 s 0.99/1.06 c =============================================================================== 0.99/1.06 c | 8484 | 134 27 2232 | 5000 5009 45 | 8.224 % | 0.99/1.08 c | 8584 | 134 27 2232 | 5500 2588 45 | 8.224 % | 0.99/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.32 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.47978 s Remaining CPU time: 178.52 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.49177 s Remaining CPU time: 178.508 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.53677 s Remaining CPU time: 178.463 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 % | 1.99/2.10 c =============================================================================== 1.99/2.10 c New solution: 44 1.99/2.10 o 44 1.99/2.10 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s 1.99/2.10 c =============================================================================== 1.99/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.28 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.31165 s Remaining CPU time: 177.688 s 2.29/2.35 c =============================================================================== 2.29/2.35 c | 17676 | 122 32 2712 | 5000 5311 46 | 16.443 % | 2.29/2.38 c | 17777 | 122 32 2712 | 5500 2757 45 | 16.443 % | 2.39/2.40 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.47 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.80 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.39/3.49 c | 25167 | 122 32 2712 | 11789 10147 46 | 16.443 % | 4.09/4.19 c | 29011 | 122 32 2712 | 12968 8065 47 | 16.443 % | 5.29/5.32 c | 34777 | 122 32 2712 | 14265 7316 46 | 16.443 % | 6.99/7.03 c | 43426 | 122 32 2712 | 15692 8803 47 | 16.443 % | 9.59/9.66 c | 56400 | 122 32 2712 | 17261 13901 46 | 16.443 % | 13.89/13.90 c | 75862 | 122 32 2712 | 18987 16039 45 | 16.443 % | 20.90/20.96 c | 105055 | 122 32 2712 | 20886 16659 45 | 16.443 % | 21.79/21.82 c =============================================================================== 21.79/21.82 c New solution: 31 21.79/21.82 o 31 21.79/21.82 c Elapsed CPU time: 21.5107 s Remaining CPU time: 158.489 s 21.79/21.82 c =============================================================================== 21.79/21.82 c | 108242 | 122 33 2808 | 5000 19846 45 | 16.443 % | 21.90/21.99 c | 108342 | 110 33 2808 | 5500 5031 45 | 24.662 % | 21.99/22.01 c | 108492 | 110 33 2808 | 6050 5181 45 | 24.662 % | 21.99/22.04 c | 108718 | 110 33 2808 | 6655 5407 45 | 24.662 % | 21.99/22.09 c | 109055 | 110 33 2808 | 7320 5744 46 | 24.662 % | 22.09/22.16 c | 109561 | 110 33 2808 | 8052 6250 47 | 24.662 % | 22.18/22.27 c | 110321 | 110 33 2808 | 8857 7010 47 | 24.662 % | 22.39/22.44 c | 111460 | 110 33 2808 | 9743 8149 48 | 24.662 % | 22.49/22.54 c =============================================================================== 22.49/22.54 c New solution: 30 22.49/22.54 o 30 22.49/22.54 c Elapsed CPU time: 22.2156 s Remaining CPU time: 157.784 s 22.49/22.54 c =============================================================================== 22.49/22.54 c | 111994 | 110 34 2904 | 5000 8683 49 | 24.662 % | 22.49/22.57 c | 112094 | 110 34 2904 | 5500 4442 53 | 24.662 % | 22.49/22.59 c | 112244 | 110 34 2904 | 6050 4592 53 | 24.662 % | 22.59/22.63 c | 112469 | 110 34 2904 | 6655 4817 53 | 24.662 % | 22.59/22.67 c | 112806 | 110 34 2904 | 7320 5154 53 | 24.662 % | 22.69/22.75 c | 113312 | 110 34 2904 | 8052 5660 53 | 24.662 % | 22.79/22.86 c | 114071 | 110 34 2904 | 8857 6419 53 | 24.662 % | 22.99/23.04 c | 115210 | 110 34 2904 | 9743 7558 53 | 24.662 % | 23.29/23.31 c | 116918 | 110 34 2904 | 10717 9266 53 | 24.662 % | 23.69/23.74 c | 119482 | 110 34 2904 | 11789 6438 54 | 24.662 % | 24.39/24.43 c | 123326 | 110 34 2904 | 12968 10282 53 | 24.662 % | 25.39/25.47 c | 129092 | 110 34 2904 | 14265 9526 53 | 24.662 % | 25.89/25.96 c =============================================================================== 25.89/25.96 c New solution: 28 25.89/25.96 o 28 25.89/25.96 c Elapsed CPU time: 25.5881 s Remaining CPU time: 154.412 s 25.89/25.96 c =============================================================================== 25.89/25.96 c | 131896 | 110 35 3000 | 5000 12330 53 | 24.662 % | 25.99/26.03 c | 131996 | 110 35 3000 | 5500 3183 54 | 24.662 % | 25.99/26.05 c | 132146 | 110 35 3000 | 6050 3333 54 | 24.662 % | 25.99/26.07 c | 132371 | 110 35 3000 | 6655 3558 53 | 24.662 % | 26.09/26.11 c | 132709 | 110 35 3000 | 7320 3896 53 | 24.662 % | 26.09/26.16 c | 133215 | 110 35 3000 | 8052 4402 53 | 24.662 % | 26.18/26.26 c | 133974 | 110 35 3000 | 8857 5161 53 | 24.662 % | 26.39/26.40 c | 135113 | 110 35 3000 | 9743 6300 53 | 24.662 % | 26.59/26.66 c | 136821 | 110 35 3000 | 10717 8008 52 | 24.662 % | 26.99/27.04 c | 139383 | 110 35 3000 | 11789 10570 52 | 24.662 % | 27.59/27.69 c | 143227 | 110 35 3000 | 12968 8485 53 | 24.662 % | 27.69/27.70 c =============================================================================== 27.69/27.70 c New solution: 27 27.69/27.70 o 27 27.69/27.70 c Elapsed CPU time: 27.2979 s Remaining CPU time: 152.702 s 27.69/27.70 c =============================================================================== 27.69/27.70 c | 143310 | 110 36 3096 | 5000 8568 53 | 24.662 % | 27.69/27.73 c =============================================================================== 27.69/27.73 c New solution: 25 27.69/27.73 o 25 27.69/27.73 c Elapsed CPU time: 27.3278 s Remaining CPU time: 152.672 s 27.69/27.73 c =============================================================================== 27.69/27.73 c | 143310 | 110 37 3192 | 5000 4284 53 | 24.662 % | 27.69/27.75 c | 143410 | 110 37 3192 | 5500 4384 53 | 24.662 % | 27.69/27.77 c | 143560 | 110 37 3192 | 6050 4534 53 | 24.662 % | 27.69/27.79 c | 143786 | 110 37 3192 | 6655 4760 53 | 24.662 % | 27.79/27.85 c | 144123 | 110 37 3192 | 7320 5097 53 | 24.662 % | 27.88/27.93 c | 144629 | 110 37 3192 | 8052 5603 54 | 24.662 % | 27.98/28.02 c | 145389 | 110 37 3192 | 8857 6363 54 | 24.662 % | 28.08/28.19 c | 146528 | 110 37 3192 | 9743 7502 53 | 24.662 % | 28.38/28.47 c | 148236 | 110 37 3192 | 10717 9210 53 | 24.662 % | 28.88/28.94 c | 150798 | 110 37 3192 | 11789 6375 53 | 24.662 % | 29.59/29.64 c | 154642 | 110 37 3192 | 12968 10219 53 | 24.662 % | 30.69/30.77 c | 160408 | 110 37 3192 | 14265 9463 53 | 24.662 % | 32.58/32.65 c | 169058 | 110 37 3192 | 15692 10941 53 | 24.662 % | 35.58/35.67 c | 182032 | 110 37 3192 | 17261 8150 53 | 24.662 % | 40.08/40.17 c | 201493 | 110 37 3192 | 18987 10274 53 | 24.662 % | 47.58/47.68 c | 230686 | 110 37 3192 | 20886 10876 53 | 24.662 % | 50.59/50.66 c =============================================================================== 50.59/50.66 c New solution: 22 50.59/50.66 o 22 50.59/50.66 c Elapsed CPU time: 50.0044 s Remaining CPU time: 129.996 s 50.59/50.66 c =============================================================================== 50.59/50.66 c | 241896 | 110 38 3288 | 5000 11603 55 | 24.662 % | 50.68/50.72 c | 241996 | 110 38 3288 | 5500 3001 56 | 24.662 % | 50.68/50.73 c =============================================================================== 50.68/50.73 c New solution: 20 50.68/50.73 o 20 50.68/50.73 c Elapsed CPU time: 50.0734 s Remaining CPU time: 129.927 s 50.68/50.73 c =============================================================================== 50.68/50.73 c | 242004 | 110 39 3384 | 5000 3009 56 | 24.662 % | 50.68/50.74 c | 242104 | 110 39 3384 | 5500 3109 56 | 24.662 % | 50.68/50.77 c | 242254 | 110 39 3384 | 6050 3259 56 | 24.662 % | 50.78/50.80 c | 242480 | 110 39 3384 | 6655 3485 56 | 24.662 % | 50.78/50.85 c | 242817 | 110 39 3384 | 7320 3822 56 | 24.662 % | 50.87/50.93 c | 243323 | 110 39 3384 | 8052 4328 56 | 24.662 % | 50.97/51.05 c | 244083 | 110 39 3384 | 8857 5088 56 | 24.662 % | 51.18/51.23 c | 245222 | 110 39 3384 | 9743 6227 56 | 24.662 % | 51.48/51.55 c | 246930 | 110 39 3384 | 10717 7935 57 | 24.662 % | 51.98/52.07 c | 249492 | 110 39 3384 | 11789 10497 57 | 24.662 % | 52.79/52.83 c | 253338 | 110 39 3384 | 12968 8417 56 | 24.662 % | 53.88/53.97 c | 259104 | 110 39 3384 | 14265 7664 54 | 24.662 % | 55.47/55.56 c | 267753 | 110 39 3384 | 15692 9145 51 | 24.662 % | 58.28/58.34 c | 280727 | 110 39 3384 | 17261 14233 53 | 24.662 % | 63.08/63.14 c | 300189 | 110 39 3384 | 18987 16366 54 | 24.662 % | 70.28/70.40 c | 329381 | 110 39 3384 | 20886 16972 51 | 24.662 % | 81.97/82.07 c | 373170 | 110 39 3384 | 22974 18832 51 | 24.662 % | 101.56/101.64 c | 438854 | 110 39 3384 | 25272 11307 53 | 24.662 % | 133.75/133.88 c | 537380 | 110 39 3384 | 27799 11287 54 | 24.662 % | 181.84/181.97 c There are 36 assigned variables. 36 in cost function. 182.45/182.54 c ============================[ Search Statistics ]============================== 182.45/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.54 c =============================================================================== 182.45/182.54 c | 0 | 50 134 720 | 5000 0 nan | 0.000 % | 182.45/182.55 c | 100 | 50 134 720 | 5500 100 61 | 65.758 % | 182.45/182.57 c | 250 | 50 134 720 | 6050 250 59 | 65.758 % | 182.45/182.60 c | 475 | 50 134 720 | 6655 475 59 | 65.758 % | 182.55/182.68 c | 812 | 50 134 720 | 7320 812 60 | 65.758 % | 182.64/182.78 c | 1318 | 50 134 720 | 8052 1318 60 | 65.758 % | 182.75/182.88 c | 2077 | 50 134 720 | 8857 2077 61 | 65.758 % | 182.95/183.03 c | 3217 | 50 134 720 | 9743 3217 60 | 65.758 % | 183.14/183.29 c | 4925 | 50 134 720 | 10717 4925 60 | 65.758 % | 183.65/183.77 c | 7487 | 50 134 720 | 11789 7487 60 | 65.758 % | 184.54/184.69 c | 11331 | 50 134 720 | 12968 11331 60 | 65.758 % | 185.85/185.97 c | 17097 | 50 134 720 | 14265 10551 60 | 65.758 % | 187.74/187.85 c | 25746 | 50 134 720 | 15692 12002 60 | 65.758 % | 190.84/190.93 c | 38720 | 50 134 720 | 17261 9150 62 | 65.758 % | 195.54/195.68 c | 58181 | 50 134 720 | 18987 11222 61 | 65.758 % | 202.94/203.06 c | 87373 | 50 134 720 | 20886 11734 60 | 65.758 % | 215.44/215.53 c | 131162 | 50 134 720 | 22974 13493 61 | 65.758 % | 236.23/236.33 c | 196847 | 50 134 720 | 25272 17354 60 | 65.758 % | 270.32/270.49 c | 295373 | 50 134 720 | 27799 13932 58 | 65.758 % | 326.01/326.10 c | 443162 | 50 134 720 | 30579 25774 60 | 65.758 % | 416.38/416.54 c | 664845 | 50 134 720 | 33637 11290 55 | 65.758 % | 547.65/547.87 c | 997370 | 50 134 720 | 37001 26769 58 | 65.758 % | 785.59/785.82 c | 1496158 | 50 134 720 | 40701 33194 59 | 65.758 % | 1195.58/1195.98 c | 2244340 | 50 134 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-2656058-1276600525/watcher-2656058-1276600525 -o /tmp/evaluation-result-2656058-1276600525/solver-2656058-1276600525 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656058-1276600525.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 9697 /proc/meminfo: memFree=1797320/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=2568 CPUtime=0 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 281 0 0 0 0 0 0 0 20 0 1 0 1344572 2629632 197 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 642 197 146 303 0 337 0 [startup+0.0335849 s] /proc/loadavg: 0.99 0.98 0.99 3/106 9697 /proc/meminfo: memFree=1797320/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=2568 CPUtime=0.03 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 304 0 0 0 3 0 0 0 20 0 1 0 1344572 2629632 220 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 642 220 147 303 0 337 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2568 [startup+0.101591 s] /proc/loadavg: 0.99 0.98 0.99 3/106 9697 /proc/meminfo: memFree=1797320/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=2832 CPUtime=0.09 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 359 0 0 0 9 0 0 0 20 0 1 0 1344572 2899968 275 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 708 275 147 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.301612 s] /proc/loadavg: 0.99 0.98 0.99 3/106 9697 /proc/meminfo: memFree=1797320/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=3348 CPUtime=0.29 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 504 0 0 0 29 0 0 0 20 0 1 0 1344572 3428352 420 1992294400 134512640 135751879 4292722832 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 837 420 147 303 0 532 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3348 [startup+0.701654 s] /proc/loadavg: 0.99 0.98 0.99 3/106 9697 /proc/meminfo: memFree=1797320/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=4260 CPUtime=0.69 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 730 0 0 0 68 1 0 0 20 0 1 0 1344572 4362240 646 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 1065 646 147 303 0 760 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4260 [startup+1.50174 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9698 /proc/meminfo: memFree=1794584/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=6076 CPUtime=1.49 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 1158 0 0 0 147 2 0 0 22 0 1 0 1344572 6221824 1074 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 1519 1074 148 303 0 1214 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6076 [startup+3.10191 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9698 /proc/meminfo: memFree=1792228/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=9196 CPUtime=3.09 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 1948 0 0 0 304 5 0 0 25 0 1 0 1344572 9416704 1864 1992294400 134512640 135751879 4292722832 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 2299 1864 148 303 0 1994 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9196 [startup+6.30125 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9698 /proc/meminfo: memFree=1786400/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=14344 CPUtime=6.29 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 3217 0 0 0 619 10 0 0 25 0 1 0 1344572 14688256 3133 1992294400 134512640 135751879 4292722832 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 3586 3134 148 303 0 3281 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14344 [startup+12.7019 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9698 /proc/meminfo: memFree=1777224/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=22704 CPUtime=12.69 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 5314 0 0 0 1251 18 0 0 25 0 1 0 1344572 23248896 5230 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 5676 5230 148 303 0 5371 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22704 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9698 /proc/meminfo: memFree=1760236/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=39504 CPUtime=25.49 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 9517 0 0 0 2513 36 0 0 25 0 1 0 1344572 40452096 9433 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 9876 9433 148 303 0 9571 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39504 [startup+51.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9700 /proc/meminfo: memFree=1727128/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=73124 CPUtime=51.08 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 17896 0 0 0 5043 65 0 0 25 0 1 0 1344572 74878976 17812 1992294400 134512640 135751879 4292722832 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 18281 17812 148 303 0 17976 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73124 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 3/107 9700 /proc/meminfo: memFree=1669344/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=129632 CPUtime=102.27 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 32018 0 0 0 10107 120 0 0 25 0 1 0 1344572 132743168 31934 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 32408 31934 148 303 0 32103 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 129632 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9702 /proc/meminfo: memFree=1617884/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=181488 CPUtime=162.25 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 44990 0 0 0 16052 173 0 0 25 0 1 0 1344572 185843712 44906 1992294400 134512640 135751879 4292722832 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 45372 44906 148 303 0 45067 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 181488 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9704 /proc/meminfo: memFree=1573244/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=225484 CPUtime=222.24 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 56047 0 0 0 21989 235 0 0 25 0 1 0 1344572 230895616 55935 1992294400 134512640 135751879 4292722832 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 56371 55935 150 303 0 56066 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 225484 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9706 /proc/meminfo: memFree=1527860/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=270996 CPUtime=282.22 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 67389 0 0 0 27935 287 0 0 25 0 1 0 1344572 277499904 67277 1992294400 134512640 135751879 4292722832 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 67749 67277 150 303 0 67444 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 270996 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9706 /proc/meminfo: memFree=1486816/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=311700 CPUtime=342.21 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 77564 0 0 0 33886 335 0 0 25 0 1 0 1344572 319180800 77452 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 77925 77452 150 303 0 77620 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 311700 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9708 /proc/meminfo: memFree=1448996/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=350048 CPUtime=402.18 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 87137 0 0 0 39841 377 0 0 25 0 1 0 1344572 358449152 87025 1992294400 134512640 135751879 4292722832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 87512 87025 150 303 0 87207 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 350048 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9710 /proc/meminfo: memFree=1408696/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=389400 CPUtime=462.17 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 97000 0 0 0 45793 424 0 0 25 0 1 0 1344572 398745600 96888 1992294400 134512640 135751879 4292722832 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 97350 96888 150 303 0 97045 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 389400 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9712 /proc/meminfo: memFree=1362568/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=436180 CPUtime=522.16 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 108671 0 0 0 51746 470 0 0 25 0 1 0 1344572 446648320 108559 1992294400 134512640 135751879 4292722832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 109045 108559 150 303 0 108740 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 436180 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9714 /proc/meminfo: memFree=1321028/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=477420 CPUtime=582.14 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 119008 0 0 0 57700 514 0 0 25 0 1 0 1344572 488878080 118896 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 119355 118896 150 303 0 119050 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 477420 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9714 /proc/meminfo: memFree=1281720/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=516104 CPUtime=642.14 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 128675 0 0 0 63658 556 0 0 25 0 1 0 1344572 528490496 128563 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 129026 128563 150 303 0 128721 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 516104 [startup+702.301 s] ################ # More data... # ################ /proc/loadavg: 1.01 1.00 1.00 2/107 9733 /proc/meminfo: memFree=963164/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=834068 CPUtime=1181.97 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 208115 0 0 0 117308 889 0 0 25 0 1 0 1344572 854085632 208003 1992294400 134512640 135751879 4292722832 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 208517 208003 150 303 0 208212 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 834068 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9733 /proc/meminfo: memFree=931420/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=865668 CPUtime=1241.96 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 215983 0 0 0 123274 922 0 0 25 0 1 0 1344572 886444032 215871 1992294400 134512640 135751879 4292722832 18446744073709551615 134606399 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 216417 215871 150 303 0 216112 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 865668 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9735 /proc/meminfo: memFree=901164/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=895548 CPUtime=1301.95 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 223459 0 0 0 129238 957 0 0 25 0 1 0 1344572 917041152 223347 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 223887 223347 150 303 0 223582 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 895548 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9737 /proc/meminfo: memFree=869048/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=927888 CPUtime=1361.92 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 231543 0 0 0 135203 989 0 0 25 0 1 0 1344572 950157312 231431 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 231972 231431 150 303 0 231667 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 927888 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9739 /proc/meminfo: memFree=838544/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=958196 CPUtime=1421.92 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 239117 0 0 0 141169 1023 0 0 25 0 1 0 1344572 981192704 239005 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 239549 239005 150 303 0 239244 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 958196 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9741 /proc/meminfo: memFree=808784/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=988164 CPUtime=1481.89 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 246628 0 0 0 147132 1057 0 0 25 0 1 0 1344572 1011879936 246516 1992294400 134512640 135751879 4292722832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 247041 246516 150 303 0 246736 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 988164 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9741 /proc/meminfo: memFree=775428/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=1021296 CPUtime=1541.88 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 254899 0 0 0 153093 1095 0 0 25 0 1 0 1344572 1045807104 254787 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 255324 254787 150 303 0 255019 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1021296 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9743 /proc/meminfo: memFree=744924/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=1051984 CPUtime=1601.86 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 262561 0 0 0 159058 1128 0 0 25 0 1 0 1344572 1077231616 262449 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 262996 262449 150 303 0 262691 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1051984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9745 /proc/meminfo: memFree=712808/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=1083720 CPUtime=1661.84 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 270486 0 0 0 165020 1164 0 0 25 0 1 0 1344572 1109729280 270374 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 270930 270374 150 303 0 270625 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1083720 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9747 /proc/meminfo: memFree=681808/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=1114928 CPUtime=1721.83 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 278285 0 0 0 170985 1198 0 0 25 0 1 0 1344572 1141686272 278173 1992294400 134512640 135751879 4292722832 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 278732 278173 150 303 0 278427 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1114928 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9749 /proc/meminfo: memFree=648824/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=1147816 CPUtime=1781.82 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 286507 0 0 0 176948 1234 0 0 25 0 1 0 1344572 1175363584 286395 1992294400 134512640 135751879 4292722832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 286954 286395 150 303 0 286649 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1147816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9749 /proc/meminfo: memFree=637292/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=1158820 CPUtime=1800.02 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 289259 0 0 0 178757 1245 0 0 25 0 1 0 1344572 1186631680 289147 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 289705 289147 150 303 0 289400 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1158820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.02 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.02 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9749 /proc/meminfo: memFree=637292/2059040 swapFree=4192956/4192956 [pid=9697] ppid=9695 vsize=1158820 CPUtime=1800.02 /proc/9697/stat : 9697 (wbo1.4b) R 9695 9697 2333 0 -1 4202496 289259 0 0 0 178757 1245 0 0 25 0 1 0 1344572 1186631680 289147 1992294400 134512640 135751879 4292722832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9697/statm: 289705 289147 150 303 0 289400 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1158820 [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9750 /proc/meminfo: memFree=1748200/2059040 swapFree=4192956/4192956 [pid=9697] ppid=-1 vsize=0 CPUtime=0 /proc/9697/stat : -- couldn't open stat file --/proc/9697/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9750 /proc/meminfo: memFree=1748200/2059040 swapFree=4192956/4192956 [pid=9697] ppid=-1 vsize=0 CPUtime=0 /proc/9697/stat : -- couldn't open stat file --/proc/9697/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9697 and gives # childrusage.ru_utime.tv_sec=1787 # childrusage.ru_utime.tv_usec=572247 # childrusage.ru_stime.tv_sec=12 # childrusage.ru_stime.tv_usec=559090 # CPU time returned by wait4() is 1800.13 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.02 # lost CPU user time (s): 1787.57 # lost CPU system time (s): 12.45 Real time (s): 1800.61 CPU time (s): 1800.02 CPU user time (s): 1787.57 CPU system time (s): 12.45 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 1158820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.57 system time used= 12.5591 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289259 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= 6 involuntary context switches= 1139 runsolver used 3.23151 second user time and 8.26274 second system time The end
Begin job on node047 at 2010-06-15 13:15:25 IDJOB=2656058 IDBENCH=2902 IDSOLVER=1161 FILE ID=node047/2656058-1276600525 PBS_JOBID= 11173565 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b 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-2656058-1276600525/watcher-2656058-1276600525 -o /tmp/evaluation-result-2656058-1276600525/solver-2656058-1276600525 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656058-1276600525.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=324144708 node047.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.244 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1797848 kB Buffers: 9252 kB Cached: 129212 kB SwapCached: 0 kB Active: 73388 kB Inactive: 124476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1797848 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2600 kB Writeback: 0 kB AnonPages: 59384 kB Mapped: 15360 kB Slab: 41564 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180192 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= 62540 MiB End job on node047 at 2010-06-15 13:45:28