Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.17 | 1800.17 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo |
MD5SUM | 415715e3de5713a6aca23e12a1a413cb |
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 | 206 |
Best CPU time to get the best result obtained on this benchmark | 1.13183 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
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-2700112-1278533982.wbo. 0.00/0.00 c Instance file HOME/instance-2700112-1278533982.wbo 0.00/0.00 c File size is 44983 bytes. 0.00/0.00 c Highest Coefficient sum: 21 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: 200 | 0.00/0.00 c | Number Clauses: 1050 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 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 | 200 1050 4526 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #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 | 337 1187 5188 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #2 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 | 471 1321 5835 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.01 c core #3 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 584 1434 6377 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #4 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 750 1600 7197 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #5 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 897 1747 7922 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.02 c core #6 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1082 1931 8846 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #7 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1232 2081 9585 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #8 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1393 2241 10381 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.03 c core #9 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1558 2406 11192 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #10 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1717 2564 11963 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.04 c core #11 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1847 2694 12589 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #12 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1997 2844 13330 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.05 c core #13 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2163 3010 14167 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #14 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2306 3153 14869 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.06 c core #15 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2459 3306 15634 | 5000 0 nan | 0.000 % | 0.05/0.06 c =============================================================================== 0.05/0.07 c core #16 0.05/0.07 c ============================[ Search Statistics ]============================== 0.05/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.07 c =============================================================================== 0.05/0.07 c | 0 | 2687 3524 16766 | 5000 0 nan | 0.000 % | 0.05/0.07 c =============================================================================== 0.05/0.07 c core #17 0.05/0.07 c ============================[ Search Statistics ]============================== 0.05/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.07 c =============================================================================== 0.05/0.07 c | 0 | 2891 3728 17818 | 5000 0 nan | 0.000 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c core #18 0.05/0.08 c ============================[ Search Statistics ]============================== 0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.08 c =============================================================================== 0.05/0.08 c | 0 | 3121 3956 19021 | 5000 0 nan | 0.000 % | 0.05/0.09 c =============================================================================== 0.05/0.09 c core #19 0.05/0.09 c ============================[ Search Statistics ]============================== 0.05/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.09 c =============================================================================== 0.05/0.09 c | 0 | 3376 4211 20351 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #20 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 3632 4465 21695 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #21 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 3840 4665 22746 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #22 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 4083 4908 24025 | 5000 0 nan | 0.000 % | 0.09/0.13 c | 100 | 4082 4908 24025 | 5500 100 12 | 0.049 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #23 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 4320 5138 25237 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #24 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 4589 5406 26665 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.18 c core #25 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 4876 5691 28195 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #26 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 5144 5958 29610 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.21 c core #27 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 5415 6226 31046 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 100 | 5411 6226 31046 | 5500 97 11 | 0.111 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #28 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 5708 6514 32582 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 100 | 5704 6514 32582 | 5500 99 10 | 0.212 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #29 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 5989 6790 34051 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 100 | 5969 6790 34051 | 5500 70 9 | 0.534 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #30 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 6265 7063 35496 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #31 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 6515 7312 36793 | 5000 0 nan | 0.000 % | 0.28/0.31 c =============================================================================== 0.28/0.31 c core #32 0.28/0.31 c ============================[ Search Statistics ]============================== 0.28/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.31 c =============================================================================== 0.28/0.31 c | 0 | 6822 7616 38426 | 5000 0 nan | 0.000 % | 0.28/0.33 c | 102 | 6807 7616 38426 | 5500 72 9 | 0.293 % | 0.28/0.33 c =============================================================================== 0.28/0.34 c core #33 0.28/0.34 c ============================[ Search Statistics ]============================== 0.28/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.34 c =============================================================================== 0.28/0.34 c | 0 | 7098 7888 39866 | 5000 0 nan | 0.000 % | 0.28/0.35 c =============================================================================== 0.28/0.36 c core #34 0.28/0.36 c ============================[ Search Statistics ]============================== 0.28/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.36 c =============================================================================== 0.28/0.36 c | 0 | 7354 8143 41208 | 5000 0 nan | 0.000 % | 0.28/0.37 c | 100 | 7342 8143 41208 | 5500 57 10 | 0.435 % | 0.28/0.37 c =============================================================================== 0.28/0.38 c core #35 0.28/0.38 c ============================[ Search Statistics ]============================== 0.28/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.38 c =============================================================================== 0.28/0.38 c | 0 | 7619 8408 42595 | 5000 0 nan | 0.000 % | 0.28/0.39 c =============================================================================== 0.39/0.40 c core #36 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 7880 8665 43953 | 5000 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.42 c core #37 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 8143 8922 45314 | 5000 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #38 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 8411 9188 46748 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.46 c core #39 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 8671 9444 48102 | 5000 0 nan | 0.000 % | 0.39/0.48 c | 100 | 8662 9444 48102 | 5500 100 10 | 0.277 % | 0.39/0.48 c =============================================================================== 0.39/0.49 c core #40 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 8952 9722 49587 | 5000 0 nan | 0.000 % | 0.48/0.50 c =============================================================================== 0.48/0.51 c core #41 0.48/0.51 c ============================[ Search Statistics ]============================== 0.48/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.51 c =============================================================================== 0.48/0.51 c | 0 | 9221 9989 51006 | 5000 0 nan | 0.000 % | 0.48/0.53 c | 101 | 9215 9989 51006 | 5500 101 10 | 0.390 % | 0.48/0.53 c =============================================================================== 0.48/0.54 c core #42 0.48/0.54 c ============================[ Search Statistics ]============================== 0.48/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.54 c =============================================================================== 0.48/0.54 c | 0 | 9509 10273 52527 | 5000 0 nan | 0.000 % | 0.48/0.56 c =============================================================================== 0.48/0.56 c core #43 0.48/0.56 c ============================[ Search Statistics ]============================== 0.48/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.56 c =============================================================================== 0.48/0.56 c | 0 | 9809 10569 54116 | 5000 0 nan | 0.000 % | 0.48/0.58 c =============================================================================== 0.48/0.59 c core #44 0.48/0.59 c ============================[ Search Statistics ]============================== 0.48/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.59 c =============================================================================== 0.48/0.59 c | 0 | 10097 10849 55621 | 5000 0 nan | 0.000 % | 0.58/0.61 c | 100 | 10097 10849 55621 | 5500 100 11 | 0.079 % | 0.58/0.61 c =============================================================================== 0.58/0.62 c core #45 0.58/0.62 c ============================[ Search Statistics ]============================== 0.58/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.62 c =============================================================================== 0.58/0.62 c | 0 | 10375 11118 57058 | 5000 0 nan | 0.000 % | 0.58/0.64 c =============================================================================== 0.58/0.65 c core #46 0.58/0.65 c ============================[ Search Statistics ]============================== 0.58/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.65 c =============================================================================== 0.58/0.65 c | 0 | 10636 11374 58422 | 5000 0 nan | 0.000 % | 0.58/0.67 c | 100 | 10629 11374 58422 | 5500 100 10 | 0.244 % | 0.58/0.67 c =============================================================================== 0.58/0.68 c core #47 0.58/0.68 c ============================[ Search Statistics ]============================== 0.58/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.68 c =============================================================================== 0.58/0.68 c | 0 | 10932 11656 59980 | 5000 0 nan | 0.000 % | 0.69/0.70 c | 101 | 10913 11656 59980 | 5500 101 10 | 0.384 % | 0.69/0.70 c =============================================================================== 0.69/0.71 c core #48 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 11250 11961 61652 | 5000 0 nan | 0.000 % | 0.69/0.73 c | 100 | 11250 11961 61652 | 5500 100 12 | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.76 c core #49 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 11565 12262 63291 | 5000 0 nan | 0.000 % | 0.69/0.78 c | 101 | 11565 12262 63291 | 5500 101 11 | 0.000 % | 0.69/0.80 c =============================================================================== 0.78/0.80 c core #50 0.78/0.80 c ============================[ Search Statistics ]============================== 0.78/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.80 c =============================================================================== 0.78/0.80 c | 0 | 11871 12540 64822 | 5000 0 nan | 0.000 % | 0.78/0.83 c | 100 | 11871 12540 64822 | 5500 100 10 | 0.000 % | 0.78/0.84 c =============================================================================== 0.78/0.85 c core #51 0.78/0.85 c ============================[ Search Statistics ]============================== 0.78/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.85 c =============================================================================== 0.78/0.85 c | 0 | 12174 12822 66365 | 5000 0 nan | 0.000 % | 0.78/0.87 c | 101 | 12173 12822 66365 | 5500 101 11 | 0.049 % | 0.78/0.88 c =============================================================================== 0.78/0.89 c core #52 0.78/0.89 c ============================[ Search Statistics ]============================== 0.78/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.89 c =============================================================================== 0.78/0.89 c | 0 | 12466 13097 67856 | 5000 0 nan | 0.000 % | 0.88/0.92 c | 102 | 12442 13097 67856 | 5500 73 9 | 0.289 % | 0.88/0.92 c =============================================================================== 0.88/0.93 c core #53 0.88/0.93 c ============================[ Search Statistics ]============================== 0.88/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/0.93 c =============================================================================== 0.88/0.93 c | 0 | 12769 13379 69429 | 5000 0 nan | 0.000 % | 0.88/0.96 c | 100 | 12769 13379 69429 | 5500 100 11 | 0.000 % | 0.88/0.97 c =============================================================================== 0.88/0.98 c core #54 0.88/0.98 c ============================[ Search Statistics ]============================== 0.88/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/0.98 c =============================================================================== 0.88/0.98 c | 0 | 13111 13698 71206 | 5000 0 nan | 0.000 % | 0.99/1.01 c | 100 | 13103 13698 71206 | 5500 100 10 | 0.061 % | 0.99/1.02 c =============================================================================== 0.99/1.03 c core #55 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 13436 13996 72862 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.07 c core #56 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 13742 14270 74385 | 5000 0 nan | 0.000 % | 0.99/1.10 c | 100 | 13736 14270 74385 | 5500 100 11 | 0.102 % | 1.09/1.11 c =============================================================================== 1.09/1.12 c core #57 1.09/1.12 c ============================[ Search Statistics ]============================== 1.09/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.12 c =============================================================================== 1.09/1.12 c | 0 | 14088 14583 76135 | 5000 0 nan | 0.000 % | 1.09/1.15 c | 100 | 14084 14583 76135 | 5500 100 11 | 0.099 % | 1.09/1.16 c =============================================================================== 1.09/1.17 c core #58 1.09/1.17 c ============================[ Search Statistics ]============================== 1.09/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.17 c =============================================================================== 1.09/1.17 c | 0 | 14429 14882 77831 | 5000 0 nan | 0.000 % | 1.18/1.20 c | 100 | 14426 14882 77831 | 5500 100 12 | 0.055 % | 1.18/1.21 c =============================================================================== 1.18/1.22 c core #59 1.18/1.22 c ============================[ Search Statistics ]============================== 1.18/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.22 c =============================================================================== 1.18/1.22 c | 0 | 14798 15195 79653 | 5065 0 nan | 0.000 % | 1.18/1.25 c | 100 | 14797 15195 79653 | 5571 100 14 | 0.014 % | 1.18/1.28 c =============================================================================== 1.18/1.29 c core #60 1.18/1.29 c ============================[ Search Statistics ]============================== 1.18/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.29 c =============================================================================== 1.18/1.29 c | 0 | 15156 15505 81445 | 5168 0 nan | 0.000 % | 1.29/1.33 c | 101 | 15151 15505 81445 | 5685 43 8 | 0.066 % | 1.29/1.35 c =============================================================================== 1.29/1.37 c core #61 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 15563 15809 83288 | 5269 0 nan | 0.000 % | 1.29/1.39 c | 100 | 15558 15809 83288 | 5796 100 10 | 0.077 % | 1.38/1.43 c | 251 | 15520 15809 83288 | 6376 177 11 | 0.283 % | 1.38/1.44 c =============================================================================== 1.38/1.45 c core #62 1.38/1.45 c ============================[ Search Statistics ]============================== 1.38/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.45 c =============================================================================== 1.38/1.45 c | 0 | 15965 16108 85102 | 5369 0 nan | 0.000 % | 1.38/1.48 c | 101 | 15965 16108 85102 | 5906 101 14 | 0.000 % | 1.49/1.52 c | 251 | 15965 16108 85102 | 6496 251 14 | 0.000 % | 1.49/1.56 c | 476 | 15948 16108 85102 | 7146 475 14 | 0.125 % | 1.59/1.62 c | 813 | 15883 16108 85102 | 7861 730 14 | 0.601 % | 1.69/1.71 c | 1319 | 15703 16108 85102 | 8647 486 15 | 1.641 % | 1.78/1.83 c =============================================================================== 1.78/1.85 c core #63 1.78/1.85 c ============================[ Search Statistics ]============================== 1.78/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.78/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.78/1.85 c =============================================================================== 1.78/1.85 c | 0 | 16509 16445 87355 | 5481 0 nan | 0.000 % | 1.78/1.88 c | 102 | 16509 16445 87355 | 6029 102 12 | 0.000 % | 1.89/1.91 c | 252 | 16493 16445 87355 | 6632 205 15 | 0.097 % | 1.89/1.95 c | 478 | 16326 16445 87355 | 7296 422 17 | 1.175 % | 1.99/2.02 c | 815 | 16315 16445 87355 | 8025 601 22 | 1.175 % | 2.09/2.11 c | 1321 | 16315 16445 87355 | 8828 1107 22 | 1.175 % | 2.19/2.24 c | 2081 | 16315 16445 87355 | 9711 1867 23 | 1.175 % | 2.39/2.44 c | 3221 | 16315 16445 87355 | 10682 3007 23 | 1.175 % | 2.69/2.75 c | 4929 | 16315 16445 87355 | 11750 4715 26 | 1.175 % | 3.19/3.22 c | 7491 | 15896 16445 87355 | 12925 1663 22 | 3.713 % | 3.49/3.53 c =============================================================================== 3.49/3.56 c core #64 3.49/3.56 c ============================[ Search Statistics ]============================== 3.49/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.56 c =============================================================================== 3.49/3.56 c | 0 | 17026 16771 89503 | 5590 0 nan | 0.000 % | 3.49/3.59 c | 102 | 17022 16771 89503 | 6149 102 12 | 0.129 % | 3.58/3.62 c | 252 | 16842 16771 89503 | 6764 124 41 | 1.081 % | 3.58/3.67 c | 478 | 16842 16771 89503 | 7440 350 36 | 1.081 % | 3.68/3.73 c | 815 | 16842 16771 89503 | 8184 687 35 | 1.081 % | 3.79/3.81 c | 1321 | 16842 16771 89503 | 9003 1193 37 | 1.081 % | 3.89/3.93 c | 2080 | 16842 16771 89503 | 9903 1952 36 | 1.081 % | 4.09/4.16 c | 3221 | 16842 16771 89503 | 10893 3093 37 | 1.081 % | 4.39/4.49 c | 4930 | 16842 16771 89503 | 11983 4802 39 | 1.081 % | 4.98/5.04 c | 7494 | 16842 16771 89503 | 13181 7366 40 | 1.081 % | 5.79/5.86 c | 11339 | 16842 16771 89503 | 14499 11211 45 | 1.081 % | 7.38/7.49 c | 17105 | 16842 16771 89503 | 15949 9186 53 | 1.081 % | 9.98/10.02 c | 25757 | 16842 16771 89503 | 17544 9511 48 | 1.081 % | 13.69/13.73 c | 38732 | 16842 16771 89503 | 19299 13112 56 | 1.081 % | 18.78/18.89 c | 58194 | 16676 16771 89503 | 21229 8140 49 | 2.056 % | 27.18/27.28 c | 87389 | 16676 16771 89503 | 23352 15133 68 | 2.056 % | 39.69/39.77 c | 131178 | 16380 16771 89503 | 25687 15561 62 | 3.794 % | 40.39/40.45 c =============================================================================== 41.19/41.20 c core #65 41.19/41.20 c ============================[ Search Statistics ]============================== 41.19/41.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.19/41.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.19/41.20 c =============================================================================== 41.19/41.20 c | 0 | 17528 17059 91497 | 5686 0 nan | 0.000 % | 41.19/41.24 c | 100 | 17528 17059 91497 | 6254 100 18 | 0.000 % | 41.19/41.28 c | 250 | 17520 17059 91497 | 6880 250 18 | 0.046 % | 41.28/41.33 c | 476 | 17450 17059 91497 | 7568 453 28 | 0.468 % | 41.38/41.41 c | 813 | 17446 17059 91497 | 8325 606 41 | 0.468 % | 41.49/41.51 c | 1319 | 17446 17059 91497 | 9157 1112 45 | 0.468 % | 41.59/41.67 c | 2079 | 17446 17059 91497 | 10073 1872 46 | 0.468 % | 41.89/41.94 c | 3219 | 17446 17059 91497 | 11081 3012 47 | 0.468 % | 42.29/42.34 c | 4928 | 17446 17059 91497 | 12189 4721 53 | 0.468 % | 42.89/42.99 c | 7491 | 17446 17059 91497 | 13408 7284 56 | 0.468 % | 43.89/43.99 c | 11336 | 17446 17059 91497 | 14748 11129 60 | 0.468 % | 45.59/45.68 c | 17105 | 17446 17059 91497 | 16223 9145 64 | 0.468 % | 48.19/48.29 c | 25754 | 17446 17059 91497 | 17846 9421 73 | 0.468 % | 51.59/51.61 c | 38731 | 17446 17059 91497 | 19630 12999 70 | 0.468 % | 57.88/57.96 c | 58197 | 17446 17059 91497 | 21593 11754 82 | 0.468 % | 67.38/67.41 c | 87391 | 17444 17059 91497 | 23753 17924 85 | 0.479 % | 83.29/83.37 c | 131183 | 17442 17059 91497 | 26128 24322 101 | 0.491 % | 118.09/118.16 c | 196870 | 17422 17059 91497 | 28741 20425 98 | 0.605 % | 162.76/162.87 c | 295398 | 17396 17059 91497 | 31615 15839 81 | 0.753 % | 232.25/232.37 c | 443188 | 17392 17059 91497 | 34777 16340 114 | 0.776 % | 367.26/367.33 c | 664871 | 17382 17059 91497 | 38254 16236 147 | 0.833 % | 566.96/567.02 c | 997397 | 17380 17059 91497 | 42080 17463 139 | 0.844 % | 837.87/837.99 c | 1496185 | 17380 17059 91497 | 46288 40204 119 | 0.844 % | 1273.28/1273.37 c | 2244370 | 17380 17059 91497 | 50917 20933 144 | 0.844 % |
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-2700112-1278533982/watcher-2700112-1278533982 -o /tmp/evaluation-result-2700112-1278533982/solver-2700112-1278533982 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700112-1278533982.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: 4.39 2.04 0.78 6/186 19678 /proc/meminfo: memFree=29179648/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=2572 CPUtime=0 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 296 0 0 0 0 0 0 0 23 0 1 0 21611786 2633728 204 4089446400 134512640 135751879 4289753696 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 643 204 142 303 0 338 0 [startup+0.0653889 s] /proc/loadavg: 4.39 2.04 0.78 6/186 19678 /proc/meminfo: memFree=29179648/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=3684 CPUtime=0.05 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 577 0 0 0 5 0 0 0 24 0 1 0 21611786 3772416 485 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 921 485 145 303 0 616 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3684 [startup+0.10074 s] /proc/loadavg: 4.39 2.04 0.78 6/186 19678 /proc/meminfo: memFree=29179648/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=4000 CPUtime=0.09 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 674 0 0 0 8 1 0 0 24 0 1 0 21611786 4096000 571 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 1000 571 145 303 0 695 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4000 [startup+0.300345 s] /proc/loadavg: 4.39 2.04 0.78 6/186 19678 /proc/meminfo: memFree=29179648/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=5528 CPUtime=0.28 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 1230 0 0 0 26 2 0 0 25 0 1 0 21611786 5660672 921 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 1382 921 146 303 0 1077 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5528 [startup+0.700298 s] /proc/loadavg: 4.39 2.04 0.78 6/186 19678 /proc/meminfo: memFree=29179648/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=8676 CPUtime=0.69 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 2290 0 0 0 61 8 0 0 25 0 1 0 21611786 8884224 1689 4089446400 134512640 135751879 4289753696 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 2169 1689 146 303 0 1864 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8676 [startup+1.50013 s] /proc/loadavg: 4.39 2.04 0.78 4/187 19679 /proc/meminfo: memFree=29172200/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=11824 CPUtime=1.49 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 3778 0 0 0 134 15 0 0 25 0 1 0 21611786 12107776 2452 4089446400 134512640 135751879 4289753696 18446744073709551615 134518948 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 2956 2452 146 303 0 2651 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11824 [startup+3.10084 s] /proc/loadavg: 4.39 2.04 0.78 6/187 19679 /proc/meminfo: memFree=29169972/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=11824 CPUtime=3.08 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 3791 0 0 0 292 16 0 0 25 0 1 0 21611786 12107776 2465 4089446400 134512640 135751879 4289753696 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 2956 2465 146 303 0 2651 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11824 [startup+6.30117 s] /proc/loadavg: 4.60 2.12 0.82 7/187 19679 /proc/meminfo: memFree=29168092/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=13764 CPUtime=6.29 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 4275 0 0 0 610 19 0 0 25 0 1 0 21611786 14094336 2949 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 3441 2949 146 303 0 3136 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13764 [startup+12.7014 s] /proc/loadavg: 4.47 2.14 0.83 3/187 19679 /proc/meminfo: memFree=29160744/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=21908 CPUtime=12.69 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 6324 0 0 0 1247 22 0 0 25 0 1 0 21611786 22433792 4998 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 5477 4998 146 303 0 5172 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21908 [startup+25.5009 s] /proc/loadavg: 4.59 2.28 0.89 5/187 19679 /proc/meminfo: memFree=29142244/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=40232 CPUtime=25.49 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 10885 0 0 0 2522 27 0 0 25 0 1 0 21611786 41197568 9559 4089446400 134512640 135751879 4289753696 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 10058 9559 146 303 0 9753 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40232 [startup+51.101 s] /proc/loadavg: 4.56 2.46 0.99 8/187 19680 /proc/meminfo: memFree=29114936/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=67200 CPUtime=51.09 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 17655 0 0 0 5071 38 0 0 25 0 1 0 21611786 68812800 16329 4089446400 134512640 135751879 4289753696 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 16800 16329 146 303 0 16495 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 67200 [startup+102.307 s] /proc/loadavg: 4.68 2.82 1.19 3/187 19681 /proc/meminfo: memFree=29056948/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=125168 CPUtime=102.29 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 32049 0 0 0 10175 54 0 0 25 0 1 0 21611786 128172032 30723 4089446400 134512640 135751879 4289753696 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19678/statm: 31292 30723 146 303 0 30987 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 125168 [startup+162.301 s] /proc/loadavg: 4.41 3.08 1.38 3/187 19690 /proc/meminfo: memFree=28989892/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=193376 CPUtime=162.25 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 48965 0 0 0 16141 84 0 0 25 0 1 0 21611786 198017024 47639 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 48344 47639 146 303 0 48039 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 193376 [startup+222.301 s] /proc/loadavg: 3.04 2.95 1.44 3/179 19892 /proc/meminfo: memFree=28900772/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=272976 CPUtime=222.25 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 68819 0 0 0 22110 115 0 0 25 0 1 0 21611786 279527424 67493 4089446400 134512640 135751879 4289753696 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 68244 67493 146 303 0 67939 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 272976 [startup+282.301 s] /proc/loadavg: 2.38 2.77 1.47 3/179 19893 /proc/meminfo: memFree=28757084/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=345440 CPUtime=282.25 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 86863 0 0 0 28083 142 0 0 25 0 1 0 21611786 353730560 85537 4089446400 134512640 135751879 4289753696 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 86360 85537 146 303 0 86055 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 345440 [startup+342.301 s] /proc/loadavg: 2.14 2.63 1.50 3/179 19895 /proc/meminfo: memFree=28620144/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=402860 CPUtime=342.25 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 101161 0 0 0 34064 161 0 0 25 0 1 0 21611786 412528640 99835 4089446400 134512640 135751879 4289753696 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 100715 99835 146 303 0 100410 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 402860 [startup+402.301 s] /proc/loadavg: 2.05 2.51 1.53 3/179 19896 /proc/meminfo: memFree=28478004/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=466724 CPUtime=402.25 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 117068 0 0 0 40037 188 0 0 25 0 1 0 21611786 477925376 115742 4089446400 134512640 135751879 4289753696 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 116681 115742 146 303 0 116376 0 Current children cumulated CPU time (s) 402.25 Current children cumulated vsize (KiB) 466724 [startup+462.301 s] /proc/loadavg: 2.02 2.42 1.56 3/179 19898 /proc/meminfo: memFree=28330012/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=531496 CPUtime=462.26 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 133216 0 0 0 46009 217 0 0 25 0 1 0 21611786 544251904 131890 4089446400 134512640 135751879 4289753696 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 132874 131890 146 303 0 132569 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 531496 [startup+522.301 s] /proc/loadavg: 2.00 2.34 1.58 3/179 19900 /proc/meminfo: memFree=28193696/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=592696 CPUtime=522.25 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 148450 0 0 0 51986 239 0 0 25 0 1 0 21611786 606920704 147124 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 148174 147124 146 303 0 147869 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 592696 [startup+582.301 s] /proc/loadavg: 2.00 2.27 1.60 3/179 19901 /proc/meminfo: memFree=28049292/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=655868 CPUtime=582.26 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 164207 0 0 0 57963 263 0 0 25 0 1 0 21611786 671608832 162881 4089446400 134512640 135751879 4289753696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 163967 162881 146 303 0 163662 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 655868 [startup+642.301 s] /proc/loadavg: 2.00 2.22 1.63 3/179 19903 /proc/meminfo: memFree=27903780/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=720952 CPUtime=642.26 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 180436 0 0 0 63939 287 0 0 25 0 1 0 21611786 738254848 179110 4089446400 134512640 135751879 4289753696 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 180238 179110 146 303 0 179933 0 Current children cumulated CPU time (s) 642.26 Current children cumulated vsize (KiB) 720952 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.07 2.11 1.70 3/179 19909 /proc/meminfo: memFree=27330032/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=972732 CPUtime=882.26 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 243215 0 0 0 87821 405 0 0 25 0 1 0 21611786 996077568 241889 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 243183 241889 146 303 0 242878 0 Current children cumulated CPU time (s) 882.26 Current children cumulated vsize (KiB) 972732 [startup+942.301 s] /proc/loadavg: 2.02 2.08 1.72 3/179 19911 /proc/meminfo: memFree=27191100/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1031184 CPUtime=942.27 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 257765 0 0 0 93797 430 0 0 25 0 1 0 21611786 1055932416 256439 4089446400 134512640 135751879 4289753696 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 257796 256439 146 303 0 257491 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 1031184 [startup+1002.3 s] /proc/loadavg: 2.01 2.07 1.74 3/179 19912 /proc/meminfo: memFree=27046472/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1096064 CPUtime=1002.28 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 273921 0 0 0 99769 459 0 0 25 0 1 0 21611786 1122369536 272595 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19678/statm: 274016 272595 146 303 0 273711 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 1096064 [startup+1062.3 s] /proc/loadavg: 2.00 2.05 1.75 3/179 19914 /proc/meminfo: memFree=26898236/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1167112 CPUtime=1062.27 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 291637 0 0 0 105737 490 0 0 25 0 1 0 21611786 1195122688 290311 4089446400 134512640 135751879 4289753696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19678/statm: 291778 290311 146 303 0 291473 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 1167112 [startup+1122.3 s] /proc/loadavg: 2.00 2.04 1.76 3/179 19916 /proc/meminfo: memFree=26749264/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1234356 CPUtime=1122.28 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 308374 0 0 0 111705 523 0 0 25 0 1 0 21611786 1263980544 307048 4089446400 134512640 135751879 4289753696 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19678/statm: 308589 307048 146 303 0 308284 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 1234356 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 1.77 3/179 19917 /proc/meminfo: memFree=26607844/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1301456 CPUtime=1182.27 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 325081 0 0 0 117678 549 0 0 25 0 1 0 21611786 1332690944 323755 4089446400 134512640 135751879 4289753696 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19678/statm: 325364 323755 146 303 0 325059 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 1301456 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 1.78 3/179 19919 /proc/meminfo: memFree=26456388/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1370732 CPUtime=1242.27 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 342358 0 0 0 123654 573 0 0 25 0 1 0 21611786 1403629568 341032 4089446400 134512640 135751879 4289753696 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 342683 341032 146 303 0 342378 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 1370732 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 1.79 3/179 19920 /proc/meminfo: memFree=26324896/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1421956 CPUtime=1302.28 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 355117 0 0 0 129634 594 0 0 25 0 1 0 21611786 1456082944 353791 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 355489 353791 146 303 0 355184 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 1421956 [startup+1362.3 s] /proc/loadavg: 2.08 2.03 1.81 3/179 19922 /proc/meminfo: memFree=26183848/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1484380 CPUtime=1362.28 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 370676 0 0 0 135609 619 0 0 25 0 1 0 21611786 1520005120 369350 4089446400 134512640 135751879 4289753696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 371095 369350 146 303 0 370790 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 1484380 [startup+1422.31 s] /proc/loadavg: 2.03 2.02 1.82 3/179 19924 /proc/meminfo: memFree=26049132/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1538708 CPUtime=1422.29 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 384215 0 0 0 141586 643 0 0 25 0 1 0 21611786 1575636992 382889 4089446400 134512640 135751879 4289753696 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 384677 382889 146 303 0 384372 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 1538708 [startup+1482.3 s] /proc/loadavg: 2.04 2.03 1.83 3/179 19925 /proc/meminfo: memFree=25922588/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1587444 CPUtime=1482.28 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 396361 0 0 0 147562 666 0 0 25 0 1 0 21611786 1625542656 395035 4089446400 134512640 135751879 4289753696 18446744073709551615 134610747 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 396861 395035 146 303 0 396556 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 1587444 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 1.84 3/179 19927 /proc/meminfo: memFree=25788604/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1641056 CPUtime=1542.28 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 409745 0 0 0 153536 692 0 0 25 0 1 0 21611786 1680441344 408419 4089446400 134512640 135751879 4289753696 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 410264 408419 146 303 0 409959 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 1641056 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 1.84 3/179 19928 /proc/meminfo: memFree=25658716/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1693472 CPUtime=1602.28 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 422835 0 0 0 159515 713 0 0 25 0 1 0 21611786 1734115328 421509 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 423368 421509 146 303 0 423063 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 1693472 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.85 3/179 19930 /proc/meminfo: memFree=25526724/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1746920 CPUtime=1662.29 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 436204 0 0 0 165494 735 0 0 25 0 1 0 21611786 1788846080 434878 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 436730 434878 146 303 0 436425 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 1746920 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.86 3/179 19932 /proc/meminfo: memFree=25389644/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1804084 CPUtime=1722.29 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 450486 0 0 0 171472 757 0 0 25 0 1 0 21611786 1847382016 449160 4089446400 134512640 135751879 4289753696 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 451021 449160 146 303 0 450716 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 1804084 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.86 3/179 19933 /proc/meminfo: memFree=25260020/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1852624 CPUtime=1782.29 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 462569 0 0 0 177454 775 0 0 25 0 1 0 21611786 1897086976 461243 4089446400 134512640 135751879 4289753696 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 463156 461243 146 303 0 462851 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 1852624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.00 1.86 3/179 19934 /proc/meminfo: memFree=25214132/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1873356 CPUtime=1800.1 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 467760 0 0 0 179228 782 0 0 25 0 1 0 21611786 1918316544 466434 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 468339 466434 146 303 0 468034 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1873356 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.00 2.00 1.86 3/179 19934 /proc/meminfo: memFree=25214132/32950928 swapFree=67111528/67111528 [pid=19678] ppid=19676 vsize=1873356 CPUtime=1800.1 /proc/19678/stat : 19678 (wbo1.4a) R 19676 19678 18990 0 -1 4202496 467760 0 0 0 179228 782 0 0 25 0 1 0 21611786 1918316544 466434 4089446400 134512640 135751879 4289753696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19678/statm: 468339 466434 146 303 0 468034 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1873356 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.17 CPU time (s): 1800.17 CPU user time (s): 1792.28 CPU system time (s): 7.8878 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 1873356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.28 system time used= 7.8878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 467760 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= 20 involuntary context switches= 1778 runsolver used 2.71359 second user time and 5.54016 second system time The end
Begin job on node116 at 2010-07-07 22:19:42 IDJOB=2700112 IDBENCH=79401 IDSOLVER=1200 FILE ID=node116/2700112-1278533982 PBS_JOBID= 11239245 Free space on /tmp= 73448 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh15_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700112-1278533982/watcher-2700112-1278533982 -o /tmp/evaluation-result-2700112-1278533982/solver-2700112-1278533982 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700112-1278533982.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 415715e3de5713a6aca23e12a1a413cb RANDOM SEED=515424507 node116.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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.83 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.858 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.858 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: 32950928 kB MemFree: 29179928 kB Buffers: 138700 kB Cached: 3384516 kB SwapCached: 0 kB Active: 1276732 kB Inactive: 2343484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29179928 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2360 kB Writeback: 0 kB AnonPages: 97256 kB Mapped: 19132 kB Slab: 87176 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 313672 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= 73456 MiB End job on node116 at 2010-07-07 22:49:44