Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1120.64 | 1120.61 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo |
MD5SUM | cd9d62896ad241b3e0bc0c585d812475 |
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 | 664.98 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 717 |
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-2690029-1277903771.wbo. 0.00/0.00 c Instance file HOME/instance-2690029-1277903771.wbo 0.00/0.00 c File size is 88010 bytes. 0.00/0.00 c Highest Coefficient sum: 717 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 15 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 26 | 0.002 % | 0.00/0.01 c | 475 | 231 2707 8338 | 6655 475 30 | 0.002 % | 0.00/0.02 c | 812 | 231 2707 8338 | 7320 812 29 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 29 | 0.002 % | 0.00/0.06 c | 2081 | 231 2707 8338 | 8857 2081 31 | 0.002 % | 0.09/0.10 c | 3220 | 231 2707 8338 | 9743 3220 31 | 0.002 % | 0.09/0.16 c | 4930 | 231 2707 8338 | 10717 4930 30 | 0.002 % | 0.19/0.27 c | 7492 | 231 2707 8338 | 11789 7492 30 | 0.002 % | 0.39/0.48 c | 11337 | 231 2707 8338 | 12968 11337 31 | 0.002 % | 0.79/0.83 c | 17103 | 231 2707 8338 | 14265 10566 34 | 0.002 % | 1.39/1.40 c | 25752 | 231 2707 8338 | 15692 12036 35 | 0.002 % | 2.30/2.34 c | 38730 | 231 2707 8338 | 17261 9219 38 | 0.002 % | 3.59/3.67 c | 58191 | 231 2707 8338 | 18987 11318 34 | 0.002 % | 5.89/5.92 c | 87384 | 231 2707 8338 | 20886 11859 35 | 0.002 % | 9.69/9.71 c | 131174 | 231 2707 8338 | 22974 13659 37 | 0.002 % | 15.50/15.57 c | 196858 | 231 2707 8338 | 25272 21404 38 | 0.002 % | 25.19/25.30 c | 295384 | 231 2707 8338 | 27799 14004 35 | 0.002 % | 40.09/40.15 c | 443174 | 231 2707 8338 | 30579 19683 38 | 0.002 % | 63.80/63.81 c | 664857 | 231 2707 8338 | 33637 22321 39 | 0.002 % | 101.69/101.79 c | 997384 | 231 2707 8338 | 37001 14494 38 | 0.002 % | 159.40/159.46 c =============================================================================== 167.70/167.78 c core #1 167.70/167.78 c ============================[ Search Statistics ]============================== 167.70/167.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 167.70/167.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 167.70/167.78 c =============================================================================== 167.70/167.78 c | 0 | 719 3596 12457 | 5000 0 nan | 0.000 % | 168.10/168.11 c | 101 | 719 3596 12457 | 5500 101 20 | 0.000 % | 168.10/168.13 c | 251 | 719 3596 12457 | 6050 251 28 | 0.000 % | 168.10/168.14 c | 477 | 719 3596 12457 | 6655 477 27 | 0.000 % | 168.10/168.15 c | 816 | 719 3596 12457 | 7320 816 27 | 0.000 % | 168.10/168.18 c | 1322 | 719 3596 12457 | 8052 1322 27 | 0.000 % | 168.19/168.25 c | 2082 | 719 3596 12457 | 8857 2082 27 | 0.000 % | 168.19/168.29 c | 3221 | 719 3596 12457 | 9743 3221 29 | 0.000 % | 168.30/168.36 c | 4929 | 719 3596 12457 | 10717 4929 29 | 0.000 % | 168.40/168.48 c | 7493 | 719 3596 12457 | 11789 7493 29 | 0.000 % | 168.70/168.72 c | 11338 | 719 3596 12457 | 12968 11338 29 | 0.000 % | 169.09/169.13 c | 17105 | 719 3596 12457 | 14265 10574 33 | 0.000 % | 169.70/169.75 c | 25754 | 719 3596 12457 | 15692 12032 37 | 0.000 % | 170.79/170.83 c | 38729 | 719 3596 12457 | 17261 9203 35 | 0.000 % | 172.39/172.42 c | 58190 | 719 3596 12457 | 18987 11294 32 | 0.000 % | 174.90/174.95 c | 87383 | 719 3596 12457 | 20886 11864 35 | 0.000 % | 179.79/179.88 c | 131173 | 719 3596 12457 | 22974 13696 40 | 0.000 % | 186.39/186.40 c | 196858 | 719 3596 12457 | 25272 21634 36 | 0.000 % | 196.59/196.62 c | 295386 | 719 3596 12457 | 27799 13043 36 | 0.000 % | 213.00/213.04 c | 443176 | 719 3596 12457 | 30579 20263 38 | 0.000 % | 240.09/240.16 c | 664859 | 719 3596 12457 | 33637 24261 41 | 0.000 % | 280.39/280.50 c | 997385 | 719 3596 12457 | 37001 21234 39 | 0.000 % | 349.40/349.40 c | 1496173 | 719 3596 12457 | 40701 16580 36 | 0.000 % | 379.29/379.38 c =============================================================================== 390.40/390.47 c core #2 390.40/390.47 c ============================[ Search Statistics ]============================== 390.40/390.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 390.40/390.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 390.40/390.47 c =============================================================================== 390.40/390.47 c | 0 | 1208 4471 16531 | 5000 0 nan | 0.000 % | 390.51/390.51 c | 100 | 1208 4471 16531 | 5500 100 23 | 0.000 % | 390.51/390.56 c | 250 | 1208 4471 16531 | 6050 250 23 | 0.000 % | 390.51/390.57 c | 475 | 1208 4471 16531 | 6655 475 24 | 0.000 % | 390.51/390.58 c | 812 | 1208 4471 16531 | 7320 812 28 | 0.000 % | 390.60/390.61 c | 1318 | 1208 4471 16531 | 8052 1318 26 | 0.000 % | 390.60/390.64 c | 2077 | 1208 4471 16531 | 8857 2077 27 | 0.000 % | 390.71/390.72 c | 3217 | 1208 4471 16531 | 9743 3217 27 | 0.000 % | 390.80/390.81 c | 4926 | 1208 4471 16531 | 10717 4926 28 | 0.000 % | 390.90/390.95 c | 7488 | 1208 4471 16531 | 11789 7488 30 | 0.000 % | 391.10/391.20 c | 11333 | 1208 4471 16531 | 12968 11333 31 | 0.000 % | 391.50/391.60 c | 17099 | 1208 4471 16531 | 14265 10569 33 | 0.000 % | 392.30/392.33 c | 25748 | 1208 4471 16531 | 15692 12032 36 | 0.000 % | 393.50/393.50 c | 38722 | 1208 4471 16531 | 17261 9220 36 | 0.000 % | 395.20/395.25 c | 58183 | 1208 4471 16531 | 18987 11346 37 | 0.000 % | 398.40/398.41 c | 87375 | 1208 4471 16531 | 20886 11915 39 | 0.000 % | 403.20/403.24 c | 131164 | 1208 4471 16531 | 22974 13742 37 | 0.000 % | 410.41/410.44 c | 196848 | 1208 4471 16531 | 25272 21603 37 | 0.000 % | 421.80/421.89 c | 295374 | 1208 4471 16531 | 27799 14391 38 | 0.000 % | 439.70/439.70 c | 443167 | 1208 4471 16531 | 30579 22631 38 | 0.000 % | 466.10/466.10 c | 664851 | 1207 4471 16531 | 33637 26740 38 | 0.083 % | 476.70/476.77 c =============================================================================== 481.91/481.96 c core #3 481.91/481.96 c ============================[ Search Statistics ]============================== 481.91/481.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 481.91/481.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 481.91/481.96 c =============================================================================== 481.91/481.96 c | 0 | 1694 5330 20541 | 5000 0 nan | 0.000 % | 481.91/481.99 c | 103 | 1694 5330 20541 | 5500 103 29 | 0.000 % | 482.00/482.00 c | 253 | 1694 5330 20541 | 6050 253 34 | 0.000 % | 482.00/482.01 c | 478 | 1694 5330 20541 | 6655 478 30 | 0.000 % | 482.00/482.03 c | 815 | 1694 5330 20541 | 7320 815 26 | 0.000 % | 482.00/482.07 c | 1324 | 1694 5330 20541 | 8052 1324 26 | 0.000 % | 482.11/482.14 c | 2083 | 1694 5330 20541 | 8857 2083 27 | 0.000 % | 482.21/482.23 c | 3222 | 1694 5330 20541 | 9743 3222 28 | 0.000 % | 482.30/482.32 c | 4932 | 1694 5330 20541 | 10717 4932 28 | 0.000 % | 482.40/482.47 c | 7494 | 1694 5330 20541 | 11789 7494 29 | 0.000 % | 482.70/482.74 c | 11338 | 1694 5330 20541 | 12968 11338 30 | 0.000 % | 483.10/483.19 c | 17106 | 1694 5330 20541 | 14265 10569 33 | 0.000 % | 483.91/483.99 c | 25755 | 1694 5330 20541 | 15692 12026 36 | 0.000 % | 485.21/485.26 c | 38729 | 1694 5330 20541 | 17261 9211 37 | 0.000 % | 487.00/487.08 c | 58190 | 1694 5330 20541 | 18987 11302 36 | 0.000 % | 489.90/489.97 c | 87384 | 1694 5330 20541 | 20886 11877 35 | 0.000 % | 494.51/494.56 c | 131173 | 1694 5330 20541 | 22974 13676 36 | 0.000 % | 501.90/501.90 c | 196858 | 1694 5330 20541 | 25272 21553 36 | 0.000 % | 514.00/514.05 c | 295384 | 1694 5330 20541 | 27799 13884 38 | 0.000 % | 530.71/530.75 c | 443174 | 1694 5330 20541 | 30579 20119 37 | 0.000 % | 558.70/558.72 c | 664860 | 1694 5330 20541 | 33637 24198 37 | 0.000 % | 602.70/602.74 c | 997389 | 1694 5330 20541 | 37001 20362 40 | 0.001 % | 609.71/609.79 c =============================================================================== 616.71/616.77 c core #4 616.71/616.77 c ============================[ Search Statistics ]============================== 616.71/616.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 616.71/616.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 616.71/616.77 c =============================================================================== 616.71/616.77 c | 0 | 2179 6169 24489 | 5000 0 nan | 0.000 % | 616.81/616.87 c | 103 | 2179 6169 24489 | 5500 103 21 | 0.000 % | 616.81/616.87 c | 257 | 2179 6169 24489 | 6050 257 21 | 0.000 % | 616.81/616.89 c | 484 | 2179 6169 24489 | 6655 484 24 | 0.000 % | 616.91/616.91 c | 822 | 2179 6169 24489 | 7320 822 26 | 0.000 % | 616.91/616.94 c | 1329 | 2179 6169 24489 | 8052 1329 27 | 0.000 % | 616.91/616.99 c | 2089 | 2179 6169 24489 | 8857 2089 28 | 0.000 % | 617.00/617.04 c | 3228 | 2179 6169 24489 | 9743 3228 29 | 0.000 % | 617.11/617.12 c | 4936 | 2179 6169 24489 | 10717 4936 30 | 0.000 % | 617.21/617.27 c | 7498 | 2179 6169 24489 | 11789 7498 29 | 0.000 % | 617.51/617.55 c | 11342 | 2179 6169 24489 | 12968 11342 32 | 0.000 % | 617.91/617.99 c | 17109 | 2179 6169 24489 | 14265 10572 36 | 0.000 % | 618.81/618.80 c | 25758 | 2179 6169 24489 | 15692 12042 38 | 0.000 % | 620.01/620.05 c | 38734 | 2179 6169 24489 | 17261 9211 41 | 0.000 % | 621.80/621.87 c | 58195 | 2179 6169 24489 | 18987 11302 39 | 0.000 % | 624.71/624.77 c | 87387 | 2179 6169 24489 | 20886 11869 36 | 0.000 % | 629.40/629.46 c | 131179 | 2179 6169 24489 | 22974 13668 38 | 0.000 % | 636.81/636.87 c | 196864 | 2179 6169 24489 | 25272 21630 38 | 0.000 % | 647.71/647.73 c | 295391 | 2179 6169 24489 | 27799 13684 38 | 0.000 % | 664.71/664.79 c | 443186 | 2179 6169 24489 | 30579 20605 38 | 0.000 % | 691.61/691.62 c | 664870 | 2179 6169 24489 | 33637 22364 35 | 0.000 % | 733.50/733.59 c | 997395 | 2178 6169 24489 | 37001 32624 36 | 0.046 % | 740.10/740.13 c =============================================================================== 746.80/746.88 c core #5 746.80/746.88 c ============================[ Search Statistics ]============================== 746.80/746.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 746.80/746.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 746.80/746.88 c =============================================================================== 746.80/746.88 c | 0 | 2683 6999 28434 | 5000 0 nan | 0.000 % | 746.91/746.98 c | 100 | 2683 6999 28434 | 5500 100 17 | 0.000 % | 746.91/746.99 c | 250 | 2683 6999 28434 | 6050 250 19 | 0.000 % | 746.91/747.00 c | 476 | 2683 6999 28434 | 6655 476 22 | 0.000 % | 747.02/747.02 c | 813 | 2683 6999 28434 | 7320 813 25 | 0.000 % | 747.02/747.05 c | 1319 | 2683 6999 28434 | 8052 1319 26 | 0.000 % | 747.11/747.10 c | 2081 | 2683 6999 28434 | 8857 2081 26 | 0.000 % | 747.11/747.16 c | 3220 | 2683 6999 28434 | 9743 3220 28 | 0.000 % | 747.21/747.23 c | 4929 | 2683 6999 28434 | 10717 4929 28 | 0.000 % | 747.41/747.40 c | 7493 | 2683 6999 28434 | 11789 7493 29 | 0.000 % | 747.61/747.67 c | 11337 | 2683 6999 28434 | 12968 11337 31 | 0.000 % | 748.12/748.13 c | 17104 | 2683 6999 28434 | 14265 10572 34 | 0.000 % | 748.90/748.93 c | 25753 | 2683 6999 28434 | 15692 12037 35 | 0.000 % | 750.11/750.13 c | 38727 | 2683 6999 28434 | 17261 9203 36 | 0.000 % | 752.01/752.07 c | 58191 | 2683 6999 28434 | 18987 11306 38 | 0.000 % | 755.11/755.17 c | 87384 | 2683 6999 28434 | 20886 11875 39 | 0.000 % | 759.71/759.76 c | 131174 | 2683 6999 28434 | 22974 13666 38 | 0.000 % | 767.11/767.10 c | 196860 | 2683 6999 28434 | 25272 21659 37 | 0.000 % | 779.11/779.17 c | 295386 | 2683 6999 28434 | 27799 16249 39 | 0.000 % | 797.91/797.95 c | 443179 | 2683 6999 28434 | 30579 23236 37 | 0.000 % | 826.71/826.79 c | 664863 | 2683 6999 28434 | 33637 26805 38 | 0.000 % | 870.01/870.06 c | 997388 | 2683 6999 28434 | 37001 21547 38 | 0.000 % | 906.22/906.24 c =============================================================================== 914.82/914.89 c core #6 914.82/914.89 c ============================[ Search Statistics ]============================== 914.82/914.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 914.82/914.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 914.82/914.89 c =============================================================================== 914.82/914.89 c | 0 | 3209 7816 32400 | 5000 0 nan | 0.000 % | 915.02/915.00 c | 101 | 3209 7816 32400 | 5500 101 40 | 0.000 % | 915.02/915.01 c | 251 | 3209 7816 32400 | 6050 251 35 | 0.000 % | 915.02/915.02 c | 476 | 3209 7816 32400 | 6655 476 33 | 0.000 % | 915.02/915.04 c | 814 | 3209 7816 32400 | 7320 814 31 | 0.000 % | 915.02/915.07 c | 1321 | 3209 7816 32400 | 8052 1321 30 | 0.000 % | 915.11/915.12 c | 2080 | 3209 7816 32400 | 8857 2080 29 | 0.000 % | 915.11/915.19 c | 3219 | 3209 7816 32400 | 9743 3219 30 | 0.000 % | 915.22/915.28 c | 4929 | 3209 7816 32400 | 10717 4929 30 | 0.000 % | 915.41/915.44 c | 7492 | 3209 7816 32400 | 11789 7492 31 | 0.000 % | 915.71/915.71 c | 11336 | 3209 7816 32400 | 12968 11336 31 | 0.000 % | 916.12/916.18 c | 17102 | 3209 7816 32400 | 14265 10590 34 | 0.000 % | 916.92/916.92 c | 25751 | 3209 7816 32400 | 15692 12036 34 | 0.000 % | 918.11/918.11 c | 38728 | 3209 7816 32400 | 17261 9214 33 | 0.000 % | 920.01/920.05 c | 58191 | 3209 7816 32400 | 18987 11309 39 | 0.000 % | 923.02/923.05 c | 87385 | 3209 7816 32400 | 20886 11875 36 | 0.000 % | 927.61/927.69 c | 131174 | 3209 7816 32400 | 22974 13683 36 | 0.000 % | 935.21/935.27 c | 196858 | 3209 7816 32400 | 25272 21685 38 | 0.000 % | 946.21/946.27 c | 295385 | 3209 7816 32400 | 27799 13890 36 | 0.000 % | 963.82/963.81 c | 443175 | 3209 7816 32400 | 30579 19488 36 | 0.000 % | 991.91/991.97 c | 664858 | 3209 7816 32400 | 33637 23330 38 | 0.000 % | 1037.02/1037.03 c | 997385 | 3209 7816 32400 | 37001 23596 40 | 0.000 % | 1105.62/1105.64 c | 1496174 | 3207 7816 32400 | 40701 34241 38 | 0.062 % | 1108.32/1108.31 c =============================================================================== 1118.82/1118.81 c core #7 1118.82/1118.81 c ============================[ Search Statistics ]============================== 1118.82/1118.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1118.82/1118.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1118.82/1118.81 c =============================================================================== 1118.82/1118.81 c | 0 | 3725 8629 36327 | 5000 0 nan | 0.000 % | 1118.91/1118.94 c | 102 | 3725 8629 36327 | 5500 102 20 | 0.000 % | 1118.91/1118.95 c | 253 | 3725 8629 36327 | 6050 253 26 | 0.000 % | 1118.91/1118.96 c | 480 | 3725 8629 36327 | 6655 480 31 | 0.000 % | 1118.91/1118.99 c | 817 | 3725 8629 36327 | 7320 817 30 | 0.000 % | 1119.02/1119.03 c | 1326 | 3725 8629 36327 | 8052 1326 31 | 0.000 % | 1119.02/1119.08 c | 2086 | 3725 8629 36327 | 8857 2086 30 | 0.000 % | 1119.12/1119.14 c | 3226 | 3725 8629 36327 | 9743 3226 29 | 0.000 % | 1119.22/1119.24 c | 4934 | 3725 8629 36327 | 10717 4934 30 | 0.000 % | 1119.32/1119.40 c | 7497 | 3725 8629 36327 | 11789 7497 31 | 0.000 % | 1119.72/1119.72 c | 11341 | 3725 8629 36327 | 12968 11341 31 | 0.000 % | 1120.12/1120.19 c | 17108 | 3725 8629 36327 | 14265 10570 35 | 0.000 % | 1120.52/1120.55 c =============================================================================== 1120.52/1120.55 c #cores: 7 1120.52/1120.55 c Final Weight: 7 1120.52/1120.55 o 7 1120.52/1120.55 s OPTIMUM FOUND 1120.52/1120.55 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 1120.52/1120.55 c Total CPU time: 1109.27 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-2690029-1277903771/watcher-2690029-1277903771 -o /tmp/evaluation-result-2690029-1277903771/solver-2690029-1277903771 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690029-1277903771.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.02 2.00 2.00 4/178 12523 /proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=2656 CPUtime=0 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 303 0 0 0 0 0 0 0 25 0 1 0 131674013 2719744 222 4089446400 134512640 135751879 4294713712 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 664 223 146 303 0 337 0 [startup+0.100764 s] /proc/loadavg: 2.02 2.00 2.00 4/178 12523 /proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=3516 CPUtime=0.09 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 534 0 0 0 9 0 0 0 25 0 1 0 131674013 3600384 431 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 879 431 143 303 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3516 [startup+0.200747 s] /proc/loadavg: 2.02 2.00 2.00 4/178 12523 /proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=4176 CPUtime=0.19 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 696 0 0 0 19 0 0 0 25 0 1 0 131674013 4276224 593 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 1044 594 143 303 0 739 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4176 [startup+0.300725 s] /proc/loadavg: 2.02 2.00 2.00 4/178 12523 /proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=4704 CPUtime=0.29 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 832 0 0 0 29 0 0 0 25 0 1 0 131674013 4816896 729 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 1176 729 143 303 0 871 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4704 [startup+0.700661 s] /proc/loadavg: 2.02 2.00 2.00 4/178 12523 /proc/meminfo: memFree=31521076/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=6552 CPUtime=0.69 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 1290 0 0 0 68 1 0 0 25 0 1 0 131674013 6709248 1187 4089446400 134512640 135751879 4294713712 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 1638 1187 143 303 0 1333 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6552 [startup+1.50053 s] /proc/loadavg: 2.02 2.00 2.00 3/179 12524 /proc/meminfo: memFree=31515116/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=9720 CPUtime=1.49 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 2084 0 0 0 147 2 0 0 25 0 1 0 131674013 9953280 1981 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 2430 1981 143 303 0 2125 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9720 [startup+3.10018 s] /proc/loadavg: 2.02 2.00 2.00 3/179 12524 /proc/meminfo: memFree=31510372/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=15672 CPUtime=3.09 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 3599 0 0 0 304 5 0 0 25 0 1 0 131674013 16048128 3496 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 3918 3496 143 303 0 3613 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15672 [startup+6.30061 s] /proc/loadavg: 2.02 2.00 2.00 3/179 12524 /proc/meminfo: memFree=31498344/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=26972 CPUtime=6.29 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 6400 0 0 0 619 10 0 0 25 0 1 0 131674013 27619328 6297 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 6743 6297 143 303 0 6438 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26972 [startup+12.7005 s] /proc/loadavg: 2.02 2.00 2.00 3/179 12524 /proc/meminfo: memFree=31477636/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=46264 CPUtime=12.69 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 11241 0 0 0 1251 18 0 0 25 0 1 0 131674013 47374336 11138 4089446400 134512640 135751879 4294713712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 11566 11138 143 303 0 11261 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46264 [startup+25.5002 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12525 /proc/meminfo: memFree=31439680/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=81548 CPUtime=25.5 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 20049 0 0 0 2517 33 0 0 25 0 1 0 131674013 83505152 19946 4089446400 134512640 135751879 4294713712 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 20387 19947 143 303 0 20082 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 81548 [startup+51.1007 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12526 /proc/meminfo: memFree=31372628/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=146336 CPUtime=51.09 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 36214 0 0 0 5046 63 0 0 25 0 1 0 131674013 149848064 36111 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 36584 36111 143 303 0 36279 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146336 [startup+102.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12527 /proc/meminfo: memFree=31249344/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=266944 CPUtime=102.3 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 66357 0 0 0 10115 115 0 0 25 0 1 0 131674013 273350656 66254 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 66736 66254 143 303 0 66431 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 266944 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12528 /proc/meminfo: memFree=31097896/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=422428 CPUtime=162.29 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 105200 0 0 0 16055 174 0 0 25 0 1 0 131674013 432566272 105097 4089446400 134512640 135751879 4294713712 18446744073709551615 134516450 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 105607 105097 143 303 0 105302 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 422428 [startup+222.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12530 /proc/meminfo: memFree=31058164/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=453716 CPUtime=222.3 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 113134 0 0 0 21996 234 0 0 25 0 1 0 131674013 464605184 112994 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 113429 112994 146 303 0 113124 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 453716 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12532 /proc/meminfo: memFree=30979516/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=532776 CPUtime=282.3 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 132874 0 0 0 27928 302 0 0 25 0 1 0 131674013 545562624 132734 4089446400 134512640 135751879 4294713712 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 133194 132734 146 303 0 132889 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 532776 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12534 /proc/meminfo: memFree=30858212/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=651768 CPUtime=342.3 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 162611 0 0 0 33870 360 0 0 25 0 1 0 131674013 667410432 162471 4089446400 134512640 135751879 4294713712 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 162942 162471 146 303 0 162637 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 651768 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12535 /proc/meminfo: memFree=30731072/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=776264 CPUtime=402.3 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 193726 0 0 0 39814 416 0 0 25 0 1 0 131674013 794894336 193586 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 194066 193586 146 303 0 193761 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 776264 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12536 /proc/meminfo: memFree=30700160/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=805676 CPUtime=462.3 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 201121 0 0 0 45754 476 0 0 25 0 1 0 131674013 825012224 200981 4089446400 134512640 135751879 4294713712 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 201419 200981 146 303 0 201114 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 805676 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12538 /proc/meminfo: memFree=30638108/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=866836 CPUtime=522.31 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 216389 0 0 0 51692 539 0 0 25 0 1 0 131674013 887640064 216249 4089446400 134512640 135751879 4294713712 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 216709 216249 146 303 0 216404 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 866836 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12540 /proc/meminfo: memFree=30552016/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=947960 CPUtime=582.31 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 236655 0 0 0 57633 598 0 0 25 0 1 0 131674013 970711040 236515 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 236990 236515 146 303 0 236685 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 947960 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12541 /proc/meminfo: memFree=30478548/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1018364 CPUtime=642.31 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 254303 0 0 0 63577 654 0 0 25 0 1 0 131674013 1042804736 254163 4089446400 134512640 135751879 4294713712 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 254591 254163 146 303 0 254286 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1018364 [startup+702.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12543 /proc/meminfo: memFree=30389832/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1103896 CPUtime=702.31 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 275642 0 0 0 69510 721 0 0 25 0 1 0 131674013 1130389504 275502 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 275974 275502 146 303 0 275669 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1103896 [startup+762.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12544 /proc/meminfo: memFree=30294288/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1197780 CPUtime=762.31 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 299167 0 0 0 75452 779 0 0 25 0 1 0 131674013 1226526720 299027 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 299445 299027 146 303 0 299140 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 1197780 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12546 /proc/meminfo: memFree=30227788/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1262792 CPUtime=822.31 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 315396 0 0 0 81391 840 0 0 25 0 1 0 131674013 1293099008 315256 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 315698 315256 146 303 0 315393 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1262792 [startup+882.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12548 /proc/meminfo: memFree=30121596/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1366892 CPUtime=882.31 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 341404 0 0 0 87332 899 0 0 25 0 1 0 131674013 1399697408 341264 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 341723 341264 146 303 0 341418 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1366892 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12552 /proc/meminfo: memFree=30034828/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1451696 CPUtime=942.32 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 362637 0 0 0 93271 961 0 0 25 0 1 0 131674013 1486536704 362497 4089446400 134512640 135751879 4294713712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 362924 362497 146 303 0 362619 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1451696 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12554 /proc/meminfo: memFree=29970980/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1514744 CPUtime=1002.32 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 378358 0 0 0 99210 1022 0 0 25 0 1 0 131674013 1551097856 378218 4089446400 134512640 135751879 4294713712 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 378686 378218 146 303 0 378381 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1514744 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12555 /proc/meminfo: memFree=29872600/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1613556 CPUtime=1062.32 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 403055 0 0 0 105153 1079 0 0 25 0 1 0 131674013 1652281344 402915 4089446400 134512640 135751879 4294713712 18446744073709551615 134616507 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 403389 402915 146 303 0 403084 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1613556 Solver just ended. Dumping a history of the last processes samples [startup+1075.2 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12556 /proc/meminfo: memFree=29846036/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1639648 CPUtime=1075.22 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 409568 0 0 0 106427 1095 0 0 25 0 1 0 131674013 1678999552 409428 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 409912 409428 146 303 0 409607 0 Current children cumulated CPU time (s) 1075.22 Current children cumulated vsize (KiB) 1639648 [startup+1100.8 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12557 /proc/meminfo: memFree=29797668/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1688564 CPUtime=1100.82 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 421813 0 0 0 108959 1123 0 0 25 0 1 0 131674013 1729089536 421673 4089446400 134512640 135751879 4294713712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 422141 421673 146 303 0 421836 0 Current children cumulated CPU time (s) 1100.82 Current children cumulated vsize (KiB) 1688564 [startup+1113.6 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12557 /proc/meminfo: memFree=29738504/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1746536 CPUtime=1113.61 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436298 0 0 0 110232 1129 0 0 25 0 1 0 131674013 1788452864 436158 4089446400 134512640 135751879 4294713712 18446744073709551615 134618707 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 436634 436158 146 303 0 436329 0 Current children cumulated CPU time (s) 1113.61 Current children cumulated vsize (KiB) 1746536 [startup+1116.8 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12557 /proc/meminfo: memFree=29738128/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1746536 CPUtime=1116.81 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436298 0 0 0 110552 1129 0 0 25 0 1 0 131674013 1788452864 436158 4089446400 134512640 135751879 4294713712 18446744073709551615 134618707 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 436634 436158 146 303 0 436329 0 Current children cumulated CPU time (s) 1116.81 Current children cumulated vsize (KiB) 1746536 [startup+1118.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12557 /proc/meminfo: memFree=29738128/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1747600 CPUtime=1118.41 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436526 0 0 0 110712 1129 0 0 25 0 1 0 131674013 1789542400 436386 4089446400 134512640 135751879 4294713712 18446744073709551615 134521914 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 436900 436386 146 303 0 436595 0 Current children cumulated CPU time (s) 1118.41 Current children cumulated vsize (KiB) 1747600 [startup+1120 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12557 /proc/meminfo: memFree=29737136/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1747600 CPUtime=1120.01 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436534 0 0 0 110871 1130 0 0 25 0 1 0 131674013 1789542400 436394 4089446400 134512640 135751879 4294713712 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 436900 436394 146 303 0 436595 0 Current children cumulated CPU time (s) 1120.01 Current children cumulated vsize (KiB) 1747600 [startup+1120.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12557 /proc/meminfo: memFree=29737136/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=1747600 CPUtime=1120.42 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202496 436534 0 0 0 110911 1131 0 0 25 0 1 0 131674013 1789542400 436394 4089446400 134512640 135751879 4294713712 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12523/statm: 436900 436394 146 303 0 436595 0 Current children cumulated CPU time (s) 1120.42 Current children cumulated vsize (KiB) 1747600 [startup+1120.6 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12557 /proc/meminfo: memFree=29737136/32950928 swapFree=67111528/67111528 [pid=12523] ppid=12521 vsize=0 CPUtime=1120.62 /proc/12523/stat : 12523 (wbo1.4a) R 12521 12523 11577 0 -1 4202500 436534 0 0 0 110926 1136 0 0 25 0 1 0 131674013 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/12523/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1120.62 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1120.61 CPU time (s): 1120.64 CPU user time (s): 1109.27 CPU system time (s): 11.3683 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1747600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1109.27 system time used= 11.3683 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 436534 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= 2114 runsolver used 1.60875 second user time and 3.49947 second system time The end
Begin job on node120 at 2010-06-30 15:16:11 IDJOB=2690029 IDBENCH=78914 IDSOLVER=1200 FILE ID=node120/2690029-1277903771 PBS_JOBID= 11197198 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.1900557957--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690029-1277903771/watcher-2690029-1277903771 -o /tmp/evaluation-result-2690029-1277903771/solver-2690029-1277903771 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690029-1277903771.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cd9d62896ad241b3e0bc0c585d812475 RANDOM SEED=1325083585 node120.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.820 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.820 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.820 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.80 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.820 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.74 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.820 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.82 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.820 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.68 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.820 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.820 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31521604 kB Buffers: 189584 kB Cached: 935844 kB SwapCached: 0 kB Active: 702640 kB Inactive: 586344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31521604 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 163468 kB Mapped: 17136 kB Slab: 77852 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 312036 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 node120 at 2010-06-30 15:34:51