Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.13 | 1800.07 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh05_wcsp.wbo |
MD5SUM | 1604fdd87dcee54076f2101bd99fabb3 |
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 | 183 |
Best CPU time to get the best result obtained on this benchmark | 1.20382 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2700436-1278535630.wbo. 0.00/0.00 c Instance file HOME/instance-2700436-1278535630.wbo 0.00/0.00 c File size is 45215 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 4564 | 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 | 329 1179 5195 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #2 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 471 1321 5889 | 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 | 594 1444 6482 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #4 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 693 1542 6946 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #5 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 826 1675 7604 | 5000 0 nan | 0.000 % | 0.00/0.01 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 | 983 1832 8391 | 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 | 1092 1941 8923 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #8 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1197 2046 9432 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #9 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 | 1288 2137 9866 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #10 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 | 1405 2254 10432 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.03 c core #11 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 | 1549 2397 11131 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #12 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 | 1690 2537 11825 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.04 c core #13 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 | 1827 2674 12510 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #14 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 | 1973 2818 13238 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.05 c core #15 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2124 2969 13990 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #16 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2271 3116 14732 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.06 c core #17 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2403 3246 15381 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #18 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2560 3402 16187 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.07 c core #19 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 2691 3531 16843 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #20 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 2863 3703 17725 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #21 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 3002 3841 18424 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #22 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 3150 3988 19162 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #23 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 3283 4120 19828 | 5000 0 nan | 0.000 % | 0.08/0.09 c =============================================================================== 0.09/0.10 c core #24 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 | 3403 4240 20431 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #25 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 | 3606 4437 21458 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #26 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 | 3815 4643 22533 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #27 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 | 4006 4831 23510 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #28 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 | 4204 5025 24528 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #29 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 | 4438 5255 25751 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #30 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 4691 5504 27082 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.18 c core #31 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 | 4943 5755 28407 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #32 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 | 5172 5983 29601 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #33 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 | 5383 6192 30698 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.22 c core #34 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 | 5629 6424 31962 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.23 c core #35 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 5838 6628 33032 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #36 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 | 6068 6856 34249 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.26 c core #37 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 6307 7095 35519 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #38 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 | 6570 7355 36918 | 5000 0 nan | 0.000 % | 0.19/0.29 c | 101 | 6570 7355 36918 | 5500 101 14 | 0.000 % | 0.19/0.30 c =============================================================================== 0.29/0.30 c core #39 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 6793 7573 38065 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.32 c core #40 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 | 7042 7820 39411 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.34 c core #41 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 | 7300 8071 40796 | 5000 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #42 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 | 7532 8299 42018 | 5000 0 nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #43 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 | 7801 8557 43435 | 5000 0 nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #44 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 | 8073 8819 44893 | 5000 0 nan | 0.000 % | 0.39/0.41 c | 100 | 8067 8819 44893 | 5500 98 13 | 0.074 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #45 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 8395 9120 46597 | 5000 0 nan | 0.000 % | 0.39/0.44 c | 100 | 8384 9120 46597 | 5500 100 11 | 0.476 % | 0.39/0.44 c =============================================================================== 0.39/0.45 c core #46 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 8698 9414 48233 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #47 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 | 8984 9676 49687 | 5000 0 nan | 0.000 % | 0.39/0.49 c | 100 | 8973 9676 49687 | 5500 100 10 | 0.289 % | 0.39/0.49 c =============================================================================== 0.49/0.50 c core #48 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 9256 9935 51130 | 5000 0 nan | 0.000 % | 0.49/0.52 c | 100 | 9245 9935 51130 | 5500 100 10 | 0.324 % | 0.49/0.52 c =============================================================================== 0.49/0.53 c core #49 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 | 9572 10238 52810 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #50 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 9857 10510 54335 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.58 c core #51 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 | 10140 10775 55830 | 5000 0 nan | 0.000 % | 0.59/0.60 c | 100 | 10139 10775 55830 | 5500 100 11 | 0.039 % | 0.59/0.61 c =============================================================================== 0.59/0.62 c core #52 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 10476 11086 57604 | 5000 0 nan | 0.000 % | 0.59/0.64 c | 100 | 10465 11086 57604 | 5500 100 10 | 0.248 % | 0.59/0.64 c =============================================================================== 0.59/0.65 c core #53 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 10797 11379 59259 | 5000 0 nan | 0.000 % | 0.59/0.67 c | 102 | 10791 11379 59259 | 5500 100 12 | 0.074 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #54 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 11139 11665 60930 | 5000 0 nan | 0.000 % | 0.69/0.71 c | 100 | 11085 11665 60930 | 5500 100 10 | 0.521 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c core #55 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 | 11433 11922 62391 | 5000 0 nan | 0.000 % | 0.69/0.75 c | 101 | 11431 11922 62391 | 5500 101 17 | 0.017 % | 0.69/0.76 c | 252 | 11418 11922 62391 | 6050 218 14 | 0.157 % | 0.69/0.77 c =============================================================================== 0.69/0.78 c core #56 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 11827 12242 64298 | 5000 0 nan | 0.000 % | 0.79/0.80 c | 100 | 11819 12242 64298 | 5500 100 11 | 0.085 % | 0.79/0.82 c =============================================================================== 0.79/0.83 c core #57 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 12221 12556 66192 | 5000 0 nan | 0.000 % | 0.79/0.86 c | 102 | 12215 12556 66192 | 5500 102 11 | 0.049 % | 0.79/0.88 c | 252 | 12208 12556 66192 | 6050 250 14 | 0.131 % | 0.89/0.91 c | 478 | 12195 12556 66192 | 6655 456 16 | 0.278 % | 0.89/0.95 c | 815 | 12184 12556 66192 | 7320 763 18 | 0.311 % | 0.99/1.03 c | 1322 | 12183 12556 66192 | 8052 1259 17 | 0.311 % | 0.99/1.08 c =============================================================================== 0.99/1.09 c core #58 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 12689 12858 68185 | 5000 0 nan | 0.000 % | 1.10/1.12 c | 100 | 12685 12858 68185 | 5500 100 19 | 0.047 % | 1.10/1.14 c | 250 | 12674 12858 68185 | 6050 248 17 | 0.158 % | 1.10/1.17 c | 476 | 12669 12858 68185 | 6655 428 21 | 0.158 % | 1.19/1.22 c | 816 | 12669 12858 68185 | 7320 768 22 | 0.158 % | 1.19/1.29 c | 1323 | 12669 12858 68185 | 8052 1275 25 | 0.158 % | 1.39/1.40 c | 2083 | 12669 12858 68185 | 8857 2035 25 | 0.158 % | 1.49/1.59 c | 3224 | 12669 12858 68185 | 9743 3176 30 | 0.158 % | 1.79/1.88 c | 4932 | 12669 12858 68185 | 10717 4884 30 | 0.158 % | 2.29/2.38 c | 7494 | 12669 12858 68185 | 11789 7446 38 | 0.158 % | 2.59/2.66 c =============================================================================== 2.69/2.70 c core #59 2.69/2.70 c ============================[ Search Statistics ]============================== 2.69/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.70 c =============================================================================== 2.69/2.70 c | 0 | 13210 13186 70394 | 5000 0 nan | 0.000 % | 2.69/2.74 c | 102 | 13208 13186 70394 | 5500 102 26 | 0.015 % | 2.69/2.76 c | 253 | 13197 13186 70394 | 6050 252 21 | 0.136 % | 2.79/2.80 c | 479 | 13188 13186 70394 | 6655 446 22 | 0.167 % | 2.79/2.85 c | 816 | 13187 13186 70394 | 7320 750 24 | 0.182 % | 2.89/2.92 c | 1324 | 13184 13186 70394 | 8052 1252 28 | 0.197 % | 2.99/3.06 c | 2085 | 13138 13186 70394 | 8857 1998 36 | 1.211 % | 3.20/3.25 c | 3224 | 13050 13186 70394 | 9743 3004 42 | 1.211 % | 3.49/3.60 c | 4933 | 13050 13186 70394 | 10717 4713 46 | 1.211 % | 3.99/4.08 c | 7495 | 13050 13186 70394 | 11789 7275 51 | 1.211 % | 5.09/5.12 c | 11339 | 13050 13186 70394 | 12968 11119 56 | 1.211 % | 6.59/6.68 c | 17106 | 13050 13186 70394 | 14265 10165 65 | 1.211 % | 9.39/9.41 c | 25755 | 13050 13186 70394 | 15692 11420 69 | 1.211 % | 13.69/13.75 c | 38733 | 13050 13186 70394 | 17261 16096 71 | 1.211 % | 20.30/20.30 c | 58195 | 13050 13186 70394 | 18987 17509 74 | 1.211 % | 28.29/28.37 c | 87388 | 12917 13186 70394 | 20886 6451 45 | 2.218 % | 29.99/30.01 c =============================================================================== 30.39/30.43 c core #60 30.39/30.43 c ============================[ Search Statistics ]============================== 30.39/30.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.39/30.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.39/30.43 c =============================================================================== 30.39/30.43 c | 0 | 13695 13512 72533 | 5000 0 nan | 0.000 % | 30.39/30.46 c | 100 | 13687 13512 72533 | 5500 100 12 | 0.058 % | 30.39/30.49 c | 250 | 13679 13512 72533 | 6050 250 17 | 0.131 % | 30.49/30.54 c | 479 | 13675 13512 72533 | 6655 459 23 | 0.146 % | 30.59/30.61 c | 817 | 13665 13512 72533 | 7320 789 26 | 0.234 % | 30.59/30.69 c | 1324 | 13537 13512 72533 | 8052 1158 37 | 1.154 % | 30.70/30.80 c | 2083 | 13537 13512 72533 | 8857 1917 44 | 1.154 % | 30.89/30.98 c | 3222 | 13537 13512 72533 | 9743 3056 54 | 1.154 % | 31.29/31.34 c | 4930 | 13537 13512 72533 | 10717 4764 63 | 1.154 % | 31.80/31.87 c | 7492 | 13537 13512 72533 | 11789 7326 63 | 1.154 % | 32.80/32.85 c | 11339 | 13537 13512 72533 | 12968 11173 61 | 1.154 % | 34.10/34.17 c | 17107 | 13537 13512 72533 | 14265 10100 57 | 1.154 % | 36.80/36.83 c | 25767 | 13537 13512 72533 | 15692 11275 76 | 1.154 % | 40.29/40.35 c | 38742 | 13537 13512 72533 | 17261 16073 72 | 1.154 % | 45.40/45.44 c | 58207 | 13537 13512 72533 | 18987 17680 66 | 1.154 % | 55.49/55.60 c | 87399 | 13537 13512 72533 | 20886 16952 74 | 1.154 % | 68.20/68.24 c | 131189 | 13537 13512 72533 | 22974 17091 75 | 1.154 % | 92.89/92.90 c | 196873 | 13537 13512 72533 | 25272 22792 81 | 1.154 % | 137.20/137.24 c | 295399 | 13537 13512 72533 | 27799 26373 84 | 1.154 % | 199.80/199.85 c | 443188 | 13436 13512 72533 | 30579 16065 89 | 1.891 % | 235.80/235.81 c =============================================================================== 239.40/239.47 c core #61 239.40/239.47 c ============================[ Search Statistics ]============================== 239.40/239.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.40/239.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.40/239.47 c =============================================================================== 239.40/239.47 c | 0 | 14188 13817 74577 | 5000 0 nan | 0.000 % | 239.50/239.53 c | 100 | 14142 13817 74577 | 5500 100 19 | 0.324 % | 239.50/239.57 c | 254 | 14070 13817 74577 | 6050 195 37 | 1.114 % | 239.60/239.61 c | 481 | 14030 13817 74577 | 6655 389 52 | 1.114 % | 239.60/239.68 c | 819 | 14030 13817 74577 | 7320 727 52 | 1.114 % | 239.70/239.78 c | 1325 | 14030 13817 74577 | 8052 1233 53 | 1.114 % | 239.90/239.92 c | 2084 | 14030 13817 74577 | 8857 1992 49 | 1.114 % | 240.10/240.13 c | 3225 | 14030 13817 74577 | 9743 3133 47 | 1.114 % | 240.49/240.56 c | 4934 | 14030 13817 74577 | 10717 4842 52 | 1.114 % | 241.30/241.35 c | 7496 | 14030 13817 74577 | 11789 7404 56 | 1.114 % | 242.60/242.64 c | 11341 | 14030 13817 74577 | 12968 11249 58 | 1.114 % | 244.00/244.00 c | 17110 | 14030 13817 74577 | 14265 10140 61 | 1.114 % | 246.69/246.78 c | 25760 | 14030 13817 74577 | 15692 11090 62 | 1.114 % | 251.60/251.64 c | 38740 | 14030 13817 74577 | 17261 15678 97 | 1.114 % | 259.20/259.20 c | 58201 | 14030 13817 74577 | 18987 16902 101 | 1.114 % | 273.20/273.23 c | 87395 | 14030 13817 74577 | 20886 15974 105 | 1.114 % | 292.10/292.13 c | 131188 | 14030 13817 74577 | 22974 15223 125 | 1.114 % | 331.20/331.28 c | 196878 | 14030 13817 74577 | 25272 21167 114 | 1.114 % | 387.40/387.42 c | 295405 | 14030 13817 74577 | 27799 25009 130 | 1.114 % | 462.91/462.99 c | 443199 | 14030 13817 74577 | 30579 15461 151 | 1.114 % | 600.11/600.19 c | 664887 | 14030 13817 74577 | 33637 17812 175 | 1.114 % | 815.92/815.92 c | 997414 | 14030 13817 74577 | 37001 17249 155 | 1.114 % | 1043.53/1043.56 c | 1496202 | 14030 13817 74577 | 40701 16725 101 | 1.114 % | 1459.23/1459.22 c | 2244388 | 14030 13817 74577 | 44771 36401 80 | 1.114 % |
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-2700436-1278535630/watcher-2700436-1278535630 -o /tmp/evaluation-result-2700436-1278535630/solver-2700436-1278535630 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700436-1278535630.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 1.98 1.68 3/178 17627 /proc/meminfo: memFree=28101208/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=2712 CPUtime=0 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 21777116 2777088 239 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 678 239 145 303 0 373 0 [startup+0.096718 s] /proc/loadavg: 1.94 1.98 1.68 3/178 17627 /proc/meminfo: memFree=28101208/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=4188 CPUtime=0.08 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 685 0 0 0 7 1 0 0 21 0 1 0 21777116 4288512 581 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 1047 581 145 303 0 742 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4188 [startup+0.100731 s] /proc/loadavg: 1.94 1.98 1.68 3/178 17627 /proc/meminfo: memFree=28101208/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=4188 CPUtime=0.09 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 713 0 0 0 8 1 0 0 21 0 1 0 21777116 4288512 609 4089446400 134512640 135751879 4292381072 18446744073709551615 134541664 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 1047 609 145 303 0 742 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4188 [startup+0.300695 s] /proc/loadavg: 1.94 1.98 1.68 3/178 17627 /proc/meminfo: memFree=28101208/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=5952 CPUtime=0.29 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 1281 0 0 0 25 4 0 0 18 0 1 0 21777116 6094848 1025 4089446400 134512640 135751879 4292381072 18446744073709551615 135269054 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 1488 1025 146 303 0 1183 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5952 [startup+0.700634 s] /proc/loadavg: 1.94 1.98 1.68 3/178 17627 /proc/meminfo: memFree=28101208/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=8436 CPUtime=0.69 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 2276 0 0 0 56 13 0 0 18 0 1 0 21777116 8638464 1629 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 2109 1629 146 303 0 1804 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8436 [startup+1.50048 s] /proc/loadavg: 1.94 1.98 1.68 3/179 17628 /proc/meminfo: memFree=28094628/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=9464 CPUtime=1.49 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 2541 0 0 0 132 17 0 0 18 0 1 0 21777116 9691136 1894 4089446400 134512640 135751879 4292381072 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 2366 1894 146 303 0 2061 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9464 [startup+3.10019 s] /proc/loadavg: 1.94 1.98 1.68 3/179 17628 /proc/meminfo: memFree=28093388/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=12064 CPUtime=3.09 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 3200 0 0 0 288 21 0 0 21 0 1 0 21777116 12353536 2553 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 3016 2553 146 303 0 2711 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12064 [startup+6.30058 s] /proc/loadavg: 1.94 1.98 1.68 3/179 17628 /proc/meminfo: memFree=28089844/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=14184 CPUtime=6.29 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 3750 0 0 0 605 24 0 0 25 0 1 0 21777116 14524416 3103 4089446400 134512640 135751879 4292381072 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 3546 3103 146 303 0 3241 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14184 [startup+12.7004 s] /proc/loadavg: 1.95 1.98 1.69 3/179 17628 /proc/meminfo: memFree=28080404/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=23000 CPUtime=12.69 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 5948 0 0 0 1240 29 0 0 25 0 1 0 21777116 23552000 5301 4089446400 134512640 135751879 4292381072 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 5750 5301 146 303 0 5445 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23000 [startup+25.501 s] /proc/loadavg: 1.96 1.98 1.69 3/179 17628 /proc/meminfo: memFree=28059264/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=40248 CPUtime=25.49 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 10219 0 0 0 2511 38 0 0 25 0 1 0 21777116 41213952 9572 4089446400 134512640 135751879 4292381072 18446744073709551615 134616722 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 10062 9573 146 303 0 9757 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40248 [startup+51.1003 s] /proc/loadavg: 1.97 1.98 1.70 3/179 17630 /proc/meminfo: memFree=28019380/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=67540 CPUtime=51.09 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 17017 0 0 0 5045 64 0 0 25 0 1 0 21777116 69160960 16370 4089446400 134512640 135751879 4292381072 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 16885 16370 146 303 0 16580 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 67540 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.71 3/179 17630 /proc/meminfo: memFree=27953612/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=131976 CPUtime=102.3 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 33067 0 0 0 10129 101 0 0 25 0 1 0 21777116 135143424 32420 4089446400 134512640 135751879 4292381072 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 32994 32420 146 303 0 32689 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 131976 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.73 3/179 17660 /proc/meminfo: memFree=30007392/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=202460 CPUtime=162.29 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 50578 0 0 0 16095 134 0 0 25 0 1 0 21777116 207319040 49931 4089446400 134512640 135751879 4292381072 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 50615 49931 146 303 0 50310 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 202460 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.74 3/179 17662 /proc/meminfo: memFree=29944964/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=263320 CPUtime=222.29 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 65735 0 0 0 22069 160 0 0 25 0 1 0 21777116 269639680 65088 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 65830 65088 146 303 0 65525 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 263320 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.75 3/179 17664 /proc/meminfo: memFree=29894560/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=312760 CPUtime=282.3 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 78600 0 0 0 28042 188 0 0 25 0 1 0 21777116 320266240 77648 4089446400 134512640 135751879 4292381072 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 78190 77648 146 303 0 77885 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 312760 [startup+342.301 s] /proc/loadavg: 1.99 1.98 1.76 3/179 17665 /proc/meminfo: memFree=29837244/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=368648 CPUtime=342.3 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 92539 0 0 0 34022 208 0 0 25 0 1 0 21777116 377495552 91587 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 92162 91587 146 303 0 91857 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 368648 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.78 3/179 17666 /proc/meminfo: memFree=29777808/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=428240 CPUtime=402.3 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 107355 0 0 0 40000 230 0 0 25 0 1 0 21777116 438517760 106403 4089446400 134512640 135751879 4292381072 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 107060 106403 146 303 0 106755 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 428240 [startup+462.3 s] /proc/loadavg: 1.99 1.98 1.79 3/179 17668 /proc/meminfo: memFree=29710300/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=494932 CPUtime=462.3 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 123994 0 0 0 45973 257 0 0 25 0 1 0 21777116 506810368 123042 4089446400 134512640 135751879 4292381072 18446744073709551615 134616518 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 123733 123042 146 303 0 123428 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 494932 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.80 3/179 17670 /proc/meminfo: memFree=29646880/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=559840 CPUtime=522.3 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 140163 0 0 0 51956 274 0 0 25 0 1 0 21777116 573276160 139211 4089446400 134512640 135751879 4292381072 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 139960 139211 146 303 0 139655 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 559840 [startup+582.3 s] /proc/loadavg: 1.99 1.98 1.81 3/179 17672 /proc/meminfo: memFree=29573056/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=631608 CPUtime=582.31 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 158097 0 0 0 57933 298 0 0 25 0 1 0 21777116 646766592 157145 4089446400 134512640 135751879 4292381072 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 157902 157145 146 303 0 157597 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 631608 [startup+642.301 s] /proc/loadavg: 1.99 1.98 1.82 3/179 17673 /proc/meminfo: memFree=29508780/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=695204 CPUtime=642.31 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 173881 0 0 0 63918 313 0 0 25 0 1 0 21777116 711888896 172929 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 173801 172929 146 303 0 173496 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 695204 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.07 2.00 1.84 3/179 17678 /proc/meminfo: memFree=29282940/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=920516 CPUtime=822.32 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 230117 0 0 0 81858 374 0 0 25 0 1 0 21777116 942608384 229165 4089446400 134512640 135751879 4292381072 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 230129 229165 146 303 0 229824 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 920516 [startup+882.301 s] /proc/loadavg: 2.03 2.00 1.85 3/179 17689 /proc/meminfo: memFree=29212700/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=988420 CPUtime=882.32 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 247064 0 0 0 87841 391 0 0 25 0 1 0 21777116 1012142080 246112 4089446400 134512640 135751879 4292381072 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 247105 246112 146 303 0 246800 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 988420 [startup+942.301 s] /proc/loadavg: 2.01 2.00 1.86 3/179 17690 /proc/meminfo: memFree=29112704/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1089668 CPUtime=942.32 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 272331 0 0 0 93809 423 0 0 25 0 1 0 21777116 1115820032 271379 4089446400 134512640 135751879 4292381072 18446744073709551615 134606432 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 272417 271380 146 303 0 272112 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1089668 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.86 3/179 17691 /proc/meminfo: memFree=29015928/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1184784 CPUtime=1002.32 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 296042 0 0 0 99783 449 0 0 25 0 1 0 21777116 1213218816 295090 4089446400 134512640 135751879 4292381072 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 296196 295090 146 303 0 295891 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1184784 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.87 3/179 17693 /proc/meminfo: memFree=28935888/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1265552 CPUtime=1062.32 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 316211 0 0 0 105748 484 0 0 25 0 1 0 21777116 1295925248 315259 4089446400 134512640 135751879 4292381072 18446744073709551615 134610760 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 316388 315259 146 303 0 316083 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1265552 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.87 3/179 17695 /proc/meminfo: memFree=28865040/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1335520 CPUtime=1122.33 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 333686 0 0 0 111722 511 0 0 25 0 1 0 21777116 1367572480 332734 4089446400 134512640 135751879 4292381072 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 333880 332734 146 303 0 333575 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1335520 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 17697 /proc/meminfo: memFree=28795688/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1404896 CPUtime=1182.33 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 351002 0 0 0 117697 536 0 0 25 0 1 0 21777116 1438613504 350050 4089446400 134512640 135751879 4292381072 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 351224 350050 146 303 0 350919 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1404896 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.88 3/179 17698 /proc/meminfo: memFree=28732996/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1467372 CPUtime=1242.33 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 366516 0 0 0 123676 557 0 0 25 0 1 0 21777116 1502588928 365564 4089446400 134512640 135751879 4292381072 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 366843 365564 146 303 0 366538 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1467372 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 17699 /proc/meminfo: memFree=28665620/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1533760 CPUtime=1302.34 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 383092 0 0 0 129651 583 0 0 25 0 1 0 21777116 1570570240 382140 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 383440 382140 146 303 0 383135 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1533760 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 17701 /proc/meminfo: memFree=28599600/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1600076 CPUtime=1362.34 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 399637 0 0 0 135623 611 0 0 25 0 1 0 21777116 1638477824 398685 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 400019 398685 146 303 0 399714 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1600076 [startup+1422.31 s] /proc/loadavg: 2.04 2.01 1.91 3/179 17703 /proc/meminfo: memFree=28521308/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1677836 CPUtime=1422.35 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 419059 0 0 0 141593 642 0 0 25 0 1 0 21777116 1718104064 418107 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 419459 418107 146 303 0 419154 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1677836 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 1.91 3/179 17705 /proc/meminfo: memFree=28460376/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1739536 CPUtime=1482.34 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 434443 0 0 0 147560 674 0 0 25 0 1 0 21777116 1781284864 433491 4089446400 134512640 135751879 4292381072 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 434884 433491 146 303 0 434579 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1739536 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 17706 /proc/meminfo: memFree=28396596/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1802292 CPUtime=1542.35 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 450128 0 0 0 153531 704 0 0 25 0 1 0 21777116 1845547008 449176 4089446400 134512640 135751879 4292381072 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 450573 449176 146 303 0 450268 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1802292 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 17707 /proc/meminfo: memFree=28329460/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1870292 CPUtime=1602.34 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 467098 0 0 0 159499 735 0 0 25 0 1 0 21777116 1915179008 466146 4089446400 134512640 135751879 4292381072 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 467573 466146 146 303 0 467268 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1870292 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 17709 /proc/meminfo: memFree=28265428/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1933332 CPUtime=1662.34 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 482826 0 0 0 165470 764 0 0 25 0 1 0 21777116 1979731968 481874 4089446400 134512640 135751879 4292381072 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 483333 481874 146 303 0 483028 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1933332 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 17711 /proc/meminfo: memFree=28215780/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=1983640 CPUtime=1722.35 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 495366 0 0 0 171451 784 0 0 25 0 1 0 21777116 2031247360 494414 4089446400 134512640 135751879 4292381072 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 495910 494414 146 303 0 495605 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1983640 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 1.91 3/179 17713 /proc/meminfo: memFree=28156956/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=2041700 CPUtime=1782.35 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 509828 0 0 0 177426 809 0 0 25 0 1 0 21777116 2090700800 508876 4089446400 134512640 135751879 4292381072 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 510425 508876 146 303 0 510120 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2041700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.01 1.91 3/179 17713 /proc/meminfo: memFree=28139948/32951124 swapFree=67111528/67111528 [pid=17627] ppid=17625 vsize=2058200 CPUtime=1800.06 /proc/17627/stat : 17627 (wbo1.4a) R 17625 17627 17303 0 -1 4202496 513961 0 0 0 179189 817 0 0 25 0 1 0 21777116 2107596800 513009 4089446400 134512640 135751879 4292381072 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/17627/statm: 514550 513009 146 303 0 514245 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2058200 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.07 CPU time (s): 1800.13 CPU user time (s): 1791.89 CPU system time (s): 8.24075 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2058200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.89 system time used= 8.24075 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 513961 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= 28 involuntary context switches= 923 runsolver used 2.44363 second user time and 5.75612 second system time The end
Begin job on node105 at 2010-07-07 22:47:10 IDJOB=2700436 IDBENCH=79428 IDSOLVER=1200 FILE ID=node105/2700436-1278535630 PBS_JOBID= 11239268 Free space on /tmp= 73612 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh05_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700436-1278535630/watcher-2700436-1278535630 -o /tmp/evaluation-result-2700436-1278535630/solver-2700436-1278535630 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700436-1278535630.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1604fdd87dcee54076f2101bd99fabb3 RANDOM SEED=457841496 node105.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.833 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.66 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.833 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 : 5153.06 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.76 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.74 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.833 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: 28101984 kB Buffers: 124872 kB Cached: 2391760 kB SwapCached: 0 kB Active: 3189496 kB Inactive: 1512332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28101984 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 2184984 kB Mapped: 16852 kB Slab: 79192 kB PageTables: 8952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2364564 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 node105 at 2010-07-07 23:17:12