Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 60 | 184.869 | 184.926 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb |
MD5SUM | 8521955d0869ff4fe0390118a5fbc0f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 0.25596 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | YES |
Number of variables | 696 |
Total number of constraints | 2096 |
Number of constraints which are clauses | 2072 |
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 | 29 |
Number of terms in the objective function | 696 |
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 | 696 |
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 | 696 |
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-2680757-1277453354.opb. 0.00/0.00 c Instance file HOME/instance-2680757-1277453354.opb 0.00/0.00 c File size is 75430 bytes. 0.00/0.01 c Highest Coefficient sum: 32 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: 696 | 0.00/0.01 c | Number Clauses: 2072 | 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 | 580 2212 6458 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 101 | 580 2212 6458 | 5500 101 9 | 16.667 % | 0.00/0.02 c | 253 | 580 2212 6458 | 6050 253 11 | 16.667 % | 0.00/0.03 c | 478 | 580 2212 6458 | 6655 478 11 | 16.667 % | 0.00/0.04 c | 815 | 580 2212 6458 | 7320 815 12 | 16.667 % | 0.00/0.06 c | 1321 | 580 2212 6458 | 8052 1321 13 | 16.667 % | 0.00/0.09 c | 2080 | 580 2212 6458 | 8857 2080 14 | 16.667 % | 0.09/0.15 c | 3221 | 580 2212 6458 | 9743 3221 15 | 16.667 % | 0.19/0.25 c | 4931 | 580 2212 6458 | 10717 4931 17 | 16.667 % | 0.39/0.45 c | 7493 | 580 2212 6458 | 11789 7493 17 | 16.667 % | 0.69/0.76 c | 11337 | 580 2212 6458 | 12968 11337 20 | 16.667 % | 1.29/1.31 c | 17104 | 580 2212 6458 | 14265 10536 20 | 16.667 % | 2.09/2.14 c | 25754 | 580 2212 6458 | 15692 11980 17 | 16.667 % | 2.49/2.50 c =============================================================================== 2.49/2.50 c New solution: 70 2.49/2.50 o 70 2.49/2.50 c Elapsed CPU time: 2.41363 s Remaining CPU time: 177.586 s 2.49/2.50 c =============================================================================== 2.49/2.50 c | 29239 | 580 2213 7022 | 5000 15465 18 | 16.667 % | 2.49/2.54 c | 29340 | 580 2213 7022 | 5500 3968 20 | 16.667 % | 2.49/2.55 c | 29490 | 580 2213 7022 | 6050 4118 20 | 16.667 % | 2.49/2.57 c | 29715 | 580 2213 7022 | 6655 4343 20 | 16.667 % | 2.49/2.59 c | 30053 | 580 2213 7022 | 7320 4681 20 | 16.667 % | 2.58/2.62 c | 30559 | 580 2213 7022 | 8052 5187 20 | 16.667 % | 2.58/2.67 c | 31318 | 580 2213 7022 | 8857 5946 19 | 16.667 % | 2.69/2.75 c | 32457 | 580 2213 7022 | 9743 7085 19 | 16.667 % | 2.79/2.88 c | 34165 | 580 2213 7022 | 10717 8793 18 | 16.667 % | 2.98/3.08 c | 36729 | 580 2213 7022 | 11789 5905 17 | 16.667 % | 3.30/3.39 c | 40575 | 580 2213 7022 | 12968 9751 17 | 16.667 % | 3.79/3.86 c | 46342 | 580 2213 7022 | 14265 8956 15 | 16.667 % | 4.69/4.79 c | 54992 | 580 2213 7022 | 15692 10406 16 | 16.667 % | 6.70/6.74 c | 67967 | 580 2213 7022 | 17261 15456 22 | 16.667 % | 9.59/9.67 c | 87428 | 580 2213 7022 | 18987 8765 22 | 16.667 % | 14.30/14.32 c | 116620 | 580 2213 7022 | 20886 18776 23 | 16.667 % | 14.30/14.35 c =============================================================================== 14.30/14.35 c New solution: 68 14.30/14.35 o 68 14.30/14.35 c Elapsed CPU time: 14.0499 s Remaining CPU time: 165.95 s 14.30/14.35 c =============================================================================== 14.30/14.35 c | 116759 | 580 2214 7586 | 5000 18915 23 | 16.667 % | 14.40/14.42 c | 116860 | 580 2214 7586 | 5500 4830 21 | 16.667 % | 14.40/14.44 c | 117011 | 580 2214 7586 | 6050 4981 21 | 16.667 % | 14.40/14.46 c | 117238 | 580 2214 7586 | 6655 5208 21 | 16.667 % | 14.49/14.51 c | 117576 | 580 2214 7586 | 7320 5546 21 | 16.667 % | 14.49/14.53 c | 118082 | 580 2214 7586 | 8052 6052 21 | 16.667 % | 14.59/14.61 c | 118841 | 580 2214 7586 | 8857 6811 20 | 16.667 % | 14.69/14.70 c | 119983 | 580 2214 7586 | 9743 7953 21 | 16.667 % | 14.78/14.84 c | 121693 | 580 2214 7586 | 10717 9663 21 | 16.667 % | 15.18/15.22 c | 124255 | 580 2214 7586 | 11789 6787 22 | 16.667 % | 15.50/15.59 c | 128101 | 580 2214 7586 | 12968 10633 22 | 16.667 % | 16.29/16.39 c | 133868 | 580 2214 7586 | 14265 9835 23 | 16.667 % | 17.49/17.57 c | 142518 | 580 2214 7586 | 15692 11274 22 | 16.667 % | 19.48/19.50 c | 155492 | 580 2214 7586 | 17261 8394 22 | 16.667 % | 22.39/22.42 c | 174953 | 579 2214 7586 | 18987 10403 21 | 16.811 % | 26.19/26.22 c | 204145 | 579 2214 7586 | 20886 10873 19 | 16.811 % | 35.38/35.43 c | 247935 | 579 2214 7586 | 22974 12586 19 | 16.811 % | 48.77/48.88 c | 313619 | 579 2214 7586 | 25272 20279 22 | 16.811 % | 62.97/63.09 c =============================================================================== 62.97/63.09 c New solution: 66 62.97/63.09 o 66 62.97/63.09 c Elapsed CPU time: 61.9856 s Remaining CPU time: 118.014 s 62.97/63.09 c =============================================================================== 62.97/63.09 c | 383290 | 578 2215 8150 | 5000 10002 18 | 16.811 % | 63.08/63.12 c | 383390 | 578 2215 8150 | 5500 4696 19 | 16.954 % | 63.08/63.13 c | 383541 | 578 2215 8150 | 6050 4847 19 | 16.954 % | 63.08/63.15 c | 383768 | 578 2215 8150 | 6655 5074 19 | 16.954 % | 63.08/63.17 c | 384105 | 578 2215 8150 | 7320 5411 19 | 16.954 % | 63.17/63.23 c | 384613 | 578 2215 8150 | 8052 5919 18 | 16.954 % | 63.17/63.29 c | 385372 | 578 2215 8150 | 8857 6678 18 | 16.954 % | 63.37/63.40 c | 386511 | 578 2215 8150 | 9743 7817 18 | 16.954 % | 63.47/63.56 c | 388219 | 578 2215 8150 | 10717 9525 18 | 16.954 % | 63.78/63.88 c | 390782 | 578 2215 8150 | 11789 6660 18 | 16.954 % | 64.27/64.36 c | 394627 | 578 2215 8150 | 12968 10505 18 | 16.954 % | 65.07/65.13 c | 400395 | 578 2215 8150 | 14265 9707 20 | 16.954 % | 66.08/66.16 c | 409044 | 577 2215 8150 | 15692 11076 22 | 17.098 % | 67.67/67.76 c | 422018 | 577 2215 8150 | 17261 8147 31 | 17.098 % | 70.07/70.11 c | 441479 | 577 2215 8150 | 18987 10172 18 | 17.098 % | 74.78/74.89 c | 470671 | 577 2215 8150 | 20886 10629 20 | 17.098 % | 74.97/75.05 c =============================================================================== 74.97/75.05 c New solution: 64 74.97/75.05 o 64 74.97/75.05 c Elapsed CPU time: 73.6688 s Remaining CPU time: 106.331 s 74.97/75.05 c =============================================================================== 74.97/75.05 c | 472676 | 577 2216 8714 | 5000 12634 20 | 17.098 % | 75.06/75.10 c | 472777 | 577 2216 8714 | 5500 3260 20 | 17.098 % | 75.06/75.11 c | 472929 | 577 2216 8714 | 6050 3412 20 | 17.098 % | 75.06/75.12 c | 473155 | 577 2216 8714 | 6655 3638 20 | 17.098 % | 75.06/75.14 c | 473493 | 577 2216 8714 | 7320 3976 19 | 17.098 % | 75.06/75.17 c | 474001 | 577 2216 8714 | 8052 4484 19 | 17.098 % | 75.16/75.22 c | 474760 | 577 2216 8714 | 8857 5243 18 | 17.098 % | 75.27/75.32 c | 475900 | 577 2216 8714 | 9743 6383 20 | 17.098 % | 75.36/75.45 c | 477613 | 577 2216 8714 | 10717 8096 19 | 17.098 % | 75.56/75.68 c | 480175 | 577 2216 8714 | 11789 10658 18 | 17.098 % | 75.98/76.07 c | 484020 | 577 2216 8714 | 12968 8524 17 | 17.098 % | 76.67/76.73 c | 489787 | 577 2216 8714 | 14265 7725 19 | 17.098 % | 77.67/77.73 c | 498436 | 577 2216 8714 | 15692 9078 33 | 17.098 % | 79.06/79.14 c | 511410 | 577 2216 8714 | 17261 14119 22 | 17.098 % | 81.76/81.87 c | 530872 | 577 2216 8714 | 18987 16005 43 | 17.098 % | 85.36/85.48 c | 560064 | 577 2216 8714 | 20886 16330 27 | 17.098 % | 86.77/86.85 c =============================================================================== 86.77/86.85 c New solution: 62 86.77/86.85 o 62 86.77/86.85 c Elapsed CPU time: 85.1681 s Remaining CPU time: 94.8319 s 86.77/86.85 c =============================================================================== 86.77/86.85 c | 570762 | 577 2217 9278 | 5000 16497 19 | 17.098 % | 86.87/86.90 c | 570862 | 577 2217 9278 | 5500 4225 20 | 17.098 % | 86.87/86.91 c | 571012 | 577 2217 9278 | 6050 4375 20 | 17.098 % | 86.87/86.93 c | 571238 | 577 2217 9278 | 6655 4601 19 | 17.098 % | 86.87/86.95 c | 571575 | 577 2217 9278 | 7320 4938 19 | 17.098 % | 86.87/86.98 c | 572081 | 577 2217 9278 | 8052 5444 19 | 17.098 % | 86.97/87.05 c | 572840 | 577 2217 9278 | 8857 6203 18 | 17.098 % | 87.07/87.13 c | 573980 | 577 2217 9278 | 9743 7343 18 | 17.098 % | 87.17/87.29 c | 575689 | 577 2217 9278 | 10717 9052 20 | 17.098 % | 87.46/87.56 c | 578252 | 577 2217 9278 | 11789 6176 20 | 17.098 % | 87.97/88.01 c | 582097 | 577 2217 9278 | 12968 10021 27 | 17.098 % | 88.56/88.60 c | 587863 | 577 2217 9278 | 14265 9209 24 | 17.098 % | 89.56/89.69 c | 596512 | 577 2217 9278 | 15692 10554 34 | 17.098 % | 90.97/91.06 c | 609486 | 577 2217 9278 | 17261 15597 28 | 17.098 % | 93.76/93.80 c | 628947 | 577 2217 9278 | 18987 17603 25 | 17.098 % | 98.06/98.10 c | 658141 | 577 2217 9278 | 20886 18002 29 | 17.098 % | 105.16/105.23 c | 701930 | 571 2217 9278 | 22974 13761 42 | 17.960 % | 115.36/115.41 c | 767614 | 571 2217 9278 | 25272 20820 36 | 17.960 % | 133.35/133.49 c | 866140 | 571 2217 9278 | 27799 23168 41 | 17.961 % | 135.45/135.59 c =============================================================================== 135.45/135.59 c New solution: 60 135.45/135.59 o 60 135.45/135.59 c Elapsed CPU time: 132.94 s Remaining CPU time: 47.0602 s 135.45/135.59 c =============================================================================== 135.45/135.59 c | 876738 | 571 2218 9842 | 5000 17021 39 | 17.961 % | 135.55/135.64 c | 876838 | 571 2218 9842 | 5500 4356 39 | 17.960 % | 135.55/135.65 c | 876988 | 571 2218 9842 | 6050 4506 38 | 17.960 % | 135.55/135.66 c | 877213 | 571 2218 9842 | 6655 4731 37 | 17.960 % | 135.55/135.68 c | 877550 | 571 2218 9842 | 7320 5068 35 | 17.960 % | 135.65/135.71 c | 878056 | 571 2218 9842 | 8052 5574 34 | 17.960 % | 135.65/135.75 c | 878816 | 571 2218 9842 | 8857 6334 31 | 17.960 % | 135.75/135.82 c | 879956 | 571 2218 9842 | 9743 7474 28 | 17.960 % | 135.85/135.96 c | 881664 | 571 2218 9842 | 10717 9182 27 | 17.960 % | 136.05/136.17 c | 884226 | 571 2218 9842 | 11789 6311 17 | 17.960 % | 136.55/136.60 c | 888071 | 571 2218 9842 | 12968 10156 21 | 17.960 % | 137.25/137.31 c | 893839 | 571 2218 9842 | 14265 9340 25 | 17.960 % | 138.25/138.31 c | 902488 | 571 2218 9842 | 15692 10773 20 | 17.960 % | 139.95/140.01 c | 915462 | 571 2218 9842 | 17261 15700 33 | 17.960 % | 142.75/142.81 c | 934924 | 571 2218 9842 | 18987 8953 31 | 17.960 % | 146.94/147.09 c | 964116 | 571 2218 9842 | 20886 18922 36 | 17.960 % | 152.74/152.88 c | 1007905 | 571 2218 9842 | 22974 20476 28 | 17.960 % | 163.54/163.64 c | 1073589 | 571 2218 9842 | 25272 16129 39 | 17.960 % | 182.04/182.17 c | 1172115 | 571 2218 9842 | 27799 15071 28 | 17.960 % | 183.43/183.52 c There are 125 assigned variables. 9 in cost function. 184.74/184.89 c core #1 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 3 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #2 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 4 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #3 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 5 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #4 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 6 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #5 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 7 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #6 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 8 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #7 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 9 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #8 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 10 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #9 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 11 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #10 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 12 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #11 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 13 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #12 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 14 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #13 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 15 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #14 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 16 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #15 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 2 Core Weight: 1 Total Weight: 17 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #16 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 6 Core Weight: 1 Total Weight: 18 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #17 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 19 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #18 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 9 Core Weight: 1 Total Weight: 20 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #19 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 21 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #20 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 9 Core Weight: 1 Total Weight: 22 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #21 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 3 Core Weight: 1 Total Weight: 23 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #22 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 8 Core Weight: 1 Total Weight: 24 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #23 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 25 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #24 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 9 Core Weight: 1 Total Weight: 26 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #25 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 27 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #26 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 14 Core Weight: 1 Total Weight: 28 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #27 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 29 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #28 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 30 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #29 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 31 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #30 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 14 Core Weight: 1 Total Weight: 32 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #31 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 33 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #32 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 9 Core Weight: 1 Total Weight: 34 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #33 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 35 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #34 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 9 Core Weight: 1 Total Weight: 36 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #35 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 6 Core Weight: 1 Total Weight: 37 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #36 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 38 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #37 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 14 Core Weight: 1 Total Weight: 39 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #38 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 6 Core Weight: 1 Total Weight: 40 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #39 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 41 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #40 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 14 Core Weight: 1 Total Weight: 42 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #41 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 43 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #42 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 14 Core Weight: 1 Total Weight: 44 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #43 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 6 Core Weight: 1 Total Weight: 45 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #44 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 46 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #45 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 47 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #46 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 48 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #47 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 3 Core Weight: 1 Total Weight: 49 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #48 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 8 Core Weight: 1 Total Weight: 50 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #49 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 3 Core Weight: 1 Total Weight: 51 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #50 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 52 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #51 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 9 Core Weight: 1 Total Weight: 53 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #52 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 54 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #53 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 55 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #54 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 9 Core Weight: 1 Total Weight: 56 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #55 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 57 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #56 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 5 Core Weight: 1 Total Weight: 58 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #57 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 59 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c core #58 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 4 Core Weight: 1 Total Weight: 60 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c This is when the PBO solver was able to find the optimum, but failed to prove optimality... 184.74/184.89 Best: 60 184.74/184.89 Total: 60 184.74/184.89 c #cores: 58 184.74/184.89 c Final Weight: 60 184.74/184.89 o 60 184.74/184.89 s OPTIMUM FOUND 184.74/184.89 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 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 184.74/184.89 c Total CPU time: 181.373 s
OK 60
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680757-1277453354/watcher-2680757-1277453354 -o /tmp/evaluation-result-2680757-1277453354/solver-2680757-1277453354 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680757-1277453354.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.79 3/106 21465 /proc/meminfo: memFree=1852176/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=2652 CPUtime=0 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 297 0 0 0 0 0 0 0 19 0 1 0 120921814 2715648 215 1992294400 134512640 135752675 4291785312 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 663 215 141 303 0 339 0 [startup+0.102125 s] /proc/loadavg: 0.99 0.97 0.79 3/106 21465 /proc/meminfo: memFree=1852176/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=3108 CPUtime=0.09 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 444 0 0 0 9 0 0 0 19 0 1 0 120921814 3182592 343 1992294400 134512640 135752675 4291785312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 777 343 145 303 0 472 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3108 [startup+0.201134 s] /proc/loadavg: 0.99 0.97 0.79 3/106 21465 /proc/meminfo: memFree=1852176/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=3504 CPUtime=0.19 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 531 0 0 0 18 1 0 0 19 0 1 0 120921814 3588096 430 1992294400 134512640 135752675 4291785312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 876 430 145 303 0 571 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3504 [startup+0.301145 s] /proc/loadavg: 0.99 0.97 0.79 3/106 21465 /proc/meminfo: memFree=1852176/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=3768 CPUtime=0.29 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 608 0 0 0 27 2 0 0 19 0 1 0 120921814 3858432 507 1992294400 134512640 135752675 4291785312 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 942 507 145 303 0 637 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3768 [startup+0.701184 s] /proc/loadavg: 0.99 0.97 0.79 3/106 21465 /proc/meminfo: memFree=1852176/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=4824 CPUtime=0.69 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 884 0 0 0 66 3 0 0 19 0 1 0 120921814 4939776 783 1992294400 134512640 135752675 4291785312 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 1206 783 145 303 0 901 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4824 [startup+1.50127 s] /proc/loadavg: 0.99 0.97 0.79 2/107 21466 /proc/meminfo: memFree=1848696/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=6540 CPUtime=1.49 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 1282 0 0 0 144 5 0 0 21 0 1 0 120921814 6696960 1181 1992294400 134512640 135752675 4291785312 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 1635 1181 145 303 0 1330 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6540 [startup+3.10043 s] /proc/loadavg: 0.99 0.97 0.79 2/107 21466 /proc/meminfo: memFree=1846340/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=9708 CPUtime=3.09 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 2101 0 0 0 299 10 0 0 25 0 1 0 120921814 9940992 2000 1992294400 134512640 135752675 4291785312 18446744073709551615 134611854 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 2427 2000 145 303 0 2122 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9708 [startup+6.30075 s] /proc/loadavg: 0.99 0.97 0.79 2/107 21466 /proc/meminfo: memFree=1840016/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=15256 CPUtime=6.29 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 3492 0 0 0 613 16 0 0 25 0 1 0 120921814 15622144 3391 1992294400 134512640 135752675 4291785312 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 3814 3391 145 303 0 3509 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15256 [startup+12.7004 s] /proc/loadavg: 0.99 0.97 0.79 2/107 21466 /proc/meminfo: memFree=1830096/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=24604 CPUtime=12.69 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 5804 0 0 0 1241 28 0 0 25 0 1 0 120921814 25194496 5703 1992294400 134512640 135752675 4291785312 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 6151 5703 145 303 0 5846 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24604 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.79 2/107 21466 /proc/meminfo: memFree=1810876/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=43360 CPUtime=25.48 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 10510 0 0 0 2495 53 0 0 25 0 1 0 120921814 44400640 10409 1992294400 134512640 135752675 4291785312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 10840 10409 145 303 0 10535 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43360 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.80 2/107 21468 /proc/meminfo: memFree=1785084/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=69400 CPUtime=51.07 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 17002 0 0 0 5016 91 0 0 25 0 1 0 120921814 71065600 16901 1992294400 134512640 135752675 4291785312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 17350 16901 145 303 0 17045 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69400 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.81 2/107 21468 /proc/meminfo: memFree=1708452/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=145300 CPUtime=102.27 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 35971 0 0 0 10027 200 0 0 25 0 1 0 120921814 148787200 35870 1992294400 134512640 135752675 4291785312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 36325 35870 145 303 0 36020 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 145300 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1621156/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=233500 CPUtime=162.24 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 57999 0 0 0 15909 315 0 0 25 0 1 0 120921814 239104000 57898 1992294400 134512640 135752675 4291785312 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 58375 57898 145 303 0 58070 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 233500 Solver just ended. Dumping a history of the last processes samples [startup+166.401 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1613964/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=240108 CPUtime=166.34 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 59661 0 0 0 16312 322 0 0 25 0 1 0 120921814 245870592 59560 1992294400 134512640 135752675 4291785312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 60027 59560 145 303 0 59722 0 Current children cumulated CPU time (s) 166.34 Current children cumulated vsize (KiB) 240108 [startup+172.808 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1605036/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=248548 CPUtime=172.75 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 61776 0 0 0 16944 331 0 0 25 0 1 0 120921814 254513152 61675 1992294400 134512640 135752675 4291785312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 62137 61675 145 303 0 61832 0 Current children cumulated CPU time (s) 172.75 Current children cumulated vsize (KiB) 248548 [startup+179.201 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1597968/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=256636 CPUtime=179.14 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 63786 0 0 0 17575 339 0 0 25 0 1 0 120921814 262795264 63685 1992294400 134512640 135752675 4291785312 18446744073709551615 134603319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 64159 63685 145 303 0 63854 0 Current children cumulated CPU time (s) 179.14 Current children cumulated vsize (KiB) 256636 [startup+182.4 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1594124/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=260692 CPUtime=182.33 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 64799 0 0 0 17889 344 0 0 25 0 1 0 120921814 266948608 64698 1992294400 134512640 135752675 4291785312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 65173 64698 145 303 0 64868 0 Current children cumulated CPU time (s) 182.33 Current children cumulated vsize (KiB) 260692 [startup+184.001 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1591148/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=262276 CPUtime=183.93 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 65198 0 0 0 18047 346 0 0 25 0 1 0 120921814 268570624 65097 1992294400 134512640 135752675 4291785312 18446744073709551615 134521914 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 65569 65097 145 303 0 65264 0 Current children cumulated CPU time (s) 183.93 Current children cumulated vsize (KiB) 262276 [startup+184.401 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1591148/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=262112 CPUtime=184.33 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 65198 0 0 0 18087 346 0 0 25 0 1 0 120921814 268402688 65069 1992294400 134512640 135752675 4291785312 18446744073709551615 135201336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 65528 65069 145 303 0 65223 0 Current children cumulated CPU time (s) 184.33 Current children cumulated vsize (KiB) 262112 [startup+184.801 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1591148/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=262112 CPUtime=184.74 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202496 65200 0 0 0 18128 346 0 0 25 0 1 0 120921814 268402688 65071 1992294400 134512640 135752675 4291785312 18446744073709551615 135202244 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21465/statm: 65528 65071 146 303 0 65223 0 Current children cumulated CPU time (s) 184.74 Current children cumulated vsize (KiB) 262112 [startup+184.909 s] /proc/loadavg: 0.99 0.97 0.82 2/107 21470 /proc/meminfo: memFree=1591148/2059040 swapFree=4134180/4192956 [pid=21465] ppid=21463 vsize=0 CPUtime=184.84 /proc/21465/stat : 21465 (wbo1.4b) R 21463 21465 21359 0 -1 4202500 65201 0 0 0 18137 347 0 0 25 0 1 0 120921814 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/21465/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 184.84 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 184.926 CPU time (s): 184.869 CPU user time (s): 181.373 CPU system time (s): 3.49547 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 262276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.373 system time used= 3.49547 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65201 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= 3 involuntary context switches= 719 runsolver used 0.305953 second user time and 0.890864 second system time The end
Begin job on node017 at 2010-06-25 10:09:14 IDJOB=2680757 IDBENCH=2028 IDSOLVER=1190 FILE ID=node017/2680757-1277453354 PBS_JOBID= 11188142 Free space on /tmp= 62260 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680757-1277453354/watcher-2680757-1277453354 -o /tmp/evaluation-result-2680757-1277453354/solver-2680757-1277453354 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680757-1277453354.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8521955d0869ff4fe0390118a5fbc0f9 RANDOM SEED=1504451790 node017.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.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1852704 kB Buffers: 33932 kB Cached: 76460 kB SwapCached: 11216 kB Active: 19508 kB Inactive: 104808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1852704 kB SwapTotal: 4192956 kB SwapFree: 4134180 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 12572 kB Mapped: 8376 kB Slab: 59988 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183484 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= 62256 MiB End job on node017 at 2010-06-25 10:12:19