Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 5148 | 17.9243 | 17.9376 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb |
MD5SUM | d99cfd7c624f6e153a873fe4512e21db |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5148 |
Best CPU time to get the best result obtained on this benchmark | 0.006998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5148 |
Optimality of the best value was proved | YES |
Number of variables | 105 |
Total number of constraints | 112 |
Number of constraints which are clauses | 98 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 7 |
Number of terms in the objective function | 105 |
Biggest coefficient in the objective function | 2032 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 49347 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 2032 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 49347 |
Number of bits of the biggest sum of numbers | 16 |
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-2680409-1277459188.opb. 0.00/0.00 c Instance file HOME/instance-2680409-1277459188.opb 0.00/0.00 c File size is 4042 bytes. 0.00/0.00 c Highest Coefficient sum: 8 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: 105 | 0.00/0.00 c | Number Clauses: 112 | 0.00/0.00 c | Number Cardinality: 14 | 0.00/0.00 c | Number PB Constraints: 0 | 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 | 105 126 392 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 7813 0.00/0.00 o 7813 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 105 127 497 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 7759 0.00/0.00 o 7759 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 6 | 105 128 602 | 5000 6 27 | 0.000 % | 0.00/0.00 c | 108 | 105 128 602 | 5500 108 24 | 0.009 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 7611 0.00/0.00 o 7611 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 108 | 105 129 707 | 5000 108 24 | 0.009 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 7451 0.00/0.00 o 7451 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 108 | 105 130 812 | 5000 108 24 | 0.009 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 7240 0.00/0.00 o 7240 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 109 | 105 131 917 | 5000 109 24 | 0.009 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 7188 0.00/0.00 o 7188 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 173 | 105 132 1022 | 5000 173 25 | 0.009 % | 0.00/0.01 c | 274 | 105 132 1022 | 5500 274 24 | 0.009 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 7146 0.00/0.01 o 7146 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 282 | 105 133 1127 | 5000 282 24 | 0.009 % | 0.00/0.01 c | 382 | 105 133 1127 | 5500 382 24 | 0.009 % | 0.00/0.02 c | 532 | 105 133 1127 | 6050 532 23 | 0.009 % | 0.00/0.03 c | 760 | 105 133 1127 | 6655 760 23 | 0.009 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 7087 0.00/0.03 o 7087 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 883 | 105 134 1232 | 5000 883 23 | 0.009 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 7063 0.00/0.03 o 7063 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 883 | 105 135 1337 | 5000 883 23 | 0.009 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 7023 0.00/0.03 o 7023 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 913 | 105 136 1442 | 5000 913 23 | 0.009 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 6953 0.00/0.04 o 6953 0.00/0.04 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 962 | 105 137 1547 | 5000 962 23 | 0.009 % | 0.00/0.04 c | 1063 | 105 137 1547 | 5500 1063 22 | 0.010 % | 0.00/0.05 c | 1213 | 105 137 1547 | 6050 1213 22 | 0.009 % | 0.00/0.06 c | 1439 | 105 137 1547 | 6655 1439 22 | 0.009 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 6821 0.00/0.07 o 6821 0.00/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 1666 | 105 138 1652 | 5000 1666 22 | 0.009 % | 0.00/0.07 c | 1766 | 105 138 1652 | 5500 1766 22 | 0.009 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 6807 0.00/0.08 o 6807 0.00/0.08 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 1853 | 105 139 1757 | 5000 1853 23 | 0.009 % | 0.00/0.08 c | 1955 | 105 139 1757 | 5500 1955 23 | 0.009 % | 0.00/0.09 c | 2105 | 105 139 1757 | 6050 2105 22 | 0.010 % | 0.00/0.10 c | 2332 | 105 139 1757 | 6655 2332 22 | 0.009 % | 0.10/0.11 c | 2670 | 105 139 1757 | 7320 2670 23 | 0.009 % | 0.10/0.14 c | 3176 | 105 139 1757 | 8052 3176 23 | 0.010 % | 0.10/0.18 c | 3935 | 105 139 1757 | 8857 3935 23 | 0.009 % | 0.10/0.19 c =============================================================================== 0.10/0.19 c New solution: 6805 0.10/0.19 o 6805 0.10/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s 0.10/0.19 c =============================================================================== 0.10/0.19 c | 4203 | 105 140 1862 | 5000 4203 23 | 0.009 % | 0.19/0.20 c | 4306 | 105 140 1862 | 5500 4306 23 | 0.009 % | 0.19/0.21 c | 4457 | 105 140 1862 | 6050 4457 23 | 0.009 % | 0.19/0.22 c | 4683 | 105 140 1862 | 6655 4683 23 | 0.009 % | 0.19/0.24 c | 5021 | 105 140 1862 | 7320 5021 23 | 0.137 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 6787 0.19/0.26 o 6787 0.19/0.26 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 5313 | 105 141 1967 | 5000 5313 24 | 0.137 % | 0.19/0.27 c | 5413 | 105 141 1967 | 5500 2757 24 | 0.137 % | 0.19/0.28 c | 5564 | 105 141 1967 | 6050 2908 24 | 0.009 % | 0.19/0.29 c | 5789 | 105 141 1967 | 6655 3133 24 | 0.137 % | 0.29/0.31 c | 6127 | 105 141 1967 | 7320 3471 24 | 0.009 % | 0.29/0.33 c | 6633 | 105 141 1967 | 8052 3977 24 | 0.009 % | 0.29/0.38 c | 7392 | 105 141 1967 | 8857 4736 24 | 0.010 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 6774 0.39/0.40 o 6774 0.39/0.40 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 7729 | 105 142 2072 | 5000 5073 25 | 0.010 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 6313 0.39/0.41 o 6313 0.39/0.41 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 7764 | 105 143 2177 | 5000 2572 25 | 0.010 % | 0.39/0.41 c | 7865 | 105 143 2177 | 5500 2673 25 | 0.009 % | 0.39/0.42 c | 8017 | 105 143 2177 | 6050 2825 25 | 0.136 % | 0.39/0.43 c | 8242 | 105 143 2177 | 6655 3050 25 | 0.010 % | 0.39/0.45 c | 8580 | 105 143 2177 | 7320 3388 25 | 0.136 % | 0.39/0.48 c | 9086 | 105 143 2177 | 8052 3894 24 | 0.009 % | 0.49/0.52 c | 9846 | 105 143 2177 | 8857 4654 24 | 0.137 % | 0.49/0.58 c | 10987 | 105 143 2177 | 9743 5795 24 | 0.137 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 6278 0.49/0.59 o 6278 0.49/0.59 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 11152 | 105 144 2282 | 5000 5960 24 | 0.137 % | 0.59/0.60 c | 11252 | 105 144 2282 | 5500 3080 23 | 0.009 % | 0.59/0.61 c | 11402 | 105 144 2282 | 6050 3230 23 | 0.009 % | 0.59/0.62 c | 11627 | 105 144 2282 | 6655 3455 23 | 0.009 % | 0.59/0.64 c | 11965 | 105 144 2282 | 7320 3793 23 | 0.136 % | 0.59/0.67 c | 12473 | 105 144 2282 | 8052 4301 23 | 0.137 % | 0.69/0.71 c | 13233 | 105 144 2282 | 8857 5061 23 | 0.010 % | 0.69/0.79 c | 14372 | 105 144 2282 | 9743 6200 23 | 0.009 % | 0.79/0.89 c | 16080 | 105 144 2282 | 10717 7908 23 | 0.137 % | 0.99/1.06 c | 18643 | 105 144 2282 | 11789 10471 23 | 0.010 % | 1.30/1.32 c | 22487 | 105 144 2282 | 12968 8386 24 | 0.010 % | 1.30/1.34 c =============================================================================== 1.30/1.34 c New solution: 6252 1.30/1.34 o 6252 1.30/1.34 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s 1.30/1.34 c =============================================================================== 1.30/1.34 c | 22676 | 105 145 2387 | 5000 8575 24 | 0.010 % | 1.30/1.35 c | 22778 | 105 145 2387 | 5500 4390 23 | 0.136 % | 1.30/1.37 c | 22931 | 105 145 2387 | 6050 4543 23 | 0.010 % | 1.30/1.38 c | 23157 | 105 145 2387 | 6655 4769 23 | 0.137 % | 1.39/1.40 c | 23494 | 105 145 2387 | 7320 5106 23 | 0.137 % | 1.39/1.43 c | 24000 | 105 145 2387 | 8052 5612 23 | 0.010 % | 1.39/1.48 c | 24759 | 105 145 2387 | 8857 6371 23 | 0.009 % | 1.39/1.48 c =============================================================================== 1.39/1.48 c New solution: 6148 1.39/1.48 o 6148 1.39/1.48 c Elapsed CPU time: 1.41478 s Remaining CPU time: 178.585 s 1.39/1.48 c =============================================================================== 1.39/1.48 c | 24764 | 105 146 2492 | 5000 6376 23 | 0.009 % | 1.49/1.50 c | 24866 | 105 146 2492 | 5500 3290 23 | 0.009 % | 1.49/1.51 c | 25016 | 105 146 2492 | 6050 3440 23 | 0.009 % | 1.49/1.52 c | 25241 | 105 146 2492 | 6655 3665 23 | 0.136 % | 1.49/1.54 c | 25578 | 105 146 2492 | 7320 4002 23 | 0.009 % | 1.49/1.57 c | 26084 | 105 146 2492 | 8052 4508 23 | 0.010 % | 1.59/1.62 c | 26843 | 105 146 2492 | 8857 5267 23 | 0.009 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c New solution: 5983 1.59/1.67 o 5983 1.59/1.67 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s 1.59/1.67 c =============================================================================== 1.59/1.67 c | 27664 | 105 147 2597 | 5000 6088 24 | 0.009 % | 1.59/1.68 c | 27764 | 105 147 2597 | 5500 3144 25 | 0.137 % | 1.59/1.69 c | 27914 | 105 147 2597 | 6050 3294 25 | 0.137 % | 1.69/1.71 c | 28139 | 105 147 2597 | 6655 3519 25 | 0.009 % | 1.69/1.73 c | 28476 | 105 147 2597 | 7320 3856 25 | 0.136 % | 1.69/1.76 c | 28982 | 105 147 2597 | 8052 4362 25 | 0.009 % | 1.79/1.81 c | 29741 | 105 147 2597 | 8857 5121 25 | 0.010 % | 1.79/1.88 c | 30880 | 105 147 2597 | 9743 6260 24 | 0.137 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c New solution: 5957 1.89/1.98 o 5957 1.89/1.98 c Elapsed CPU time: 1.90271 s Remaining CPU time: 178.097 s 1.89/1.98 c =============================================================================== 1.89/1.98 c | 32493 | 105 148 2702 | 5000 7873 24 | 0.137 % | 1.99/2.00 c | 32593 | 105 148 2702 | 5500 4037 23 | 0.137 % | 1.99/2.01 c | 32743 | 105 148 2702 | 6050 4187 23 | 0.009 % | 1.99/2.02 c | 32968 | 105 148 2702 | 6655 4412 23 | 0.137 % | 1.99/2.05 c | 33305 | 105 148 2702 | 7320 4749 24 | 0.009 % | 1.99/2.08 c | 33812 | 105 148 2702 | 8052 5256 24 | 0.010 % | 2.09/2.13 c | 34572 | 105 148 2702 | 8857 6016 24 | 0.137 % | 2.20/2.20 c | 35711 | 105 148 2702 | 9743 7155 24 | 0.137 % | 2.30/2.33 c | 37420 | 105 148 2702 | 10717 8864 24 | 0.136 % | 2.49/2.52 c | 39982 | 105 148 2702 | 11789 6028 24 | 0.137 % | 2.59/2.68 c =============================================================================== 2.59/2.68 c New solution: 5938 2.59/2.68 o 5938 2.59/2.68 c Elapsed CPU time: 2.58761 s Remaining CPU time: 177.412 s 2.59/2.68 c =============================================================================== 2.59/2.68 c | 42591 | 105 149 2807 | 5000 8637 23 | 0.137 % | 2.68/2.70 c | 42691 | 105 149 2807 | 5500 4419 23 | 0.010 % | 2.68/2.71 c | 42841 | 105 149 2807 | 6050 4569 23 | 0.137 % | 2.68/2.73 c | 43066 | 105 149 2807 | 6655 4794 23 | 0.009 % | 2.68/2.75 c | 43403 | 105 149 2807 | 7320 5131 23 | 0.137 % | 2.68/2.78 c | 43910 | 105 149 2807 | 8052 5638 23 | 0.010 % | 2.79/2.84 c | 44669 | 105 149 2807 | 8857 6397 23 | 0.137 % | 2.88/2.92 c | 45808 | 105 149 2807 | 9743 7536 24 | 0.137 % | 2.99/3.04 c =============================================================================== 2.99/3.04 c New solution: 5834 2.99/3.04 o 5834 2.99/3.04 c Elapsed CPU time: 2.92955 s Remaining CPU time: 177.07 s 2.99/3.04 c =============================================================================== 2.99/3.04 c | 47296 | 105 150 2912 | 5000 9024 24 | 0.137 % | 2.99/3.06 c | 47398 | 105 150 2912 | 5500 4614 25 | 0.136 % | 2.99/3.07 c | 47549 | 105 150 2912 | 6050 4765 25 | 0.136 % | 2.99/3.09 c | 47775 | 105 150 2912 | 6655 4991 25 | 0.137 % | 3.08/3.11 c | 48112 | 105 150 2912 | 7320 5328 25 | 0.010 % | 3.08/3.14 c | 48618 | 105 150 2912 | 8052 5834 25 | 0.137 % | 3.18/3.20 c | 49377 | 105 150 2912 | 8857 6593 25 | 0.010 % | 3.18/3.27 c | 50516 | 105 150 2912 | 9743 7732 24 | 0.137 % | 3.40/3.41 c | 52224 | 105 150 2912 | 10717 9440 25 | 0.136 % | 3.58/3.61 c | 54787 | 105 150 2912 | 11789 6606 24 | 0.156 % | 3.58/3.69 c =============================================================================== 3.58/3.69 c New solution: 5692 3.58/3.69 o 5692 3.58/3.69 c Elapsed CPU time: 3.55546 s Remaining CPU time: 176.445 s 3.58/3.69 c =============================================================================== 3.58/3.69 c | 55795 | 105 151 3017 | 5000 7614 25 | 0.156 % | 3.69/3.70 c | 55895 | 105 151 3017 | 5500 3907 25 | 0.154 % | 3.69/3.71 c | 56045 | 105 151 3017 | 6050 4057 25 | 0.145 % | 3.69/3.73 c | 56271 | 105 151 3017 | 6655 4283 25 | 0.154 % | 3.69/3.75 c | 56608 | 105 151 3017 | 7320 4620 25 | 0.147 % | 3.69/3.79 c | 57114 | 105 151 3017 | 8052 5126 24 | 0.154 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c New solution: 5662 3.79/3.80 o 5662 3.79/3.80 c Elapsed CPU time: 3.66544 s Remaining CPU time: 176.335 s 3.79/3.80 c =============================================================================== 3.79/3.80 c | 57300 | 105 152 3122 | 5000 5312 24 | 0.154 % | 3.79/3.82 c | 57400 | 105 152 3122 | 5500 2756 25 | 0.145 % | 3.79/3.82 c | 57551 | 105 152 3122 | 6050 2907 25 | 0.154 % | 3.79/3.84 c | 57778 | 105 152 3122 | 6655 3134 26 | 0.146 % | 3.79/3.86 c | 58115 | 105 152 3122 | 7320 3471 25 | 0.156 % | 3.79/3.90 c | 58621 | 105 152 3122 | 8052 3977 25 | 0.010 % | 3.89/3.95 c | 59381 | 105 152 3122 | 8857 4737 25 | 0.154 % | 3.98/4.03 c | 60520 | 105 152 3122 | 9743 5876 25 | 0.146 % | 4.08/4.16 c | 62229 | 105 152 3122 | 10717 7585 26 | 0.010 % | 4.29/4.37 c | 64791 | 105 152 3122 | 11789 10147 26 | 0.155 % | 4.68/4.73 c | 68635 | 105 152 3122 | 12968 8058 26 | 0.154 % | 4.98/5.03 c =============================================================================== 4.98/5.03 c New solution: 5582 4.98/5.03 o 5582 4.98/5.03 c Elapsed CPU time: 4.86026 s Remaining CPU time: 175.14 s 4.98/5.03 c =============================================================================== 4.98/5.03 c | 72426 | 105 153 3227 | 5000 11849 25 | 0.154 % | 4.98/5.06 c | 72527 | 105 153 3227 | 5500 3064 23 | 0.009 % | 4.98/5.07 c | 72677 | 105 153 3227 | 6050 3214 23 | 0.154 % | 4.98/5.08 c | 72903 | 105 153 3227 | 6655 3440 23 | 0.146 % | 5.08/5.10 c | 73240 | 105 153 3227 | 7320 3777 23 | 0.155 % | 5.08/5.14 c | 73746 | 105 153 3227 | 8052 4283 23 | 0.146 % | 5.08/5.19 c | 74506 | 105 153 3227 | 8857 5043 23 | 0.156 % | 5.19/5.28 c | 75645 | 105 153 3227 | 9743 6182 23 | 0.147 % | 5.29/5.39 c | 77353 | 105 153 3227 | 10717 7890 23 | 0.138 % | 5.49/5.60 c | 79915 | 105 153 3227 | 11789 10452 23 | 0.154 % | 5.89/5.96 c | 83759 | 105 153 3227 | 12968 8370 22 | 0.145 % | 6.09/6.14 c =============================================================================== 6.09/6.14 c New solution: 5542 6.09/6.14 o 5542 6.09/6.14 c Elapsed CPU time: 5.9341 s Remaining CPU time: 174.066 s 6.09/6.14 c =============================================================================== 6.09/6.14 c | 85932 | 105 154 3332 | 5000 10543 22 | 0.145 % | 6.09/6.16 c | 86032 | 105 154 3332 | 5500 2736 22 | 0.145 % | 6.09/6.17 c | 86183 | 105 154 3332 | 6050 2887 22 | 0.154 % | 6.09/6.19 c | 86409 | 105 154 3332 | 6655 3113 22 | 0.146 % | 6.19/6.21 c | 86746 | 105 154 3332 | 7320 3450 22 | 0.156 % | 6.19/6.25 c | 87252 | 105 154 3332 | 8052 3956 22 | 0.147 % | 6.28/6.30 c | 88011 | 105 154 3332 | 8857 4715 23 | 0.156 % | 6.28/6.40 c | 89151 | 105 154 3332 | 9743 5855 23 | 0.155 % | 6.49/6.51 c | 90860 | 105 154 3332 | 10717 7564 23 | 0.155 % | 6.59/6.69 c =============================================================================== 6.59/6.69 c New solution: 5515 6.59/6.69 o 5515 6.59/6.69 c Elapsed CPU time: 6.46802 s Remaining CPU time: 173.532 s 6.59/6.69 c =============================================================================== 6.59/6.69 c | 92849 | 105 155 3437 | 5000 9553 22 | 0.155 % | 6.69/6.71 c | 92951 | 105 155 3437 | 5500 4879 22 | 0.145 % | 6.69/6.72 c | 93101 | 105 155 3437 | 6050 5029 22 | 0.155 % | 6.69/6.74 c | 93326 | 105 155 3437 | 6655 5254 22 | 0.154 % | 6.69/6.77 c | 93664 | 105 155 3437 | 7320 5592 22 | 0.146 % | 6.78/6.80 c | 94171 | 105 155 3437 | 8052 6099 23 | 0.154 % | 6.78/6.87 c | 94932 | 105 155 3437 | 8857 6860 23 | 0.154 % | 6.88/6.96 c | 96072 | 105 155 3437 | 9743 8000 23 | 0.146 % | 7.09/7.12 c | 97780 | 105 155 3437 | 10717 9708 23 | 0.154 % | 7.28/7.34 c | 100342 | 105 155 3437 | 11789 6881 23 | 0.154 % | 7.58/7.69 c | 104187 | 105 155 3437 | 12968 10726 23 | 0.155 % | 7.99/8.07 c =============================================================================== 7.99/8.07 c New solution: 5499 7.99/8.08 o 5499 7.99/8.08 c Elapsed CPU time: 7.82481 s Remaining CPU time: 172.175 s 7.99/8.08 c =============================================================================== 7.99/8.08 c | 108082 | 105 156 3542 | 5000 8101 23 | 0.155 % | 7.99/8.09 c | 108182 | 105 156 3542 | 5500 4151 24 | 0.009 % | 8.08/8.10 c | 108332 | 105 156 3542 | 6050 4301 24 | 0.155 % | 8.08/8.12 c | 108558 | 105 156 3542 | 6655 4527 24 | 0.146 % | 8.08/8.15 c | 108895 | 105 156 3542 | 7320 4864 24 | 0.155 % | 8.08/8.19 c | 109401 | 105 156 3542 | 8052 5370 24 | 0.010 % | 8.18/8.24 c | 110161 | 105 156 3542 | 8857 6130 23 | 0.156 % | 8.29/8.34 c | 111302 | 105 156 3542 | 9743 7271 24 | 0.145 % | 8.38/8.48 c | 113010 | 105 156 3542 | 10717 8979 24 | 0.154 % | 8.48/8.50 c =============================================================================== 8.48/8.50 c New solution: 5492 8.48/8.50 o 5492 8.48/8.50 c Elapsed CPU time: 8.23875 s Remaining CPU time: 171.761 s 8.48/8.50 c =============================================================================== 8.48/8.50 c | 113230 | 105 157 3647 | 5000 9199 24 | 0.154 % | 8.48/8.52 c | 113331 | 105 157 3647 | 5500 4701 24 | 0.154 % | 8.48/8.54 c | 113482 | 105 157 3647 | 6050 4852 24 | 0.155 % | 8.48/8.56 c | 113707 | 105 157 3647 | 6655 5077 24 | 0.154 % | 8.48/8.58 c | 114046 | 105 157 3647 | 7320 5416 24 | 0.154 % | 8.59/8.63 c | 114552 | 105 157 3647 | 8052 5922 24 | 0.154 % | 8.59/8.70 c | 115312 | 105 157 3647 | 8857 6682 24 | 0.154 % | 8.68/8.80 c | 116451 | 105 157 3647 | 9743 7821 24 | 0.154 % | 8.89/8.95 c | 118159 | 105 157 3647 | 10717 9529 24 | 0.154 % | 9.18/9.23 c | 120721 | 105 157 3647 | 11789 6706 24 | 0.156 % | 9.48/9.58 c =============================================================================== 9.48/9.58 c New solution: 5318 9.48/9.58 o 5318 9.48/9.58 c Elapsed CPU time: 9.29459 s Remaining CPU time: 170.705 s 9.48/9.58 c =============================================================================== 9.48/9.58 c | 124406 | 105 158 3752 | 5000 10391 24 | 0.156 % | 9.58/9.61 c | 124506 | 105 158 3752 | 5500 2698 23 | 0.010 % | 9.58/9.62 c | 124657 | 105 158 3752 | 6050 2849 23 | 0.155 % | 9.58/9.64 c | 124883 | 105 158 3752 | 6655 3075 23 | 0.146 % | 9.58/9.66 c | 125220 | 105 158 3752 | 7320 3412 23 | 0.156 % | 9.68/9.70 c | 125729 | 105 158 3752 | 8052 3921 23 | 0.146 % | 9.68/9.75 c | 126488 | 105 158 3752 | 8857 4680 22 | 0.156 % | 9.79/9.80 c =============================================================================== 9.79/9.80 c New solution: 5295 9.79/9.80 o 5295 9.79/9.80 c Elapsed CPU time: 9.50755 s Remaining CPU time: 170.492 s 9.79/9.80 c =============================================================================== 9.79/9.80 c | 127110 | 105 159 3857 | 5000 5302 23 | 0.156 % | 9.79/9.81 c | 127210 | 105 159 3857 | 5500 2751 22 | 0.155 % | 9.79/9.83 c | 127360 | 105 159 3857 | 6050 2901 22 | 0.147 % | 9.79/9.84 c | 127585 | 105 159 3857 | 6655 3126 22 | 0.156 % | 9.79/9.87 c | 127922 | 105 159 3857 | 7320 3463 22 | 0.154 % | 9.89/9.91 c | 128428 | 105 159 3857 | 8052 3969 22 | 0.154 % | 9.89/9.96 c | 129187 | 105 159 3857 | 8857 4728 22 | 0.155 % | 9.99/10.07 c | 130327 | 105 159 3857 | 9743 5868 23 | 0.154 % | 10.18/10.22 c | 132036 | 105 159 3857 | 10717 7577 23 | 0.154 % | 10.48/10.50 c | 134598 | 105 159 3857 | 11789 10139 23 | 0.156 % | 10.78/10.85 c | 138443 | 105 159 3857 | 12968 8050 24 | 0.155 % | 11.18/11.26 c =============================================================================== 11.18/11.26 c New solution: 5278 11.18/11.26 o 5278 11.18/11.26 c Elapsed CPU time: 10.9233 s Remaining CPU time: 169.077 s 11.18/11.26 c =============================================================================== 11.18/11.26 c | 142590 | 105 160 3962 | 5000 12197 23 | 0.155 % | 11.18/11.29 c | 142690 | 105 160 3962 | 5500 3150 21 | 0.145 % | 11.29/11.30 c | 142841 | 105 160 3962 | 6050 3301 21 | 0.156 % | 11.29/11.32 c | 143066 | 105 160 3962 | 6655 3526 21 | 0.146 % | 11.29/11.34 c | 143404 | 105 160 3962 | 7320 3864 21 | 0.156 % | 11.29/11.39 c | 143912 | 105 160 3962 | 8052 4372 22 | 0.010 % | 11.38/11.44 c | 144671 | 105 160 3962 | 8857 5131 22 | 0.156 % | 11.48/11.54 c | 145811 | 105 160 3962 | 9743 6271 22 | 0.155 % | 11.59/11.67 c | 147520 | 105 160 3962 | 10717 7980 22 | 0.156 % | 11.89/11.91 c | 150082 | 105 160 3962 | 11789 10542 23 | 0.154 % | 11.89/11.92 c =============================================================================== 11.89/11.92 c New solution: 5266 11.89/11.92 o 5266 11.89/11.92 c Elapsed CPU time: 11.5652 s Remaining CPU time: 168.435 s 11.89/11.92 c =============================================================================== 11.89/11.92 c | 150174 | 105 161 4067 | 5000 10634 23 | 0.154 % | 11.89/11.95 c | 150274 | 105 161 4067 | 5500 2759 24 | 0.154 % | 11.89/11.96 c | 150424 | 105 161 4067 | 6050 2909 24 | 0.155 % | 11.89/11.98 c | 150649 | 105 161 4067 | 6655 3134 24 | 0.154 % | 11.98/12.00 c | 150987 | 105 161 4067 | 7320 3472 23 | 0.155 % | 11.98/12.04 c | 151494 | 105 161 4067 | 8052 3979 23 | 0.154 % | 12.09/12.10 c | 152253 | 105 161 4067 | 8857 4738 23 | 0.336 % | 12.09/12.19 c | 153392 | 105 161 4067 | 9743 5877 23 | 0.156 % | 12.28/12.34 c | 155100 | 104 161 4067 | 10717 7556 23 | 1.098 % | 12.38/12.41 c =============================================================================== 12.38/12.41 c New solution: 5215 12.38/12.41 o 5215 12.38/12.41 c Elapsed CPU time: 12.0342 s Remaining CPU time: 167.966 s 12.38/12.41 c =============================================================================== 12.38/12.41 c | 155629 | 104 162 4172 | 5000 8085 23 | 1.098 % | 12.38/12.42 c | 155729 | 104 162 4172 | 5500 4143 24 | 0.962 % | 12.38/12.44 c | 155879 | 104 162 4172 | 6050 4293 24 | 1.099 % | 12.38/12.46 c | 156104 | 104 162 4172 | 6655 4518 24 | 1.099 % | 12.38/12.49 c | 156441 | 104 162 4172 | 7320 4855 24 | 1.099 % | 12.48/12.53 c | 156947 | 104 162 4172 | 8052 5361 24 | 1.098 % | 12.48/12.57 c =============================================================================== 12.48/12.57 c New solution: 5192 12.48/12.57 o 5192 12.48/12.57 c Elapsed CPU time: 12.2011 s Remaining CPU time: 167.799 s 12.48/12.57 c =============================================================================== 12.48/12.57 c | 157406 | 104 163 4277 | 5000 5820 24 | 1.098 % | 12.48/12.59 c | 157506 | 104 163 4277 | 5500 3010 25 | 1.098 % | 12.58/12.60 c | 157657 | 104 163 4277 | 6050 3161 25 | 0.963 % | 12.58/12.62 c | 157882 | 104 163 4277 | 6655 3386 25 | 1.099 % | 12.58/12.66 c | 158219 | 104 163 4277 | 7320 3723 25 | 1.099 % | 12.58/12.69 c | 158725 | 104 163 4277 | 8052 4229 25 | 1.099 % | 12.69/12.78 c | 159484 | 104 163 4277 | 8857 4988 25 | 1.099 % | 12.78/12.88 c | 160624 | 104 163 4277 | 9743 6128 25 | 1.098 % | 12.98/13.04 c | 162334 | 104 163 4277 | 10717 7838 25 | 1.110 % | 13.19/13.27 c | 164896 | 104 163 4277 | 11789 10400 24 | 1.099 % | 13.58/13.66 c | 168741 | 103 163 4277 | 12968 7610 20 | 1.915 % | 14.18/14.29 c | 174507 | 102 163 4277 | 14265 6860 23 | 2.993 % | 15.28/15.31 c | 183157 | 102 163 4277 | 15692 8355 20 | 2.930 % | 16.68/16.71 c =============================================================================== 16.68/16.71 c New solution: 5182 16.68/16.71 o 5182 16.68/16.71 c Elapsed CPU time: 16.2195 s Remaining CPU time: 163.78 s 16.68/16.71 c =============================================================================== 16.68/16.71 c | 195999 | 95 164 4382 | 5000 13321 20 | 2.930 % | 16.68/16.75 c | 196100 | 95 164 4382 | 5500 4102 20 | 9.533 % | 16.68/16.76 c | 196250 | 95 164 4382 | 6050 4252 20 | 9.533 % | 16.68/16.78 c | 196476 | 95 164 4382 | 6655 4478 20 | 9.533 % | 16.78/16.81 c | 196813 | 95 164 4382 | 7320 4815 20 | 9.533 % | 16.78/16.86 c | 197319 | 95 164 4382 | 8052 5321 21 | 9.651 % | 16.88/16.92 c | 198078 | 95 164 4382 | 8857 6080 21 | 9.533 % | 16.98/17.04 c | 199217 | 95 164 4382 | 9743 7219 21 | 9.533 % | 17.18/17.22 c | 200927 | 95 164 4382 | 10717 8929 21 | 9.533 % | 17.48/17.52 c | 203490 | 95 164 4382 | 11789 6105 21 | 9.687 % | 17.68/17.78 c =============================================================================== 17.68/17.78 c New solution: 5148 17.68/17.78 o 5148 17.68/17.78 c Elapsed CPU time: 17.2694 s Remaining CPU time: 162.731 s 17.68/17.78 c =============================================================================== 17.68/17.78 c | 206227 | 95 165 4487 | 5000 8842 21 | 9.687 % | 17.78/17.80 c | 206327 | 95 165 4487 | 5500 4521 21 | 9.689 % | 17.78/17.82 c | 206479 | 95 165 4487 | 6050 4673 21 | 9.624 % | 17.78/17.84 c | 206706 | 95 165 4487 | 6655 4900 21 | 9.924 % | 17.78/17.87 c | 207044 | 88 165 4487 | 7320 5238 21 | 16.227 % | 17.88/17.92 c | 207550 | 71 165 4487 | 8052 5744 21 | 36.365 % | 17.88/17.93 c =============================================================================== 17.88/17.93 c Best Solution: 5148 17.88/17.93 s OPTIMUM FOUND 17.88/17.93 c Total CPU time: 17.4114 s 17.88/17.93 v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105
OK 5148
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680409-1277459188/watcher-2680409-1277459188 -o /tmp/evaluation-result-2680409-1277459188/solver-2680409-1277459188 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680409-1277459188.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.92 0.98 0.96 3/106 26552 /proc/meminfo: memFree=1852132/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=2568 CPUtime=0 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 87211440 2629632 193 1992294400 134512640 135752675 4291035776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 642 193 145 303 0 337 0 [startup+0.108554 s] /proc/loadavg: 0.92 0.98 0.96 3/106 26552 /proc/meminfo: memFree=1852132/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=3100 CPUtime=0.1 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 405 0 0 0 10 0 0 0 20 0 1 0 87211440 3174400 323 1992294400 134512640 135752675 4291035776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 775 323 145 303 0 470 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3100 [startup+0.201563 s] /proc/loadavg: 0.92 0.98 0.96 3/106 26552 /proc/meminfo: memFree=1852132/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=3376 CPUtime=0.19 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 505 0 0 0 19 0 0 0 20 0 1 0 87211440 3457024 423 1992294400 134512640 135752675 4291035776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 844 423 145 303 0 539 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3376 [startup+0.301571 s] /proc/loadavg: 0.92 0.98 0.96 3/106 26552 /proc/meminfo: memFree=1852132/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=3768 CPUtime=0.29 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 598 0 0 0 28 1 0 0 20 0 1 0 87211440 3858432 516 1992294400 134512640 135752675 4291035776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 942 516 145 303 0 637 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3768 [startup+0.700605 s] /proc/loadavg: 0.92 0.98 0.96 3/106 26552 /proc/meminfo: memFree=1852132/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=5220 CPUtime=0.69 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 965 0 0 0 66 3 0 0 20 0 1 0 87211440 5345280 883 1992294400 134512640 135752675 4291035776 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 1305 883 145 303 0 1000 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5220 [startup+1.50068 s] /proc/loadavg: 0.92 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1847784/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=7720 CPUtime=1.49 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 1593 0 0 0 143 6 0 0 22 0 1 0 87211440 7905280 1511 1992294400 134512640 135752675 4291035776 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 1930 1511 145 303 0 1625 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7720 [startup+3.10182 s] /proc/loadavg: 0.92 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1844064/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=12600 CPUtime=3.08 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 2783 0 0 0 297 11 0 0 25 0 1 0 87211440 12902400 2701 1992294400 134512640 135752675 4291035776 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 3150 2701 145 303 0 2845 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12600 [startup+6.3011 s] /proc/loadavg: 0.93 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1835012/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=20772 CPUtime=6.28 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 4846 0 0 0 608 20 0 0 25 0 1 0 87211440 21270528 4764 1992294400 134512640 135752675 4291035776 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 5193 4764 145 303 0 4888 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20772 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1820008/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=35196 CPUtime=12.69 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 8448 0 0 0 1232 37 0 0 25 0 1 0 87211440 36040704 8366 1992294400 134512640 135752675 4291035776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 8799 8366 145 303 0 8494 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35196 Solver just ended. Dumping a history of the last processes samples [startup+12.8017 s] /proc/loadavg: 0.93 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1820008/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=35460 CPUtime=12.78 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 8498 0 0 0 1241 37 0 0 25 0 1 0 87211440 36311040 8416 1992294400 134512640 135752675 4291035776 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 8865 8416 145 303 0 8560 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 35460 [startup+16.0009 s] /proc/loadavg: 0.94 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1813560/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=41412 CPUtime=15.97 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 9980 0 0 0 1551 46 0 0 25 0 1 0 87211440 42405888 9898 1992294400 134512640 135752675 4291035776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 10353 9898 145 303 0 10048 0 Current children cumulated CPU time (s) 15.97 Current children cumulated vsize (KiB) 41412 [startup+16.801 s] /proc/loadavg: 0.94 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1811576/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=42728 CPUtime=16.78 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 10333 0 0 0 1630 48 0 0 25 0 1 0 87211440 43753472 10251 1992294400 134512640 135752675 4291035776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 10682 10251 145 303 0 10377 0 Current children cumulated CPU time (s) 16.78 Current children cumulated vsize (KiB) 42728 [startup+17.6011 s] /proc/loadavg: 0.94 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1809592/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=44308 CPUtime=17.58 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 10715 0 0 0 1709 49 0 0 25 0 1 0 87211440 45371392 10633 1992294400 134512640 135752675 4291035776 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 11077 10633 145 303 0 10772 0 Current children cumulated CPU time (s) 17.58 Current children cumulated vsize (KiB) 44308 [startup+17.8011 s] /proc/loadavg: 0.94 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1809592/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=44700 CPUtime=17.78 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 10806 0 0 0 1728 50 0 0 25 0 1 0 87211440 45772800 10724 1992294400 134512640 135752675 4291035776 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 11175 10724 145 303 0 10870 0 Current children cumulated CPU time (s) 17.78 Current children cumulated vsize (KiB) 44700 [startup+17.9011 s] /proc/loadavg: 0.94 0.98 0.96 2/107 26553 /proc/meminfo: memFree=1809592/2059040 swapFree=4140412/4192956 [pid=26552] ppid=26550 vsize=44832 CPUtime=17.88 /proc/26552/stat : 26552 (wbo1.4b) R 26550 26552 25920 0 -1 4202496 10861 0 0 0 1738 50 0 0 25 0 1 0 87211440 45907968 10779 1992294400 134512640 135752675 4291035776 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26552/statm: 11208 10779 145 303 0 10903 0 Current children cumulated CPU time (s) 17.88 Current children cumulated vsize (KiB) 44832 Child status: 0 Real time (s): 17.9376 CPU time (s): 17.9243 CPU user time (s): 17.4114 CPU system time (s): 0.512922 CPU usage (%): 99.9255 Max. virtual memory (cumulated for all children) (KiB): 44832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.4114 system time used= 0.512922 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10877 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= 1 involuntary context switches= 547 runsolver used 0.033994 second user time and 0.099984 second system time The end
Begin job on node041 at 2010-06-25 11:46:28 IDJOB=2680409 IDBENCH=24971 IDSOLVER=1190 FILE ID=node041/2680409-1277459188 PBS_JOBID= 11188126 Free space on /tmp= 61680 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-7_14.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680409-1277459188/watcher-2680409-1277459188 -o /tmp/evaluation-result-2680409-1277459188/solver-2680409-1277459188 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680409-1277459188.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d99cfd7c624f6e153a873fe4512e21db RANDOM SEED=1227085204 node041.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.251 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.50 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.251 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1852660 kB Buffers: 21732 kB Cached: 88056 kB SwapCached: 5276 kB Active: 60924 kB Inactive: 61788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1852660 kB SwapTotal: 4192956 kB SwapFree: 4140412 kB Dirty: 2636 kB Writeback: 0 kB AnonPages: 11576 kB Mapped: 11988 kB Slab: 61704 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182224 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= 61676 MiB End job on node041 at 2010-06-25 11:46:46