| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| wbo 1.6 | ? (TO) | 1800.07 | 1800.03 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo |
| MD5SUM | 11b5917216c9682d33b4eac8f024a9c6 |
| 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 | 130 |
| Best CPU time to get the best result obtained on this benchmark | 0.036993 |
| 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.6 beta - 20110321 0.00/0.00 c Parsing wbo file format. File HOME/instance-3447207-1307907083.wbo. 0.00/0.00 c Instance file HOME/instance-3447207-1307907083.wbo 0.00/0.00 c File size is 45261 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 4569 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #1 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 186 Core Weight: 11 Total Weight: 11 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 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 | 368 1218 5418 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.01 c core #2 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 210 Core Weight: 1 Total Weight: 12 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 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 | 549 1399 6344 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #3 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 215 Core Weight: 10 Total Weight: 22 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 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 | 737 1587 7305 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #4 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 266 Core Weight: 8 Total Weight: 30 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 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 | 962 1812 8465 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.02 c core #5 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 220 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 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 | 1156 2006 9464 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #6 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 281 Core Weight: 1 Total Weight: 32 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 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 | 1401 2250 10761 | 5000 0 -nan | 0.000 % | 0.00/0.02 c | 100 | 1383 2250 10761 | 5500 100 9 | 3.712 % | 0.00/0.02 c =============================================================================== 0.00/0.03 c core #7 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 315 Core Weight: 1 Total Weight: 33 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 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 | 1669 2518 12192 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #8 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 305 Core Weight: 1 Total Weight: 34 0.00/0.03 c Current CPU time: 0.032994 s 0.00/0.03 c 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 | 1938 2787 13630 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #9 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 299 Core Weight: 1 Total Weight: 35 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 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 | 2191 3039 14980 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.04/0.05 c core #10 0.04/0.05 c 0.04/0.05 c 0.04/0.05 c Core size: 334 Core Weight: 4 Total Weight: 39 0.04/0.05 c Current CPU time: 0.044993 s 0.04/0.05 c 0.04/0.05 c ============================[ Search Statistics ]============================== 0.04/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.05 c =============================================================================== 0.04/0.05 c | 0 | 2459 3307 16413 | 5000 0 -nan | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.06 c core #11 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 336 Core Weight: 1 Total Weight: 40 0.04/0.06 c Current CPU time: 0.053991 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 2754 3600 18026 | 5000 0 -nan | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #12 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 305 Core Weight: 2 Total Weight: 42 0.04/0.06 c Current CPU time: 0.06199 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 3021 3867 19454 | 5000 0 -nan | 0.000 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c core #13 0.04/0.07 c 0.04/0.07 c 0.04/0.07 c Core size: 309 Core Weight: 2 Total Weight: 44 0.04/0.07 c Current CPU time: 0.068989 s 0.04/0.07 c 0.04/0.07 c ============================[ Search Statistics ]============================== 0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.07 c =============================================================================== 0.04/0.07 c | 0 | 3290 4136 20904 | 5000 0 -nan | 0.000 % | 0.04/0.08 c =============================================================================== 0.04/0.08 c core #14 0.04/0.08 c 0.04/0.08 c 0.04/0.08 c Core size: 309 Core Weight: 4 Total Weight: 48 0.04/0.08 c Current CPU time: 0.075988 s 0.04/0.08 c 0.04/0.08 c ============================[ Search Statistics ]============================== 0.04/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.08 c =============================================================================== 0.04/0.08 c | 0 | 3568 4414 22413 | 5000 0 -nan | 0.000 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c core #15 0.04/0.09 c 0.04/0.09 c 0.04/0.09 c Core size: 305 Core Weight: 1 Total Weight: 49 0.04/0.09 c Current CPU time: 0.086986 s 0.04/0.09 c 0.04/0.09 c ============================[ Search Statistics ]============================== 0.04/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.09 c =============================================================================== 0.04/0.09 c | 0 | 3832 4675 23823 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.11 c core #16 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 319 Core Weight: 1 Total Weight: 50 0.09/0.11 c Current CPU time: 0.097985 s 0.09/0.11 c 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 | 4105 4942 25279 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.12 c core #17 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 340 Core Weight: 1 Total Weight: 51 0.09/0.12 c Current CPU time: 0.107983 s 0.09/0.12 c 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 | 4390 5227 26819 | 5000 0 -nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #18 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 312 Core Weight: 1 Total Weight: 52 0.09/0.13 c Current CPU time: 0.116982 s 0.09/0.13 c 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 | 4661 5497 28295 | 5000 0 -nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #19 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 331 Core Weight: 2 Total Weight: 54 0.09/0.14 c Current CPU time: 0.12798 s 0.09/0.14 c 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 | 4936 5772 29787 | 5000 0 -nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #20 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 313 Core Weight: 1 Total Weight: 55 0.09/0.15 c Current CPU time: 0.138978 s 0.09/0.15 c 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 | 5209 6044 31264 | 5000 0 -nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.17 c core #21 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 310 Core Weight: 2 Total Weight: 57 0.09/0.17 c Current CPU time: 0.149977 s 0.09/0.17 c 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 | 5490 6325 32780 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #22 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 356 Core Weight: 1 Total Weight: 58 0.09/0.18 c Current CPU time: 0.164974 s 0.09/0.18 c 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 | 5792 6623 34413 | 5000 0 -nan | 0.000 % | 0.09/0.19 c | 100 | 5787 6623 34413 | 5500 100 12 | 0.138 % | 0.09/0.19 c =============================================================================== 0.19/0.20 c core #23 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 356 Core Weight: 1 Total Weight: 59 0.19/0.20 c Current CPU time: 0.179972 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 6090 6918 36041 | 5000 0 -nan | 0.000 % | 0.19/0.21 c | 100 | 6076 6918 36041 | 5500 100 11 | 0.263 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #24 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 370 Core Weight: 1 Total Weight: 60 0.19/0.22 c Current CPU time: 0.198969 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 6418 7242 37845 | 5000 0 -nan | 0.000 % | 0.19/0.23 c | 100 | 6402 7242 37845 | 5500 100 12 | 0.281 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #25 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 372 Core Weight: 1 Total Weight: 61 0.19/0.24 c Current CPU time: 0.221966 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 6749 7556 39618 | 5000 0 -nan | 0.000 % | 0.19/0.26 c | 100 | 6733 7556 39618 | 5500 100 12 | 0.237 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #26 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 375 Core Weight: 1 Total Weight: 62 0.19/0.27 c Current CPU time: 0.247962 s 0.19/0.27 c 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 | 7085 7880 41434 | 5000 0 -nan | 0.000 % | 0.19/0.28 c | 100 | 7073 7880 41434 | 5500 100 11 | 0.226 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #27 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 390 Core Weight: 1 Total Weight: 63 0.19/0.29 c Current CPU time: 0.268959 s 0.19/0.29 c 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 | 7416 8203 43239 | 5000 0 -nan | 0.000 % | 0.29/0.31 c | 100 | 7412 8203 43239 | 5500 100 11 | 0.108 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #28 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 382 Core Weight: 1 Total Weight: 64 0.29/0.32 c Current CPU time: 0.297954 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 7759 8542 45142 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 100 | 7750 8542 45142 | 5500 100 13 | 0.206 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #29 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 401 Core Weight: 1 Total Weight: 65 0.29/0.35 c Current CPU time: 0.32795 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 8131 8907 47196 | 5000 0 -nan | 0.000 % | 0.29/0.37 c | 100 | 8121 8907 47196 | 5500 100 12 | 0.123 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #30 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 379 Core Weight: 1 Total Weight: 66 0.29/0.38 c Current CPU time: 0.353946 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 8465 9232 49022 | 5000 0 -nan | 0.000 % | 0.39/0.40 c | 101 | 8457 9232 49022 | 5500 101 11 | 0.236 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #31 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 404 Core Weight: 1 Total Weight: 67 0.39/0.41 c Current CPU time: 0.378942 s 0.39/0.41 c 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 | 8819 9577 50955 | 5000 0 -nan | 0.000 % | 0.39/0.42 c | 101 | 8806 9577 50955 | 5500 101 10 | 0.159 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #32 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 394 Core Weight: 1 Total Weight: 68 0.39/0.44 c Current CPU time: 0.404938 s 0.39/0.44 c 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 | 9164 9913 52851 | 5000 0 -nan | 0.000 % | 0.39/0.45 c | 102 | 9160 9913 52851 | 5500 102 11 | 0.065 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #33 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 393 Core Weight: 1 Total Weight: 69 0.39/0.47 c Current CPU time: 0.432934 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 9522 10259 54830 | 5000 0 -nan | 0.000 % | 0.39/0.48 c | 100 | 9518 10259 54830 | 5500 100 13 | 0.105 % | 0.39/0.49 c =============================================================================== 0.48/0.50 c core #34 0.48/0.50 c 0.48/0.50 c 0.48/0.50 c Core size: 427 Core Weight: 1 Total Weight: 70 0.48/0.50 c Current CPU time: 0.466929 s 0.48/0.50 c 0.48/0.50 c ============================[ Search Statistics ]============================== 0.48/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.50 c =============================================================================== 0.48/0.50 c | 0 | 9908 10631 56975 | 5000 0 -nan | 0.000 % | 0.48/0.52 c | 100 | 9903 10631 56975 | 5500 100 12 | 0.081 % | 0.48/0.53 c =============================================================================== 0.48/0.53 c core #35 0.48/0.53 c 0.48/0.53 c 0.48/0.53 c Core size: 406 Core Weight: 1 Total Weight: 71 0.48/0.53 c Current CPU time: 0.496924 s 0.48/0.53 c 0.48/0.53 c ============================[ Search Statistics ]============================== 0.48/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.53 c =============================================================================== 0.48/0.53 c | 0 | 10263 10965 58882 | 5000 0 -nan | 0.000 % | 0.48/0.55 c | 101 | 10258 10965 58882 | 5500 101 11 | 0.117 % | 0.48/0.56 c =============================================================================== 0.48/0.57 c core #36 0.48/0.57 c 0.48/0.57 c 0.48/0.57 c Core size: 435 Core Weight: 1 Total Weight: 72 0.48/0.57 c Current CPU time: 0.528919 s 0.48/0.57 c 0.48/0.57 c ============================[ Search Statistics ]============================== 0.48/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.57 c =============================================================================== 0.48/0.57 c | 0 | 10647 11336 61026 | 5000 0 -nan | 0.000 % | 0.48/0.59 c | 101 | 10641 11336 61026 | 5500 101 12 | 0.169 % | 0.58/0.60 c =============================================================================== 0.58/0.61 c core #37 0.58/0.61 c 0.58/0.61 c 0.58/0.61 c Core size: 412 Core Weight: 1 Total Weight: 73 0.58/0.61 c Current CPU time: 0.560914 s 0.58/0.61 c 0.58/0.61 c ============================[ Search Statistics ]============================== 0.58/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.61 c =============================================================================== 0.58/0.61 c | 0 | 11017 11688 63041 | 5000 0 -nan | 0.000 % | 0.58/0.62 c | 100 | 11014 11688 63041 | 5500 100 12 | 0.054 % | 0.58/0.63 c =============================================================================== 0.58/0.64 c core #38 0.58/0.64 c 0.58/0.64 c 0.58/0.64 c Core size: 414 Core Weight: 1 Total Weight: 74 0.58/0.64 c Current CPU time: 0.595909 s 0.58/0.64 c 0.58/0.64 c ============================[ Search Statistics ]============================== 0.58/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.64 c =============================================================================== 0.58/0.64 c | 0 | 11387 12045 65088 | 5000 0 -nan | 0.000 % | 0.58/0.66 c | 101 | 11378 12045 65088 | 5500 101 12 | 0.123 % | 0.58/0.67 c =============================================================================== 0.58/0.68 c core #39 0.58/0.68 c 0.58/0.68 c 0.58/0.68 c Core size: 430 Core Weight: 1 Total Weight: 75 0.58/0.68 c Current CPU time: 0.629904 s 0.58/0.68 c 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 | 11763 12414 67203 | 5000 0 -nan | 0.000 % | 0.69/0.70 c | 100 | 11761 12414 67203 | 5500 100 11 | 0.068 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c core #40 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 408 Core Weight: 1 Total Weight: 76 0.69/0.72 c Current CPU time: 0.667898 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 12132 12775 69261 | 5000 0 -nan | 0.000 % | 0.69/0.74 c | 101 | 12128 12775 69261 | 5500 101 12 | 0.099 % | 0.69/0.75 c =============================================================================== 0.69/0.76 c core #41 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 423 Core Weight: 1 Total Weight: 77 0.69/0.76 c Current CPU time: 0.703892 s 0.69/0.76 c 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 | 12501 13134 71297 | 5000 0 -nan | 0.000 % | 0.69/0.79 c | 101 | 12493 13134 71297 | 5500 101 12 | 0.080 % | 0.79/0.80 c =============================================================================== 0.79/0.81 c core #42 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 420 Core Weight: 1 Total Weight: 78 0.79/0.81 c Current CPU time: 0.742887 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 12864 13491 73327 | 5000 0 -nan | 0.000 % | 0.79/0.83 c | 100 | 12857 13491 73327 | 5500 100 12 | 0.109 % | 0.79/0.84 c =============================================================================== 0.79/0.85 c core #43 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 441 Core Weight: 1 Total Weight: 79 0.79/0.85 c Current CPU time: 0.78688 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 13267 13867 75519 | 5000 0 -nan | 0.000 % | 0.79/0.87 c | 101 | 13262 13867 75519 | 5500 101 12 | 0.075 % | 0.79/0.89 c =============================================================================== 0.88/0.90 c core #44 0.88/0.90 c 0.88/0.90 c 0.88/0.90 c Core size: 389 Core Weight: 1 Total Weight: 80 0.88/0.90 c Current CPU time: 0.828873 s 0.88/0.90 c 0.88/0.90 c ============================[ Search Statistics ]============================== 0.88/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/0.90 c =============================================================================== 0.88/0.90 c | 0 | 13618 14210 77447 | 5000 0 -nan | 0.000 % | 0.88/0.92 c | 100 | 13607 14210 77447 | 5500 100 12 | 0.088 % | 0.88/0.93 c =============================================================================== 0.88/0.94 c core #45 0.88/0.94 c 0.88/0.94 c 0.88/0.94 c Core size: 412 Core Weight: 1 Total Weight: 81 0.88/0.94 c Current CPU time: 0.870867 s 0.88/0.94 c 0.88/0.94 c ============================[ Search Statistics ]============================== 0.88/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/0.94 c =============================================================================== 0.88/0.94 c | 0 | 13993 14580 79550 | 5000 0 -nan | 0.000 % | 0.88/0.96 c | 102 | 13987 14580 79550 | 5500 102 12 | 0.071 % | 0.88/0.98 c =============================================================================== 0.88/0.99 c core #46 0.88/0.99 c 0.88/0.99 c 0.88/0.99 c Core size: 421 Core Weight: 1 Total Weight: 82 0.88/0.99 c Current CPU time: 0.91786 s 0.88/0.99 c 0.88/0.99 c ============================[ Search Statistics ]============================== 0.88/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/0.99 c =============================================================================== 0.88/0.99 c | 0 | 14373 14949 81644 | 5000 0 -nan | 0.000 % | 0.99/1.01 c | 101 | 14369 14949 81644 | 5500 101 11 | 0.056 % | 0.99/1.02 c =============================================================================== 0.99/1.04 c core #47 0.99/1.04 c 0.99/1.04 c 0.99/1.04 c Core size: 407 Core Weight: 1 Total Weight: 83 0.99/1.04 c Current CPU time: 0.957854 s 0.99/1.04 c 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 | 14737 15307 83673 | 5102 0 -nan | 0.000 % | 0.99/1.06 c | 100 | 14734 15307 83673 | 5612 100 12 | 0.068 % | 0.99/1.07 c =============================================================================== 0.99/1.08 c core #48 0.99/1.08 c 0.99/1.08 c 0.99/1.08 c Core size: 426 Core Weight: 1 Total Weight: 84 0.99/1.08 c Current CPU time: 1.00085 s 0.99/1.08 c 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 15107 15670 85742 | 5223 0 -nan | 0.000 % | 1.09/1.10 c | 100 | 15103 15670 85742 | 5745 100 12 | 0.053 % | 1.09/1.12 c =============================================================================== 1.09/1.13 c core #49 1.09/1.13 c 1.09/1.13 c 1.09/1.13 c Core size: 445 Core Weight: 1 Total Weight: 85 1.09/1.13 c Current CPU time: 1.03984 s 1.09/1.13 c 1.09/1.13 c ============================[ Search Statistics ]============================== 1.09/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.13 c =============================================================================== 1.09/1.13 c | 0 | 15490 16040 87860 | 5346 0 -nan | 0.000 % | 1.09/1.15 c | 100 | 15485 16040 87860 | 5881 100 12 | 0.065 % | 1.09/1.16 c =============================================================================== 1.09/1.17 c core #50 1.09/1.17 c 1.09/1.17 c 1.09/1.17 c Core size: 412 Core Weight: 2 Total Weight: 87 1.09/1.17 c Current CPU time: 1.07784 s 1.09/1.17 c 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 | 15832 16381 89755 | 5460 0 -nan | 0.000 % | 1.18/1.20 c | 101 | 15827 16381 89755 | 6006 101 13 | 0.101 % | 1.18/1.21 c =============================================================================== 1.18/1.22 c core #51 1.18/1.22 c 1.18/1.22 c 1.18/1.22 c Core size: 433 Core Weight: 1 Total Weight: 88 1.18/1.22 c Current CPU time: 1.12283 s 1.18/1.22 c 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 | 16215 16749 91871 | 5583 0 -nan | 0.000 % | 1.18/1.25 c | 100 | 16212 16749 91871 | 6141 100 14 | 0.025 % | 1.18/1.27 c | 252 | 16200 16749 91871 | 6755 252 14 | 0.358 % | 1.18/1.27 c =============================================================================== 1.18/1.29 c core #52 1.18/1.29 c 1.18/1.29 c 1.18/1.29 c Core size: 431 Core Weight: 1 Total Weight: 89 1.18/1.29 c Current CPU time: 1.17882 s 1.18/1.29 c 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 | 16604 17130 94058 | 5710 0 -nan | 0.000 % | 1.29/1.31 c | 100 | 16600 17130 94058 | 6281 100 13 | 0.048 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #53 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 430 Core Weight: 1 Total Weight: 90 1.29/1.34 c Current CPU time: 1.22581 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 16971 17485 96096 | 5828 0 -nan | 0.000 % | 1.29/1.36 c | 100 | 16967 17485 96096 | 6411 100 11 | 0.071 % | 1.29/1.38 c =============================================================================== 1.39/1.40 c core #54 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 423 Core Weight: 1 Total Weight: 91 1.39/1.40 c Current CPU time: 1.27981 s 1.39/1.40 c 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 | 17332 17831 98068 | 5943 0 -nan | 0.000 % | 1.39/1.43 c | 101 | 17326 17831 98068 | 6538 101 13 | 0.046 % | 1.39/1.47 c | 251 | 17306 17831 98068 | 7191 251 13 | 0.150 % | 1.39/1.47 c =============================================================================== 1.39/1.49 c core #55 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 509 Core Weight: 1 Total Weight: 92 1.39/1.49 c Current CPU time: 1.36579 s 1.39/1.49 c 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 | 17792 18227 100441 | 6075 0 -nan | 0.000 % | 1.49/1.52 c | 101 | 17788 18227 100441 | 6683 101 12 | 0.045 % | 1.49/1.55 c | 252 | 17778 18227 100441 | 7351 252 13 | 0.079 % | 1.49/1.56 c =============================================================================== 1.49/1.58 c core #56 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 508 Core Weight: 1 Total Weight: 93 1.49/1.58 c Current CPU time: 1.45278 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 18251 18636 102890 | 6212 0 -nan | 0.000 % | 1.59/1.61 c | 100 | 18246 18636 102890 | 6833 100 12 | 0.044 % | 1.59/1.64 c | 250 | 18241 18636 102890 | 7516 250 14 | 0.055 % | 1.59/1.67 c =============================================================================== 1.59/1.68 c core #57 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 521 Core Weight: 1 Total Weight: 94 1.59/1.68 c Current CPU time: 1.55176 s 1.59/1.68 c 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 18734 19074 105496 | 6358 0 -nan | 0.000 % | 1.69/1.71 c | 102 | 18730 19074 105496 | 6993 102 12 | 0.043 % | 1.69/1.74 c | 252 | 18719 19074 105496 | 7693 252 13 | 0.128 % | 1.69/1.75 c =============================================================================== 1.69/1.76 c core #58 1.69/1.76 c 1.69/1.76 c 1.69/1.76 c Core size: 501 Core Weight: 1 Total Weight: 95 1.69/1.76 c Current CPU time: 1.62475 s 1.69/1.76 c 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 19177 19496 107965 | 6498 0 -nan | 0.000 % | 1.69/1.79 c | 101 | 19174 19496 107965 | 7148 101 14 | 0.042 % | 1.78/1.82 c | 251 | 19162 19496 107965 | 7863 251 14 | 0.083 % | 1.78/1.83 c =============================================================================== 1.78/1.84 c core #59 1.78/1.84 c 1.78/1.84 c 1.78/1.84 c Core size: 477 Core Weight: 1 Total Weight: 96 1.78/1.84 c Current CPU time: 1.70074 s 1.78/1.84 c 1.78/1.84 c ============================[ Search Statistics ]============================== 1.78/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.78/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.78/1.84 c =============================================================================== 1.78/1.84 c | 0 | 19598 19893 110275 | 6631 0 -nan | 0.000 % | 1.78/1.87 c | 100 | 19594 19893 110275 | 7294 100 11 | 0.041 % | 1.89/1.90 c | 251 | 19594 19893 110275 | 8023 251 12 | 0.041 % | 1.89/1.91 c =============================================================================== 1.89/1.93 c core #60 1.89/1.93 c 1.89/1.93 c 1.89/1.93 c Core size: 488 Core Weight: 1 Total Weight: 97 1.89/1.93 c Current CPU time: 1.78273 s 1.89/1.93 c 1.89/1.93 c ============================[ Search Statistics ]============================== 1.89/1.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.93 c =============================================================================== 1.89/1.93 c | 0 | 20056 20297 112666 | 6765 0 -nan | 0.000 % | 1.89/1.96 c | 101 | 20052 20297 112666 | 7442 101 13 | 0.040 % | 1.89/1.98 c | 253 | 20049 20297 112666 | 8186 253 13 | 0.130 % | 1.99/2.00 c =============================================================================== 1.99/2.02 c core #61 1.99/2.02 c 1.99/2.02 c 1.99/2.02 c Core size: 452 Core Weight: 1 Total Weight: 98 1.99/2.02 c Current CPU time: 1.86871 s 1.99/2.02 c 1.99/2.02 c ============================[ Search Statistics ]============================== 1.99/2.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.02 c =============================================================================== 1.99/2.02 c | 0 | 20475 20705 115030 | 6901 0 -nan | 0.000 % | 1.99/2.05 c | 101 | 20466 20705 115030 | 7591 101 12 | 0.068 % | 1.99/2.08 c =============================================================================== 1.99/2.09 c core #62 1.99/2.09 c 1.99/2.09 c 1.99/2.09 c Core size: 470 Core Weight: 1 Total Weight: 99 1.99/2.09 c Current CPU time: 1.93771 s 1.99/2.09 c 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 20907 21102 117373 | 7034 0 -nan | 0.000 % | 2.10/2.13 c | 101 | 20902 21102 117373 | 7737 101 12 | 0.038 % | 2.10/2.15 c | 251 | 20902 21102 117373 | 8511 251 13 | 0.038 % | 2.10/2.18 c =============================================================================== 2.10/2.19 c core #63 2.10/2.19 c 2.10/2.19 c 2.10/2.19 c Core size: 471 Core Weight: 1 Total Weight: 100 2.10/2.19 c Current CPU time: 2.03469 s 2.10/2.19 c 2.10/2.19 c ============================[ Search Statistics ]============================== 2.10/2.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.19 c =============================================================================== 2.10/2.19 c | 0 | 21339 21506 119737 | 7168 0 -nan | 0.000 % | 2.19/2.23 c | 100 | 21332 21506 119737 | 7885 100 14 | 0.037 % | 2.19/2.26 c | 250 | 21329 21506 119737 | 8674 250 13 | 0.047 % | 2.19/2.29 c =============================================================================== 2.29/2.31 c core #64 2.29/2.31 c 2.29/2.31 c 2.29/2.31 c Core size: 532 Core Weight: 1 Total Weight: 101 2.29/2.31 c Current CPU time: 2.13967 s 2.29/2.31 c 2.29/2.31 c ============================[ Search Statistics ]============================== 2.29/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.31 c =============================================================================== 2.29/2.31 c | 0 | 21815 21929 122287 | 7309 0 -nan | 0.000 % | 2.29/2.34 c | 101 | 21811 21929 122287 | 8040 101 14 | 0.037 % | 2.29/2.37 c | 251 | 21807 21929 122287 | 8844 251 14 | 0.055 % | 2.29/2.39 c =============================================================================== 2.39/2.41 c core #65 2.39/2.41 c 2.39/2.41 c 2.39/2.41 c Core size: 512 Core Weight: 1 Total Weight: 102 2.39/2.41 c Current CPU time: 2.24166 s 2.39/2.41 c 2.39/2.41 c ============================[ Search Statistics ]============================== 2.39/2.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.41 c =============================================================================== 2.39/2.41 c | 0 | 22307 22355 124892 | 7451 0 -nan | 0.000 % | 2.39/2.45 c | 100 | 22304 22355 124892 | 8196 100 12 | 0.018 % | 2.39/2.48 c | 251 | 22290 22355 124892 | 9016 251 12 | 0.099 % | 2.39/2.49 c =============================================================================== 2.49/2.51 c core #66 2.49/2.51 c 2.49/2.51 c 2.49/2.51 c Core size: 484 Core Weight: 1 Total Weight: 103 2.49/2.51 c Current CPU time: 2.32965 s 2.49/2.51 c 2.49/2.51 c ============================[ Search Statistics ]============================== 2.49/2.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.51 c =============================================================================== 2.49/2.51 c | 0 | 22760 22743 127243 | 7581 0 -nan | 0.000 % | 2.49/2.54 c | 100 | 22754 22743 127243 | 8339 100 12 | 0.035 % | 2.49/2.57 c | 250 | 22754 22743 127243 | 9173 250 13 | 0.035 % | 2.59/2.62 c =============================================================================== 2.59/2.63 c core #67 2.59/2.63 c 2.59/2.63 c 2.59/2.63 c Core size: 551 Core Weight: 1 Total Weight: 104 2.59/2.63 c Current CPU time: 2.44763 s 2.59/2.63 c 2.59/2.63 c ============================[ Search Statistics ]============================== 2.59/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.63 c =============================================================================== 2.59/2.63 c | 0 | 23254 23172 129859 | 7724 0 -nan | 0.000 % | 2.59/2.67 c | 100 | 23249 23172 129859 | 8496 100 14 | 0.026 % | 2.69/2.71 c | 252 | 23246 23172 129859 | 9346 252 14 | 0.043 % | 2.69/2.74 c =============================================================================== 2.69/2.76 c core #68 2.69/2.76 c 2.69/2.76 c 2.69/2.76 c Core size: 520 Core Weight: 1 Total Weight: 105 2.69/2.76 c Current CPU time: 2.56861 s 2.69/2.76 c 2.69/2.76 c ============================[ Search Statistics ]============================== 2.69/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.76 c =============================================================================== 2.69/2.76 c | 0 | 23741 23593 132420 | 7864 0 -nan | 0.000 % | 2.79/2.80 c | 100 | 23735 23593 132420 | 8650 100 12 | 0.034 % | 2.79/2.83 c | 250 | 23734 23593 132420 | 9515 250 12 | 0.034 % | 2.79/2.87 c | 476 | 23725 23593 132420 | 10467 476 13 | 0.067 % | 2.79/2.89 c =============================================================================== 2.89/2.91 c core #69 2.89/2.91 c 2.89/2.91 c 2.89/2.91 c Core size: 570 Core Weight: 1 Total Weight: 106 2.89/2.91 c Current CPU time: 2.70659 s 2.89/2.91 c 2.89/2.91 c ============================[ Search Statistics ]============================== 2.89/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.91 c =============================================================================== 2.89/2.91 c | 0 | 24274 24037 135180 | 8012 0 -nan | 0.000 % | 2.89/2.94 c | 100 | 24270 24037 135180 | 8813 100 13 | 0.033 % | 2.89/2.97 c | 250 | 24267 24037 135180 | 9694 250 14 | 0.033 % | 2.98/3.02 c | 476 | 24266 24037 135180 | 10664 476 14 | 0.033 % | 2.98/3.09 c | 813 | 24264 24037 135180 | 11730 813 14 | 0.041 % | 3.08/3.14 c =============================================================================== 3.08/3.16 c core #70 3.08/3.16 c 3.08/3.16 c 3.08/3.16 c Core size: 584 Core Weight: 1 Total Weight: 107 3.08/3.16 c Current CPU time: 2.95455 s 3.08/3.16 c 3.08/3.16 c ============================[ Search Statistics ]============================== 3.08/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.08/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.08/3.16 c =============================================================================== 3.08/3.16 c | 0 | 24830 24453 137861 | 8151 0 -nan | 0.000 % | 3.19/3.20 c | 103 | 24823 24453 137861 | 8966 103 21 | 0.032 % | 3.19/3.24 c | 255 | 24822 24453 137861 | 9862 255 17 | 0.032 % | 3.19/3.29 c | 482 | 24822 24453 137861 | 10848 482 19 | 0.032 % | 3.29/3.35 c | 823 | 24784 24453 137861 | 11933 823 19 | 0.185 % | 3.39/3.45 c | 1329 | 24783 24453 137861 | 13127 1329 20 | 0.193 % | 3.59/3.61 c | 2089 | 24612 24453 137861 | 14439 2089 21 | 0.886 % | 3.79/3.82 c | 3231 | 24602 24453 137861 | 15883 3231 21 | 0.918 % | 4.09/4.10 c | 4939 | 23907 24453 137861 | 17472 4939 23 | 3.717 % | 4.09/4.13 c =============================================================================== 4.09/4.17 c core #71 4.09/4.17 c 4.09/4.17 c 4.09/4.17 c Core size: 704 Core Weight: 1 Total Weight: 108 4.09/4.17 c Current CPU time: 3.9524 s 4.09/4.17 c 4.09/4.17 c ============================[ Search Statistics ]============================== 4.09/4.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.17 c =============================================================================== 4.09/4.17 c | 0 | 25501 24869 140780 | 8289 0 -nan | 0.000 % | 4.19/4.20 c | 100 | 25495 24869 140780 | 9118 100 12 | 0.024 % | 4.19/4.23 c | 250 | 25491 24869 140780 | 10030 250 23 | 0.039 % | 4.19/4.28 c | 475 | 25489 24869 140780 | 11033 475 20 | 0.047 % | 4.29/4.36 c | 816 | 25487 24869 140780 | 12136 816 24 | 0.055 % | 4.39/4.46 c | 1323 | 25487 24869 140780 | 13350 1323 23 | 0.055 % | 4.59/4.60 c | 2083 | 25487 24869 140780 | 14685 2083 23 | 0.055 % | 4.79/4.85 c | 3223 | 25483 24869 140780 | 16154 3223 27 | 0.071 % | 5.09/5.17 c | 4931 | 25483 24869 140780 | 17769 4931 29 | 0.071 % | 5.59/5.67 c | 7493 | 25477 24869 140780 | 19546 7493 31 | 0.094 % | 6.38/6.42 c | 11340 | 25477 24869 140780 | 21501 11340 39 | 0.094 % | 7.59/7.63 c | 17106 | 25471 24869 140780 | 23651 17106 39 | 0.118 % | 9.19/9.22 c =============================================================================== 9.29/9.33 c core #72 9.29/9.33 c 9.29/9.33 c 9.29/9.33 c Core size: 714 Core Weight: 1 Total Weight: 109 9.29/9.33 c Current CPU time: 9.07962 s 9.29/9.33 c 9.29/9.33 c ============================[ Search Statistics ]============================== 9.29/9.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.33 c =============================================================================== 9.29/9.33 c | 0 | 26194 25313 143870 | 8437 0 -nan | 0.000 % | 9.29/9.37 c | 102 | 26188 25313 143870 | 9281 102 15 | 0.023 % | 9.38/9.41 c | 252 | 26186 25313 143870 | 10209 252 14 | 0.053 % | 9.38/9.44 c | 478 | 26176 25313 143870 | 11230 478 25 | 0.069 % | 9.48/9.51 c | 817 | 26174 25313 143870 | 12353 817 32 | 0.076 % | 9.58/9.62 c | 1328 | 26172 25313 143870 | 13588 1328 32 | 0.084 % | 9.68/9.75 c | 2089 | 26172 25313 143870 | 14947 2089 31 | 0.084 % | 9.90/9.93 c | 3230 | 26170 25313 143870 | 16442 3230 36 | 0.092 % | 10.19/10.21 c | 4945 | 26170 25313 143870 | 18086 4945 35 | 0.092 % | 10.59/10.68 c | 7509 | 26170 25313 143870 | 19895 7509 36 | 0.092 % | 11.58/11.66 c | 11353 | 26170 25313 143870 | 21885 11353 45 | 0.092 % | 13.09/13.11 c | 17119 | 26170 25313 143870 | 24073 17119 53 | 0.092 % | 15.49/15.53 c | 25770 | 26170 25313 143870 | 26481 12358 62 | 0.092 % | 19.89/19.94 c | 38749 | 26170 25313 143870 | 29129 25337 75 | 0.092 % | 27.99/28.03 c | 58212 | 26170 25313 143870 | 32042 28434 80 | 0.092 % | 40.69/40.73 c | 87405 | 26170 25313 143870 | 35246 18262 100 | 0.092 % | 58.89/58.98 c | 131195 | 26170 25313 143870 | 38770 15818 58 | 0.092 % | 81.59/81.69 c | 196883 | 26170 25313 143870 | 42647 27184 104 | 0.092 % | 130.79/130.86 c | 295410 | 26164 25313 143870 | 46912 32872 104 | 0.115 % | 200.59/200.64 c | 443199 | 25980 25313 143870 | 51604 42970 86 | 0.817 % | 264.59/264.69 c =============================================================================== 267.20/267.25 c core #73 267.20/267.25 c 267.20/267.25 c 267.20/267.25 c Core size: 731 Core Weight: 1 Total Weight: 110 267.20/267.25 c Current CPU time: 266.103 s 267.20/267.25 c 267.20/267.25 c ============================[ Search Statistics ]============================== 267.20/267.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 267.20/267.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 267.20/267.25 c =============================================================================== 267.20/267.25 c | 0 | 26900 25777 147080 | 8592 0 -nan | 0.000 % | 267.20/267.29 c | 101 | 26892 25777 147080 | 9451 101 18 | 0.030 % | 267.30/267.32 c | 253 | 26886 25777 147080 | 10396 253 19 | 0.052 % | 267.30/267.38 c | 478 | 26882 25777 147080 | 11436 478 19 | 0.067 % | 267.39/267.44 c | 815 | 26882 25777 147080 | 12580 815 27 | 0.067 % | 267.49/267.51 c | 1323 | 26880 25777 147080 | 13838 1323 29 | 0.074 % | 267.60/267.64 c | 2082 | 26880 25777 147080 | 15221 2082 37 | 0.074 % | 267.79/267.85 c | 3223 | 26874 25777 147080 | 16744 3223 40 | 0.097 % | 268.09/268.17 c | 4934 | 26872 25777 147080 | 18418 4934 50 | 0.104 % | 268.69/268.76 c | 7499 | 26872 25777 147080 | 20260 7499 58 | 0.104 % | 269.70/269.77 c | 11348 | 26872 25777 147080 | 22286 11348 67 | 0.104 % | 271.09/271.13 c | 17116 | 26872 25777 147080 | 24514 17116 66 | 0.104 % | 273.39/273.48 c | 25765 | 26872 25777 147080 | 26966 12294 71 | 0.104 % | 277.80/277.89 c | 38741 | 26872 25777 147080 | 29663 25270 71 | 0.104 % | 286.60/286.61 c | 58203 | 26872 25777 147080 | 32629 27684 79 | 0.104 % | 300.10/300.13 c | 87397 | 26872 25777 147080 | 35892 17797 87 | 0.104 % | 318.60/318.65 c | 131187 | 26872 25777 147080 | 39481 14831 75 | 0.104 % | 341.39/341.42 c | 196871 | 26872 25777 147080 | 43429 22406 104 | 0.104 % | 375.39/375.48 c | 295403 | 26872 25777 147080 | 47772 27739 72 | 0.104 % | 447.09/447.12 c | 443193 | 26872 25777 147080 | 52549 35359 94 | 0.104 % | 575.00/575.08 c | 664877 | 26866 25777 147080 | 57804 16044 81 | 0.126 % | 786.60/786.67 c | 997402 | 26866 25777 147080 | 63585 35229 111 | 0.126 % | 1079.21/1079.29 c | 1496195 | 26866 25777 147080 | 69943 27697 75 | 0.126 % | 1513.22/1513.29 c | 2244379 | 26678 25777 147080 | 76938 38213 116 | 0.825 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447207-1307907083/watcher-3447207-1307907083 -o /var/tmp/evaluation-result-3447207-1307907083/solver-3447207-1307907083 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447207-1307907083.wbo running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.93 3/177 4676 /proc/meminfo: memFree=858412/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=2024 CPUtime=0 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 281 0 0 0 0 0 0 0 25 0 1 0 634899606 2072576 232 33554432000 4194304 5714214 140736361541584 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 506 232 168 372 0 119 0 [startup+0.0499319 s] /proc/loadavg: 1.92 1.98 1.93 3/177 4676 /proc/meminfo: memFree=858412/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=3300 CPUtime=0.04 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 641 0 0 0 4 0 0 0 18 0 1 0 634899606 3379200 580 33554432000 4194304 5714214 140736361541584 18446744073709551615 4355624 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 825 581 177 372 0 450 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3300 [startup+0.100908 s] /proc/loadavg: 1.92 1.98 1.93 3/177 4676 /proc/meminfo: memFree=858412/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=4444 CPUtime=0.09 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 901 0 0 0 9 0 0 0 18 0 1 0 634899606 4550656 840 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 1111 840 177 372 0 736 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4444 [startup+0.300876 s] /proc/loadavg: 1.92 1.98 1.93 3/177 4676 /proc/meminfo: memFree=858412/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=6428 CPUtime=0.29 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 1803 0 0 0 27 2 0 0 18 0 1 0 634899606 6582272 1373 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 1607 1373 178 372 0 1232 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6428 [startup+0.700817 s] /proc/loadavg: 1.92 1.98 1.93 3/177 4676 /proc/meminfo: memFree=858412/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=9724 CPUtime=0.69 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 2993 0 0 0 65 4 0 0 18 0 1 0 634899606 9957376 2146 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 2431 2146 178 372 0 2056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9724 [startup+1.50067 s] /proc/loadavg: 1.92 1.98 1.93 3/178 4677 /proc/meminfo: memFree=847516/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=14676 CPUtime=1.49 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 4920 0 0 0 138 11 0 0 19 0 1 0 634899606 15028224 3365 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 3669 3365 178 372 0 3294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14676 [startup+3.10037 s] /proc/loadavg: 1.92 1.98 1.93 3/178 4677 /proc/meminfo: memFree=841812/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=20476 CPUtime=3.08 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 7044 0 0 0 290 18 0 0 20 0 1 0 634899606 20967424 4746 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 5119 4746 178 372 0 4744 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20476 [startup+6.30083 s] /proc/loadavg: 1.93 1.98 1.93 3/178 4678 /proc/meminfo: memFree=839024/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=21004 CPUtime=6.28 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 7222 0 0 0 608 20 0 0 25 0 1 0 634899606 21508096 4924 33554432000 4194304 5714214 140736361541584 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 5251 4924 178 372 0 4876 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21004 [startup+12.7007 s] /proc/loadavg: 1.93 1.98 1.93 3/178 4678 /proc/meminfo: memFree=830788/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=30188 CPUtime=12.69 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 9484 0 0 0 1245 24 0 0 25 0 1 0 634899606 30912512 7186 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 7547 7186 178 372 0 7172 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30188 [startup+25.5004 s] /proc/loadavg: 2.02 2.00 1.93 3/178 4678 /proc/meminfo: memFree=827764/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=33052 CPUtime=25.49 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 10219 0 0 0 2521 28 0 0 25 0 1 0 634899606 33845248 7921 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 8263 7921 178 372 0 7888 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33052 [startup+51.1009 s] /proc/loadavg: 2.01 2.00 1.93 3/178 4679 /proc/meminfo: memFree=809588/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=48840 CPUtime=51.09 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 14031 0 0 0 5075 34 0 0 25 0 1 0 634899606 50012160 11733 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 12210 11733 178 372 0 11835 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 48840 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.93 3/178 4680 /proc/meminfo: memFree=762296/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=81264 CPUtime=102.29 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 21695 0 0 0 10185 44 0 0 25 0 1 0 634899606 83214336 19397 33554432000 4194304 5714214 140736361541584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 20316 19397 178 372 0 19941 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 81264 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 4682 /proc/meminfo: memFree=725136/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=106152 CPUtime=162.29 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 27647 0 0 0 16173 56 0 0 25 0 1 0 634899606 108699648 25349 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 26538 25349 178 372 0 26163 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 106152 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 4683 /proc/meminfo: memFree=682156/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=136516 CPUtime=222.29 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 34962 0 0 0 22159 70 0 0 25 0 1 0 634899606 139792384 32664 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 34129 32664 178 372 0 33754 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 136516 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 4685 /proc/meminfo: memFree=621156/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=180452 CPUtime=282.3 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 45549 0 0 0 28144 86 0 0 25 0 1 0 634899606 184782848 43251 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 45113 43251 178 372 0 44738 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 180452 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 4686 /proc/meminfo: memFree=605196/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=180452 CPUtime=342.3 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 45825 0 0 0 34133 97 0 0 25 0 1 0 634899606 184782848 43527 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 45113 43527 178 372 0 44738 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 180452 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 4688 /proc/meminfo: memFree=572436/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=180452 CPUtime=402.3 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 46188 0 0 0 40120 110 0 0 25 0 1 0 634899606 184782848 43890 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 45113 43890 178 372 0 44738 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 180452 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 4690 /proc/meminfo: memFree=521600/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=180452 CPUtime=462.3 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 46264 0 0 0 46108 122 0 0 25 0 1 0 634899606 184782848 43966 33554432000 4194304 5714214 140736361541584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 45113 43966 178 372 0 44738 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 180452 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.93 3/178 4691 /proc/meminfo: memFree=514712/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=180452 CPUtime=522.3 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 46495 0 0 0 52102 128 0 0 25 0 1 0 634899606 184782848 44197 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 45113 44197 178 372 0 44738 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 180452 [startup+582.3 s] /proc/loadavg: 2.08 2.02 1.94 3/178 4693 /proc/meminfo: memFree=496568/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=180452 CPUtime=582.3 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 46706 0 0 0 58091 139 0 0 25 0 1 0 634899606 184782848 44408 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 45113 44408 178 372 0 44738 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 180452 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 4699 /proc/meminfo: memFree=382968/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=225620 CPUtime=822.31 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 57817 0 0 0 82054 177 0 0 25 0 1 0 634899606 231034880 55519 33554432000 4194304 5714214 140736361541584 18446744073709551615 4322875 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 56405 55519 178 372 0 56030 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 225620 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 4701 /proc/meminfo: memFree=363504/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=238628 CPUtime=882.31 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 60932 0 0 0 88046 185 0 0 25 0 1 0 634899606 244355072 58634 33554432000 4194304 5714214 140736361541584 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 59657 58634 178 372 0 59282 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 238628 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.94 3/178 4702 /proc/meminfo: memFree=333352/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=250092 CPUtime=942.31 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 63771 0 0 0 94036 195 0 0 25 0 1 0 634899606 256094208 61473 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 62523 61473 178 372 0 62148 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 250092 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 4704 /proc/meminfo: memFree=309008/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=266388 CPUtime=1002.31 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 67683 0 0 0 100027 204 0 0 25 0 1 0 634899606 272781312 65385 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 66597 65385 178 372 0 66222 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 266388 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 4706 /proc/meminfo: memFree=285360/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=275580 CPUtime=1062.31 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 69903 0 0 0 106017 214 0 0 25 0 1 0 634899606 282193920 67605 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 68895 67605 178 372 0 68520 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 275580 [startup+1122.3 s] /proc/loadavg: 1.43 1.84 1.89 2/172 4732 /proc/meminfo: memFree=885324/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=300996 CPUtime=1122.32 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 76119 0 0 0 112005 227 0 0 25 0 1 0 634899606 308219904 73821 33554432000 4194304 5714214 140736361541584 18446744073709551615 4311009 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 75249 73821 178 372 0 74874 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 300996 [startup+1182.3 s] /proc/loadavg: 1.20 1.70 1.83 2/172 4734 /proc/meminfo: memFree=863192/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=324064 CPUtime=1182.31 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 81760 0 0 0 117993 238 0 0 25 0 1 0 634899606 331841536 79462 33554432000 4194304 5714214 140736361541584 18446744073709551615 4311471 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 81016 79462 178 372 0 80641 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 324064 [startup+1242.3 s] /proc/loadavg: 1.07 1.57 1.78 2/172 4735 /proc/meminfo: memFree=836464/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=352036 CPUtime=1242.32 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 88365 0 0 0 123987 245 0 0 25 0 1 0 634899606 360484864 86067 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 88009 86067 178 372 0 87634 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 352036 [startup+1302.3 s] /proc/loadavg: 1.02 1.46 1.73 2/172 4737 /proc/meminfo: memFree=832800/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=355240 CPUtime=1302.33 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 89175 0 0 0 129978 255 0 0 25 0 1 0 634899606 363765760 86877 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 88810 86877 178 372 0 88435 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 355240 [startup+1362.3 s] /proc/loadavg: 1.01 1.38 1.68 2/172 4739 /proc/meminfo: memFree=810544/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=377728 CPUtime=1362.32 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 94776 0 0 0 135964 268 0 0 25 0 1 0 634899606 386793472 92478 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 94432 92478 178 372 0 94057 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 377728 [startup+1422.31 s] /proc/loadavg: 1.00 1.31 1.63 2/172 4740 /proc/meminfo: memFree=792788/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=395824 CPUtime=1422.33 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 99244 0 0 0 141953 280 0 0 25 0 1 0 634899606 405323776 96946 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 98956 96946 178 372 0 98581 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 395824 [startup+1482.3 s] /proc/loadavg: 1.00 1.25 1.59 2/172 4745 /proc/meminfo: memFree=775028/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=415020 CPUtime=1482.33 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 103726 0 0 0 147943 290 0 0 25 0 1 0 634899606 424980480 101428 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 103755 101428 178 372 0 103380 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 415020 [startup+1542.3 s] /proc/loadavg: 1.00 1.20 1.55 2/172 4746 /proc/meminfo: memFree=760556/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=429280 CPUtime=1542.33 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 107253 0 0 0 153932 301 0 0 25 0 1 0 634899606 439582720 104955 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 107320 104955 178 372 0 106945 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 429280 [startup+1602.3 s] /proc/loadavg: 1.00 1.16 1.51 2/172 4748 /proc/meminfo: memFree=746988/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=443076 CPUtime=1602.32 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 110607 0 0 0 159924 308 0 0 25 0 1 0 634899606 453709824 108309 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 110769 108309 178 372 0 110394 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 443076 [startup+1662.3 s] /proc/loadavg: 1.00 1.13 1.48 2/172 4750 /proc/meminfo: memFree=730572/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=459616 CPUtime=1662.33 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 114676 0 0 0 165915 318 0 0 25 0 1 0 634899606 470646784 112378 33554432000 4194304 5714214 140736361541584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 114904 112378 178 372 0 114529 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 459616 [startup+1722.3 s] /proc/loadavg: 1.00 1.10 1.45 2/172 4751 /proc/meminfo: memFree=721952/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=468244 CPUtime=1722.33 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 116758 0 0 0 171908 325 0 0 25 0 1 0 634899606 479481856 114460 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 117061 114460 178 372 0 116686 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 468244 [startup+1782.3 s] /proc/loadavg: 1.00 1.08 1.42 2/172 4762 /proc/meminfo: memFree=714876/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=475024 CPUtime=1782.33 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 118415 0 0 0 177901 332 0 0 25 0 1 0 634899606 486424576 116117 33554432000 4194304 5714214 140736361541584 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 118756 116117 178 372 0 118381 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 475024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.08 1.41 2/172 4762 /proc/meminfo: memFree=712608/32951124 swapFree=67055716/67111528 [pid=4676] ppid=4674 vsize=477744 CPUtime=1800.04 cores=0,2,4,6 /proc/4676/stat : 4676 (wbo1.6) R 4674 4676 2916 0 -1 4202496 119007 0 0 0 179669 335 0 0 25 0 1 0 634899606 489209856 116709 33554432000 4194304 5714214 140736361541584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/4676/statm: 119436 116709 178 372 0 119061 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 477744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.07 CPU user time (s): 1796.7 CPU system time (s): 3.37449 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 477744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.7 system time used= 3.37449 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119007 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= 18 involuntary context switches= 5266 runsolver used 2.83357 second user time and 5.75512 second system time The end
Begin job on node107 at 2011-06-12 21:31:23 IDJOB=3447207 IDBENCH=79400 IDSOLVER=1943 FILE ID=node107/3447207-1307907083 RUNJOBID= node107-1307903226-4150 PBS_JOBID= 13559596 Free space on /var/tmp= 2888 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh18_wcsp.wbo COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447207-1307907083/watcher-3447207-1307907083 -o /var/tmp/evaluation-result-3447207-1307907083/solver-3447207-1307907083 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447207-1307907083.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11b5917216c9682d33b4eac8f024a9c6 RANDOM SEED=1363379430 node107.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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 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.82 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.829 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.74 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.829 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 : 5359.47 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.829 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.829 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: 858592 kB Buffers: 57308 kB Cached: 30727544 kB SwapCached: 20072 kB Active: 15945492 kB Inactive: 15184540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 858592 kB SwapTotal: 67111528 kB SwapFree: 67055716 kB Dirty: 4600 kB Writeback: 0 kB AnonPages: 343380 kB Mapped: 13932 kB Slab: 896836 kB PageTables: 4960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 523268 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 /var/tmp at the end= 2888 MiB End job on node107 at 2011-06-12 22:01:25