Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.13 | 1800.16 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo |
MD5SUM | 8b86218007c145a9ce1787d0bbf0d30b |
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 | 395 |
Best CPU time to get the best result obtained on this benchmark | 1.59076 |
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 | 1000 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 10 |
Top cost | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
Biggest number in a constraint | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 19 |
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-2699944-1278533859.wbo. 0.00/0.00 c Instance file HOME/instance-2699944-1278533859.wbo 0.00/0.00 c File size is 48035 bytes. 0.00/0.00 c Highest Coefficient sum: 19 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: 1100 | 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 1100 4841 | 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 | 227 1127 4958 | 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 | 255 1155 5081 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #3 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 | 300 1200 5282 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #4 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 | 344 1244 5478 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #5 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 | 391 1291 5695 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.01 c core #6 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 | 435 1335 5898 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #7 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 | 496 1395 6179 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #8 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 | 567 1465 6509 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #9 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 | 648 1545 6885 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #10 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 | 723 1619 7232 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #11 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 | 795 1689 7561 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.02 c core #12 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 | 870 1760 7903 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #13 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 | 971 1861 8383 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #14 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 | 1065 1955 8828 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #15 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 | 1186 2076 9424 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.03 c core #16 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 | 1304 2193 9997 | 5000 0 nan | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c core #17 0.02/0.03 c ============================[ Search Statistics ]============================== 0.02/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.03 c =============================================================================== 0.02/0.03 c | 0 | 1447 2335 10705 | 5000 0 nan | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.04 c core #18 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 1590 2477 11419 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #19 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 1734 2620 12132 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #20 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 1885 2771 12889 | 5000 0 nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #21 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 2008 2894 13491 | 5000 0 nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.06 c core #22 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 2188 3071 14394 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #23 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 2336 3216 15125 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.07 c core #24 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 2528 3405 16089 | 5000 0 nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c core #25 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 2671 3545 16786 | 5000 0 nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #26 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 2827 3700 17561 | 5000 0 nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.09 c core #27 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 2970 3841 18266 | 5000 0 nan | 0.000 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c core #28 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 3150 4018 19156 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #29 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 | 3339 4206 20113 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #30 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 | 3530 4388 21057 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #31 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 | 3695 4550 21875 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.13 c core #32 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 3858 4708 22686 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #33 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 | 4035 4883 23580 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.15 c core #34 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 4220 5064 24515 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #35 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 4394 5235 25383 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.17 c core #36 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 4599 5436 26420 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.18 c core #37 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 | 4805 5635 27456 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #38 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 | 4991 5815 28380 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.18/0.20 c core #39 0.18/0.20 c ============================[ Search Statistics ]============================== 0.18/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.20 c =============================================================================== 0.18/0.20 c | 0 | 5179 6002 29330 | 5000 0 nan | 0.000 % | 0.18/0.21 c =============================================================================== 0.18/0.22 c core #40 0.18/0.22 c ============================[ Search Statistics ]============================== 0.18/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.22 c =============================================================================== 0.18/0.22 c | 0 | 5381 6188 30319 | 5000 0 nan | 0.000 % | 0.18/0.22 c =============================================================================== 0.18/0.23 c core #41 0.18/0.23 c ============================[ Search Statistics ]============================== 0.18/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.23 c =============================================================================== 0.18/0.23 c | 0 | 5560 6365 31219 | 5000 0 nan | 0.000 % | 0.18/0.23 c =============================================================================== 0.18/0.24 c core #42 0.18/0.24 c ============================[ Search Statistics ]============================== 0.18/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.24 c =============================================================================== 0.18/0.24 c | 0 | 5720 6522 32010 | 5000 0 nan | 0.000 % | 0.18/0.25 c =============================================================================== 0.18/0.25 c core #43 0.18/0.25 c ============================[ Search Statistics ]============================== 0.18/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.25 c =============================================================================== 0.18/0.25 c | 0 | 5955 6757 33225 | 5000 0 nan | 0.000 % | 0.18/0.26 c =============================================================================== 0.18/0.27 c core #44 0.18/0.27 c ============================[ Search Statistics ]============================== 0.18/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.27 c =============================================================================== 0.18/0.27 c | 0 | 6139 6938 34160 | 5000 0 nan | 0.000 % | 0.18/0.28 c =============================================================================== 0.18/0.28 c core #45 0.18/0.28 c ============================[ Search Statistics ]============================== 0.18/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.28 c =============================================================================== 0.18/0.28 c | 0 | 6295 7089 34922 | 5000 0 nan | 0.000 % | 0.18/0.29 c =============================================================================== 0.18/0.29 c core #46 0.18/0.29 c ============================[ Search Statistics ]============================== 0.18/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.18/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.18/0.29 c =============================================================================== 0.18/0.29 c | 0 | 6507 7296 36007 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.31 c core #47 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 6743 7528 37222 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #48 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 6964 7744 38349 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #49 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 7177 7957 39467 | 5000 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #50 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 7386 8166 40569 | 5000 0 nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #51 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 7596 8375 41658 | 5000 0 nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #52 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 7833 8612 42902 | 5000 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #53 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 8034 8811 43931 | 5000 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.43 c core #54 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 8252 9022 45042 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #55 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 | 8451 9219 46071 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #56 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 | 8663 9423 47139 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.49 c core #57 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 | 8863 9618 48154 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.51 c core #58 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 9093 9845 49347 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #59 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 9327 10079 50562 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.56 c core #60 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 9551 10299 51721 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.58 c core #61 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 9768 10505 52810 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.59/0.60 c core #62 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 10002 10738 54037 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.63 c core #63 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 10264 10985 55356 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.66 c core #64 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 10518 11229 56651 | 5000 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.69 c core #65 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 10780 11482 58010 | 5000 0 nan | 0.000 % | 0.68/0.70 c =============================================================================== 0.68/0.71 c core #66 0.68/0.71 c ============================[ Search Statistics ]============================== 0.68/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.71 c =============================================================================== 0.68/0.71 c | 0 | 11036 11715 59276 | 5000 0 nan | 0.000 % | 0.68/0.73 c =============================================================================== 0.68/0.74 c core #67 0.68/0.74 c ============================[ Search Statistics ]============================== 0.68/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.74 c =============================================================================== 0.68/0.74 c | 0 | 11266 11939 60450 | 5000 0 nan | 0.000 % | 0.68/0.76 c =============================================================================== 0.68/0.77 c core #68 0.68/0.77 c ============================[ Search Statistics ]============================== 0.68/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.77 c =============================================================================== 0.68/0.77 c | 0 | 11526 12181 61751 | 5000 0 nan | 0.000 % | 0.68/0.79 c =============================================================================== 0.78/0.80 c core #69 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 | 11801 12438 63151 | 5000 0 nan | 0.000 % | 0.78/0.83 c | 101 | 11785 12438 63151 | 5500 59 12 | 0.136 % | 0.78/0.83 c =============================================================================== 0.78/0.84 c core #70 0.78/0.84 c ============================[ Search Statistics ]============================== 0.78/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.84 c =============================================================================== 0.78/0.84 c | 0 | 12073 12695 64546 | 5000 0 nan | 0.000 % | 0.78/0.86 c | 102 | 12063 12695 64546 | 5500 80 10 | 0.116 % | 0.78/0.86 c =============================================================================== 0.78/0.87 c core #71 0.78/0.87 c ============================[ Search Statistics ]============================== 0.78/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.87 c =============================================================================== 0.78/0.87 c | 0 | 12338 12937 65856 | 5000 0 nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.91 c core #72 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 12637 13210 67338 | 5000 0 nan | 0.000 % | 0.89/0.94 c | 101 | 12635 13210 67338 | 5500 101 16 | 0.016 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #73 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 12899 13465 68690 | 5000 0 nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/1.00 c core #74 0.89/1.00 c ============================[ Search Statistics ]============================== 0.89/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.00 c =============================================================================== 0.89/1.00 c | 0 | 13155 13713 70006 | 5000 0 nan | 0.000 % | 0.99/1.02 c | 100 | 13138 13713 70006 | 5500 100 10 | 0.517 % | 0.99/1.02 c =============================================================================== 0.99/1.04 c core #75 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 13390 13943 71208 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.07 c core #76 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 | 13634 14183 72478 | 5000 0 nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.10 c core #77 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 13864 14410 73655 | 5000 0 nan | 0.000 % | 1.09/1.12 c =============================================================================== 1.09/1.14 c core #78 1.09/1.14 c ============================[ Search Statistics ]============================== 1.09/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.14 c =============================================================================== 1.09/1.14 c | 0 | 14133 14665 75023 | 5000 0 nan | 0.000 % | 1.09/1.16 c =============================================================================== 1.09/1.17 c core #79 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 | 14439 14957 76638 | 5000 0 nan | 0.000 % | 1.18/1.21 c | 102 | 14437 14957 76638 | 5500 102 10 | 0.014 % | 1.18/1.22 c =============================================================================== 1.18/1.23 c core #80 1.18/1.23 c ============================[ Search Statistics ]============================== 1.18/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.23 c =============================================================================== 1.18/1.23 c | 0 | 14715 15221 78051 | 5073 0 nan | 0.000 % | 1.18/1.26 c =============================================================================== 1.18/1.27 c core #81 1.18/1.27 c ============================[ Search Statistics ]============================== 1.18/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.18/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.18/1.27 c =============================================================================== 1.18/1.27 c | 0 | 14995 15479 79450 | 5159 0 nan | 0.000 % | 1.28/1.30 c | 100 | 14989 15479 79450 | 5675 100 10 | 0.707 % | 1.28/1.30 c =============================================================================== 1.28/1.31 c core #82 1.28/1.31 c ============================[ Search Statistics ]============================== 1.28/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.31 c =============================================================================== 1.28/1.31 c | 0 | 15245 15709 80684 | 5236 0 nan | 0.000 % | 1.28/1.34 c | 101 | 15236 15709 80684 | 5759 101 12 | 0.105 % | 1.28/1.35 c =============================================================================== 1.28/1.36 c core #83 1.28/1.36 c ============================[ Search Statistics ]============================== 1.28/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.36 c =============================================================================== 1.28/1.36 c | 0 | 15532 15968 82097 | 5322 0 nan | 0.000 % | 1.28/1.39 c =============================================================================== 1.39/1.40 c core #84 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 15780 16202 83342 | 5400 0 nan | 0.000 % | 1.39/1.43 c | 100 | 15768 16202 83342 | 5940 100 10 | 0.253 % | 1.39/1.43 c =============================================================================== 1.39/1.45 c core #85 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 16092 16492 84924 | 5497 0 nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.49 c core #86 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 16377 16756 86373 | 5585 0 nan | 0.000 % | 1.48/1.52 c =============================================================================== 1.48/1.53 c core #87 1.48/1.53 c ============================[ Search Statistics ]============================== 1.48/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.53 c =============================================================================== 1.48/1.53 c | 0 | 16691 17047 87960 | 5682 0 nan | 0.000 % | 1.48/1.55 c =============================================================================== 1.48/1.57 c core #88 1.48/1.57 c ============================[ Search Statistics ]============================== 1.48/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.57 c =============================================================================== 1.48/1.57 c | 0 | 16962 17304 89339 | 5768 0 nan | 0.000 % | 1.58/1.60 c | 100 | 16955 17304 89339 | 6344 100 10 | 0.118 % | 1.58/1.60 c =============================================================================== 1.58/1.62 c core #89 1.58/1.62 c ============================[ Search Statistics ]============================== 1.58/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.62 c =============================================================================== 1.58/1.62 c | 0 | 17247 17570 90782 | 5856 0 nan | 0.000 % | 1.58/1.65 c =============================================================================== 1.58/1.66 c core #90 1.58/1.66 c ============================[ Search Statistics ]============================== 1.58/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.66 c =============================================================================== 1.58/1.66 c | 0 | 17521 17824 92164 | 5941 0 nan | 0.000 % | 1.58/1.69 c =============================================================================== 1.68/1.71 c core #91 1.68/1.71 c ============================[ Search Statistics ]============================== 1.68/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.71 c =============================================================================== 1.68/1.71 c | 0 | 17812 18088 93609 | 6029 0 nan | 0.000 % | 1.68/1.74 c =============================================================================== 1.68/1.75 c core #92 1.68/1.75 c ============================[ Search Statistics ]============================== 1.68/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.75 c =============================================================================== 1.68/1.75 c | 0 | 18077 18333 94932 | 6111 0 nan | 0.000 % | 1.68/1.78 c | 100 | 18073 18333 94932 | 6722 100 10 | 0.089 % | 1.68/1.79 c =============================================================================== 1.79/1.80 c core #93 1.79/1.80 c ============================[ Search Statistics ]============================== 1.79/1.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.80 c =============================================================================== 1.79/1.80 c | 0 | 18398 18629 96575 | 6209 0 nan | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.85 c core #94 1.79/1.85 c ============================[ Search Statistics ]============================== 1.79/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.85 c =============================================================================== 1.79/1.85 c | 0 | 18681 18889 98004 | 6296 0 nan | 0.000 % | 1.79/1.88 c | 101 | 18670 18889 98004 | 6925 101 12 | 0.118 % | 1.79/1.88 c =============================================================================== 1.88/1.90 c core #95 1.88/1.90 c ============================[ Search Statistics ]============================== 1.88/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.88/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.88/1.90 c =============================================================================== 1.88/1.90 c | 0 | 18983 19172 99574 | 6390 0 nan | 0.000 % | 1.88/1.93 c =============================================================================== 1.88/1.95 c core #96 1.88/1.95 c ============================[ Search Statistics ]============================== 1.88/1.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.88/1.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.88/1.95 c =============================================================================== 1.88/1.95 c | 0 | 19281 19451 101119 | 6483 0 nan | 0.000 % | 1.88/1.98 c | 101 | 19278 19451 101119 | 7132 101 11 | 0.021 % | 1.88/1.99 c =============================================================================== 1.98/2.01 c core #97 1.98/2.01 c ============================[ Search Statistics ]============================== 1.98/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.01 c =============================================================================== 1.98/2.01 c | 0 | 19638 19771 102948 | 6590 0 nan | 0.000 % | 1.98/2.05 c | 100 | 19632 19771 102948 | 7249 100 12 | 0.112 % | 1.98/2.06 c =============================================================================== 1.98/2.07 c core #98 1.98/2.07 c ============================[ Search Statistics ]============================== 1.98/2.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.07 c =============================================================================== 1.98/2.07 c | 0 | 20006 20070 104701 | 6690 0 nan | 0.000 % | 2.09/2.11 c | 100 | 19998 20070 104701 | 7359 100 12 | 0.070 % | 2.09/2.11 c =============================================================================== 2.09/2.13 c core #99 2.09/2.13 c ============================[ Search Statistics ]============================== 2.09/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.13 c =============================================================================== 2.09/2.13 c | 0 | 20311 20349 106252 | 6783 0 nan | 0.000 % | 2.09/2.16 c | 102 | 20307 20349 106252 | 7461 102 10 | 0.108 % | 2.09/2.17 c =============================================================================== 2.09/2.19 c core #100 2.09/2.19 c ============================[ Search Statistics ]============================== 2.09/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.19 c =============================================================================== 2.09/2.19 c | 0 | 20644 20625 107843 | 6875 0 nan | 0.000 % | 2.19/2.22 c | 101 | 20642 20625 107843 | 7562 101 10 | 0.039 % | 2.19/2.23 c =============================================================================== 2.19/2.25 c core #101 2.19/2.25 c ============================[ Search Statistics ]============================== 2.19/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.25 c =============================================================================== 2.19/2.25 c | 0 | 21012 20945 109691 | 6981 0 nan | 0.000 % | 2.19/2.29 c | 100 | 21010 20945 109691 | 7679 100 12 | 0.010 % | 2.28/2.31 c =============================================================================== 2.28/2.33 c core #102 2.28/2.33 c ============================[ Search Statistics ]============================== 2.28/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.33 c =============================================================================== 2.28/2.33 c | 0 | 21392 21261 111543 | 7087 0 nan | 0.000 % | 2.28/2.36 c | 101 | 21358 21261 111543 | 7795 101 12 | 0.159 % | 2.28/2.38 c =============================================================================== 2.28/2.39 c core #103 2.28/2.39 c ============================[ Search Statistics ]============================== 2.28/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.39 c =============================================================================== 2.28/2.39 c | 0 | 21798 21532 113261 | 7177 0 nan | 0.000 % | 2.39/2.42 c | 100 | 21796 21532 113261 | 7895 100 17 | 0.009 % | 2.39/2.46 c | 250 | 21745 21532 113261 | 8684 249 15 | 0.248 % | 2.48/2.50 c | 476 | 21728 21532 113261 | 9553 117 10 | 0.321 % | 2.48/2.50 c =============================================================================== 2.48/2.52 c core #104 2.48/2.52 c ============================[ Search Statistics ]============================== 2.48/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.52 c =============================================================================== 2.48/2.52 c | 0 | 22374 21855 115530 | 7285 0 nan | 0.000 % | 2.48/2.56 c | 100 | 22373 21855 115530 | 8013 100 16 | 0.027 % | 2.48/2.59 c | 252 | 22318 21855 115530 | 8814 252 19 | 0.250 % | 2.59/2.64 c | 478 | 22259 21855 115530 | 9696 157 21 | 0.527 % | 2.68/2.70 c | 816 | 22211 21855 115530 | 10665 299 23 | 0.729 % | 2.68/2.71 c =============================================================================== 2.68/2.73 c core #105 2.68/2.73 c ============================[ Search Statistics ]============================== 2.68/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.73 c =============================================================================== 2.68/2.73 c | 0 | 22876 22122 117448 | 7374 0 nan | 0.000 % | 2.68/2.77 c | 100 | 22876 22122 117448 | 8111 100 13 | 0.017 % | 2.78/2.80 c | 250 | 22860 22122 117448 | 8922 250 15 | 0.070 % | 2.78/2.84 c | 478 | 22860 22122 117448 | 9814 443 18 | 0.070 % | 2.88/2.91 c | 818 | 22841 22122 117448 | 10796 735 18 | 0.157 % | 2.88/2.99 c | 1324 | 22828 22122 117448 | 11875 1204 21 | 0.262 % | 3.08/3.12 c | 2083 | 22816 22122 117448 | 13063 1914 23 | 0.262 % | 3.29/3.31 c =============================================================================== 3.29/3.34 c core #106 3.29/3.34 c ============================[ Search Statistics ]============================== 3.29/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.34 c =============================================================================== 3.29/3.34 c | 0 | 23536 22426 119831 | 7475 0 nan | 0.000 % | 3.29/3.38 c | 100 | 23528 22426 119831 | 8222 100 12 | 0.034 % | 3.39/3.41 c | 253 | 23463 22426 119831 | 9045 253 15 | 0.332 % | 3.39/3.48 c | 479 | 23432 22426 119831 | 9949 351 23 | 0.442 % | 3.48/3.55 c | 817 | 23432 22426 119831 | 10944 689 22 | 0.442 % | 3.58/3.65 c | 1324 | 23432 22426 119831 | 12039 1196 23 | 0.442 % | 3.68/3.79 c =============================================================================== 3.78/3.81 c core #107 3.78/3.81 c ============================[ Search Statistics ]============================== 3.78/3.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/3.81 c =============================================================================== 3.78/3.81 c | 0 | 24170 22732 122142 | 7577 0 nan | 0.000 % | 3.78/3.86 c | 100 | 24162 22732 122142 | 8335 100 12 | 0.058 % | 3.78/3.89 c | 250 | 24114 22732 122142 | 9168 250 24 | 0.232 % | 3.88/3.95 c | 476 | 24105 22732 122142 | 10085 385 32 | 0.281 % | 3.98/4.02 c | 815 | 24102 22732 122142 | 11093 700 38 | 0.281 % | 4.08/4.11 c | 1323 | 24100 22732 122142 | 12203 1204 36 | 0.290 % | 4.18/4.28 c | 2082 | 24080 22732 122142 | 13423 1956 35 | 0.372 % | 4.39/4.49 c | 3221 | 24076 22732 122142 | 14766 3093 37 | 0.389 % | 4.78/4.88 c | 4929 | 24076 22732 122142 | 16242 4801 39 | 0.389 % | 5.28/5.38 c | 7492 | 24076 22732 122142 | 17866 7364 37 | 0.389 % | 6.28/6.35 c | 11337 | 24076 22732 122142 | 19653 11209 40 | 0.389 % | 7.68/7.76 c | 17104 | 24074 22732 122142 | 21619 14015 45 | 0.397 % | 10.38/10.48 c | 25755 | 24056 22732 122142 | 23780 11707 46 | 0.472 % | 15.18/15.29 c | 38731 | 24056 22732 122142 | 26159 12581 62 | 0.472 % | 22.88/22.97 c | 58193 | 24056 22732 122142 | 28774 17175 81 | 0.472 % | 33.68/33.73 c | 87386 | 24055 22732 122142 | 31652 29104 77 | 0.476 % | 52.48/52.56 c | 131177 | 24052 22732 122142 | 34817 14758 81 | 0.488 % | 65.78/65.85 c =============================================================================== 66.78/66.80 c core #108 66.78/66.80 c ============================[ Search Statistics ]============================== 66.78/66.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.78/66.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.78/66.80 c =============================================================================== 66.78/66.80 c | 0 | 25093 23014 124929 | 7671 0 nan | 0.000 % | 66.78/66.86 c | 104 | 25091 23014 124929 | 8438 104 17 | 0.008 % | 66.78/66.89 c | 254 | 25088 23014 124929 | 9282 253 23 | 0.024 % | 66.87/66.95 c | 479 | 25081 23014 124929 | 10210 474 27 | 0.056 % | 66.98/67.02 c | 816 | 25050 23014 124929 | 11231 782 29 | 0.175 % | 67.09/67.15 c | 1323 | 25049 23014 124929 | 12354 1205 36 | 0.175 % | 67.28/67.34 c | 2083 | 25039 23014 124929 | 13590 1944 42 | 0.215 % | 67.58/67.61 c | 3224 | 25039 23014 124929 | 14949 3085 59 | 0.215 % | 67.87/67.99 c | 4932 | 25039 23014 124929 | 16444 4793 51 | 0.215 % | 68.48/68.58 c | 7495 | 25031 23014 124929 | 18088 7351 48 | 0.247 % | 69.48/69.53 c | 11339 | 25031 23014 124929 | 19897 11195 52 | 0.247 % | 71.17/71.27 c | 17105 | 25031 23014 124929 | 21887 16961 52 | 0.247 % | 74.17/74.20 c | 25754 | 25031 23014 124929 | 24075 14230 61 | 0.247 % | 79.09/79.17 c | 38728 | 25031 23014 124929 | 26483 13775 52 | 0.247 % | 85.18/85.26 c | 58192 | 25031 23014 124929 | 29131 17682 69 | 0.247 % | 95.78/95.89 c | 87385 | 25031 23014 124929 | 32045 28308 60 | 0.247 % | 112.18/112.24 c | 131175 | 25031 23014 124929 | 35249 30915 63 | 0.247 % | 141.47/141.51 c | 196860 | 25027 23014 124929 | 38774 28032 92 | 0.263 % | 179.58/179.61 c | 295388 | 25025 23014 124929 | 42651 20475 56 | 0.271 % | 248.98/249.03 c | 443178 | 25019 23014 124929 | 46917 18076 99 | 0.295 % | 373.38/373.44 c | 664863 | 25017 23014 124929 | 51608 20857 84 | 0.303 % | 562.98/563.03 c | 997388 | 24977 23014 124929 | 56769 50774 106 | 0.462 % | 858.77/858.84 c | 1496177 | 24975 23014 124929 | 62446 25298 107 | 0.470 % | 1237.78/1237.83 c =============================================================================== 1244.28/1244.30 c core #109 1244.28/1244.30 c ============================[ Search Statistics ]============================== 1244.28/1244.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1244.28/1244.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1244.28/1244.30 c =============================================================================== 1244.28/1244.30 c | 0 | 26205 23333 128259 | 7777 0 nan | 0.000 % | 1244.47/1244.51 c | 102 | 26192 23333 128259 | 8555 102 12 | 0.092 % | 1244.47/1244.55 c | 254 | 26159 23333 128259 | 9410 254 26 | 0.176 % | 1244.57/1244.60 c | 482 | 26155 23333 128259 | 10352 428 37 | 0.191 % | 1244.67/1244.70 c | 819 | 26155 23333 128259 | 11387 747 43 | 0.191 % | 1244.88/1244.91 c | 1331 | 26155 23333 128259 | 12526 1259 42 | 0.191 % | 1245.08/1245.10 c | 2093 | 26155 23333 128259 | 13778 2021 41 | 0.191 % | 1245.47/1245.54 c | 3234 | 26155 23333 128259 | 15156 3162 40 | 0.191 % | 1245.98/1246.00 c | 4942 | 26155 23333 128259 | 16672 4870 40 | 0.191 % | 1246.67/1246.74 c | 7504 | 26155 23333 128259 | 18339 7432 59 | 0.191 % | 1247.77/1247.84 c | 11351 | 26155 23333 128259 | 20173 11279 66 | 0.191 % | 1249.58/1249.64 c | 17117 | 26153 23333 128259 | 22190 17040 70 | 0.198 % | 1252.77/1252.90 c | 25767 | 26151 23333 128259 | 24409 13685 78 | 0.206 % | 1258.07/1258.10 c | 38746 | 26147 23333 128259 | 26850 13133 79 | 0.221 % | 1264.98/1265.09 c | 58216 | 26147 23333 128259 | 29535 17507 86 | 0.221 % | 1280.48/1280.58 c | 87409 | 26139 23333 128259 | 32489 28589 116 | 0.252 % | 1303.17/1303.26 c | 131201 | 26139 23333 128259 | 35738 33611 132 | 0.252 % | 1343.17/1343.21 c | 196888 | 26139 23333 128259 | 39311 29873 133 | 0.252 % | 1398.08/1398.12 c | 295414 | 26139 23333 128259 | 43243 20580 116 | 0.252 % | 1476.87/1476.95 c | 443206 | 26139 23333 128259 | 47567 44987 92 | 0.252 % | 1584.76/1584.84 c | 664891 | 26139 23333 128259 | 52324 27692 66 | 0.252 % | 1787.27/1787.38 c | 997417 | 26139 23333 128259 | 57556 42855 101 | 0.252 % |
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-2699944-1278533859/watcher-2699944-1278533859 -o /tmp/evaluation-result-2699944-1278533859/solver-2699944-1278533859 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699944-1278533859.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: 0.18 0.05 0.01 3/179 19688 /proc/meminfo: memFree=29028808/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=2704 CPUtime=0 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 330 0 0 0 0 0 0 0 23 0 1 0 21600062 2768896 237 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/19688/statm: 676 237 145 303 0 371 0 [startup+0.0312489 s] /proc/loadavg: 0.18 0.05 0.01 3/179 19688 /proc/meminfo: memFree=29028808/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=3116 CPUtime=0.02 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 447 0 0 0 2 0 0 0 23 0 1 0 21600062 3190784 354 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/19688/statm: 779 354 145 303 0 474 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3116 [startup+0.100226 s] /proc/loadavg: 0.18 0.05 0.01 3/179 19688 /proc/meminfo: memFree=29028808/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=4120 CPUtime=0.09 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 687 0 0 0 8 1 0 0 18 0 1 0 21600062 4218880 594 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 1030 594 145 303 0 725 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4120 [startup+0.300186 s] /proc/loadavg: 0.18 0.05 0.01 3/179 19688 /proc/meminfo: memFree=29028808/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=5840 CPUtime=0.29 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 1330 0 0 0 24 5 0 0 18 0 1 0 21600062 5980160 996 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 1460 996 145 303 0 1155 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5840 [startup+0.700114 s] /proc/loadavg: 0.18 0.05 0.01 3/179 19688 /proc/meminfo: memFree=29028808/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=8672 CPUtime=0.68 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 2486 0 0 0 56 12 0 0 18 0 1 0 21600062 8880128 1665 4089446400 134512640 135751879 4291741888 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 2168 1665 145 303 0 1863 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8672 [startup+1.50097 s] /proc/loadavg: 0.18 0.05 0.01 6/187 19703 /proc/meminfo: memFree=29015228/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=12416 CPUtime=1.48 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 4504 0 0 0 121 27 0 0 20 0 1 0 21600062 12713984 2609 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 3104 2609 146 303 0 2799 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12416 [startup+3.10067 s] /proc/loadavg: 0.18 0.05 0.01 2/174 19720 /proc/meminfo: memFree=29047700/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=16376 CPUtime=3.08 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 6948 0 0 0 260 48 0 0 25 0 1 0 21600062 16769024 3519 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 4094 3519 146 303 0 3789 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16376 [startup+6.30107 s] /proc/loadavg: 0.25 0.06 0.02 2/174 19766 /proc/meminfo: memFree=29044416/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=16228 CPUtime=6.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 7635 0 0 0 574 54 0 0 25 0 1 0 21600062 16617472 3601 4089446400 134512640 135751879 4291741888 18446744073709551615 134610818 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 4057 3601 146 303 0 3752 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16228 [startup+12.7009 s] /proc/loadavg: 0.39 0.09 0.03 3/179 19846 /proc/meminfo: memFree=29028596/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=23148 CPUtime=12.68 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 9353 0 0 0 1209 59 0 0 25 0 1 0 21600062 23703552 5319 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 5787 5319 146 303 0 5482 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23148 [startup+25.5005 s] /proc/loadavg: 0.81 0.20 0.06 3/179 19847 /proc/meminfo: memFree=29015084/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=38352 CPUtime=25.48 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 13121 0 0 0 2482 66 0 0 25 0 1 0 21600062 39272448 9087 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 9588 9087 146 303 0 9283 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38352 [startup+51.1007 s] /proc/loadavg: 1.22 0.35 0.11 3/179 19847 /proc/meminfo: memFree=28986560/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=68136 CPUtime=51.08 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 20549 0 0 0 5030 78 0 0 25 0 1 0 21600062 69771264 16515 4089446400 134512640 135751879 4291741888 18446744073709551615 134610760 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/19688/statm: 17034 16515 146 303 0 16729 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68136 [startup+102.306 s] /proc/loadavg: 1.70 0.61 0.22 3/179 19879 /proc/meminfo: memFree=28944548/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=109160 CPUtime=102.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 31166 0 0 0 10117 111 0 0 25 0 1 0 21600062 111779840 26768 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 27290 26768 146 303 0 26985 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 109160 [startup+162.301 s] /proc/loadavg: 1.89 0.86 0.33 3/179 19880 /proc/meminfo: memFree=28886928/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=166768 CPUtime=162.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 45520 0 0 0 16079 148 0 0 25 0 1 0 21600062 170770432 41122 4089446400 134512640 135751879 4291741888 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 41692 41122 146 303 0 41387 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 166768 [startup+222.301 s] /proc/loadavg: 1.96 1.07 0.43 3/179 19882 /proc/meminfo: memFree=28829604/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=223592 CPUtime=222.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 59645 0 0 0 22049 179 0 0 25 0 1 0 21600062 228958208 55247 4089446400 134512640 135751879 4291741888 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 55898 55247 146 303 0 55593 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 223592 [startup+282.301 s] /proc/loadavg: 1.98 1.23 0.52 3/179 19883 /proc/meminfo: memFree=28769400/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=283968 CPUtime=282.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 74688 0 0 0 28018 210 0 0 25 0 1 0 21600062 290783232 70290 4089446400 134512640 135751879 4291741888 18446744073709551615 134606383 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 70992 70290 146 303 0 70687 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 283968 [startup+342.301 s] /proc/loadavg: 1.99 1.37 0.61 3/179 19885 /proc/meminfo: memFree=28718236/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=335348 CPUtime=342.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 87455 0 0 0 33995 233 0 0 25 0 1 0 21600062 343396352 83057 4089446400 134512640 135751879 4291741888 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 83837 83057 146 303 0 83532 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 335348 [startup+402.3 s] /proc/loadavg: 1.99 1.48 0.70 3/179 19887 /proc/meminfo: memFree=28658552/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=395012 CPUtime=402.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 102322 0 0 0 39966 262 0 0 25 0 1 0 21600062 404492288 97924 4089446400 134512640 135751879 4291741888 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 98753 97924 146 303 0 98448 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 395012 [startup+462.3 s] /proc/loadavg: 1.99 1.57 0.77 3/179 19888 /proc/meminfo: memFree=28603564/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=449940 CPUtime=462.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 115987 0 0 0 45942 286 0 0 25 0 1 0 21600062 460738560 111589 4089446400 134512640 135751879 4291741888 18446744073709551615 134616276 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 112485 111589 146 303 0 112180 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 449940 [startup+522.301 s] /proc/loadavg: 1.99 1.65 0.85 3/179 19890 /proc/meminfo: memFree=28540780/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=513488 CPUtime=522.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 131811 0 0 0 51912 316 0 0 25 0 1 0 21600062 525811712 127413 4089446400 134512640 135751879 4291741888 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 128372 127413 146 303 0 128067 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 513488 [startup+582.301 s] /proc/loadavg: 1.99 1.71 0.92 3/179 19891 /proc/meminfo: memFree=28479112/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=574516 CPUtime=582.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 147017 0 0 0 57880 348 0 0 25 0 1 0 21600062 588304384 142619 4089446400 134512640 135751879 4291741888 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 143629 142619 146 303 0 143324 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 574516 [startup+642.301 s] /proc/loadavg: 1.99 1.76 0.98 3/179 19893 /proc/meminfo: memFree=28426116/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=627708 CPUtime=642.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 160290 0 0 0 63851 377 0 0 25 0 1 0 21600062 642772992 155892 4089446400 134512640 135751879 4291741888 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 156927 155892 146 303 0 156622 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 627708 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.99 1.88 1.20 3/179 19899 /proc/meminfo: memFree=28194024/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=859460 CPUtime=882.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 217993 0 0 0 87740 488 0 0 25 0 1 0 21600062 880087040 213595 4089446400 134512640 135751879 4291741888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 214865 213595 146 303 0 214560 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 859460 [startup+942.301 s] /proc/loadavg: 1.99 1.90 1.25 3/179 19901 /proc/meminfo: memFree=28144636/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=909180 CPUtime=942.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 230356 0 0 0 93714 514 0 0 25 0 1 0 21600062 931000320 225958 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 227295 225958 146 303 0 226990 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 909180 [startup+1002.3 s] /proc/loadavg: 2.04 1.93 1.30 3/179 19903 /proc/meminfo: memFree=28089904/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=964024 CPUtime=1002.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 244020 0 0 0 99681 546 0 0 25 0 1 0 21600062 987160576 239622 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 241006 239622 146 303 0 240701 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 964024 [startup+1062.3 s] /proc/loadavg: 2.01 1.94 1.34 3/179 19904 /proc/meminfo: memFree=28029100/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1025272 CPUtime=1062.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 259282 0 0 0 105646 581 0 0 25 0 1 0 21600062 1049878528 254884 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 256318 254884 146 303 0 256013 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 1025272 [startup+1122.3 s] /proc/loadavg: 2.04 1.97 1.38 3/179 19906 /proc/meminfo: memFree=27974240/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1079244 CPUtime=1122.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 272760 0 0 0 111616 611 0 0 25 0 1 0 21600062 1105145856 268362 4089446400 134512640 135751879 4291741888 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 269811 268362 146 303 0 269506 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 1079244 [startup+1182.3 s] /proc/loadavg: 2.01 1.97 1.42 3/179 19907 /proc/meminfo: memFree=27918776/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1135184 CPUtime=1182.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 286668 0 0 0 117590 638 0 0 25 0 1 0 21600062 1162428416 282270 4089446400 134512640 135751879 4291741888 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 283796 282270 146 303 0 283491 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 1135184 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.45 3/179 19909 /proc/meminfo: memFree=27856108/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1196704 CPUtime=1242.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 302019 0 0 0 123569 659 0 0 25 0 1 0 21600062 1225424896 297621 4089446400 134512640 135751879 4291741888 18446744073709551615 134521534 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 299176 297621 146 303 0 298871 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 1196704 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.48 3/179 19911 /proc/meminfo: memFree=27849232/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1199596 CPUtime=1302.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 303992 0 0 0 129536 692 0 0 25 0 1 0 21600062 1228386304 299298 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 299899 299298 146 303 0 299594 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 1199596 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/179 19912 /proc/meminfo: memFree=27818424/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1231064 CPUtime=1362.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 311915 0 0 0 135511 716 0 0 25 0 1 0 21600062 1260609536 307221 4089446400 134512640 135751879 4291741888 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 307766 307221 146 303 0 307461 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 1231064 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.54 3/179 19914 /proc/meminfo: memFree=27767764/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1281296 CPUtime=1422.28 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 324412 0 0 0 141485 743 0 0 25 0 1 0 21600062 1312047104 319718 4089446400 134512640 135751879 4291741888 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 320324 319718 146 303 0 320019 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 1281296 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.57 3/179 19915 /proc/meminfo: memFree=27723816/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1325876 CPUtime=1482.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 335489 0 0 0 147460 767 0 0 25 0 1 0 21600062 1357697024 330795 4089446400 134512640 135751879 4291741888 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 331469 330795 146 303 0 331164 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 1325876 [startup+1542.3 s] /proc/loadavg: 2.00 1.97 1.59 3/179 19944 /proc/meminfo: memFree=27585240/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1367832 CPUtime=1542.26 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 345950 0 0 0 153428 798 0 0 25 0 1 0 21600062 1400659968 341256 4089446400 134512640 135751879 4291741888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 341958 341256 146 303 0 341653 0 Current children cumulated CPU time (s) 1542.26 Current children cumulated vsize (KiB) 1367832 [startup+1602.3 s] /proc/loadavg: 2.00 1.97 1.61 3/179 19946 /proc/meminfo: memFree=27447784/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1408788 CPUtime=1602.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 356136 0 0 0 159396 831 0 0 25 0 1 0 21600062 1442598912 351442 4089446400 134512640 135751879 4291741888 18446744073709551615 134641957 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 352197 351442 146 303 0 351892 0 Current children cumulated CPU time (s) 1602.27 Current children cumulated vsize (KiB) 1408788 [startup+1662.3 s] /proc/loadavg: 2.00 1.97 1.64 3/179 19947 /proc/meminfo: memFree=27304624/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1453340 CPUtime=1662.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 367213 0 0 0 165370 857 0 0 25 0 1 0 21600062 1488220160 362519 4089446400 134512640 135751879 4291741888 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 363335 362519 146 303 0 363030 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 1453340 [startup+1722.3 s] /proc/loadavg: 2.00 1.97 1.65 3/179 19949 /proc/meminfo: memFree=27161212/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1497932 CPUtime=1722.27 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 378299 0 0 0 171345 882 0 0 25 0 1 0 21600062 1533882368 373605 4089446400 134512640 135751879 4291741888 18446744073709551615 134616314 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/19688/statm: 374483 373605 146 303 0 374178 0 Current children cumulated CPU time (s) 1722.27 Current children cumulated vsize (KiB) 1497932 [startup+1782.3 s] /proc/loadavg: 2.00 1.97 1.67 3/179 19950 /proc/meminfo: memFree=27017672/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1540484 CPUtime=1782.26 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 388830 0 0 0 177320 906 0 0 25 0 1 0 21600062 1577455616 384136 4089446400 134512640 135751879 4291741888 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 385121 384136 146 303 0 384816 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 1540484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 1.97 1.68 3/179 19951 /proc/meminfo: memFree=26976604/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1550668 CPUtime=1800.08 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 391376 0 0 0 179093 915 0 0 25 0 1 0 21600062 1587884032 386682 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 387667 386682 146 303 0 387362 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1550668 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 1.97 1.68 3/179 19951 /proc/meminfo: memFree=26976604/32951124 swapFree=67111528/67111528 [pid=19688] ppid=19686 vsize=1550668 CPUtime=1800.08 /proc/19688/stat : 19688 (wbo1.4a) R 19686 19688 19096 0 -1 4202496 391376 0 0 0 179093 915 0 0 25 0 1 0 21600062 1587884032 386682 4089446400 134512640 135751879 4291741888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/19688/statm: 387667 386682 146 303 0 387362 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1550668 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.16 CPU time (s): 1800.13 CPU user time (s): 1790.93 CPU system time (s): 9.2036 CPU usage (%): 99.9987 Max. virtual memory (cumulated for all children) (KiB): 1550668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.93 system time used= 9.2036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 391376 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 9010 runsolver used 2.54561 second user time and 5.78412 second system time The end
Begin job on node111 at 2010-07-07 22:17:39 IDJOB=2699944 IDBENCH=79387 IDSOLVER=1200 FILE ID=node111/2699944-1278533859 PBS_JOBID= 11239256 Free space on /tmp= 73604 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh302_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699944-1278533859/watcher-2699944-1278533859 -o /tmp/evaluation-result-2699944-1278533859/solver-2699944-1278533859 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699944-1278533859.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8b86218007c145a9ce1787d0bbf0d30b RANDOM SEED=1297522188 node111.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.825 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.825 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.98 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.825 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.67 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.825 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.86 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.825 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 : 5233.30 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.825 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.82 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.825 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29028840 kB Buffers: 137816 kB Cached: 3557640 kB SwapCached: 0 kB Active: 2050928 kB Inactive: 1721528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29028840 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 19604 kB Writeback: 0 kB AnonPages: 77064 kB Mapped: 18752 kB Slab: 85064 kB PageTables: 4784 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 260524 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= 73612 MiB End job on node111 at 2010-07-07 22:47:41