Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 916.976 | 916.954 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557574--soft-33-100-0.wbo |
MD5SUM | 571d61a5ea635d7d5a6801ae351f1515 |
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 | 458.346 |
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 | 1848 |
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 | 94973 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 94972 |
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-2689540-1277911793.wbo. 0.00/0.00 c Instance file HOME/instance-2689540-1277911793.wbo 0.00/0.00 c File size is 92542 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.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 | 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.02 c | 477 | 231 2707 8338 | 6655 477 33 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 32 | 0.002 % | 0.00/0.04 c | 1321 | 231 2707 8338 | 8052 1321 30 | 0.002 % | 0.00/0.06 c | 2081 | 231 2707 8338 | 8857 2081 29 | 0.002 % | 0.06/0.10 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.75 c | 17104 | 231 2707 8338 | 14265 10570 32 | 0.002 % | 1.29/1.33 c | 25755 | 231 2707 8338 | 15692 12041 35 | 0.002 % | 2.19/2.26 c | 38729 | 231 2707 8338 | 17261 9208 36 | 0.002 % | 3.49/3.58 c | 58190 | 231 2707 8338 | 18987 11307 32 | 0.002 % | 5.69/5.78 c | 87384 | 231 2707 8338 | 20886 11879 36 | 0.002 % | 9.59/9.67 c | 131173 | 231 2707 8338 | 22974 13708 37 | 0.002 % | 15.79/15.83 c | 196857 | 231 2707 8338 | 25272 21697 36 | 0.002 % | 25.79/25.89 c | 295384 | 231 2707 8338 | 27799 13798 35 | 0.002 % | 40.19/40.21 c | 443175 | 231 2707 8338 | 30579 19533 38 | 0.002 % | 62.49/62.58 c | 664859 | 231 2707 8338 | 33637 18247 36 | 0.002 % | 96.59/96.67 c =============================================================================== 102.49/102.57 c core #1 102.49/102.57 c ============================[ Search Statistics ]============================== 102.49/102.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.49/102.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.49/102.57 c =============================================================================== 102.49/102.57 c | 0 | 1171 4460 16500 | 5000 0 nan | 0.000 % | 102.69/102.79 c | 101 | 1171 4460 16500 | 5500 101 23 | 0.000 % | 102.69/102.79 c | 251 | 1171 4460 16500 | 6050 251 29 | 0.000 % | 102.79/102.80 c | 477 | 1171 4460 16500 | 6655 477 28 | 0.000 % | 102.79/102.81 c | 817 | 1171 4460 16500 | 7320 817 30 | 0.000 % | 102.79/102.83 c | 1324 | 1171 4460 16500 | 8052 1324 31 | 0.000 % | 102.79/102.89 c | 2084 | 1171 4460 16500 | 8857 2084 30 | 0.000 % | 102.90/102.94 c | 3223 | 1171 4460 16500 | 9743 3223 31 | 0.000 % | 102.99/103.02 c | 4931 | 1171 4460 16500 | 10717 4931 31 | 0.000 % | 103.09/103.17 c | 7493 | 1171 4460 16500 | 11789 7493 32 | 0.000 % | 103.40/103.42 c | 11337 | 1171 4460 16500 | 12968 11337 32 | 0.000 % | 103.79/103.83 c | 17106 | 1171 4460 16500 | 14265 10573 35 | 0.000 % | 104.40/104.48 c | 25756 | 1171 4460 16500 | 15692 12032 36 | 0.000 % | 105.50/105.58 c | 38730 | 1171 4460 16500 | 17261 9206 37 | 0.000 % | 107.30/107.31 c | 58192 | 1171 4460 16500 | 18987 11293 36 | 0.000 % | 109.90/110.00 c | 87384 | 1171 4460 16500 | 20886 11826 37 | 0.000 % | 114.19/114.25 c | 131173 | 1171 4460 16500 | 22974 13634 37 | 0.000 % | 121.00/121.01 c | 196860 | 1171 4460 16500 | 25272 21590 38 | 0.000 % | 131.69/131.78 c | 295386 | 1171 4460 16500 | 27799 13008 41 | 0.000 % | 149.50/149.54 c | 443177 | 1171 4460 16500 | 30579 18493 39 | 0.000 % | 175.09/175.18 c | 664860 | 1171 4460 16500 | 33637 20622 34 | 0.000 % | 206.59/206.69 c =============================================================================== 213.19/213.21 c core #2 213.19/213.21 c ============================[ Search Statistics ]============================== 213.19/213.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.19/213.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.19/213.21 c =============================================================================== 213.19/213.21 c | 0 | 2113 6187 24574 | 5000 0 nan | 0.000 % | 213.19/213.26 c | 102 | 2113 6187 24574 | 5500 102 25 | 0.000 % | 213.19/213.29 c | 252 | 2113 6187 24574 | 6050 252 28 | 0.000 % | 213.19/213.30 c | 478 | 2113 6187 24574 | 6655 478 28 | 0.000 % | 213.30/213.31 c | 817 | 2113 6187 24574 | 7320 817 27 | 0.000 % | 213.30/213.34 c | 1323 | 2113 6187 24574 | 8052 1323 29 | 0.000 % | 213.30/213.38 c | 2082 | 2113 6187 24574 | 8857 2082 29 | 0.000 % | 213.40/213.43 c | 3222 | 2113 6187 24574 | 9743 3222 29 | 0.000 % | 213.49/213.51 c | 4931 | 2113 6187 24574 | 10717 4931 29 | 0.000 % | 213.60/213.64 c | 7494 | 2113 6187 24574 | 11789 7494 30 | 0.000 % | 213.80/213.88 c | 11338 | 2113 6187 24574 | 12968 11338 30 | 0.000 % | 214.19/214.28 c | 17104 | 2113 6187 24574 | 14265 10568 32 | 0.000 % | 214.90/214.96 c | 25756 | 2113 6187 24574 | 15692 12043 33 | 0.000 % | 215.99/216.07 c | 38731 | 2113 6187 24574 | 17261 9221 35 | 0.000 % | 217.90/217.94 c | 58192 | 2113 6187 24574 | 18987 11306 36 | 0.000 % | 220.69/220.76 c | 87384 | 2113 6187 24574 | 20886 11859 36 | 0.000 % | 225.30/225.33 c | 131173 | 2113 6187 24574 | 22974 13674 37 | 0.000 % | 232.70/232.72 c | 196858 | 2113 6187 24574 | 25272 21519 42 | 0.000 % | 244.10/244.12 c | 295387 | 2113 6187 24574 | 27799 13274 41 | 0.000 % | 261.40/261.43 c | 443176 | 2113 6187 24574 | 30579 20552 36 | 0.000 % | 287.90/287.90 c | 664863 | 2113 6187 24574 | 33637 22546 39 | 0.000 % | 316.80/316.89 c =============================================================================== 323.20/323.20 c core #3 323.20/323.20 c ============================[ Search Statistics ]============================== 323.20/323.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 323.20/323.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 323.20/323.20 c =============================================================================== 323.20/323.20 c | 0 | 3064 7875 32532 | 5000 0 nan | 0.000 % | 323.20/323.27 c | 101 | 3064 7875 32532 | 5500 101 24 | 0.000 % | 323.20/323.28 c | 253 | 3064 7875 32532 | 6050 253 28 | 0.000 % | 323.20/323.29 c | 480 | 3064 7875 32532 | 6655 480 26 | 0.000 % | 323.31/323.31 c | 820 | 3064 7875 32532 | 7320 820 28 | 0.000 % | 323.31/323.34 c | 1326 | 3064 7875 32532 | 8052 1326 30 | 0.000 % | 323.31/323.39 c | 2085 | 3064 7875 32532 | 8857 2085 30 | 0.000 % | 323.40/323.46 c | 3226 | 3064 7875 32532 | 9743 3226 31 | 0.000 % | 323.49/323.54 c | 4936 | 3064 7875 32532 | 10717 4936 30 | 0.000 % | 323.60/323.69 c | 7498 | 3064 7875 32532 | 11789 7498 30 | 0.000 % | 323.89/323.98 c | 11343 | 3064 7875 32532 | 12968 11343 32 | 0.000 % | 324.40/324.45 c | 17110 | 3064 7875 32532 | 14265 10556 34 | 0.000 % | 325.10/325.14 c | 25759 | 3064 7875 32532 | 15692 12034 33 | 0.000 % | 326.30/326.33 c | 38735 | 3064 7875 32532 | 17261 9194 43 | 0.000 % | 328.19/328.23 c | 58196 | 3064 7875 32532 | 18987 11297 38 | 0.000 % | 331.49/331.55 c | 87390 | 3064 7875 32532 | 20886 11879 37 | 0.000 % | 336.10/336.13 c | 131181 | 3064 7875 32532 | 22974 13703 39 | 0.000 % | 343.10/343.18 c | 196866 | 3064 7875 32532 | 25272 21058 34 | 0.000 % | 354.60/354.60 c | 295394 | 3064 7875 32532 | 27799 12516 39 | 0.000 % | 371.00/371.06 c | 443184 | 3064 7875 32532 | 30579 15994 37 | 0.000 % | 399.40/399.43 c | 664867 | 3064 7875 32532 | 33637 16347 37 | 0.000 % | 423.60/423.63 c =============================================================================== 429.30/429.39 c core #4 429.30/429.39 c ============================[ Search Statistics ]============================== 429.30/429.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 429.30/429.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 429.30/429.39 c =============================================================================== 429.30/429.39 c | 0 | 4034 9571 40584 | 5000 0 nan | 0.000 % | 429.40/429.47 c | 100 | 4034 9571 40584 | 5500 100 33 | 0.000 % | 429.40/429.48 c | 250 | 4034 9571 40584 | 6050 250 23 | 0.000 % | 429.40/429.49 c | 475 | 4034 9571 40584 | 6655 475 27 | 0.000 % | 429.50/429.51 c | 812 | 4034 9571 40584 | 7320 812 28 | 0.000 % | 429.50/429.54 c | 1318 | 4034 9571 40584 | 8052 1318 28 | 0.000 % | 429.50/429.59 c | 2078 | 4034 9571 40584 | 8857 2078 28 | 0.000 % | 429.60/429.64 c | 3221 | 4034 9571 40584 | 9743 3221 28 | 0.000 % | 429.70/429.74 c | 4930 | 4034 9571 40584 | 10717 4930 29 | 0.000 % | 429.80/429.89 c | 7492 | 4034 9571 40584 | 11789 7492 28 | 0.000 % | 430.11/430.15 c | 11336 | 4034 9571 40584 | 12968 11336 29 | 0.000 % | 430.60/430.63 c | 17102 | 4034 9571 40584 | 14265 10550 32 | 0.000 % | 431.30/431.39 c | 25753 | 4034 9571 40584 | 15692 12022 34 | 0.000 % | 432.60/432.68 c | 38727 | 4034 9571 40584 | 17261 9212 33 | 0.000 % | 434.51/434.52 c | 58188 | 4034 9571 40584 | 18987 11284 36 | 0.000 % | 437.40/437.42 c | 87380 | 4034 9571 40584 | 20886 11851 35 | 0.000 % | 442.30/442.35 c | 131170 | 4034 9571 40584 | 22974 13629 38 | 0.000 % | 449.90/449.94 c | 196854 | 4034 9571 40584 | 25272 21279 36 | 0.000 % | 461.50/461.53 c | 295383 | 4034 9571 40584 | 27799 13976 34 | 0.000 % | 479.30/479.31 c | 443173 | 4034 9571 40584 | 30579 19056 35 | 0.000 % | 506.71/506.73 c | 664856 | 4033 9571 40584 | 33637 14793 38 | 0.025 % | 508.90/508.95 c =============================================================================== 513.50/513.52 c core #5 513.50/513.52 c ============================[ Search Statistics ]============================== 513.50/513.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 513.50/513.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 513.50/513.52 c =============================================================================== 513.50/513.52 c | 0 | 5018 11254 48619 | 5000 0 nan | 0.000 % | 513.50/513.59 c | 102 | 5018 11254 48619 | 5500 102 33 | 0.000 % | 513.61/513.61 c | 253 | 5018 11254 48619 | 6050 253 33 | 0.000 % | 513.61/513.62 c | 479 | 5018 11254 48619 | 6655 479 30 | 0.000 % | 513.61/513.64 c | 816 | 5018 11254 48619 | 7320 816 30 | 0.000 % | 513.61/513.67 c | 1324 | 5018 11254 48619 | 8052 1324 30 | 0.000 % | 513.71/513.71 c | 2083 | 5018 11254 48619 | 8857 2083 31 | 0.000 % | 513.71/513.78 c | 3222 | 5018 11254 48619 | 9743 3222 31 | 0.000 % | 513.80/513.87 c | 4932 | 5018 11254 48619 | 10717 4932 30 | 0.000 % | 514.01/514.04 c | 7494 | 5018 11254 48619 | 11789 7494 28 | 0.000 % | 514.31/514.32 c | 11340 | 5018 11254 48619 | 12968 11340 28 | 0.000 % | 514.71/514.77 c | 17107 | 5018 11254 48619 | 14265 10581 28 | 0.000 % | 515.50/515.59 c | 25756 | 5018 11254 48619 | 15692 12050 33 | 0.000 % | 516.80/516.83 c | 38730 | 5018 11254 48619 | 17261 9231 29 | 0.000 % | 518.60/518.65 c | 58191 | 5018 11254 48619 | 18987 11328 33 | 0.000 % | 521.70/521.79 c | 87387 | 5018 11254 48619 | 20886 11889 38 | 0.000 % | 526.60/526.69 c | 131176 | 5018 11254 48619 | 22974 13690 35 | 0.000 % | 533.81/533.88 c | 196862 | 5018 11254 48619 | 25272 20873 38 | 0.000 % | 546.11/546.12 c | 295390 | 5018 11254 48619 | 27799 25243 41 | 0.000 % | 564.21/564.26 c | 443181 | 5018 11254 48619 | 30579 15626 34 | 0.000 % | 590.50/590.55 c | 664864 | 5018 11254 48619 | 33637 14553 39 | 0.000 % | 608.10/608.14 c =============================================================================== 613.11/613.15 c core #6 613.11/613.15 c ============================[ Search Statistics ]============================== 613.11/613.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 613.11/613.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 613.11/613.15 c =============================================================================== 613.11/613.15 c | 0 | 6032 12923 56681 | 5000 0 nan | 0.000 % | 613.21/613.23 c | 102 | 6032 12923 56681 | 5500 102 34 | 0.000 % | 613.21/613.24 c | 255 | 6032 12923 56681 | 6050 255 33 | 0.000 % | 613.21/613.26 c | 481 | 6032 12923 56681 | 6655 481 31 | 0.000 % | 613.21/613.28 c | 818 | 6032 12923 56681 | 7320 818 32 | 0.000 % | 613.31/613.32 c | 1325 | 6032 12923 56681 | 8052 1325 32 | 0.000 % | 613.31/613.36 c | 2086 | 6032 12923 56681 | 8857 2086 31 | 0.000 % | 613.40/613.43 c | 3226 | 6032 12923 56681 | 9743 3226 31 | 0.000 % | 613.51/613.55 c | 4934 | 6032 12923 56681 | 10717 4934 31 | 0.000 % | 613.72/613.73 c | 7497 | 6032 12923 56681 | 11789 7497 31 | 0.000 % | 614.01/614.04 c | 11343 | 6032 12923 56681 | 12968 11343 31 | 0.000 % | 614.51/614.58 c | 17110 | 6032 12923 56681 | 14265 10570 32 | 0.000 % | 615.30/615.35 c | 25759 | 6032 12923 56681 | 15692 12043 31 | 0.000 % | 616.71/616.72 c | 38734 | 6032 12923 56681 | 17261 9243 36 | 0.000 % | 618.81/618.83 c | 58195 | 6032 12923 56681 | 18987 11344 38 | 0.000 % | 621.91/621.98 c | 87387 | 6032 12923 56681 | 20886 11936 39 | 0.000 % | 627.51/627.54 c | 131177 | 6032 12923 56681 | 22974 13749 36 | 0.000 % | 635.30/635.37 c | 196861 | 6032 12923 56681 | 25272 21612 39 | 0.000 % | 647.41/647.46 c | 295388 | 6032 12923 56681 | 27799 25156 42 | 0.000 % | 665.91/665.90 c | 443178 | 6032 12923 56681 | 30579 14759 39 | 0.000 % | 695.30/695.34 c | 664867 | 6032 12923 56681 | 33637 18214 41 | 0.000 % | 734.81/734.88 c =============================================================================== 741.80/741.84 c core #7 741.80/741.84 c ============================[ Search Statistics ]============================== 741.80/741.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 741.80/741.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 741.80/741.84 c =============================================================================== 741.80/741.84 c | 0 | 7077 14581 64783 | 5000 0 nan | 0.000 % | 741.91/741.93 c | 101 | 7077 14581 64783 | 5500 101 28 | 0.000 % | 741.91/741.94 c | 254 | 7077 14581 64783 | 6050 254 27 | 0.000 % | 741.91/741.96 c | 479 | 7077 14581 64783 | 6655 479 32 | 0.000 % | 741.91/741.99 c | 819 | 7077 14581 64783 | 7320 819 32 | 0.000 % | 742.01/742.03 c | 1325 | 7077 14581 64783 | 8052 1325 31 | 0.000 % | 742.01/742.09 c | 2087 | 7077 14581 64783 | 8857 2087 31 | 0.000 % | 742.10/742.16 c | 3229 | 7077 14581 64783 | 9743 3229 31 | 0.000 % | 742.21/742.27 c | 4939 | 7077 14581 64783 | 10717 4939 32 | 0.000 % | 742.42/742.49 c | 7501 | 7077 14581 64783 | 11789 7501 34 | 0.000 % | 742.81/742.85 c | 11346 | 7077 14581 64783 | 12968 11346 35 | 0.000 % | 743.41/743.40 c | 17112 | 7077 14581 64783 | 14265 10568 35 | 0.000 % | 744.30/744.31 c | 25763 | 7077 14581 64783 | 15692 12052 37 | 0.000 % | 745.61/745.70 c | 38738 | 7077 14581 64783 | 17261 9241 33 | 0.000 % | 747.81/747.90 c | 58204 | 7077 14581 64783 | 18987 11340 40 | 0.000 % | 751.60/751.65 c | 87396 | 7077 14581 64783 | 20886 11907 37 | 0.000 % | 756.71/756.78 c | 131186 | 7077 14581 64783 | 22974 13712 36 | 0.000 % | 764.80/764.81 c | 196872 | 7077 14581 64783 | 25272 21334 37 | 0.000 % | 777.91/777.91 c | 295400 | 7077 14581 64783 | 27799 25157 41 | 0.000 % | 797.42/797.45 c | 443189 | 7077 14581 64783 | 30579 14234 36 | 0.000 % | 827.11/827.17 c | 664873 | 7077 14581 64783 | 33637 13926 37 | 0.000 % | 874.31/874.30 c | 997398 | 7056 14581 64783 | 37001 10718 32 | 0.297 % | 880.01/880.06 c =============================================================================== 887.41/887.47 c core #8 887.41/887.47 c ============================[ Search Statistics ]============================== 887.41/887.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 887.41/887.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 887.41/887.47 c =============================================================================== 887.41/887.47 c | 0 | 8158 16224 72923 | 5408 0 nan | 0.000 % | 887.52/887.57 c | 100 | 8158 16224 72923 | 5948 100 23 | 0.000 % | 887.52/887.59 c | 254 | 8158 16224 72923 | 6543 254 26 | 0.000 % | 887.62/887.61 c | 482 | 8158 16224 72923 | 7198 482 27 | 0.000 % | 887.62/887.64 c | 819 | 8158 16224 72923 | 7917 819 30 | 0.000 % | 887.62/887.69 c | 1326 | 8158 16224 72923 | 8709 1326 31 | 0.000 % | 887.72/887.74 c | 2085 | 8158 16224 72923 | 9580 2085 31 | 0.000 % | 887.81/887.82 c | 3226 | 8158 16224 72923 | 10538 3226 31 | 0.000 % | 887.91/887.96 c | 4934 | 8158 16224 72923 | 11592 4934 32 | 0.000 % | 888.11/888.15 c | 7497 | 8158 16224 72923 | 12751 7497 30 | 0.000 % | 888.51/888.53 c | 11341 | 8158 16224 72923 | 14026 11341 31 | 0.000 % | 889.11/889.17 c | 17107 | 8158 16224 72923 | 15429 10031 35 | 0.000 % | 890.21/890.20 c | 25759 | 8158 16224 72923 | 16972 10918 40 | 0.000 % | 891.71/891.79 c | 38734 | 8158 16224 72923 | 18669 15342 36 | 0.000 % | 893.81/893.89 c | 58195 | 8158 16224 72923 | 20536 16037 35 | 0.000 % | 897.82/897.89 c | 87390 | 8158 16224 72923 | 22590 14275 38 | 0.000 % | 904.22/904.23 c | 131179 | 8158 16224 72923 | 24849 12666 39 | 0.000 % | 912.92/912.91 c | 196863 | 8158 16224 72923 | 27334 24793 36 | 0.000 % | 916.91/916.90 c =============================================================================== 916.91/916.90 c #cores: 8 916.91/916.90 c Final Weight: 8 916.91/916.90 o 8 916.91/916.90 s OPTIMUM FOUND 916.91/916.90 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 916.91/916.90 c Total CPU time: 899.996 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-2689540-1277911793/watcher-2689540-1277911793 -o /tmp/evaluation-result-2689540-1277911793/solver-2689540-1277911793 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689540-1277911793.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.00 2.00 2.00 3/178 25148 /proc/meminfo: memFree=31503932/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=2660 CPUtime=0 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 302 0 0 0 0 0 0 0 18 0 1 0 164818856 2723840 220 4089446400 134512640 135751879 4291495024 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 665 220 145 303 0 337 0 [startup+0.0749469 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25148 /proc/meminfo: memFree=31503932/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=3372 CPUtime=0.06 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 513 0 0 0 6 0 0 0 18 0 1 0 164818856 3452928 408 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 843 408 143 303 0 538 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3372 [startup+0.100942 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25148 /proc/meminfo: memFree=31503932/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=3636 CPUtime=0.09 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 571 0 0 0 8 1 0 0 18 0 1 0 164818856 3723264 466 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 909 466 143 303 0 604 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3636 [startup+0.300897 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25148 /proc/meminfo: memFree=31503932/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=5140 CPUtime=0.29 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 938 0 0 0 27 2 0 0 18 0 1 0 164818856 5263360 833 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 1285 833 143 303 0 980 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5140 [startup+0.700823 s] /proc/loadavg: 2.00 2.00 2.00 3/178 25148 /proc/meminfo: memFree=31503932/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=7428 CPUtime=0.69 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 1511 0 0 0 65 4 0 0 18 0 1 0 164818856 7606272 1406 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 1857 1406 143 303 0 1552 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7428 [startup+1.50068 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25149 /proc/meminfo: memFree=31497228/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=10992 CPUtime=1.49 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 2418 0 0 0 142 7 0 0 20 0 1 0 164818856 11255808 2313 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 2748 2313 143 303 0 2443 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10992 [startup+3.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25149 /proc/meminfo: memFree=31492516/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=17732 CPUtime=3.09 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 4094 0 0 0 296 13 0 0 25 0 1 0 164818856 18157568 3989 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 4433 3989 143 303 0 4128 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17732 [startup+6.30085 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25149 /proc/meminfo: memFree=31478924/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=30588 CPUtime=6.29 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 7324 0 0 0 607 22 0 0 25 0 1 0 164818856 31322112 7219 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 7647 7219 143 303 0 7342 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30588 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25149 /proc/meminfo: memFree=31456236/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=52392 CPUtime=12.7 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 12760 0 0 0 1234 36 0 0 25 0 1 0 164818856 53649408 12655 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 13098 12655 143 303 0 12793 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 52392 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25149 /proc/meminfo: memFree=31416820/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=90548 CPUtime=25.49 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 22306 0 0 0 2486 63 0 0 25 0 1 0 164818856 92721152 22201 4089446400 134512640 135751879 4291495024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 22637 22201 143 303 0 22332 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90548 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25150 /proc/meminfo: memFree=31340780/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=167352 CPUtime=51.09 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 41491 0 0 0 4990 119 0 0 25 0 1 0 164818856 171368448 41386 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 41838 41386 143 303 0 41533 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 167352 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25151 /proc/meminfo: memFree=31176936/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=328896 CPUtime=102.3 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 81876 0 0 0 10013 217 0 0 25 0 1 0 164818856 336789504 81771 4089446400 134512640 135751879 4291495024 18446744073709551615 134713359 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 82224 81771 143 303 0 81919 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 328896 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25153 /proc/meminfo: memFree=31153324/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=353060 CPUtime=162.29 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 87948 0 0 0 15894 335 0 0 25 0 1 0 164818856 361533440 87810 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 88265 87810 146 303 0 87960 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 353060 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25183 /proc/meminfo: memFree=31056836/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=494972 CPUtime=222.3 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 123438 0 0 0 21779 451 0 0 25 0 1 0 164818856 506851328 123300 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 123743 123300 146 303 0 123438 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 494972 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25212 /proc/meminfo: memFree=31025952/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=531076 CPUtime=282.29 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 132473 0 0 0 27663 566 0 0 25 0 1 0 164818856 543821824 132335 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 132769 132335 146 303 0 132464 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 531076 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25213 /proc/meminfo: memFree=30899908/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=646744 CPUtime=342.29 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 161375 0 0 0 33559 670 0 0 25 0 1 0 164818856 662265856 161237 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 161686 161237 146 303 0 161381 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 646744 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25214 /proc/meminfo: memFree=30833172/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=708892 CPUtime=402.3 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 176890 0 0 0 39444 786 0 0 25 0 1 0 164818856 725905408 176752 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 177223 176752 146 303 0 176918 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 708892 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25216 /proc/meminfo: memFree=30749680/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=787388 CPUtime=462.3 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 196551 0 0 0 45329 901 0 0 25 0 1 0 164818856 806285312 196413 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 196847 196413 146 303 0 196542 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 787388 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25218 /proc/meminfo: memFree=30662844/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=872416 CPUtime=522.31 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 217791 0 0 0 51216 1015 0 0 25 0 1 0 164818856 893353984 217653 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 218104 217653 146 303 0 217799 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 872416 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25220 /proc/meminfo: memFree=30592992/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=938784 CPUtime=582.3 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 234384 0 0 0 57102 1128 0 0 25 0 1 0 164818856 961314816 234246 4089446400 134512640 135751879 4291495024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 234696 234246 146 303 0 234391 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 938784 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25221 /proc/meminfo: memFree=30501292/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1027208 CPUtime=642.31 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 256494 0 0 0 62992 1239 0 0 25 0 1 0 164818856 1051860992 256356 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 256802 256356 146 303 0 256497 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1027208 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25225 /proc/meminfo: memFree=30408528/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1120244 CPUtime=702.31 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 279729 0 0 0 68891 1340 0 0 25 0 1 0 164818856 1147129856 279591 4089446400 134512640 135751879 4291495024 18446744073709551615 134610859 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 280061 279591 146 303 0 279756 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1120244 [startup+762.306 s] /proc/loadavg: 2.06 2.02 2.00 3/179 25227 /proc/meminfo: memFree=30297496/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1225864 CPUtime=762.32 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 306138 0 0 0 74793 1439 0 0 25 0 1 0 164818856 1255284736 306000 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 306466 306000 146 303 0 306161 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 1225864 [startup+822.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 25229 /proc/meminfo: memFree=30256164/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1266684 CPUtime=822.31 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 316343 0 0 0 80692 1539 0 0 25 0 1 0 164818856 1297084416 316205 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 316671 316205 146 303 0 316366 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1266684 [startup+882.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 25231 /proc/meminfo: memFree=30112156/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1410776 CPUtime=882.31 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 352341 0 0 0 86589 1642 0 0 25 0 1 0 164818856 1444634624 352203 4089446400 134512640 135751879 4291495024 18446744073709551615 134520801 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 352694 352203 146 303 0 352389 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1410776 Solver just ended. Dumping a history of the last processes samples [startup+895.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25231 /proc/meminfo: memFree=30100488/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1420984 CPUtime=895.92 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 354917 0 0 0 87932 1660 0 0 25 0 1 0 164818856 1455087616 354737 4089446400 134512640 135751879 4291495024 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 355246 354737 146 303 0 354941 0 Current children cumulated CPU time (s) 895.92 Current children cumulated vsize (KiB) 1420984 [startup+908.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25231 /proc/meminfo: memFree=30100480/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1420984 CPUtime=908.72 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 354919 0 0 0 89192 1680 0 0 25 0 1 0 164818856 1455087616 354739 4089446400 134512640 135751879 4291495024 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 355246 354739 146 303 0 354941 0 Current children cumulated CPU time (s) 908.72 Current children cumulated vsize (KiB) 1420984 [startup+911.906 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25231 /proc/meminfo: memFree=30100472/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1420984 CPUtime=911.92 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 354919 0 0 0 89508 1684 0 0 25 0 1 0 164818856 1455087616 354739 4089446400 134512640 135751879 4291495024 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 355246 354739 146 303 0 354941 0 Current children cumulated CPU time (s) 911.92 Current children cumulated vsize (KiB) 1420984 [startup+915.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25231 /proc/meminfo: memFree=30100224/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1420984 CPUtime=915.11 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 354919 0 0 0 89822 1689 0 0 25 0 1 0 164818856 1455087616 354739 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 355246 354739 146 303 0 354941 0 Current children cumulated CPU time (s) 915.11 Current children cumulated vsize (KiB) 1420984 [startup+915.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25231 /proc/meminfo: memFree=30100224/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1420984 CPUtime=915.92 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 354923 0 0 0 89901 1691 0 0 25 0 1 0 164818856 1455087616 354743 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 355246 354743 146 303 0 354941 0 Current children cumulated CPU time (s) 915.92 Current children cumulated vsize (KiB) 1420984 [startup+916.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25231 /proc/meminfo: memFree=30100220/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1420984 CPUtime=916.72 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 354943 0 0 0 89979 1693 0 0 25 0 1 0 164818856 1455087616 354763 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 355246 354763 146 303 0 354941 0 Current children cumulated CPU time (s) 916.72 Current children cumulated vsize (KiB) 1420984 [startup+916.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25231 /proc/meminfo: memFree=30100220/32951124 swapFree=67111528/67111528 [pid=25148] ppid=25146 vsize=1420984 CPUtime=916.91 /proc/25148/stat : 25148 (wbo1.4a) R 25146 25148 23744 0 -1 4202496 354945 0 0 0 89998 1693 0 0 25 0 1 0 164818856 1455087616 354765 4089446400 134512640 135751879 4291495024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25148/statm: 355246 354765 146 303 0 354941 0 Current children cumulated CPU time (s) 916.91 Current children cumulated vsize (KiB) 1420984 Child status: 0 Real time (s): 916.954 CPU time (s): 916.976 CPU user time (s): 899.996 CPU system time (s): 16.9794 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1421056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 899.996 system time used= 16.9794 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 354945 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= 11 involuntary context switches= 10836 runsolver used 1.25381 second user time and 2.93055 second system time The end
Begin job on node119 at 2010-06-30 17:29:54 IDJOB=2689540 IDBENCH=78991 IDSOLVER=1200 FILE ID=node119/2689540-1277911793 PBS_JOBID= 11197232 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--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-2689540-1277911793/watcher-2689540-1277911793 -o /tmp/evaluation-result-2689540-1277911793/solver-2689540-1277911793 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689540-1277911793.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 571d61a5ea635d7d5a6801ae351f1515 RANDOM SEED=251328818 node119.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.802 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.60 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.802 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.802 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.802 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.75 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.802 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.73 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.802 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.75 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.802 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.802 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: 32951124 kB MemFree: 31504460 kB Buffers: 197016 kB Cached: 955760 kB SwapCached: 0 kB Active: 666764 kB Inactive: 635916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31504460 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 149860 kB Mapped: 17536 kB Slab: 78520 kB PageTables: 4856 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 302924 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= 74204 MiB End job on node119 at 2010-06-30 17:45:11