Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.1 | 1800.05 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh303_wcsp.wbo |
MD5SUM | 7000a06966de2ad9f6a697139e04f737 |
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 | 351 |
Best CPU time to get the best result obtained on this benchmark | 2.52761 |
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-2700376-1278535243.wbo. 0.00/0.00 c Instance file HOME/instance-2700376-1278535243.wbo 0.00/0.00 c File size is 47537 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 4780 | 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 | 400 1299 5787 | 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 | 562 1461 6601 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #3 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 768 1667 7662 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #4 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 947 1845 8565 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.02 c core #5 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1192 2090 9821 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #6 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1412 2310 10967 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #7 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1592 2489 11857 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #8 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1785 2682 12837 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #9 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2001 2898 13957 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #10 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2221 3116 15085 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #11 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2437 3329 16167 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.06 c core #12 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2644 3535 17225 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #13 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2833 3724 18174 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #14 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 3099 3988 19548 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #15 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 3308 4194 20601 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.08/0.09 c core #16 0.08/0.09 c ============================[ Search Statistics ]============================== 0.08/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.09 c =============================================================================== 0.08/0.09 c | 0 | 3528 4414 21724 | 5000 0 nan | 0.000 % | 0.08/0.10 c =============================================================================== 0.09/0.10 c core #17 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 | 3757 4642 22903 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.11 c core #18 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 | 3977 4861 24021 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.12 c core #19 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 | 4198 5080 25152 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.13 c core #20 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 | 4420 5299 26274 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #21 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 | 4659 5535 27512 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.15 c core #22 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 | 4902 5776 28768 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #23 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 | 5132 6003 29963 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #24 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 5395 6266 31355 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #25 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 | 5694 6564 32950 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.21 c core #26 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 5947 6814 34251 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #27 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 | 6211 7076 35637 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #28 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 | 6474 7332 37000 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.26 c core #29 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 | 6717 7573 38261 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.28 c core #30 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 | 7002 7854 39744 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.29 c core #31 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 | 7243 8089 40992 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.31 c core #32 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 | 7478 8323 42214 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.32 c core #33 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 7706 8551 43402 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.34 c core #34 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 7949 8792 44675 | 5000 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #35 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 | 8195 9038 45965 | 5000 0 nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #36 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 | 8448 9291 47293 | 5000 0 nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.39/0.40 c core #37 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 8705 9547 48650 | 5000 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.43 c core #38 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 9003 9841 50235 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #39 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.46 c | 0 | 9283 10120 51699 | 5000 0 nan | 0.000 % | 0.39/0.48 c | 100 | 9279 10120 51699 | 5500 100 9 | 0.108 % | 0.39/0.48 c =============================================================================== 0.39/0.49 c core #40 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 9580 10417 53289 | 5000 0 nan | 0.000 % | 0.49/0.51 c | 100 | 9577 10417 53289 | 5500 100 10 | 0.167 % | 0.49/0.51 c =============================================================================== 0.49/0.52 c core #41 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 9889 10723 54963 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.54 c core #42 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 10161 10995 56414 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.57 c core #43 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 10424 11257 57807 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.59/0.60 c core #44 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 10699 11530 59277 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.63 c core #45 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 | 10959 11789 60644 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.66 c core #46 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 11226 12055 62059 | 5000 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.69 c core #47 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 11473 12299 63349 | 5000 0 nan | 0.000 % | 0.69/0.71 c | 100 | 11466 12299 63349 | 5500 100 10 | 0.192 % | 0.69/0.71 c =============================================================================== 0.69/0.73 c core #48 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 11764 12577 64852 | 5000 0 nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.76 c core #49 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 | 12029 12828 66199 | 5000 0 nan | 0.000 % | 0.69/0.79 c | 100 | 12022 12828 66199 | 5500 92 9 | 0.100 % | 0.69/0.79 c =============================================================================== 0.79/0.80 c core #50 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 12287 13086 67555 | 5000 0 nan | 0.000 % | 0.79/0.83 c | 100 | 12285 13086 67555 | 5500 100 10 | 0.016 % | 0.79/0.84 c =============================================================================== 0.79/0.85 c core #51 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 12595 13390 69198 | 5000 0 nan | 0.000 % | 0.79/0.88 c | 101 | 12593 13390 69198 | 5500 101 9 | 0.016 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #52 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 | 12872 13664 70664 | 5000 0 nan | 0.000 % | 0.89/0.93 c | 100 | 12870 13664 70664 | 5500 100 11 | 0.016 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #53 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 13155 13936 72131 | 5000 0 nan | 0.000 % | 0.89/0.99 c | 101 | 13152 13936 72131 | 5500 101 12 | 0.046 % | 0.99/1.01 c =============================================================================== 0.99/1.03 c core #54 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 13485 14236 73806 | 5000 0 nan | 0.000 % | 0.99/1.06 c | 100 | 13483 14236 73806 | 5500 100 13 | 0.015 % | 0.99/1.08 c =============================================================================== 0.99/1.09 c core #55 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 13804 14530 75419 | 5000 0 nan | 0.000 % | 1.10/1.12 c | 101 | 13802 14530 75419 | 5500 101 14 | 0.014 % | 1.10/1.15 c =============================================================================== 1.10/1.17 c core #56 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 14152 14836 77159 | 5000 0 nan | 0.000 % | 1.19/1.20 c | 101 | 14150 14836 77159 | 5500 101 10 | 0.014 % | 1.19/1.22 c =============================================================================== 1.19/1.23 c core #57 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 14484 15138 78841 | 5046 0 nan | 0.000 % | 1.19/1.27 c | 100 | 14449 15138 78841 | 5550 31 9 | 0.262 % | 1.19/1.28 c =============================================================================== 1.19/1.29 c core #58 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 14843 15470 80727 | 5156 0 nan | 0.000 % | 1.29/1.32 c | 100 | 14839 15470 80727 | 5672 100 12 | 0.054 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #59 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 15188 15795 82554 | 5265 0 nan | 0.000 % | 1.29/1.37 c | 100 | 15186 15795 82554 | 5791 100 15 | 0.013 % | 1.29/1.39 c =============================================================================== 1.39/1.41 c core #60 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 15482 16071 84079 | 5357 0 nan | 0.000 % | 1.39/1.44 c | 101 | 15480 16071 84079 | 5892 101 11 | 0.013 % | 1.39/1.46 c =============================================================================== 1.39/1.48 c core #61 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 15804 16368 85726 | 5456 0 nan | 0.000 % | 1.49/1.51 c | 100 | 15800 16368 85726 | 6001 100 11 | 0.038 % | 1.49/1.53 c =============================================================================== 1.49/1.55 c core #62 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 16128 16656 87341 | 5552 0 nan | 0.000 % | 1.49/1.58 c | 101 | 16126 16656 87341 | 6107 101 11 | 0.012 % | 1.59/1.60 c =============================================================================== 1.59/1.62 c core #63 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 16485 16975 89159 | 5658 0 nan | 0.000 % | 1.59/1.65 c | 101 | 16483 16975 89159 | 6224 101 14 | 0.012 % | 1.59/1.67 c =============================================================================== 1.59/1.69 c core #64 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 16819 17293 90943 | 5764 0 nan | 0.000 % | 1.68/1.73 c | 100 | 16817 17293 90943 | 6340 100 11 | 0.012 % | 1.68/1.75 c =============================================================================== 1.68/1.77 c core #65 1.68/1.77 c ============================[ Search Statistics ]============================== 1.68/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.77 c =============================================================================== 1.68/1.77 c | 0 | 17238 17661 93093 | 5887 0 nan | 0.000 % | 1.79/1.81 c | 100 | 17236 17661 93093 | 6475 100 14 | 0.012 % | 1.79/1.84 c =============================================================================== 1.79/1.85 c core #66 1.79/1.85 c ============================[ Search Statistics ]============================== 1.79/1.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.85 c =============================================================================== 1.79/1.85 c | 0 | 17541 17938 94639 | 5979 0 nan | 0.000 % | 1.79/1.89 c | 101 | 17539 17938 94639 | 6577 101 13 | 0.011 % | 1.89/1.92 c =============================================================================== 1.89/1.94 c core #67 1.89/1.94 c ============================[ Search Statistics ]============================== 1.89/1.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.94 c =============================================================================== 1.89/1.94 c | 0 | 17866 18242 96348 | 6080 0 nan | 0.000 % | 1.89/1.97 c | 100 | 17864 18242 96348 | 6688 100 13 | 0.011 % | 1.99/2.00 c =============================================================================== 1.99/2.01 c core #68 1.99/2.01 c ============================[ Search Statistics ]============================== 1.99/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.01 c =============================================================================== 1.99/2.01 c | 0 | 18240 18584 98331 | 6194 0 nan | 0.000 % | 1.99/2.05 c | 100 | 18238 18584 98331 | 6814 100 13 | 0.011 % | 1.99/2.08 c =============================================================================== 1.99/2.10 c core #69 1.99/2.10 c ============================[ Search Statistics ]============================== 1.99/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.10 c =============================================================================== 1.99/2.10 c | 0 | 18568 18895 100083 | 6298 0 nan | 0.000 % | 2.10/2.14 c | 100 | 18566 18895 100083 | 6928 100 14 | 0.011 % | 2.10/2.16 c =============================================================================== 2.10/2.18 c core #70 2.10/2.18 c ============================[ Search Statistics ]============================== 2.10/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.18 c =============================================================================== 2.10/2.18 c | 0 | 18914 19216 101908 | 6405 0 nan | 0.000 % | 2.19/2.22 c | 101 | 18912 19216 101908 | 7045 101 16 | 0.011 % | 2.19/2.26 c =============================================================================== 2.19/2.28 c core #71 2.19/2.28 c ============================[ Search Statistics ]============================== 2.19/2.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.28 c =============================================================================== 2.19/2.28 c | 0 | 19288 19558 103882 | 6519 0 nan | 0.000 % | 2.29/2.32 c | 100 | 19286 19558 103882 | 7171 100 14 | 0.010 % | 2.29/2.35 c =============================================================================== 2.29/2.37 c core #72 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 19643 19890 105751 | 6630 0 nan | 0.000 % | 2.39/2.41 c | 100 | 19638 19890 105751 | 7293 100 11 | 0.031 % | 2.39/2.44 c =============================================================================== 2.39/2.46 c core #73 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 19979 20202 107512 | 6734 0 nan | 0.000 % | 2.49/2.50 c | 100 | 19977 20202 107512 | 7407 100 13 | 0.010 % | 2.49/2.54 c =============================================================================== 2.49/2.56 c core #74 2.49/2.56 c ============================[ Search Statistics ]============================== 2.49/2.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.56 c =============================================================================== 2.49/2.56 c | 0 | 20348 20532 109420 | 6844 0 nan | 0.000 % | 2.59/2.61 c | 100 | 20346 20532 109420 | 7528 100 13 | 0.010 % | 2.59/2.64 c =============================================================================== 2.59/2.66 c core #75 2.59/2.66 c ============================[ Search Statistics ]============================== 2.59/2.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.66 c =============================================================================== 2.59/2.66 c | 0 | 20710 20870 111350 | 6956 0 nan | 0.000 % | 2.69/2.71 c | 100 | 20708 20870 111350 | 7652 100 14 | 0.010 % | 2.69/2.73 c =============================================================================== 2.69/2.75 c core #76 2.69/2.75 c ============================[ Search Statistics ]============================== 2.69/2.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.75 c =============================================================================== 2.69/2.75 c | 0 | 21004 21157 112940 | 7052 0 nan | 0.000 % | 2.79/2.80 c | 100 | 21002 21157 112940 | 7757 100 14 | 0.010 % | 2.79/2.83 c | 251 | 20987 21157 112940 | 8533 211 13 | 0.209 % | 2.79/2.83 c =============================================================================== 2.79/2.85 c core #77 2.79/2.85 c ============================[ Search Statistics ]============================== 2.79/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.85 c =============================================================================== 2.79/2.85 c | 0 | 21371 21500 114897 | 7166 0 nan | 0.000 % | 2.89/2.90 c | 100 | 21369 21500 114897 | 7883 100 13 | 0.009 % | 2.89/2.93 c | 250 | 21369 21500 114897 | 8671 250 12 | 0.037 % | 2.89/2.95 c =============================================================================== 2.89/2.97 c core #78 2.89/2.97 c ============================[ Search Statistics ]============================== 2.89/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.97 c =============================================================================== 2.89/2.97 c | 0 | 21743 21840 116857 | 7280 0 nan | 0.000 % | 2.99/3.02 c | 100 | 21741 21840 116857 | 8008 100 15 | 0.009 % | 2.99/3.05 c =============================================================================== 2.99/3.07 c core #79 2.99/3.07 c ============================[ Search Statistics ]============================== 2.99/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.07 c =============================================================================== 2.99/3.07 c | 0 | 22108 22170 118742 | 7390 0 nan | 0.000 % | 3.09/3.13 c | 100 | 22106 22170 118742 | 8129 100 14 | 0.009 % | 3.09/3.18 c | 250 | 22102 22170 118742 | 8941 233 13 | 0.145 % | 3.09/3.19 c =============================================================================== 3.20/3.21 c core #80 3.20/3.21 c ============================[ Search Statistics ]============================== 3.20/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.21 c =============================================================================== 3.20/3.21 c | 0 | 22495 22521 120781 | 7507 0 nan | 0.000 % | 3.20/3.26 c | 101 | 22493 22521 120781 | 8257 101 16 | 0.009 % | 3.29/3.30 c =============================================================================== 3.29/3.33 c core #81 3.29/3.33 c ============================[ Search Statistics ]============================== 3.29/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.33 c =============================================================================== 3.29/3.33 c | 0 | 22860 22841 122632 | 7613 0 nan | 0.000 % | 3.29/3.37 c | 101 | 22858 22841 122632 | 8375 101 16 | 0.009 % | 3.39/3.42 c | 251 | 22850 22841 122632 | 9212 186 13 | 0.044 % | 3.39/3.45 c =============================================================================== 3.39/3.47 c core #82 3.39/3.47 c ============================[ Search Statistics ]============================== 3.39/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.47 c =============================================================================== 3.39/3.47 c | 0 | 23292 23224 124911 | 7741 0 nan | 0.000 % | 3.49/3.52 c | 100 | 23290 23224 124911 | 8515 100 13 | 0.009 % | 3.49/3.57 c | 250 | 23276 23224 124911 | 9367 249 13 | 0.163 % | 3.49/3.57 c =============================================================================== 3.58/3.60 c core #83 3.58/3.60 c ============================[ Search Statistics ]============================== 3.58/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.58/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.58/3.60 c =============================================================================== 3.58/3.60 c | 0 | 23667 23568 126903 | 7856 0 nan | 0.000 % | 3.58/3.65 c | 101 | 23665 23568 126903 | 8641 101 15 | 0.008 % | 3.58/3.68 c =============================================================================== 3.69/3.70 c core #84 3.69/3.70 c ============================[ Search Statistics ]============================== 3.69/3.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.70 c =============================================================================== 3.69/3.70 c | 0 | 24068 23914 128950 | 7971 0 nan | 0.000 % | 3.69/3.75 c | 101 | 24066 23914 128950 | 8768 101 12 | 0.008 % | 3.79/3.80 c | 251 | 24064 23914 128950 | 9645 251 12 | 0.058 % | 3.79/3.81 c =============================================================================== 3.79/3.84 c core #85 3.79/3.84 c ============================[ Search Statistics ]============================== 3.79/3.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.84 c =============================================================================== 3.79/3.84 c | 0 | 24495 24287 131171 | 8095 0 nan | 0.000 % | 3.79/3.89 c | 100 | 24493 24287 131171 | 8905 100 13 | 0.008 % | 3.89/3.94 c =============================================================================== 3.89/3.96 c core #86 3.89/3.96 c ============================[ Search Statistics ]============================== 3.89/3.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.96 c =============================================================================== 3.89/3.96 c | 0 | 24904 24642 133253 | 8214 0 nan | 0.000 % | 3.99/4.02 c | 100 | 24902 24642 133253 | 9035 100 16 | 0.008 % | 3.99/4.06 c =============================================================================== 3.99/4.09 c core #87 3.99/4.09 c ============================[ Search Statistics ]============================== 3.99/4.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.09 c =============================================================================== 3.99/4.09 c | 0 | 25267 24962 135101 | 8320 0 nan | 0.000 % | 4.09/4.14 c | 100 | 25265 24962 135101 | 9152 100 16 | 0.008 % | 4.09/4.18 c | 250 | 25252 24962 135101 | 10068 250 14 | 0.087 % | 4.09/4.19 c =============================================================================== 4.18/4.22 c core #88 4.18/4.22 c ============================[ Search Statistics ]============================== 4.18/4.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.18/4.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.18/4.22 c =============================================================================== 4.18/4.22 c | 0 | 25666 25319 137182 | 8439 0 nan | 0.000 % | 4.18/4.28 c | 100 | 25664 25319 137182 | 9283 100 16 | 0.008 % | 4.30/4.33 c | 250 | 25663 25319 137182 | 10211 249 12 | 0.023 % | 4.30/4.35 c =============================================================================== 4.30/4.37 c core #89 4.30/4.37 c ============================[ Search Statistics ]============================== 4.30/4.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.37 c =============================================================================== 4.30/4.37 c | 0 | 26070 25677 139268 | 8559 0 nan | 0.000 % | 4.40/4.42 c | 100 | 26068 25677 139268 | 9414 100 14 | 0.008 % | 4.40/4.46 c | 250 | 26059 25677 139268 | 10356 250 12 | 0.092 % | 4.40/4.47 c =============================================================================== 4.40/4.49 c core #90 4.40/4.49 c ============================[ Search Statistics ]============================== 4.40/4.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.49 c =============================================================================== 4.40/4.49 c | 0 | 26468 26033 141341 | 8677 0 nan | 0.000 % | 4.49/4.54 c | 100 | 26466 26033 141341 | 9545 100 14 | 0.008 % | 4.49/4.59 c | 251 | 26460 26033 141341 | 10499 251 14 | 0.038 % | 4.59/4.61 c =============================================================================== 4.59/4.64 c core #91 4.59/4.64 c ============================[ Search Statistics ]============================== 4.59/4.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.64 c =============================================================================== 4.59/4.64 c | 0 | 26885 26415 143586 | 8805 0 nan | 0.000 % | 4.69/4.70 c | 101 | 26883 26415 143586 | 9685 101 20 | 0.007 % | 4.69/4.74 c | 252 | 26872 26415 143586 | 10654 160 15 | 0.052 % | 4.69/4.76 c =============================================================================== 4.69/4.79 c core #92 4.69/4.79 c ============================[ Search Statistics ]============================== 4.69/4.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.79 c =============================================================================== 4.69/4.79 c | 0 | 27284 26772 145676 | 8924 0 nan | 0.000 % | 4.79/4.85 c | 100 | 27282 26772 145676 | 9816 100 19 | 0.007 % | 4.89/4.90 c | 251 | 27279 26772 145676 | 10798 250 14 | 0.022 % | 4.89/4.92 c =============================================================================== 4.89/4.94 c core #93 4.89/4.94 c ============================[ Search Statistics ]============================== 4.89/4.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.94 c =============================================================================== 4.89/4.94 c | 0 | 27676 27130 147746 | 9043 0 nan | 0.000 % | 4.99/5.01 c | 100 | 27674 27130 147746 | 9947 100 12 | 0.007 % | 4.99/5.05 c | 251 | 27672 27130 147746 | 10942 250 12 | 0.051 % | 4.99/5.08 c =============================================================================== 5.09/5.10 c core #94 5.09/5.10 c ============================[ Search Statistics ]============================== 5.09/5.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.09/5.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.09/5.10 c =============================================================================== 5.09/5.10 c | 0 | 28118 27498 149945 | 9166 0 nan | 0.000 % | 5.09/5.17 c | 102 | 28116 27498 149945 | 10082 102 17 | 0.007 % | 5.19/5.22 c | 252 | 28110 27498 149945 | 11090 251 15 | 0.043 % | 5.19/5.24 c =============================================================================== 5.19/5.26 c core #95 5.19/5.26 c ============================[ Search Statistics ]============================== 5.19/5.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.26 c =============================================================================== 5.19/5.26 c | 0 | 28548 27874 152178 | 9291 0 nan | 0.000 % | 5.28/5.33 c | 100 | 28546 27874 152178 | 10220 100 12 | 0.007 % | 5.28/5.38 c | 251 | 28544 27874 152178 | 11242 177 11 | 0.014 % | 5.39/5.43 c =============================================================================== 5.39/5.45 c core #96 5.39/5.45 c ============================[ Search Statistics ]============================== 5.39/5.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.45 c =============================================================================== 5.39/5.45 c | 0 | 29004 28268 154525 | 9422 0 nan | 0.000 % | 5.50/5.51 c | 101 | 29002 28268 154525 | 10364 101 20 | 0.007 % | 5.50/5.56 c | 251 | 29002 28268 154525 | 11401 251 15 | 0.007 % | 5.59/5.63 c =============================================================================== 5.59/5.66 c core #97 5.59/5.66 c ============================[ Search Statistics ]============================== 5.59/5.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.66 c =============================================================================== 5.59/5.66 c | 0 | 29473 28664 156915 | 9554 0 nan | 0.000 % | 5.69/5.72 c | 101 | 29471 28664 156915 | 10510 101 14 | 0.007 % | 5.69/5.78 c | 254 | 29460 28664 156915 | 11561 179 13 | 0.068 % | 5.79/5.80 c =============================================================================== 5.79/5.82 c core #98 5.79/5.82 c ============================[ Search Statistics ]============================== 5.79/5.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.82 c =============================================================================== 5.79/5.82 c | 0 | 29883 29026 159052 | 9675 0 nan | 0.000 % | 5.79/5.89 c | 102 | 29881 29026 159052 | 10642 102 18 | 0.007 % | 5.89/5.94 c | 252 | 29861 29026 159052 | 11707 150 16 | 0.087 % | 5.99/6.00 c =============================================================================== 5.99/6.03 c core #99 5.99/6.03 c ============================[ Search Statistics ]============================== 5.99/6.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.03 c =============================================================================== 5.99/6.03 c | 0 | 30396 29407 161470 | 9802 0 nan | 0.000 % | 5.99/6.09 c | 101 | 30394 29407 161470 | 10782 101 19 | 0.007 % | 6.09/6.14 c | 251 | 30386 29407 161470 | 11860 251 15 | 0.053 % | 6.19/6.21 c | 478 | 30382 29407 161470 | 13046 478 15 | 0.059 % | 6.19/6.28 c | 817 | 30361 29407 161470 | 14351 647 16 | 0.118 % | 6.29/6.31 c =============================================================================== 6.29/6.34 c core #100 6.29/6.34 c ============================[ Search Statistics ]============================== 6.29/6.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.34 c =============================================================================== 6.29/6.34 c | 0 | 30933 29804 164010 | 9934 0 nan | 0.000 % | 6.39/6.40 c | 100 | 30931 29804 164010 | 10928 100 19 | 0.006 % | 6.39/6.46 c | 250 | 30931 29804 164010 | 12020 250 15 | 0.006 % | 6.50/6.51 c | 477 | 30925 29804 164010 | 13223 477 15 | 0.026 % | 6.59/6.60 c | 814 | 30923 29804 164010 | 14545 759 17 | 0.032 % | 6.59/6.65 c =============================================================================== 6.59/6.69 c core #101 6.59/6.69 c ============================[ Search Statistics ]============================== 6.59/6.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.59/6.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.59/6.69 c =============================================================================== 6.59/6.69 c | 0 | 31434 30230 166625 | 10076 0 nan | 0.000 % | 6.69/6.75 c | 100 | 31432 30230 166625 | 11084 100 17 | 0.006 % | 6.79/6.80 c | 250 | 31432 30230 166625 | 12192 250 14 | 0.006 % | 6.79/6.85 c =============================================================================== 6.79/6.88 c core #102 6.79/6.88 c ============================[ Search Statistics ]============================== 6.79/6.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.88 c =============================================================================== 6.79/6.88 c | 0 | 31854 30599 168813 | 10199 0 nan | 0.000 % | 6.89/6.93 c | 100 | 31853 30599 168813 | 11219 100 14 | 0.006 % | 6.89/6.98 c | 250 | 31851 30599 168813 | 12341 250 13 | 0.013 % | 6.99/7.03 c | 477 | 31840 30599 168813 | 13575 477 17 | 0.050 % | 7.09/7.11 c | 815 | 31832 30599 168813 | 14933 693 19 | 0.069 % | 7.19/7.22 c | 1322 | 31827 30599 168813 | 16426 1164 19 | 0.100 % | 7.38/7.41 c | 2081 | 31819 30599 168813 | 18069 1878 21 | 0.126 % | 7.38/7.49 c =============================================================================== 7.49/7.53 c core #103 7.49/7.53 c ============================[ Search Statistics ]============================== 7.49/7.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.53 c =============================================================================== 7.49/7.53 c | 0 | 32462 30993 171499 | 10331 0 nan | 0.000 % | 7.49/7.58 c | 100 | 32461 30993 171499 | 11364 100 12 | 0.006 % | 7.60/7.63 c | 251 | 32458 30993 171499 | 12500 251 14 | 0.012 % | 7.60/7.69 c | 476 | 32436 30993 171499 | 13750 363 14 | 0.080 % | 7.70/7.75 c | 816 | 32429 30993 171499 | 15125 703 17 | 0.105 % | 7.79/7.83 c =============================================================================== 7.79/7.86 c core #104 7.79/7.86 c ============================[ Search Statistics ]============================== 7.79/7.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.79/7.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.79/7.86 c =============================================================================== 7.79/7.86 c | 0 | 32979 31402 174067 | 10467 0 nan | 0.000 % | 7.89/7.93 c | 100 | 32977 31402 174067 | 11514 100 19 | 0.006 % | 7.89/7.99 c | 250 | 32973 31402 174067 | 12665 200 15 | 0.024 % | 7.99/8.05 c | 475 | 32947 31402 174067 | 13932 425 18 | 0.097 % | 8.09/8.13 c | 812 | 32889 31402 174067 | 15325 643 25 | 0.285 % | 8.19/8.25 c | 1319 | 32877 31402 174067 | 16857 1017 31 | 0.588 % | 8.39/8.41 c | 2078 | 32785 31402 174067 | 18543 1669 33 | 0.588 % | 8.59/8.70 c | 3217 | 32785 31402 174067 | 20397 2808 35 | 0.588 % | 9.09/9.14 c | 4925 | 32785 31402 174067 | 22437 4516 38 | 0.588 % | 9.89/9.96 c | 7488 | 32785 31402 174067 | 24681 7079 42 | 0.588 % | 11.19/11.20 c | 11334 | 32785 31402 174067 | 27149 10925 48 | 0.588 % | 13.09/13.16 c | 17101 | 32581 31402 174067 | 29864 4326 43 | 1.207 % | 13.69/13.76 c =============================================================================== 13.79/13.88 c core #105 13.79/13.88 c ============================[ Search Statistics ]============================== 13.79/13.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.79/13.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.79/13.88 c =============================================================================== 13.79/13.88 c | 0 | 33501 31782 176504 | 10594 0 nan | 0.000 % | 13.89/13.95 c | 100 | 33499 31782 176504 | 11653 100 14 | 0.006 % | 13.99/14.00 c | 250 | 33494 31782 176504 | 12818 250 13 | 0.030 % | 13.99/14.07 c | 475 | 33491 31782 176504 | 14100 475 20 | 0.030 % | 14.09/14.18 c | 812 | 33483 31782 176504 | 15510 720 27 | 0.060 % | 14.29/14.34 c | 1320 | 33462 31782 176504 | 17061 1191 31 | 0.125 % | 14.39/14.50 c | 2079 | 33449 31782 176504 | 18767 1854 29 | 0.167 % | 14.79/14.80 c | 3220 | 33445 31782 176504 | 20644 2938 34 | 0.167 % | 15.19/15.27 c | 4930 | 33445 31782 176504 | 22709 4648 37 | 0.167 % | 15.99/16.07 c | 7492 | 33445 31782 176504 | 24980 7210 39 | 0.167 % | 17.29/17.31 c | 11337 | 33445 31782 176504 | 27478 11055 42 | 0.167 % | 19.29/19.30 c | 17107 | 33445 31782 176504 | 30225 16825 46 | 0.167 % | 22.49/22.58 c | 25756 | 33445 31782 176504 | 33248 25474 49 | 0.167 % | 28.19/28.20 c | 38734 | 33445 31782 176504 | 36573 16336 50 | 0.167 % | 36.79/36.83 c | 58196 | 33445 31782 176504 | 40230 35798 53 | 0.167 % | 50.89/50.91 c | 87390 | 33445 31782 176504 | 44253 37615 53 | 0.167 % | 70.40/70.47 c | 131180 | 33445 31782 176504 | 48679 17699 49 | 0.167 % | 103.09/103.17 c | 196869 | 33245 31782 176504 | 53547 2269 20 | 0.764 % | 121.39/121.42 c =============================================================================== 122.90/122.98 c core #106 122.90/122.98 c ============================[ Search Statistics ]============================== 122.90/122.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 122.90/122.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 122.90/122.98 c =============================================================================== 122.90/122.98 c | 0 | 34079 32166 179077 | 10722 0 nan | 0.000 % | 123.00/123.06 c | 100 | 34077 32166 179077 | 11794 100 11 | 0.006 % | 123.10/123.10 c | 252 | 34077 32166 179077 | 12973 252 26 | 0.006 % | 123.10/123.17 c | 477 | 34069 32166 179077 | 14270 476 28 | 0.029 % | 123.20/123.28 c | 814 | 34069 32166 179077 | 15698 768 29 | 0.029 % | 123.39/123.40 c | 1320 | 34035 32166 179077 | 17267 1218 30 | 0.129 % | 123.49/123.58 c | 2079 | 34031 32166 179077 | 18994 1821 36 | 0.141 % | 123.79/123.87 c | 3221 | 34009 32166 179077 | 20894 2919 40 | 0.205 % | 124.29/124.31 c | 4929 | 34007 32166 179077 | 22983 4535 44 | 0.563 % | 125.00/125.04 c | 7493 | 33887 32166 179077 | 25281 7047 47 | 0.563 % | 126.19/126.23 c | 11339 | 33887 32166 179077 | 27810 10893 48 | 0.563 % | 128.79/128.90 c | 17105 | 33887 32166 179077 | 30591 16659 52 | 0.563 % | 132.60/132.66 c | 25754 | 33887 32166 179077 | 33650 25308 53 | 0.563 % | 137.40/137.41 c | 38728 | 33887 32166 179077 | 37015 15553 49 | 0.563 % | 144.00/144.09 c | 58190 | 33708 32166 179077 | 40716 7354 45 | 1.089 % | 150.60/150.65 c =============================================================================== 151.20/151.24 c core #107 151.20/151.24 c ============================[ Search Statistics ]============================== 151.20/151.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 151.20/151.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 151.20/151.24 c =============================================================================== 151.20/151.24 c | 0 | 34613 32591 181755 | 10863 0 nan | 0.000 % | 151.29/151.33 c | 100 | 34611 32591 181755 | 11950 100 20 | 0.006 % | 151.29/151.39 c | 251 | 34606 32591 181755 | 13145 251 16 | 0.029 % | 151.39/151.47 c | 477 | 34561 32591 181755 | 14459 477 24 | 0.150 % | 151.49/151.57 c | 814 | 34553 32591 181755 | 15905 635 30 | 0.196 % | 151.59/151.70 c | 1321 | 34544 32591 181755 | 17496 1102 45 | 0.202 % | 151.89/151.90 c | 2082 | 34537 32591 181755 | 19245 1858 47 | 0.243 % | 152.10/152.13 c | 3222 | 34529 32591 181755 | 21170 2968 48 | 0.243 % | 152.49/152.57 c | 4933 | 34529 32591 181755 | 23287 4679 54 | 0.243 % | 153.29/153.35 c | 7496 | 34529 32591 181755 | 25615 7242 56 | 0.243 % | 154.49/154.58 c | 11340 | 34529 32591 181755 | 28177 11086 60 | 0.243 % | 156.49/156.56 c | 17108 | 34529 32591 181755 | 30995 16854 65 | 0.243 % | 161.20/161.21 c | 25759 | 34529 32591 181755 | 34094 25505 70 | 0.243 % | 168.59/168.66 c | 38734 | 34529 32591 181755 | 37504 16426 78 | 0.243 % | 176.69/176.74 c | 58198 | 34529 32591 181755 | 41254 35890 79 | 0.243 % | 196.29/196.38 c | 87394 | 34529 32591 181755 | 45380 36064 93 | 0.243 % | 227.39/227.44 c | 131183 | 34529 32591 181755 | 49918 13686 82 | 0.243 % | 264.20/264.28 c | 196868 | 34519 32591 181755 | 54910 43119 75 | 0.272 % | 327.30/327.33 c | 295395 | 34483 32591 181755 | 60401 16197 96 | 0.376 % | 431.41/431.42 c | 443184 | 34283 32591 181755 | 66441 53267 87 | 0.953 % | 582.11/582.20 c =============================================================================== 587.61/587.66 c core #108 587.61/587.66 c ============================[ Search Statistics ]============================== 587.61/587.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 587.61/587.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 587.61/587.66 c =============================================================================== 587.61/587.66 c | 0 | 35157 32968 184229 | 10989 0 nan | 0.000 % | 587.81/587.81 c | 100 | 35155 32968 184229 | 12088 100 24 | 0.006 % | 587.81/587.86 c | 251 | 35155 32968 184229 | 13297 250 22 | 0.006 % | 587.91/587.94 c | 477 | 35115 32968 184229 | 14626 449 20 | 0.119 % | 588.01/588.02 c | 816 | 35074 32968 184229 | 16089 596 33 | 0.250 % | 588.11/588.15 c | 1323 | 35068 32968 184229 | 17698 953 43 | 0.256 % | 588.30/588.33 c | 2082 | 35066 32968 184229 | 19468 1710 52 | 0.364 % | 588.51/588.57 c | 3228 | 35029 32968 184229 | 21415 2826 59 | 0.364 % | 588.91/588.97 c | 4937 | 35029 32968 184229 | 23556 4535 66 | 0.364 % | 589.51/589.51 c | 7499 | 35029 32968 184229 | 25912 7097 72 | 0.364 % | 590.50/590.55 c | 11347 | 35029 32968 184229 | 28503 10945 74 | 0.364 % | 592.51/592.54 c | 17122 | 35029 32968 184229 | 31353 16720 80 | 0.364 % | 596.30/596.33 c | 25771 | 35029 32968 184229 | 34489 25369 83 | 0.364 % | 602.21/602.22 c | 38751 | 35029 32968 184229 | 37938 15072 108 | 0.364 % | 611.41/611.43 c | 58212 | 35029 32968 184229 | 41731 34533 121 | 0.364 % | 629.31/629.36 c | 87404 | 35021 32968 184229 | 45905 34842 126 | 0.387 % | 661.31/661.34 c | 131193 | 35021 32968 184229 | 50495 44583 110 | 0.387 % | 701.60/701.64 c | 196879 | 34965 32968 184229 | 55545 36081 104 | 0.546 % | 772.01/772.09 c | 295406 | 34965 32968 184229 | 61099 49340 134 | 0.546 % | 890.72/890.72 c | 443196 | 34965 32968 184229 | 67209 53234 133 | 0.546 % | 1064.22/1064.25 c | 664883 | 34965 32968 184229 | 73930 56949 145 | 0.546 % | 1421.33/1421.37 c | 997415 | 34965 32968 184229 | 81323 31178 150 | 0.546 % |
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-2700376-1278535243/watcher-2700376-1278535243 -o /tmp/evaluation-result-2700376-1278535243/solver-2700376-1278535243 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700376-1278535243.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.00 2.16 2.11 4/178 18514 /proc/meminfo: memFree=26520040/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=2708 CPUtime=0 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 321 0 0 0 0 0 0 0 24 0 1 0 21739173 2772992 228 4089446400 134512640 135751879 4289612080 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 677 228 143 303 0 372 0 [startup+0.0941819 s] /proc/loadavg: 2.00 2.16 2.11 4/178 18514 /proc/meminfo: memFree=26520040/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=4228 CPUtime=0.08 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 701 0 0 0 8 0 0 0 24 0 1 0 21739173 4329472 599 4089446400 134512640 135751879 4289612080 18446744073709551615 134637748 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 1057 599 145 303 0 752 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4228 [startup+0.100181 s] /proc/loadavg: 2.00 2.16 2.11 4/178 18514 /proc/meminfo: memFree=26520040/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=4228 CPUtime=0.09 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 701 0 0 0 9 0 0 0 24 0 1 0 21739173 4329472 599 4089446400 134512640 135751879 4289612080 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 1057 599 145 303 0 752 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4228 [startup+0.300154 s] /proc/loadavg: 2.00 2.16 2.11 4/178 18514 /proc/meminfo: memFree=26520040/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=6456 CPUtime=0.29 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 1355 0 0 0 27 2 0 0 25 0 1 0 21739173 6610944 1111 4089446400 134512640 135751879 4289612080 18446744073709551615 134611013 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 1614 1111 145 303 0 1309 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6456 [startup+0.701081 s] /proc/loadavg: 2.00 2.16 2.11 4/178 18514 /proc/meminfo: memFree=26520040/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=8748 CPUtime=0.69 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 2397 0 0 0 63 6 0 0 25 0 1 0 21739173 8957952 1722 4089446400 134512640 135751879 4289612080 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 2187 1722 146 303 0 1882 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8748 [startup+1.50092 s] /proc/loadavg: 2.00 2.16 2.11 3/179 18515 /proc/meminfo: memFree=26511476/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=10872 CPUtime=1.49 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 3870 0 0 0 138 11 0 0 18 0 1 0 21739173 11132928 2300 4089446400 134512640 135751879 4289612080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 2718 2300 146 303 0 2413 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10872 [startup+3.10063 s] /proc/loadavg: 2.00 2.16 2.11 3/179 18515 /proc/meminfo: memFree=26507508/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=15684 CPUtime=3.09 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 6448 0 0 0 285 24 0 0 19 0 1 0 21739173 16060416 3420 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 3921 3420 146 303 0 3616 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15684 [startup+6.30104 s] /proc/loadavg: 2.00 2.16 2.11 3/179 18515 /proc/meminfo: memFree=26494620/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=18892 CPUtime=6.29 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 14821 0 0 0 584 45 0 0 21 0 1 0 21739173 19345408 4301 4089446400 134512640 135751879 4289612080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 4723 4301 146 303 0 4418 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18892 [startup+12.7009 s] /proc/loadavg: 2.00 2.16 2.11 3/179 18515 /proc/meminfo: memFree=26482680/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=21740 CPUtime=12.69 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 17634 0 0 0 1218 51 0 0 25 0 1 0 21739173 22261760 4823 4089446400 134512640 135751879 4289612080 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 5435 4823 146 303 0 5130 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21740 [startup+25.5005 s] /proc/loadavg: 2.00 2.15 2.11 3/179 18516 /proc/meminfo: memFree=26453376/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=32140 CPUtime=25.49 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 20637 0 0 0 2492 57 0 0 25 0 1 0 21739173 32911360 7438 4089446400 134512640 135751879 4289612080 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 8035 7438 146 303 0 7730 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32140 [startup+51.1008 s] /proc/loadavg: 2.00 2.14 2.10 3/179 18516 /proc/meminfo: memFree=26397156/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=52932 CPUtime=51.09 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 25788 0 0 0 5044 65 0 0 25 0 1 0 21739173 54202368 12589 4089446400 134512640 135751879 4289612080 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 13233 12589 146 303 0 12928 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 52932 [startup+102.306 s] /proc/loadavg: 2.00 2.11 2.09 3/179 18518 /proc/meminfo: memFree=26289224/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=91768 CPUtime=102.3 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 35456 0 0 0 10148 82 0 0 25 0 1 0 21739173 93970432 22257 4089446400 134512640 135751879 4289612080 18446744073709551615 134602805 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 22942 22257 146 303 0 22637 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 91768 [startup+162.3 s] /proc/loadavg: 2.00 2.09 2.09 3/179 18519 /proc/meminfo: memFree=26195156/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=116600 CPUtime=162.3 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 42780 0 0 0 16125 105 0 0 25 0 1 0 21739173 119398400 28565 4089446400 134512640 135751879 4289612080 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 29150 28565 146 303 0 28845 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 116600 [startup+222.3 s] /proc/loadavg: 2.00 2.07 2.08 3/179 18521 /proc/meminfo: memFree=26109772/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=158444 CPUtime=222.29 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 53084 0 0 0 22110 119 0 0 25 0 1 0 21739173 162246656 38869 4089446400 134512640 135751879 4289612080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 39611 38869 146 303 0 39306 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 158444 [startup+282.3 s] /proc/loadavg: 2.00 2.06 2.07 3/179 18522 /proc/meminfo: memFree=25984720/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=198508 CPUtime=282.3 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 63079 0 0 0 28096 134 0 0 25 0 1 0 21739173 203272192 48864 4089446400 134512640 135751879 4289612080 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 49627 48864 146 303 0 49322 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 198508 [startup+342.301 s] /proc/loadavg: 2.05 2.06 2.07 3/179 18524 /proc/meminfo: memFree=25854592/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=247736 CPUtime=342.3 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 75316 0 0 0 34083 147 0 0 25 0 1 0 21739173 253681664 61101 4089446400 134512640 135751879 4289612080 18446744073709551615 134610787 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 61934 61101 146 303 0 61629 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 247736 [startup+402.301 s] /proc/loadavg: 2.02 2.05 2.07 3/179 18526 /proc/meminfo: memFree=25732524/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=290160 CPUtime=402.3 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 85819 0 0 0 40069 161 0 0 25 0 1 0 21739173 297123840 71604 4089446400 134512640 135751879 4289612080 18446744073709551615 134610989 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 72540 71604 146 303 0 72235 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 290160 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.06 3/179 18527 /proc/meminfo: memFree=25632516/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=323136 CPUtime=462.3 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 94023 0 0 0 46059 171 0 0 25 0 1 0 21739173 330891264 79808 4089446400 134512640 135751879 4289612080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/18514/statm: 80784 79808 146 303 0 80479 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 323136 [startup+522.301 s] /proc/loadavg: 1.93 2.01 2.05 3/179 18676 /proc/meminfo: memFree=27919328/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=362464 CPUtime=522.31 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 103793 0 0 0 52046 185 0 0 25 0 1 0 21739173 371163136 89578 4089446400 134512640 135751879 4289612080 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18514/statm: 90616 89578 146 303 0 90311 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 362464 [startup+582.301 s] /proc/loadavg: 1.97 2.00 2.04 3/179 18677 /proc/meminfo: memFree=27810120/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=406448 CPUtime=582.31 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 114700 0 0 0 58023 208 0 0 25 0 1 0 21739173 416202752 100485 4089446400 134512640 135751879 4289612080 18446744073709551615 134516408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 101612 100485 146 303 0 101307 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 406448 [startup+642.301 s] /proc/loadavg: 1.99 2.00 2.04 3/179 18679 /proc/meminfo: memFree=27704944/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=444816 CPUtime=642.31 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 125211 0 0 0 63992 239 0 0 25 0 1 0 21739173 455491584 110590 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 111204 110590 146 303 0 110899 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 444816 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.99 2.00 2.02 3/179 18684 /proc/meminfo: memFree=27356300/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=575376 CPUtime=822.31 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 157556 0 0 0 81925 306 0 0 25 0 1 0 21739173 589185024 142935 4089446400 134512640 135751879 4289612080 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 143844 142935 146 303 0 143539 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 575376 [startup+882.301 s] /proc/loadavg: 1.99 2.00 2.02 3/179 18685 /proc/meminfo: memFree=27252332/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=618268 CPUtime=882.32 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 168193 0 0 0 87907 325 0 0 25 0 1 0 21739173 633106432 153572 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 154567 153572 146 303 0 154262 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 618268 [startup+942.301 s] /proc/loadavg: 1.99 2.00 2.01 3/179 18687 /proc/meminfo: memFree=27142536/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=665892 CPUtime=942.31 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 180001 0 0 0 93883 348 0 0 25 0 1 0 21739173 681873408 165380 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 166473 165380 146 303 0 166168 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 665892 [startup+1002.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 18689 /proc/meminfo: memFree=27026392/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=715596 CPUtime=1002.32 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 192389 0 0 0 99860 372 0 0 25 0 1 0 21739173 732770304 177768 4089446400 134512640 135751879 4289612080 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 178899 177768 146 303 0 178594 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 715596 [startup+1062.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 18690 /proc/meminfo: memFree=26898872/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=767100 CPUtime=1062.32 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 205195 0 0 0 105840 392 0 0 25 0 1 0 21739173 785510400 190574 4089446400 134512640 135751879 4289612080 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 191775 190574 146 303 0 191470 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 767100 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 18692 /proc/meminfo: memFree=26789468/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=808984 CPUtime=1122.33 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 215599 0 0 0 111825 408 0 0 25 0 1 0 21739173 828399616 200978 4089446400 134512640 135751879 4289612080 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 202246 200978 146 303 0 201941 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 808984 [startup+1182.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 18693 /proc/meminfo: memFree=26695676/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=840320 CPUtime=1182.32 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 223395 0 0 0 117810 422 0 0 25 0 1 0 21739173 860487680 208774 4089446400 134512640 135751879 4289612080 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 210080 208774 146 303 0 209775 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 840320 [startup+1242.3 s] /proc/loadavg: 2.07 2.02 2.01 3/179 18704 /proc/meminfo: memFree=26579508/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=888224 CPUtime=1242.32 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 235336 0 0 0 123791 441 0 0 25 0 1 0 21739173 909541376 220715 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 222056 220715 146 303 0 221751 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 888224 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 18706 /proc/meminfo: memFree=26475888/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=927968 CPUtime=1302.34 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 245255 0 0 0 129776 458 0 0 25 0 1 0 21739173 950239232 230634 4089446400 134512640 135751879 4289612080 18446744073709551615 134616507 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 231992 230634 146 303 0 231687 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 927968 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 18707 /proc/meminfo: memFree=26359396/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=977920 CPUtime=1362.33 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 257648 0 0 0 135753 480 0 0 25 0 1 0 21739173 1001390080 243027 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 244480 243027 146 303 0 244175 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 977920 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18709 /proc/meminfo: memFree=26250712/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=1015348 CPUtime=1422.33 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 266936 0 0 0 141740 493 0 0 25 0 1 0 21739173 1039716352 252315 4089446400 134512640 135751879 4289612080 18446744073709551615 134616228 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 253837 252315 146 303 0 253532 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1015348 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18710 /proc/meminfo: memFree=26135224/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=1057580 CPUtime=1482.34 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 277473 0 0 0 147725 509 0 0 25 0 1 0 21739173 1082961920 262852 4089446400 134512640 135751879 4289612080 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 264395 262852 146 303 0 264090 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1057580 [startup+1542.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 18712 /proc/meminfo: memFree=26031384/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=1095340 CPUtime=1542.34 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 286908 0 0 0 153711 523 0 0 25 0 1 0 21739173 1121628160 272287 4089446400 134512640 135751879 4289612080 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 273835 272287 146 303 0 273530 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1095340 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 18714 /proc/meminfo: memFree=25926928/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=1135188 CPUtime=1602.34 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 296791 0 0 0 159696 538 0 0 25 0 1 0 21739173 1162432512 282170 4089446400 134512640 135751879 4289612080 18446744073709551615 134616418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 283797 282170 146 303 0 283492 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1135188 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18715 /proc/meminfo: memFree=25815276/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=1174804 CPUtime=1662.34 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 306689 0 0 0 165681 553 0 0 25 0 1 0 21739173 1202999296 292068 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 293701 292068 146 303 0 293396 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1174804 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18717 /proc/meminfo: memFree=25701776/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=1222672 CPUtime=1722.34 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 318611 0 0 0 171666 568 0 0 25 0 1 0 21739173 1252016128 303990 4089446400 134512640 135751879 4289612080 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 305668 303990 146 303 0 305363 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1222672 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18718 /proc/meminfo: memFree=25585412/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=1267124 CPUtime=1782.34 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 329740 0 0 0 177650 584 0 0 25 0 1 0 21739173 1297534976 315119 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 316781 315119 146 303 0 316476 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1267124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.08 2.02 2.01 3/179 18719 /proc/meminfo: memFree=25550432/32951124 swapFree=67111528/67111528 [pid=18514] ppid=18512 vsize=1282580 CPUtime=1800.05 /proc/18514/stat : 18514 (wbo1.4a) R 18512 18514 17746 0 -1 4202496 333611 0 0 0 179417 588 0 0 25 0 1 0 21739173 1313361920 318990 4089446400 134512640 135751879 4289612080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18514/statm: 320645 318990 146 303 0 320340 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1282580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.1 CPU user time (s): 1794.17 CPU system time (s): 5.9311 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1282580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.17 system time used= 5.9311 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 333611 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= 40 involuntary context switches= 1923 runsolver used 2.6506 second user time and 5.9281 second system time The end
Begin job on node110 at 2010-07-07 22:40:44 IDJOB=2700376 IDBENCH=79423 IDSOLVER=1200 FILE ID=node110/2700376-1278535243 PBS_JOBID= 11239258 Free space on /tmp= 73500 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh303_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700376-1278535243/watcher-2700376-1278535243 -o /tmp/evaluation-result-2700376-1278535243/solver-2700376-1278535243 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700376-1278535243.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7000a06966de2ad9f6a697139e04f737 RANDOM SEED=1607009602 node110.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.801 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.60 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.801 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.83 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.801 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.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 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.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 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 : 5347.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26520568 kB Buffers: 136484 kB Cached: 4282712 kB SwapCached: 0 kB Active: 3841488 kB Inactive: 2426940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26520568 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 1849604 kB Mapped: 17336 kB Slab: 93940 kB PageTables: 8496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1999124 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73500 MiB End job on node110 at 2010-07-07 23:10:46