Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1777.4 | 1777.35 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo |
MD5SUM | a7f6c0c06b26873046d2d80874a938bb |
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 | 8 |
Best CPU time to get the best result obtained on this benchmark | 801.222 |
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 | 1868 |
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 | 94981 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 94980 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 749 |
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-2690085-1277906658.wbo. 0.00/0.00 c Instance file HOME/instance-2690085-1277906658.wbo 0.00/0.00 c File size is 92624 bytes. 0.00/0.00 c Highest Coefficient sum: 749 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 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 | 101 | 231 2707 8338 | 5500 101 26 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 25 | 0.002 % | 0.00/0.01 c | 478 | 231 2707 8338 | 6655 478 31 | 0.002 % | 0.00/0.02 c | 816 | 231 2707 8338 | 7320 816 34 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 33 | 0.002 % | 0.00/0.06 c | 2082 | 231 2707 8338 | 8857 2082 32 | 0.002 % | 0.09/0.10 c | 3222 | 231 2707 8338 | 9743 3222 32 | 0.002 % | 0.09/0.18 c | 4932 | 231 2707 8338 | 10717 4932 33 | 0.002 % | 0.19/0.29 c | 7495 | 231 2707 8338 | 11789 7495 32 | 0.002 % | 0.39/0.49 c | 11343 | 231 2707 8338 | 12968 11343 32 | 0.002 % | 0.79/0.82 c | 17110 | 231 2707 8338 | 14265 10576 34 | 0.002 % | 1.39/1.46 c | 25761 | 231 2707 8338 | 15692 12047 38 | 0.002 % | 2.39/2.46 c | 38736 | 231 2707 8338 | 17261 9220 37 | 0.002 % | 3.99/4.08 c | 58198 | 231 2707 8338 | 18987 11319 38 | 0.002 % | 6.19/6.27 c | 87391 | 231 2707 8338 | 20886 11893 34 | 0.002 % | 10.09/10.19 c | 131180 | 231 2707 8338 | 22974 13741 35 | 0.002 % | 16.59/16.64 c | 196868 | 231 2707 8338 | 25272 21775 37 | 0.002 % | 27.09/27.18 c | 295394 | 231 2707 8338 | 27799 15715 38 | 0.002 % | 42.99/43.00 c | 443183 | 231 2707 8338 | 30579 23881 38 | 0.002 % | 66.69/66.78 c | 664866 | 231 2707 8338 | 33637 27040 38 | 0.041 % | 81.20/81.27 c =============================================================================== 86.30/86.35 c core #1 86.30/86.35 c ============================[ Search Statistics ]============================== 86.30/86.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.30/86.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.30/86.35 c =============================================================================== 86.30/86.35 c | 0 | 1186 4472 16656 | 5000 0 nan | 0.000 % | 86.50/86.52 c | 101 | 1186 4472 16656 | 5500 101 18 | 0.000 % | 86.50/86.53 c | 252 | 1186 4472 16656 | 6050 252 24 | 0.000 % | 86.50/86.53 c | 477 | 1186 4472 16656 | 6655 477 26 | 0.000 % | 86.50/86.55 c | 814 | 1186 4472 16656 | 7320 814 24 | 0.000 % | 86.50/86.57 c | 1320 | 1186 4472 16656 | 8052 1320 26 | 0.000 % | 86.60/86.61 c | 2081 | 1186 4472 16656 | 8857 2081 27 | 0.000 % | 86.60/86.66 c | 3220 | 1186 4472 16656 | 9743 3220 28 | 0.000 % | 86.69/86.73 c | 4931 | 1186 4472 16656 | 10717 4931 28 | 0.000 % | 86.80/86.87 c | 7493 | 1186 4472 16656 | 11789 7493 29 | 0.000 % | 87.09/87.12 c | 11339 | 1186 4472 16656 | 12968 11339 31 | 0.000 % | 87.40/87.46 c | 17106 | 1186 4472 16656 | 14265 10561 33 | 0.000 % | 87.99/88.07 c | 25755 | 1186 4472 16656 | 15692 12025 33 | 0.000 % | 89.20/89.20 c | 38731 | 1186 4472 16656 | 17261 9222 35 | 0.000 % | 90.80/90.86 c | 58193 | 1186 4472 16656 | 18987 11315 34 | 0.000 % | 93.70/93.77 c | 87389 | 1186 4472 16656 | 20886 11875 38 | 0.000 % | 98.10/98.18 c | 131179 | 1186 4472 16656 | 22974 13684 35 | 0.000 % | 104.90/104.98 c | 196865 | 1186 4472 16656 | 25272 21695 35 | 0.000 % | 115.19/115.20 c | 295392 | 1186 4472 16656 | 27799 13860 38 | 0.000 % | 131.49/131.52 c | 443183 | 1186 4472 16656 | 30579 24789 37 | 0.000 % | 154.50/154.50 c =============================================================================== 158.80/158.88 c core #2 158.80/158.88 c ============================[ Search Statistics ]============================== 158.80/158.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 158.80/158.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 158.80/158.88 c =============================================================================== 158.80/158.88 c | 0 | 2142 6214 24891 | 5000 0 nan | 0.000 % | 158.90/158.92 c | 103 | 2142 6214 24891 | 5500 103 24 | 0.000 % | 158.90/158.93 c | 253 | 2142 6214 24891 | 6050 253 25 | 0.000 % | 158.90/158.94 c | 478 | 2142 6214 24891 | 6655 478 28 | 0.000 % | 158.90/158.96 c | 816 | 2142 6214 24891 | 7320 816 29 | 0.000 % | 158.90/158.99 c | 1322 | 2142 6214 24891 | 8052 1322 29 | 0.000 % | 159.00/159.02 c | 2083 | 2142 6214 24891 | 8857 2083 30 | 0.000 % | 159.00/159.07 c | 3223 | 2142 6214 24891 | 9743 3223 30 | 0.000 % | 159.10/159.16 c | 4932 | 2142 6214 24891 | 10717 4932 30 | 0.000 % | 159.29/159.31 c | 7494 | 2142 6214 24891 | 11789 7494 30 | 0.000 % | 159.50/159.57 c | 11338 | 2142 6214 24891 | 12968 11338 31 | 0.000 % | 159.90/159.99 c | 17104 | 2142 6214 24891 | 14265 10560 31 | 0.000 % | 160.60/160.65 c | 25753 | 2142 6214 24891 | 15692 12017 31 | 0.000 % | 161.70/161.74 c | 38730 | 2142 6214 24891 | 17261 9184 35 | 0.000 % | 163.69/163.71 c | 58191 | 2142 6214 24891 | 18987 11298 36 | 0.000 % | 166.50/166.59 c | 87384 | 2142 6214 24891 | 20886 11862 35 | 0.000 % | 171.29/171.34 c | 131175 | 2142 6214 24891 | 22974 13667 37 | 0.000 % | 178.20/178.24 c | 196860 | 2142 6214 24891 | 25272 21680 37 | 0.000 % | 188.89/188.92 c | 295386 | 2142 6214 24891 | 27799 13543 35 | 0.000 % | 205.80/205.86 c | 443175 | 2142 6214 24891 | 30579 22149 38 | 0.000 % | 232.29/232.38 c | 664859 | 2142 6214 24891 | 33637 24801 39 | 0.000 % | 249.50/249.51 c =============================================================================== 254.80/254.86 c core #3 254.80/254.86 c ============================[ Search Statistics ]============================== 254.80/254.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 254.80/254.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 254.80/254.86 c =============================================================================== 254.80/254.86 c | 0 | 3109 7941 33113 | 5000 0 nan | 0.000 % | 254.90/254.91 c | 100 | 3109 7941 33113 | 5500 100 22 | 0.000 % | 254.90/254.93 c | 250 | 3109 7941 33113 | 6050 250 25 | 0.000 % | 254.90/254.94 c | 476 | 3109 7941 33113 | 6655 476 32 | 0.000 % | 254.90/254.96 c | 813 | 3109 7941 33113 | 7320 813 34 | 0.000 % | 254.90/254.99 c | 1319 | 3109 7941 33113 | 8052 1319 32 | 0.000 % | 255.00/255.03 c | 2080 | 3109 7941 33113 | 8857 2080 32 | 0.000 % | 255.00/255.10 c | 3221 | 3109 7941 33113 | 9743 3221 30 | 0.000 % | 255.10/255.20 c | 4930 | 3109 7941 33113 | 10717 4930 30 | 0.000 % | 255.30/255.37 c | 7494 | 3109 7941 33113 | 11789 7494 30 | 0.000 % | 255.60/255.66 c | 11338 | 3109 7941 33113 | 12968 11338 31 | 0.000 % | 256.10/256.13 c | 17106 | 3109 7941 33113 | 14265 10574 33 | 0.000 % | 256.90/256.95 c | 25755 | 3109 7941 33113 | 15692 12036 35 | 0.000 % | 258.10/258.10 c | 38729 | 3109 7941 33113 | 17261 9233 34 | 0.000 % | 259.89/259.92 c | 58193 | 3109 7941 33113 | 18987 11358 38 | 0.000 % | 262.90/262.92 c | 87385 | 3109 7941 33113 | 20886 11915 36 | 0.000 % | 267.70/267.79 c | 131175 | 3109 7941 33113 | 22974 13709 38 | 0.000 % | 275.40/275.48 c | 196861 | 3109 7941 33113 | 25272 21713 39 | 0.000 % | 287.50/287.57 c | 295388 | 3109 7941 33113 | 27799 14200 37 | 0.000 % | 304.60/304.65 c | 443177 | 3109 7941 33113 | 30579 20375 36 | 0.000 % | 330.70/330.74 c | 664860 | 3109 7941 33113 | 33637 20915 36 | 0.000 % | 350.31/350.34 c =============================================================================== 355.70/355.75 c core #4 355.70/355.75 c ============================[ Search Statistics ]============================== 355.70/355.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 355.70/355.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 355.70/355.75 c =============================================================================== 355.70/355.75 c | 0 | 4091 9655 41342 | 5000 0 nan | 0.000 % | 355.81/355.82 c | 102 | 4091 9655 41342 | 5500 102 23 | 0.000 % | 355.81/355.83 c | 252 | 4091 9655 41342 | 6050 252 27 | 0.000 % | 355.81/355.84 c | 478 | 4091 9655 41342 | 6655 478 33 | 0.000 % | 355.81/355.86 c | 815 | 4091 9655 41342 | 7320 815 32 | 0.000 % | 355.81/355.89 c | 1323 | 4091 9655 41342 | 8052 1323 32 | 0.000 % | 355.90/355.95 c | 2083 | 4091 9655 41342 | 8857 2083 31 | 0.000 % | 356.00/356.02 c | 3222 | 4091 9655 41342 | 9743 3222 31 | 0.000 % | 356.10/356.12 c | 4931 | 4091 9655 41342 | 10717 4931 31 | 0.000 % | 356.20/356.28 c | 7494 | 4091 9655 41342 | 11789 7494 32 | 0.000 % | 356.60/356.61 c | 11339 | 4091 9655 41342 | 12968 11339 33 | 0.000 % | 357.10/357.13 c | 17106 | 4091 9655 41342 | 14265 10563 36 | 0.000 % | 357.80/357.84 c | 25755 | 4091 9655 41342 | 15692 12031 35 | 0.000 % | 358.90/358.97 c | 38729 | 4091 9655 41342 | 17261 9205 37 | 0.000 % | 360.80/360.88 c | 58191 | 4091 9655 41342 | 18987 11280 34 | 0.000 % | 364.10/364.17 c | 87384 | 4091 9655 41342 | 20886 11837 35 | 0.000 % | 369.00/369.01 c | 131174 | 4091 9655 41342 | 22974 13654 35 | 0.000 % | 376.50/376.56 c | 196858 | 4091 9655 41342 | 25272 21629 37 | 0.000 % | 388.10/388.18 c | 295385 | 4091 9655 41342 | 27799 14000 34 | 0.000 % | 405.80/405.88 c | 443176 | 4091 9655 41342 | 30579 21206 36 | 0.000 % | 433.81/433.85 c | 664859 | 4091 9655 41342 | 33637 23602 37 | 0.000 % | 476.21/476.25 c | 997385 | 4091 9655 41342 | 37001 18000 38 | 0.000 % | 523.10/523.14 c =============================================================================== 533.10/533.19 c core #5 533.10/533.19 c ============================[ Search Statistics ]============================== 533.10/533.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 533.10/533.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 533.10/533.19 c =============================================================================== 533.10/533.19 c | 0 | 5086 11356 49552 | 5000 0 nan | 0.000 % | 533.20/533.29 c | 101 | 5086 11356 49552 | 5500 101 25 | 0.000 % | 533.30/533.30 c | 251 | 5086 11356 49552 | 6050 251 29 | 0.000 % | 533.30/533.32 c | 476 | 5086 11356 49552 | 6655 476 30 | 0.000 % | 533.30/533.34 c | 813 | 5086 11356 49552 | 7320 813 28 | 0.000 % | 533.30/533.38 c | 1320 | 5086 11356 49552 | 8052 1320 26 | 0.000 % | 533.41/533.44 c | 2080 | 5086 11356 49552 | 8857 2080 28 | 0.000 % | 533.51/533.51 c | 3220 | 5086 11356 49552 | 9743 3220 29 | 0.000 % | 533.61/533.61 c | 4929 | 5086 11356 49552 | 10717 4929 29 | 0.000 % | 533.70/533.79 c | 7491 | 5086 11356 49552 | 11789 7491 29 | 0.000 % | 534.10/534.11 c | 11336 | 5086 11356 49552 | 12968 11336 29 | 0.000 % | 534.61/534.65 c | 17103 | 5086 11356 49552 | 14265 10575 33 | 0.000 % | 535.40/535.48 c | 25753 | 5086 11356 49552 | 15692 12036 35 | 0.000 % | 536.71/536.78 c | 38727 | 5086 11356 49552 | 17261 9204 32 | 0.000 % | 538.80/538.82 c | 58190 | 5086 11356 49552 | 18987 11313 33 | 0.000 % | 542.00/542.08 c | 87383 | 5086 11356 49552 | 20886 11897 34 | 0.000 % | 547.20/547.23 c | 131174 | 5086 11356 49552 | 22974 13725 35 | 0.000 % | 555.21/555.21 c | 196860 | 5086 11356 49552 | 25272 21345 35 | 0.000 % | 568.31/568.33 c | 295388 | 5086 11356 49552 | 27799 12258 38 | 0.000 % | 587.81/587.86 c | 443177 | 5086 11356 49552 | 30579 20753 38 | 0.000 % | 616.50/616.56 c | 664863 | 5086 11356 49552 | 33637 23153 36 | 0.000 % | 661.41/661.46 c | 997388 | 5086 11356 49552 | 37001 17103 37 | 0.000 % | 727.21/727.23 c | 1496176 | 5086 11356 49552 | 40701 29216 38 | 0.000 % | 813.51/813.52 c =============================================================================== 829.22/829.25 c core #6 829.22/829.25 c ============================[ Search Statistics ]============================== 829.22/829.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 829.22/829.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 829.22/829.25 c =============================================================================== 829.22/829.25 c | 0 | 6125 13035 57794 | 5000 0 nan | 0.000 % | 829.32/829.40 c | 100 | 6125 13035 57794 | 5500 100 33 | 0.000 % | 829.42/829.41 c | 250 | 6125 13035 57794 | 6050 250 30 | 0.000 % | 829.42/829.42 c | 476 | 6125 13035 57794 | 6655 476 34 | 0.000 % | 829.42/829.44 c | 813 | 6125 13035 57794 | 7320 813 34 | 0.000 % | 829.42/829.48 c | 1319 | 6125 13035 57794 | 8052 1319 33 | 0.000 % | 829.51/829.53 c | 2078 | 6125 13035 57794 | 8857 2078 31 | 0.000 % | 829.62/829.65 c | 3218 | 6125 13035 57794 | 9743 3218 33 | 0.000 % | 829.72/829.77 c | 4927 | 6125 13035 57794 | 10717 4927 32 | 0.000 % | 829.91/829.99 c | 7490 | 6125 13035 57794 | 11789 7490 33 | 0.000 % | 830.31/830.35 c | 11334 | 6125 13035 57794 | 12968 11334 33 | 0.000 % | 830.82/830.83 c | 17101 | 6125 13035 57794 | 14265 10550 32 | 0.000 % | 831.71/831.77 c | 25755 | 6125 13035 57794 | 15692 12016 34 | 0.000 % | 833.21/833.20 c | 38730 | 6125 13035 57794 | 17261 9171 39 | 0.000 % | 835.21/835.29 c | 58192 | 6125 13035 57794 | 18987 11268 42 | 0.000 % | 838.81/838.87 c | 87384 | 6125 13035 57794 | 20886 11834 37 | 0.000 % | 844.62/844.66 c | 131175 | 6125 13035 57794 | 22974 13625 41 | 0.000 % | 853.42/853.41 c | 196859 | 6125 13035 57794 | 25272 21603 41 | 0.000 % | 866.42/866.46 c | 295385 | 6125 13035 57794 | 27799 12954 39 | 0.000 % | 886.91/886.93 c | 443174 | 6125 13035 57794 | 30579 18535 37 | 0.000 % | 915.72/915.77 c | 664857 | 6125 13035 57794 | 33637 17383 37 | 0.000 % | 962.91/962.99 c | 997383 | 6125 13035 57794 | 37001 31453 37 | 0.000 % | 1033.82/1033.86 c | 1496173 | 6125 13035 57794 | 40701 18119 39 | 0.000 % | 1138.82/1138.83 c | 2244355 | 6125 13035 57794 | 44771 16480 37 | 0.000 % | 1192.72/1192.79 c =============================================================================== 1214.33/1214.40 c core #7 1214.33/1214.40 c ============================[ Search Statistics ]============================== 1214.33/1214.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1214.33/1214.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1214.33/1214.40 c =============================================================================== 1214.33/1214.40 c | 0 | 7238 14694 66158 | 5000 0 nan | 0.000 % | 1214.63/1214.60 c | 100 | 7238 14694 66158 | 5500 100 32 | 0.000 % | 1214.63/1214.61 c | 252 | 7238 14694 66158 | 6050 252 37 | 0.000 % | 1214.63/1214.63 c | 477 | 7238 14694 66158 | 6655 477 36 | 0.000 % | 1214.63/1214.67 c | 815 | 7238 14694 66158 | 7320 815 34 | 0.000 % | 1214.72/1214.71 c | 1325 | 7238 14694 66158 | 8052 1325 33 | 0.000 % | 1214.72/1214.78 c | 2084 | 7238 14694 66158 | 8857 2084 32 | 0.000 % | 1214.82/1214.88 c | 3224 | 7238 14694 66158 | 9743 3224 32 | 0.000 % | 1215.03/1215.04 c | 4932 | 7238 14694 66158 | 10717 4932 31 | 0.000 % | 1215.22/1215.27 c | 7494 | 7238 14694 66158 | 11789 7494 32 | 0.000 % | 1215.63/1215.67 c | 11339 | 7238 14694 66158 | 12968 11339 34 | 0.000 % | 1216.32/1216.30 c | 17106 | 7238 14694 66158 | 14265 10576 38 | 0.000 % | 1217.32/1217.38 c | 25755 | 7238 14694 66158 | 15692 12058 36 | 0.000 % | 1218.92/1218.95 c | 38732 | 7238 14694 66158 | 17261 9200 45 | 0.000 % | 1221.32/1221.32 c | 58196 | 7238 14694 66158 | 18987 11276 40 | 0.000 % | 1225.53/1225.54 c | 87389 | 7238 14694 66158 | 20886 11881 35 | 0.000 % | 1231.52/1231.50 c | 131179 | 7238 14694 66158 | 22974 13681 43 | 0.000 % | 1241.93/1241.98 c | 196864 | 7238 14694 66158 | 25272 21651 44 | 0.000 % | 1257.53/1257.56 c | 295390 | 7238 14694 66158 | 27799 15413 45 | 0.000 % | 1279.72/1279.76 c | 443179 | 7238 14694 66158 | 30579 24285 40 | 0.000 % | 1316.63/1316.69 c | 664863 | 7238 14694 66158 | 33637 29671 41 | 0.000 % | 1371.82/1371.86 c | 997388 | 7238 14694 66158 | 37001 26578 45 | 0.000 % | 1448.33/1448.33 c | 1496177 | 7238 14694 66158 | 40701 36103 40 | 0.000 % | 1569.63/1569.69 c | 2244359 | 7238 14694 66158 | 44771 31635 42 | 0.000 % | 1681.95/1681.93 c =============================================================================== 1706.44/1706.41 c core #8 1706.44/1706.41 c ============================[ Search Statistics ]============================== 1706.44/1706.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1706.44/1706.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1706.44/1706.41 c =============================================================================== 1706.44/1706.41 c | 0 | 8413 16331 74605 | 5443 0 nan | 0.000 % | 1706.64/1706.60 c | 102 | 8413 16331 74605 | 5988 102 29 | 0.000 % | 1706.64/1706.68 c | 254 | 8413 16331 74605 | 6586 254 34 | 0.000 % | 1706.74/1706.71 c | 480 | 8413 16331 74605 | 7245 480 35 | 0.000 % | 1706.74/1706.75 c | 817 | 8413 16331 74605 | 7970 817 35 | 0.000 % | 1706.74/1706.79 c | 1323 | 8413 16331 74605 | 8767 1323 35 | 0.000 % | 1706.84/1706.87 c | 2082 | 8413 16331 74605 | 9643 2082 33 | 0.000 % | 1707.04/1707.01 c | 3222 | 8413 16331 74605 | 10608 3222 32 | 0.000 % | 1707.24/1707.20 c | 4931 | 8413 16331 74605 | 11668 4931 32 | 0.000 % | 1707.44/1707.44 c | 7497 | 8413 16331 74605 | 12835 7497 36 | 0.000 % | 1707.84/1707.89 c | 11342 | 8413 16331 74605 | 14119 11342 38 | 0.000 % | 1708.64/1708.63 c | 17109 | 8413 16331 74605 | 15531 9989 39 | 0.000 % | 1709.74/1709.78 c | 25760 | 8413 16331 74605 | 17084 10826 37 | 0.000 % | 1711.84/1711.87 c | 38737 | 8413 16331 74605 | 18793 15202 36 | 0.000 % | 1714.84/1714.85 c | 58199 | 8413 16331 74605 | 20672 21923 43 | 0.000 % | 1718.54/1718.50 c | 87391 | 8413 16331 74605 | 22739 19363 38 | 0.000 % | 1724.34/1724.33 c | 131181 | 8413 16331 74605 | 25013 17466 37 | 0.000 % | 1733.84/1733.83 c | 196867 | 8413 16331 74605 | 27514 16252 40 | 0.000 % | 1749.14/1749.13 c | 295393 | 8413 16331 74605 | 30266 21121 42 | 0.000 % | 1772.33/1772.32 c | 443182 | 8413 16331 74605 | 33292 23955 40 | 0.000 % | 1777.24/1777.26 c =============================================================================== 1777.24/1777.26 c #cores: 8 1777.24/1777.26 c Final Weight: 8 1777.24/1777.26 o 8 1777.24/1777.26 s OPTIMUM FOUND 1777.24/1777.26 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 1777.24/1777.26 c Total CPU time: 1751.15 s
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690085-1277906658/watcher-2690085-1277906658 -o /tmp/evaluation-result-2690085-1277906658/solver-2690085-1277906658 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690085-1277906658.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.07 2.02 2.00 3/178 12498 /proc/meminfo: memFree=31384248/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2664 CPUtime=0 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 302 0 0 0 0 0 0 0 21 0 1 0 131962550 2727936 220 4089446400 134512640 135751879 4288225520 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 666 220 145 303 0 338 0 [startup+0.090201 s] /proc/loadavg: 2.07 2.02 2.00 3/178 12498 /proc/meminfo: memFree=31384248/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=3508 CPUtime=0.08 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 548 0 0 0 8 0 0 0 21 0 1 0 131962550 3592192 443 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 877 443 143 303 0 572 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3508 [startup+0.100199 s] /proc/loadavg: 2.07 2.02 2.00 3/178 12498 /proc/meminfo: memFree=31384248/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=3640 CPUtime=0.09 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 567 0 0 0 9 0 0 0 21 0 1 0 131962550 3727360 462 4089446400 134512640 135751879 4288225520 18446744073709551615 134616518 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 910 462 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300163 s] /proc/loadavg: 2.07 2.02 2.00 3/178 12498 /proc/meminfo: memFree=31384248/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=4960 CPUtime=0.29 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 913 0 0 0 27 2 0 0 21 0 1 0 131962550 5079040 808 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 1240 808 143 303 0 935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.700092 s] /proc/loadavg: 2.07 2.02 2.00 3/178 12498 /proc/meminfo: memFree=31384248/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=7240 CPUtime=0.69 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 1462 0 0 0 66 3 0 0 22 0 1 0 131962550 7413760 1357 4089446400 134512640 135751879 4288225520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 1810 1357 143 303 0 1505 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7240 [startup+1.50095 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12499 /proc/meminfo: memFree=31377668/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=10804 CPUtime=1.5 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 2363 0 0 0 144 6 0 0 25 0 1 0 131962550 11063296 2258 4089446400 134512640 135751879 4288225520 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 2701 2258 143 303 0 2396 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10804 [startup+3.10067 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12499 /proc/meminfo: memFree=31373372/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=17148 CPUtime=3.09 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 3968 0 0 0 300 9 0 0 25 0 1 0 131962550 17559552 3863 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 4287 3863 143 303 0 3982 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17148 [startup+6.30009 s] /proc/loadavg: 2.06 2.02 2.00 3/179 12499 /proc/meminfo: memFree=31360288/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=29592 CPUtime=6.29 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 7061 0 0 0 613 16 0 0 25 0 1 0 131962550 30302208 6956 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 7398 6956 143 303 0 7093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29592 [startup+12.701 s] /proc/loadavg: 2.06 2.01 2.00 3/179 12499 /proc/meminfo: memFree=31336972/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=50988 CPUtime=12.69 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 12396 0 0 0 1240 29 0 0 25 0 1 0 131962550 52211712 12291 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 12747 12291 143 303 0 12442 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50988 [startup+25.5007 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12499 /proc/meminfo: memFree=31296068/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=88632 CPUtime=25.49 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 21818 0 0 0 2499 50 0 0 25 0 1 0 131962550 90759168 21713 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 22158 21713 143 303 0 21853 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88632 [startup+51.1001 s] /proc/loadavg: 2.03 2.01 2.00 3/179 12501 /proc/meminfo: memFree=31218392/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=163360 CPUtime=51.1 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 40489 0 0 0 5008 102 0 0 25 0 1 0 131962550 167280640 40384 4089446400 134512640 135751879 4288225520 18446744073709551615 134616453 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 40840 40384 143 303 0 40535 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 163360 [startup+102.306 s] /proc/loadavg: 2.06 2.02 2.00 3/179 12502 /proc/meminfo: memFree=31108616/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=269784 CPUtime=102.3 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 67145 0 0 0 10042 188 0 0 25 0 1 0 131962550 276258816 67007 4089446400 134512640 135751879 4288225520 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 67446 67007 146 303 0 67141 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 269784 [startup+162.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 12503 /proc/meminfo: memFree=31017068/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=359680 CPUtime=162.3 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 89622 0 0 0 15934 296 0 0 25 0 1 0 131962550 368312320 89484 4089446400 134512640 135751879 4288225520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 89920 89484 146 303 0 89615 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 359680 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12505 /proc/meminfo: memFree=30943360/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=430640 CPUtime=222.29 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 107340 0 0 0 21818 411 0 0 25 0 1 0 131962550 440975360 107202 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 107660 107202 146 303 0 107355 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 430640 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12507 /proc/meminfo: memFree=30848204/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=523680 CPUtime=282.3 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 130607 0 0 0 27718 512 0 0 25 0 1 0 131962550 536248320 130469 4089446400 134512640 135751879 4288225520 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 130920 130469 146 303 0 130615 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 523680 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12508 /proc/meminfo: memFree=30746860/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=624496 CPUtime=342.3 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 155819 0 0 0 33609 621 0 0 25 0 1 0 131962550 639483904 155681 4089446400 134512640 135751879 4288225520 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 156124 155681 146 303 0 155819 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 624496 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12510 /proc/meminfo: memFree=30693364/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=677204 CPUtime=402.3 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 168978 0 0 0 39513 717 0 0 25 0 1 0 131962550 693456896 168840 4089446400 134512640 135751879 4288225520 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 169301 168840 146 303 0 168996 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 677204 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12511 /proc/meminfo: memFree=30559376/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=808224 CPUtime=462.3 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 201699 0 0 0 45417 813 0 0 25 0 1 0 131962550 827621376 201561 4089446400 134512640 135751879 4288225520 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 202056 201561 146 303 0 201751 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 808224 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12513 /proc/meminfo: memFree=30415008/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=953496 CPUtime=522.3 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 238005 0 0 0 51315 915 0 0 25 0 1 0 131962550 976379904 237867 4089446400 134512640 135751879 4288225520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 238374 237867 146 303 0 238069 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 953496 [startup+582.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12515 /proc/meminfo: memFree=30368696/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=994604 CPUtime=582.31 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 248339 0 0 0 57229 1002 0 0 25 0 1 0 131962550 1018474496 248201 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 248651 248201 146 303 0 248346 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 994604 [startup+642.301 s] /proc/loadavg: 2.08 2.02 2.00 3/179 12516 /proc/meminfo: memFree=30323248/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=1038908 CPUtime=642.32 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 259411 0 0 0 63142 1090 0 0 25 0 1 0 131962550 1063841792 259273 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 259727 259273 146 303 0 259422 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1038908 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=29530872/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=1820284 CPUtime=1122.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 454687 0 0 0 110436 1797 0 0 25 0 1 0 131962550 1863970816 454549 4089446400 134512640 135751879 4288225520 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 455071 454549 146 303 0 454766 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1820284 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12531 /proc/meminfo: memFree=29401616/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=1949684 CPUtime=1182.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 487016 0 0 0 116345 1888 0 0 25 0 1 0 131962550 1996476416 486878 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 487421 486878 146 303 0 487116 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1949684 [startup+1242.3 s] /proc/loadavg: 2.04 2.02 2.00 3/179 12532 /proc/meminfo: memFree=29299248/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2048928 CPUtime=1242.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 511985 0 0 0 122291 1942 0 0 25 0 1 0 131962550 2098102272 511731 4089446400 134512640 135751879 4288225520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 512232 511731 146 303 0 511927 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2048928 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12534 /proc/meminfo: memFree=29298812/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2048928 CPUtime=1302.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 512040 0 0 0 128219 2014 0 0 25 0 1 0 131962550 2098102272 511786 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 512232 511786 146 303 0 511927 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2048928 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12535 /proc/meminfo: memFree=29296540/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2050784 CPUtime=1362.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 512483 0 0 0 134146 2087 0 0 25 0 1 0 131962550 2100002816 512229 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 512696 512229 146 303 0 512391 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2050784 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12537 /proc/meminfo: memFree=29231020/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2113972 CPUtime=1422.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 528266 0 0 0 140061 2172 0 0 25 0 1 0 131962550 2164707328 528012 4089446400 134512640 135751879 4288225520 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 528493 528012 146 303 0 528188 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 2113972 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12539 /proc/meminfo: memFree=29158680/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2185376 CPUtime=1482.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 546115 0 0 0 145976 2257 0 0 25 0 1 0 131962550 2237825024 545861 4089446400 134512640 135751879 4288225520 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 546344 545861 146 303 0 546039 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2185376 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12540 /proc/meminfo: memFree=29043568/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2298784 CPUtime=1542.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 574471 0 0 0 151900 2333 0 0 25 0 1 0 131962550 2353954816 574217 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 574696 574217 146 303 0 574391 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2298784 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12542 /proc/meminfo: memFree=28919528/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2421524 CPUtime=1602.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 605124 0 0 0 157814 2419 0 0 25 0 1 0 131962550 2479640576 604870 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 605381 604870 146 303 0 605076 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2421524 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12546 /proc/meminfo: memFree=28803708/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2535136 CPUtime=1662.33 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 633501 0 0 0 163733 2500 0 0 25 0 1 0 131962550 2595979264 633247 4089446400 134512640 135751879 4288225520 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 633784 633247 146 303 0 633479 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2535136 [startup+1722.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 12576 /proc/meminfo: memFree=28674748/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2658900 CPUtime=1722.34 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 664483 0 0 0 169679 2555 0 0 25 0 1 0 131962550 2722713600 664186 4089446400 134512640 135751879 4288225520 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 664725 664186 146 303 0 664420 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2658900 Solver just ended. Dumping a history of the last processes samples [startup+1740.7 s] /proc/loadavg: 1.99 2.00 2.00 3/179 12576 /proc/meminfo: memFree=28625760/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2658900 CPUtime=1740.74 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 664488 0 0 0 171496 2578 0 0 25 0 1 0 131962550 2722713600 664191 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 664725 664191 146 303 0 664420 0 Current children cumulated CPU time (s) 1740.74 Current children cumulated vsize (KiB) 2658900 [startup+1753.5 s] /proc/loadavg: 2.07 2.01 2.00 3/179 12577 /proc/meminfo: memFree=28592764/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2658900 CPUtime=1753.53 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 664490 0 0 0 172763 2590 0 0 25 0 1 0 131962550 2722713600 664193 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 664725 664193 146 303 0 664420 0 Current children cumulated CPU time (s) 1753.53 Current children cumulated vsize (KiB) 2658900 [startup+1766.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12577 /proc/meminfo: memFree=28560388/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2658900 CPUtime=1766.34 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 664490 0 0 0 174030 2604 0 0 25 0 1 0 131962550 2722713600 664193 4089446400 134512640 135751879 4288225520 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 664725 664193 146 303 0 664420 0 Current children cumulated CPU time (s) 1766.34 Current children cumulated vsize (KiB) 2658900 [startup+1772.7 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12577 /proc/meminfo: memFree=28542532/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2658900 CPUtime=1772.74 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 664490 0 0 0 174662 2612 0 0 25 0 1 0 131962550 2722713600 664193 4089446400 134512640 135751879 4288225520 18446744073709551615 134616430 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 664725 664193 146 303 0 664420 0 Current children cumulated CPU time (s) 1772.74 Current children cumulated vsize (KiB) 2658900 [startup+1775.9 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12578 /proc/meminfo: memFree=28533600/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2658900 CPUtime=1775.94 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 664490 0 0 0 174980 2614 0 0 25 0 1 0 131962550 2722713600 664193 4089446400 134512640 135751879 4288225520 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 664725 664193 146 303 0 664420 0 Current children cumulated CPU time (s) 1775.94 Current children cumulated vsize (KiB) 2658900 [startup+1776.7 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12578 /proc/meminfo: memFree=28530624/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2658900 CPUtime=1776.73 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 664491 0 0 0 175058 2615 0 0 25 0 1 0 131962550 2722713600 664194 4089446400 134512640 135751879 4288225520 18446744073709551615 134606331 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 664725 664194 146 303 0 664420 0 Current children cumulated CPU time (s) 1776.73 Current children cumulated vsize (KiB) 2658900 [startup+1777.1 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12578 /proc/meminfo: memFree=28530624/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=2658900 CPUtime=1777.14 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202496 664491 0 0 0 175098 2616 0 0 25 0 1 0 131962550 2722713600 664194 4089446400 134512640 135751879 4288225520 18446744073709551615 134606399 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12498/statm: 664725 664194 146 303 0 664420 0 Current children cumulated CPU time (s) 1777.14 Current children cumulated vsize (KiB) 2658900 [startup+1777.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 12578 /proc/meminfo: memFree=28530624/32950904 swapFree=67111528/67111528 [pid=12498] ppid=12496 vsize=0 CPUtime=1777.34 /proc/12498/stat : 12498 (wbo1.4a) R 12496 12498 11938 0 -1 4202500 664491 0 0 0 175115 2619 0 0 25 0 1 0 131962550 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/12498/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1777.34 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1777.35 CPU time (s): 1777.4 CPU user time (s): 1751.15 CPU system time (s): 26.245 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2658900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1751.15 system time used= 26.245 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 664491 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= 6 involuntary context switches= 1426 runsolver used 2.55261 second user time and 5.53916 second system time The end
Begin job on node121 at 2010-06-30 16:04:18 IDJOB=2690085 IDBENCH=78942 IDSOLVER=1200 FILE ID=node121/2690085-1277906658 PBS_JOBID= 11197220 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690085-1277906658/watcher-2690085-1277906658 -o /tmp/evaluation-result-2690085-1277906658/solver-2690085-1277906658 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690085-1277906658.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7f6c0c06b26873046d2d80874a938bb RANDOM SEED=184617789 node121.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.876 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.75 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.876 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 : 5226.23 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.876 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.75 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.876 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.83 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.876 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.75 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.876 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.82 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.876 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.876 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 31385024 kB Buffers: 190008 kB Cached: 1103720 kB SwapCached: 0 kB Active: 635884 kB Inactive: 786176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31385024 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 128820 kB Mapped: 17524 kB Slab: 80492 kB PageTables: 4884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 279944 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node121 at 2010-06-30 16:33:56