Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 62 | 184.393 | 184.445 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb |
MD5SUM | c2400ec88bd2efb16a03934d0b4c43da |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62 |
Best CPU time to get the best result obtained on this benchmark | 0.242962 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62 |
Optimality of the best value was proved | YES |
Number of variables | 648 |
Total number of constraints | 1954 |
Number of constraints which are clauses | 1930 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 27 |
Number of terms in the objective function | 648 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 648 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 648 |
Number of bits of the biggest sum of numbers | 10 |
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-2680755-1277453332.opb. 0.00/0.00 c Instance file HOME/instance-2680755-1277453332.opb 0.00/0.00 c File size is 70209 bytes. 0.00/0.01 c Highest Coefficient sum: 30 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 648 | 0.00/0.01 c | Number Clauses: 1930 | 0.00/0.01 c | Number Cardinality: 24 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 540 2062 6012 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 100 | 540 2062 6012 | 5500 100 9 | 16.667 % | 0.00/0.02 c | 251 | 540 2062 6012 | 6050 251 9 | 16.667 % | 0.00/0.03 c | 477 | 540 2062 6012 | 6655 477 9 | 16.667 % | 0.00/0.04 c | 816 | 540 2062 6012 | 7320 816 9 | 16.667 % | 0.00/0.06 c | 1322 | 540 2062 6012 | 8052 1322 9 | 16.667 % | 0.09/0.10 c | 2081 | 540 2062 6012 | 8857 2081 11 | 16.667 % | 0.09/0.15 c | 3221 | 540 2062 6012 | 9743 3221 10 | 16.667 % | 0.19/0.23 c | 4929 | 537 2062 6012 | 10717 3181 14 | 17.130 % | 0.38/0.40 c | 7493 | 537 2062 6012 | 11789 5745 18 | 17.130 % | 0.59/0.61 c | 11337 | 537 2062 6012 | 12968 9589 17 | 17.130 % | 1.00/1.08 c | 17105 | 537 2062 6012 | 14265 8727 22 | 17.130 % | 1.68/1.79 c | 25755 | 537 2062 6012 | 15692 10159 17 | 17.130 % | 3.29/3.33 c | 38729 | 537 2062 6012 | 17261 15210 20 | 17.130 % | 5.08/5.13 c =============================================================================== 5.08/5.13 c New solution: 72 5.08/5.13 o 72 5.08/5.13 c Elapsed CPU time: 5.01424 s Remaining CPU time: 174.986 s 5.08/5.13 c =============================================================================== 5.08/5.13 c | 52849 | 537 2063 6540 | 5000 11910 22 | 17.130 % | 5.08/5.17 c | 52951 | 537 2063 6540 | 5500 3080 20 | 17.130 % | 5.08/5.18 c | 53102 | 537 2063 6540 | 6050 3231 20 | 17.130 % | 5.08/5.18 c | 53327 | 537 2063 6540 | 6655 3456 19 | 17.130 % | 5.08/5.19 c | 53664 | 537 2063 6540 | 7320 3793 18 | 17.130 % | 5.18/5.22 c | 54170 | 537 2063 6540 | 8052 4299 18 | 17.130 % | 5.18/5.25 c | 54929 | 537 2063 6540 | 8857 5058 18 | 17.130 % | 5.28/5.31 c | 56068 | 537 2063 6540 | 9743 6197 18 | 17.130 % | 5.28/5.39 c | 57776 | 537 2063 6540 | 10717 7905 18 | 17.130 % | 5.49/5.57 c | 60340 | 537 2063 6540 | 11789 10469 19 | 17.130 % | 5.88/5.90 c | 64186 | 537 2063 6540 | 12968 8343 22 | 17.130 % | 6.19/6.27 c =============================================================================== 6.19/6.27 c New solution: 70 6.19/6.27 o 70 6.19/6.27 c Elapsed CPU time: 6.11407 s Remaining CPU time: 173.886 s 6.19/6.27 c =============================================================================== 6.19/6.27 c | 68064 | 537 2064 7068 | 5000 12221 22 | 17.130 % | 6.19/6.30 c | 68164 | 537 2064 7068 | 5500 3156 21 | 17.130 % | 6.29/6.30 c | 68314 | 537 2064 7068 | 6050 3306 21 | 17.130 % | 6.29/6.31 c | 68539 | 537 2064 7068 | 6655 3531 20 | 17.130 % | 6.29/6.33 c | 68877 | 537 2064 7068 | 7320 3869 20 | 17.130 % | 6.29/6.35 c | 69386 | 537 2064 7068 | 8052 4378 19 | 17.130 % | 6.29/6.39 c | 70145 | 537 2064 7068 | 8857 5137 19 | 17.130 % | 6.39/6.45 c | 71285 | 537 2064 7068 | 9743 6277 18 | 17.130 % | 6.49/6.56 c | 72995 | 537 2064 7068 | 10717 7987 18 | 17.130 % | 6.69/6.78 c | 75557 | 537 2064 7068 | 11789 10549 19 | 17.130 % | 6.99/7.09 c | 79402 | 537 2064 7068 | 12968 8427 19 | 17.130 % | 7.48/7.52 c | 85168 | 537 2064 7068 | 14265 7631 18 | 17.130 % | 8.38/8.47 c | 93817 | 537 2064 7068 | 15692 9052 15 | 17.130 % | 9.68/9.74 c | 106792 | 537 2064 7068 | 17261 14110 19 | 17.130 % | 12.38/12.49 c | 126253 | 537 2064 7068 | 18987 16146 32 | 17.130 % | 17.49/17.55 c | 155448 | 537 2064 7068 | 20886 16573 28 | 17.130 % | 25.58/25.64 c | 199237 | 537 2064 7068 | 22974 18277 21 | 17.130 % | 25.88/25.92 c =============================================================================== 25.88/25.92 c New solution: 68 25.88/25.92 o 68 25.88/25.92 c Elapsed CPU time: 25.3901 s Remaining CPU time: 154.61 s 25.88/25.92 c =============================================================================== 25.88/25.92 c | 201514 | 537 2065 7596 | 5000 20554 21 | 17.130 % | 25.88/25.99 c | 201615 | 537 2065 7596 | 5500 2671 21 | 17.130 % | 25.98/26.00 c | 201765 | 537 2065 7596 | 6050 2821 20 | 17.130 % | 25.98/26.01 c | 201990 | 537 2065 7596 | 6655 3046 20 | 17.130 % | 25.98/26.03 c | 202327 | 537 2065 7596 | 7320 3383 19 | 17.130 % | 25.98/26.06 c | 202835 | 537 2065 7596 | 8052 3891 19 | 17.130 % | 26.08/26.11 c | 203594 | 537 2065 7596 | 8857 4650 19 | 17.130 % | 26.08/26.19 c | 204734 | 537 2065 7596 | 9743 5790 19 | 17.130 % | 26.28/26.31 c | 206442 | 537 2065 7596 | 10717 7498 20 | 17.130 % | 26.48/26.55 c | 209004 | 537 2065 7596 | 11789 10060 19 | 17.130 % | 26.88/26.96 c | 212849 | 537 2065 7596 | 12968 7933 20 | 17.130 % | 27.49/27.57 c | 218618 | 537 2065 7596 | 14265 7125 17 | 17.130 % | 28.37/28.49 c | 227267 | 537 2065 7596 | 15692 8570 17 | 17.130 % | 30.17/30.26 c | 240241 | 537 2065 7596 | 17261 13624 21 | 17.130 % | 32.89/32.99 c | 259702 | 537 2065 7596 | 18987 15670 16 | 17.130 % | 36.87/36.90 c | 288894 | 537 2065 7596 | 20886 16173 16 | 17.130 % | 45.17/45.25 c | 332683 | 537 2065 7596 | 22974 17901 16 | 17.130 % | 50.07/50.19 c =============================================================================== 50.07/50.19 c New solution: 66 50.07/50.19 o 66 50.07/50.19 c Elapsed CPU time: 49.2455 s Remaining CPU time: 130.754 s 50.07/50.19 c =============================================================================== 50.07/50.19 c | 358522 | 537 2066 8124 | 5000 20628 18 | 17.130 % | 50.18/50.27 c | 358622 | 537 2066 8124 | 5500 2679 33 | 17.130 % | 50.18/50.28 c | 358773 | 537 2066 8124 | 6050 2830 32 | 17.130 % | 50.18/50.29 c | 358998 | 537 2066 8124 | 6655 3055 31 | 17.130 % | 50.28/50.31 c | 359336 | 537 2066 8124 | 7320 3393 30 | 17.130 % | 50.28/50.34 c | 359843 | 537 2066 8124 | 8052 3900 28 | 17.130 % | 50.28/50.38 c | 360603 | 537 2066 8124 | 8857 4660 26 | 17.130 % | 50.37/50.44 c | 361742 | 537 2066 8124 | 9743 5799 24 | 17.130 % | 50.48/50.56 c | 363450 | 537 2066 8124 | 10717 7507 22 | 17.130 % | 50.67/50.75 c | 366012 | 537 2066 8124 | 11789 10069 20 | 17.130 % | 50.98/51.05 c | 369856 | 537 2066 8124 | 12968 7940 16 | 17.130 % | 51.47/51.59 c | 375622 | 537 2066 8124 | 14265 7148 18 | 17.130 % | 52.57/52.64 c | 384271 | 537 2066 8124 | 15692 8592 18 | 17.130 % | 54.07/54.17 c | 397245 | 537 2066 8124 | 17261 13642 17 | 17.130 % | 56.58/56.67 c | 416706 | 537 2066 8124 | 18987 15662 18 | 17.130 % | 58.07/58.18 c =============================================================================== 58.07/58.18 c New solution: 64 58.07/58.18 o 64 58.07/58.18 c Elapsed CPU time: 57.0453 s Remaining CPU time: 122.955 s 58.07/58.18 c =============================================================================== 58.07/58.18 c | 427571 | 537 2067 8652 | 5000 16962 19 | 17.130 % | 58.17/58.24 c | 427672 | 537 2067 8652 | 5500 4342 22 | 17.130 % | 58.17/58.25 c | 427823 | 537 2067 8652 | 6050 4493 22 | 17.130 % | 58.17/58.26 c | 428049 | 537 2067 8652 | 6655 4719 21 | 17.130 % | 58.17/58.28 c | 428386 | 537 2067 8652 | 7320 5056 21 | 17.130 % | 58.27/58.31 c | 428892 | 537 2067 8652 | 8052 5562 20 | 17.130 % | 58.27/58.36 c | 429653 | 537 2067 8652 | 8857 6323 20 | 17.130 % | 58.37/58.43 c | 430794 | 537 2067 8652 | 9743 7464 20 | 17.130 % | 58.47/58.56 c | 432502 | 537 2067 8652 | 10717 9172 19 | 17.130 % | 58.77/58.80 c | 435066 | 537 2067 8652 | 11789 6313 17 | 17.130 % | 59.07/59.15 c | 438911 | 537 2067 8652 | 12968 10158 17 | 17.130 % | 59.67/59.76 c | 444678 | 537 2067 8652 | 14265 9359 17 | 17.130 % | 60.87/60.97 c | 453327 | 537 2067 8652 | 15692 10802 17 | 17.130 % | 62.58/62.69 c | 466302 | 537 2067 8652 | 17261 15831 27 | 17.130 % | 65.26/65.31 c | 485764 | 537 2067 8652 | 18987 9174 19 | 17.130 % | 69.87/69.99 c | 514956 | 537 2067 8652 | 20886 9657 18 | 17.130 % | 76.57/76.64 c | 558745 | 537 2067 8652 | 22974 11318 30 | 17.130 % | 91.56/91.67 c | 624429 | 537 2067 8652 | 25272 18842 21 | 17.130 % | 111.86/111.94 c | 722955 | 537 2067 8652 | 27799 12572 17 | 17.130 % | 139.56/139.67 c | 870744 | 534 2067 8652 | 30579 19956 24 | 17.593 % | 181.34/181.44 c =============================================================================== 181.34/181.44 c New solution: 62 181.34/181.44 o 62 181.34/181.44 c Elapsed CPU time: 178.351 s Remaining CPU time: 1.64911 s 181.34/181.44 c =============================================================================== 181.34/181.44 c | 1085031 | 534 2068 9180 | 5000 17256 44 | 17.593 % | 181.34/181.50 c | 1085132 | 534 2068 9180 | 5500 4415 42 | 17.593 % | 181.45/181.51 c | 1085283 | 534 2068 9180 | 6050 4566 41 | 17.593 % | 181.45/181.52 c | 1085509 | 534 2068 9180 | 6655 4792 40 | 17.593 % | 181.45/181.53 c | 1085846 | 534 2068 9180 | 7320 5129 38 | 17.593 % | 181.45/181.56 c | 1086352 | 534 2068 9180 | 8052 5635 36 | 17.593 % | 181.54/181.60 c | 1087113 | 534 2068 9180 | 8857 6396 34 | 17.593 % | 181.54/181.67 c | 1088253 | 534 2068 9180 | 9743 7536 31 | 17.593 % | 181.74/181.80 c | 1089962 | 534 2068 9180 | 10717 9245 28 | 17.593 % | 181.94/182.03 c | 1092525 | 534 2068 9180 | 11789 6371 15 | 17.593 % | 182.34/182.42 c | 1096369 | 534 2068 9180 | 12968 10215 17 | 17.593 % | 182.94/183.07 c | 1102135 | 534 2068 9180 | 14265 9426 16 | 17.593 % | 183.04/183.14 c There are 114 assigned variables. 6 in cost function. 184.34/184.40 c core #1 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 3 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #2 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 4 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #3 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 5 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #4 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 6 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #5 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 7 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #6 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 8 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #7 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 9 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #8 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 10 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #9 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 11 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #10 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 12 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #11 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 2 Core Weight: 1 Total Weight: 13 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #12 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 4 Core Weight: 1 Total Weight: 14 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #13 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 9 Core Weight: 1 Total Weight: 15 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #14 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 4 Core Weight: 1 Total Weight: 16 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #15 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 9 Core Weight: 1 Total Weight: 17 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #16 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 6 Core Weight: 1 Total Weight: 18 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #17 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 5 Core Weight: 1 Total Weight: 19 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #18 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 14 Core Weight: 1 Total Weight: 20 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #19 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 4 Core Weight: 1 Total Weight: 21 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #20 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 9 Core Weight: 1 Total Weight: 22 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #21 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 4 Core Weight: 1 Total Weight: 23 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #22 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 4 Core Weight: 1 Total Weight: 24 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #23 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 9 Core Weight: 1 Total Weight: 25 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #24 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 4 Core Weight: 1 Total Weight: 26 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #25 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 9 Core Weight: 1 Total Weight: 27 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #26 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 6 Core Weight: 1 Total Weight: 28 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #27 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 5 Core Weight: 1 Total Weight: 29 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #28 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 14 Core Weight: 1 Total Weight: 30 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #29 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 4 Core Weight: 1 Total Weight: 31 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #30 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 9 Core Weight: 1 Total Weight: 32 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c core #31 184.34/184.40 c 184.34/184.40 c 184.34/184.40 c Core size: 4 Core Weight: 1 Total Weight: 33 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #32 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 5 Core Weight: 1 Total Weight: 34 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #33 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 14 Core Weight: 1 Total Weight: 35 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #34 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 5 Core Weight: 1 Total Weight: 36 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #35 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 14 Core Weight: 1 Total Weight: 37 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #36 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 5 Core Weight: 1 Total Weight: 38 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #37 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 14 Core Weight: 1 Total Weight: 39 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #38 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 5 Core Weight: 1 Total Weight: 40 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #39 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 6 Core Weight: 1 Total Weight: 41 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #40 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 6 Core Weight: 1 Total Weight: 42 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #41 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 6 Core Weight: 1 Total Weight: 43 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #42 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 4 Core Weight: 1 Total Weight: 44 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #43 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 9 Core Weight: 1 Total Weight: 45 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #44 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 4 Core Weight: 1 Total Weight: 46 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #45 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 4 Core Weight: 1 Total Weight: 47 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #46 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 9 Core Weight: 1 Total Weight: 48 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #47 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 4 Core Weight: 1 Total Weight: 49 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #48 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 4 Core Weight: 1 Total Weight: 50 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #49 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 9 Core Weight: 1 Total Weight: 51 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #50 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 6 Core Weight: 1 Total Weight: 52 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #51 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 5 Core Weight: 1 Total Weight: 53 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #52 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 14 Core Weight: 1 Total Weight: 54 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #53 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 5 Core Weight: 1 Total Weight: 55 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #54 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 4 Core Weight: 1 Total Weight: 56 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #55 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 9 Core Weight: 1 Total Weight: 57 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #56 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 5 Core Weight: 1 Total Weight: 58 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #57 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 5 Core Weight: 1 Total Weight: 59 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c core #58 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 22 Core Weight: 1 Total Weight: 60 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c ============================[ Search Statistics ]============================== 184.34/184.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.41 c =============================================================================== 184.34/184.41 c | 0 | 272 2516 6100 | 5000 0 nan | 0.000 % | 184.34/184.41 c =============================================================================== 184.34/184.41 c core #59 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 12 Core Weight: 1 Total Weight: 61 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c ============================[ Search Statistics ]============================== 184.34/184.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.41 c =============================================================================== 184.34/184.41 c | 0 | 283 2519 6178 | 5000 0 nan | 0.000 % | 184.34/184.41 c =============================================================================== 184.34/184.41 c core #60 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c Core size: 35 Core Weight: 1 Total Weight: 62 184.34/184.41 c 184.34/184.41 c 184.34/184.41 c This is when the PBO solver was able to find the optimum, but failed to prove optimality... 184.34/184.41 Best: 62 184.34/184.41 Total: 62 184.34/184.41 c #cores: 60 184.34/184.41 c Final Weight: 62 184.34/184.41 o 62 184.34/184.41 s OPTIMUM FOUND 184.34/184.41 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 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 x436 x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 184.34/184.41 c Total CPU time: 181.271 s
OK 62
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680755-1277453332/watcher-2680755-1277453332 -o /tmp/evaluation-result-2680755-1277453332/solver-2680755-1277453332 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680755-1277453332.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.78 3/106 27197 /proc/meminfo: memFree=1848884/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=2648 CPUtime=0 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 285 0 0 0 0 0 0 0 18 0 1 0 86628169 2711552 203 1992294400 134512640 135752675 4288421040 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 662 203 136 303 0 339 0 [startup+0.013687 s] /proc/loadavg: 0.99 0.97 0.78 3/106 27197 /proc/meminfo: memFree=1848884/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=2780 CPUtime=0 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 308 0 0 0 0 0 0 0 18 0 1 0 86628169 2846720 226 1992294400 134512640 135752675 4288421040 18446744073709551615 135379952 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 695 226 144 303 0 372 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2780 [startup+0.101697 s] /proc/loadavg: 0.99 0.97 0.78 3/106 27197 /proc/meminfo: memFree=1848884/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=3104 CPUtime=0.09 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 430 0 0 0 9 0 0 0 18 0 1 0 86628169 3178496 330 1992294400 134512640 135752675 4288421040 18446744073709551615 134605460 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 776 330 145 303 0 471 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3104 [startup+0.301717 s] /proc/loadavg: 0.99 0.97 0.78 3/106 27197 /proc/meminfo: memFree=1848884/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=3764 CPUtime=0.29 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 604 0 0 0 28 1 0 0 19 0 1 0 86628169 3854336 504 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 941 504 145 303 0 636 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3764 [startup+0.70176 s] /proc/loadavg: 0.99 0.97 0.78 3/106 27197 /proc/meminfo: memFree=1848884/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=4980 CPUtime=0.68 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 928 0 0 0 66 2 0 0 19 0 1 0 86628169 5099520 828 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 1245 828 145 303 0 940 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 4980 [startup+1.50185 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27198 /proc/meminfo: memFree=1845280/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=7008 CPUtime=1.48 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 1415 0 0 0 144 4 0 0 21 0 1 0 86628169 7176192 1315 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 1752 1315 145 303 0 1447 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7008 [startup+3.10202 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27198 /proc/meminfo: memFree=1842552/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=9912 CPUtime=3.09 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 2146 0 0 0 301 8 0 0 25 0 1 0 86628169 10149888 2046 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 2478 2046 145 303 0 2173 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9912 [startup+6.30136 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27198 /proc/meminfo: memFree=1836600/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=16384 CPUtime=6.29 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 3748 0 0 0 614 15 0 0 25 0 1 0 86628169 16777216 3648 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 4096 3648 145 303 0 3791 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16384 [startup+12.701 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27198 /proc/meminfo: memFree=1822960/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=28932 CPUtime=12.68 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 6893 0 0 0 1238 30 0 0 25 0 1 0 86628169 29626368 6793 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 7233 6793 145 303 0 6928 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28932 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27198 /proc/meminfo: memFree=1806716/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=44664 CPUtime=25.48 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 10811 0 0 0 2497 51 0 0 25 0 1 0 86628169 45735936 10711 1992294400 134512640 135752675 4288421040 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 11166 10711 145 303 0 10861 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44664 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.79 2/107 27200 /proc/meminfo: memFree=1775220/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=77204 CPUtime=51.07 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 18963 0 0 0 5012 95 0 0 25 0 1 0 86628169 79056896 18863 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 19301 18863 145 303 0 18996 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 77204 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.80 2/107 27200 /proc/meminfo: memFree=1712476/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=138292 CPUtime=102.26 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 34210 0 0 0 10043 183 0 0 25 0 1 0 86628169 141611008 34110 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 34573 34110 145 303 0 34268 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 138292 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1645764/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=205792 CPUtime=162.25 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 51089 0 0 0 15949 276 0 0 25 0 1 0 86628169 210731008 50989 1992294400 134512640 135752675 4288421040 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 51448 50989 145 303 0 51143 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 205792 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1640184/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=210516 CPUtime=166.25 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 52253 0 0 0 16343 282 0 0 25 0 1 0 86628169 215568384 52153 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 52629 52153 145 303 0 52324 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 210516 [startup+172.709 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1630512/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=220096 CPUtime=172.65 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 54659 0 0 0 16976 289 0 0 25 0 1 0 86628169 225378304 54559 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 55024 54559 145 303 0 54719 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 220096 [startup+179.101 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1622204/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=229672 CPUtime=179.04 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 57044 0 0 0 17604 300 0 0 25 0 1 0 86628169 235184128 56944 1992294400 134512640 135752675 4288421040 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 57418 56944 145 303 0 57113 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 229672 [startup+182.301 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1617368/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=235008 CPUtime=182.24 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 58379 0 0 0 17917 307 0 0 25 0 1 0 86628169 240648192 58279 1992294400 134512640 135752675 4288421040 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 58752 58279 145 303 0 58447 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 235008 [startup+183.1 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1615136/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=236328 CPUtime=183.04 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 58702 0 0 0 17995 309 0 0 25 0 1 0 86628169 241999872 58602 1992294400 134512640 135752675 4288421040 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 59082 58602 145 303 0 58777 0 Current children cumulated CPU time (s) 183.04 Current children cumulated vsize (KiB) 236328 [startup+183.9 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1613896/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=236436 CPUtime=183.84 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 58779 0 0 0 18075 309 0 0 25 0 1 0 86628169 242110464 58648 1992294400 134512640 135752675 4288421040 18446744073709551615 135200739 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 59109 58648 145 303 0 58804 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 236436 [startup+184.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1613896/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=236436 CPUtime=184.24 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 58780 0 0 0 18115 309 0 0 25 0 1 0 86628169 242110464 58649 1992294400 134512640 135752675 4288421040 18446744073709551615 135200964 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 59109 58649 146 303 0 58804 0 Current children cumulated CPU time (s) 184.24 Current children cumulated vsize (KiB) 236436 [startup+184.4 s] /proc/loadavg: 0.99 0.97 0.82 2/107 27202 /proc/meminfo: memFree=1613896/2059040 swapFree=4140228/4192956 [pid=27197] ppid=27195 vsize=236436 CPUtime=184.34 /proc/27197/stat : 27197 (wbo1.4b) R 27195 27197 27091 0 -1 4202496 58781 0 0 0 18125 309 0 0 25 0 1 0 86628169 242110464 58650 1992294400 134512640 135752675 4288421040 18446744073709551615 134548072 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27197/statm: 59109 58650 146 303 0 58804 0 Current children cumulated CPU time (s) 184.34 Current children cumulated vsize (KiB) 236436 Child status: 0 Real time (s): 184.445 CPU time (s): 184.393 CPU user time (s): 181.271 CPU system time (s): 3.12152 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 236600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.271 system time used= 3.12153 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58782 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= 5 involuntary context switches= 2195 runsolver used 0.303953 second user time and 0.885865 second system time The end
Begin job on node035 at 2010-06-25 10:08:52 IDJOB=2680755 IDBENCH=2025 IDSOLVER=1190 FILE ID=node035/2680755-1277453332 PBS_JOBID= 11188131 Free space on /tmp= 62436 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680755-1277453332/watcher-2680755-1277453332 -o /tmp/evaluation-result-2680755-1277453332/solver-2680755-1277453332 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680755-1277453332.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da RANDOM SEED=623027128 node035.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.219 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.43 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.219 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1850072 kB Buffers: 55436 kB Cached: 52444 kB SwapCached: 5664 kB Active: 22248 kB Inactive: 99008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850072 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 12056 kB Mapped: 11892 kB Slab: 65724 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183216 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= 62436 MiB End job on node035 at 2010-06-25 10:11:56