Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.1 | 1800.16 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh304_wcsp.wbo |
MD5SUM | 4141aec8f84b614aac5b3a0221093342 |
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 | 321 |
Best CPU time to get the best result obtained on this benchmark | 1.64975 |
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-2700184-1278534314.wbo. 0.00/0.00 c Instance file HOME/instance-2700184-1278534314.wbo 0.00/0.00 c File size is 47848 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 4817 | 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 | 234 1134 4965 | 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 | 290 1190 5224 | 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 | 358 1258 5542 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #4 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 471 1371 6097 | 5000 0 nan | 0.000 % | 0.00/0.00 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 | 591 1490 6701 | 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 | 706 1604 7271 | 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 | 814 1711 7804 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #8 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 925 1819 8342 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.01/0.01 c core #9 0.01/0.01 c ============================[ Search Statistics ]============================== 0.01/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.01 c =============================================================================== 0.01/0.01 c | 0 | 1043 1937 8933 | 5000 0 nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c core #10 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 1189 2081 9681 | 5000 0 nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c core #11 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 1343 2234 10482 | 5000 0 nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c core #12 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 1480 2371 11173 | 5000 0 nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c core #13 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 1620 2511 11890 | 5000 0 nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.03 c core #14 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 1777 2668 12706 | 5000 0 nan | 0.000 % | 0.01/0.03 c =============================================================================== 0.01/0.04 c core #15 0.01/0.04 c ============================[ Search Statistics ]============================== 0.01/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.04 c =============================================================================== 0.01/0.04 c | 0 | 1952 2843 13623 | 5000 0 nan | 0.000 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c core #16 0.01/0.04 c ============================[ Search Statistics ]============================== 0.01/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.04 c =============================================================================== 0.01/0.04 c | 0 | 2130 3018 14528 | 5000 0 nan | 0.000 % | 0.01/0.04 c =============================================================================== 0.01/0.05 c core #17 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 2309 3196 15457 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c core #18 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 2485 3369 16377 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.06 c core #19 0.01/0.06 c ============================[ Search Statistics ]============================== 0.01/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 2651 3529 17220 | 5000 0 nan | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c core #20 0.01/0.06 c ============================[ Search Statistics ]============================== 0.01/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 2831 3705 18138 | 5000 0 nan | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c core #21 0.01/0.07 c ============================[ Search Statistics ]============================== 0.01/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.07 c =============================================================================== 0.01/0.07 c | 0 | 3019 3893 19121 | 5000 0 nan | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.08 c core #22 0.01/0.08 c ============================[ Search Statistics ]============================== 0.01/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.08 c =============================================================================== 0.01/0.08 c | 0 | 3234 4107 20260 | 5000 0 nan | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.09 c core #23 0.01/0.09 c ============================[ Search Statistics ]============================== 0.01/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 3425 4297 21267 | 5000 0 nan | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c core #24 0.01/0.09 c ============================[ Search Statistics ]============================== 0.01/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 3601 4473 22193 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #25 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 | 3793 4665 23211 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #26 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 | 3954 4825 24034 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.12 c core #27 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 | 4155 5025 25096 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.13 c core #28 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 | 4349 5218 26112 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #29 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 | 4516 5385 26976 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.15 c core #30 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 | 4715 5578 28004 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #31 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 | 4946 5801 29203 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.18 c core #32 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 | 5149 6003 30279 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #33 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 | 5390 6241 31560 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #34 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 | 5601 6448 32655 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.22 c core #35 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 | 5820 6665 33814 | 5000 0 nan | 0.000 % | 0.19/0.23 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 | 6057 6898 35100 | 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 | 6295 7128 36341 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.28 c core #38 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 6543 7374 37660 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #39 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 6740 7566 38685 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #40 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 6962 7787 39866 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #41 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 | 7192 8016 41095 | 5000 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #42 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 | 7418 8236 42294 | 5000 0 nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #43 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 7646 8455 43485 | 5000 0 nan | 0.000 % | 0.29/0.39 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 | 7870 8677 44673 | 5000 0 nan | 0.000 % | 0.39/0.41 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 | 8111 8914 45953 | 5000 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #46 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 8326 9127 47087 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.46 c core #47 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 8573 9373 48402 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.48 c core #48 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 8783 9577 49506 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.51 c core #49 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 8993 9786 50615 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.53 c core #50 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 | 9212 10002 51774 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #51 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 | 9426 10216 52901 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.58 c core #52 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 | 9650 10437 54087 | 5000 0 nan | 0.000 % | 0.49/0.60 c =============================================================================== 0.59/0.61 c core #53 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 | 9886 10670 55344 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.63 c core #54 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 10123 10905 56601 | 5000 0 nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.65 c core #55 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 | 10317 11099 57629 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.68 c core #56 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 | 10524 11304 58725 | 5000 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.69/0.71 c core #57 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 10762 11540 59995 | 5000 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.74 c core #58 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 10994 11762 61198 | 5000 0 nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.76 c core #59 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 11223 11982 62391 | 5000 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.79 c core #60 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 11465 12212 63644 | 5000 0 nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.83 c core #61 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 | 11695 12435 64832 | 5000 0 nan | 0.000 % | 0.79/0.86 c | 100 | 11674 12435 64832 | 5500 100 8 | 0.239 % | 0.79/0.86 c =============================================================================== 0.79/0.87 c core #62 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 11914 12646 65968 | 5000 0 nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #63 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 12154 12877 67221 | 5000 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.94 c core #64 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 12358 13077 68282 | 5000 0 nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.98 c core #65 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 12595 13310 69550 | 5000 0 nan | 0.000 % | 0.89/1.00 c =============================================================================== 1.00/1.01 c core #66 1.00/1.01 c ============================[ Search Statistics ]============================== 1.00/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.01 c =============================================================================== 1.00/1.01 c | 0 | 12842 13552 70875 | 5000 0 nan | 0.000 % | 1.00/1.04 c | 100 | 12821 13552 70875 | 5500 47 12 | 0.202 % | 1.00/1.05 c =============================================================================== 1.00/1.06 c core #67 1.00/1.06 c ============================[ Search Statistics ]============================== 1.00/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.06 c =============================================================================== 1.00/1.06 c | 0 | 13094 13798 72213 | 5000 0 nan | 0.000 % | 1.00/1.09 c =============================================================================== 1.00/1.10 c core #68 1.00/1.10 c ============================[ Search Statistics ]============================== 1.00/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.10 c =============================================================================== 1.00/1.10 c | 0 | 13323 14009 73376 | 5000 0 nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.14 c core #69 1.10/1.14 c ============================[ Search Statistics ]============================== 1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.14 c =============================================================================== 1.10/1.14 c | 0 | 13577 14239 74656 | 5000 0 nan | 0.000 % | 1.10/1.17 c | 100 | 13553 14239 74656 | 5500 100 11 | 0.383 % | 1.10/1.17 c =============================================================================== 1.10/1.18 c core #70 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 13829 14484 76012 | 5000 0 nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.22 c core #71 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 | 14066 14714 77292 | 5000 0 nan | 0.000 % | 1.19/1.25 c | 100 | 14064 14714 77292 | 5500 61 12 | 0.043 % | 1.19/1.25 c =============================================================================== 1.19/1.26 c core #72 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 14319 14962 78643 | 5000 0 nan | 0.000 % | 1.19/1.31 c =============================================================================== 1.19/1.32 c core #73 1.19/1.32 c ============================[ Search Statistics ]============================== 1.19/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.32 c =============================================================================== 1.19/1.32 c | 0 | 14578 15211 80014 | 5070 0 nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #74 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 14867 15485 81553 | 5161 0 nan | 0.000 % | 1.29/1.39 c | 100 | 14851 15485 81553 | 5677 52 10 | 0.202 % | 1.29/1.39 c =============================================================================== 1.29/1.40 c core #75 1.29/1.40 c ============================[ Search Statistics ]============================== 1.29/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.40 c =============================================================================== 1.29/1.40 c | 0 | 15129 15720 82881 | 5240 0 nan | 0.000 % | 1.42/1.44 c | 100 | 15109 15720 82881 | 5764 52 12 | 0.238 % | 1.42/1.44 c =============================================================================== 1.42/1.46 c core #76 1.42/1.46 c ============================[ Search Statistics ]============================== 1.42/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.42/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.42/1.46 c =============================================================================== 1.42/1.46 c | 0 | 15392 15962 84228 | 5320 0 nan | 0.000 % | 1.42/1.49 c | 101 | 15390 15962 84228 | 5852 47 9 | 0.039 % | 1.48/1.50 c =============================================================================== 1.48/1.51 c core #77 1.48/1.51 c ============================[ Search Statistics ]============================== 1.48/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.51 c =============================================================================== 1.48/1.51 c | 0 | 15693 16241 85799 | 5413 0 nan | 0.000 % | 1.48/1.55 c | 100 | 15691 16241 85799 | 5955 30 8 | 0.013 % | 1.48/1.56 c =============================================================================== 1.48/1.57 c core #78 1.48/1.57 c ============================[ Search Statistics ]============================== 1.48/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.48/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.48/1.57 c =============================================================================== 1.48/1.57 c | 0 | 15942 16480 87111 | 5493 0 nan | 0.000 % | 1.58/1.61 c | 100 | 15919 16480 87111 | 6042 54 11 | 0.238 % | 1.58/1.61 c =============================================================================== 1.58/1.62 c core #79 1.58/1.62 c ============================[ Search Statistics ]============================== 1.58/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.62 c =============================================================================== 1.58/1.62 c | 0 | 16203 16728 88478 | 5576 0 nan | 0.000 % | 1.58/1.65 c =============================================================================== 1.58/1.67 c core #80 1.58/1.67 c ============================[ Search Statistics ]============================== 1.58/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.67 c =============================================================================== 1.58/1.67 c | 0 | 16452 16971 89813 | 5657 0 nan | 0.000 % | 1.68/1.70 c | 101 | 16438 16971 89813 | 6222 57 11 | 0.207 % | 1.68/1.71 c =============================================================================== 1.68/1.72 c core #81 1.68/1.72 c ============================[ Search Statistics ]============================== 1.68/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.72 c =============================================================================== 1.68/1.72 c | 0 | 16743 17243 91356 | 5747 0 nan | 0.000 % | 1.68/1.76 c | 100 | 16741 17243 91356 | 6322 54 12 | 0.012 % | 1.68/1.77 c =============================================================================== 1.68/1.78 c core #82 1.68/1.78 c ============================[ Search Statistics ]============================== 1.68/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.78 c =============================================================================== 1.68/1.78 c | 0 | 17035 17515 92888 | 5838 0 nan | 0.000 % | 1.77/1.82 c | 100 | 17028 17515 92888 | 6422 70 12 | 0.223 % | 1.77/1.83 c =============================================================================== 1.77/1.84 c core #83 1.77/1.84 c ============================[ Search Statistics ]============================== 1.77/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.77/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.77/1.84 c =============================================================================== 1.77/1.84 c | 0 | 17313 17781 94372 | 5927 0 nan | 0.000 % | 1.77/1.88 c | 101 | 17298 17781 94372 | 6519 43 11 | 0.150 % | 1.77/1.89 c =============================================================================== 1.88/1.90 c core #84 1.88/1.90 c ============================[ Search Statistics ]============================== 1.88/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.88/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.88/1.90 c =============================================================================== 1.88/1.90 c | 0 | 17600 18043 95852 | 6014 0 nan | 0.000 % | 1.88/1.94 c | 102 | 17595 18043 95852 | 6615 38 9 | 0.068 % | 1.88/1.96 c =============================================================================== 1.88/1.97 c core #85 1.88/1.97 c ============================[ Search Statistics ]============================== 1.88/1.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.88/1.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.88/1.97 c =============================================================================== 1.88/1.97 c | 0 | 17898 18326 97434 | 6108 0 nan | 0.000 % | 1.98/2.01 c | 102 | 17880 18326 97434 | 6719 40 11 | 0.145 % | 1.98/2.02 c =============================================================================== 1.98/2.03 c core #86 1.98/2.03 c ============================[ Search Statistics ]============================== 1.98/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.03 c =============================================================================== 1.98/2.03 c | 0 | 18163 18567 98793 | 6189 0 nan | 0.000 % | 1.98/2.07 c | 101 | 18161 18567 98793 | 6807 59 9 | 0.033 % | 1.98/2.08 c =============================================================================== 1.98/2.09 c core #87 1.98/2.09 c ============================[ Search Statistics ]============================== 1.98/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.09 c =============================================================================== 1.98/2.09 c | 0 | 18440 18819 100211 | 6273 0 nan | 0.000 % | 2.09/2.14 c | 101 | 18438 18819 100211 | 6900 52 11 | 0.043 % | 2.09/2.14 c =============================================================================== 2.09/2.16 c core #88 2.09/2.16 c ============================[ Search Statistics ]============================== 2.09/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.16 c =============================================================================== 2.09/2.16 c | 0 | 18750 19103 101824 | 6367 0 nan | 0.000 % | 2.09/2.19 c | 100 | 18748 19103 101824 | 7004 100 12 | 0.032 % | 2.09/2.20 c =============================================================================== 2.18/2.21 c core #89 2.18/2.21 c ============================[ Search Statistics ]============================== 2.18/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.21 c =============================================================================== 2.18/2.21 c | 0 | 19025 19359 103254 | 6453 0 nan | 0.000 % | 2.18/2.26 c | 102 | 19005 19359 103254 | 7098 63 13 | 0.221 % | 2.18/2.26 c =============================================================================== 2.18/2.27 c core #90 2.18/2.27 c ============================[ Search Statistics ]============================== 2.18/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.27 c =============================================================================== 2.18/2.27 c | 0 | 19308 19627 104748 | 6542 0 nan | 0.000 % | 2.28/2.31 c =============================================================================== 2.28/2.32 c core #91 2.28/2.32 c ============================[ Search Statistics ]============================== 2.28/2.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.32 c =============================================================================== 2.28/2.32 c | 0 | 19595 19890 106231 | 6630 0 nan | 0.000 % | 2.28/2.37 c | 101 | 19593 19890 106231 | 7293 44 10 | 0.010 % | 2.28/2.37 c =============================================================================== 2.28/2.39 c core #92 2.28/2.39 c ============================[ Search Statistics ]============================== 2.28/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.39 c =============================================================================== 2.28/2.39 c | 0 | 19853 20126 107543 | 6708 0 nan | 0.000 % | 2.38/2.43 c | 100 | 19841 20126 107543 | 7379 60 12 | 0.151 % | 2.38/2.44 c =============================================================================== 2.38/2.45 c core #93 2.38/2.45 c ============================[ Search Statistics ]============================== 2.38/2.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.38/2.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.38/2.45 c =============================================================================== 2.38/2.45 c | 0 | 20139 20392 109040 | 6797 0 nan | 0.000 % | 2.38/2.50 c | 101 | 20108 20392 109040 | 7477 42 12 | 0.169 % | 2.48/2.50 c =============================================================================== 2.48/2.52 c core #94 2.48/2.52 c ============================[ Search Statistics ]============================== 2.48/2.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.52 c =============================================================================== 2.48/2.52 c | 0 | 20414 20643 110447 | 6881 0 nan | 0.000 % | 2.48/2.56 c | 100 | 20406 20643 110447 | 7569 100 13 | 0.176 % | 2.48/2.56 c =============================================================================== 2.48/2.58 c core #95 2.48/2.58 c ============================[ Search Statistics ]============================== 2.48/2.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.58 c =============================================================================== 2.48/2.58 c | 0 | 20697 20920 111992 | 6973 0 nan | 0.000 % | 2.58/2.62 c | 100 | 20695 20920 111992 | 7670 100 12 | 0.029 % | 2.58/2.63 c =============================================================================== 2.58/2.65 c core #96 2.58/2.65 c ============================[ Search Statistics ]============================== 2.58/2.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.65 c =============================================================================== 2.58/2.65 c | 0 | 21001 21191 113539 | 7063 0 nan | 0.000 % | 2.58/2.69 c | 100 | 20988 21191 113539 | 7770 100 15 | 0.181 % | 2.58/2.69 c =============================================================================== 2.68/2.71 c core #97 2.68/2.71 c ============================[ Search Statistics ]============================== 2.68/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.71 c =============================================================================== 2.68/2.71 c | 0 | 21309 21471 115141 | 7157 0 nan | 0.000 % | 2.68/2.76 c | 100 | 21309 21471 115141 | 7872 100 14 | 0.000 % | 2.68/2.78 c =============================================================================== 2.78/2.80 c core #98 2.78/2.80 c ============================[ Search Statistics ]============================== 2.78/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.80 c =============================================================================== 2.78/2.80 c | 0 | 21598 21741 116656 | 7247 0 nan | 0.000 % | 2.78/2.85 c | 100 | 21598 21741 116656 | 7971 100 13 | 0.000 % | 2.78/2.86 c =============================================================================== 2.78/2.88 c core #99 2.78/2.88 c ============================[ Search Statistics ]============================== 2.78/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.88 c =============================================================================== 2.78/2.88 c | 0 | 21866 21994 118066 | 7331 0 nan | 0.000 % | 2.87/2.93 c | 100 | 21864 21994 118066 | 8064 100 13 | 0.009 % | 2.87/2.94 c =============================================================================== 2.87/2.96 c core #100 2.87/2.96 c ============================[ Search Statistics ]============================== 2.87/2.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.96 c =============================================================================== 2.87/2.96 c | 0 | 22155 22264 119590 | 7421 0 nan | 0.000 % | 2.98/3.00 c | 101 | 22154 22264 119590 | 8163 101 12 | 0.009 % | 2.98/3.01 c =============================================================================== 2.98/3.03 c core #101 2.98/3.03 c ============================[ Search Statistics ]============================== 2.98/3.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.03 c =============================================================================== 2.98/3.03 c | 0 | 22429 22521 121011 | 7507 0 nan | 0.000 % | 2.98/3.08 c | 100 | 22427 22521 121011 | 8257 100 12 | 0.009 % | 2.98/3.09 c =============================================================================== 3.08/3.11 c core #102 3.08/3.11 c ============================[ Search Statistics ]============================== 3.08/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.08/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.08/3.11 c =============================================================================== 3.08/3.11 c | 0 | 22733 22797 122586 | 7599 0 nan | 0.000 % | 3.08/3.15 c | 100 | 22731 22797 122586 | 8358 100 12 | 0.114 % | 3.08/3.17 c =============================================================================== 3.08/3.19 c core #103 3.08/3.19 c ============================[ Search Statistics ]============================== 3.08/3.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.08/3.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.08/3.19 c =============================================================================== 3.08/3.19 c | 0 | 23083 23107 124376 | 7702 0 nan | 0.000 % | 3.19/3.23 c | 100 | 23080 23107 124376 | 8472 100 13 | 0.052 % | 3.19/3.25 c =============================================================================== 3.19/3.27 c core #104 3.19/3.27 c ============================[ Search Statistics ]============================== 3.19/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.27 c =============================================================================== 3.19/3.27 c | 0 | 23371 23375 125880 | 7791 0 nan | 0.000 % | 3.28/3.31 c | 100 | 23346 23375 125880 | 8570 100 13 | 0.137 % | 3.28/3.31 c =============================================================================== 3.28/3.33 c core #105 3.28/3.33 c ============================[ Search Statistics ]============================== 3.28/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.28/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.28/3.33 c =============================================================================== 3.28/3.33 c | 0 | 23642 23637 127325 | 7879 0 nan | 0.000 % | 3.28/3.38 c | 100 | 23638 23637 127325 | 8666 100 12 | 0.051 % | 3.28/3.40 c =============================================================================== 3.38/3.42 c core #106 3.38/3.42 c ============================[ Search Statistics ]============================== 3.38/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.42 c =============================================================================== 3.38/3.42 c | 0 | 23966 23931 129035 | 7977 0 nan | 0.000 % | 3.38/3.47 c | 101 | 23964 23931 129035 | 8774 33 9 | 0.008 % | 3.38/3.48 c =============================================================================== 3.48/3.50 c core #107 3.48/3.50 c ============================[ Search Statistics ]============================== 3.48/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.50 c =============================================================================== 3.48/3.50 c | 0 | 24266 24206 130599 | 8068 0 nan | 0.000 % | 3.48/3.55 c | 100 | 24266 24206 130599 | 8875 100 15 | 0.000 % | 3.48/3.57 c =============================================================================== 3.48/3.59 c core #108 3.48/3.59 c ============================[ Search Statistics ]============================== 3.48/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.59 c =============================================================================== 3.48/3.59 c | 0 | 24539 24461 132033 | 8153 0 nan | 0.000 % | 3.58/3.63 c | 100 | 24516 24461 132033 | 8969 100 11 | 0.106 % | 3.58/3.63 c =============================================================================== 3.58/3.65 c core #109 3.58/3.65 c ============================[ Search Statistics ]============================== 3.58/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.58/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.58/3.65 c =============================================================================== 3.58/3.65 c | 0 | 24851 24744 133655 | 8248 0 nan | 0.000 % | 3.68/3.71 c | 101 | 24851 24744 133655 | 9072 101 14 | 0.000 % | 3.68/3.73 c =============================================================================== 3.68/3.75 c core #110 3.68/3.75 c ============================[ Search Statistics ]============================== 3.68/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.75 c =============================================================================== 3.68/3.75 c | 0 | 25102 24978 134959 | 8326 0 nan | 0.000 % | 3.68/3.80 c =============================================================================== 3.78/3.82 c core #111 3.78/3.82 c ============================[ Search Statistics ]============================== 3.78/3.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/3.82 c =============================================================================== 3.78/3.82 c | 0 | 25349 25209 136240 | 8403 0 nan | 0.000 % | 3.78/3.86 c | 100 | 25349 25209 136240 | 9243 100 14 | 0.000 % | 3.78/3.88 c =============================================================================== 3.88/3.91 c core #112 3.88/3.91 c ============================[ Search Statistics ]============================== 3.88/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.91 c =============================================================================== 3.88/3.91 c | 0 | 25625 25464 137679 | 8488 0 nan | 0.000 % | 3.88/3.96 c | 100 | 25625 25464 137679 | 9336 100 13 | 0.000 % | 3.88/3.98 c =============================================================================== 3.98/4.01 c core #113 3.98/4.01 c ============================[ Search Statistics ]============================== 3.98/4.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.01 c =============================================================================== 3.98/4.01 c | 0 | 25919 25741 139244 | 8580 0 nan | 0.000 % | 3.98/4.06 c | 101 | 25893 25741 139244 | 9438 101 12 | 0.100 % | 3.98/4.07 c =============================================================================== 3.98/4.09 c core #114 3.98/4.09 c ============================[ Search Statistics ]============================== 3.98/4.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.09 c =============================================================================== 3.98/4.09 c | 0 | 26264 26025 140942 | 8675 0 nan | 0.000 % | 4.08/4.15 c | 100 | 26234 26025 140942 | 9542 35 9 | 0.114 % | 4.08/4.15 c =============================================================================== 4.08/4.18 c core #115 4.08/4.18 c ============================[ Search Statistics ]============================== 4.08/4.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.18 c =============================================================================== 4.08/4.18 c | 0 | 26579 26299 142525 | 8766 0 nan | 0.000 % | 4.18/4.23 c | 100 | 26565 26299 142525 | 9642 100 12 | 0.098 % | 4.18/4.24 c =============================================================================== 4.18/4.27 c core #116 4.18/4.27 c ============================[ Search Statistics ]============================== 4.18/4.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.18/4.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.18/4.27 c =============================================================================== 4.18/4.27 c | 0 | 26873 26574 144072 | 8858 0 nan | 0.000 % | 4.29/4.32 c | 100 | 26871 26574 144072 | 9743 100 12 | 0.007 % | 4.29/4.34 c =============================================================================== 4.29/4.36 c core #117 4.29/4.36 c ============================[ Search Statistics ]============================== 4.29/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.36 c =============================================================================== 4.29/4.36 c | 0 | 27208 26846 145696 | 8948 0 nan | 0.000 % | 4.39/4.42 c | 100 | 27207 26846 145696 | 9843 100 12 | 0.007 % | 4.39/4.43 c =============================================================================== 4.39/4.45 c core #118 4.39/4.45 c ============================[ Search Statistics ]============================== 4.39/4.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.45 c =============================================================================== 4.39/4.45 c | 0 | 27503 27114 147218 | 9038 0 nan | 0.000 % | 4.48/4.51 c | 100 | 27503 27114 147218 | 9941 100 12 | 0.000 % | 4.48/4.54 c =============================================================================== 4.48/4.56 c core #119 4.48/4.56 c ============================[ Search Statistics ]============================== 4.48/4.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.48/4.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.48/4.56 c =============================================================================== 4.48/4.56 c | 0 | 27809 27377 148757 | 9125 0 nan | 0.000 % | 4.58/4.62 c | 100 | 27808 27377 148757 | 10038 100 13 | 0.007 % | 4.58/4.66 c | 252 | 27773 27377 148757 | 11042 155 12 | 0.158 % | 4.58/4.67 c =============================================================================== 4.68/4.70 c core #120 4.68/4.70 c ============================[ Search Statistics ]============================== 4.68/4.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.68/4.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.68/4.70 c =============================================================================== 4.68/4.70 c | 0 | 28218 27682 150669 | 9227 0 nan | 0.000 % | 4.68/4.74 c | 100 | 28216 27682 150669 | 10150 100 12 | 0.007 % | 4.68/4.78 c =============================================================================== 4.78/4.80 c core #121 4.78/4.80 c ============================[ Search Statistics ]============================== 4.78/4.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.78/4.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.78/4.80 c =============================================================================== 4.78/4.80 c | 0 | 28605 27950 152374 | 9316 0 nan | 0.000 % | 4.78/4.86 c | 103 | 28589 27950 152374 | 10248 50 11 | 0.091 % | 4.78/4.89 c | 255 | 28580 27950 152374 | 11273 202 17 | 0.091 % | 4.88/4.94 c | 480 | 28554 27950 152374 | 12400 412 18 | 0.196 % | 4.98/5.01 c | 820 | 28539 27950 152374 | 13640 712 19 | 0.231 % | 5.08/5.12 c | 1329 | 28534 27950 152374 | 15004 1188 21 | 0.724 % | 5.08/5.18 c =============================================================================== 5.18/5.21 c core #122 5.18/5.21 c ============================[ Search Statistics ]============================== 5.18/5.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.18/5.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.18/5.21 c =============================================================================== 5.18/5.21 c | 0 | 29096 28255 154466 | 9418 0 nan | 0.000 % | 5.18/5.26 c | 100 | 29094 28255 154466 | 10360 100 11 | 0.007 % | 5.18/5.29 c | 251 | 29054 28255 154466 | 11396 222 15 | 0.158 % | 5.28/5.34 c | 476 | 28974 28255 154466 | 12535 382 22 | 0.632 % | 5.28/5.40 c | 814 | 28912 28255 154466 | 13789 668 26 | 0.632 % | 5.39/5.48 c | 1321 | 28912 28255 154466 | 15168 1175 26 | 0.632 % | 5.49/5.59 c | 2081 | 28840 28255 154466 | 16685 1120 21 | 0.880 % | 5.68/5.74 c =============================================================================== 5.68/5.78 c core #123 5.68/5.78 c ============================[ Search Statistics ]============================== 5.68/5.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.68/5.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.68/5.78 c =============================================================================== 5.68/5.78 c | 0 | 29576 28562 156531 | 9520 0 nan | 0.000 % | 5.78/5.83 c | 100 | 29574 28562 156531 | 10472 100 12 | 0.007 % | 5.78/5.88 c | 250 | 29531 28562 156531 | 11520 224 17 | 0.169 % | 5.88/5.94 c | 477 | 29520 28562 156531 | 12672 406 26 | 0.189 % | 5.98/6.01 c | 817 | 29427 28562 156531 | 13939 723 32 | 0.622 % | 6.08/6.11 c | 1323 | 29392 28562 156531 | 15333 1156 38 | 0.622 % | 6.18/6.26 c | 2084 | 29392 28562 156531 | 16866 1917 42 | 0.622 % | 6.48/6.51 c | 3223 | 29392 28562 156531 | 18553 3056 39 | 0.622 % | 6.77/6.89 c | 4932 | 29392 28562 156531 | 20408 4765 40 | 0.622 % | 7.38/7.41 c | 7496 | 29392 28562 156531 | 22449 7329 42 | 0.622 % | 8.17/8.25 c | 11340 | 29391 28562 156531 | 24694 11120 45 | 0.626 % | 9.58/9.63 c | 17106 | 29390 28562 156531 | 27163 16885 45 | 0.629 % | 10.89/10.91 c =============================================================================== 10.99/11.02 c core #124 10.99/11.02 c ============================[ Search Statistics ]============================== 10.99/11.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.02 c =============================================================================== 10.99/11.02 c | 0 | 30103 28848 158602 | 9616 0 nan | 0.000 % | 10.99/11.08 c | 100 | 30102 28848 158602 | 10577 100 11 | 0.007 % | 11.08/11.12 c | 250 | 30073 28848 158602 | 11635 250 22 | 0.100 % | 11.08/11.17 c | 475 | 30029 28848 158602 | 12798 383 26 | 0.252 % | 11.18/11.23 c | 812 | 30020 28848 158602 | 14078 658 31 | 0.339 % | 11.28/11.36 c | 1318 | 29955 28848 158602 | 15486 1136 49 | 0.492 % | 11.48/11.56 c | 2077 | 29955 28848 158602 | 17035 1895 57 | 0.492 % | 11.78/11.87 c | 3218 | 29955 28848 158602 | 18738 3036 62 | 0.492 % | 12.18/12.26 c | 4928 | 29955 28848 158602 | 20612 4746 62 | 0.492 % | 12.78/12.86 c | 7490 | 29955 28848 158602 | 22674 7308 68 | 0.492 % | 13.88/13.94 c | 11334 | 29955 28848 158602 | 24941 11152 72 | 0.492 % | 15.47/15.56 c | 17101 | 29955 28848 158602 | 27435 16919 74 | 0.492 % | 19.28/19.32 c | 25750 | 29955 28848 158602 | 30179 25568 75 | 0.492 % | 25.38/25.40 c | 38726 | 29931 28848 158602 | 33197 20714 77 | 0.571 % | 33.99/34.01 c | 58188 | 29931 28848 158602 | 36516 20432 80 | 0.571 % | 46.58/46.61 c | 87380 | 29931 28848 158602 | 40168 25380 94 | 0.571 % | 67.08/67.15 c | 131175 | 29931 28848 158602 | 44185 14621 77 | 0.571 % | 92.08/92.13 c | 196859 | 29664 28848 158602 | 48603 16872 90 | 1.458 % | 134.38/134.48 c =============================================================================== 136.58/136.62 c core #125 136.58/136.62 c ============================[ Search Statistics ]============================== 136.58/136.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 136.58/136.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 136.58/136.62 c =============================================================================== 136.58/136.62 c | 0 | 30697 29132 160791 | 9710 0 nan | 0.000 % | 136.58/136.69 c | 100 | 30667 29132 160791 | 10681 100 18 | 0.098 % | 136.68/136.73 c | 251 | 30637 29132 160791 | 11749 251 29 | 0.202 % | 136.68/136.77 c | 479 | 30596 29132 160791 | 12924 396 35 | 0.599 % | 136.78/136.83 c | 816 | 30513 29132 160791 | 14217 687 37 | 0.599 % | 136.88/136.92 c | 1324 | 30513 29132 160791 | 15639 1195 51 | 0.599 % | 136.98/137.06 c | 2084 | 30513 29132 160791 | 17203 1955 57 | 0.599 % | 137.19/137.25 c | 3223 | 30513 29132 160791 | 18923 3094 55 | 0.599 % | 137.49/137.55 c | 4932 | 30513 29132 160791 | 20815 4803 55 | 0.599 % | 138.08/138.11 c | 7495 | 30513 29132 160791 | 22897 7366 56 | 0.599 % | 139.08/139.10 c | 11344 | 30513 29132 160791 | 25186 11215 58 | 0.599 % | 140.78/140.86 c | 17110 | 30513 29132 160791 | 27705 16981 62 | 0.599 % | 143.78/143.84 c | 25760 | 30513 29132 160791 | 30476 25631 63 | 0.599 % | 147.98/148.07 c | 38737 | 30513 29132 160791 | 33523 19701 65 | 0.599 % | 157.19/157.28 c | 58198 | 30513 29132 160791 | 36876 18216 89 | 0.599 % | 171.78/171.85 c | 87392 | 30513 29132 160791 | 40563 22940 88 | 0.599 % | 192.59/192.60 c | 131184 | 30513 29132 160791 | 44620 37485 99 | 0.599 % | 232.68/232.71 c | 196872 | 30513 29132 160791 | 49082 40630 106 | 0.599 % | 293.38/293.45 c | 295401 | 30513 29132 160791 | 53990 33667 105 | 0.599 % | 412.68/412.75 c | 443194 | 30513 29132 160791 | 59389 23325 116 | 0.599 % | 542.69/542.79 c | 664879 | 30513 29132 160791 | 65328 19719 109 | 0.599 % | 782.48/782.54 c | 997406 | 30513 29132 160791 | 71861 52781 119 | 0.599 % | 1184.99/1185.09 c | 1496196 | 30513 29132 160791 | 79047 47862 114 | 0.599 % | 1729.53/1729.66 c =============================================================================== 1754.23/1754.37 c core #126 1754.23/1754.37 c ============================[ Search Statistics ]============================== 1754.23/1754.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1754.23/1754.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1754.23/1754.37 c =============================================================================== 1754.23/1754.37 c | 0 | 31199 29389 162680 | 9796 0 nan | 0.000 % | 1754.53/1754.67 c | 102 | 31197 29389 162680 | 10775 102 15 | 0.006 % | 1754.53/1754.69 c | 252 | 31137 29389 162680 | 11853 252 24 | 0.199 % | 1754.63/1754.74 c | 477 | 31129 29389 162680 | 13038 377 41 | 0.231 % | 1754.63/1754.79 c | 815 | 31081 29389 162680 | 14342 694 44 | 0.583 % | 1754.73/1754.88 c | 1321 | 31017 29389 162680 | 15777 1155 59 | 0.583 % | 1754.93/1755.05 c | 2082 | 31017 29389 162680 | 17354 1916 73 | 0.583 % | 1755.13/1755.28 c | 3221 | 31017 29389 162680 | 19090 3055 80 | 0.583 % | 1755.44/1755.56 c | 4929 | 31017 29389 162680 | 20999 4763 79 | 0.583 % | 1756.13/1756.21 c | 7491 | 31017 29389 162680 | 23099 7325 88 | 0.583 % | 1757.53/1757.65 c | 11335 | 31017 29389 162680 | 25409 11169 95 | 0.583 % | 1760.13/1760.25 c | 17101 | 31017 29389 162680 | 27950 16935 100 | 0.583 % | 1763.03/1763.19 c | 25751 | 31017 29389 162680 | 30745 25585 102 | 0.583 % | 1768.63/1768.75 c | 38729 | 31017 29389 162680 | 33819 18836 107 | 0.583 % | 1778.23/1778.36 c | 58190 | 31017 29389 162680 | 37201 16320 114 | 0.583 % | 1792.93/1793.08 c | 87384 | 31017 29389 162680 | 40921 19758 100 | 0.583 % |
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-2700184-1278534314/watcher-2700184-1278534314 -o /tmp/evaluation-result-2700184-1278534314/solver-2700184-1278534314 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700184-1278534314.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: 2.08 1.59 0.78 3/176 17427 /proc/meminfo: memFree=29032208/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=2704 CPUtime=0 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 21644834 2768896 237 4089446400 134512640 135751879 4293167136 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 676 237 145 303 0 371 0 [startup+0.0186079 s] /proc/loadavg: 2.08 1.59 0.78 3/176 17427 /proc/meminfo: memFree=29032208/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=2984 CPUtime=0.01 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 406 0 0 0 1 0 0 0 18 0 1 0 21644834 3055616 312 4089446400 134512640 135751879 4293167136 18446744073709551615 135203952 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 746 313 145 303 0 441 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2984 [startup+0.100631 s] /proc/loadavg: 2.08 1.59 0.78 3/176 17427 /proc/meminfo: memFree=29032208/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=4356 CPUtime=0.09 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 730 0 0 0 8 1 0 0 18 0 1 0 21644834 4460544 636 4089446400 134512640 135751879 4293167136 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17427/statm: 1089 636 145 303 0 784 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4356 [startup+0.300604 s] /proc/loadavg: 2.08 1.59 0.78 3/176 17427 /proc/meminfo: memFree=29032208/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=6084 CPUtime=0.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 1409 0 0 0 27 2 0 0 18 0 1 0 21644834 6230016 1046 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17427/statm: 1521 1046 145 303 0 1216 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6084 [startup+0.700524 s] /proc/loadavg: 2.08 1.59 0.78 3/176 17427 /proc/meminfo: memFree=29032208/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=7912 CPUtime=0.69 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 2349 0 0 0 62 7 0 0 18 0 1 0 21644834 8101888 1522 4089446400 134512640 135751879 4293167136 18446744073709551615 134614445 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17427/statm: 2031 1532 145 303 0 1726 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7912 [startup+1.50036 s] /proc/loadavg: 2.08 1.59 0.78 3/177 17428 /proc/meminfo: memFree=29024388/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=11864 CPUtime=1.48 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 4194 0 0 0 134 14 0 0 18 0 1 0 21644834 12148736 2410 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17427/statm: 2966 2410 146 303 0 2661 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11864 [startup+3.1011 s] /proc/loadavg: 2.08 1.59 0.78 3/177 17428 /proc/meminfo: memFree=29018436/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=16440 CPUtime=3.08 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 8659 0 0 0 278 30 0 0 18 0 1 0 21644834 16834560 3548 4089446400 134512640 135751879 4293167136 18446744073709551615 134541519 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17427/statm: 4110 3548 146 303 0 3805 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16440 [startup+6.30052 s] /proc/loadavg: 2.07 1.60 0.78 3/177 17428 /proc/meminfo: memFree=29009108/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=20420 CPUtime=6.28 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 17618 0 0 0 582 46 0 0 20 0 1 0 21644834 20910080 4652 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17427/statm: 5105 4652 146 303 0 4800 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20420 [startup+12.7004 s] /proc/loadavg: 2.07 1.61 0.79 3/177 17428 /proc/meminfo: memFree=28993908/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=28264 CPUtime=12.68 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 19731 0 0 0 1217 51 0 0 25 0 1 0 21644834 28942336 6591 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17427/statm: 7066 6591 146 303 0 6761 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28264 [startup+25.5002 s] /proc/loadavg: 2.05 1.63 0.81 3/177 17429 /proc/meminfo: memFree=28977992/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=37220 CPUtime=25.48 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 21968 0 0 0 2493 55 0 0 25 0 1 0 21644834 38113280 8828 4089446400 134512640 135751879 4293167136 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17427/statm: 9305 8828 146 303 0 9000 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37220 [startup+51.1008 s] /proc/loadavg: 2.03 1.65 0.84 3/177 17429 /proc/meminfo: memFree=28939392/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=66892 CPUtime=51.08 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 29339 0 0 0 5041 67 0 0 25 0 1 0 21644834 68497408 16199 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 16723 16199 146 303 0 16418 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 66892 [startup+102.307 s] /proc/loadavg: 2.01 1.71 0.90 3/177 17431 /proc/meminfo: memFree=28855796/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=129944 CPUtime=102.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 45032 0 0 0 10127 102 0 0 25 0 1 0 21644834 133062656 31892 4089446400 134512640 135751879 4293167136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 32486 31892 146 303 0 32181 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 129944 [startup+162.301 s] /proc/loadavg: 2.00 1.76 0.96 3/177 17432 /proc/meminfo: memFree=28784428/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=180312 CPUtime=162.28 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 57961 0 0 0 16088 140 0 0 25 0 1 0 21644834 184639488 44644 4089446400 134512640 135751879 4293167136 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 45078 44644 146 303 0 44773 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 180312 [startup+222.301 s] /proc/loadavg: 2.00 1.80 1.03 3/177 17434 /proc/meminfo: memFree=28716316/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=223888 CPUtime=222.28 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 68750 0 0 0 22064 164 0 0 25 0 1 0 21644834 229261312 55433 4089446400 134512640 135751879 4293167136 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 55972 55433 146 303 0 55667 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 223888 [startup+282.301 s] /proc/loadavg: 2.00 1.83 1.08 3/177 17436 /proc/meminfo: memFree=28637048/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=277760 CPUtime=282.28 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 82147 0 0 0 28038 190 0 0 25 0 1 0 21644834 284426240 68830 4089446400 134512640 135751879 4293167136 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 69440 68830 146 303 0 69135 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 277760 [startup+342.3 s] /proc/loadavg: 2.00 1.86 1.14 3/177 17437 /proc/meminfo: memFree=28561492/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=326916 CPUtime=342.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 94334 0 0 0 34019 210 0 0 25 0 1 0 21644834 334761984 81017 4089446400 134512640 135751879 4293167136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 81729 81017 146 303 0 81424 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 326916 [startup+402.301 s] /proc/loadavg: 2.04 1.90 1.20 3/177 17439 /proc/meminfo: memFree=28485788/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=377720 CPUtime=402.28 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 106984 0 0 0 39998 230 0 0 25 0 1 0 21644834 386785280 93667 4089446400 134512640 135751879 4293167136 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 94430 93667 146 303 0 94125 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 377720 [startup+462.301 s] /proc/loadavg: 2.01 1.91 1.24 3/177 17440 /proc/meminfo: memFree=28403060/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=435900 CPUtime=462.28 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 121450 0 0 0 45974 254 0 0 25 0 1 0 21644834 446361600 108133 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 108975 108133 146 303 0 108670 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 435900 [startup+522.301 s] /proc/loadavg: 2.00 1.92 1.29 3/177 17442 /proc/meminfo: memFree=28336312/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=496488 CPUtime=522.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 136564 0 0 0 51950 279 0 0 25 0 1 0 21644834 508403712 123247 4089446400 134512640 135751879 4293167136 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 124122 123248 146 303 0 123817 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 496488 [startup+582.301 s] /proc/loadavg: 2.06 1.95 1.33 3/177 17444 /proc/meminfo: memFree=28261640/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=555020 CPUtime=582.28 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 151083 0 0 0 57924 304 0 0 25 0 1 0 21644834 568340480 137766 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 138755 137766 146 303 0 138450 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 555020 [startup+642.3 s] /proc/loadavg: 2.02 1.96 1.37 3/177 17445 /proc/meminfo: memFree=28194744/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=599972 CPUtime=642.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 162209 0 0 0 63905 324 0 0 25 0 1 0 21644834 614371328 148892 4089446400 134512640 135751879 4293167136 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 149993 148892 146 303 0 149688 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 599972 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 1.97 1.50 3/177 17452 /proc/meminfo: memFree=27954900/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=785348 CPUtime=882.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 208363 0 0 0 87821 408 0 0 25 0 1 0 21644834 804196352 195046 4089446400 134512640 135751879 4293167136 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 196337 195046 146 303 0 196032 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 785348 [startup+942.3 s] /proc/loadavg: 2.05 1.99 1.54 3/177 17453 /proc/meminfo: memFree=27898192/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=829004 CPUtime=942.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 219213 0 0 0 93802 427 0 0 25 0 1 0 21644834 848900096 205896 4089446400 134512640 135751879 4293167136 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 207251 205896 146 303 0 206946 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 829004 [startup+1002.3 s] /proc/loadavg: 2.02 1.99 1.56 3/177 17455 /proc/meminfo: memFree=27838012/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=873784 CPUtime=1002.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 230365 0 0 0 99782 447 0 0 25 0 1 0 21644834 894754816 217048 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 218446 217048 146 303 0 218141 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 873784 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.59 3/177 17456 /proc/meminfo: memFree=27767912/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=925160 CPUtime=1062.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 243180 0 0 0 105761 468 0 0 25 0 1 0 21644834 947363840 229863 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 231290 229863 146 303 0 230985 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 925160 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.61 3/177 17458 /proc/meminfo: memFree=27697696/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=974824 CPUtime=1122.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 255591 0 0 0 111739 490 0 0 25 0 1 0 21644834 998219776 242274 4089446400 134512640 135751879 4293167136 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 243706 242274 146 303 0 243401 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 974824 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.63 3/177 17460 /proc/meminfo: memFree=27635420/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1020240 CPUtime=1182.3 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 266920 0 0 0 117721 509 0 0 25 0 1 0 21644834 1044725760 253603 4089446400 134512640 135751879 4293167136 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 255060 253603 146 303 0 254755 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1020240 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.65 3/177 17461 /proc/meminfo: memFree=27578352/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1055684 CPUtime=1242.3 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 275754 0 0 0 123706 524 0 0 25 0 1 0 21644834 1081020416 262437 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 263921 262437 146 303 0 263616 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 1055684 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.67 3/177 17463 /proc/meminfo: memFree=27513340/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1100812 CPUtime=1302.3 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 287033 0 0 0 129686 544 0 0 25 0 1 0 21644834 1127231488 273716 4089446400 134512640 135751879 4293167136 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 275203 273716 146 303 0 274898 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 1100812 [startup+1362.3 s] /proc/loadavg: 1.86 1.95 1.68 3/195 17673 /proc/meminfo: memFree=28334416/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1150644 CPUtime=1362.29 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 299467 0 0 0 135660 569 0 0 25 0 1 0 21644834 1178259456 286150 4089446400 134512640 135751879 4293167136 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/17427/statm: 287661 286150 146 303 0 287356 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 1150644 [startup+1422.31 s] /proc/loadavg: 1.95 1.96 1.69 3/195 17675 /proc/meminfo: memFree=28287720/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1190276 CPUtime=1422.28 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 309380 0 0 0 141648 580 0 0 25 0 1 0 21644834 1218842624 296063 4089446400 134512640 135751879 4293167136 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/17427/statm: 297569 296063 146 303 0 297264 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 1190276 [startup+1482.3 s] /proc/loadavg: 1.98 1.97 1.71 3/195 17677 /proc/meminfo: memFree=28238072/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1238676 CPUtime=1482.27 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 321435 0 0 0 147631 596 0 0 25 0 1 0 21644834 1268404224 308118 4089446400 134512640 135751879 4293167136 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17427/statm: 309669 308118 146 303 0 309364 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 1238676 [startup+1542.3 s] /proc/loadavg: 1.99 1.97 1.73 3/195 17678 /proc/meminfo: memFree=28175396/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1296396 CPUtime=1542.27 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 335818 0 0 0 153616 611 0 0 25 0 1 0 21644834 1327509504 322501 4089446400 134512640 135751879 4293167136 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17427/statm: 324099 322501 146 303 0 323794 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 1296396 [startup+1602.3 s] /proc/loadavg: 1.99 1.97 1.74 3/195 17680 /proc/meminfo: memFree=28119660/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1352520 CPUtime=1602.25 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 349808 0 0 0 159603 622 0 0 25 0 1 0 21644834 1384980480 336491 4089446400 134512640 135751879 4293167136 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17427/statm: 338130 336491 146 303 0 337825 0 Current children cumulated CPU time (s) 1602.25 Current children cumulated vsize (KiB) 1352520 [startup+1662.3 s] /proc/loadavg: 1.99 1.97 1.75 3/195 17681 /proc/meminfo: memFree=28077336/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1394748 CPUtime=1662.24 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 360274 0 0 0 165594 630 0 0 25 0 1 0 21644834 1428221952 346957 4089446400 134512640 135751879 4293167136 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17427/statm: 348687 346957 146 303 0 348382 0 Current children cumulated CPU time (s) 1662.24 Current children cumulated vsize (KiB) 1394748 [startup+1722.3 s] /proc/loadavg: 1.99 1.97 1.76 3/195 17683 /proc/meminfo: memFree=28024456/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1447808 CPUtime=1722.23 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 373483 0 0 0 171580 643 0 0 25 0 1 0 21644834 1482555392 360166 4089446400 134512640 135751879 4293167136 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17427/statm: 361952 360166 146 303 0 361647 0 Current children cumulated CPU time (s) 1722.23 Current children cumulated vsize (KiB) 1447808 [startup+1782.3 s] /proc/loadavg: 1.99 1.97 1.78 3/195 17685 /proc/meminfo: memFree=27951336/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1519536 CPUtime=1782.23 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 391689 0 0 0 177567 656 0 0 25 0 1 0 21644834 1556004864 378192 4089446400 134512640 135751879 4293167136 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17427/statm: 379884 378192 146 303 0 379579 0 Current children cumulated CPU time (s) 1782.23 Current children cumulated vsize (KiB) 1519536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.99 1.97 1.78 3/195 17685 /proc/meminfo: memFree=27948968/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1519536 CPUtime=1800.04 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 392321 0 0 0 179343 661 0 0 25 0 1 0 21644834 1556004864 378824 4089446400 134512640 135751879 4293167136 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17427/statm: 379884 378824 146 303 0 379579 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1519536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 1.99 1.97 1.78 3/195 17685 /proc/meminfo: memFree=27948968/32951132 swapFree=67111528/67111528 [pid=17427] ppid=17425 vsize=1519536 CPUtime=1800.04 /proc/17427/stat : 17427 (wbo1.4a) R 17425 17427 16659 0 -1 4202496 392321 0 0 0 179343 661 0 0 25 0 1 0 21644834 1556004864 378824 4089446400 134512640 135751879 4293167136 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/17427/statm: 379884 378824 146 303 0 379579 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1519536 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.16 CPU time (s): 1800.1 CPU user time (s): 1793.43 CPU system time (s): 6.66299 CPU usage (%): 99.9965 Max. virtual memory (cumulated for all children) (KiB): 1519536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.43 system time used= 6.66299 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 392321 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= 41 involuntary context switches= 16237 runsolver used 2.75758 second user time and 6.12807 second system time The end
Begin job on node128 at 2010-07-07 22:25:14 IDJOB=2700184 IDBENCH=79407 IDSOLVER=1200 FILE ID=node128/2700184-1278534314 PBS_JOBID= 11239222 Free space on /tmp= 73136 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh304_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700184-1278534314/watcher-2700184-1278534314 -o /tmp/evaluation-result-2700184-1278534314/solver-2700184-1278534314 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700184-1278534314.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4141aec8f84b614aac5b3a0221093342 RANDOM SEED=1597367884 node128.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.816 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.63 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.816 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.816 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.816 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.816 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.75 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.816 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.74 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.816 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.816 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29032736 kB Buffers: 125540 kB Cached: 3069984 kB SwapCached: 0 kB Active: 1871392 kB Inactive: 1884436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29032736 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 560028 kB Mapped: 16348 kB Slab: 99644 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 737928 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73136 MiB End job on node128 at 2010-07-07 22:55:16