Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1039.76 | 1039.74 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo |
MD5SUM | c0d431beb578ab67ce1970cb297cf650 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 514.642 |
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 | 2707 |
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 | 137973 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137972 |
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-2689541-1277925146.wbo. 0.00/0.00 c Instance file HOME/instance-2689541-1277925146.wbo 0.00/0.00 c File size is 96792 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.03/0.06 c | 2081 | 231 2707 8338 | 8857 2081 29 | 0.002 % | 0.09/0.10 c | 3222 | 231 2707 8338 | 9743 3222 30 | 0.002 % | 0.09/0.16 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.46 c | 11336 | 231 2707 8338 | 12968 11336 32 | 0.002 % | 0.69/0.76 c | 17104 | 231 2707 8338 | 14265 10570 32 | 0.002 % | 1.29/1.34 c | 25755 | 231 2707 8338 | 15692 12041 35 | 0.002 % | 2.20/2.28 c | 38729 | 231 2707 8338 | 17261 9208 36 | 0.002 % | 3.59/3.61 c | 58190 | 231 2707 8338 | 18987 11307 32 | 0.002 % | 5.79/5.82 c | 87384 | 231 2707 8338 | 20886 11879 36 | 0.002 % | 9.68/9.73 c | 131173 | 231 2707 8338 | 22974 13708 37 | 0.002 % | 15.89/15.93 c | 196857 | 231 2707 8338 | 25272 21697 36 | 0.002 % | 25.99/26.05 c | 295384 | 231 2707 8338 | 27799 13798 35 | 0.002 % | 40.39/40.48 c | 443175 | 231 2707 8338 | 30579 19533 38 | 0.002 % | 63.00/63.03 c | 664859 | 231 2707 8338 | 33637 18247 36 | 0.002 % | 97.29/97.33 c =============================================================================== 103.69/103.79 c core #1 103.69/103.79 c ============================[ Search Statistics ]============================== 103.69/103.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 103.69/103.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 103.69/103.79 c =============================================================================== 103.69/103.79 c | 0 | 1585 5256 20247 | 5000 0 nan | 0.000 % | 103.89/103.98 c | 100 | 1585 5256 20247 | 5500 100 27 | 0.000 % | 103.99/104.00 c | 251 | 1585 5256 20247 | 6050 251 30 | 0.000 % | 103.99/104.02 c | 478 | 1585 5256 20247 | 6655 478 30 | 0.000 % | 103.99/104.05 c | 818 | 1585 5256 20247 | 7320 818 28 | 0.000 % | 103.99/104.07 c | 1324 | 1585 5256 20247 | 8052 1324 28 | 0.000 % | 104.09/104.10 c | 2084 | 1585 5256 20247 | 8857 2084 29 | 0.000 % | 104.09/104.14 c | 3226 | 1585 5256 20247 | 9743 3226 30 | 0.000 % | 104.19/104.23 c | 4934 | 1585 5256 20247 | 10717 4934 31 | 0.000 % | 104.30/104.36 c | 7497 | 1585 5256 20247 | 11789 7497 31 | 0.000 % | 104.50/104.58 c | 11341 | 1585 5256 20247 | 12968 11341 30 | 0.000 % | 104.89/104.96 c | 17107 | 1585 5256 20247 | 14265 10559 31 | 0.000 % | 105.60/105.65 c | 25759 | 1585 5256 20247 | 15692 12044 36 | 0.000 % | 106.70/106.73 c | 38734 | 1585 5256 20247 | 17261 9217 36 | 0.000 % | 108.40/108.45 c | 58195 | 1585 5256 20247 | 18987 11313 34 | 0.000 % | 111.10/111.17 c | 87389 | 1585 5256 20247 | 20886 11872 37 | 0.000 % | 115.69/115.73 c | 131180 | 1585 5256 20247 | 22974 13670 34 | 0.000 % | 122.99/123.07 c | 196864 | 1585 5256 20247 | 25272 21677 36 | 0.000 % | 133.69/133.78 c | 295390 | 1585 5256 20247 | 27799 13009 36 | 0.000 % | 150.69/150.73 c | 443180 | 1585 5256 20247 | 30579 18087 37 | 0.000 % | 174.80/174.85 c | 664863 | 1585 5256 20247 | 33637 16602 36 | 0.000 % | 206.80/206.85 c =============================================================================== 214.29/214.31 c core #2 214.29/214.31 c ============================[ Search Statistics ]============================== 214.29/214.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 214.29/214.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 214.29/214.31 c =============================================================================== 214.29/214.31 c | 0 | 2939 7791 32116 | 5000 0 nan | 0.000 % | 214.40/214.41 c | 103 | 2939 7791 32116 | 5500 103 20 | 0.000 % | 214.40/214.41 c | 253 | 2939 7791 32116 | 6050 253 23 | 0.000 % | 214.40/214.42 c | 478 | 2939 7791 32116 | 6655 478 27 | 0.000 % | 214.40/214.44 c | 815 | 2939 7791 32116 | 7320 815 28 | 0.000 % | 214.40/214.47 c | 1322 | 2939 7791 32116 | 8052 1322 27 | 0.000 % | 214.49/214.51 c | 2083 | 2939 7791 32116 | 8857 2083 27 | 0.000 % | 214.49/214.57 c | 3224 | 2939 7791 32116 | 9743 3224 28 | 0.000 % | 214.60/214.67 c | 4932 | 2939 7791 32116 | 10717 4932 29 | 0.000 % | 214.79/214.82 c | 7495 | 2939 7791 32116 | 11789 7495 29 | 0.000 % | 215.10/215.11 c | 11339 | 2939 7791 32116 | 12968 11339 29 | 0.000 % | 215.49/215.56 c | 17106 | 2939 7791 32116 | 14265 10584 31 | 0.000 % | 216.20/216.21 c | 25755 | 2939 7791 32116 | 15692 12061 30 | 0.000 % | 217.30/217.30 c | 38731 | 2939 7791 32116 | 17261 9227 33 | 0.000 % | 219.00/219.08 c | 58193 | 2939 7791 32116 | 18987 11323 36 | 0.000 % | 222.00/222.04 c | 87385 | 2939 7791 32116 | 20886 11890 36 | 0.000 % | 226.40/226.48 c | 131174 | 2939 7791 32116 | 22974 13671 36 | 0.000 % | 234.30/234.33 c | 196858 | 2939 7791 32116 | 25272 21477 41 | 0.000 % | 246.40/246.42 c | 295385 | 2939 7791 32116 | 27799 12519 35 | 0.000 % | 263.19/263.25 c | 443176 | 2939 7791 32116 | 30579 18435 39 | 0.000 % | 288.00/288.06 c | 664863 | 2939 7791 32116 | 33637 18407 37 | 0.000 % | 309.00/309.02 c =============================================================================== 314.60/314.69 c core #3 314.60/314.69 c ============================[ Search Statistics ]============================== 314.60/314.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 314.60/314.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 314.60/314.69 c =============================================================================== 314.60/314.69 c | 0 | 4304 10308 43947 | 5000 0 nan | 0.000 % | 314.70/314.78 c | 104 | 4304 10308 43947 | 5500 104 25 | 0.000 % | 314.70/314.78 c | 254 | 4304 10308 43947 | 6050 254 29 | 0.000 % | 314.79/314.80 c | 479 | 4304 10308 43947 | 6655 479 29 | 0.000 % | 314.79/314.82 c | 817 | 4304 10308 43947 | 7320 817 29 | 0.000 % | 314.79/314.86 c | 1323 | 4304 10308 43947 | 8052 1323 28 | 0.000 % | 314.89/314.91 c | 2082 | 4304 10308 43947 | 8857 2082 28 | 0.000 % | 314.89/314.97 c | 3221 | 4304 10308 43947 | 9743 3221 29 | 0.000 % | 315.00/315.09 c | 4930 | 4304 10308 43947 | 10717 4930 30 | 0.000 % | 315.19/315.28 c | 7493 | 4304 10308 43947 | 11789 7493 30 | 0.000 % | 315.49/315.56 c | 11337 | 4304 10308 43947 | 12968 11337 31 | 0.000 % | 316.00/316.04 c | 17103 | 4304 10308 43947 | 14265 10556 32 | 0.000 % | 316.71/316.80 c | 25752 | 4304 10308 43947 | 15692 12023 33 | 0.000 % | 317.99/318.07 c | 38727 | 4304 10308 43947 | 17261 9204 33 | 0.000 % | 319.79/319.86 c | 58189 | 4304 10308 43947 | 18987 11296 34 | 0.000 % | 323.10/323.14 c | 87381 | 4304 10308 43947 | 20886 11832 38 | 0.000 % | 328.10/328.13 c | 131170 | 4304 10308 43947 | 22974 13660 37 | 0.000 % | 336.50/336.60 c | 196854 | 4304 10308 43947 | 25272 21594 36 | 0.000 % | 348.90/348.96 c | 295380 | 4304 10308 43947 | 27799 13044 36 | 0.000 % | 366.30/366.36 c | 443170 | 4304 10308 43947 | 30579 21308 34 | 0.000 % | 394.70/394.74 c | 664855 | 4304 10308 43947 | 33637 25129 38 | 0.000 % | 419.49/419.57 c =============================================================================== 425.79/425.81 c core #4 425.79/425.81 c ============================[ Search Statistics ]============================== 425.79/425.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 425.79/425.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 425.79/425.81 c =============================================================================== 425.79/425.81 c | 0 | 5676 12806 55736 | 5000 0 nan | 0.000 % | 425.79/425.89 c | 100 | 5676 12806 55736 | 5500 100 30 | 0.000 % | 425.90/425.91 c | 250 | 5676 12806 55736 | 6050 250 33 | 0.000 % | 425.90/425.92 c | 475 | 5676 12806 55736 | 6655 475 34 | 0.000 % | 425.90/425.95 c | 813 | 5676 12806 55736 | 7320 813 32 | 0.000 % | 425.90/425.98 c | 1319 | 5676 12806 55736 | 8052 1319 32 | 0.000 % | 426.00/426.03 c | 2078 | 5676 12806 55736 | 8857 2078 31 | 0.000 % | 426.10/426.11 c | 3217 | 5676 12806 55736 | 9743 3217 28 | 0.000 % | 426.20/426.22 c | 4927 | 5676 12806 55736 | 10717 4927 28 | 0.000 % | 426.40/426.42 c | 7490 | 5676 12806 55736 | 11789 7490 28 | 0.000 % | 426.70/426.73 c | 11334 | 5676 12806 55736 | 12968 11334 29 | 0.000 % | 427.20/427.29 c | 17100 | 5676 12806 55736 | 14265 10553 30 | 0.000 % | 428.09/428.12 c | 25749 | 5676 12806 55736 | 15692 12008 34 | 0.000 % | 429.50/429.54 c | 38724 | 5676 12806 55736 | 17261 9176 32 | 0.000 % | 431.59/431.67 c | 58185 | 5676 12806 55736 | 18987 11278 35 | 0.000 % | 435.50/435.56 c | 87378 | 5676 12806 55736 | 20886 11840 37 | 0.000 % | 441.20/441.29 c | 131167 | 5676 12806 55736 | 22974 13644 37 | 0.000 % | 450.49/450.56 c | 196853 | 5676 12806 55736 | 25272 21580 37 | 0.000 % | 463.30/463.35 c | 295381 | 5676 12806 55736 | 27799 13222 40 | 0.000 % | 482.60/482.64 c | 443171 | 5676 12806 55736 | 30579 17308 34 | 0.000 % | 513.21/513.27 c | 664854 | 5676 12806 55736 | 33637 18664 38 | 0.000 % | 555.41/555.49 c | 997380 | 5676 12806 55736 | 37001 31350 36 | 0.000 % | 624.51/624.54 c | 1496173 | 5676 12806 55736 | 40701 16130 41 | 0.000 % | 648.70/648.76 c =============================================================================== 661.80/661.83 c core #5 661.80/661.83 c ============================[ Search Statistics ]============================== 661.80/661.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 661.80/661.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 661.80/661.83 c =============================================================================== 661.80/661.83 c | 0 | 7092 15281 67573 | 5093 0 nan | 0.000 % | 661.91/661.96 c | 102 | 7092 15281 67573 | 5603 102 28 | 0.000 % | 661.91/661.97 c | 255 | 7092 15281 67573 | 6163 255 30 | 0.000 % | 661.91/661.98 c | 482 | 7092 15281 67573 | 6779 482 31 | 0.000 % | 662.01/662.01 c | 822 | 7092 15281 67573 | 7457 822 30 | 0.000 % | 662.01/662.05 c | 1328 | 7092 15281 67573 | 8203 1328 30 | 0.000 % | 662.11/662.12 c | 2087 | 7092 15281 67573 | 9023 2087 29 | 0.000 % | 662.21/662.21 c | 3226 | 7092 15281 67573 | 9926 3226 30 | 0.000 % | 662.31/662.33 c | 4934 | 7092 15281 67573 | 10918 4934 30 | 0.000 % | 662.50/662.52 c | 7496 | 7092 15281 67573 | 12010 7496 31 | 0.000 % | 662.81/662.85 c | 11341 | 7092 15281 67573 | 13211 11341 31 | 0.000 % | 663.31/663.38 c | 17107 | 7092 15281 67573 | 14532 10445 33 | 0.000 % | 664.20/664.28 c | 25756 | 7092 15281 67573 | 15986 11777 34 | 0.000 % | 665.70/665.73 c | 38731 | 7092 15281 67573 | 17584 8675 39 | 0.000 % | 667.90/667.91 c | 58193 | 7092 15281 67573 | 19343 10452 37 | 0.000 % | 671.70/671.72 c | 87386 | 7092 15281 67573 | 21277 10483 37 | 0.000 % | 676.91/676.91 c | 131177 | 7092 15281 67573 | 23405 11528 38 | 0.000 % | 686.20/686.28 c | 196861 | 7092 15281 67573 | 25745 17863 43 | 0.000 % | 701.10/701.12 c | 295391 | 7092 15281 67573 | 28320 19180 41 | 0.000 % | 723.60/723.63 c | 443180 | 7092 15281 67573 | 31152 21361 41 | 0.000 % | 754.20/754.23 c | 664863 | 7092 15281 67573 | 34267 14007 37 | 0.000 % | 799.50/799.57 c | 997390 | 7092 15281 67573 | 37694 16499 36 | 0.000 % | 867.71/867.80 c | 1496180 | 7092 15281 67573 | 41463 36247 38 | 0.000 % | 978.01/978.03 c | 2244364 | 7092 15281 67573 | 45610 40187 40 | 0.000 % | 1016.11/1016.10 c =============================================================================== 1037.61/1037.64 c core #6 1037.61/1037.64 c ============================[ Search Statistics ]============================== 1037.61/1037.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1037.61/1037.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1037.61/1037.64 c =============================================================================== 1037.61/1037.64 c | 0 | 8568 17736 79486 | 5912 0 nan | 0.000 % | 1037.81/1037.82 c | 100 | 8568 17736 79486 | 6503 100 32 | 0.000 % | 1037.81/1037.83 c | 250 | 8568 17736 79486 | 7153 250 32 | 0.000 % | 1037.81/1037.85 c | 475 | 8568 17736 79486 | 7868 475 32 | 0.000 % | 1037.81/1037.88 c | 812 | 8568 17736 79486 | 8655 812 33 | 0.000 % | 1037.92/1037.93 c | 1318 | 8568 17736 79486 | 9521 1318 34 | 0.000 % | 1038.01/1038.00 c | 2077 | 8568 17736 79486 | 10473 2077 33 | 0.000 % | 1038.11/1038.10 c | 3217 | 8568 17736 79486 | 11520 3217 32 | 0.000 % | 1038.21/1038.29 c | 4925 | 8568 17736 79486 | 12672 4925 31 | 0.000 % | 1038.51/1038.52 c | 7487 | 8568 17736 79486 | 13940 7487 32 | 0.000 % | 1038.92/1038.91 c | 11331 | 8568 17736 79486 | 15334 11331 32 | 0.000 % | 1039.52/1039.59 c | 17097 | 8568 17736 79486 | 16867 9377 34 | 0.000 % | 1039.61/1039.68 c =============================================================================== 1039.61/1039.68 c #cores: 6 1039.61/1039.68 c Final Weight: 6 1039.61/1039.68 o 6 1039.61/1039.68 s OPTIMUM FOUND 1039.61/1039.68 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 1039.61/1039.68 c Total CPU time: 1023.41 s
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689541-1277925146/watcher-2689541-1277925146 -o /tmp/evaluation-result-2689541-1277925146/solver-2689541-1277925146 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689541-1277925146.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.99 1.99 4/196 13915 /proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=2668 CPUtime=0 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 308 0 0 0 0 0 0 0 25 0 1 0 133811887 2732032 226 4089446400 134512640 135751879 4292697376 18446744073709551615 135378772 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 667 227 147 303 0 338 0 [startup+0.0438399 s] /proc/loadavg: 1.93 1.99 1.99 4/196 13915 /proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=3112 CPUtime=0.03 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 449 0 0 0 3 0 0 0 25 0 1 0 133811887 3186688 343 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 778 343 143 303 0 473 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3112 [startup+0.10084 s] /proc/loadavg: 1.93 1.99 1.99 4/196 13915 /proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=3640 CPUtime=0.09 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 589 0 0 0 9 0 0 0 25 0 1 0 133811887 3727360 483 4089446400 134512640 135751879 4292697376 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 910 483 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300793 s] /proc/loadavg: 1.93 1.99 1.99 4/196 13915 /proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=5224 CPUtime=0.29 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 979 0 0 0 29 0 0 0 25 0 1 0 133811887 5349376 873 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 1306 873 143 303 0 1001 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5224 [startup+0.700723 s] /proc/loadavg: 1.93 1.99 1.99 4/196 13915 /proc/meminfo: memFree=31022364/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=7664 CPUtime=0.69 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 1581 0 0 0 68 1 0 0 25 0 1 0 133811887 7847936 1475 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 1916 1475 143 303 0 1611 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7664 [startup+1.5006 s] /proc/loadavg: 1.93 1.99 1.99 3/197 13916 /proc/meminfo: memFree=31015288/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=11492 CPUtime=1.49 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 2539 0 0 0 147 2 0 0 25 0 1 0 133811887 11767808 2433 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 2873 2433 143 303 0 2568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11492 [startup+3.1003 s] /proc/loadavg: 1.93 1.99 1.99 3/197 13916 /proc/meminfo: memFree=31006980/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=18488 CPUtime=3.09 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 4303 0 0 0 305 4 0 0 25 0 1 0 133811887 18931712 4197 4089446400 134512640 135751879 4292697376 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 4622 4197 143 303 0 4317 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18488 [startup+6.30073 s] /proc/loadavg: 1.93 1.99 1.99 3/197 13916 /proc/meminfo: memFree=30992492/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=32112 CPUtime=6.29 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 7690 0 0 0 620 9 0 0 25 0 1 0 133811887 32882688 7584 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 8028 7584 143 303 0 7723 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32112 [startup+12.7006 s] /proc/loadavg: 1.94 1.99 1.99 3/197 13916 /proc/meminfo: memFree=30968616/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=54696 CPUtime=12.69 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 13349 0 0 0 1254 15 0 0 25 0 1 0 133811887 56008704 13243 4089446400 134512640 135751879 4292697376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 13674 13243 143 303 0 13369 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54696 [startup+25.5003 s] /proc/loadavg: 1.95 1.99 1.99 3/197 13916 /proc/meminfo: memFree=30927112/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=94628 CPUtime=25.49 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 23332 0 0 0 2519 30 0 0 25 0 1 0 133811887 96899072 23226 4089446400 134512640 135751879 4292697376 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 23657 23226 143 303 0 23352 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 94628 [startup+51.1008 s] /proc/loadavg: 1.97 1.99 1.99 3/197 13918 /proc/meminfo: memFree=30847968/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=174972 CPUtime=51.09 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 43380 0 0 0 5051 58 0 0 25 0 1 0 133811887 179171328 43274 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 43743 43274 143 303 0 43438 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 174972 [startup+102.306 s] /proc/loadavg: 1.98 1.99 1.99 3/197 13919 /proc/meminfo: memFree=30676056/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=344368 CPUtime=102.3 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 85723 0 0 0 10120 110 0 0 25 0 1 0 133811887 352632832 85617 4089446400 134512640 135751879 4292697376 18446744073709551615 134618395 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13915/statm: 86092 85617 143 303 0 85787 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 344368 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 13950 /proc/meminfo: memFree=30844152/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=354020 CPUtime=162.3 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 88199 0 0 0 16008 222 0 0 25 0 1 0 133811887 362516480 88060 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 88505 88060 146 303 0 88200 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 354020 [startup+222.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 13952 /proc/meminfo: memFree=30509572/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=510204 CPUtime=222.29 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 127226 0 0 0 21893 336 0 0 25 0 1 0 133811887 522448896 127087 4089446400 134512640 135751879 4292697376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 127551 127087 146 303 0 127246 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 510204 [startup+282.301 s] /proc/loadavg: 2.07 2.00 2.00 3/179 13954 /proc/meminfo: memFree=30319692/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=537040 CPUtime=282.29 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 133961 0 0 0 27768 461 0 0 25 0 1 0 133811887 549928960 133822 4089446400 134512640 135751879 4292697376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 134260 133822 146 303 0 133955 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 537040 [startup+342.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 13955 /proc/meminfo: memFree=30066060/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=627452 CPUtime=342.3 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 156533 0 0 0 33664 566 0 0 25 0 1 0 133811887 642510848 156394 4089446400 134512640 135751879 4292697376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 156863 156394 146 303 0 156558 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 627452 [startup+402.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13956 /proc/meminfo: memFree=29823844/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=717816 CPUtime=402.3 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 179127 0 0 0 39545 685 0 0 25 0 1 0 133811887 735043584 178988 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 179454 178988 146 303 0 179149 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 717816 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13958 /proc/meminfo: memFree=29607152/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=787136 CPUtime=462.3 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 196495 0 0 0 45445 785 0 0 25 0 1 0 133811887 806027264 196356 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 196784 196356 146 303 0 196479 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 787136 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13960 /proc/meminfo: memFree=29383560/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=869420 CPUtime=522.3 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 217044 0 0 0 51344 886 0 0 25 0 1 0 133811887 890286080 216905 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 217355 216905 146 303 0 217050 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 869420 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13962 /proc/meminfo: memFree=29094972/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1011944 CPUtime=582.3 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 252671 0 0 0 57236 994 0 0 25 0 1 0 133811887 1036230656 252532 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 252986 252532 146 303 0 252681 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1011944 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13990 /proc/meminfo: memFree=30151840/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1150492 CPUtime=642.31 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 287268 0 0 0 63130 1101 0 0 25 0 1 0 133811887 1178103808 287129 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 287623 287129 146 303 0 287318 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1150492 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13991 /proc/meminfo: memFree=29909796/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1214492 CPUtime=702.31 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 303274 0 0 0 69048 1183 0 0 25 0 1 0 133811887 1243639808 303135 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 303623 303135 146 303 0 303318 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1214492 [startup+762.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14020 /proc/meminfo: memFree=30066740/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1214492 CPUtime=762.31 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 303319 0 0 0 74959 1272 0 0 25 0 1 0 133811887 1243639808 303180 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 303623 303180 146 303 0 303318 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 1214492 [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14022 /proc/meminfo: memFree=29862740/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1304824 CPUtime=822.3 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 325852 0 0 0 80871 1359 0 0 25 0 1 0 133811887 1336139776 325713 4089446400 134512640 135751879 4292697376 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 326206 325713 146 303 0 325901 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 1304824 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14024 /proc/meminfo: memFree=29648688/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1441604 CPUtime=882.31 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 360009 0 0 0 86785 1446 0 0 25 0 1 0 133811887 1476202496 359870 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 360401 359870 146 303 0 360096 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1441604 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 4/179 14025 /proc/meminfo: memFree=29455084/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1574172 CPUtime=942.31 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 393148 0 0 0 92705 1526 0 0 25 0 1 0 133811887 1611952128 393009 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 393543 393009 146 303 0 393238 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1574172 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14027 /proc/meminfo: memFree=29256272/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1701108 CPUtime=1002.31 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 424877 0 0 0 98629 1602 0 0 25 0 1 0 133811887 1741934592 424738 4089446400 134512640 135751879 4292697376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 425277 424738 146 303 0 424972 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1701108 Solver just ended. Dumping a history of the last processes samples [startup+1023.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14027 /proc/meminfo: memFree=29150236/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1794960 CPUtime=1023.91 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 448336 0 0 0 100767 1624 0 0 25 0 1 0 133811887 1838039040 448197 4089446400 134512640 135751879 4292697376 18446744073709551615 134712506 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 448740 448198 146 303 0 448435 0 Current children cumulated CPU time (s) 1023.91 Current children cumulated vsize (KiB) 1794960 [startup+1030.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14028 /proc/meminfo: memFree=29127172/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1804596 CPUtime=1030.31 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 450751 0 0 0 101406 1625 0 0 25 0 1 0 133811887 1847906304 450612 4089446400 134512640 135751879 4292697376 18446744073709551615 134618750 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 451149 450612 146 303 0 450844 0 Current children cumulated CPU time (s) 1030.31 Current children cumulated vsize (KiB) 1804596 [startup+1036.7 s] /proc/loadavg: 2.00 2.00 2.00 4/179 14028 /proc/meminfo: memFree=29119220/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1806632 CPUtime=1036.71 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 451235 0 0 0 102046 1625 0 0 25 0 1 0 133811887 1849991168 451096 4089446400 134512640 135751879 4292697376 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 451658 451096 146 303 0 451353 0 Current children cumulated CPU time (s) 1036.71 Current children cumulated vsize (KiB) 1806632 [startup+1038.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14028 /proc/meminfo: memFree=29116244/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1806460 CPUtime=1038.31 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 451293 0 0 0 102205 1626 0 0 25 0 1 0 133811887 1849815040 451067 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 451615 451067 146 303 0 451310 0 Current children cumulated CPU time (s) 1038.31 Current children cumulated vsize (KiB) 1806460 [startup+1039.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14028 /proc/meminfo: memFree=29116244/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1806460 CPUtime=1039.11 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 451302 0 0 0 102283 1628 0 0 25 0 1 0 133811887 1849815040 451076 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 451615 451076 146 303 0 451310 0 Current children cumulated CPU time (s) 1039.11 Current children cumulated vsize (KiB) 1806460 [startup+1039.51 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14028 /proc/meminfo: memFree=29115128/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=1806460 CPUtime=1039.52 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202496 451304 0 0 0 102324 1628 0 0 25 0 1 0 133811887 1849815040 451078 4089446400 134512640 135751879 4292697376 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13915/statm: 451615 451078 146 303 0 451310 0 Current children cumulated CPU time (s) 1039.52 Current children cumulated vsize (KiB) 1806460 [startup+1039.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14028 /proc/meminfo: memFree=29115128/32951124 swapFree=67111528/67111528 [pid=13915] ppid=13913 vsize=0 CPUtime=1039.71 /proc/13915/stat : 13915 (wbo1.4a) R 13913 13915 12243 0 -1 4202500 451304 0 0 0 102341 1630 0 0 25 0 1 0 133811887 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/13915/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1039.71 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1039.74 CPU time (s): 1039.76 CPU user time (s): 1023.41 CPU system time (s): 16.3495 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1806632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1023.41 system time used= 16.3495 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451304 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 10336 runsolver used 1.42778 second user time and 3.33549 second system time The end
Begin job on node108 at 2010-06-30 21:12:27 IDJOB=2689541 IDBENCH=79258 IDSOLVER=1200 FILE ID=node108/2689541-1277925146 PBS_JOBID= 11197295 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689541-1277925146/watcher-2689541-1277925146 -o /tmp/evaluation-result-2689541-1277925146/solver-2689541-1277925146 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689541-1277925146.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0d431beb578ab67ce1970cb297cf650 RANDOM SEED=1344646365 node108.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.855 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.71 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.855 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 : 5320.05 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.855 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 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.79 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.855 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.74 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.855 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: 32951124 kB MemFree: 31022892 kB Buffers: 206904 kB Cached: 1169832 kB SwapCached: 0 kB Active: 928456 kB Inactive: 857484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31022892 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2824 kB Writeback: 0 kB AnonPages: 409400 kB Mapped: 20292 kB Slab: 79392 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1655136 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 node108 at 2010-06-30 21:29:46