Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.1 | 1800.07 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh308_wcsp.wbo |
MD5SUM | 9e4ae11dd0361dce6825f0168cc6adb2 |
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 | 1.04784 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 1000 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 900 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
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-2700244-1278534506.wbo. 0.00/0.00 c Instance file HOME/instance-2700244-1278534506.wbo 0.00/0.00 c File size is 47726 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: 1100 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 200 1100 4810 | 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 | 357 1257 5581 | 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 | 460 1360 6073 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.01 c core #3 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 567 1467 6586 | 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 | 719 1618 7339 | 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 | 857 1756 8017 | 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 | 997 1896 8701 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #7 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1153 2052 9478 | 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 | 1321 2218 10320 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #9 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1509 2401 11270 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #10 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1674 2565 12090 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #11 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1861 2752 13048 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #12 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2071 2961 14119 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #13 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2245 3135 15014 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.06 c core #14 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 | 2412 3302 15861 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #15 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2597 3486 16807 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #16 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 | 2820 3707 17966 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #17 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 | 3023 3903 19004 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #18 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 | 3252 4130 20181 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 3250 4130 20181 | 5500 100 8 | 0.308 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #19 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 | 3461 4336 21262 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #20 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 | 3647 4521 22220 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #21 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 | 3898 4770 23535 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #22 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 | 4150 5021 24871 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.15 c core #23 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 | 4358 5227 25954 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.16 c core #24 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 4569 5437 27038 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #25 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 | 4764 5631 28037 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #26 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 | 4994 5859 29229 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #27 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 | 5217 6081 30395 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.21 c core #28 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 5444 6306 31584 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #29 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 | 5667 6527 32753 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 100 | 5665 6527 32753 | 5500 58 7 | 0.035 % | 0.19/0.24 c =============================================================================== 0.19/0.25 c core #30 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 5948 6794 34216 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 100 | 5946 6794 34216 | 5500 57 8 | 0.034 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #31 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 | 6196 7028 35466 | 5000 0 nan | 0.000 % | 0.19/0.29 c | 101 | 6191 7028 35466 | 5500 74 7 | 0.194 % | 0.19/0.29 c =============================================================================== 0.19/0.30 c core #32 0.19/0.30 c ============================[ Search Statistics ]============================== 0.19/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.30 c =============================================================================== 0.19/0.30 c | 0 | 6460 7288 36863 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 100 | 6460 7288 36863 | 5500 100 10 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #33 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 6753 7574 38410 | 5000 0 nan | 0.000 % | 0.29/0.35 c | 100 | 6751 7574 38410 | 5500 48 8 | 0.030 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #34 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 7054 7872 40033 | 5000 0 nan | 0.000 % | 0.29/0.38 c | 100 | 7054 7872 40033 | 5500 100 9 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #35 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 | 7374 8179 41724 | 5000 0 nan | 0.000 % | 0.39/0.41 c | 101 | 7374 8179 41724 | 5500 101 10 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.43 c core #36 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 7728 8510 43581 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 100 | 7728 8510 43581 | 5500 100 9 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #37 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 | 8038 8802 45176 | 5000 0 nan | 0.000 % | 0.39/0.49 c | 101 | 8038 8802 45176 | 5500 101 10 | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #38 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 | 8356 9109 46871 | 5000 0 nan | 0.000 % | 0.49/0.52 c | 100 | 8356 9109 46871 | 5500 100 12 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.54 c core #39 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 8658 9404 48481 | 5000 0 nan | 0.000 % | 0.49/0.56 c | 100 | 8657 9404 48481 | 5500 100 10 | 0.046 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #40 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 9010 9745 50368 | 5000 0 nan | 0.000 % | 0.49/0.59 c | 101 | 9010 9745 50368 | 5500 101 10 | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.61 c core #41 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 9320 10043 52007 | 5000 0 nan | 0.000 % | 0.59/0.63 c | 101 | 9317 10043 52007 | 5500 101 8 | 0.064 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #42 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 9628 10339 53639 | 5000 0 nan | 0.000 % | 0.59/0.66 c | 100 | 9628 10339 53639 | 5500 100 10 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #43 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 | 9984 10675 55540 | 5000 0 nan | 0.000 % | 0.69/0.70 c | 100 | 9984 10675 55540 | 5500 100 11 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c core #44 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 | 10296 10975 57193 | 5000 0 nan | 0.000 % | 0.69/0.75 c | 102 | 10296 10975 57193 | 5500 102 16 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.77 c core #45 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 10651 11315 59116 | 5000 0 nan | 0.000 % | 0.69/0.79 c | 102 | 10651 11315 59116 | 5500 102 10 | 0.019 % | 0.79/0.80 c =============================================================================== 0.79/0.81 c core #46 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 | 10992 11651 60986 | 5000 0 nan | 0.000 % | 0.79/0.83 c | 100 | 10992 11651 60986 | 5500 100 12 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #47 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 11321 11957 62710 | 5000 0 nan | 0.000 % | 0.79/0.88 c | 100 | 11321 11957 62710 | 5500 100 14 | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.91 c core #48 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 11667 12294 64610 | 5000 0 nan | 0.000 % | 0.89/0.93 c | 100 | 11667 12294 64610 | 5500 100 14 | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #49 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 11987 12597 66300 | 5000 0 nan | 0.000 % | 0.89/0.99 c | 101 | 11987 12597 66300 | 5500 101 13 | 0.000 % | 0.89/1.00 c =============================================================================== 0.99/1.01 c core #50 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 12310 12905 68023 | 5000 0 nan | 0.000 % | 0.99/1.03 c | 100 | 12310 12905 68023 | 5500 100 10 | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.06 c core #51 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 12645 13223 69812 | 5000 0 nan | 0.000 % | 0.99/1.08 c | 100 | 12643 13223 69812 | 5500 100 11 | 0.047 % | 0.99/1.09 c =============================================================================== 0.99/1.10 c core #52 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 12997 13566 71747 | 5000 0 nan | 0.000 % | 1.09/1.13 c | 103 | 12997 13566 71747 | 5500 103 9 | 0.000 % | 1.09/1.14 c =============================================================================== 1.09/1.15 c core #53 1.09/1.15 c ============================[ Search Statistics ]============================== 1.09/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.15 c =============================================================================== 1.09/1.15 c | 0 | 13325 13873 73467 | 5000 0 nan | 0.000 % | 1.09/1.18 c | 100 | 13325 13873 73467 | 5500 100 14 | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.22 c core #54 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 13674 14195 75302 | 5000 0 nan | 0.000 % | 1.19/1.25 c | 100 | 13674 14195 75302 | 5500 100 17 | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.28 c core #55 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 14035 14528 77206 | 5000 0 nan | 0.000 % | 1.30/1.31 c | 101 | 14035 14528 77206 | 5500 101 14 | 0.000 % | 1.30/1.34 c =============================================================================== 1.30/1.35 c core #56 1.30/1.35 c ============================[ Search Statistics ]============================== 1.30/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.30/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.30/1.35 c =============================================================================== 1.30/1.35 c | 0 | 14425 14885 79271 | 5000 0 nan | 0.000 % | 1.30/1.38 c | 100 | 14425 14885 79271 | 5500 100 17 | 0.000 % | 1.39/1.41 c | 250 | 14415 14885 79271 | 6050 230 14 | 0.208 % | 1.39/1.41 c =============================================================================== 1.39/1.43 c core #57 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 14829 15249 81404 | 5083 0 nan | 0.000 % | 1.39/1.46 c | 100 | 14829 15249 81404 | 5591 100 16 | 0.000 % | 1.39/1.49 c =============================================================================== 1.49/1.50 c core #58 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 15199 15595 83385 | 5198 0 nan | 0.000 % | 1.49/1.53 c | 101 | 15199 15595 83385 | 5718 101 16 | 0.000 % | 1.49/1.56 c | 251 | 15192 15595 83385 | 6289 199 14 | 0.092 % | 1.49/1.56 c =============================================================================== 1.49/1.58 c core #59 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 | 15613 15981 85623 | 5327 0 nan | 0.000 % | 1.59/1.60 c | 100 | 15613 15981 85623 | 5859 100 22 | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.64 c core #60 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 15969 16301 87455 | 5433 0 nan | 0.000 % | 1.59/1.67 c | 100 | 15969 16301 87455 | 5977 100 13 | 0.000 % | 1.69/1.70 c =============================================================================== 1.69/1.71 c core #61 1.69/1.71 c ============================[ Search Statistics ]============================== 1.69/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.71 c =============================================================================== 1.69/1.71 c | 0 | 16357 16650 89492 | 5550 0 nan | 0.000 % | 1.69/1.75 c | 101 | 16357 16650 89492 | 6105 101 19 | 0.000 % | 1.69/1.78 c =============================================================================== 1.69/1.79 c core #62 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 16747 17014 91589 | 5671 0 nan | 0.000 % | 1.79/1.82 c | 101 | 16747 17014 91589 | 6238 101 16 | 0.000 % | 1.79/1.85 c | 252 | 16744 17014 91589 | 6862 243 15 | 0.024 % | 1.79/1.89 c =============================================================================== 1.89/1.91 c core #63 1.89/1.91 c ============================[ Search Statistics ]============================== 1.89/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.91 c =============================================================================== 1.89/1.91 c | 0 | 17224 17420 94043 | 5806 0 nan | 0.000 % | 1.89/1.94 c | 100 | 17224 17420 94043 | 6387 100 15 | 0.000 % | 1.89/1.97 c | 250 | 17208 17420 94043 | 7026 119 13 | 0.105 % | 1.89/1.97 c =============================================================================== 1.89/1.99 c core #64 1.89/1.99 c ============================[ Search Statistics ]============================== 1.89/1.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.99 c =============================================================================== 1.89/1.99 c | 0 | 17620 17773 96101 | 5924 0 nan | 0.000 % | 1.99/2.02 c | 101 | 17620 17773 96101 | 6516 101 14 | 0.000 % | 1.99/2.05 c | 251 | 17615 17773 96101 | 7168 181 12 | 0.045 % | 1.99/2.06 c =============================================================================== 1.99/2.08 c core #65 1.99/2.08 c ============================[ Search Statistics ]============================== 1.99/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.08 c =============================================================================== 1.99/2.08 c | 0 | 18065 18149 98374 | 6049 0 nan | 0.000 % | 2.09/2.11 c | 101 | 18065 18149 98374 | 6654 101 15 | 0.000 % | 2.09/2.14 c | 251 | 18065 18149 98374 | 7320 251 19 | 0.000 % | 2.09/2.18 c | 477 | 18047 18149 98374 | 8052 405 19 | 0.100 % | 2.19/2.24 c | 815 | 18013 18149 98374 | 8857 692 22 | 0.288 % | 2.29/2.32 c | 1322 | 18001 18149 98374 | 9743 1087 24 | 0.376 % | 2.29/2.34 c =============================================================================== 2.29/2.36 c core #66 2.29/2.36 c ============================[ Search Statistics ]============================== 2.29/2.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.36 c =============================================================================== 2.29/2.36 c | 0 | 18566 18550 100867 | 6183 0 nan | 0.000 % | 2.29/2.39 c | 101 | 18566 18550 100867 | 6801 101 16 | 0.000 % | 2.39/2.42 c | 252 | 18560 18550 100867 | 7481 252 15 | 0.032 % | 2.39/2.46 c | 477 | 18508 18550 100867 | 8230 431 16 | 0.312 % | 2.50/2.52 c | 816 | 18486 18550 100867 | 9053 606 21 | 0.431 % | 2.59/2.62 c | 1322 | 18317 18550 100867 | 9958 719 23 | 1.341 % | 2.69/2.75 c | 2083 | 18317 18550 100867 | 10954 1480 25 | 1.341 % | 2.89/2.96 c | 3222 | 18317 18550 100867 | 12049 2619 31 | 1.341 % | 3.20/3.30 c | 4932 | 18317 18550 100867 | 13254 4329 34 | 1.341 % | 3.49/3.57 c =============================================================================== 3.59/3.60 c core #67 3.59/3.60 c ============================[ Search Statistics ]============================== 3.59/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.60 c =============================================================================== 3.59/3.60 c | 0 | 19088 18930 103309 | 6310 0 nan | 0.000 % | 3.59/3.64 c | 101 | 19088 18930 103309 | 6941 101 16 | 0.000 % | 3.59/3.68 c | 251 | 19085 18930 103309 | 7635 251 14 | 0.021 % | 3.69/3.73 c | 476 | 19084 18930 103309 | 8398 424 17 | 0.021 % | 3.79/3.80 c | 821 | 19070 18930 103309 | 9238 726 26 | 0.094 % | 3.89/3.90 c | 1327 | 19054 18930 103309 | 10162 1176 32 | 0.199 % | 3.99/4.06 c | 2088 | 18998 18930 103309 | 11178 1864 42 | 0.472 % | 4.19/4.24 c | 3227 | 18995 18930 103309 | 12296 2916 42 | 0.555 % | 4.49/4.53 c | 4936 | 18982 18930 103309 | 13526 4612 43 | 0.555 % | 4.89/4.96 c | 7500 | 18982 18930 103309 | 14878 7176 43 | 0.555 % | 5.69/5.75 c | 11346 | 18976 18930 103309 | 16366 11019 47 | 0.587 % | 7.09/7.11 c | 17113 | 18976 18930 103309 | 18003 16786 49 | 0.587 % | 9.50/9.53 c | 25762 | 18976 18930 103309 | 19803 16048 57 | 0.587 % | 12.79/12.83 c | 38738 | 18976 18930 103309 | 21783 18637 64 | 0.587 % | 19.80/19.84 c | 58203 | 18976 18930 103309 | 23962 15152 78 | 0.587 % | 29.59/29.62 c | 87404 | 18966 18930 103309 | 26358 19251 76 | 0.639 % | 47.39/47.47 c =============================================================================== 48.20/48.21 c core #68 48.20/48.21 c ============================[ Search Statistics ]============================== 48.20/48.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.20/48.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.20/48.21 c =============================================================================== 48.20/48.21 c | 0 | 19657 19314 105882 | 6438 0 nan | 0.000 % | 48.20/48.25 c | 100 | 19657 19314 105882 | 7081 100 16 | 0.000 % | 48.20/48.29 c | 251 | 19651 19314 105882 | 7789 251 16 | 0.031 % | 48.29/48.34 c | 476 | 19649 19314 105882 | 8568 437 19 | 0.041 % | 48.39/48.42 c | 813 | 19633 19314 105882 | 9425 697 21 | 0.183 % | 48.49/48.52 c | 1321 | 19621 19314 105882 | 10368 1073 29 | 0.183 % | 48.70/48.71 c | 2080 | 19589 19314 105882 | 11405 1768 36 | 0.346 % | 48.90/48.95 c | 3221 | 19572 19314 105882 | 12545 2887 44 | 0.468 % | 49.30/49.40 c | 4929 | 19565 19314 105882 | 13800 4587 49 | 0.468 % | 49.99/50.00 c | 7491 | 19565 19314 105882 | 15180 7149 53 | 0.468 % | 50.79/50.84 c | 11336 | 19565 19314 105882 | 16698 10994 56 | 0.468 % | 52.39/52.43 c | 17103 | 19565 19314 105882 | 18368 16761 57 | 0.468 % | 54.69/54.75 c | 25753 | 19565 19314 105882 | 20205 15978 69 | 0.468 % | 58.30/58.38 c | 38733 | 19565 19314 105882 | 22225 18644 78 | 0.468 % | 64.79/64.90 c | 58197 | 19565 19314 105882 | 24448 15199 84 | 0.468 % | 81.19/81.27 c | 87389 | 19565 19314 105882 | 26893 18486 102 | 0.468 % | 103.99/104.05 c | 131179 | 19565 19314 105882 | 29582 15708 125 | 0.468 % | 130.60/130.65 c | 196863 | 19547 19314 105882 | 32540 27559 99 | 0.560 % | 180.09/180.14 c | 295392 | 19467 19314 105882 | 35794 23987 113 | 0.967 % | 251.60/251.64 c | 443181 | 19467 19314 105882 | 39374 30943 101 | 0.967 % | 369.00/369.01 c | 664864 | 19467 19314 105882 | 43311 38601 119 | 0.967 % | 571.31/571.39 c | 997395 | 19467 19314 105882 | 47642 42802 138 | 0.967 % | 856.91/856.92 c | 1496183 | 19467 19314 105882 | 52407 20102 122 | 0.967 % | 1351.61/1351.60 c | 2244366 | 19467 19314 105882 | 57647 15594 113 | 0.967 % |
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-2700244-1278534506/watcher-2700244-1278534506 -o /tmp/evaluation-result-2700244-1278534506/solver-2700244-1278534506 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700244-1278534506.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: 3.54 3.88 2.27 3/178 18631 /proc/meminfo: memFree=29663528/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=2712 CPUtime=0 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 340 0 0 0 0 0 0 0 25 0 1 0 21663740 2777088 246 4089446400 134512640 135751879 4287495728 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/18631/statm: 678 246 143 303 0 373 0 [startup+0.0981401 s] /proc/loadavg: 3.54 3.88 2.27 3/178 18631 /proc/meminfo: memFree=29663528/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=4220 CPUtime=0.09 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 691 0 0 0 8 1 0 0 25 0 1 0 21663740 4321280 597 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 1055 597 145 303 0 750 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4220 [startup+0.101143 s] /proc/loadavg: 3.54 3.88 2.27 3/178 18631 /proc/meminfo: memFree=29663528/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=4220 CPUtime=0.09 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 691 0 0 0 8 1 0 0 25 0 1 0 21663740 4321280 597 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 1055 597 145 303 0 750 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4220 [startup+0.301107 s] /proc/loadavg: 3.54 3.88 2.27 3/178 18631 /proc/meminfo: memFree=29663528/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=5756 CPUtime=0.29 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 1250 0 0 0 26 3 0 0 18 0 1 0 21663740 5894144 976 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 1439 976 146 303 0 1134 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5756 [startup+0.701039 s] /proc/loadavg: 3.54 3.88 2.27 3/178 18631 /proc/meminfo: memFree=29663528/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=7676 CPUtime=0.69 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 1964 0 0 0 63 6 0 0 18 0 1 0 21663740 7860224 1425 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 1919 1425 146 303 0 1614 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7676 [startup+1.50091 s] /proc/loadavg: 3.54 3.88 2.27 3/179 18632 /proc/meminfo: memFree=29657324/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=11316 CPUtime=1.49 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 3698 0 0 0 139 10 0 0 18 0 1 0 21663740 11587584 2256 4089446400 134512640 135751879 4287495728 18446744073709551615 134541677 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 2829 2256 146 303 0 2524 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11316 [startup+3.10067 s] /proc/loadavg: 3.41 3.85 2.26 3/179 18632 /proc/meminfo: memFree=29651868/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=13072 CPUtime=3.09 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 4784 0 0 0 294 15 0 0 20 0 1 0 21663740 13385728 2783 4089446400 134512640 135751879 4287495728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 3268 2783 146 303 0 2963 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13072 [startup+6.30112 s] /proc/loadavg: 3.41 3.85 2.26 3/179 18632 /proc/meminfo: memFree=29650568/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=14512 CPUtime=6.3 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 5189 0 0 0 612 18 0 0 25 0 1 0 21663740 14860288 3188 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 3628 3188 146 303 0 3323 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 14512 [startup+12.701 s] /proc/loadavg: 3.20 3.79 2.26 3/179 18632 /proc/meminfo: memFree=29638160/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=24200 CPUtime=12.69 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 7586 0 0 0 1249 20 0 0 25 0 1 0 21663740 24780800 5585 4089446400 134512640 135751879 4287495728 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 6050 5585 146 303 0 5745 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24200 [startup+25.5009 s] /proc/loadavg: 3.01 3.73 2.26 3/179 18633 /proc/meminfo: memFree=29617344/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=40616 CPUtime=25.49 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 11698 0 0 0 2524 25 0 0 25 0 1 0 21663740 41590784 9697 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 10154 9697 146 303 0 9849 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40616 [startup+51.1006 s] /proc/loadavg: 2.66 3.59 2.25 3/179 18633 /proc/meminfo: memFree=29570032/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=75168 CPUtime=51.09 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 20251 0 0 0 5074 35 0 0 24 0 1 0 21663740 76972032 18250 4089446400 134512640 135751879 4287495728 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 18792 18250 146 303 0 18487 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 75168 [startup+102.306 s] /proc/loadavg: 2.26 3.32 2.23 3/179 18635 /proc/meminfo: memFree=29500684/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=121044 CPUtime=102.3 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 31672 0 0 0 10178 52 0 0 25 0 1 0 21663740 123949056 29671 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 30261 29671 146 303 0 29956 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 121044 [startup+162.301 s] /proc/loadavg: 2.10 3.08 2.22 3/179 18636 /proc/meminfo: memFree=29399084/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=194848 CPUtime=162.29 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 50087 0 0 0 16156 73 0 0 25 0 1 0 21663740 199524352 48086 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 48712 48086 146 303 0 48407 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 194848 [startup+222.301 s] /proc/loadavg: 2.03 2.88 2.20 3/179 18638 /proc/meminfo: memFree=29317312/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=254592 CPUtime=222.29 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 64903 0 0 0 22140 89 0 0 25 0 1 0 21663740 260702208 62902 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 63648 62902 146 303 0 63343 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 254592 [startup+282.3 s] /proc/loadavg: 2.01 2.72 2.18 3/179 18639 /proc/meminfo: memFree=29223280/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=324576 CPUtime=282.3 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 82351 0 0 0 28119 111 0 0 25 0 1 0 21663740 332365824 80350 4089446400 134512640 135751879 4287495728 18446744073709551615 134606383 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 81144 80350 146 303 0 80839 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 324576 [startup+342.3 s] /proc/loadavg: 2.00 2.58 2.17 3/179 18641 /proc/meminfo: memFree=29138060/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=390620 CPUtime=342.3 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 98815 0 0 0 34102 128 0 0 25 0 1 0 21663740 399994880 96814 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 97655 96814 146 303 0 97350 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 390620 [startup+402.3 s] /proc/loadavg: 2.05 2.49 2.16 3/179 18643 /proc/meminfo: memFree=29054996/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=445064 CPUtime=402.3 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 112338 0 0 0 40089 141 0 0 25 0 1 0 21663740 455745536 110337 4089446400 134512640 135751879 4287495728 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 111266 110337 146 303 0 110961 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 445064 [startup+462.301 s] /proc/loadavg: 2.02 2.40 2.15 3/179 18644 /proc/meminfo: memFree=28967264/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=510872 CPUtime=462.3 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 128802 0 0 0 46074 156 0 0 25 0 1 0 21663740 523132928 126801 4089446400 134512640 135751879 4287495728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 127718 126801 146 303 0 127413 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 510872 [startup+522.301 s] /proc/loadavg: 2.00 2.32 2.14 3/179 18646 /proc/meminfo: memFree=28876320/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=574336 CPUtime=522.3 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 144626 0 0 0 52062 168 0 0 25 0 1 0 21663740 588120064 142625 4089446400 134512640 135751879 4287495728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 143584 142625 146 303 0 143279 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 574336 [startup+582.301 s] /proc/loadavg: 2.00 2.26 2.13 3/179 18647 /proc/meminfo: memFree=28799760/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=633460 CPUtime=582.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 159381 0 0 0 58049 182 0 0 25 0 1 0 21663740 648663040 157380 4089446400 134512640 135751879 4287495728 18446744073709551615 134616843 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 158365 157380 146 303 0 158060 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 633460 [startup+642.301 s] /proc/loadavg: 2.00 2.21 2.12 3/179 18649 /proc/meminfo: memFree=28710304/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=697552 CPUtime=642.3 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 175387 0 0 0 64035 195 0 0 25 0 1 0 21663740 714293248 173386 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 174388 173386 146 303 0 174083 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 697552 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.11 2.09 3/179 18654 /proc/meminfo: memFree=28450856/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=892336 CPUtime=822.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 224004 0 0 0 81985 246 0 0 25 0 1 0 21663740 913752064 222003 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 223084 222003 146 303 0 222779 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 892336 [startup+882.301 s] /proc/loadavg: 2.07 2.10 2.09 3/179 18655 /proc/meminfo: memFree=28364488/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=955288 CPUtime=882.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 239739 0 0 0 87970 261 0 0 25 0 1 0 21663740 978214912 237738 4089446400 134512640 135751879 4287495728 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 238822 237738 146 303 0 238517 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 955288 [startup+942.301 s] /proc/loadavg: 2.02 2.08 2.08 3/179 18657 /proc/meminfo: memFree=28295124/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1000588 CPUtime=942.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 251033 0 0 0 93957 274 0 0 25 0 1 0 21663740 1024602112 249032 4089446400 134512640 135751879 4287495728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 250147 249032 146 303 0 249842 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1000588 [startup+1002.3 s] /proc/loadavg: 2.01 2.06 2.07 3/179 18659 /proc/meminfo: memFree=28213220/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1060908 CPUtime=1002.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 266104 0 0 0 99941 290 0 0 25 0 1 0 21663740 1086369792 264103 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 265227 264103 146 303 0 264922 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1060908 [startup+1062.3 s] /proc/loadavg: 2.00 2.05 2.07 3/179 18660 /proc/meminfo: memFree=28136924/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1114960 CPUtime=1062.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 279612 0 0 0 105928 303 0 0 25 0 1 0 21663740 1141719040 277611 4089446400 134512640 135751879 4287495728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 278740 277611 146 303 0 278435 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1114960 [startup+1122.3 s] /proc/loadavg: 2.00 2.04 2.06 3/179 18662 /proc/meminfo: memFree=28048956/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1176016 CPUtime=1122.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 294845 0 0 0 111910 321 0 0 25 0 1 0 21663740 1204240384 292844 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 294004 292844 146 303 0 293699 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1176016 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.06 3/179 18737 /proc/meminfo: memFree=28756316/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1219104 CPUtime=1182.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 305542 0 0 0 117900 331 0 0 25 0 1 0 21663740 1248362496 303541 4089446400 134512640 135751879 4287495728 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 304776 303541 146 303 0 304471 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1219104 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.05 3/179 18739 /proc/meminfo: memFree=28706900/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1267356 CPUtime=1242.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 317547 0 0 0 123888 343 0 0 25 0 1 0 21663740 1297772544 315546 4089446400 134512640 135751879 4287495728 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 316839 315546 146 303 0 316534 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1267356 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.04 3/179 18868 /proc/meminfo: memFree=28596600/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1319312 CPUtime=1302.32 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 330567 0 0 0 129875 357 0 0 25 0 1 0 21663740 1350975488 328566 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 329828 328566 146 303 0 329523 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1319312 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.04 3/179 18869 /proc/meminfo: memFree=28406532/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1387596 CPUtime=1362.32 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 347626 0 0 0 135857 375 0 0 25 0 1 0 21663740 1420898304 345625 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 346899 345625 146 303 0 346594 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1387596 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.03 3/179 18871 /proc/meminfo: memFree=28222960/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1450788 CPUtime=1422.33 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 363393 0 0 0 141841 392 0 0 25 0 1 0 21663740 1485606912 361392 4089446400 134512640 135751879 4287495728 18446744073709551615 134616518 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 362697 361392 146 303 0 362392 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1450788 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.03 3/179 18872 /proc/meminfo: memFree=28070252/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1496496 CPUtime=1482.32 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 374805 0 0 0 147829 403 0 0 25 0 1 0 21663740 1532411904 372804 4089446400 134512640 135751879 4287495728 18446744073709551615 134518948 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 374124 372804 146 303 0 373819 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1496496 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 18874 /proc/meminfo: memFree=27911588/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1544868 CPUtime=1542.32 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 386895 0 0 0 153818 414 0 0 25 0 1 0 21663740 1581944832 384894 4089446400 134512640 135751879 4287495728 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 386217 384894 146 303 0 385912 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1544868 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.02 3/179 18876 /proc/meminfo: memFree=27733336/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1615144 CPUtime=1602.32 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 404454 0 0 0 159802 430 0 0 25 0 1 0 21663740 1653907456 402453 4089446400 134512640 135751879 4287495728 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 403786 402453 146 303 0 403481 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1615144 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.01 3/179 18877 /proc/meminfo: memFree=27576912/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1679044 CPUtime=1662.31 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 420413 0 0 0 165789 442 0 0 25 0 1 0 21663740 1719341056 418412 4089446400 134512640 135751879 4287495728 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 419761 418412 146 303 0 419456 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1679044 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 18879 /proc/meminfo: memFree=27438348/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1743756 CPUtime=1722.32 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 436571 0 0 0 171776 456 0 0 25 0 1 0 21663740 1785606144 434570 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 435939 434570 146 303 0 435634 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1743756 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.01 3/179 18880 /proc/meminfo: memFree=27293344/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1816552 CPUtime=1782.33 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 454734 0 0 0 177762 471 0 0 25 0 1 0 21663740 1860149248 452733 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 454138 452733 146 303 0 453833 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1816552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.01 2.01 3/179 18881 /proc/meminfo: memFree=27246576/32951124 swapFree=67111528/67111528 [pid=18631] ppid=18629 vsize=1842292 CPUtime=1800.03 /proc/18631/stat : 18631 (wbo1.4a) R 18629 18631 17975 0 -1 4202496 461172 0 0 0 179527 476 0 0 25 0 1 0 21663740 1886507008 459171 4089446400 134512640 135751879 4287495728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18631/statm: 460573 459171 146 303 0 460268 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1842292 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.1 CPU user time (s): 1795.28 CPU system time (s): 4.81927 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1842292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.28 system time used= 4.81927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461172 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= 12 involuntary context switches= 1042 runsolver used 2.73558 second user time and 5.46417 second system time The end
Begin job on node130 at 2010-07-07 22:28:26 IDJOB=2700244 IDBENCH=79412 IDSOLVER=1200 FILE ID=node130/2700244-1278534506 PBS_JOBID= 11239218 Free space on /tmp= 73392 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh308_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700244-1278534506/watcher-2700244-1278534506 -o /tmp/evaluation-result-2700244-1278534506/solver-2700244-1278534506 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700244-1278534506.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9e4ae11dd0361dce6825f0168cc6adb2 RANDOM SEED=1118915051 node130.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.831 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.22 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.831 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.74 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.72 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.831 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.831 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.68 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.831 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29664056 kB Buffers: 136044 kB Cached: 2625552 kB SwapCached: 0 kB Active: 1596544 kB Inactive: 1538660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29664056 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 374124 kB Mapped: 17556 kB Slab: 86428 kB PageTables: 5512 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 523064 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= 73392 MiB End job on node130 at 2010-07-07 22:58:28