Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1350.82 | 1350.83 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo |
MD5SUM | 5ae7a85bf99e064da8ccbcbd4c939a34 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 498.031 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 45741 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45740 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690061-1277905428.wbo. 0.00/0.00 c Instance file HOME/instance-2690061-1277905428.wbo 0.00/0.00 c File size is 87857 bytes. 0.00/0.00 c Highest Coefficient sum: 689 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: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 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 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 231 2707 8338 | 5500 100 22 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 33 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 33 | 0.002 % | 0.02/0.02 c | 814 | 231 2707 8338 | 7320 814 32 | 0.002 % | 0.02/0.04 c | 1321 | 231 2707 8338 | 8052 1321 30 | 0.002 % | 0.02/0.06 c | 2081 | 231 2707 8338 | 8857 2081 29 | 0.002 % | 0.02/0.09 c | 3222 | 231 2707 8338 | 9743 3222 30 | 0.002 % | 0.09/0.15 c | 4930 | 231 2707 8338 | 10717 4930 30 | 0.002 % | 0.19/0.26 c | 7492 | 231 2707 8338 | 11789 7492 32 | 0.002 % | 0.39/0.45 c | 11336 | 231 2707 8338 | 12968 11336 32 | 0.002 % | 0.69/0.74 c | 17104 | 231 2707 8338 | 14265 10570 32 | 0.002 % | 1.29/1.32 c | 25755 | 231 2707 8338 | 15692 12041 35 | 0.002 % | 2.19/2.23 c | 38730 | 231 2707 8338 | 17261 9233 35 | 0.002 % | 3.59/3.67 c | 58194 | 231 2707 8338 | 18987 11326 39 | 0.002 % | 6.09/6.15 c | 87387 | 231 2707 8338 | 20886 11876 39 | 0.002 % | 9.48/9.54 c | 131177 | 231 2707 8338 | 22974 13688 34 | 0.002 % | 14.99/15.02 c | 196862 | 231 2707 8338 | 25272 21529 36 | 0.002 % | 23.89/23.99 c | 295389 | 231 2707 8338 | 27799 12703 37 | 0.002 % | 38.89/38.99 c | 443178 | 231 2707 8338 | 30579 20453 35 | 0.002 % | 61.89/61.93 c | 664864 | 231 2707 8338 | 33637 19456 37 | 0.002 % | 77.39/77.43 c =============================================================================== 81.59/81.60 c core #1 81.59/81.60 c ============================[ Search Statistics ]============================== 81.59/81.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 81.59/81.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 81.59/81.60 c =============================================================================== 81.59/81.60 c | 0 | 695 3565 12390 | 5000 0 nan | 0.000 % | 81.69/81.78 c | 101 | 695 3565 12390 | 5500 101 22 | 0.000 % | 81.69/81.78 c | 251 | 695 3565 12390 | 6050 251 26 | 0.000 % | 81.69/81.79 c | 477 | 695 3565 12390 | 6655 477 30 | 0.000 % | 81.79/81.80 c | 815 | 695 3565 12390 | 7320 815 28 | 0.000 % | 81.79/81.82 c | 1322 | 695 3565 12390 | 8052 1322 28 | 0.000 % | 81.79/81.87 c | 2081 | 695 3565 12390 | 8857 2081 27 | 0.000 % | 81.89/81.91 c | 3220 | 695 3565 12390 | 9743 3220 27 | 0.000 % | 81.89/81.97 c | 4929 | 695 3565 12390 | 10717 4929 27 | 0.000 % | 81.99/82.08 c | 7492 | 695 3565 12390 | 11789 7492 29 | 0.000 % | 82.29/82.30 c | 11337 | 695 3565 12390 | 12968 11337 31 | 0.000 % | 82.59/82.69 c | 17104 | 695 3565 12390 | 14265 10555 36 | 0.000 % | 83.39/83.41 c | 25753 | 695 3565 12390 | 15692 12016 38 | 0.000 % | 84.59/84.63 c | 38729 | 695 3565 12390 | 17261 9200 41 | 0.000 % | 86.39/86.42 c | 58191 | 695 3565 12390 | 18987 11288 38 | 0.000 % | 89.10/89.15 c | 87384 | 695 3565 12390 | 20886 11851 35 | 0.000 % | 93.19/93.27 c | 131173 | 695 3565 12390 | 22974 13658 37 | 0.000 % | 99.29/99.30 c | 196857 | 695 3565 12390 | 25272 21545 32 | 0.000 % | 109.69/109.77 c | 295385 | 695 3565 12390 | 27799 12388 36 | 0.000 % | 126.40/126.43 c | 443176 | 695 3565 12390 | 30579 18955 38 | 0.000 % | 149.89/149.97 c | 664860 | 695 3565 12390 | 33637 19147 36 | 0.000 % | 186.09/186.10 c | 997386 | 695 3565 12390 | 37001 13533 36 | 0.000 % | 203.18/203.25 c =============================================================================== 210.18/210.20 c core #2 210.18/210.20 c ============================[ Search Statistics ]============================== 210.18/210.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.18/210.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.18/210.20 c =============================================================================== 210.18/210.20 c | 0 | 1156 4404 16375 | 5000 0 nan | 0.000 % | 210.18/210.23 c | 100 | 1156 4404 16375 | 5500 100 29 | 0.000 % | 210.18/210.25 c | 250 | 1156 4404 16375 | 6050 250 31 | 0.000 % | 210.18/210.27 c | 476 | 1156 4404 16375 | 6655 476 29 | 0.000 % | 210.18/210.29 c | 816 | 1156 4404 16375 | 7320 816 26 | 0.000 % | 210.28/210.31 c | 1322 | 1156 4404 16375 | 8052 1322 27 | 0.000 % | 210.28/210.34 c | 2083 | 1156 4404 16375 | 8857 2083 28 | 0.000 % | 210.38/210.40 c | 3222 | 1156 4404 16375 | 9743 3222 28 | 0.000 % | 210.38/210.49 c | 4930 | 1156 4404 16375 | 10717 4930 30 | 0.000 % | 210.58/210.63 c | 7492 | 1156 4404 16375 | 11789 7492 31 | 0.000 % | 210.88/210.93 c | 11338 | 1156 4404 16375 | 12968 11338 33 | 0.000 % | 211.28/211.38 c | 17105 | 1156 4404 16375 | 14265 10580 38 | 0.000 % | 212.08/212.11 c | 25755 | 1156 4404 16375 | 15692 12056 37 | 0.000 % | 213.18/213.25 c | 38729 | 1156 4404 16375 | 17261 9226 34 | 0.000 % | 214.98/215.02 c | 58191 | 1156 4404 16375 | 18987 11311 36 | 0.000 % | 217.88/217.99 c | 87385 | 1156 4404 16375 | 20886 11878 41 | 0.000 % | 222.09/222.19 c | 131175 | 1156 4404 16375 | 22974 13669 36 | 0.000 % | 228.79/228.83 c | 196862 | 1156 4404 16375 | 25272 21510 38 | 0.000 % | 239.28/239.30 c | 295389 | 1156 4404 16375 | 27799 12436 35 | 0.000 % | 256.88/256.92 c | 443180 | 1156 4404 16375 | 30579 18866 40 | 0.000 % | 281.48/281.56 c | 664864 | 1156 4404 16375 | 33637 18686 33 | 0.000 % | 317.97/318.00 c | 997389 | 1135 4404 16375 | 37001 26422 34 | 1.817 % | 322.68/322.78 c =============================================================================== 329.07/329.13 c core #3 329.07/329.13 c ============================[ Search Statistics ]============================== 329.07/329.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 329.07/329.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 329.07/329.13 c =============================================================================== 329.07/329.13 c | 0 | 1622 5232 20338 | 5000 0 nan | 0.000 % | 329.07/329.19 c | 100 | 1622 5232 20338 | 5500 100 20 | 0.000 % | 329.17/329.20 c | 250 | 1622 5232 20338 | 6050 250 24 | 0.000 % | 329.17/329.21 c | 475 | 1622 5232 20338 | 6655 475 23 | 0.000 % | 329.17/329.23 c | 812 | 1622 5232 20338 | 7320 812 24 | 0.000 % | 329.17/329.25 c | 1318 | 1622 5232 20338 | 8052 1318 26 | 0.000 % | 329.17/329.29 c | 2077 | 1622 5232 20338 | 8857 2077 28 | 0.000 % | 329.27/329.35 c | 3216 | 1622 5232 20338 | 9743 3216 30 | 0.000 % | 329.38/329.45 c | 4924 | 1622 5232 20338 | 10717 4924 30 | 0.000 % | 329.58/329.62 c | 7487 | 1622 5232 20338 | 11789 7487 31 | 0.000 % | 329.78/329.87 c | 11331 | 1622 5232 20338 | 12968 11331 30 | 0.000 % | 330.18/330.25 c | 17098 | 1622 5232 20338 | 14265 10542 31 | 0.000 % | 330.78/330.88 c | 25749 | 1622 5232 20338 | 15692 12001 34 | 0.000 % | 331.88/331.99 c | 38724 | 1622 5232 20338 | 17261 9163 38 | 0.000 % | 333.57/333.66 c | 58185 | 1622 5232 20338 | 18987 11249 33 | 0.000 % | 336.58/336.63 c | 87377 | 1622 5232 20338 | 20886 11791 38 | 0.000 % | 341.57/341.67 c | 131169 | 1622 5232 20338 | 22974 13600 38 | 0.000 % | 348.47/348.57 c | 196855 | 1622 5232 20338 | 25272 21440 39 | 0.000 % | 359.18/359.26 c | 295383 | 1622 5232 20338 | 27799 12331 36 | 0.000 % | 375.58/375.60 c | 443175 | 1622 5232 20338 | 30579 19147 37 | 0.000 % | 401.48/401.57 c | 664860 | 1622 5232 20338 | 33637 20941 38 | 0.000 % | 428.88/428.99 c =============================================================================== 434.57/434.62 c core #4 434.57/434.62 c ============================[ Search Statistics ]============================== 434.57/434.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 434.57/434.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 434.57/434.62 c =============================================================================== 434.57/434.62 c | 0 | 2095 6055 24297 | 5000 0 nan | 0.000 % | 434.57/434.69 c | 102 | 2095 6055 24297 | 5500 102 33 | 0.000 % | 434.68/434.70 c | 255 | 2095 6055 24297 | 6050 255 37 | 0.000 % | 434.68/434.72 c | 480 | 2095 6055 24297 | 6655 480 33 | 0.000 % | 434.68/434.74 c | 817 | 2095 6055 24297 | 7320 817 30 | 0.000 % | 434.68/434.76 c | 1326 | 2095 6055 24297 | 8052 1326 29 | 0.000 % | 434.78/434.81 c | 2089 | 2095 6055 24297 | 8857 2089 28 | 0.000 % | 434.78/434.86 c | 3228 | 2095 6055 24297 | 9743 3228 28 | 0.000 % | 434.87/434.93 c | 4938 | 2095 6055 24297 | 10717 4938 29 | 0.000 % | 434.98/435.08 c | 7500 | 2095 6055 24297 | 11789 7500 30 | 0.000 % | 435.28/435.33 c | 11344 | 2095 6055 24297 | 12968 11344 31 | 0.000 % | 435.68/435.71 c | 17110 | 2095 6055 24297 | 14265 10584 32 | 0.000 % | 436.27/436.33 c | 25759 | 2095 6055 24297 | 15692 12054 32 | 0.000 % | 437.37/437.40 c | 38733 | 2095 6055 24297 | 17261 9214 34 | 0.000 % | 438.97/439.03 c | 58195 | 2095 6055 24297 | 18987 11306 35 | 0.000 % | 441.77/441.86 c | 87387 | 2095 6055 24297 | 20886 11873 37 | 0.000 % | 446.07/446.15 c | 131178 | 2095 6055 24297 | 22974 13684 35 | 0.000 % | 453.08/453.11 c | 196862 | 2095 6055 24297 | 25272 21694 37 | 0.000 % | 463.97/464.05 c | 295388 | 2095 6055 24297 | 27799 25350 37 | 0.000 % | 480.87/480.97 c | 443178 | 2095 6055 24297 | 30579 15608 38 | 0.000 % | 508.57/508.60 c | 664861 | 2095 6055 24297 | 33637 19187 37 | 0.000 % | 531.67/531.76 c =============================================================================== 537.38/537.45 c core #5 537.38/537.45 c ============================[ Search Statistics ]============================== 537.38/537.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 537.38/537.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 537.38/537.45 c =============================================================================== 537.38/537.45 c | 0 | 2577 6861 28222 | 5000 0 nan | 0.000 % | 537.48/537.53 c | 101 | 2577 6861 28222 | 5500 101 41 | 0.000 % | 537.48/537.54 c | 251 | 2577 6861 28222 | 6050 251 32 | 0.000 % | 537.48/537.55 c | 477 | 2577 6861 28222 | 6655 477 29 | 0.000 % | 537.48/537.57 c | 815 | 2577 6861 28222 | 7320 815 28 | 0.000 % | 537.58/537.60 c | 1322 | 2577 6861 28222 | 8052 1322 30 | 0.000 % | 537.58/537.65 c | 2081 | 2577 6861 28222 | 8857 2081 28 | 0.000 % | 537.67/537.70 c | 3220 | 2577 6861 28222 | 9743 3220 30 | 0.000 % | 537.67/537.78 c | 4928 | 2577 6861 28222 | 10717 4928 31 | 0.000 % | 537.88/537.92 c | 7491 | 2577 6861 28222 | 11789 7491 31 | 0.000 % | 538.07/538.17 c | 11335 | 2577 6861 28222 | 12968 11335 31 | 0.000 % | 538.58/538.60 c | 17102 | 2577 6861 28222 | 14265 10559 33 | 0.000 % | 539.18/539.30 c | 25751 | 2577 6861 28222 | 15692 12048 35 | 0.000 % | 540.57/540.66 c | 38726 | 2577 6861 28222 | 17261 9247 40 | 0.000 % | 542.58/542.69 c | 58187 | 2577 6861 28222 | 18987 11333 37 | 0.000 % | 545.78/545.88 c | 87381 | 2577 6861 28222 | 20886 11905 37 | 0.000 % | 550.67/550.73 c | 131170 | 2577 6861 28222 | 22974 13700 42 | 0.000 % | 557.37/557.44 c | 196854 | 2577 6861 28222 | 25272 21662 37 | 0.000 % | 568.17/568.21 c | 295386 | 2577 6861 28222 | 27799 12961 39 | 0.000 % | 585.28/585.32 c | 443176 | 2577 6861 28222 | 30579 17173 36 | 0.000 % | 611.48/611.55 c | 664859 | 2577 6861 28222 | 33637 17074 37 | 0.000 % | 650.37/650.43 c | 997385 | 2576 6861 28222 | 37001 28588 38 | 0.039 % | 669.57/669.65 c =============================================================================== 677.07/677.10 c core #6 677.07/677.10 c ============================[ Search Statistics ]============================== 677.07/677.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 677.07/677.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 677.07/677.10 c =============================================================================== 677.07/677.10 c | 0 | 3086 7657 32176 | 5000 0 nan | 0.000 % | 677.07/677.19 c | 102 | 3086 7657 32176 | 5500 102 30 | 0.000 % | 677.17/677.20 c | 253 | 3086 7657 32176 | 6050 253 30 | 0.000 % | 677.17/677.22 c | 480 | 3086 7657 32176 | 6655 480 28 | 0.000 % | 677.17/677.23 c | 817 | 3086 7657 32176 | 7320 817 29 | 0.000 % | 677.17/677.27 c | 1326 | 3086 7657 32176 | 8052 1326 29 | 0.000 % | 677.27/677.32 c | 2086 | 3086 7657 32176 | 8857 2086 29 | 0.000 % | 677.27/677.40 c | 3226 | 3086 7657 32176 | 9743 3226 29 | 0.000 % | 677.37/677.49 c | 4935 | 3086 7657 32176 | 10717 4935 30 | 0.000 % | 677.57/677.67 c | 7497 | 3086 7657 32176 | 11789 7497 32 | 0.000 % | 677.87/677.97 c | 11341 | 3086 7657 32176 | 12968 11341 31 | 0.000 % | 678.37/678.47 c | 17107 | 3086 7657 32176 | 14265 10576 33 | 0.000 % | 679.27/679.33 c | 25757 | 3086 7657 32176 | 15692 12037 36 | 0.000 % | 680.47/680.55 c | 38732 | 3086 7657 32176 | 17261 9211 37 | 0.000 % | 682.57/682.60 c | 58193 | 3086 7657 32176 | 18987 11306 36 | 0.000 % | 685.47/685.52 c | 87387 | 3086 7657 32176 | 20886 11858 35 | 0.000 % | 690.07/690.19 c | 131176 | 3086 7657 32176 | 22974 13621 37 | 0.000 % | 697.28/697.31 c | 196861 | 3086 7657 32176 | 25272 21204 35 | 0.000 % | 709.17/709.27 c | 295388 | 3086 7657 32176 | 27799 25075 36 | 0.000 % | 729.77/729.83 c | 443178 | 3086 7657 32176 | 30579 16594 35 | 0.000 % | 758.27/758.32 c | 664863 | 3086 7657 32176 | 33637 15171 36 | 0.000 % | 802.68/802.76 c | 997388 | 3086 7657 32176 | 37001 24368 40 | 0.000 % | 835.07/835.11 c =============================================================================== 844.68/844.73 c core #7 844.68/844.73 c ============================[ Search Statistics ]============================== 844.68/844.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 844.68/844.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 844.68/844.73 c =============================================================================== 844.68/844.73 c | 0 | 3615 8452 36191 | 5000 0 nan | 0.000 % | 844.87/844.90 c | 100 | 3615 8452 36191 | 5500 100 30 | 0.000 % | 844.87/844.91 c | 252 | 3615 8452 36191 | 6050 252 30 | 0.000 % | 844.87/844.93 c | 477 | 3615 8452 36191 | 6655 477 30 | 0.000 % | 844.87/844.95 c | 814 | 3615 8452 36191 | 7320 814 30 | 0.000 % | 844.97/845.00 c | 1322 | 3615 8452 36191 | 8052 1322 31 | 0.000 % | 844.97/845.06 c | 2084 | 3615 8452 36191 | 8857 2084 30 | 0.000 % | 845.07/845.14 c | 3224 | 3615 8452 36191 | 9743 3224 31 | 0.000 % | 845.17/845.25 c | 4932 | 3615 8452 36191 | 10717 4932 32 | 0.000 % | 845.37/845.44 c | 7496 | 3615 8452 36191 | 11789 7496 32 | 0.000 % | 845.67/845.77 c | 11340 | 3615 8452 36191 | 12968 11340 33 | 0.000 % | 846.17/846.29 c | 17107 | 3615 8452 36191 | 14265 10582 34 | 0.000 % | 847.07/847.13 c | 25756 | 3615 8452 36191 | 15692 12042 33 | 0.000 % | 848.47/848.55 c | 38730 | 3615 8452 36191 | 17261 9226 35 | 0.000 % | 850.67/850.70 c | 58192 | 3615 8452 36191 | 18987 11316 37 | 0.000 % | 854.08/854.18 c | 87384 | 3615 8452 36191 | 20886 11856 39 | 0.000 % | 859.18/859.25 c | 131173 | 3615 8452 36191 | 22974 13682 36 | 0.000 % | 867.28/867.39 c | 196857 | 3615 8452 36191 | 25272 21347 36 | 0.000 % | 879.47/879.56 c | 295383 | 3615 8452 36191 | 27799 25224 37 | 0.000 % | 900.48/900.50 c | 443172 | 3615 8452 36191 | 30579 15341 38 | 0.000 % | 928.47/928.57 c | 664856 | 3615 8452 36191 | 33637 16518 39 | 0.000 % | 969.28/969.33 c | 997384 | 3615 8452 36191 | 37001 30551 41 | 0.000 % | 976.27/976.34 c =============================================================================== 983.38/983.46 c core #8 983.38/983.46 c ============================[ Search Statistics ]============================== 983.38/983.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 983.38/983.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 983.38/983.46 c =============================================================================== 983.38/983.46 c | 0 | 4151 9239 40174 | 5000 0 nan | 0.000 % | 983.47/983.58 c | 101 | 4151 9239 40174 | 5500 101 27 | 0.000 % | 983.47/983.59 c | 252 | 4151 9239 40174 | 6050 252 28 | 0.000 % | 983.57/983.61 c | 477 | 4151 9239 40174 | 6655 477 29 | 0.000 % | 983.57/983.63 c | 815 | 4151 9239 40174 | 7320 815 31 | 0.000 % | 983.57/983.66 c | 1322 | 4151 9239 40174 | 8052 1322 31 | 0.000 % | 983.68/983.72 c | 2083 | 4151 9239 40174 | 8857 2083 32 | 0.000 % | 983.68/983.77 c | 3222 | 4151 9239 40174 | 9743 3222 31 | 0.000 % | 983.77/983.87 c | 4930 | 4151 9239 40174 | 10717 4930 32 | 0.000 % | 983.98/984.03 c | 7496 | 4151 9239 40174 | 11789 7496 32 | 0.000 % | 984.27/984.32 c | 11340 | 4151 9239 40174 | 12968 11340 32 | 0.000 % | 984.68/984.76 c | 17106 | 4151 9239 40174 | 14265 10573 34 | 0.000 % | 985.58/985.60 c | 25755 | 4151 9239 40174 | 15692 12029 37 | 0.000 % | 986.78/986.80 c | 38729 | 4151 9239 40174 | 17261 9187 39 | 0.000 % | 988.78/988.80 c | 58192 | 4151 9239 40174 | 18987 11252 42 | 0.000 % | 991.87/991.91 c | 87384 | 4151 9239 40174 | 20886 11794 38 | 0.000 % | 997.08/997.14 c | 131176 | 4151 9239 40174 | 22974 13615 43 | 0.000 % | 1005.28/1005.36 c | 196862 | 4151 9239 40174 | 25272 21380 40 | 0.000 % | 1017.39/1017.48 c | 295388 | 4151 9239 40174 | 27799 13036 41 | 0.000 % | 1036.27/1036.34 c | 443177 | 4151 9239 40174 | 30579 18917 39 | 0.000 % | 1064.28/1064.34 c | 664860 | 4151 9239 40174 | 33637 20338 37 | 0.000 % | 1107.07/1107.11 c | 997386 | 4151 9239 40174 | 37001 33667 40 | 0.000 % | 1175.48/1175.56 c | 1496174 | 4151 9239 40174 | 40701 22905 38 | 0.000 % | 1199.28/1199.31 c =============================================================================== 1210.48/1210.55 c core #9 1210.48/1210.55 c ============================[ Search Statistics ]============================== 1210.48/1210.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1210.48/1210.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1210.48/1210.55 c =============================================================================== 1210.48/1210.55 c | 0 | 4706 10019 44192 | 5000 0 nan | 0.000 % | 1210.58/1210.69 c | 102 | 4706 10019 44192 | 5500 102 30 | 0.000 % | 1210.68/1210.70 c | 252 | 4706 10019 44192 | 6050 252 31 | 0.000 % | 1210.68/1210.71 c | 478 | 4706 10019 44192 | 6655 478 31 | 0.000 % | 1210.68/1210.73 c | 818 | 4706 10019 44192 | 7320 818 30 | 0.000 % | 1210.68/1210.76 c | 1324 | 4706 10019 44192 | 8052 1324 30 | 0.000 % | 1210.78/1210.81 c | 2083 | 4706 10019 44192 | 8857 2083 31 | 0.000 % | 1210.88/1210.90 c | 3222 | 4706 10019 44192 | 9743 3222 31 | 0.000 % | 1210.98/1211.02 c | 4932 | 4706 10019 44192 | 10717 4932 32 | 0.000 % | 1211.09/1211.18 c | 7497 | 4706 10019 44192 | 11789 7497 31 | 0.000 % | 1211.38/1211.46 c | 11342 | 4706 10019 44192 | 12968 11342 31 | 0.000 % | 1211.88/1211.91 c | 17108 | 4706 10019 44192 | 14265 10602 31 | 0.000 % | 1212.58/1212.63 c | 25757 | 4706 10019 44192 | 15692 12056 34 | 0.000 % | 1213.88/1213.91 c | 38732 | 4706 10019 44192 | 17261 9237 36 | 0.000 % | 1215.78/1215.86 c | 58193 | 4706 10019 44192 | 18987 11319 36 | 0.000 % | 1218.98/1219.07 c | 87385 | 4706 10019 44192 | 20886 11873 36 | 0.000 % | 1223.89/1223.94 c | 131176 | 4706 10019 44192 | 22974 13688 37 | 0.000 % | 1231.78/1231.88 c | 196860 | 4706 10019 44192 | 25272 21317 36 | 0.000 % | 1244.89/1244.99 c | 295387 | 4706 10019 44192 | 27799 15212 40 | 0.000 % | 1263.08/1263.10 c | 443178 | 4706 10019 44192 | 30579 19226 36 | 0.000 % | 1292.08/1292.16 c | 664862 | 4706 10019 44192 | 33637 21006 36 | 0.000 % | 1334.78/1334.85 c | 997389 | 4706 10019 44192 | 37001 31566 36 | 0.000 % | 1350.69/1350.76 c =============================================================================== 1350.69/1350.76 c #cores: 9 1350.69/1350.76 c Final Weight: 9 1350.69/1350.76 o 9 1350.69/1350.76 s OPTIMUM FOUND 1350.69/1350.76 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 1350.69/1350.76 c Total CPU time: 1329 s
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690061-1277905428/watcher-2690061-1277905428 -o /tmp/evaluation-result-2690061-1277905428/solver-2690061-1277905428 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690061-1277905428.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.02 2.00 3/194 12630 /proc/meminfo: memFree=31328000/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2656 CPUtime=0 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 306 0 0 0 0 0 0 0 18 0 1 0 131839401 2719744 224 4089446400 134512640 135751879 4287079536 18446744073709551615 134576086 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 664 224 146 303 0 337 0 [startup+0.0285021 s] /proc/loadavg: 2.06 2.02 2.00 3/194 12630 /proc/meminfo: memFree=31328000/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2976 CPUtime=0.02 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 397 0 0 0 2 0 0 0 18 0 1 0 131839401 3047424 293 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 744 293 143 303 0 439 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2976 [startup+0.100487 s] /proc/loadavg: 2.06 2.02 2.00 3/194 12630 /proc/meminfo: memFree=31328000/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=3504 CPUtime=0.09 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 554 0 0 0 9 0 0 0 18 0 1 0 131839401 3588096 450 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 876 450 143 303 0 571 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3504 [startup+0.300455 s] /proc/loadavg: 2.06 2.02 2.00 3/194 12630 /proc/meminfo: memFree=31328000/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=4972 CPUtime=0.29 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 897 0 0 0 29 0 0 0 18 0 1 0 131839401 5091328 793 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 1243 793 143 303 0 938 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4972 [startup+0.700396 s] /proc/loadavg: 2.06 2.02 2.00 3/194 12630 /proc/meminfo: memFree=31328000/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=7084 CPUtime=0.69 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 1434 0 0 0 67 2 0 0 18 0 1 0 131839401 7254016 1330 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 1771 1330 143 303 0 1466 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7084 [startup+1.50026 s] /proc/loadavg: 2.06 2.02 2.00 3/195 12631 /proc/meminfo: memFree=31322152/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=10516 CPUtime=1.49 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 2286 0 0 0 145 4 0 0 20 0 1 0 131839401 10768384 2182 4089446400 134512640 135751879 4287079536 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 2629 2182 143 303 0 2324 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10516 [startup+3.10098 s] /proc/loadavg: 2.06 2.01 2.00 3/195 12631 /proc/meminfo: memFree=31317584/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=16856 CPUtime=3.09 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 3869 0 0 0 300 9 0 0 25 0 1 0 131839401 17260544 3765 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 4214 3765 143 303 0 3909 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16856 [startup+6.30042 s] /proc/loadavg: 2.06 2.01 2.00 3/195 12631 /proc/meminfo: memFree=31306124/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=28036 CPUtime=6.29 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 6685 0 0 0 614 15 0 0 25 0 1 0 131839401 28708864 6581 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 7009 6581 143 303 0 6704 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28036 [startup+12.7003 s] /proc/loadavg: 2.05 2.01 2.00 3/195 12631 /proc/meminfo: memFree=31283676/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=49704 CPUtime=12.69 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 12097 0 0 0 1242 27 0 0 25 0 1 0 131839401 50896896 11993 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 12426 11993 143 303 0 12121 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49704 [startup+25.5011 s] /proc/loadavg: 2.04 2.01 2.00 3/195 12631 /proc/meminfo: memFree=31243496/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=88972 CPUtime=25.49 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 21903 0 0 0 2500 49 0 0 25 0 1 0 131839401 91107328 21799 4089446400 134512640 135751879 4287079536 18446744073709551615 134603873 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 22243 21799 143 303 0 21938 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88972 [startup+51.1006 s] /proc/loadavg: 2.02 2.01 2.00 3/195 12632 /proc/meminfo: memFree=31173720/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=159672 CPUtime=51.09 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 39566 0 0 0 5006 103 0 0 25 0 1 0 131839401 163504128 39462 4089446400 134512640 135751879 4287079536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 39918 39462 143 303 0 39613 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 159672 [startup+102.306 s] /proc/loadavg: 2.01 2.00 2.00 3/195 12633 /proc/meminfo: memFree=31081296/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=250004 CPUtime=102.3 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 62192 0 0 0 10031 199 0 0 25 0 1 0 131839401 256004096 62055 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 62501 62055 146 303 0 62196 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 250004 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 12635 /proc/meminfo: memFree=30973612/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=358916 CPUtime=162.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 89399 0 0 0 15907 321 0 0 25 0 1 0 131839401 367529984 89262 4089446400 134512640 135751879 4287079536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 89729 89262 146 303 0 89424 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 358916 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 12637 /proc/meminfo: memFree=30832320/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=497600 CPUtime=222.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 124095 0 0 0 21794 434 0 0 25 0 1 0 131839401 509542400 123958 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 124400 123958 146 303 0 124095 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 497600 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 12639 /proc/meminfo: memFree=30787256/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=543496 CPUtime=282.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 135550 0 0 0 27676 552 0 0 25 0 1 0 131839401 556539904 135413 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 135874 135413 146 303 0 135569 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 543496 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 12640 /proc/meminfo: memFree=30669656/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=659492 CPUtime=342.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 164543 0 0 0 33562 666 0 0 25 0 1 0 131839401 675319808 164406 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 164873 164406 146 303 0 164568 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 659492 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 12641 /proc/meminfo: memFree=30617392/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=712784 CPUtime=402.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 177885 0 0 0 39453 775 0 0 25 0 1 0 131839401 729890816 177748 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 178196 177748 146 303 0 177891 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 712784 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 12643 /proc/meminfo: memFree=30529424/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=799032 CPUtime=462.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 199459 0 0 0 45336 892 0 0 25 0 1 0 131839401 818208768 199322 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 199758 199322 146 303 0 199453 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 799032 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 12645 /proc/meminfo: memFree=30436128/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=894336 CPUtime=522.27 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 223282 0 0 0 51222 1005 0 0 25 0 1 0 131839401 915800064 223145 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 223584 223145 146 303 0 223279 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 894336 [startup+582.3 s] /proc/loadavg: 2.04 2.01 2.00 3/195 12647 /proc/meminfo: memFree=30365644/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=963032 CPUtime=582.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 240438 0 0 0 57133 1095 0 0 25 0 1 0 131839401 986144768 240301 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 240758 240301 146 303 0 240453 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 963032 [startup+642.301 s] /proc/loadavg: 2.01 2.01 2.00 3/195 12648 /proc/meminfo: memFree=30244824/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1082560 CPUtime=642.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 270324 0 0 0 63048 1180 0 0 25 0 1 0 131839401 1108541440 270187 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12630/statm: 270640 270187 146 303 0 270335 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 1082560 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30010004/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1223972 CPUtime=762.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 305682 0 0 0 74916 1312 0 0 25 0 1 0 131839401 1253347328 305545 4089446400 134512640 135751879 4287079536 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12630/statm: 305993 305545 146 303 0 305688 0 Current children cumulated CPU time (s) 762.28 Current children cumulated vsize (KiB) 1223972 [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12681 /proc/meminfo: memFree=29738784/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1340040 CPUtime=822.27 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 334688 0 0 0 80862 1365 0 0 25 0 1 0 131839401 1372200960 334551 4089446400 134512640 135751879 4287079536 18446744073709551615 134616418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12630/statm: 335010 334551 146 303 0 334705 0 Current children cumulated CPU time (s) 822.27 Current children cumulated vsize (KiB) 1340040 [startup+882.301 s] /proc/loadavg: 2.22 2.05 2.02 3/177 12710 /proc/meminfo: memFree=29975336/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1404904 CPUtime=882.27 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 350912 0 0 0 86813 1414 0 0 25 0 1 0 131839401 1438621696 350775 4089446400 134512640 135751879 4287079536 18446744073709551615 134601197 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12630/statm: 351226 350775 146 303 0 350921 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 1404904 [startup+942.3 s] /proc/loadavg: 2.08 2.04 2.01 3/177 12711 /proc/meminfo: memFree=29891188/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1463856 CPUtime=942.27 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 365652 0 0 0 92731 1496 0 0 25 0 1 0 131839401 1498988544 365515 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 365964 365515 146 303 0 365659 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 1463856 [startup+1002.3 s] /proc/loadavg: 2.03 2.03 2.00 3/177 12712 /proc/meminfo: memFree=29784880/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1564888 CPUtime=1002.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 390900 0 0 0 98630 1598 0 0 25 0 1 0 131839401 1602445312 390763 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 391222 390763 146 303 0 390917 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 1564888 [startup+1062.3 s] /proc/loadavg: 2.07 2.04 2.00 3/177 12723 /proc/meminfo: memFree=29725020/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1622260 CPUtime=1062.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 405217 0 0 0 104523 1705 0 0 25 0 1 0 131839401 1661194240 405080 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 405565 405080 146 303 0 405260 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 1622260 [startup+1122.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 12725 /proc/meminfo: memFree=29600124/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1740284 CPUtime=1122.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 434718 0 0 0 110428 1800 0 0 25 0 1 0 131839401 1782050816 434581 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 435071 434581 146 303 0 434766 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 1740284 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 12727 /proc/meminfo: memFree=29471620/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1865492 CPUtime=1182.29 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 466008 0 0 0 116324 1905 0 0 25 0 1 0 131839401 1910263808 465871 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 466373 465871 146 303 0 466068 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 1865492 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 12728 /proc/meminfo: memFree=29380948/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1948768 CPUtime=1242.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 486892 0 0 0 122237 1991 0 0 25 0 1 0 131839401 1995538432 486755 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 487192 486755 146 303 0 486887 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 1948768 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12729 /proc/meminfo: memFree=29349540/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1977856 CPUtime=1302.29 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 494155 0 0 0 128140 2089 0 0 25 0 1 0 131839401 2025324544 494018 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 494464 494018 146 303 0 494159 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 1977856 Solver just ended. Dumping a history of the last processes samples [startup+1305.5 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12729 /proc/meminfo: memFree=29346688/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=1981552 CPUtime=1305.48 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 495062 0 0 0 128454 2094 0 0 25 0 1 0 131839401 2029109248 494925 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 495388 494925 146 303 0 495083 0 Current children cumulated CPU time (s) 1305.48 Current children cumulated vsize (KiB) 1981552 [startup+1331.1 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12731 /proc/meminfo: memFree=29314060/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2013544 CPUtime=1331.09 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 503049 0 0 0 130968 2141 0 0 25 0 1 0 131839401 2061869056 502912 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 503386 502912 146 303 0 503081 0 Current children cumulated CPU time (s) 1331.09 Current children cumulated vsize (KiB) 2013544 [startup+1343.9 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12731 /proc/meminfo: memFree=29298428/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2029932 CPUtime=1343.88 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 507138 0 0 0 132224 2164 0 0 25 0 1 0 131839401 2078650368 507001 4089446400 134512640 135751879 4287079536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 507483 507001 146 303 0 507178 0 Current children cumulated CPU time (s) 1343.88 Current children cumulated vsize (KiB) 2029932 [startup+1347.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12731 /proc/meminfo: memFree=29293708/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2034420 CPUtime=1347.09 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 508257 0 0 0 132540 2169 0 0 25 0 1 0 131839401 2083246080 508120 4089446400 134512640 135751879 4287079536 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 508605 508120 146 303 0 508300 0 Current children cumulated CPU time (s) 1347.09 Current children cumulated vsize (KiB) 2034420 [startup+1348.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12731 /proc/meminfo: memFree=29290980/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2036400 CPUtime=1348.68 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 508757 0 0 0 132697 2171 0 0 25 0 1 0 131839401 2085273600 508620 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 509100 508620 146 303 0 508795 0 Current children cumulated CPU time (s) 1348.68 Current children cumulated vsize (KiB) 2036400 [startup+1349.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12731 /proc/meminfo: memFree=29290980/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2037588 CPUtime=1349.48 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 509063 0 0 0 132776 2172 0 0 25 0 1 0 131839401 2086490112 508926 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 509397 508926 146 303 0 509092 0 Current children cumulated CPU time (s) 1349.48 Current children cumulated vsize (KiB) 2037588 [startup+1350.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12731 /proc/meminfo: memFree=29289244/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2038644 CPUtime=1350.28 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 509332 0 0 0 132854 2174 0 0 25 0 1 0 131839401 2087571456 509195 4089446400 134512640 135751879 4287079536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 509661 509195 146 303 0 509356 0 Current children cumulated CPU time (s) 1350.28 Current children cumulated vsize (KiB) 2038644 [startup+1350.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12731 /proc/meminfo: memFree=29287756/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=2039304 CPUtime=1350.69 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202496 509480 0 0 0 132894 2175 0 0 25 0 1 0 131839401 2088247296 509343 4089446400 134512640 135751879 4287079536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12630/statm: 509826 509343 146 303 0 509521 0 Current children cumulated CPU time (s) 1350.69 Current children cumulated vsize (KiB) 2039304 [startup+1350.81 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12731 /proc/meminfo: memFree=29287756/32951132 swapFree=67111528/67111528 [pid=12630] ppid=12628 vsize=0 CPUtime=1350.79 /proc/12630/stat : 12630 (wbo1.4a) R 12628 12630 11779 0 -1 4202500 509510 0 0 0 132899 2180 0 0 25 0 1 0 131839401 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/12630/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1350.79 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1350.83 CPU time (s): 1350.82 CPU user time (s): 1329 CPU system time (s): 21.8237 CPU usage (%): 99.9994 Max. virtual memory (cumulated for all children) (KiB): 2039304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1329 system time used= 21.8237 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509510 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= 13 involuntary context switches= 17907 runsolver used 1.84272 second user time and 4.33134 second system time The end
Begin job on node131 at 2010-06-30 15:43:48 IDJOB=2690061 IDBENCH=78930 IDSOLVER=1200 FILE ID=node131/2690061-1277905428 PBS_JOBID= 11197184 Free space on /tmp= 74140 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690061-1277905428/watcher-2690061-1277905428 -o /tmp/evaluation-result-2690061-1277905428/solver-2690061-1277905428 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690061-1277905428.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5ae7a85bf99e064da8ccbcbd4c939a34 RANDOM SEED=266013144 node131.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31328776 kB Buffers: 191760 kB Cached: 1134072 kB SwapCached: 0 kB Active: 674732 kB Inactive: 804072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31328776 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 153560 kB Mapped: 20624 kB Slab: 79928 kB PageTables: 5012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1655240 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node131 at 2010-06-30 16:06:19