Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.14 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 1791.86 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 82 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5856 |
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-2656060-1276612712.opb. 0.00/0.00 c Instance file HOME/instance-2656060-1276612712.opb 0.00/0.00 c File size is 13159 bytes. 0.00/0.00 c Highest Coefficient sum: 5856 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: 198 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 16 | 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 | 198 16 1354 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1080 0.00/0.00 o 1080 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 | 198 17 1482 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 198 17 1482 | 5500 101 79 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 702 0.00/0.01 o 702 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 119 | 198 18 1610 | 5000 119 78 | 0.003 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 671 0.00/0.01 o 671 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 149 | 198 19 1738 | 5000 149 75 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 667 0.00/0.02 o 667 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 170 | 198 20 1866 | 5000 170 72 | 0.003 % | 0.00/0.03 c | 270 | 198 20 1866 | 5500 270 71 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 664 0.00/0.04 o 664 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 344 | 198 21 1994 | 5000 344 68 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 662 0.00/0.04 o 662 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 358 | 198 22 2122 | 5000 358 69 | 0.003 % | 0.00/0.05 c | 460 | 198 22 2122 | 5500 460 70 | 0.003 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 533 0.00/0.06 o 533 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 559 | 198 23 2250 | 5000 559 70 | 0.003 % | 0.06/0.07 c | 660 | 198 23 2250 | 5500 660 69 | 0.003 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: 524 0.06/0.07 o 524 0.06/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 660 | 198 24 2378 | 5000 660 69 | 0.003 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: 522 0.06/0.07 o 522 0.06/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 660 | 198 25 2506 | 5000 660 69 | 0.003 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: 518 0.06/0.07 o 518 0.06/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 663 | 198 26 2634 | 5000 663 69 | 0.003 % | 0.06/0.07 c =============================================================================== 0.06/0.07 c New solution: 505 0.06/0.07 o 505 0.06/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.06/0.07 c =============================================================================== 0.06/0.07 c | 666 | 198 27 2762 | 5000 666 68 | 0.003 % | 0.06/0.09 c | 766 | 198 27 2762 | 5500 766 69 | 0.003 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 503 0.06/0.09 o 503 0.06/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 793 | 198 28 2890 | 5000 793 68 | 0.003 % | 0.06/0.09 c =============================================================================== 0.06/0.09 c New solution: 485 0.06/0.09 o 485 0.06/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s 0.06/0.09 c =============================================================================== 0.06/0.09 c | 799 | 198 29 3018 | 5000 799 68 | 0.003 % | 0.06/0.10 c =============================================================================== 0.06/0.10 c New solution: 451 0.06/0.10 o 451 0.06/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s 0.06/0.10 c =============================================================================== 0.06/0.10 c | 803 | 198 30 3146 | 5000 803 68 | 0.003 % | 0.09/0.11 c | 904 | 198 30 3146 | 5500 904 70 | 0.003 % | 0.09/0.13 c | 1054 | 198 30 3146 | 6050 1054 70 | 0.003 % | 0.09/0.16 c | 1279 | 198 30 3146 | 6655 1279 69 | 0.003 % | 0.19/0.20 c | 1617 | 198 30 3146 | 7320 1617 69 | 0.003 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 434 0.19/0.21 o 434 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1660 | 198 31 3274 | 5000 1660 69 | 0.003 % | 0.19/0.22 c | 1760 | 198 31 3274 | 5500 1760 69 | 0.003 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 309 0.19/0.23 o 309 0.19/0.23 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1851 | 198 32 3402 | 5000 1851 68 | 0.003 % | 0.19/0.25 c | 1951 | 198 32 3402 | 5500 1951 68 | 0.003 % | 0.19/0.27 c | 2101 | 198 32 3402 | 6050 2101 67 | 0.003 % | 0.29/0.30 c | 2327 | 198 32 3402 | 6655 2327 66 | 0.003 % | 0.29/0.34 c | 2665 | 198 32 3402 | 7320 2665 65 | 0.003 % | 0.39/0.42 c | 3172 | 198 32 3402 | 8052 3172 64 | 0.003 % | 0.49/0.53 c | 3934 | 198 32 3402 | 8857 3934 64 | 0.003 % | 0.69/0.71 c | 5073 | 198 32 3402 | 9743 5073 63 | 0.003 % | 0.99/1.01 c | 6781 | 198 32 3402 | 10717 6781 62 | 0.003 % | 1.49/1.53 c | 9343 | 198 32 3402 | 11789 9343 63 | 0.003 % | 2.29/2.34 c | 13189 | 198 32 3402 | 12968 7264 62 | 0.003 % | 2.29/2.35 c =============================================================================== 2.29/2.35 c New solution: 279 2.29/2.35 o 279 2.29/2.35 c Elapsed CPU time: 2.30765 s Remaining CPU time: 177.692 s 2.29/2.35 c =============================================================================== 2.29/2.35 c | 13253 | 198 33 3530 | 5000 7328 62 | 0.003 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c New solution: 269 2.29/2.37 o 269 2.29/2.37 c Elapsed CPU time: 2.32265 s Remaining CPU time: 177.677 s 2.29/2.37 c =============================================================================== 2.29/2.37 c | 13276 | 198 34 3658 | 5000 3687 62 | 0.003 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c New solution: 267 2.29/2.37 o 267 2.29/2.37 c Elapsed CPU time: 2.32465 s Remaining CPU time: 177.675 s 2.29/2.37 c =============================================================================== 2.29/2.37 c | 13279 | 198 35 3786 | 5000 3690 62 | 0.003 % | 2.29/2.38 c | 13379 | 198 35 3786 | 5500 3790 62 | 0.003 % | 2.39/2.41 c | 13529 | 198 35 3786 | 6050 3940 64 | 0.003 % | 2.39/2.44 c | 13754 | 198 35 3786 | 6655 4165 64 | 0.003 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c New solution: 214 2.39/2.48 o 214 2.39/2.48 c Elapsed CPU time: 2.43363 s Remaining CPU time: 177.566 s 2.39/2.48 c =============================================================================== 2.39/2.48 c | 14040 | 198 36 3914 | 5000 4451 64 | 0.003 % | 2.48/2.50 c | 14140 | 198 36 3914 | 5500 4551 64 | 0.003 % | 2.48/2.50 c =============================================================================== 2.48/2.50 c New solution: 194 2.48/2.50 o 194 2.48/2.50 c Elapsed CPU time: 2.45763 s Remaining CPU time: 177.542 s 2.48/2.50 c =============================================================================== 2.48/2.50 c | 14166 | 198 37 4042 | 5000 4577 64 | 0.003 % | 2.48/2.52 c | 14266 | 198 37 4042 | 5500 4677 64 | 0.003 % | 2.48/2.55 c | 14416 | 198 37 4042 | 6050 4827 64 | 0.003 % | 2.48/2.58 c | 14641 | 198 37 4042 | 6655 5052 64 | 0.003 % | 2.59/2.65 c | 14978 | 198 37 4042 | 7320 5389 63 | 0.003 % | 2.69/2.74 c | 15485 | 198 37 4042 | 8052 5896 63 | 0.003 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: 178 2.79/2.85 o 178 2.79/2.85 c Elapsed CPU time: 2.79657 s Remaining CPU time: 177.203 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 16063 | 198 38 4170 | 5000 6474 63 | 0.003 % | 2.79/2.88 c | 16163 | 198 38 4170 | 5500 3337 65 | 0.003 % | 2.89/2.91 c | 16313 | 198 38 4170 | 6050 3487 65 | 0.003 % | 2.89/2.95 c | 16541 | 198 38 4170 | 6655 3715 65 | 0.003 % | 2.98/3.01 c | 16878 | 198 38 4170 | 7320 4052 64 | 0.003 % | 3.08/3.10 c | 17384 | 198 38 4170 | 8052 4558 64 | 0.003 % | 3.20/3.23 c | 18144 | 198 38 4170 | 8857 5318 63 | 0.003 % | 3.39/3.44 c | 19283 | 198 38 4170 | 9743 6457 62 | 0.003 % | 3.69/3.75 c | 20991 | 198 38 4170 | 10717 8165 61 | 0.003 % | 3.79/3.89 c =============================================================================== 3.79/3.89 c New solution: 146 3.79/3.89 o 146 3.79/3.89 c Elapsed CPU time: 3.82342 s Remaining CPU time: 176.177 s 3.79/3.89 c =============================================================================== 3.79/3.89 c | 21745 | 198 39 4298 | 5000 8919 61 | 0.003 % | 3.89/3.93 c | 21845 | 198 39 4298 | 5500 4560 59 | 0.003 % | 3.89/3.96 c | 21995 | 198 39 4298 | 6050 4710 59 | 0.003 % | 3.89/3.99 c =============================================================================== 3.89/3.99 c New solution: 144 3.89/3.99 o 144 3.89/3.99 c Elapsed CPU time: 3.9224 s Remaining CPU time: 176.078 s 3.89/3.99 c =============================================================================== 3.89/3.99 c | 22199 | 198 40 4426 | 5000 4914 59 | 0.003 % | 3.99/4.01 c | 22299 | 198 40 4426 | 5500 5014 59 | 0.003 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c New solution: 133 3.99/4.02 o 133 3.99/4.02 c Elapsed CPU time: 3.9534 s Remaining CPU time: 176.047 s 3.99/4.02 c =============================================================================== 3.99/4.02 c | 22373 | 198 41 4554 | 5000 5088 59 | 0.003 % | 3.99/4.05 c | 22473 | 198 41 4554 | 5500 2644 60 | 0.003 % | 3.99/4.07 c | 22623 | 198 41 4554 | 6050 2794 60 | 0.003 % | 4.09/4.11 c | 22848 | 198 41 4554 | 6655 3019 60 | 0.003 % | 4.09/4.17 c | 23185 | 198 41 4554 | 7320 3356 60 | 0.003 % | 4.19/4.27 c | 23691 | 198 41 4554 | 8052 3862 60 | 0.003 % | 4.29/4.39 c =============================================================================== 4.29/4.39 c New solution: 114 4.29/4.39 o 114 4.29/4.39 c Elapsed CPU time: 4.31334 s Remaining CPU time: 175.687 s 4.29/4.39 c =============================================================================== 4.29/4.39 c | 24408 | 198 42 4682 | 5000 4579 60 | 0.003 % | 4.39/4.41 c | 24508 | 182 42 4682 | 5500 4552 61 | 8.083 % | 4.39/4.44 c | 24658 | 182 42 4682 | 6050 4702 61 | 8.083 % | 4.39/4.47 c =============================================================================== 4.39/4.47 c New solution: 107 4.39/4.47 o 107 4.39/4.47 c Elapsed CPU time: 4.39633 s Remaining CPU time: 175.604 s 4.39/4.47 c =============================================================================== 4.39/4.47 c | 24797 | 182 43 4810 | 5000 4841 61 | 8.083 % | 4.39/4.49 c | 24897 | 182 43 4810 | 5500 4941 61 | 8.083 % | 4.49/4.53 c | 25049 | 182 43 4810 | 6050 5093 61 | 8.083 % | 4.49/4.58 c | 25274 | 182 43 4810 | 6655 5318 61 | 8.083 % | 4.59/4.65 c | 25611 | 182 43 4810 | 7320 5655 61 | 8.083 % | 4.69/4.75 c | 26117 | 182 43 4810 | 8052 6161 61 | 8.083 % | 4.79/4.89 c | 26876 | 182 43 4810 | 8857 6920 61 | 8.083 % | 4.99/5.08 c =============================================================================== 4.99/5.08 c New solution: 79 4.99/5.08 o 79 4.99/5.08 c Elapsed CPU time: 4.99224 s Remaining CPU time: 175.008 s 4.99/5.08 c =============================================================================== 4.99/5.08 c | 27706 | 182 44 4938 | 5000 7750 62 | 8.083 % | 5.09/5.11 c | 27806 | 182 44 4938 | 5500 3975 64 | 8.083 % | 5.09/5.14 c | 27956 | 182 44 4938 | 6050 4125 63 | 8.083 % | 5.09/5.18 c | 28181 | 182 44 4938 | 6655 4350 63 | 8.083 % | 5.18/5.24 c | 28519 | 182 44 4938 | 7320 4688 63 | 8.083 % | 5.28/5.33 c | 29026 | 182 44 4938 | 8052 5195 62 | 8.083 % | 5.40/5.47 c | 29786 | 182 44 4938 | 8857 5955 62 | 8.083 % | 5.59/5.68 c | 30926 | 182 44 4938 | 9743 7095 62 | 8.083 % | 5.99/6.03 c | 32635 | 182 44 4938 | 10717 8804 62 | 8.083 % | 6.60/6.62 c =============================================================================== 6.60/6.62 c New solution: 71 6.60/6.62 o 71 6.60/6.62 c Elapsed CPU time: 6.51001 s Remaining CPU time: 173.49 s 6.60/6.62 c =============================================================================== 6.60/6.62 c | 35195 | 182 45 5066 | 5000 5969 61 | 8.083 % | 6.60/6.64 c =============================================================================== 6.60/6.64 c New solution: 69 6.60/6.64 o 69 6.60/6.64 c Elapsed CPU time: 6.52601 s Remaining CPU time: 173.474 s 6.60/6.64 c =============================================================================== 6.60/6.64 c | 35207 | 182 46 5194 | 5000 2997 61 | 8.083 % | 6.60/6.66 c | 35307 | 182 46 5194 | 5500 3097 61 | 8.083 % | 6.60/6.69 c | 35457 | 182 46 5194 | 6050 3247 61 | 8.083 % | 6.69/6.73 c | 35682 | 182 46 5194 | 6655 3472 61 | 8.083 % | 6.79/6.80 c | 36019 | 182 46 5194 | 7320 3809 61 | 8.083 % | 6.79/6.89 c | 36525 | 182 46 5194 | 8052 4315 60 | 8.083 % | 6.99/7.04 c | 37286 | 182 46 5194 | 8857 5076 60 | 8.083 % | 7.19/7.26 c | 38427 | 182 46 5194 | 9743 6217 60 | 8.083 % | 7.59/7.64 c | 40135 | 182 46 5194 | 10717 7925 60 | 8.083 % | 8.19/8.21 c | 42697 | 182 46 5194 | 11789 10487 60 | 8.083 % | 9.09/9.13 c | 46541 | 182 46 5194 | 12968 8402 60 | 8.083 % | 10.49/10.52 c | 52308 | 182 46 5194 | 14265 7649 60 | 8.083 % | 12.59/12.62 c | 60957 | 182 46 5194 | 15692 9128 60 | 8.083 % | 15.89/15.93 c | 73931 | 182 46 5194 | 17261 14213 59 | 8.083 % | 21.08/21.18 c | 93392 | 182 46 5194 | 18987 16356 59 | 8.083 % | 29.88/29.96 c | 122584 | 182 46 5194 | 20886 16965 61 | 8.083 % | 42.88/42.94 c | 166373 | 182 46 5194 | 22974 18845 60 | 8.083 % | 63.47/63.59 c | 232063 | 182 46 5194 | 25272 10875 59 | 8.083 % | 95.06/95.19 c | 330589 | 182 46 5194 | 27799 24589 59 | 8.083 % | 110.35/110.48 c =============================================================================== 110.35/110.48 c New solution: 63 110.35/110.48 o 63 110.35/110.48 c Elapsed CPU time: 109.301 s Remaining CPU time: 70.6986 s 110.35/110.48 c =============================================================================== 110.35/110.48 c | 375154 | 182 47 5322 | 5000 19130 60 | 8.083 % | 110.55/110.67 c | 375254 | 166 47 5322 | 5500 4777 60 | 16.164 % | 110.65/110.70 c | 375405 | 166 47 5322 | 6050 4928 60 | 16.164 % | 110.65/110.76 c | 375630 | 166 47 5322 | 6655 5153 60 | 16.164 % | 110.75/110.83 c | 375967 | 166 47 5322 | 7320 5490 60 | 16.164 % | 110.85/110.95 c | 376473 | 166 47 5322 | 8052 5996 61 | 16.164 % | 111.06/111.13 c | 377232 | 166 47 5322 | 8857 6755 61 | 16.164 % | 111.25/111.38 c | 378371 | 166 47 5322 | 9743 7894 62 | 16.164 % | 111.65/111.76 c | 380080 | 166 47 5322 | 10717 9603 63 | 16.164 % | 112.25/112.40 c | 382642 | 166 47 5322 | 11789 6760 66 | 16.164 % | 113.16/113.25 c | 386486 | 166 47 5322 | 12968 10604 67 | 16.164 % | 114.65/114.71 c | 392252 | 166 47 5322 | 14265 9844 68 | 16.164 % | 116.74/116.80 c | 400901 | 166 47 5322 | 15692 11321 67 | 16.164 % | 120.45/120.58 c | 413876 | 166 47 5322 | 17261 8527 67 | 16.164 % | 126.14/126.29 c | 433337 | 166 47 5322 | 18987 10641 66 | 16.164 % | 135.15/135.24 c | 462530 | 166 47 5322 | 20886 11225 69 | 16.164 % | 142.13/142.26 c =============================================================================== 142.13/142.26 c New solution: 60 142.13/142.26 o 60 142.13/142.26 c Elapsed CPU time: 140.747 s Remaining CPU time: 39.2534 s 142.13/142.26 c =============================================================================== 142.13/142.26 c | 484511 | 166 48 5450 | 5000 12235 67 | 16.164 % | 142.23/142.34 c | 484611 | 166 48 5450 | 5500 3159 66 | 16.164 % | 142.23/142.37 c | 484761 | 166 48 5450 | 6050 3309 66 | 16.164 % | 142.33/142.42 c | 484986 | 166 48 5450 | 6655 3534 66 | 16.164 % | 142.33/142.49 c | 485323 | 166 48 5450 | 7320 3871 66 | 16.164 % | 142.44/142.59 c | 485829 | 166 48 5450 | 8052 4377 66 | 16.164 % | 142.64/142.75 c | 486588 | 166 48 5450 | 8857 5136 67 | 16.164 % | 142.84/142.98 c | 487727 | 166 48 5450 | 9743 6275 67 | 16.164 % | 143.24/143.36 c | 489435 | 166 48 5450 | 10717 7983 67 | 16.164 % | 143.83/143.96 c | 491997 | 166 48 5450 | 11789 10545 67 | 16.164 % | 144.73/144.89 c | 495841 | 166 48 5450 | 12968 8449 68 | 16.164 % | 146.33/146.41 c | 501607 | 166 48 5450 | 14265 7688 68 | 16.164 % | 148.34/148.49 c | 510256 | 166 48 5450 | 15692 9163 66 | 16.164 % | 151.64/151.78 c | 523230 | 166 48 5450 | 17261 14242 66 | 16.164 % | 157.33/157.48 c | 542691 | 166 48 5450 | 18987 16358 67 | 16.164 % | 166.63/166.79 c | 571883 | 166 48 5450 | 20886 16945 70 | 16.164 % | 180.92/181.05 c | 615673 | 166 48 5450 | 22974 18806 69 | 16.164 % | 181.81/181.91 c There are 32 assigned variables. 32 in cost function. 182.31/182.45 c ============================[ Search Statistics ]============================== 182.31/182.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.31/182.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.31/182.45 c =============================================================================== 182.31/182.45 c | 0 | 70 176 1290 | 5000 0 nan | 0.000 % | 182.31/182.47 c | 100 | 70 176 1290 | 5500 100 73 | 64.649 % | 182.42/182.50 c | 250 | 70 176 1290 | 6050 250 75 | 64.649 % | 182.42/182.54 c | 475 | 70 176 1290 | 6655 475 75 | 64.649 % | 182.42/182.59 c | 812 | 70 176 1290 | 7320 812 73 | 64.649 % | 182.62/182.70 c | 1318 | 70 176 1290 | 8052 1318 71 | 64.649 % | 182.72/182.85 c | 2077 | 70 176 1290 | 8857 2077 71 | 64.649 % | 182.92/183.02 c | 3216 | 70 176 1290 | 9743 3216 70 | 64.649 % | 183.22/183.31 c | 4925 | 70 176 1290 | 10717 4925 71 | 64.649 % | 183.72/183.84 c | 7487 | 70 176 1290 | 11789 7487 71 | 64.649 % | 184.63/184.77 c | 11331 | 70 176 1290 | 12968 11331 71 | 64.649 % | 186.11/186.22 c | 17097 | 70 176 1290 | 14265 10521 73 | 64.649 % | 188.22/188.30 c | 25746 | 70 176 1290 | 15692 11946 74 | 64.649 % | 191.62/191.74 c | 38720 | 70 176 1290 | 17261 9044 80 | 64.649 % | 197.21/197.33 c | 58181 | 70 176 1290 | 18987 11065 78 | 64.649 % | 205.91/206.06 c | 87373 | 70 176 1290 | 20886 11506 79 | 64.649 % | 219.11/219.24 c | 131162 | 70 176 1290 | 22974 13168 76 | 64.649 % | 241.39/241.51 c | 196846 | 70 176 1290 | 25272 16843 78 | 64.649 % | 278.28/278.48 c | 295372 | 70 176 1290 | 27799 13217 80 | 64.649 % | 335.17/335.31 c | 443161 | 70 176 1290 | 30579 24666 81 | 64.649 % | 431.13/431.30 c | 664844 | 70 176 1290 | 33637 29359 81 | 64.649 % | 588.86/589.17 c | 997369 | 70 176 1290 | 37001 21557 83 | 64.649 % | 854.67/855.08 c | 1496157 | 70 176 1290 | 40701 27158 84 | 64.649 % | 1254.72/1255.30 c | 2244339 | 70 176 1290 | 44771 36329 81 | 64.649 % |
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-2656060-1276612712/watcher-2656060-1276612712 -o /tmp/evaluation-result-2656060-1276612712/solver-2656060-1276612712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656060-1276612712.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9957 /proc/meminfo: memFree=1517460/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=2576 CPUtime=0 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 292 0 0 0 0 0 0 0 23 0 1 0 2563531 2637824 206 1992294400 134512640 135751879 4291116832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 644 206 146 303 0 339 0 [startup+0.0680029 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9957 /proc/meminfo: memFree=1517460/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=2840 CPUtime=0.06 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 350 0 0 0 6 0 0 0 23 0 1 0 2563531 2908160 264 1992294400 134512640 135751879 4291116832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 710 264 147 303 0 405 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2840 [startup+0.101009 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9957 /proc/meminfo: memFree=1517460/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=2840 CPUtime=0.09 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 380 0 0 0 9 0 0 0 23 0 1 0 2563531 2908160 294 1992294400 134512640 135751879 4291116832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 710 294 147 303 0 405 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2840 [startup+0.301045 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9957 /proc/meminfo: memFree=1517460/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=3488 CPUtime=0.29 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 523 0 0 0 29 0 0 0 24 0 1 0 2563531 3571712 437 1992294400 134512640 135751879 4291116832 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 872 437 147 303 0 567 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3488 [startup+0.701117 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9957 /proc/meminfo: memFree=1517460/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=4408 CPUtime=0.69 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 761 0 0 0 68 1 0 0 25 0 1 0 2563531 4513792 675 1992294400 134512640 135751879 4291116832 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 1102 676 147 303 0 797 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4408 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9958 /proc/meminfo: memFree=1514476/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=5984 CPUtime=1.49 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 1151 0 0 0 147 2 0 0 25 0 1 0 2563531 6127616 1065 1992294400 134512640 135751879 4291116832 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 1496 1065 147 303 0 1191 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5984 [startup+3.10055 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9958 /proc/meminfo: memFree=1512368/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=8980 CPUtime=3.08 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 1896 0 0 0 303 5 0 0 25 0 1 0 2563531 9195520 1810 1992294400 134512640 135751879 4291116832 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 2245 1810 148 303 0 1940 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8980 [startup+6.30114 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9958 /proc/meminfo: memFree=1506044/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=14712 CPUtime=6.29 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 3330 0 0 0 619 10 0 0 20 0 1 0 2563531 15065088 3244 1992294400 134512640 135751879 4291116832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 3678 3244 148 303 0 3373 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14712 [startup+12.7003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9958 /proc/meminfo: memFree=1495876/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=24272 CPUtime=12.69 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 5707 0 0 0 1251 18 0 0 25 0 1 0 2563531 24854528 5621 1992294400 134512640 135751879 4291116832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 6068 5621 148 303 0 5763 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24272 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9958 /proc/meminfo: memFree=1479508/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=39980 CPUtime=25.48 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 9642 0 0 0 2516 32 0 0 25 0 1 0 2563531 40939520 9556 1992294400 134512640 135751879 4291116832 18446744073709551615 134518802 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 9995 9556 148 303 0 9690 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39980 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9958 /proc/meminfo: memFree=1450492/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=69072 CPUtime=51.07 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 16914 0 0 0 5050 57 0 0 25 0 1 0 2563531 70729728 16828 1992294400 134512640 135751879 4291116832 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 17268 16828 148 303 0 16963 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69072 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9960 /proc/meminfo: memFree=1396552/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=122276 CPUtime=102.26 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 30195 0 0 0 10119 107 0 0 25 0 1 0 2563531 125210624 30109 1992294400 134512640 135751879 4291116832 18446744073709551615 134602478 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 30569 30109 148 303 0 30264 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 122276 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9962 /proc/meminfo: memFree=1324880/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=194640 CPUtime=162.22 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 48277 0 0 0 16058 164 0 0 25 0 1 0 2563531 199311360 48191 1992294400 134512640 135751879 4291116832 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 48660 48191 148 303 0 48355 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 194640 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9964 /proc/meminfo: memFree=1269700/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=248852 CPUtime=222.21 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 61871 0 0 0 21999 222 0 0 25 0 1 0 2563531 254824448 61757 1992294400 134512640 135751879 4291116832 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 62213 61757 150 303 0 61908 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 248852 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9966 /proc/meminfo: memFree=1214148/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=304648 CPUtime=282.18 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 75834 0 0 0 27942 276 0 0 25 0 1 0 2563531 311959552 75720 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 76162 75720 150 303 0 75857 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 304648 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9966 /proc/meminfo: memFree=1162068/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=356256 CPUtime=342.16 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 88726 0 0 0 33892 324 0 0 25 0 1 0 2563531 364806144 88612 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 89064 88612 150 303 0 88759 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 356256 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9968 /proc/meminfo: memFree=1116188/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=402680 CPUtime=402.14 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 100299 0 0 0 39848 366 0 0 25 0 1 0 2563531 412344320 100185 1992294400 134512640 135751879 4291116832 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 100670 100185 150 303 0 100365 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 402680 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9970 /proc/meminfo: memFree=1068944/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=449144 CPUtime=462.12 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 111923 0 0 0 45801 411 0 0 25 0 1 0 2563531 459923456 111809 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 112286 111809 150 303 0 111981 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 449144 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9972 /proc/meminfo: memFree=1024428/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=493984 CPUtime=522.1 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 123112 0 0 0 51761 449 0 0 25 0 1 0 2563531 505839616 122998 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 123496 122998 150 303 0 123191 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 493984 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9974 /proc/meminfo: memFree=971356/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=546560 CPUtime=582.07 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 136259 0 0 0 57719 488 0 0 25 0 1 0 2563531 559677440 136145 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 136640 136145 150 303 0 136335 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 546560 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9974 /proc/meminfo: memFree=922128/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=595276 CPUtime=642.06 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 148443 0 0 0 63680 526 0 0 25 0 1 0 2563531 609562624 148329 1992294400 134512640 135751879 4291116832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 148819 148329 150 303 0 148514 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 595276 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 9982 /proc/meminfo: memFree=747412/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=769780 CPUtime=881.95 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 192054 0 0 0 87519 676 0 0 25 0 1 0 2563531 788254720 191940 1992294400 134512640 135751879 4291116832 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 192445 191940 150 303 0 192140 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 769780 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9982 /proc/meminfo: memFree=703640/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=813512 CPUtime=941.94 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 202984 0 0 0 93478 716 0 0 25 0 1 0 2563531 833036288 202870 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 203378 202870 150 303 0 203073 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 813512 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9984 /proc/meminfo: memFree=659000/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=857944 CPUtime=1001.91 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 214055 0 0 0 99434 757 0 0 25 0 1 0 2563531 878534656 213941 1992294400 134512640 135751879 4291116832 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 214486 213941 150 303 0 214181 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 857944 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9986 /proc/meminfo: memFree=614608/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=902624 CPUtime=1061.9 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 225247 0 0 0 105393 797 0 0 25 0 1 0 2563531 924286976 225133 1992294400 134512640 135751879 4291116832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 225656 225133 150 303 0 225351 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 902624 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9988 /proc/meminfo: memFree=569596/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=947116 CPUtime=1121.87 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 236364 0 0 0 111349 838 0 0 25 0 1 0 2563531 969846784 236250 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 236779 236250 150 303 0 236474 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 947116 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9990 /proc/meminfo: memFree=526196/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=991120 CPUtime=1181.85 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 247340 0 0 0 117311 874 0 0 25 0 1 0 2563531 1014906880 247226 1992294400 134512640 135751879 4291116832 18446744073709551615 134606411 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 247780 247226 150 303 0 247475 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 991120 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9990 /proc/meminfo: memFree=484160/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1032304 CPUtime=1241.82 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 257635 0 0 0 123267 915 0 0 25 0 1 0 2563531 1057079296 257521 1992294400 134512640 135751879 4291116832 18446744073709551615 134649504 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 258076 257521 150 303 0 257771 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1032304 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9992 /proc/meminfo: memFree=445596/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1070540 CPUtime=1301.81 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 267196 0 0 0 129229 952 0 0 25 0 1 0 2563531 1096232960 267082 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 267635 267082 150 303 0 267330 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1070540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10003 /proc/meminfo: memFree=408644/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1107500 CPUtime=1361.76 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 276421 0 0 0 135191 985 0 0 25 0 1 0 2563531 1134080000 276307 1992294400 134512640 135751879 4291116832 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 276875 276307 150 303 0 276570 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 1107500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10005 /proc/meminfo: memFree=369832/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1146320 CPUtime=1421.75 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 286145 0 0 0 141155 1020 0 0 25 0 1 0 2563531 1173831680 286031 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 286580 286031 150 303 0 286275 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 1146320 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10007 /proc/meminfo: memFree=329656/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1186736 CPUtime=1481.71 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 296223 0 0 0 147113 1058 0 0 25 0 1 0 2563531 1215217664 296109 1992294400 134512640 135751879 4291116832 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 296684 296109 150 303 0 296379 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 1186736 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10007 /proc/meminfo: memFree=287744/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1228196 CPUtime=1541.68 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 306589 0 0 0 153073 1095 0 0 25 0 1 0 2563531 1257672704 306475 1992294400 134512640 135751879 4291116832 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 307049 306475 150 303 0 306744 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1228196 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10009 /proc/meminfo: memFree=245708/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1270964 CPUtime=1601.67 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 317279 0 0 0 159034 1133 0 0 25 0 1 0 2563531 1301467136 317165 1992294400 134512640 135751879 4291116832 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 317741 317165 150 303 0 317436 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 1270964 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10011 /proc/meminfo: memFree=202556/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1313204 CPUtime=1661.64 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 327854 0 0 0 164995 1169 0 0 25 0 1 0 2563531 1344720896 327740 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 328301 327740 150 303 0 327996 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 1313204 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10013 /proc/meminfo: memFree=163620/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1352412 CPUtime=1721.63 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 337653 0 0 0 170957 1206 0 0 25 0 1 0 2563531 1384869888 337539 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 338103 337539 150 303 0 337798 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 1352412 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10015 /proc/meminfo: memFree=125800/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1390032 CPUtime=1781.59 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 347050 0 0 0 176918 1241 0 0 25 0 1 0 2563531 1423392768 346936 1992294400 134512640 135751879 4291116832 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 347508 346936 150 303 0 347203 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 1390032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10015 /proc/meminfo: memFree=112780/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=1402572 CPUtime=1800 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4202496 350181 0 0 0 178746 1254 0 0 25 0 1 0 2563531 1436233728 350067 1992294400 134512640 135751879 4291116832 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9957/statm: 350643 350067 150 303 0 350338 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1402572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10015 /proc/meminfo: memFree=112780/2059040 swapFree=4192956/4192956 [pid=9957] ppid=9955 vsize=0 CPUtime=1800.09 /proc/9957/stat : 9957 (wbo1.4b) R 9955 9957 9402 0 -1 4203524 350181 0 0 0 178746 1263 0 0 25 0 1 0 2563531 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/9957/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.84 CPU time (s): 1800.14 CPU user time (s): 1787.47 CPU system time (s): 12.6661 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 1402572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.47 system time used= 12.6661 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 350181 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= 7 involuntary context switches= 25848 runsolver used 3.09653 second user time and 8.39572 second system time The end
Begin job on node044 at 2010-06-15 16:38:32 IDJOB=2656060 IDBENCH=2912 IDSOLVER=1161 FILE ID=node044/2656060-1276612712 PBS_JOBID= 11172263 Free space on /tmp= 62588 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656060-1276612712/watcher-2656060-1276612712 -o /tmp/evaluation-result-2656060-1276612712/solver-2656060-1276612712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656060-1276612712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED=8053560 node044.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.266 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.53 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.266 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: 1517864 kB Buffers: 69496 kB Cached: 344916 kB SwapCached: 0 kB Active: 191016 kB Inactive: 282836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1517864 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 59372 kB Mapped: 15480 kB Slab: 45448 kB PageTables: 3900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179956 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= 62584 MiB End job on node044 at 2010-06-15 17:08:35