Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.16 | 1800.17 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo |
MD5SUM | 11192ef633da7cef97eefdeccab8f20f |
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 | 27 |
Best CPU time to get the best result obtained on this benchmark | 0.206968 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 64 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1327 |
Number of bits of the biggest sum of numbers | 11 |
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-2689902-1277898051.wbo. 0.00/0.00 c Instance file HOME/instance-2689902-1277898051.wbo 0.00/0.00 c File size is 10287 bytes. 0.00/0.00 c Highest Coefficient sum: 1327 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 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 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 27 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 30 | 0.004 % | 0.00/0.01 c | 479 | 169 101 1205 | 6655 479 30 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 31 | 0.004 % | 0.03/0.03 c | 1324 | 169 101 1205 | 8052 1324 30 | 0.004 % | 0.03/0.05 c | 2085 | 169 101 1205 | 8857 2085 31 | 0.004 % | 0.03/0.09 c | 3224 | 169 101 1205 | 9743 3224 32 | 0.004 % | 0.09/0.15 c | 4933 | 169 101 1205 | 10717 4933 34 | 0.004 % | 0.19/0.26 c | 7495 | 169 101 1205 | 11789 7495 34 | 0.004 % | 0.39/0.45 c | 11341 | 169 101 1205 | 12968 11341 35 | 0.004 % | 0.69/0.77 c | 17107 | 169 101 1205 | 14265 10583 41 | 0.004 % | 1.29/1.36 c | 25756 | 169 101 1205 | 15692 12049 42 | 0.004 % | 2.19/2.23 c | 38731 | 169 101 1205 | 17261 9232 43 | 0.004 % | 3.39/3.50 c | 58192 | 108 101 1205 | 18987 2643 38 | 42.015 % | 3.49/3.50 c =============================================================================== 3.69/3.71 c core #1 3.69/3.71 c ============================[ Search Statistics ]============================== 3.69/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.71 c =============================================================================== 3.69/3.71 c | 0 | 230 161 1915 | 5000 0 nan | 0.000 % | 3.69/3.71 c | 100 | 230 161 1915 | 5500 100 35 | 0.002 % | 3.69/3.72 c | 252 | 230 161 1915 | 6050 252 35 | 0.002 % | 3.69/3.72 c | 477 | 230 161 1915 | 6655 477 31 | 0.002 % | 3.69/3.73 c | 816 | 230 161 1915 | 7320 816 30 | 0.002 % | 3.69/3.75 c | 1322 | 230 161 1915 | 8052 1322 28 | 0.002 % | 3.69/3.77 c | 2082 | 230 161 1915 | 8857 2082 30 | 0.002 % | 3.80/3.81 c | 3226 | 230 161 1915 | 9743 3226 32 | 0.002 % | 3.80/3.89 c | 4939 | 230 161 1915 | 10717 4939 33 | 0.002 % | 3.99/4.01 c | 7503 | 230 161 1915 | 11789 7503 35 | 0.002 % | 4.19/4.23 c | 11348 | 230 161 1915 | 12968 11348 36 | 0.002 % | 4.49/4.59 c | 17115 | 230 161 1915 | 14265 10591 38 | 0.002 % | 5.09/5.11 c | 25764 | 230 161 1915 | 15692 12049 41 | 0.002 % | 5.99/6.03 c | 38739 | 230 161 1915 | 17261 9231 42 | 0.002 % | 7.29/7.30 c | 58202 | 230 161 1915 | 18987 11318 47 | 0.002 % | 7.79/7.80 c =============================================================================== 7.99/8.03 c core #2 7.99/8.03 c ============================[ Search Statistics ]============================== 7.99/8.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.03 c =============================================================================== 7.99/8.03 c | 0 | 291 221 2625 | 5000 0 nan | 0.000 % | 7.99/8.04 c | 105 | 291 221 2625 | 5500 105 27 | 0.001 % | 7.99/8.04 c | 255 | 291 221 2625 | 6050 255 28 | 0.001 % | 7.99/8.05 c | 481 | 291 221 2625 | 6655 481 31 | 0.001 % | 7.99/8.06 c | 818 | 291 221 2625 | 7320 818 33 | 0.001 % | 7.99/8.07 c | 1324 | 291 221 2625 | 8052 1324 32 | 0.001 % | 8.09/8.10 c | 2084 | 291 221 2625 | 8857 2084 32 | 0.001 % | 8.09/8.14 c | 3224 | 291 221 2625 | 9743 3224 33 | 0.001 % | 8.19/8.22 c | 4934 | 291 221 2625 | 10717 4934 34 | 0.001 % | 8.29/8.35 c | 7497 | 291 221 2625 | 11789 7497 36 | 0.001 % | 8.59/8.61 c | 11343 | 291 221 2625 | 12968 11343 37 | 0.001 % | 8.89/8.99 c | 17109 | 291 221 2625 | 14265 10578 41 | 0.001 % | 9.49/9.55 c | 25760 | 291 221 2625 | 15692 12043 40 | 0.001 % | 10.49/10.50 c | 38734 | 291 221 2625 | 17261 9208 41 | 0.001 % | 11.49/11.51 c =============================================================================== 11.69/11.70 c core #3 11.69/11.70 c ============================[ Search Statistics ]============================== 11.69/11.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.70 c =============================================================================== 11.69/11.70 c | 0 | 349 280 3315 | 5000 0 nan | 0.000 % | 11.69/11.71 c | 100 | 349 280 3315 | 5500 100 31 | 0.001 % | 11.69/11.71 c | 251 | 349 280 3315 | 6050 251 35 | 0.001 % | 11.69/11.72 c | 479 | 349 280 3315 | 6655 479 34 | 0.001 % | 11.69/11.73 c | 817 | 349 280 3315 | 7320 817 33 | 0.001 % | 11.69/11.75 c | 1324 | 349 280 3315 | 8052 1324 32 | 0.001 % | 11.69/11.77 c | 2083 | 349 280 3315 | 8857 2083 32 | 0.001 % | 11.79/11.81 c | 3223 | 349 280 3315 | 9743 3223 34 | 0.001 % | 11.79/11.89 c | 4931 | 349 280 3315 | 10717 4931 34 | 0.001 % | 11.99/12.02 c | 7493 | 349 280 3315 | 11789 7493 35 | 0.001 % | 12.19/12.24 c | 11339 | 349 280 3315 | 12968 11339 37 | 0.001 % | 12.59/12.64 c | 17105 | 349 280 3315 | 14265 10567 40 | 0.001 % | 13.19/13.26 c | 25755 | 349 280 3315 | 15692 12031 38 | 0.001 % | 14.09/14.13 c | 38729 | 349 280 3315 | 17261 9208 43 | 0.001 % | 15.39/15.46 c | 58190 | 349 280 3315 | 18987 11300 45 | 0.031 % | 15.98/16.04 c =============================================================================== 16.19/16.28 c core #4 16.19/16.28 c ============================[ Search Statistics ]============================== 16.19/16.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.19/16.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.19/16.28 c =============================================================================== 16.19/16.28 c | 0 | 410 338 3999 | 5000 0 nan | 0.000 % | 16.19/16.29 c | 100 | 410 338 3999 | 5500 100 29 | 0.001 % | 16.29/16.30 c | 254 | 410 338 3999 | 6050 254 34 | 0.001 % | 16.29/16.30 c | 480 | 410 338 3999 | 6655 480 33 | 0.001 % | 16.29/16.31 c | 818 | 410 338 3999 | 7320 818 33 | 0.001 % | 16.29/16.33 c | 1325 | 410 338 3999 | 8052 1325 33 | 0.001 % | 16.29/16.35 c | 2086 | 410 338 3999 | 8857 2086 31 | 0.001 % | 16.29/16.40 c | 3225 | 410 338 3999 | 9743 3225 32 | 0.001 % | 16.40/16.48 c | 4933 | 410 338 3999 | 10717 4933 32 | 0.001 % | 16.59/16.61 c | 7495 | 410 338 3999 | 11789 7495 34 | 0.001 % | 16.79/16.84 c | 11340 | 410 338 3999 | 12968 11340 36 | 0.001 % | 17.19/17.22 c | 17106 | 410 338 3999 | 14265 10577 39 | 0.001 % | 17.68/17.77 c | 25757 | 410 338 3999 | 15692 12049 42 | 0.001 % | 18.69/18.74 c | 38731 | 410 338 3999 | 17261 9238 44 | 0.001 % | 20.29/20.30 c | 58193 | 410 338 3999 | 18987 11329 43 | 0.001 % | 21.59/21.68 c =============================================================================== 21.89/21.98 c core #5 21.89/21.98 c ============================[ Search Statistics ]============================== 21.89/21.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.89/21.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.89/21.98 c =============================================================================== 21.89/21.98 c | 0 | 475 396 4691 | 5000 0 nan | 0.000 % | 21.89/21.99 c | 100 | 475 396 4691 | 5500 100 31 | 0.000 % | 21.89/22.00 c | 250 | 475 396 4691 | 6050 250 28 | 0.000 % | 21.99/22.00 c | 476 | 475 396 4691 | 6655 476 29 | 0.000 % | 21.99/22.01 c | 813 | 475 396 4691 | 7320 813 32 | 0.000 % | 21.99/22.03 c | 1319 | 475 396 4691 | 8052 1319 32 | 0.000 % | 21.99/22.05 c | 2078 | 475 396 4691 | 8857 2078 31 | 0.000 % | 22.09/22.10 c | 3217 | 475 396 4691 | 9743 3217 32 | 0.000 % | 22.09/22.17 c | 4925 | 475 396 4691 | 10717 4925 33 | 0.000 % | 22.28/22.30 c | 7490 | 475 396 4691 | 11789 7490 34 | 0.000 % | 22.49/22.53 c | 11336 | 475 396 4691 | 12968 11336 36 | 0.000 % | 22.88/22.93 c | 17102 | 475 396 4691 | 14265 10572 38 | 0.000 % | 23.49/23.52 c | 25751 | 475 396 4691 | 15692 12042 41 | 0.000 % | 24.49/24.50 c | 38726 | 475 396 4691 | 17261 9228 42 | 0.000 % | 25.88/25.92 c | 58190 | 475 396 4691 | 18987 11329 43 | 0.020 % | 26.29/26.31 c =============================================================================== 26.48/26.55 c core #6 26.48/26.55 c ============================[ Search Statistics ]============================== 26.48/26.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.48/26.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.48/26.56 c =============================================================================== 26.48/26.56 c | 0 | 531 453 5355 | 5000 0 nan | 0.000 % | 26.48/26.57 c | 101 | 531 453 5355 | 5500 101 31 | 0.000 % | 26.48/26.57 c | 252 | 531 453 5355 | 6050 252 29 | 0.000 % | 26.48/26.58 c | 478 | 531 453 5355 | 6655 478 28 | 0.000 % | 26.48/26.59 c | 815 | 531 453 5355 | 7320 815 26 | 0.000 % | 26.58/26.60 c | 1321 | 531 453 5355 | 8052 1321 27 | 0.000 % | 26.58/26.63 c | 2081 | 531 453 5355 | 8857 2081 29 | 0.000 % | 26.58/26.67 c | 3221 | 531 453 5355 | 9743 3221 30 | 0.000 % | 26.69/26.74 c | 4930 | 531 453 5355 | 10717 4930 31 | 0.000 % | 26.79/26.86 c | 7496 | 531 453 5355 | 11789 7496 31 | 0.000 % | 26.99/27.08 c | 11340 | 531 453 5355 | 12968 11340 32 | 0.000 % | 27.39/27.41 c | 17107 | 531 453 5355 | 14265 10577 36 | 0.000 % | 27.89/27.98 c | 25756 | 531 453 5355 | 15692 12046 39 | 0.000 % | 28.88/28.93 c | 38731 | 531 453 5355 | 17261 9245 41 | 0.000 % | 30.19/30.26 c | 58192 | 531 453 5355 | 18987 11333 43 | 0.000 % | 31.39/31.41 c =============================================================================== 31.59/31.68 c core #7 31.59/31.68 c ============================[ Search Statistics ]============================== 31.59/31.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.59/31.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.59/31.68 c =============================================================================== 31.59/31.68 c | 0 | 601 508 6022 | 5000 0 nan | 0.000 % | 31.59/31.69 c | 100 | 601 508 6022 | 5500 100 33 | 0.000 % | 31.59/31.69 c | 254 | 601 508 6022 | 6050 254 38 | 0.000 % | 31.69/31.70 c | 479 | 601 508 6022 | 6655 479 37 | 0.000 % | 31.69/31.71 c | 818 | 601 508 6022 | 7320 818 36 | 0.000 % | 31.69/31.73 c | 1326 | 601 508 6022 | 8052 1326 33 | 0.000 % | 31.69/31.75 c | 2086 | 601 508 6022 | 8857 2086 33 | 0.000 % | 31.69/31.80 c | 3225 | 601 508 6022 | 9743 3225 31 | 0.000 % | 31.79/31.88 c | 4937 | 601 508 6022 | 10717 4937 32 | 0.000 % | 31.98/32.01 c | 7500 | 601 508 6022 | 11789 7500 33 | 0.000 % | 32.19/32.25 c | 11344 | 601 508 6022 | 12968 11344 36 | 0.000 % | 32.59/32.61 c | 17110 | 601 508 6022 | 14265 10574 39 | 0.000 % | 33.09/33.15 c | 25759 | 601 508 6022 | 15692 12034 40 | 0.000 % | 34.00/34.08 c | 38733 | 601 508 6022 | 17261 9198 40 | 0.000 % | 35.38/35.45 c | 58194 | 601 508 6022 | 18987 11323 40 | 0.000 % | 36.88/36.95 c =============================================================================== 37.19/37.26 c core #8 37.19/37.26 c ============================[ Search Statistics ]============================== 37.19/37.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.19/37.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.19/37.26 c =============================================================================== 37.19/37.26 c | 0 | 681 562 6696 | 5000 0 nan | 0.000 % | 37.19/37.27 c | 102 | 681 562 6696 | 5500 102 35 | 0.000 % | 37.19/37.28 c | 252 | 681 562 6696 | 6050 252 35 | 0.000 % | 37.19/37.28 c | 481 | 681 562 6696 | 6655 481 32 | 0.000 % | 37.19/37.30 c | 818 | 681 562 6696 | 7320 818 31 | 0.000 % | 37.29/37.31 c | 1325 | 681 562 6696 | 8052 1325 29 | 0.000 % | 37.29/37.34 c | 2085 | 681 562 6696 | 8857 2085 32 | 0.000 % | 37.29/37.38 c | 3225 | 681 562 6696 | 9743 3225 31 | 0.000 % | 37.39/37.47 c | 4933 | 681 562 6696 | 10717 4933 33 | 0.000 % | 37.59/37.61 c | 7495 | 681 562 6696 | 11789 7495 34 | 0.000 % | 37.79/37.83 c | 11339 | 681 562 6696 | 12968 11339 37 | 0.000 % | 38.09/38.19 c | 17105 | 681 562 6696 | 14265 10581 40 | 0.000 % | 38.69/38.76 c | 25755 | 681 562 6696 | 15692 12051 40 | 0.000 % | 39.69/39.70 c | 38729 | 681 562 6696 | 17261 9243 42 | 0.000 % | 40.99/41.02 c | 58192 | 681 562 6696 | 18987 11320 47 | 0.000 % | 41.39/41.40 c =============================================================================== 41.59/41.64 c core #9 41.59/41.64 c ============================[ Search Statistics ]============================== 41.59/41.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.59/41.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.59/41.64 c =============================================================================== 41.59/41.64 c | 0 | 751 615 7345 | 5000 0 nan | 0.000 % | 41.59/41.66 c | 101 | 751 615 7345 | 5500 101 41 | 0.000 % | 41.59/41.66 c | 251 | 751 615 7345 | 6050 251 31 | 0.000 % | 41.59/41.67 c | 476 | 751 615 7345 | 6655 476 30 | 0.000 % | 41.59/41.68 c | 813 | 751 615 7345 | 7320 813 30 | 0.000 % | 41.59/41.70 c | 1321 | 751 615 7345 | 8052 1321 32 | 0.000 % | 41.69/41.73 c | 2081 | 751 615 7345 | 8857 2081 34 | 0.000 % | 41.69/41.77 c | 3222 | 751 615 7345 | 9743 3222 32 | 0.000 % | 41.79/41.85 c | 4930 | 751 615 7345 | 10717 4930 32 | 0.000 % | 41.99/42.00 c | 7492 | 751 615 7345 | 11789 7492 34 | 0.000 % | 42.19/42.24 c | 11337 | 751 615 7345 | 12968 11337 35 | 0.000 % | 42.58/42.63 c | 17105 | 751 615 7345 | 14265 10565 38 | 0.000 % | 43.19/43.27 c | 25754 | 751 615 7345 | 15692 12041 40 | 0.000 % | 44.19/44.21 c | 38730 | 751 615 7345 | 17261 9223 41 | 0.000 % | 45.49/45.59 c | 58193 | 751 615 7345 | 18987 11324 42 | 0.000 % | 47.39/47.43 c =============================================================================== 47.69/47.76 c core #10 47.69/47.76 c ============================[ Search Statistics ]============================== 47.69/47.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.69/47.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.69/47.76 c =============================================================================== 47.69/47.76 c | 0 | 833 668 8018 | 5000 0 nan | 0.000 % | 47.69/47.77 c | 100 | 833 668 8018 | 5500 100 50 | 0.000 % | 47.69/47.78 c | 250 | 833 668 8018 | 6050 250 40 | 0.000 % | 47.69/47.78 c | 476 | 833 668 8018 | 6655 476 34 | 0.000 % | 47.69/47.79 c | 813 | 833 668 8018 | 7320 813 32 | 0.000 % | 47.78/47.81 c | 1319 | 833 668 8018 | 8052 1319 32 | 0.000 % | 47.78/47.84 c | 2078 | 833 668 8018 | 8857 2078 31 | 0.000 % | 47.78/47.88 c | 3217 | 833 668 8018 | 9743 3217 31 | 0.000 % | 47.88/47.96 c | 4925 | 833 668 8018 | 10717 4925 32 | 0.000 % | 47.99/48.10 c | 7487 | 833 668 8018 | 11789 7487 34 | 0.000 % | 48.29/48.33 c | 11331 | 833 668 8018 | 12968 11331 35 | 0.000 % | 48.69/48.72 c | 17099 | 833 668 8018 | 14265 10569 36 | 0.000 % | 49.28/49.34 c | 25749 | 833 668 8018 | 15692 12035 37 | 0.000 % | 50.18/50.25 c | 38723 | 833 668 8018 | 17261 9199 39 | 0.000 % | 51.49/51.56 c | 58185 | 833 668 8018 | 18987 11290 41 | 0.006 % | 52.29/52.39 c =============================================================================== 52.58/52.67 c core #11 52.58/52.67 c ============================[ Search Statistics ]============================== 52.58/52.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.58/52.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.58/52.67 c =============================================================================== 52.58/52.67 c | 0 | 884 720 8615 | 5000 0 nan | 0.000 % | 52.58/52.68 c | 100 | 884 720 8615 | 5500 100 33 | 0.000 % | 52.58/52.69 c | 252 | 884 720 8615 | 6050 252 30 | 0.000 % | 52.58/52.69 c | 479 | 884 720 8615 | 6655 479 29 | 0.000 % | 52.69/52.71 c | 816 | 884 720 8615 | 7320 816 29 | 0.000 % | 52.69/52.72 c | 1322 | 884 720 8615 | 8052 1322 29 | 0.000 % | 52.69/52.76 c | 2081 | 884 720 8615 | 8857 2081 29 | 0.000 % | 52.79/52.80 c | 3220 | 884 720 8615 | 9743 3220 30 | 0.000 % | 52.79/52.89 c | 4928 | 884 720 8615 | 10717 4928 31 | 0.000 % | 52.98/53.03 c | 7491 | 884 720 8615 | 11789 7491 33 | 0.000 % | 53.18/53.27 c | 11335 | 884 720 8615 | 12968 11335 35 | 0.000 % | 53.58/53.65 c | 17104 | 884 720 8615 | 14265 10558 41 | 0.000 % | 54.18/54.28 c | 25753 | 884 720 8615 | 15692 12039 40 | 0.000 % | 55.28/55.37 c | 38728 | 884 720 8615 | 17261 9221 42 | 0.000 % | 56.78/56.83 c | 58190 | 884 720 8615 | 18987 11323 41 | 0.000 % | 58.98/59.01 c | 87387 | 843 720 8615 | 20886 2116 41 | 4.638 % | 59.08/59.18 c =============================================================================== 59.49/59.54 c core #12 59.49/59.54 c ============================[ Search Statistics ]============================== 59.49/59.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.49/59.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.49/59.54 c =============================================================================== 59.49/59.54 c | 0 | 967 772 9277 | 5000 0 nan | 0.000 % | 59.49/59.56 c | 104 | 967 772 9277 | 5500 104 44 | 0.000 % | 59.49/59.56 c | 256 | 967 772 9277 | 6050 256 41 | 0.000 % | 59.49/59.57 c | 481 | 967 772 9277 | 6655 481 35 | 0.000 % | 59.49/59.58 c | 821 | 967 772 9277 | 7320 821 35 | 0.000 % | 59.58/59.60 c | 1332 | 967 772 9277 | 8052 1332 36 | 0.000 % | 59.58/59.63 c | 2091 | 967 772 9277 | 8857 2091 35 | 0.000 % | 59.58/59.68 c | 3231 | 967 772 9277 | 9743 3231 34 | 0.000 % | 59.68/59.76 c | 4941 | 967 772 9277 | 10717 4941 33 | 0.000 % | 59.89/59.92 c | 7505 | 967 772 9277 | 11789 7505 33 | 0.000 % | 60.08/60.15 c | 11349 | 967 772 9277 | 12968 11349 34 | 0.000 % | 60.49/60.52 c | 17116 | 967 772 9277 | 14265 10582 35 | 0.000 % | 61.08/61.14 c | 25768 | 967 772 9277 | 15692 12049 36 | 0.000 % | 61.98/62.00 c | 38743 | 967 772 9277 | 17261 9243 38 | 0.000 % | 63.19/63.26 c | 58205 | 928 772 9277 | 18987 4776 40 | 4.033 % | 63.59/63.67 c =============================================================================== 63.88/63.92 c core #13 63.88/63.92 c ============================[ Search Statistics ]============================== 63.88/63.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.88/63.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.88/63.92 c =============================================================================== 63.88/63.92 c | 0 | 1029 821 9873 | 5000 0 nan | 0.000 % | 63.88/63.93 c | 100 | 1029 821 9873 | 5500 100 47 | 0.000 % | 63.88/63.94 c | 251 | 1029 821 9873 | 6050 251 45 | 0.000 % | 63.88/63.95 c | 476 | 1029 821 9873 | 6655 476 36 | 0.000 % | 63.88/63.96 c | 813 | 1029 821 9873 | 7320 813 33 | 0.000 % | 63.88/63.98 c | 1319 | 1029 821 9873 | 8052 1319 31 | 0.000 % | 63.98/64.01 c | 2079 | 1029 821 9873 | 8857 2079 31 | 0.000 % | 63.98/64.06 c | 3218 | 1029 821 9873 | 9743 3218 30 | 0.000 % | 64.09/64.14 c | 4927 | 1029 821 9873 | 10717 4927 31 | 0.000 % | 64.18/64.28 c | 7489 | 1029 821 9873 | 11789 7489 31 | 0.000 % | 64.48/64.54 c | 11334 | 1029 821 9873 | 12968 11334 34 | 0.000 % | 64.89/64.93 c | 17100 | 1029 821 9873 | 14265 10581 37 | 0.000 % | 65.58/65.60 c | 25750 | 1029 821 9873 | 15692 12051 42 | 0.000 % | 66.59/66.61 c | 38725 | 1029 821 9873 | 17261 9230 39 | 0.000 % | 67.88/67.99 c | 58187 | 1029 821 9873 | 18987 11170 38 | 0.000 % | 70.09/70.18 c | 87379 | 1029 821 9873 | 20886 11727 45 | 0.000 % | 70.79/70.81 c =============================================================================== 71.09/71.15 c core #14 71.09/71.15 c ============================[ Search Statistics ]============================== 71.09/71.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 71.09/71.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 71.09/71.15 c =============================================================================== 71.09/71.15 c | 0 | 1150 870 10588 | 5000 0 nan | 0.000 % | 71.09/71.17 c | 100 | 1150 870 10588 | 5500 100 45 | 0.000 % | 71.09/71.18 c | 251 | 1150 870 10588 | 6050 251 42 | 0.000 % | 71.09/71.18 c | 478 | 1150 870 10588 | 6655 478 33 | 0.000 % | 71.09/71.20 c | 816 | 1150 870 10588 | 7320 816 31 | 0.000 % | 71.19/71.21 c | 1323 | 1150 870 10588 | 8052 1323 30 | 0.000 % | 71.19/71.24 c | 2085 | 1150 870 10588 | 8857 2085 30 | 0.000 % | 71.19/71.29 c | 3224 | 1150 870 10588 | 9743 3224 32 | 0.000 % | 71.29/71.37 c | 4932 | 1150 870 10588 | 10717 4932 34 | 0.000 % | 71.49/71.51 c | 7494 | 1150 870 10588 | 11789 7494 35 | 0.000 % | 71.68/71.76 c | 11339 | 1150 870 10588 | 12968 11339 36 | 0.000 % | 72.09/72.17 c | 17106 | 1150 870 10588 | 14265 10584 38 | 0.000 % | 72.69/72.76 c | 25755 | 1150 870 10588 | 15692 12040 38 | 0.000 % | 73.58/73.70 c | 38730 | 1150 870 10588 | 17261 9229 40 | 0.000 % | 75.09/75.10 c | 58191 | 1150 870 10588 | 18987 11322 40 | 0.000 % | 76.99/77.09 c | 87386 | 1125 870 10588 | 20886 5338 39 | 2.174 % | 77.18/77.30 c =============================================================================== 77.58/77.65 c core #15 77.58/77.65 c ============================[ Search Statistics ]============================== 77.58/77.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.58/77.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.58/77.65 c =============================================================================== 77.58/77.65 c | 0 | 1218 918 11185 | 5000 0 nan | 0.000 % | 77.58/77.67 c | 101 | 1218 918 11185 | 5500 101 41 | 0.000 % | 77.58/77.67 c | 251 | 1218 918 11185 | 6050 251 34 | 0.000 % | 77.58/77.68 c | 476 | 1218 918 11185 | 6655 476 37 | 0.000 % | 77.58/77.69 c | 816 | 1218 918 11185 | 7320 816 37 | 0.000 % | 77.68/77.72 c | 1322 | 1218 918 11185 | 8052 1322 36 | 0.000 % | 77.68/77.75 c | 2081 | 1218 918 11185 | 8857 2081 33 | 0.000 % | 77.79/77.80 c | 3221 | 1218 918 11185 | 9743 3221 32 | 0.000 % | 77.79/77.89 c | 4929 | 1218 918 11185 | 10717 4929 33 | 0.000 % | 77.99/78.03 c | 7491 | 1218 918 11185 | 11789 7491 33 | 0.000 % | 78.28/78.31 c | 11336 | 1218 918 11185 | 12968 11336 35 | 0.000 % | 78.68/78.74 c | 17102 | 1218 918 11185 | 14265 10564 37 | 0.000 % | 79.29/79.36 c | 25751 | 1218 918 11185 | 15692 12026 36 | 0.000 % | 80.18/80.26 c | 38726 | 1218 918 11185 | 17261 9195 39 | 0.000 % | 81.59/81.66 c | 58189 | 1218 918 11185 | 18987 11297 38 | 0.000 % | 83.79/83.86 c | 87383 | 1218 918 11185 | 20886 11768 42 | 0.000 % | 84.78/84.83 c =============================================================================== 85.18/85.22 c core #16 85.18/85.22 c ============================[ Search Statistics ]============================== 85.18/85.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.18/85.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.18/85.22 c =============================================================================== 85.18/85.22 c | 0 | 1320 966 11850 | 5000 0 nan | 0.000 % | 85.18/85.24 c | 100 | 1320 966 11850 | 5500 100 50 | 0.000 % | 85.18/85.25 c | 250 | 1320 966 11850 | 6050 250 41 | 0.000 % | 85.18/85.25 c | 476 | 1320 966 11850 | 6655 476 35 | 0.000 % | 85.18/85.27 c | 813 | 1320 966 11850 | 7320 813 32 | 0.000 % | 85.18/85.29 c | 1319 | 1320 966 11850 | 8052 1319 32 | 0.000 % | 85.28/85.32 c | 2078 | 1320 966 11850 | 8857 2078 30 | 0.000 % | 85.28/85.37 c | 3220 | 1320 966 11850 | 9743 3220 30 | 0.000 % | 85.38/85.46 c | 4928 | 1320 966 11850 | 10717 4928 31 | 0.000 % | 85.48/85.59 c | 7490 | 1320 966 11850 | 11789 7490 31 | 0.000 % | 85.78/85.83 c | 11335 | 1320 966 11850 | 12968 11335 31 | 0.000 % | 86.19/86.20 c | 17101 | 1320 966 11850 | 14265 10577 34 | 0.000 % | 86.68/86.79 c | 25752 | 1320 966 11850 | 15692 12047 36 | 0.000 % | 87.58/87.69 c | 38727 | 1320 966 11850 | 17261 9212 37 | 0.000 % | 88.99/89.03 c | 58188 | 1320 966 11850 | 18987 11304 37 | 0.000 % | 92.19/92.24 c | 87386 | 1320 966 11850 | 20886 11716 67 | 0.000 % | 96.19/96.27 c | 131175 | 1320 966 11850 | 22974 13330 42 | 0.000 % | 109.28/109.37 c | 196862 | 1320 966 11850 | 25272 20092 82 | 0.000 % | 119.98/120.04 c | 295388 | 1320 966 11850 | 27799 11820 42 | 0.000 % | 145.38/145.41 c =============================================================================== 146.19/146.24 c core #17 146.19/146.24 c ============================[ Search Statistics ]============================== 146.19/146.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 146.19/146.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 146.19/146.24 c =============================================================================== 146.19/146.24 c | 0 | 1391 1014 12453 | 5000 0 nan | 0.000 % | 146.19/146.27 c | 100 | 1391 1014 12453 | 5500 100 51 | 0.000 % | 146.19/146.28 c | 251 | 1391 1014 12453 | 6050 251 37 | 0.000 % | 146.19/146.29 c | 476 | 1391 1014 12453 | 6655 476 31 | 0.000 % | 146.29/146.30 c | 813 | 1391 1014 12453 | 7320 813 30 | 0.000 % | 146.29/146.33 c | 1319 | 1391 1014 12453 | 8052 1319 30 | 0.000 % | 146.29/146.36 c | 2078 | 1391 1014 12453 | 8857 2078 30 | 0.000 % | 146.39/146.41 c | 3221 | 1391 1014 12453 | 9743 3221 32 | 0.000 % | 146.48/146.50 c | 4929 | 1391 1014 12453 | 10717 4929 31 | 0.000 % | 146.58/146.64 c | 7491 | 1391 1014 12453 | 11789 7491 32 | 0.000 % | 146.78/146.89 c | 11335 | 1391 1014 12453 | 12968 11335 34 | 0.000 % | 147.19/147.27 c | 17101 | 1391 1014 12453 | 14265 10570 36 | 0.000 % | 147.88/147.98 c | 25750 | 1391 1014 12453 | 15692 12044 41 | 0.000 % | 148.99/149.00 c | 38728 | 1391 1014 12453 | 17261 9226 39 | 0.000 % | 150.39/150.45 c | 58190 | 1391 1014 12453 | 18987 11324 37 | 0.000 % | 152.59/152.61 c | 87382 | 1391 1014 12453 | 20886 11871 38 | 0.005 % | 163.07/163.10 c | 131173 | 1391 1014 12453 | 22974 13020 85 | 0.002 % | 178.37/178.41 c | 196857 | 1376 1014 12453 | 25272 11959 87 | 1.081 % | 220.97/221.00 c | 295384 | 1354 1014 12453 | 27799 15444 105 | 2.661 % | 278.76/278.86 c | 443173 | 1354 1014 12453 | 30579 15776 62 | 2.660 % | 285.96/286.09 c =============================================================================== 286.96/287.06 c core #18 286.96/287.06 c ============================[ Search Statistics ]============================== 286.96/287.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 286.96/287.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 286.96/287.06 c =============================================================================== 286.96/287.06 c | 0 | 1509 1061 13141 | 5000 0 nan | 0.000 % | 286.96/287.10 c | 100 | 1509 1061 13141 | 5500 100 44 | 0.000 % | 287.07/287.11 c | 250 | 1509 1061 13141 | 6050 250 39 | 0.000 % | 287.07/287.12 c | 476 | 1509 1061 13141 | 6655 476 33 | 0.000 % | 287.07/287.14 c | 814 | 1509 1061 13141 | 7320 814 30 | 0.000 % | 287.07/287.18 c | 1320 | 1509 1061 13141 | 8052 1320 29 | 0.000 % | 287.16/287.21 c | 2079 | 1509 1061 13141 | 8857 2079 28 | 0.000 % | 287.16/287.26 c | 3220 | 1509 1061 13141 | 9743 3220 28 | 0.000 % | 287.26/287.35 c | 4928 | 1509 1061 13141 | 10717 4928 29 | 0.000 % | 287.46/287.50 c | 7491 | 1509 1061 13141 | 11789 7491 31 | 0.000 % | 287.76/287.80 c | 11335 | 1509 1061 13141 | 12968 11335 32 | 0.000 % | 288.17/288.21 c | 17101 | 1509 1061 13141 | 14265 10586 36 | 0.000 % | 288.76/288.82 c | 25753 | 1509 1061 13141 | 15692 12058 37 | 0.000 % | 289.76/289.82 c | 38729 | 1509 1061 13141 | 17261 9233 38 | 0.000 % | 291.16/291.26 c | 58192 | 1509 1061 13141 | 18987 11338 40 | 0.000 % | 293.46/293.57 c | 87388 | 1509 1061 13141 | 20886 11896 40 | 0.000 % | 298.16/298.27 c | 131177 | 1509 1061 13141 | 22974 13495 74 | 0.001 % | 309.26/309.33 c | 196866 | 1472 1061 13141 | 25272 12524 103 | 2.452 % | 348.26/348.37 c | 295395 | 1472 1061 13141 | 27799 18303 96 | 2.452 % | 410.76/410.87 c | 443186 | 1472 1061 13141 | 30579 13499 91 | 2.452 % | 508.07/508.11 c | 664869 | 1472 1061 13141 | 33637 23144 100 | 2.452 % | 677.16/677.22 c | 997395 | 1472 1061 13141 | 37001 27538 125 | 2.452 % | 934.37/934.45 c | 1496183 | 1472 1061 13141 | 40701 28608 115 | 2.452 % | 1407.67/1407.76 c | 2244365 | 1472 1061 13141 | 44771 22124 112 | 2.452 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689902-1277898051/watcher-2689902-1277898051 -o /tmp/evaluation-result-2689902-1277898051/solver-2689902-1277898051 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689902-1277898051.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 22720 /proc/meminfo: memFree=30972128/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=2568 CPUtime=0 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 286 0 0 0 0 0 0 0 25 0 1 0 163444665 2629632 201 4089446400 134512640 135751879 4293603616 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 642 201 143 303 0 337 0 [startup+0.0347259 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22720 /proc/meminfo: memFree=30972128/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=2832 CPUtime=0.03 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 356 0 0 0 3 0 0 0 25 0 1 0 163444665 2899968 271 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 708 271 143 303 0 403 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2832 [startup+0.100712 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22720 /proc/meminfo: memFree=30972128/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=3360 CPUtime=0.09 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 496 0 0 0 9 0 0 0 25 0 1 0 163444665 3440640 411 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 840 411 143 303 0 535 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3360 [startup+0.30067 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22720 /proc/meminfo: memFree=30972128/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=4700 CPUtime=0.29 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 828 0 0 0 29 0 0 0 25 0 1 0 163444665 4812800 743 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 1175 743 143 303 0 870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.700604 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22720 /proc/meminfo: memFree=30972128/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=6944 CPUtime=0.69 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 1377 0 0 0 68 1 0 0 25 0 1 0 163444665 7110656 1292 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 1736 1292 143 303 0 1431 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6944 [startup+1.50047 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22721 /proc/meminfo: memFree=30965920/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=10508 CPUtime=1.49 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 2261 0 0 0 147 2 0 0 25 0 1 0 163444665 10760192 2176 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 2627 2176 143 303 0 2322 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10508 [startup+3.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22721 /proc/meminfo: memFree=30961232/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=17900 CPUtime=3.09 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 4114 0 0 0 306 3 0 0 25 0 1 0 163444665 18329600 4029 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 4475 4029 143 303 0 4170 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17900 [startup+6.30067 s] /proc/loadavg: 2.00 2.00 2.00 4/179 22721 /proc/meminfo: memFree=30951684/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=25568 CPUtime=6.29 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 6047 0 0 0 620 9 0 0 25 0 1 0 163444665 26181632 5962 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/22720/statm: 6392 5962 146 303 0 6087 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25568 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22724 /proc/meminfo: memFree=30929964/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=42868 CPUtime=12.69 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 10376 0 0 0 1251 18 0 0 25 0 1 0 163444665 43896832 10291 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/22720/statm: 10717 10291 146 303 0 10412 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42868 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22724 /proc/meminfo: memFree=30896388/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=77268 CPUtime=25.49 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 18973 0 0 0 2514 35 0 0 25 0 1 0 163444665 79122432 18888 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/22720/statm: 19317 18888 146 303 0 19012 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77268 [startup+51.1012 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22724 /proc/meminfo: memFree=30830868/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=143664 CPUtime=51.08 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 35554 0 0 0 5038 70 0 0 25 0 1 0 163444665 147111936 35469 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/22720/statm: 35916 35469 146 303 0 35611 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 143664 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22726 /proc/meminfo: memFree=30695404/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=276456 CPUtime=102.29 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 68760 0 0 0 10091 138 0 0 25 0 1 0 163444665 283090944 68675 4089446400 134512640 135751879 4293603616 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/22720/statm: 69114 68675 146 303 0 68809 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 276456 [startup+162.301 s] /proc/loadavg: 2.38 2.08 2.03 2/198 22791 /proc/meminfo: memFree=30758256/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=383544 CPUtime=162.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 95544 0 0 0 16045 182 0 0 25 0 1 0 163444665 392749056 95431 4089446400 134512640 135751879 4293603616 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 95886 95431 146 303 0 95581 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 383544 [startup+222.301 s] /proc/loadavg: 2.27 2.11 2.04 3/199 22809 /proc/meminfo: memFree=30645752/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=450852 CPUtime=222.26 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 112318 0 0 0 22022 204 0 0 25 0 1 0 163444665 461672448 112205 4089446400 134512640 135751879 4293603616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22720/statm: 112713 112205 146 303 0 112408 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 450852 [startup+282.3 s] /proc/loadavg: 2.10 2.09 2.03 3/199 22811 /proc/meminfo: memFree=30558920/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=509644 CPUtime=282.26 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 126958 0 0 0 27999 227 0 0 25 0 1 0 163444665 521875456 126845 4089446400 134512640 135751879 4293603616 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22720/statm: 127411 126845 146 303 0 127106 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 509644 [startup+342.3 s] /proc/loadavg: 2.03 2.07 2.02 3/199 22811 /proc/meminfo: memFree=30485216/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=580532 CPUtime=342.26 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 144754 0 0 0 33957 269 0 0 25 0 1 0 163444665 594464768 144641 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22720/statm: 145133 144641 146 303 0 144828 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 580532 [startup+402.3 s] /proc/loadavg: 2.20 2.11 2.04 3/197 22907 /proc/meminfo: memFree=30596824/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=645748 CPUtime=402.26 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 160997 0 0 0 39935 291 0 0 25 0 1 0 163444665 661245952 160884 4089446400 134512640 135751879 4293603616 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 161437 160884 146 303 0 161132 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 645748 [startup+462.3 s] /proc/loadavg: 2.07 2.09 2.03 3/179 22964 /proc/meminfo: memFree=30486952/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=717960 CPUtime=462.26 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 179051 0 0 0 45916 310 0 0 25 0 1 0 163444665 735191040 178938 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 179490 178938 146 303 0 179185 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 717960 [startup+522.3 s] /proc/loadavg: 2.02 2.07 2.03 3/179 22966 /proc/meminfo: memFree=30372312/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=783972 CPUtime=522.26 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 195499 0 0 0 51898 328 0 0 25 0 1 0 163444665 802787328 195386 4089446400 134512640 135751879 4293603616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 195993 195386 146 303 0 195688 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 783972 [startup+582.3 s] /proc/loadavg: 2.01 2.06 2.02 3/179 22968 /proc/meminfo: memFree=30253184/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=859404 CPUtime=582.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 214327 0 0 0 57879 348 0 0 25 0 1 0 163444665 880029696 214214 4089446400 134512640 135751879 4293603616 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 214851 214214 146 303 0 214546 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 859404 [startup+642.3 s] /proc/loadavg: 2.05 2.06 2.02 3/179 22968 /proc/meminfo: memFree=30077380/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=926192 CPUtime=642.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 230986 0 0 0 63865 362 0 0 25 0 1 0 163444665 948420608 230873 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 231548 230873 146 303 0 231243 0 Current children cumulated CPU time (s) 642.27 Current children cumulated vsize (KiB) 926192 [startup+702.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 23048 /proc/meminfo: memFree=30035220/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1203984 CPUtime=882.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 300319 0 0 0 87802 425 0 0 25 0 1 0 163444665 1232879616 300206 4089446400 134512640 135751879 4293603616 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 300996 300206 146 303 0 300691 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 1203984 [startup+942.301 s] /proc/loadavg: 1.94 2.00 1.99 4/179 23203 /proc/meminfo: memFree=29939720/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1272728 CPUtime=942.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 317499 0 0 0 93785 442 0 0 25 0 1 0 163444665 1303273472 317386 4089446400 134512640 135751879 4293603616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 318182 317386 146 303 0 317877 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 1272728 [startup+1002.3 s] /proc/loadavg: 1.97 2.00 1.99 3/179 23205 /proc/meminfo: memFree=29742264/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1334128 CPUtime=1002.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 332830 0 0 0 99771 456 0 0 25 0 1 0 163444665 1366147072 332717 4089446400 134512640 135751879 4293603616 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 333532 332717 146 303 0 333227 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 1334128 [startup+1062.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23207 /proc/meminfo: memFree=29580996/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1389184 CPUtime=1062.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 346564 0 0 0 105758 469 0 0 25 0 1 0 163444665 1422524416 346451 4089446400 134512640 135751879 4293603616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 347296 346451 146 303 0 346991 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 1389184 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23209 /proc/meminfo: memFree=29406436/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1434756 CPUtime=1122.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 357937 0 0 0 111748 479 0 0 25 0 1 0 163444665 1469190144 357824 4089446400 134512640 135751879 4293603616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 358689 357824 146 303 0 358384 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 1434756 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23211 /proc/meminfo: memFree=29271540/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1486564 CPUtime=1182.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 370883 0 0 0 117734 493 0 0 25 0 1 0 163444665 1522241536 370770 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/22720/statm: 371641 370770 146 303 0 371336 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 1486564 [startup+1242.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23220 /proc/meminfo: memFree=29174828/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1543160 CPUtime=1242.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 384999 0 0 0 123722 505 0 0 25 0 1 0 163444665 1580195840 384886 4089446400 134512640 135751879 4293603616 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 385790 384886 146 303 0 385485 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 1543160 [startup+1302.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23222 /proc/meminfo: memFree=29048684/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1600752 CPUtime=1302.28 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 399374 0 0 0 129711 517 0 0 25 0 1 0 163444665 1639170048 399261 4089446400 134512640 135751879 4293603616 18446744073709551615 134616760 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 400188 399261 146 303 0 399883 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 1600752 [startup+1362.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23224 /proc/meminfo: memFree=28956868/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1658328 CPUtime=1362.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 413775 0 0 0 135697 530 0 0 25 0 1 0 163444665 1698127872 413662 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 414582 413662 146 303 0 414277 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 1658328 [startup+1422.31 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23226 /proc/meminfo: memFree=28891960/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1719100 CPUtime=1422.28 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 428973 0 0 0 141683 545 0 0 25 0 1 0 163444665 1760358400 428860 4089446400 134512640 135751879 4293603616 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 429775 428860 146 303 0 429470 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 1719100 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 23228 /proc/meminfo: memFree=28832640/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1777768 CPUtime=1482.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 443606 0 0 0 147665 562 0 0 25 0 1 0 163444665 1820434432 443493 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 444442 443493 146 303 0 444137 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 1777768 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 23228 /proc/meminfo: memFree=28769352/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1837624 CPUtime=1542.28 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 458568 0 0 0 153648 580 0 0 25 0 1 0 163444665 1881726976 458455 4089446400 134512640 135751879 4293603616 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 459406 458455 146 303 0 459101 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 1837624 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23230 /proc/meminfo: memFree=28718704/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1887064 CPUtime=1602.27 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 470934 0 0 0 159634 593 0 0 25 0 1 0 163444665 1932353536 470821 4089446400 134512640 135751879 4293603616 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 471766 470821 146 303 0 471461 0 Current children cumulated CPU time (s) 1602.27 Current children cumulated vsize (KiB) 1887064 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23232 /proc/meminfo: memFree=28666468/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1938264 CPUtime=1662.28 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 483715 0 0 0 165619 609 0 0 25 0 1 0 163444665 1984782336 483602 4089446400 134512640 135751879 4293603616 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 484566 483602 146 303 0 484261 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 1938264 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23234 /proc/meminfo: memFree=28619304/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=1984008 CPUtime=1722.28 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 495110 0 0 0 171607 621 0 0 25 0 1 0 163444665 2031624192 494997 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 496002 494997 146 303 0 495697 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 1984008 [startup+1782.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 23236 /proc/meminfo: memFree=28571648/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=2030552 CPUtime=1782.28 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 506726 0 0 0 177593 635 0 0 25 0 1 0 163444665 2079285248 506613 4089446400 134512640 135751879 4293603616 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 507638 506613 146 303 0 507333 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 2030552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.06 2.01 2.00 3/179 23236 /proc/meminfo: memFree=28558732/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=2043188 CPUtime=1800.08 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 509882 0 0 0 179369 639 0 0 25 0 1 0 163444665 2092224512 509769 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 510797 509769 146 303 0 510492 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2043188 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.06 2.01 2.00 3/179 23236 /proc/meminfo: memFree=28558732/32951124 swapFree=67111528/67111528 [pid=22720] ppid=22718 vsize=2043188 CPUtime=1800.08 /proc/22720/stat : 22720 (wbo1.4a) R 22718 22720 22591 0 -1 4202496 509882 0 0 0 179369 639 0 0 25 0 1 0 163444665 2092224512 509769 4089446400 134512640 135751879 4293603616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22720/statm: 510797 509769 146 303 0 510492 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2043188 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.17 CPU time (s): 1800.16 CPU user time (s): 1793.7 CPU system time (s): 6.45902 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 2043188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.7 system time used= 6.45902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 509882 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= 1 involuntary context switches= 5025 runsolver used 2.49862 second user time and 5.70813 second system time The end
Begin job on node118 at 2010-06-30 13:40:51 IDJOB=2689902 IDBENCH=78824 IDSOLVER=1200 FILE ID=node118/2689902-1277898051 PBS_JOBID= 11197185 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780--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-2689902-1277898051/watcher-2689902-1277898051 -o /tmp/evaluation-result-2689902-1277898051/solver-2689902-1277898051 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689902-1277898051.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 11192ef633da7cef97eefdeccab8f20f RANDOM SEED=2049974069 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30972648 kB Buffers: 180456 kB Cached: 1297896 kB SwapCached: 0 kB Active: 822492 kB Inactive: 1015416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30972648 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2720 kB Writeback: 0 kB AnonPages: 359000 kB Mapped: 16504 kB Slab: 77996 kB PageTables: 5036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 510396 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 node118 at 2010-06-30 14:10:53