Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 204.076 | 204.072 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo |
MD5SUM | c3adda683c0d048bf44386b3ccfc9e41 |
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 | 7 |
Best CPU time to get the best result obtained on this benchmark | 47.4258 |
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 | 1816 |
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 | 92461 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92460 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 779 |
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-2690027-1277903683.wbo. 0.00/0.00 c Instance file HOME/instance-2690027-1277903683.wbo 0.00/0.00 c File size is 92402 bytes. 0.00/0.00 c Highest Coefficient sum: 779 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 21 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 19 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 23 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 22 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 25 | 0.002 % | 0.00/0.06 c | 2079 | 231 2707 8338 | 8857 2079 26 | 0.002 % | 0.00/0.10 c | 3219 | 231 2707 8338 | 9743 3219 26 | 0.002 % | 0.09/0.17 c | 4927 | 231 2707 8338 | 10717 4927 29 | 0.002 % | 0.29/0.30 c | 7492 | 231 2707 8338 | 11789 7492 31 | 0.002 % | 0.50/0.53 c | 11339 | 231 2707 8338 | 12968 11339 33 | 0.002 % | 0.89/0.93 c | 17107 | 231 2707 8338 | 14265 10579 34 | 0.002 % | 1.49/1.58 c | 25759 | 231 2707 8338 | 15692 12073 30 | 0.002 % | 1.99/2.06 c =============================================================================== 2.09/2.18 c core #1 2.09/2.18 c ============================[ Search Statistics ]============================== 2.09/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.18 c =============================================================================== 2.09/2.18 c | 0 | 1135 4231 15595 | 5000 0 nan | 0.000 % | 2.09/2.18 c | 101 | 1135 4231 15595 | 5500 101 29 | 0.000 % | 2.09/2.18 c | 253 | 1135 4231 15595 | 6050 253 26 | 0.000 % | 2.09/2.19 c | 478 | 1135 4231 15595 | 6655 478 26 | 0.000 % | 2.19/2.20 c | 815 | 1135 4231 15595 | 7320 815 27 | 0.000 % | 2.19/2.22 c | 1322 | 1135 4231 15595 | 8052 1322 28 | 0.000 % | 2.19/2.25 c | 2081 | 1135 4231 15595 | 8857 2081 26 | 0.000 % | 2.19/2.29 c | 3220 | 1135 4231 15595 | 9743 3220 26 | 0.000 % | 2.29/2.38 c | 4929 | 1135 4231 15595 | 10717 4929 28 | 0.000 % | 2.49/2.52 c | 7491 | 1135 4231 15595 | 11789 7491 28 | 0.000 % | 2.69/2.76 c | 11336 | 1135 4231 15595 | 12968 11336 31 | 0.000 % | 3.09/3.16 c | 17103 | 1135 4231 15595 | 14265 10587 35 | 0.000 % | 3.89/3.93 c | 25752 | 1135 4231 15595 | 15692 12061 38 | 0.000 % | 4.99/5.08 c | 38727 | 1135 4231 15595 | 17261 9284 33 | 0.000 % | 6.79/6.80 c | 58188 | 1135 4231 15595 | 18987 11399 32 | 0.000 % | 9.39/9.41 c | 87381 | 1135 4231 15595 | 20886 12007 31 | 0.000 % | 10.09/10.10 c =============================================================================== 10.49/10.59 c core #2 10.49/10.59 c ============================[ Search Statistics ]============================== 10.49/10.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.49/10.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.49/10.59 c =============================================================================== 10.49/10.59 c | 0 | 2042 5798 23040 | 5000 0 nan | 0.000 % | 10.59/10.60 c | 100 | 2042 5798 23040 | 5500 100 17 | 0.000 % | 10.59/10.61 c | 251 | 2042 5798 23040 | 6050 251 21 | 0.000 % | 10.59/10.62 c | 481 | 2042 5798 23040 | 6655 481 27 | 0.000 % | 10.59/10.63 c | 819 | 2042 5798 23040 | 7320 819 26 | 0.000 % | 10.59/10.65 c | 1327 | 2042 5798 23040 | 8052 1327 27 | 0.000 % | 10.59/10.68 c | 2087 | 2042 5798 23040 | 8857 2087 28 | 0.000 % | 10.69/10.76 c | 3226 | 2042 5798 23040 | 9743 3226 29 | 0.000 % | 10.79/10.87 c | 4934 | 2042 5798 23040 | 10717 4934 34 | 0.000 % | 10.99/11.05 c | 7497 | 2042 5798 23040 | 11789 7497 32 | 0.000 % | 11.29/11.35 c | 11341 | 2042 5798 23040 | 12968 11341 33 | 0.000 % | 11.79/11.86 c | 17109 | 2042 5798 23040 | 14265 10573 36 | 0.000 % | 12.79/12.80 c | 25758 | 2042 5798 23040 | 15692 12040 38 | 0.000 % | 14.08/14.14 c | 38733 | 2042 5798 23040 | 17261 9234 35 | 0.000 % | 15.89/15.94 c | 58194 | 2042 5798 23040 | 18987 11337 36 | 0.000 % | 19.09/19.17 c | 87386 | 2042 5798 23040 | 20886 11939 36 | 0.000 % | 20.68/20.76 c =============================================================================== 21.29/21.36 c core #3 21.29/21.36 c ============================[ Search Statistics ]============================== 21.29/21.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.29/21.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.29/21.36 c =============================================================================== 21.29/21.36 c | 0 | 2965 7435 30799 | 5000 0 nan | 0.000 % | 21.29/21.38 c | 101 | 2965 7435 30799 | 5500 101 27 | 0.000 % | 21.29/21.39 c | 252 | 2965 7435 30799 | 6050 252 27 | 0.000 % | 21.39/21.40 c | 477 | 2965 7435 30799 | 6655 477 28 | 0.000 % | 21.39/21.41 c | 815 | 2965 7435 30799 | 7320 815 24 | 0.000 % | 21.39/21.44 c | 1322 | 2965 7435 30799 | 8052 1322 26 | 0.000 % | 21.39/21.48 c | 2082 | 2965 7435 30799 | 8857 2082 29 | 0.000 % | 21.49/21.53 c | 3223 | 2965 7435 30799 | 9743 3223 30 | 0.000 % | 21.59/21.64 c | 4932 | 2965 7435 30799 | 10717 4932 31 | 0.000 % | 21.69/21.79 c | 7494 | 2965 7435 30799 | 11789 7494 31 | 0.000 % | 22.00/22.05 c | 11339 | 2965 7435 30799 | 12968 11339 31 | 0.000 % | 22.49/22.51 c | 17106 | 2965 7435 30799 | 14265 10582 34 | 0.000 % | 23.29/23.38 c | 25756 | 2965 7435 30799 | 15692 12041 35 | 0.000 % | 24.69/24.74 c | 38731 | 2965 7435 30799 | 17261 9218 38 | 0.000 % | 26.69/26.70 c | 58193 | 2965 7435 30799 | 18987 11360 36 | 0.000 % | 29.39/29.48 c | 87388 | 2965 7435 30799 | 20886 11960 35 | 0.000 % | 34.49/34.55 c | 131177 | 2965 7435 30799 | 22974 13789 36 | 0.000 % | 39.29/39.39 c =============================================================================== 40.39/40.48 c core #4 40.39/40.48 c ============================[ Search Statistics ]============================== 40.39/40.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.39/40.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.39/40.48 c =============================================================================== 40.39/40.48 c | 0 | 3897 9068 38577 | 5000 0 nan | 0.000 % | 40.49/40.51 c | 102 | 3897 9068 38577 | 5500 102 22 | 0.000 % | 40.49/40.51 c | 252 | 3897 9068 38577 | 6050 252 25 | 0.000 % | 40.49/40.52 c | 477 | 3897 9068 38577 | 6655 477 27 | 0.000 % | 40.49/40.56 c | 816 | 3897 9068 38577 | 7320 816 27 | 0.000 % | 40.49/40.58 c | 1323 | 3897 9068 38577 | 8052 1323 29 | 0.000 % | 40.59/40.62 c | 2082 | 3897 9068 38577 | 8857 2082 30 | 0.000 % | 40.59/40.68 c | 3224 | 3897 9068 38577 | 9743 3224 29 | 0.000 % | 40.69/40.79 c | 4932 | 3897 9068 38577 | 10717 4932 30 | 0.000 % | 40.99/41.01 c | 7496 | 3897 9068 38577 | 11789 7496 32 | 0.000 % | 41.29/41.35 c | 11341 | 3897 9068 38577 | 12968 11341 32 | 0.000 % | 41.80/41.83 c | 17107 | 3897 9068 38577 | 14265 10593 33 | 0.000 % | 42.59/42.67 c | 25756 | 3897 9068 38577 | 15692 12054 34 | 0.000 % | 44.00/44.09 c | 38733 | 3897 9068 38577 | 17261 9240 36 | 0.000 % | 45.99/46.09 c | 58194 | 3897 9068 38577 | 18987 11373 31 | 0.000 % | 49.09/49.15 c | 87386 | 3897 9068 38577 | 20886 11987 35 | 0.000 % | 53.59/53.63 c | 131176 | 3897 9068 38577 | 22974 13824 32 | 0.000 % | 60.50/60.59 c | 196861 | 3897 9068 38577 | 25272 21821 32 | 0.000 % | 71.29/71.39 c | 295389 | 3897 9068 38577 | 27799 17724 35 | 0.000 % | 73.39/73.43 c =============================================================================== 75.29/75.36 c core #5 75.29/75.36 c ============================[ Search Statistics ]============================== 75.29/75.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.29/75.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.29/75.36 c =============================================================================== 75.29/75.36 c | 0 | 4857 10688 46389 | 5000 0 nan | 0.000 % | 75.29/75.39 c | 100 | 4857 10688 46389 | 5500 100 27 | 0.000 % | 75.39/75.40 c | 251 | 4857 10688 46389 | 6050 251 33 | 0.000 % | 75.39/75.42 c | 476 | 4857 10688 46389 | 6655 476 30 | 0.000 % | 75.39/75.44 c | 814 | 4857 10688 46389 | 7320 814 28 | 0.000 % | 75.39/75.48 c | 1320 | 4857 10688 46389 | 8052 1320 26 | 0.000 % | 75.49/75.52 c | 2082 | 4857 10688 46389 | 8857 2082 27 | 0.000 % | 75.49/75.59 c | 3221 | 4857 10688 46389 | 9743 3221 28 | 0.000 % | 75.69/75.70 c | 4929 | 4857 10688 46389 | 10717 4929 29 | 0.000 % | 75.99/76.01 c | 7491 | 4857 10688 46389 | 11789 7491 29 | 0.000 % | 76.29/76.33 c | 11336 | 4857 10688 46389 | 12968 11336 30 | 0.000 % | 76.79/76.82 c | 17106 | 4857 10688 46389 | 14265 10571 31 | 0.000 % | 77.59/77.69 c | 25755 | 4857 10688 46389 | 15692 12028 31 | 0.000 % | 78.89/78.94 c | 38729 | 4857 10688 46389 | 17261 9223 34 | 0.000 % | 80.99/81.01 c | 58191 | 4857 10688 46389 | 18987 11320 34 | 0.000 % | 84.30/84.33 c | 87384 | 4857 10688 46389 | 20886 11866 33 | 0.000 % | 89.10/89.20 c | 131173 | 4857 10688 46389 | 22974 13699 33 | 0.000 % | 96.69/96.76 c | 196858 | 4857 10688 46389 | 25272 21715 34 | 0.000 % | 108.59/108.61 c | 295386 | 4857 10688 46389 | 27799 15316 37 | 0.000 % | 113.09/113.16 c =============================================================================== 115.09/115.12 c core #6 115.09/115.13 c ============================[ Search Statistics ]============================== 115.09/115.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.09/115.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.09/115.13 c =============================================================================== 115.09/115.13 c | 0 | 5853 12308 54287 | 5000 0 nan | 0.000 % | 115.09/115.16 c | 100 | 5853 12308 54287 | 5500 100 21 | 0.000 % | 115.09/115.17 c | 251 | 5853 12308 54287 | 6050 251 25 | 0.000 % | 115.09/115.18 c | 476 | 5853 12308 54287 | 6655 476 26 | 0.000 % | 115.19/115.20 c | 813 | 5853 12308 54287 | 7320 813 33 | 0.000 % | 115.19/115.24 c | 1320 | 5853 12308 54287 | 8052 1320 32 | 0.000 % | 115.19/115.29 c | 2080 | 5853 12308 54287 | 8857 2080 31 | 0.000 % | 115.30/115.36 c | 3219 | 5853 12308 54287 | 9743 3219 33 | 0.000 % | 115.40/115.50 c | 4927 | 5853 12308 54287 | 10717 4927 33 | 0.000 % | 115.69/115.72 c | 7489 | 5853 12308 54287 | 11789 7489 33 | 0.000 % | 116.09/116.13 c | 11335 | 5853 12308 54287 | 12968 11335 34 | 0.000 % | 116.70/116.71 c | 17101 | 5853 12308 54287 | 14265 10590 33 | 0.000 % | 117.59/117.61 c | 25750 | 5853 12308 54287 | 15692 12047 34 | 0.000 % | 118.99/119.08 c | 38728 | 5853 12308 54287 | 17261 9203 36 | 0.000 % | 121.10/121.15 c | 58189 | 5853 12308 54287 | 18987 11295 40 | 0.000 % | 124.40/124.44 c | 87381 | 5853 12308 54287 | 20886 11859 38 | 0.000 % | 129.79/129.84 c | 131172 | 5853 12308 54287 | 22974 13676 36 | 0.000 % | 137.89/137.95 c | 196856 | 5853 12308 54287 | 25272 21706 35 | 0.000 % | 149.80/149.85 c | 295386 | 5853 12308 54287 | 27799 17202 35 | 0.000 % | 153.79/153.81 c =============================================================================== 155.89/155.98 c core #7 155.89/155.98 c ============================[ Search Statistics ]============================== 155.89/155.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 155.89/155.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 155.89/155.98 c =============================================================================== 155.89/155.98 c | 0 | 6858 13912 62142 | 5000 0 nan | 0.000 % | 155.99/156.02 c | 101 | 6858 13912 62142 | 5500 101 31 | 0.000 % | 155.99/156.03 c | 252 | 6858 13912 62142 | 6050 252 33 | 0.000 % | 155.99/156.04 c | 477 | 6858 13912 62142 | 6655 477 34 | 0.000 % | 155.99/156.06 c | 817 | 6858 13912 62142 | 7320 817 30 | 0.000 % | 156.10/156.10 c | 1326 | 6858 13912 62142 | 8052 1326 30 | 0.000 % | 156.10/156.15 c | 2085 | 6858 13912 62142 | 8857 2085 30 | 0.000 % | 156.20/156.24 c | 3224 | 6858 13912 62142 | 9743 3224 31 | 0.000 % | 156.30/156.37 c | 4932 | 6858 13912 62142 | 10717 4932 30 | 0.000 % | 156.49/156.59 c | 7494 | 6858 13912 62142 | 11789 7494 32 | 0.000 % | 156.90/156.98 c | 11342 | 6858 13912 62142 | 12968 11342 31 | 0.000 % | 157.49/157.59 c | 17108 | 6858 13912 62142 | 14265 10568 31 | 0.000 % | 158.50/158.56 c | 25758 | 6858 13912 62142 | 15692 12058 32 | 0.000 % | 159.99/160.00 c | 38732 | 6858 13912 62142 | 17261 9237 35 | 0.000 % | 162.19/162.23 c | 58194 | 6858 13912 62142 | 18987 11347 33 | 0.000 % | 165.89/165.93 c | 87387 | 6858 13912 62142 | 20886 11929 35 | 0.000 % | 171.60/171.61 c | 131176 | 6858 13912 62142 | 22974 13738 38 | 0.000 % | 180.10/180.18 c | 196861 | 6858 13912 62142 | 25272 21740 40 | 0.000 % | 193.40/193.41 c | 295387 | 6858 13912 62142 | 27799 14487 34 | 0.000 % | 203.99/204.05 c =============================================================================== 203.99/204.05 c #cores: 7 203.99/204.05 c Final Weight: 7 203.99/204.05 o 7 203.99/204.05 s OPTIMUM FOUND 203.99/204.05 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 203.99/204.05 c Total CPU time: 201.896 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690027-1277903683/watcher-2690027-1277903683 -o /tmp/evaluation-result-2690027-1277903683/solver-2690027-1277903683 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690027-1277903683.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: 1.92 1.98 1.99 3/178 12385 /proc/meminfo: memFree=31752880/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=2664 CPUtime=0 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 131664906 2727936 225 4089446400 134512640 135751879 4292123280 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12385/statm: 666 225 146 303 0 338 0 [startup+0.105187 s] /proc/loadavg: 1.92 1.98 1.99 3/178 12385 /proc/meminfo: memFree=31752880/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=3640 CPUtime=0.09 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 571 0 0 0 9 0 0 0 25 0 1 0 131664906 3727360 467 4089446400 134512640 135751879 4292123280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12385/statm: 910 467 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.200168 s] /proc/loadavg: 1.92 1.98 1.99 3/178 12385 /proc/meminfo: memFree=31752880/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=4300 CPUtime=0.19 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 741 0 0 0 19 0 0 0 25 0 1 0 131664906 4403200 637 4089446400 134512640 135751879 4292123280 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12385/statm: 1075 637 143 303 0 770 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4300 [startup+0.30015 s] /proc/loadavg: 1.92 1.98 1.99 3/178 12385 /proc/meminfo: memFree=31752880/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=4828 CPUtime=0.29 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 889 0 0 0 29 0 0 0 25 0 1 0 131664906 4943872 785 4089446400 134512640 135751879 4292123280 18446744073709551615 134610036 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12385/statm: 1207 785 143 303 0 902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4828 [startup+0.701078 s] /proc/loadavg: 1.92 1.98 1.99 3/178 12385 /proc/meminfo: memFree=31752880/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=6812 CPUtime=0.69 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 1384 0 0 0 68 1 0 0 25 0 1 0 131664906 6975488 1280 4089446400 134512640 135751879 4292123280 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12385/statm: 1703 1280 143 303 0 1398 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6812 [startup+1.50102 s] /proc/loadavg: 1.92 1.98 1.99 3/179 12386 /proc/meminfo: memFree=31746176/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=9984 CPUtime=1.49 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 2177 0 0 0 146 3 0 0 25 0 1 0 131664906 10223616 2073 4089446400 134512640 135751879 4292123280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 2496 2073 143 303 0 2191 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9984 [startup+3.10061 s] /proc/loadavg: 1.92 1.98 1.99 3/179 12386 /proc/meminfo: memFree=31741372/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=13324 CPUtime=3.09 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 3012 0 0 0 303 6 0 0 25 0 1 0 131664906 13643776 2908 4089446400 134512640 135751879 4292123280 18446744073709551615 134620376 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 3331 2908 146 303 0 3026 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13324 [startup+6.30112 s] /proc/loadavg: 1.93 1.98 1.99 3/179 12386 /proc/meminfo: memFree=31734180/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=22828 CPUtime=6.29 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 5386 0 0 0 619 10 0 0 25 0 1 0 131664906 23375872 5282 4089446400 134512640 135751879 4292123280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 5707 5282 146 303 0 5402 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22828 [startup+12.701 s] /proc/loadavg: 1.93 1.98 1.99 3/179 12386 /proc/meminfo: memFree=31715952/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=38724 CPUtime=12.69 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 9329 0 0 0 1252 17 0 0 21 0 1 0 131664906 39653376 9225 4089446400 134512640 135751879 4292123280 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 9681 9225 146 303 0 9376 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38724 [startup+25.5008 s] /proc/loadavg: 1.95 1.98 1.99 3/179 12386 /proc/meminfo: memFree=31698808/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=56200 CPUtime=25.49 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 13712 0 0 0 2518 31 0 0 25 0 1 0 131664906 57548800 13608 4089446400 134512640 135751879 4292123280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 14050 13608 146 303 0 13745 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56200 [startup+51.1001 s] /proc/loadavg: 2.02 2.00 2.00 3/179 12387 /proc/meminfo: memFree=31655488/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=100212 CPUtime=51.09 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 24703 0 0 0 5050 59 0 0 25 0 1 0 131664906 102617088 24599 4089446400 134512640 135751879 4292123280 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 25053 24599 146 303 0 24748 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 100212 [startup+102.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12388 /proc/meminfo: memFree=31567164/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=187220 CPUtime=102.3 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 46485 0 0 0 10115 115 0 0 25 0 1 0 131664906 191713280 46353 4089446400 134512640 135751879 4292123280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 46805 46353 146 303 0 46500 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 187220 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12390 /proc/meminfo: memFree=31473980/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=280388 CPUtime=162.3 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 69789 0 0 0 16053 177 0 0 25 0 1 0 131664906 287117312 69628 4089446400 134512640 135751879 4292123280 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 70097 69628 146 303 0 69792 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 280388 Solver just ended. Dumping a history of the last processes samples [startup+179.201 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12390 /proc/meminfo: memFree=31471980/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=283848 CPUtime=179.2 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 70664 0 0 0 17727 193 0 0 25 0 1 0 131664906 290660352 70503 4089446400 134512640 135751879 4292123280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 70962 70503 146 303 0 70657 0 Current children cumulated CPU time (s) 179.2 Current children cumulated vsize (KiB) 283848 [startup+192 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12390 /proc/meminfo: memFree=31446556/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=308948 CPUtime=191.99 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 76927 0 0 0 18995 204 0 0 25 0 1 0 131664906 316362752 76766 4089446400 134512640 135751879 4292123280 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 77237 76766 146 303 0 76932 0 Current children cumulated CPU time (s) 191.99 Current children cumulated vsize (KiB) 308948 [startup+198.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12391 /proc/meminfo: memFree=31431300/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=323868 CPUtime=198.39 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 80661 0 0 0 19628 211 0 0 25 0 1 0 131664906 331640832 80500 4089446400 134512640 135751879 4292123280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 80967 80500 146 303 0 80662 0 Current children cumulated CPU time (s) 198.39 Current children cumulated vsize (KiB) 323868 [startup+201.601 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12391 /proc/meminfo: memFree=31423108/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=331788 CPUtime=201.59 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 82624 0 0 0 19945 214 0 0 25 0 1 0 131664906 339750912 82463 4089446400 134512640 135751879 4292123280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 82947 82463 146 303 0 82642 0 Current children cumulated CPU time (s) 201.59 Current children cumulated vsize (KiB) 331788 [startup+203.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12391 /proc/meminfo: memFree=31420752/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=335088 CPUtime=203.2 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 83440 0 0 0 20104 216 0 0 25 0 1 0 131664906 343130112 83279 4089446400 134512640 135751879 4292123280 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 83772 83279 146 303 0 83467 0 Current children cumulated CPU time (s) 203.2 Current children cumulated vsize (KiB) 335088 [startup+203.606 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12391 /proc/meminfo: memFree=31418520/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=335880 CPUtime=203.6 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 83645 0 0 0 20144 216 0 0 25 0 1 0 131664906 343941120 83484 4089446400 134512640 135751879 4292123280 18446744073709551615 134606179 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 83970 83484 146 303 0 83665 0 Current children cumulated CPU time (s) 203.6 Current children cumulated vsize (KiB) 335880 [startup+204 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12391 /proc/meminfo: memFree=31418520/32950928 swapFree=67111528/67111528 [pid=12385] ppid=12383 vsize=336540 CPUtime=203.99 /proc/12385/stat : 12385 (wbo1.4a) R 12383 12385 11381 0 -1 4202496 83815 0 0 0 20183 216 0 0 25 0 1 0 131664906 344616960 83654 4089446400 134512640 135751879 4292123280 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12385/statm: 84135 83654 146 303 0 83830 0 Current children cumulated CPU time (s) 203.99 Current children cumulated vsize (KiB) 336540 Child status: 0 Real time (s): 204.072 CPU time (s): 204.076 CPU user time (s): 201.896 CPU system time (s): 2.17967 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 336540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 201.896 system time used= 2.17967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83842 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 697 runsolver used 0.293955 second user time and 0.640902 second system time The end
Begin job on node125 at 2010-06-30 15:14:43 IDJOB=2690027 IDBENCH=78913 IDSOLVER=1200 FILE ID=node125/2690027-1277903683 PBS_JOBID= 11197175 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.1900552423--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-2690027-1277903683/watcher-2690027-1277903683 -o /tmp/evaluation-result-2690027-1277903683/solver-2690027-1277903683 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690027-1277903683.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3adda683c0d048bf44386b3ccfc9e41 RANDOM SEED=665182669 node125.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.822 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.64 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.822 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.07 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.822 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.822 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.77 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.822 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.822 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.74 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.822 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.822 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: 32950928 kB MemFree: 31753408 kB Buffers: 186824 kB Cached: 793420 kB SwapCached: 0 kB Active: 503216 kB Inactive: 554128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31753408 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 77484 kB Mapped: 15448 kB Slab: 77280 kB PageTables: 4828 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 217936 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= 74200 MiB End job on node125 at 2010-06-30 15:18:07