Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.15 | 1800.1 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo |
MD5SUM | 2c30a8298656a46724ae4314cbfd6760 |
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 | 23 |
Best CPU time to get the best result obtained on this benchmark | 0.428934 |
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 | 42 |
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 | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1171 |
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-2689842-1277896378.wbo. 0.00/0.00 c Instance file HOME/instance-2689842-1277896378.wbo 0.00/0.00 c File size is 10163 bytes. 0.00/0.00 c Highest Coefficient sum: 1171 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 34 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 36 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 33 | 0.004 % | 0.01/0.02 c | 813 | 169 101 1205 | 7320 813 35 | 0.004 % | 0.01/0.03 c | 1323 | 169 101 1205 | 8052 1323 35 | 0.004 % | 0.01/0.05 c | 2084 | 169 101 1205 | 8857 2084 37 | 0.004 % | 0.01/0.09 c | 3225 | 169 101 1205 | 9743 3225 37 | 0.004 % | 0.09/0.15 c | 4933 | 169 101 1205 | 10717 4933 39 | 0.004 % | 0.18/0.26 c | 7495 | 169 101 1205 | 11789 7495 39 | 0.004 % | 0.39/0.48 c | 11339 | 169 101 1205 | 12968 11339 41 | 0.004 % | 0.79/0.80 c | 17109 | 169 101 1205 | 14265 10573 42 | 0.004 % | 1.38/1.41 c | 25758 | 169 101 1205 | 15692 12049 46 | 0.004 % | 2.39/2.46 c | 38733 | 169 101 1205 | 17261 9225 47 | 0.004 % | 4.09/4.11 c | 58197 | 169 101 1205 | 18987 11317 51 | 0.004 % | 6.89/6.93 c | 87390 | 169 101 1205 | 20886 11852 53 | 0.004 % | 8.19/8.26 c =============================================================================== 8.59/8.69 c core #1 8.59/8.69 c ============================[ Search Statistics ]============================== 8.59/8.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.69 c =============================================================================== 8.59/8.69 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 8.59/8.70 c | 100 | 210 142 1713 | 5500 100 34 | 0.002 % | 8.69/8.70 c | 251 | 210 142 1713 | 6050 251 34 | 0.002 % | 8.69/8.71 c | 477 | 210 142 1713 | 6655 477 35 | 0.002 % | 8.69/8.72 c | 814 | 210 142 1713 | 7320 814 33 | 0.002 % | 8.69/8.73 c | 1321 | 210 142 1713 | 8052 1321 36 | 0.002 % | 8.69/8.75 c | 2080 | 210 142 1713 | 8857 2080 39 | 0.002 % | 8.69/8.80 c | 3222 | 210 142 1713 | 9743 3222 41 | 0.002 % | 8.79/8.88 c | 4931 | 210 142 1713 | 10717 4931 41 | 0.002 % | 8.89/8.99 c | 7497 | 210 142 1713 | 11789 7497 41 | 0.002 % | 9.18/9.26 c | 11343 | 210 142 1713 | 12968 11343 43 | 0.002 % | 9.69/9.70 c | 17112 | 210 142 1713 | 14265 10572 48 | 0.002 % | 10.39/10.42 c | 25761 | 210 142 1713 | 15692 12024 48 | 0.002 % | 11.48/11.56 c | 38735 | 210 142 1713 | 17261 9200 50 | 0.002 % | 13.29/13.35 c | 58198 | 210 142 1713 | 18987 11298 51 | 0.002 % | 16.09/16.14 c | 87390 | 210 142 1713 | 20886 11855 51 | 0.002 % | 18.28/18.37 c =============================================================================== 18.79/18.87 c core #2 18.79/18.87 c ============================[ Search Statistics ]============================== 18.79/18.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.79/18.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.79/18.87 c =============================================================================== 18.79/18.87 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 18.79/18.88 c | 100 | 251 183 2221 | 5500 100 32 | 0.002 % | 18.79/18.88 c | 250 | 251 183 2221 | 6050 250 30 | 0.002 % | 18.79/18.89 c | 475 | 251 183 2221 | 6655 475 31 | 0.002 % | 18.89/18.90 c | 813 | 251 183 2221 | 7320 813 30 | 0.002 % | 18.89/18.91 c | 1321 | 251 183 2221 | 8052 1321 32 | 0.002 % | 18.89/18.94 c | 2086 | 251 183 2221 | 8857 2086 32 | 0.002 % | 18.89/18.98 c | 3226 | 251 183 2221 | 9743 3226 34 | 0.002 % | 18.99/19.05 c | 4934 | 251 183 2221 | 10717 4934 36 | 0.002 % | 19.09/19.17 c | 7496 | 251 183 2221 | 11789 7496 38 | 0.002 % | 19.39/19.42 c | 11340 | 251 183 2221 | 12968 11340 40 | 0.002 % | 19.80/19.83 c | 17107 | 251 183 2221 | 14265 10574 44 | 0.002 % | 20.39/20.47 c | 25756 | 251 183 2221 | 15692 12036 50 | 0.002 % | 21.59/21.65 c | 38731 | 251 183 2221 | 17261 9198 51 | 0.002 % | 23.39/23.40 c | 58193 | 251 183 2221 | 18987 11282 51 | 0.002 % | 26.19/26.21 c | 87385 | 251 183 2221 | 20886 11836 50 | 0.002 % | 27.79/27.81 c =============================================================================== 28.19/28.28 c core #3 28.19/28.28 c ============================[ Search Statistics ]============================== 28.19/28.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.19/28.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.19/28.28 c =============================================================================== 28.19/28.28 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 28.19/28.29 c | 101 | 290 223 2712 | 5500 101 38 | 0.001 % | 28.19/28.30 c | 254 | 290 223 2712 | 6050 254 42 | 0.001 % | 28.29/28.30 c | 483 | 290 223 2712 | 6655 483 39 | 0.001 % | 28.29/28.31 c | 821 | 290 223 2712 | 7320 821 36 | 0.001 % | 28.29/28.33 c | 1327 | 290 223 2712 | 8052 1327 35 | 0.001 % | 28.29/28.36 c | 2086 | 290 223 2712 | 8857 2086 34 | 0.001 % | 28.39/28.41 c | 3230 | 290 223 2712 | 9743 3230 38 | 0.001 % | 28.39/28.49 c | 4938 | 290 223 2712 | 10717 4938 41 | 0.001 % | 28.59/28.65 c | 7501 | 290 223 2712 | 11789 7501 45 | 0.001 % | 28.89/28.94 c | 11346 | 290 223 2712 | 12968 11346 46 | 0.001 % | 29.39/29.43 c | 17114 | 290 223 2712 | 14265 10575 49 | 0.001 % | 30.09/30.17 c | 25763 | 290 223 2712 | 15692 12033 49 | 0.001 % | 31.39/31.40 c | 38737 | 290 223 2712 | 17261 9209 50 | 0.001 % | 33.09/33.11 c | 58198 | 290 223 2712 | 18987 11340 49 | 0.001 % | 35.89/35.90 c | 87390 | 290 223 2712 | 20886 11887 50 | 0.001 % | 39.39/39.49 c =============================================================================== 39.99/40.07 c core #4 39.99/40.07 c ============================[ Search Statistics ]============================== 39.99/40.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.99/40.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.99/40.07 c =============================================================================== 39.99/40.07 c | 0 | 332 263 3209 | 5000 0 nan | 0.000 % | 39.99/40.08 c | 100 | 332 263 3209 | 5500 100 35 | 0.001 % | 39.99/40.09 c | 251 | 332 263 3209 | 6050 251 38 | 0.001 % | 39.99/40.10 c | 476 | 332 263 3209 | 6655 476 37 | 0.001 % | 40.08/40.11 c | 813 | 332 263 3209 | 7320 813 36 | 0.001 % | 40.08/40.12 c | 1319 | 332 263 3209 | 8052 1319 35 | 0.001 % | 40.08/40.15 c | 2080 | 332 263 3209 | 8857 2080 35 | 0.001 % | 40.08/40.19 c | 3219 | 332 263 3209 | 9743 3219 35 | 0.001 % | 40.19/40.26 c | 4930 | 332 263 3209 | 10717 4930 36 | 0.001 % | 40.29/40.39 c | 7495 | 332 263 3209 | 11789 7495 38 | 0.001 % | 40.59/40.64 c | 11342 | 332 263 3209 | 12968 11342 40 | 0.001 % | 40.99/41.06 c | 17110 | 332 263 3209 | 14265 10575 46 | 0.001 % | 41.70/41.76 c | 25760 | 332 263 3209 | 15692 12031 48 | 0.001 % | 42.80/42.83 c | 38734 | 332 263 3209 | 17261 9216 47 | 0.001 % | 44.39/44.45 c | 58196 | 332 263 3209 | 18987 11296 51 | 0.001 % | 47.49/47.50 c | 87389 | 332 263 3209 | 20886 11848 50 | 0.001 % | 51.09/51.19 c =============================================================================== 51.70/51.78 c core #5 51.70/51.78 c ============================[ Search Statistics ]============================== 51.70/51.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.70/51.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.70/51.78 c =============================================================================== 51.70/51.78 c | 0 | 370 301 3688 | 5000 0 nan | 0.000 % | 51.70/51.80 c | 100 | 370 301 3688 | 5500 100 36 | 0.001 % | 51.79/51.80 c | 251 | 370 301 3688 | 6050 251 34 | 0.001 % | 51.79/51.81 c | 476 | 370 301 3688 | 6655 476 33 | 0.001 % | 51.79/51.82 c | 813 | 370 301 3688 | 7320 813 32 | 0.001 % | 51.79/51.83 c | 1319 | 370 301 3688 | 8052 1319 33 | 0.001 % | 51.79/51.86 c | 2080 | 370 301 3688 | 8857 2080 35 | 0.001 % | 51.89/51.91 c | 3219 | 370 301 3688 | 9743 3219 36 | 0.001 % | 51.89/51.98 c | 4928 | 370 301 3688 | 10717 4928 37 | 0.001 % | 52.09/52.13 c | 7490 | 370 301 3688 | 11789 7490 38 | 0.001 % | 52.29/52.37 c | 11334 | 370 301 3688 | 12968 11334 40 | 0.001 % | 52.69/52.79 c | 17100 | 370 301 3688 | 14265 10564 45 | 0.001 % | 53.38/53.47 c | 25749 | 370 301 3688 | 15692 12031 46 | 0.001 % | 54.49/54.53 c | 38727 | 370 301 3688 | 17261 9248 47 | 0.001 % | 56.09/56.19 c | 58189 | 370 301 3688 | 18987 11333 50 | 0.001 % | 58.79/58.84 c | 87382 | 370 301 3688 | 20886 11883 52 | 0.001 % | 61.99/62.04 c =============================================================================== 62.49/62.59 c core #6 62.49/62.59 c ============================[ Search Statistics ]============================== 62.49/62.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.49/62.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.49/62.59 c =============================================================================== 62.49/62.59 c | 0 | 419 343 4223 | 5000 0 nan | 0.000 % | 62.59/62.61 c | 101 | 419 343 4223 | 5500 101 43 | 0.001 % | 62.59/62.61 c | 251 | 419 343 4223 | 6050 251 38 | 0.001 % | 62.59/62.62 c | 477 | 419 343 4223 | 6655 477 39 | 0.001 % | 62.59/62.63 c | 814 | 419 343 4223 | 7320 814 36 | 0.001 % | 62.59/62.65 c | 1321 | 419 343 4223 | 8052 1321 34 | 0.001 % | 62.59/62.68 c | 2080 | 419 343 4223 | 8857 2080 34 | 0.001 % | 62.70/62.72 c | 3220 | 419 343 4223 | 9743 3220 37 | 0.001 % | 62.70/62.79 c | 4929 | 419 343 4223 | 10717 4929 38 | 0.001 % | 62.89/62.95 c | 7491 | 419 343 4223 | 11789 7491 40 | 0.001 % | 63.19/63.24 c | 11336 | 419 343 4223 | 12968 11336 42 | 0.001 % | 63.59/63.69 c | 17102 | 419 343 4223 | 14265 10566 44 | 0.001 % | 64.29/64.37 c | 25752 | 419 343 4223 | 15692 12037 44 | 0.001 % | 65.39/65.46 c | 38729 | 419 343 4223 | 17261 9221 47 | 0.001 % | 67.19/67.23 c | 58190 | 419 343 4223 | 18987 11318 51 | 0.001 % | 70.30/70.31 c | 87382 | 419 343 4223 | 20886 11880 51 | 0.001 % | 74.19/74.21 c =============================================================================== 74.70/74.78 c core #7 74.70/74.78 c ============================[ Search Statistics ]============================== 74.70/74.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 74.70/74.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 74.70/74.78 c =============================================================================== 74.70/74.78 c | 0 | 467 384 4741 | 5000 0 nan | 0.000 % | 74.70/74.80 c | 101 | 467 384 4741 | 5500 101 38 | 0.000 % | 74.80/74.81 c | 251 | 467 384 4741 | 6050 251 39 | 0.000 % | 74.80/74.81 c | 476 | 467 384 4741 | 6655 476 36 | 0.000 % | 74.80/74.82 c | 813 | 467 384 4741 | 7320 813 34 | 0.000 % | 74.80/74.84 c | 1321 | 467 384 4741 | 8052 1321 33 | 0.000 % | 74.80/74.86 c | 2080 | 467 384 4741 | 8857 2080 32 | 0.000 % | 74.89/74.91 c | 3219 | 467 384 4741 | 9743 3219 33 | 0.000 % | 74.89/74.98 c | 4927 | 467 384 4741 | 10717 4927 35 | 0.000 % | 75.09/75.11 c | 7489 | 467 384 4741 | 11789 7489 36 | 0.000 % | 75.29/75.35 c | 11334 | 467 384 4741 | 12968 11334 38 | 0.000 % | 75.68/75.76 c | 17101 | 467 384 4741 | 14265 10572 42 | 0.000 % | 76.39/76.42 c | 25751 | 467 384 4741 | 15692 12032 46 | 0.000 % | 77.48/77.51 c | 38725 | 467 384 4741 | 17261 9202 52 | 0.000 % | 79.20/79.25 c | 58190 | 467 384 4741 | 18987 11300 47 | 0.000 % | 81.89/81.98 c | 87384 | 467 384 4741 | 20886 11851 52 | 0.000 % | 85.89/85.98 c =============================================================================== 86.49/86.59 c core #8 86.49/86.59 c ============================[ Search Statistics ]============================== 86.49/86.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.49/86.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.49/86.59 c =============================================================================== 86.49/86.59 c | 0 | 519 426 5290 | 5000 0 nan | 0.000 % | 86.59/86.60 c | 100 | 519 426 5290 | 5500 100 36 | 0.000 % | 86.59/86.61 c | 252 | 519 426 5290 | 6050 252 37 | 0.000 % | 86.59/86.62 c | 477 | 519 426 5290 | 6655 477 35 | 0.000 % | 86.59/86.63 c | 816 | 519 426 5290 | 7320 816 32 | 0.000 % | 86.59/86.65 c | 1324 | 519 426 5290 | 8052 1324 33 | 0.000 % | 86.59/86.68 c | 2083 | 519 426 5290 | 8857 2083 33 | 0.000 % | 86.68/86.73 c | 3222 | 519 426 5290 | 9743 3222 36 | 0.000 % | 86.80/86.81 c | 4931 | 519 426 5290 | 10717 4931 39 | 0.000 % | 86.89/86.97 c | 7495 | 519 426 5290 | 11789 7495 42 | 0.000 % | 87.19/87.23 c | 11339 | 519 426 5290 | 12968 11339 44 | 0.000 % | 87.59/87.61 c | 17105 | 519 426 5290 | 14265 10561 46 | 0.000 % | 88.19/88.25 c | 25755 | 519 426 5290 | 15692 12026 48 | 0.000 % | 89.29/89.32 c | 38731 | 519 426 5290 | 17261 9186 50 | 0.000 % | 90.99/91.05 c | 58192 | 519 426 5290 | 18987 11279 50 | 0.000 % | 93.69/93.72 c | 87387 | 519 426 5290 | 20886 11823 52 | 0.000 % | 97.29/97.33 c =============================================================================== 97.79/97.90 c core #9 97.79/97.90 c ============================[ Search Statistics ]============================== 97.79/97.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 97.79/97.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 97.79/97.90 c =============================================================================== 97.79/97.90 c | 0 | 558 464 5773 | 5000 0 nan | 0.000 % | 97.89/97.91 c | 101 | 558 464 5773 | 5500 101 35 | 0.000 % | 97.89/97.92 c | 253 | 558 464 5773 | 6050 253 31 | 0.000 % | 97.89/97.93 c | 478 | 558 464 5773 | 6655 478 31 | 0.000 % | 97.89/97.94 c | 816 | 558 464 5773 | 7320 816 30 | 0.000 % | 97.89/97.95 c | 1324 | 558 464 5773 | 8052 1324 31 | 0.000 % | 97.89/97.98 c | 2083 | 558 464 5773 | 8857 2083 33 | 0.000 % | 97.99/98.02 c | 3222 | 558 464 5773 | 9743 3222 34 | 0.000 % | 97.99/98.09 c | 4932 | 558 464 5773 | 10717 4932 37 | 0.000 % | 98.19/98.22 c | 7494 | 558 464 5773 | 11789 7494 39 | 0.000 % | 98.39/98.46 c | 11341 | 558 464 5773 | 12968 11341 42 | 0.000 % | 98.79/98.88 c | 17110 | 558 464 5773 | 14265 10558 46 | 0.000 % | 99.49/99.54 c | 25760 | 558 464 5773 | 15692 12028 47 | 0.000 % | 100.49/100.59 c | 38734 | 558 464 5773 | 17261 9196 49 | 0.000 % | 102.19/102.30 c | 58195 | 558 464 5773 | 18987 11285 52 | 0.000 % | 105.09/105.15 c | 87387 | 558 464 5773 | 20886 11825 51 | 0.000 % | 109.59/109.65 c | 131178 | 515 464 5773 | 22974 5384 51 | 7.706 % | 110.19/110.22 c =============================================================================== 110.89/110.91 c core #10 110.89/110.91 c ============================[ Search Statistics ]============================== 110.89/110.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.89/110.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.89/110.91 c =============================================================================== 110.89/110.91 c | 0 | 604 500 6257 | 5000 0 nan | 0.000 % | 110.89/110.93 c | 100 | 604 500 6257 | 5500 100 38 | 0.000 % | 110.89/110.93 c | 250 | 604 500 6257 | 6050 250 40 | 0.000 % | 110.89/110.94 c | 475 | 604 500 6257 | 6655 475 36 | 0.000 % | 110.89/110.95 c | 813 | 604 500 6257 | 7320 813 36 | 0.000 % | 110.89/110.97 c | 1321 | 604 500 6257 | 8052 1321 36 | 0.000 % | 110.89/111.00 c | 2083 | 604 500 6257 | 8857 2083 36 | 0.000 % | 110.99/111.05 c | 3222 | 604 500 6257 | 9743 3222 36 | 0.000 % | 111.09/111.13 c | 4930 | 604 500 6257 | 10717 4930 37 | 0.000 % | 111.20/111.27 c | 7495 | 604 500 6257 | 11789 7495 38 | 0.000 % | 111.49/111.53 c | 11340 | 604 500 6257 | 12968 11340 38 | 0.000 % | 111.89/111.94 c | 17107 | 604 500 6257 | 14265 10564 39 | 0.000 % | 112.59/112.60 c | 25756 | 604 500 6257 | 15692 12026 44 | 0.000 % | 113.59/113.61 c | 38731 | 604 500 6257 | 17261 9215 44 | 0.000 % | 115.19/115.28 c | 58193 | 604 500 6257 | 18987 11303 45 | 0.000 % | 117.89/117.95 c | 87387 | 604 500 6257 | 20886 11854 45 | 0.000 % | 122.19/122.21 c | 131177 | 604 500 6257 | 22974 13677 51 | 0.000 % | 124.09/124.19 c =============================================================================== 124.89/124.90 c core #11 124.89/124.90 c ============================[ Search Statistics ]============================== 124.89/124.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.89/124.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.89/124.90 c =============================================================================== 124.89/124.90 c | 0 | 671 535 6761 | 5000 0 nan | 0.000 % | 124.89/124.92 c | 100 | 671 535 6761 | 5500 100 41 | 0.000 % | 124.89/124.93 c | 251 | 671 535 6761 | 6050 251 35 | 0.000 % | 124.89/124.94 c | 476 | 671 535 6761 | 6655 476 36 | 0.000 % | 124.89/124.95 c | 815 | 671 535 6761 | 7320 815 36 | 0.000 % | 124.89/124.97 c | 1321 | 671 535 6761 | 8052 1321 36 | 0.000 % | 124.89/124.99 c | 2081 | 671 535 6761 | 8857 2081 39 | 0.000 % | 124.99/125.04 c | 3220 | 671 535 6761 | 9743 3220 39 | 0.000 % | 125.09/125.12 c | 4929 | 671 535 6761 | 10717 4929 40 | 0.000 % | 125.20/125.26 c | 7491 | 671 535 6761 | 11789 7491 41 | 0.000 % | 125.49/125.50 c | 11336 | 671 535 6761 | 12968 11336 41 | 0.000 % | 125.79/125.84 c | 17102 | 671 535 6761 | 14265 10572 42 | 0.000 % | 126.40/126.49 c | 25754 | 671 535 6761 | 15692 12037 47 | 0.000 % | 127.60/127.62 c | 38730 | 671 535 6761 | 17261 9212 50 | 0.000 % | 129.19/129.25 c | 58192 | 671 535 6761 | 18987 11305 49 | 0.000 % | 132.00/132.09 c | 87386 | 671 535 6761 | 20886 11854 51 | 0.000 % | 136.09/136.19 c | 131176 | 671 535 6761 | 22974 13642 52 | 0.000 % | 140.99/141.03 c =============================================================================== 141.80/141.90 c core #12 141.80/141.90 c ============================[ Search Statistics ]============================== 141.80/141.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 141.80/141.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 141.80/141.90 c =============================================================================== 141.80/141.90 c | 0 | 759 573 7354 | 5000 0 nan | 0.000 % | 141.90/141.92 c | 100 | 759 573 7354 | 5500 100 45 | 0.000 % | 141.90/141.93 c | 250 | 759 573 7354 | 6050 250 40 | 0.000 % | 141.90/141.94 c | 476 | 759 573 7354 | 6655 476 37 | 0.000 % | 141.90/141.95 c | 813 | 759 573 7354 | 7320 813 35 | 0.000 % | 141.90/141.97 c | 1319 | 759 573 7354 | 8052 1319 34 | 0.000 % | 141.90/141.99 c | 2079 | 759 573 7354 | 8857 2079 33 | 0.000 % | 142.00/142.04 c | 3221 | 759 573 7354 | 9743 3221 36 | 0.000 % | 142.09/142.13 c | 4930 | 759 573 7354 | 10717 4930 39 | 0.000 % | 142.19/142.26 c | 7493 | 759 573 7354 | 11789 7493 41 | 0.000 % | 142.49/142.52 c | 11337 | 759 573 7354 | 12968 11337 42 | 0.000 % | 142.90/142.94 c | 17103 | 759 573 7354 | 14265 10565 43 | 0.000 % | 143.59/143.64 c | 25756 | 759 573 7354 | 15692 12033 44 | 0.000 % | 144.69/144.77 c | 38730 | 759 573 7354 | 17261 9215 47 | 0.000 % | 146.39/146.44 c | 58191 | 759 573 7354 | 18987 11303 48 | 0.000 % | 148.90/148.97 c | 87385 | 759 573 7354 | 20886 11852 49 | 0.000 % | 153.00/153.04 c | 131174 | 759 573 7354 | 22974 13662 50 | 0.000 % | 156.39/156.48 c =============================================================================== 157.20/157.28 c core #13 157.20/157.28 c ============================[ Search Statistics ]============================== 157.20/157.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 157.20/157.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 157.20/157.28 c =============================================================================== 157.20/157.28 c | 0 | 828 609 7881 | 5000 0 nan | 0.000 % | 157.20/157.30 c | 100 | 828 609 7881 | 5500 100 42 | 0.000 % | 157.30/157.31 c | 250 | 828 609 7881 | 6050 250 37 | 0.000 % | 157.30/157.32 c | 475 | 828 609 7881 | 6655 475 31 | 0.000 % | 157.30/157.33 c | 814 | 828 609 7881 | 7320 814 34 | 0.000 % | 157.30/157.35 c | 1322 | 828 609 7881 | 8052 1322 36 | 0.000 % | 157.30/157.38 c | 2081 | 828 609 7881 | 8857 2081 37 | 0.000 % | 157.39/157.43 c | 3225 | 828 609 7881 | 9743 3225 36 | 0.000 % | 157.50/157.51 c | 4933 | 828 609 7881 | 10717 4933 37 | 0.000 % | 157.60/157.65 c | 7496 | 828 609 7881 | 11789 7496 38 | 0.000 % | 157.79/157.89 c | 11341 | 828 609 7881 | 12968 11341 39 | 0.000 % | 158.19/158.29 c | 17110 | 828 609 7881 | 14265 10579 40 | 0.000 % | 158.90/158.90 c | 25759 | 828 609 7881 | 15692 12043 43 | 0.000 % | 159.99/160.03 c | 38735 | 828 609 7881 | 17261 9222 48 | 0.000 % | 161.60/161.66 c | 58197 | 828 609 7881 | 18987 11319 51 | 0.000 % | 164.39/164.48 c | 87389 | 828 609 7881 | 20886 11850 48 | 0.000 % | 168.79/168.83 c | 131178 | 828 609 7881 | 22974 13657 51 | 0.000 % | 172.30/172.31 c =============================================================================== 173.09/173.13 c core #14 173.09/173.13 c ============================[ Search Statistics ]============================== 173.09/173.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 173.09/173.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 173.09/173.13 c =============================================================================== 173.09/173.13 c | 0 | 881 644 8367 | 5000 0 nan | 0.000 % | 173.09/173.15 c | 100 | 881 644 8367 | 5500 100 57 | 0.000 % | 173.09/173.16 c | 251 | 881 644 8367 | 6050 251 54 | 0.000 % | 173.09/173.17 c | 477 | 881 644 8367 | 6655 477 47 | 0.000 % | 173.09/173.18 c | 818 | 881 644 8367 | 7320 818 46 | 0.000 % | 173.19/173.20 c | 1324 | 881 644 8367 | 8052 1324 41 | 0.000 % | 173.19/173.23 c | 2084 | 881 644 8367 | 8857 2084 40 | 0.000 % | 173.19/173.28 c | 3224 | 881 644 8367 | 9743 3224 38 | 0.000 % | 173.29/173.36 c | 4934 | 881 644 8367 | 10717 4934 39 | 0.000 % | 173.49/173.50 c | 7496 | 881 644 8367 | 11789 7496 39 | 0.000 % | 173.70/173.78 c | 11341 | 881 644 8367 | 12968 11341 43 | 0.000 % | 174.19/174.21 c | 17108 | 881 644 8367 | 14265 10569 47 | 0.000 % | 174.80/174.89 c | 25759 | 881 644 8367 | 15692 12023 47 | 0.000 % | 176.00/176.03 c | 38733 | 881 644 8367 | 17261 9101 50 | 0.000 % | 177.79/177.84 c | 58196 | 881 644 8367 | 18987 11191 50 | 0.000 % | 180.69/180.79 c | 87390 | 881 644 8367 | 20886 11740 50 | 0.000 % | 184.99/185.06 c | 131179 | 881 644 8367 | 22974 13543 52 | 0.000 % | 189.89/189.94 c =============================================================================== 190.59/190.70 c core #15 190.59/190.70 c ============================[ Search Statistics ]============================== 190.59/190.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.59/190.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.59/190.70 c =============================================================================== 190.59/190.70 c | 0 | 935 676 8821 | 5000 0 nan | 0.000 % | 190.69/190.72 c | 101 | 935 676 8821 | 5500 101 47 | 0.000 % | 190.69/190.73 c | 252 | 935 676 8821 | 6050 252 42 | 0.000 % | 190.69/190.74 c | 479 | 935 676 8821 | 6655 479 41 | 0.000 % | 190.69/190.75 c | 821 | 935 676 8821 | 7320 821 40 | 0.000 % | 190.69/190.77 c | 1329 | 935 676 8821 | 8052 1329 37 | 0.000 % | 190.79/190.80 c | 2089 | 935 676 8821 | 8857 2089 36 | 0.000 % | 190.79/190.86 c | 3229 | 935 676 8821 | 9743 3229 37 | 0.000 % | 190.89/190.94 c | 4937 | 935 676 8821 | 10717 4937 38 | 0.000 % | 190.99/191.09 c | 7499 | 935 676 8821 | 11789 7499 39 | 0.000 % | 191.30/191.33 c | 11343 | 935 676 8821 | 12968 11343 41 | 0.000 % | 191.69/191.71 c | 17109 | 935 676 8821 | 14265 10568 45 | 0.000 % | 192.29/192.38 c | 25758 | 935 676 8821 | 15692 12021 44 | 0.000 % | 193.39/193.42 c | 38734 | 935 676 8821 | 17261 9203 49 | 0.000 % | 194.89/194.91 c | 58195 | 935 676 8821 | 18987 11295 41 | 0.000 % | 197.29/197.33 c | 87387 | 935 676 8821 | 20886 11842 47 | 0.000 % | 201.40/201.46 c | 131178 | 935 676 8821 | 22974 13624 52 | 0.000 % | 207.70/207.73 c | 196863 | 899 676 8821 | 25272 16530 55 | 3.853 % | 208.30/208.33 c =============================================================================== 209.20/209.24 c core #16 209.20/209.24 c ============================[ Search Statistics ]============================== 209.20/209.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.20/209.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.20/209.24 c =============================================================================== 209.20/209.24 c | 0 | 1029 710 9369 | 5000 0 nan | 0.000 % | 209.20/209.26 c | 100 | 1029 710 9369 | 5500 100 40 | 0.000 % | 209.20/209.27 c | 250 | 1029 710 9369 | 6050 250 39 | 0.000 % | 209.20/209.28 c | 476 | 1029 710 9369 | 6655 476 39 | 0.000 % | 209.20/209.29 c | 813 | 1029 710 9369 | 7320 813 36 | 0.000 % | 209.30/209.31 c | 1320 | 1029 710 9369 | 8052 1320 34 | 0.000 % | 209.30/209.34 c | 2079 | 1029 710 9369 | 8857 2079 37 | 0.000 % | 209.30/209.39 c | 3220 | 1029 710 9369 | 9743 3220 37 | 0.000 % | 209.39/209.48 c | 4928 | 1029 710 9369 | 10717 4928 39 | 0.000 % | 209.59/209.64 c | 7492 | 1029 710 9369 | 11789 7492 39 | 0.000 % | 209.90/209.91 c | 11336 | 1029 710 9369 | 12968 11336 39 | 0.000 % | 210.29/210.36 c | 17102 | 1029 710 9369 | 14265 10572 42 | 0.000 % | 210.99/211.01 c | 25751 | 1029 710 9369 | 15692 12036 48 | 0.000 % | 212.09/212.13 c | 38726 | 1029 710 9369 | 17261 9218 50 | 0.000 % | 213.90/213.94 c | 58189 | 1029 710 9369 | 18987 11314 44 | 0.000 % | 216.70/216.74 c | 87381 | 1029 710 9369 | 20886 11884 48 | 0.000 % | 221.10/221.11 c | 131171 | 1029 710 9369 | 22974 13480 41 | 0.000 % | 226.99/227.00 c | 196856 | 1029 710 9369 | 25272 20884 53 | 0.000 % | 241.40/241.44 c | 295383 | 1029 710 9369 | 27799 21836 47 | 0.000 % | 258.29/258.36 c | 443175 | 1029 710 9369 | 30579 13295 55 | 0.000 % | 279.59/279.69 c =============================================================================== 281.40/281.46 c core #17 281.40/281.46 c ============================[ Search Statistics ]============================== 281.40/281.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 281.40/281.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 281.40/281.46 c =============================================================================== 281.40/281.46 c | 0 | 1090 743 9844 | 5000 0 nan | 0.000 % | 281.40/281.49 c | 105 | 1090 743 9844 | 5500 105 45 | 0.000 % | 281.50/281.51 c | 257 | 1090 743 9844 | 6050 257 42 | 0.000 % | 281.50/281.52 c | 482 | 1090 743 9844 | 6655 482 40 | 0.000 % | 281.50/281.54 c | 821 | 1090 743 9844 | 7320 821 40 | 0.000 % | 281.50/281.56 c | 1327 | 1090 743 9844 | 8052 1327 40 | 0.000 % | 281.60/281.60 c | 2088 | 1090 743 9844 | 8857 2088 37 | 0.000 % | 281.60/281.66 c | 3228 | 1090 743 9844 | 9743 3228 38 | 0.000 % | 281.69/281.75 c | 4937 | 1090 743 9844 | 10717 4937 40 | 0.000 % | 281.89/281.90 c | 7501 | 1090 743 9844 | 11789 7501 41 | 0.000 % | 282.20/282.20 c | 11346 | 1090 743 9844 | 12968 11346 41 | 0.000 % | 282.60/282.69 c | 17116 | 1090 743 9844 | 14265 10575 46 | 0.000 % | 283.40/283.44 c | 25767 | 1090 743 9844 | 15692 11972 52 | 0.000 % | 284.39/284.47 c | 38741 | 1090 743 9844 | 17261 9154 50 | 0.000 % | 286.30/286.30 c | 58205 | 1090 743 9844 | 18987 11243 47 | 0.000 % | 288.89/288.98 c | 87397 | 1090 743 9844 | 20886 11785 49 | 0.000 % | 293.49/293.51 c | 131186 | 1090 743 9844 | 22974 13300 50 | 0.000 % | 300.70/300.76 c | 196872 | 1090 743 9844 | 25272 20927 53 | 0.000 % | 322.70/322.71 c | 295398 | 1090 743 9844 | 27799 13874 54 | 0.000 % | 338.40/338.46 c | 443188 | 1090 743 9844 | 30579 18725 53 | 0.000 % | 387.60/387.69 c | 664873 | 1045 743 9844 | 33637 14240 57 | 4.129 % | 467.60/467.65 c =============================================================================== 471.20/471.22 c core #18 471.20/471.22 c ============================[ Search Statistics ]============================== 471.20/471.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 471.20/471.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 471.20/471.22 c =============================================================================== 471.20/471.22 c | 0 | 1143 773 10273 | 5000 0 nan | 0.000 % | 471.20/471.24 c | 100 | 1143 773 10273 | 5500 100 49 | 0.000 % | 471.20/471.26 c | 252 | 1143 773 10273 | 6050 252 40 | 0.000 % | 471.20/471.27 c | 477 | 1143 773 10273 | 6655 477 38 | 0.000 % | 471.30/471.31 c | 814 | 1143 773 10273 | 7320 814 38 | 0.000 % | 471.30/471.33 c | 1321 | 1143 773 10273 | 8052 1321 36 | 0.000 % | 471.30/471.37 c | 2081 | 1143 773 10273 | 8857 2081 37 | 0.000 % | 471.40/471.45 c | 3224 | 1143 773 10273 | 9743 3224 38 | 0.000 % | 471.50/471.53 c | 4934 | 1143 773 10273 | 10717 4934 38 | 0.000 % | 471.61/471.70 c | 7498 | 1143 773 10273 | 11789 7498 38 | 0.000 % | 471.91/471.95 c | 11343 | 1143 773 10273 | 12968 11343 39 | 0.000 % | 472.31/472.36 c | 17109 | 1143 773 10273 | 14265 10576 42 | 0.000 % | 473.01/473.05 c | 25759 | 1143 773 10273 | 15692 12049 41 | 0.000 % | 474.11/474.14 c | 38733 | 1143 773 10273 | 17261 9248 46 | 0.000 % | 475.80/475.88 c | 58195 | 1143 773 10273 | 18987 11371 48 | 0.000 % | 480.41/480.45 c | 87391 | 1143 773 10273 | 20886 11535 62 | 0.000 % | 485.50/485.54 c | 131181 | 1143 773 10273 | 22974 12742 72 | 0.000 % | 491.90/491.96 c | 196865 | 1143 773 10273 | 25272 20675 49 | 0.000 % | 502.51/502.51 c | 295391 | 1143 773 10273 | 27799 24565 52 | 0.000 % | 520.10/520.13 c | 443180 | 1143 773 10273 | 30579 16817 57 | 0.000 % | 582.91/582.93 c | 664863 | 1143 773 10273 | 33637 21979 63 | 0.000 % | 628.60/628.63 c | 997391 | 1143 773 10273 | 37001 32731 60 | 0.000 % | 763.42/763.44 c | 1496181 | 1143 773 10273 | 40701 31744 69 | 0.000 % | 889.02/889.01 c | 2244367 | 1143 773 10273 | 44771 17475 59 | 0.000 % | 1299.33/1299.31 c | 3366644 | 1143 773 10273 | 49248 34962 57 | 0.000 % | 1664.54/1664.55 c | 5050056 | 1143 773 10273 | 54173 48907 59 | 0.004 % |
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-2689842-1277896378/watcher-2689842-1277896378 -o /tmp/evaluation-result-2689842-1277896378/solver-2689842-1277896378 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689842-1277896378.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.95 1.98 1.99 3/178 13492 /proc/meminfo: memFree=31433088/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2568 CPUtime=0 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 280 0 0 0 0 0 0 0 25 0 1 0 130932402 2629632 196 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13492/statm: 642 196 143 303 0 337 0 [startup+0.0165079 s] /proc/loadavg: 1.95 1.98 1.99 3/178 13492 /proc/meminfo: memFree=31433088/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2700 CPUtime=0.01 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 310 0 0 0 1 0 0 0 25 0 1 0 130932402 2764800 226 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13492/statm: 675 226 143 303 0 370 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2700 [startup+0.101511 s] /proc/loadavg: 1.95 1.98 1.99 3/178 13492 /proc/meminfo: memFree=31433088/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=3496 CPUtime=0.09 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 516 0 0 0 9 0 0 0 25 0 1 0 130932402 3579904 432 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 874 432 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300468 s] /proc/loadavg: 1.95 1.98 1.99 3/178 13492 /proc/meminfo: memFree=31433088/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=4816 CPUtime=0.29 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 857 0 0 0 28 1 0 0 25 0 1 0 130932402 4931584 773 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 1204 773 143 303 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4816 [startup+0.700399 s] /proc/loadavg: 1.95 1.98 1.99 3/178 13492 /proc/meminfo: memFree=31433088/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=6960 CPUtime=0.69 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 1371 0 0 0 67 2 0 0 25 0 1 0 130932402 7127040 1287 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 1740 1287 143 303 0 1435 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6960 [startup+1.50021 s] /proc/loadavg: 1.95 1.98 1.99 3/179 13493 /proc/meminfo: memFree=31427128/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=10524 CPUtime=1.49 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 2278 0 0 0 145 4 0 0 25 0 1 0 130932402 10776576 2194 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 2631 2194 143 303 0 2326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10524 [startup+3.10095 s] /proc/loadavg: 1.95 1.98 1.99 3/179 13494 /proc/meminfo: memFree=31422168/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=16992 CPUtime=3.08 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 3879 0 0 0 303 5 0 0 25 0 1 0 130932402 17399808 3795 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 4248 3795 143 303 0 3943 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16992 [startup+6.30036 s] /proc/loadavg: 1.95 1.98 1.99 3/179 13494 /proc/meminfo: memFree=31410228/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=28848 CPUtime=6.29 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 6837 0 0 0 620 9 0 0 25 0 1 0 130932402 29540352 6753 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 7212 6753 143 303 0 6907 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28848 [startup+12.7002 s] /proc/loadavg: 1.96 1.98 1.99 3/179 13494 /proc/meminfo: memFree=31393000/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=44036 CPUtime=12.68 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 10646 0 0 0 1252 16 0 0 25 0 1 0 130932402 45092864 10562 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 11009 10562 146 303 0 10704 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44036 [startup+25.5008 s] /proc/loadavg: 1.96 1.98 1.99 3/179 13494 /proc/meminfo: memFree=31359288/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=77004 CPUtime=25.49 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 18902 0 0 0 2518 31 0 0 25 0 1 0 130932402 78852096 18818 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 19251 18818 146 303 0 18946 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77004 [startup+51.1012 s] /proc/loadavg: 1.97 1.98 1.99 3/179 13495 /proc/meminfo: memFree=31295068/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=142168 CPUtime=51.09 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 35179 0 0 0 5051 58 0 0 25 0 1 0 130932402 145580032 35095 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 35542 35095 146 303 0 35237 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 142168 [startup+102.307 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13605 /proc/meminfo: memFree=31227744/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=263792 CPUtime=102.29 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 65610 0 0 0 10108 121 0 0 25 0 1 0 130932402 270123008 65526 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 65948 65526 146 303 0 65643 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 263792 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13607 /proc/meminfo: memFree=31085204/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=406760 CPUtime=162.29 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 101328 0 0 0 16037 192 0 0 25 0 1 0 130932402 416522240 101244 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 101690 101244 146 303 0 101385 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 406760 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13635 /proc/meminfo: memFree=30873620/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=548828 CPUtime=222.29 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 136856 0 0 0 21971 258 0 0 25 0 1 0 130932402 561999872 136772 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 137207 136772 146 303 0 136902 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 548828 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13637 /proc/meminfo: memFree=30692452/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=699412 CPUtime=282.29 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 174484 0 0 0 27920 309 0 0 25 0 1 0 130932402 716197888 174369 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 174853 174369 146 303 0 174548 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 699412 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 13639 /proc/meminfo: memFree=30497464/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=792392 CPUtime=342.29 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 197701 0 0 0 33867 362 0 0 25 0 1 0 130932402 811409408 197586 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 198098 197586 146 303 0 197793 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 792392 [startup+402.301 s] /proc/loadavg: 2.05 2.00 2.00 3/179 13640 /proc/meminfo: memFree=30395008/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=884664 CPUtime=402.3 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 220725 0 0 0 39833 397 0 0 25 0 1 0 130932402 905895936 220610 4089446400 134512640 135751879 4286866560 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 221166 220610 146 303 0 220861 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 884664 [startup+462.301 s] /proc/loadavg: 2.02 2.00 2.00 3/179 13642 /proc/meminfo: memFree=30289068/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=956592 CPUtime=462.3 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 238658 0 0 0 45808 422 0 0 25 0 1 0 130932402 979550208 238543 4089446400 134512640 135751879 4286866560 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 239148 238543 146 303 0 238843 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 956592 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13643 /proc/meminfo: memFree=30145404/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1042240 CPUtime=522.3 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 260216 0 0 0 51756 474 0 0 25 0 1 0 130932402 1067253760 260101 4089446400 134512640 135751879 4286866560 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 260560 260101 146 303 0 260255 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1042240 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13645 /proc/meminfo: memFree=30033872/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1103632 CPUtime=582.3 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 275480 0 0 0 57732 498 0 0 25 0 1 0 130932402 1130119168 275365 4089446400 134512640 135751879 4286866560 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 275908 275365 146 303 0 275603 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1103632 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13647 /proc/meminfo: memFree=29864564/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1250552 CPUtime=642.32 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 312197 0 0 0 63682 550 0 0 25 0 1 0 130932402 1280565248 312082 4089446400 134512640 135751879 4286866560 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 312638 312082 146 303 0 312333 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1250552 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13651 /proc/meminfo: memFree=29477876/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1540456 CPUtime=822.32 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 384548 0 0 0 81583 649 0 0 25 0 1 0 130932402 1577426944 384433 4089446400 134512640 135751879 4286866560 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 385114 384433 146 303 0 384809 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1540456 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13653 /proc/meminfo: memFree=29325436/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1666456 CPUtime=882.32 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 416030 0 0 0 87537 695 0 0 25 0 1 0 130932402 1706450944 415915 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 416614 415915 146 303 0 416309 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1666456 [startup+942.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 13655 /proc/meminfo: memFree=29221844/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1742028 CPUtime=942.32 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 434906 0 0 0 93510 722 0 0 25 0 1 0 130932402 1783836672 434791 4089446400 134512640 135751879 4286866560 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 435507 434791 146 303 0 435202 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1742028 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13656 /proc/meminfo: memFree=29142088/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1797044 CPUtime=1002.32 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 448643 0 0 0 99491 741 0 0 25 0 1 0 130932402 1840173056 448528 4089446400 134512640 135751879 4286866560 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 449261 448528 146 303 0 448956 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1797044 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13658 /proc/meminfo: memFree=29073724/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1851744 CPUtime=1062.32 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 462271 0 0 0 105471 761 0 0 25 0 1 0 130932402 1896185856 462156 4089446400 134512640 135751879 4286866560 18446744073709551615 134616459 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 462936 462156 146 303 0 462631 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1851744 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13659 /proc/meminfo: memFree=29022348/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1902876 CPUtime=1122.33 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 475026 0 0 0 111452 781 0 0 25 0 1 0 130932402 1948545024 474911 4089446400 134512640 135751879 4286866560 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 475719 474911 146 303 0 475414 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1902876 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13664 /proc/meminfo: memFree=28970120/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=1953892 CPUtime=1182.32 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 487771 0 0 0 117433 799 0 0 25 0 1 0 130932402 2000785408 487656 4089446400 134512640 135751879 4286866560 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 488473 487656 146 303 0 488168 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1953892 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13666 /proc/meminfo: memFree=28905724/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2015600 CPUtime=1242.33 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 503166 0 0 0 123410 823 0 0 25 0 1 0 130932402 2063974400 503051 4089446400 134512640 135751879 4286866560 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 503900 503051 146 303 0 503595 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2015600 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13667 /proc/meminfo: memFree=28840828/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2076668 CPUtime=1302.33 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 518414 0 0 0 129386 847 0 0 25 0 1 0 130932402 2126508032 518299 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 519167 518299 146 303 0 518862 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 2076668 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13669 /proc/meminfo: memFree=28703032/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2210292 CPUtime=1362.33 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 551788 0 0 0 135337 896 0 0 25 0 1 0 130932402 2263339008 551673 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 552573 551673 146 303 0 552268 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2210292 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13670 /proc/meminfo: memFree=28572052/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2340084 CPUtime=1422.34 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 584230 0 0 0 141295 939 0 0 25 0 1 0 130932402 2396246016 584115 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 585021 584115 146 303 0 584716 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2340084 [startup+1482.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 13672 /proc/meminfo: memFree=28447524/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2465644 CPUtime=1482.34 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 615624 0 0 0 147255 979 0 0 25 0 1 0 130932402 2524819456 615509 4089446400 134512640 135751879 4286866560 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 616411 615509 146 303 0 616106 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 2465644 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13674 /proc/meminfo: memFree=28341964/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2569116 CPUtime=1542.34 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 641469 0 0 0 153216 1018 0 0 25 0 1 0 130932402 2630774784 641354 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 642279 641354 146 303 0 641974 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2569116 [startup+1602.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13675 /proc/meminfo: memFree=28283648/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2625400 CPUtime=1602.34 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 655518 0 0 0 159196 1038 0 0 25 0 1 0 130932402 2688409600 655403 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 656350 655403 146 303 0 656045 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 2625400 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13677 /proc/meminfo: memFree=28228676/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2679568 CPUtime=1662.33 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 669050 0 0 0 165174 1059 0 0 25 0 1 0 130932402 2743877632 668935 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 669892 668935 146 303 0 669587 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2679568 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13678 /proc/meminfo: memFree=28100672/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2808348 CPUtime=1722.34 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 701265 0 0 0 171130 1104 0 0 25 0 1 0 130932402 2875748352 701150 4089446400 134512640 135751879 4286866560 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 702087 701150 146 303 0 701782 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2808348 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13680 /proc/meminfo: memFree=27980236/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2927452 CPUtime=1782.34 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 731023 0 0 0 177089 1145 0 0 25 0 1 0 130932402 2997710848 730908 4089446400 134512640 135751879 4286866560 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 731863 730908 146 303 0 731558 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2927452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13680 /proc/meminfo: memFree=27945996/32951124 swapFree=67111528/67111528 [pid=13492] ppid=13490 vsize=2960608 CPUtime=1800.05 /proc/13492/stat : 13492 (wbo1.4a) R 13490 13492 11902 0 -1 4202496 739312 0 0 0 178848 1157 0 0 25 0 1 0 130932402 3031662592 739197 4089446400 134512640 135751879 4286866560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/13492/statm: 740152 739197 146 303 0 739847 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2960608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.1 CPU time (s): 1800.15 CPU user time (s): 1788.48 CPU system time (s): 11.6662 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2960608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.48 system time used= 11.6662 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 739312 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= 3112 runsolver used 3.07753 second user time and 6.70698 second system time The end
Begin job on node142 at 2010-06-30 13:12:58 IDJOB=2689842 IDBENCH=78782 IDSOLVER=1200 FILE ID=node142/2689842-1277896378 PBS_JOBID= 11197069 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689842-1277896378/watcher-2689842-1277896378 -o /tmp/evaluation-result-2689842-1277896378/solver-2689842-1277896378 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689842-1277896378.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2c30a8298656a46724ae4314cbfd6760 RANDOM SEED=1829521042 node142.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.827 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.65 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 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.827 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.82 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.827 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.827 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31433740 kB Buffers: 178332 kB Cached: 1070072 kB SwapCached: 0 kB Active: 536892 kB Inactive: 838604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31433740 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2832 kB Writeback: 0 kB AnonPages: 127272 kB Mapped: 15284 kB Slab: 78840 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 271788 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= 74172 MiB End job on node142 at 2010-06-30 13:43:00