Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.11 | 1800.06 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh219_wcsp.wbo |
MD5SUM | 0a308225f12d2c01751496daa1233c60 |
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 | 82 |
Best CPU time to get the best result obtained on this benchmark | 0.986849 |
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 | 900 |
Number of soft constraints | 800 |
Number of constraints which are clauses | 800 |
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 | 394239 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 394238 |
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-2700124-1278534034.wbo. 0.00/0.00 c Instance file HOME/instance-2700124-1278534034.wbo 0.00/0.00 c File size is 42477 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: 1000 | 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 1000 4289 | 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 | 421 1221 5433 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.01 c core #2 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 | 665 1465 6712 | 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 | 871 1671 7765 | 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 | 1086 1886 8893 | 5000 0 nan | 0.000 % | 0.00/0.02 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 | 1336 2135 10208 | 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 | 1518 2317 11127 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 100 | 1515 2317 11127 | 5500 100 8 | 0.264 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #7 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 | 1757 2555 12381 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #8 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1973 2769 13485 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.05 c core #9 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 | 2209 3005 14726 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #10 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 | 2438 3234 15924 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 100 | 2435 3234 15924 | 5500 100 9 | 0.168 % | 0.00/0.06 c =============================================================================== 0.00/0.07 c core #11 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 | 2681 3476 17193 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.08 c core #12 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 | 2912 3707 18409 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.09 c core #13 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 3164 3959 19744 | 5000 0 nan | 0.000 % | 0.00/0.09 c | 102 | 3161 3959 19744 | 5500 102 8 | 0.129 % | 0.00/0.10 c =============================================================================== 0.09/0.10 c core #14 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 | 3405 4200 21013 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 101 | 3392 4200 21013 | 5500 101 9 | 1.410 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #15 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 | 3699 4491 22600 | 5000 0 nan | 0.000 % | 0.09/0.12 c | 102 | 3695 4491 22600 | 5500 102 10 | 0.108 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #16 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 | 3969 4761 24043 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.15 c core #17 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 | 4218 5006 25351 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 100 | 4215 5006 25351 | 5500 100 10 | 0.095 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #18 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 | 4439 5227 26516 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.18 c core #19 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 4655 5442 27637 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #20 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 | 4877 5660 28779 | 5000 0 nan | 0.000 % | 0.09/0.20 c =============================================================================== 0.19/0.20 c core #21 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 5113 5890 30011 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #22 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 | 5345 6120 31250 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 100 | 5342 6120 31250 | 5500 100 11 | 0.075 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #23 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 | 5619 6389 32720 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.25 c core #24 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 5874 6640 34088 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 100 | 5836 6640 34088 | 5500 46 8 | 0.681 % | 0.19/0.26 c =============================================================================== 0.19/0.27 c core #25 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 6130 6888 35438 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.29 c core #26 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 | 6389 7135 36780 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #27 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 6628 7367 38032 | 5000 0 nan | 0.000 % | 0.29/0.32 c | 100 | 6621 7367 38032 | 5500 100 10 | 0.241 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #28 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 | 6919 7650 39570 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #29 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 | 7161 7882 40839 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 100 | 7158 7882 40839 | 5500 100 11 | 0.056 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #30 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 7428 8137 42223 | 5000 0 nan | 0.000 % | 0.29/0.39 c | 101 | 7424 8137 42223 | 5500 101 10 | 0.135 % | 0.29/0.39 c =============================================================================== 0.39/0.40 c core #31 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 | 7720 8422 43782 | 5000 0 nan | 0.000 % | 0.39/0.41 c | 102 | 7704 8422 43782 | 5500 76 10 | 0.389 % | 0.39/0.41 c =============================================================================== 0.39/0.42 c core #32 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 7958 8635 44956 | 5000 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #33 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 8215 8865 46225 | 5000 0 nan | 0.000 % | 0.39/0.46 c | 102 | 8206 8865 46225 | 5500 102 15 | 0.122 % | 0.39/0.48 c | 252 | 8070 8865 46225 | 6050 244 16 | 5.210 % | 0.39/0.49 c =============================================================================== 0.39/0.50 c core #34 0.39/0.50 c ============================[ Search Statistics ]============================== 0.39/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.50 c =============================================================================== 0.39/0.50 c | 0 | 8510 9101 47591 | 5000 0 nan | 0.000 % | 0.49/0.51 c | 101 | 8506 9101 47591 | 5500 101 21 | 0.047 % | 0.49/0.53 c | 251 | 8498 9101 47591 | 6050 250 18 | 0.141 % | 0.49/0.56 c | 477 | 8437 9101 47591 | 6655 456 19 | 0.894 % | 0.59/0.60 c | 815 | 8431 9101 47591 | 7320 703 21 | 3.549 % | 0.59/0.66 c | 1325 | 8208 9101 47591 | 8052 1088 22 | 3.549 % | 0.69/0.70 c =============================================================================== 0.69/0.71 c core #35 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 8851 9375 49183 | 5000 0 nan | 0.000 % | 0.69/0.73 c | 101 | 8844 9375 49183 | 5500 101 31 | 0.090 % | 0.69/0.74 c | 252 | 8823 9375 49183 | 6050 249 21 | 0.339 % | 0.69/0.77 c | 477 | 8661 9375 49183 | 6655 402 29 | 2.169 % | 0.78/0.82 c | 815 | 8659 9375 49183 | 7320 702 30 | 2.169 % | 0.78/0.88 c | 1322 | 8659 9375 49183 | 8052 1209 28 | 2.169 % | 0.88/0.97 c | 2082 | 8659 9375 49183 | 8857 1969 27 | 2.170 % | 1.10/1.13 c | 3221 | 8659 9375 49183 | 9743 3108 28 | 2.169 % | 1.29/1.39 c | 4931 | 8453 9375 49183 | 10717 3577 28 | 4.497 % | 1.49/1.59 c =============================================================================== 1.59/1.62 c core #36 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 | 9197 9637 50775 | 5000 0 nan | 0.000 % | 1.59/1.64 c | 101 | 9192 9637 50775 | 5500 101 16 | 0.065 % | 1.59/1.66 c | 253 | 9158 9637 50775 | 6050 237 19 | 0.435 % | 1.59/1.69 c | 479 | 9089 9637 50775 | 6655 364 37 | 1.544 % | 1.69/1.72 c | 817 | 9055 9637 50775 | 7320 659 43 | 1.544 % | 1.69/1.78 c | 1324 | 9055 9637 50775 | 8052 1166 44 | 1.544 % | 1.79/1.89 c | 2084 | 9055 9637 50775 | 8857 1926 47 | 1.544 % | 1.98/2.09 c | 3224 | 9055 9637 50775 | 9743 3066 48 | 1.544 % | 2.39/2.46 c | 4933 | 9055 9637 50775 | 10717 4775 50 | 1.544 % | 2.99/3.05 c | 7496 | 9055 9637 50775 | 11789 7338 51 | 1.544 % | 3.98/4.06 c | 11341 | 9055 9637 50775 | 12968 11183 49 | 1.544 % | 5.19/5.26 c | 17109 | 9055 9637 50775 | 14265 10082 51 | 1.544 % | 7.48/7.58 c | 25762 | 9055 9637 50775 | 15692 11206 61 | 1.544 % | 11.39/11.45 c | 38737 | 9055 9637 50775 | 17261 15768 69 | 1.544 % | 18.39/18.48 c | 58200 | 9013 9637 50775 | 18987 17215 64 | 2.001 % | 25.49/25.59 c | 87394 | 9013 9637 50775 | 20886 16876 59 | 2.001 % | 37.69/37.74 c | 131184 | 8774 9637 50775 | 22974 9891 59 | 4.599 % | 44.69/44.70 c =============================================================================== 45.29/45.36 c core #37 45.29/45.36 c ============================[ Search Statistics ]============================== 45.29/45.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.29/45.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.29/45.36 c =============================================================================== 45.29/45.36 c | 0 | 9564 9916 52461 | 5000 0 nan | 0.000 % | 45.29/45.38 c | 101 | 9562 9916 52461 | 5500 101 22 | 0.042 % | 45.39/45.40 c | 251 | 9556 9916 52461 | 6050 250 18 | 0.084 % | 45.39/45.44 c | 481 | 9542 9916 52461 | 6655 440 20 | 0.230 % | 45.39/45.48 c | 818 | 9459 9916 52461 | 7320 736 30 | 1.820 % | 45.49/45.56 c | 1330 | 9390 9916 52461 | 8052 1190 40 | 1.819 % | 45.59/45.69 c | 2089 | 9390 9916 52461 | 8857 1949 47 | 1.820 % | 45.89/45.90 c | 3229 | 9390 9916 52461 | 9743 3089 53 | 1.820 % | 46.19/46.30 c | 4937 | 9390 9916 52461 | 10717 4797 59 | 1.820 % | 46.99/47.00 c | 7499 | 9390 9916 52461 | 11789 7359 63 | 1.820 % | 48.59/48.60 c | 11343 | 9390 9916 52461 | 12968 11203 67 | 1.819 % | 50.59/50.61 c | 17109 | 9390 9916 52461 | 14265 10058 73 | 1.819 % | 53.89/53.92 c | 25758 | 9390 9916 52461 | 15692 11043 65 | 1.820 % | 58.30/58.37 c | 38737 | 9390 9916 52461 | 17261 15795 64 | 1.820 % | 63.39/63.48 c | 58200 | 9390 9916 52461 | 18987 17046 68 | 1.819 % | 73.69/73.74 c | 87393 | 9390 9916 52461 | 20886 16343 92 | 1.820 % | 93.19/93.28 c | 131184 | 9390 9916 52461 | 22974 16513 94 | 1.819 % | 122.29/122.39 c | 196874 | 9390 9916 52461 | 25272 22266 94 | 1.820 % | 168.30/168.39 c | 295400 | 9390 9916 52461 | 27799 25509 86 | 1.819 % | 230.49/230.56 c | 443190 | 9390 9916 52461 | 30579 13841 79 | 1.819 % | 323.20/323.25 c | 664873 | 9390 9916 52461 | 33637 16140 66 | 1.819 % | 467.50/467.59 c | 997398 | 9390 9916 52461 | 37001 23612 96 | 1.819 % | 688.80/688.82 c | 1496189 | 9390 9916 52461 | 40701 35078 85 | 1.820 % | 990.91/990.94 c | 2244371 | 9161 9916 52461 | 44771 37410 54 | 4.214 % | 1011.81/1011.89 c =============================================================================== 1026.72/1026.78 c core #38 1026.72/1026.78 c ============================[ Search Statistics ]============================== 1026.72/1026.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1026.72/1026.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1026.72/1026.78 c =============================================================================== 1026.72/1026.78 c | 0 | 9924 10204 54169 | 5000 0 nan | 0.000 % | 1026.92/1026.99 c | 100 | 9921 10204 54169 | 5500 100 25 | 0.040 % | 1027.02/1027.02 c | 252 | 9908 10204 54169 | 6050 251 24 | 0.161 % | 1027.02/1027.05 c | 478 | 9894 10204 54169 | 6655 429 25 | 0.323 % | 1027.12/1027.11 c | 816 | 9890 10204 54169 | 7320 727 28 | 0.343 % | 1027.12/1027.18 c | 1322 | 9890 10204 54169 | 8052 1228 30 | 0.343 % | 1027.22/1027.29 c | 2082 | 9890 10204 54169 | 8857 1988 30 | 0.343 % | 1027.42/1027.47 c | 3222 | 9835 10204 54169 | 9743 3124 39 | 1.834 % | 1027.72/1027.75 c | 4933 | 9742 10204 54169 | 10717 4586 54 | 1.834 % | 1028.22/1028.25 c | 7496 | 9742 10204 54169 | 11789 7149 67 | 1.834 % | 1029.22/1029.30 c | 11341 | 9742 10204 54169 | 12968 10994 75 | 1.834 % | 1030.82/1030.86 c | 17108 | 9742 10204 54169 | 14265 9958 95 | 1.834 % | 1034.12/1034.12 c | 25759 | 9742 10204 54169 | 15692 11159 88 | 1.834 % | 1038.72/1038.72 c | 38736 | 9742 10204 54169 | 17261 15594 97 | 1.834 % | 1045.71/1045.76 c | 58201 | 9742 10204 54169 | 18987 16962 95 | 1.834 % | 1056.81/1056.86 c | 87394 | 9742 10204 54169 | 20886 16163 91 | 1.834 % | 1072.12/1072.18 c | 131187 | 9742 10204 54169 | 22974 16387 93 | 1.834 % | 1100.42/1100.44 c | 196871 | 9742 10204 54169 | 25272 22096 110 | 1.834 % | 1141.42/1141.47 c | 295398 | 9742 10204 54169 | 27799 13327 128 | 1.834 % | 1208.72/1208.71 c | 443189 | 9742 10204 54169 | 30579 20470 109 | 1.834 % | 1322.23/1322.24 c | 664872 | 9742 10204 54169 | 33637 20263 117 | 1.834 % | 1452.22/1452.27 c | 997404 | 9742 10204 54169 | 37001 27713 82 | 1.834 % | 1707.94/1707.95 c | 1496194 | 9742 10204 54169 | 40701 35385 104 | 1.834 % |
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-2700124-1278534034/watcher-2700124-1278534034 -o /tmp/evaluation-result-2700124-1278534034/solver-2700124-1278534034 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700124-1278534034.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.87 1.79 0.69 3/178 18593 /proc/meminfo: memFree=29767080/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=2568 CPUtime=0 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 310 0 0 0 0 0 0 0 25 0 1 0 21618142 2629632 218 4089446400 134512640 135751879 4292904112 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 642 219 143 303 0 337 0 [startup+0.101988 s] /proc/loadavg: 3.87 1.79 0.69 3/178 18593 /proc/meminfo: memFree=29767080/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=4208 CPUtime=0.09 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 675 0 0 0 8 1 0 0 18 0 1 0 21618142 4308992 583 4089446400 134512640 135751879 4292904112 18446744073709551615 134520798 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 1052 583 146 303 0 747 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4208 [startup+0.200972 s] /proc/loadavg: 3.87 1.79 0.69 3/178 18593 /proc/meminfo: memFree=29767080/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=5140 CPUtime=0.19 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 1072 0 0 0 16 3 0 0 18 0 1 0 21618142 5263360 811 4089446400 134512640 135751879 4292904112 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 1285 812 146 303 0 980 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5140 [startup+0.300965 s] /proc/loadavg: 3.87 1.79 0.69 3/178 18593 /proc/meminfo: memFree=29767080/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=5592 CPUtime=0.29 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 1316 0 0 0 24 5 0 0 18 0 1 0 21618142 5726208 951 4089446400 134512640 135751879 4292904112 18446744073709551615 134611024 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 1398 951 146 303 0 1093 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5592 [startup+0.700892 s] /proc/loadavg: 3.87 1.79 0.69 3/178 18593 /proc/meminfo: memFree=29767080/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=6904 CPUtime=0.69 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 1879 0 0 0 60 9 0 0 18 0 1 0 21618142 7069696 1282 4089446400 134512640 135751879 4292904112 18446744073709551615 134602875 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 1726 1282 146 303 0 1421 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6904 [startup+1.50074 s] /proc/loadavg: 3.72 1.80 0.70 3/179 18594 /proc/meminfo: memFree=29762484/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=7168 CPUtime=1.49 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 1935 0 0 0 139 10 0 0 19 0 1 0 21618142 7340032 1338 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 1792 1338 146 303 0 1487 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7168 [startup+3.10047 s] /proc/loadavg: 3.72 1.80 0.70 3/179 18594 /proc/meminfo: memFree=29759508/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=9028 CPUtime=3.09 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 2375 0 0 0 297 12 0 0 23 0 1 0 21618142 9244672 1778 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 2257 1778 146 303 0 1952 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9028 [startup+6.30089 s] /proc/loadavg: 3.58 1.80 0.70 3/179 18594 /proc/meminfo: memFree=29753756/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=14088 CPUtime=6.29 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 3631 0 0 0 614 15 0 0 25 0 1 0 21618142 14426112 3034 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 3522 3034 146 303 0 3217 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14088 [startup+12.7008 s] /proc/loadavg: 3.46 1.80 0.71 3/179 18594 /proc/meminfo: memFree=29740488/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=22704 CPUtime=12.69 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 5768 0 0 0 1249 20 0 0 25 0 1 0 21618142 23248896 5171 4089446400 134512640 135751879 4292904112 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 5676 5171 146 303 0 5371 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22704 [startup+25.5005 s] /proc/loadavg: 3.13 1.81 0.73 3/179 18594 /proc/meminfo: memFree=29714668/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=39972 CPUtime=25.49 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 10085 0 0 0 2515 34 0 0 25 0 1 0 21618142 40931328 9488 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/18593/statm: 9993 9488 146 303 0 9688 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39972 [startup+51.1009 s] /proc/loadavg: 2.75 1.83 0.76 3/179 18595 /proc/meminfo: memFree=29664540/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=70608 CPUtime=51.09 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 17811 0 0 0 5055 54 0 0 25 0 1 0 21618142 72302592 17160 4089446400 134512640 135751879 4292904112 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 17652 17160 146 303 0 17347 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70608 [startup+102.301 s] /proc/loadavg: 2.32 1.85 0.83 3/179 18597 /proc/meminfo: memFree=29577192/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=119188 CPUtime=102.29 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 29882 0 0 0 10142 87 0 0 25 0 1 0 21618142 122048512 29231 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 29797 29231 146 303 0 29492 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 119188 [startup+162.3 s] /proc/loadavg: 2.12 1.87 0.90 3/179 18598 /proc/meminfo: memFree=29468408/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=184608 CPUtime=162.3 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 46165 0 0 0 16110 120 0 0 25 0 1 0 21618142 189038592 45514 4089446400 134512640 135751879 4292904112 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 46152 45514 146 303 0 45847 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 184608 [startup+222.307 s] /proc/loadavg: 2.04 1.89 0.96 3/179 18600 /proc/meminfo: memFree=29357896/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=250408 CPUtime=222.3 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 62565 0 0 0 22074 156 0 0 25 0 1 0 21618142 256417792 61914 4089446400 134512640 135751879 4292904112 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 62602 61914 146 303 0 62297 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 250408 [startup+282.301 s] /proc/loadavg: 2.01 1.91 1.02 3/179 18601 /proc/meminfo: memFree=29300584/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=313532 CPUtime=282.3 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 78309 0 0 0 28040 190 0 0 25 0 1 0 21618142 321056768 77658 4089446400 134512640 135751879 4292904112 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 78383 77658 146 303 0 78078 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 313532 [startup+342.3 s] /proc/loadavg: 2.00 1.92 1.08 3/179 18603 /proc/meminfo: memFree=29237796/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=372924 CPUtime=342.29 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 93154 0 0 0 34003 226 0 0 25 0 1 0 21618142 381874176 92503 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 93231 92503 146 303 0 92926 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 372924 [startup+402.301 s] /proc/loadavg: 2.00 1.94 1.14 3/179 18605 /proc/meminfo: memFree=29169552/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=437064 CPUtime=402.29 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 109103 0 0 0 39970 259 0 0 25 0 1 0 21618142 447553536 108452 4089446400 134512640 135751879 4292904112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 109266 108452 146 303 0 108961 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 437064 [startup+462.301 s] /proc/loadavg: 2.00 1.94 1.19 3/179 18606 /proc/meminfo: memFree=29064708/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=501808 CPUtime=462.31 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 125287 0 0 0 45940 291 0 0 25 0 1 0 21618142 513851392 124636 4089446400 134512640 135751879 4292904112 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 125452 124636 146 303 0 125147 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 501808 [startup+522.3 s] /proc/loadavg: 2.00 1.95 1.24 3/179 18608 /proc/meminfo: memFree=28963740/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=567860 CPUtime=522.3 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 141780 0 0 0 51900 330 0 0 25 0 1 0 21618142 581488640 141129 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 141965 141129 146 303 0 141660 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 567860 [startup+582.301 s] /proc/loadavg: 2.00 1.96 1.28 3/179 18609 /proc/meminfo: memFree=28856180/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=631896 CPUtime=582.31 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 157764 0 0 0 57869 362 0 0 25 0 1 0 21618142 647061504 157113 4089446400 134512640 135751879 4292904112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 157974 157113 146 303 0 157669 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 631896 [startup+642.301 s] /proc/loadavg: 2.00 1.96 1.32 3/179 18611 /proc/meminfo: memFree=28756816/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=693068 CPUtime=642.3 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 173038 0 0 0 63839 391 0 0 25 0 1 0 21618142 709701632 172387 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 173267 172387 146 303 0 172962 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 693068 [startup+702.3 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.00 1.97 1.47 3/179 18617 /proc/meminfo: memFree=28348920/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=927784 CPUtime=882.31 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 231619 0 0 0 87709 522 0 0 25 0 1 0 21618142 950050816 230968 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 231946 230968 146 303 0 231641 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 927784 [startup+942.301 s] /proc/loadavg: 2.00 1.97 1.50 3/179 18619 /proc/meminfo: memFree=28245224/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=990828 CPUtime=942.31 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 247350 0 0 0 93671 560 0 0 25 0 1 0 21618142 1014607872 246699 4089446400 134512640 135751879 4292904112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 247707 246699 146 303 0 247402 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 990828 [startup+1002.3 s] /proc/loadavg: 2.00 1.97 1.53 3/179 18621 /proc/meminfo: memFree=28131096/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1062908 CPUtime=1002.32 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 265348 0 0 0 99624 608 0 0 25 0 1 0 21618142 1088417792 264697 4089446400 134512640 135751879 4292904112 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 265727 264697 146 303 0 265422 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1062908 [startup+1062.3 s] /proc/loadavg: 2.00 1.97 1.55 3/179 18622 /proc/meminfo: memFree=28021428/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1131960 CPUtime=1062.31 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 283226 0 0 0 105589 642 0 0 25 0 1 0 21618142 1159127040 282518 4089446400 134512640 135751879 4292904112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 282990 282518 146 303 0 282685 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1131960 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.58 3/179 18624 /proc/meminfo: memFree=27957636/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1160448 CPUtime=1122.31 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 290308 0 0 0 111557 674 0 0 25 0 1 0 21618142 1188298752 289600 4089446400 134512640 135751879 4292904112 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 290112 289600 146 303 0 289807 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1160448 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.60 3/179 18625 /proc/meminfo: memFree=27845740/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1232696 CPUtime=1182.32 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 308274 0 0 0 117519 713 0 0 25 0 1 0 21618142 1262280704 307566 4089446400 134512640 135751879 4292904112 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 308174 307566 146 303 0 307869 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1232696 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.62 3/179 18627 /proc/meminfo: memFree=27760368/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1282948 CPUtime=1242.32 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 320764 0 0 0 123493 739 0 0 25 0 1 0 21618142 1313738752 320056 4089446400 134512640 135751879 4292904112 18446744073709551615 134606372 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 320737 320056 146 303 0 320432 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1282948 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.64 3/179 18628 /proc/meminfo: memFree=27662980/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1342092 CPUtime=1302.32 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 335535 0 0 0 129463 769 0 0 25 0 1 0 21618142 1374302208 334827 4089446400 134512640 135751879 4292904112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 335523 334827 146 303 0 335218 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1342092 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.66 3/179 18630 /proc/meminfo: memFree=27564708/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1402408 CPUtime=1362.32 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 350582 0 0 0 135428 804 0 0 25 0 1 0 21618142 1436065792 349874 4089446400 134512640 135751879 4292904112 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 350602 349874 146 303 0 350297 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1402408 [startup+1422.3 s] /proc/loadavg: 2.00 1.97 1.68 3/179 18632 /proc/meminfo: memFree=27458384/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1465604 CPUtime=1422.33 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 366377 0 0 0 141392 841 0 0 25 0 1 0 21618142 1500778496 365669 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 366401 365669 146 303 0 366096 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1465604 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.70 3/179 18633 /proc/meminfo: memFree=27357400/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1526944 CPUtime=1482.33 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 381672 0 0 0 147352 881 0 0 25 0 1 0 21618142 1563590656 380964 4089446400 134512640 135751879 4292904112 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 381736 380964 146 303 0 381431 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1526944 [startup+1542.31 s] /proc/loadavg: 2.00 1.97 1.71 3/179 18635 /proc/meminfo: memFree=27273264/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1570864 CPUtime=1542.34 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 392595 0 0 0 153324 910 0 0 25 0 1 0 21618142 1608564736 391887 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 392716 391887 146 303 0 392411 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1570864 [startup+1602.3 s] /proc/loadavg: 1.93 1.95 1.73 3/179 18738 /proc/meminfo: memFree=28333316/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1616492 CPUtime=1602.33 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 403948 0 0 0 159296 937 0 0 25 0 1 0 21618142 1655287808 403240 4089446400 134512640 135751879 4292904112 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 404123 403240 146 303 0 403818 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1616492 [startup+1662.3 s] /proc/loadavg: 1.97 1.96 1.74 3/179 18739 /proc/meminfo: memFree=28195540/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1666980 CPUtime=1662.33 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 416533 0 0 0 165268 965 0 0 25 0 1 0 21618142 1706987520 415825 4089446400 134512640 135751879 4292904112 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 416745 415825 146 303 0 416440 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1666980 [startup+1722.3 s] /proc/loadavg: 1.99 1.97 1.75 3/179 18741 /proc/meminfo: memFree=28057200/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1722540 CPUtime=1722.33 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 430392 0 0 0 171238 995 0 0 25 0 1 0 21618142 1763880960 429684 4089446400 134512640 135751879 4292904112 18446744073709551615 134616518 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 430635 429684 146 303 0 430330 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1722540 [startup+1782.3 s] /proc/loadavg: 1.99 1.97 1.76 3/179 18742 /proc/meminfo: memFree=27920380/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1768744 CPUtime=1782.34 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 441941 0 0 0 177204 1030 0 0 25 0 1 0 21618142 1811193856 441233 4089446400 134512640 135751879 4292904112 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 442186 441233 146 303 0 441881 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1768744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 1.97 1.77 3/179 18743 /proc/meminfo: memFree=27881552/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1783936 CPUtime=1800.04 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 445726 0 0 0 178964 1040 0 0 25 0 1 0 21618142 1826750464 445018 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 445984 445018 146 303 0 445679 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1783936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 1.99 1.97 1.77 3/179 18743 /proc/meminfo: memFree=27881552/32951124 swapFree=67111528/67111528 [pid=18593] ppid=18591 vsize=1783936 CPUtime=1800.04 /proc/18593/stat : 18593 (wbo1.4a) R 18591 18593 18062 0 -1 4202496 445726 0 0 0 178964 1040 0 0 25 0 1 0 21618142 1826750464 445018 4089446400 134512640 135751879 4292904112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/18593/statm: 445984 445018 146 303 0 445679 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1783936 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.06 CPU time (s): 1800.11 CPU user time (s): 1789.64 CPU system time (s): 10.4644 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1783936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.64 system time used= 10.4644 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 445726 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= 10 involuntary context switches= 1723 runsolver used 2.72659 second user time and 5.9091 second system time The end
Begin job on node108 at 2010-07-07 22:20:34 IDJOB=2700124 IDBENCH=79402 IDSOLVER=1200 FILE ID=node108/2700124-1278534034 PBS_JOBID= 11239262 Free space on /tmp= 73476 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh219_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700124-1278534034/watcher-2700124-1278534034 -o /tmp/evaluation-result-2700124-1278534034/solver-2700124-1278534034 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2700124-1278534034.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0a308225f12d2c01751496daa1233c60 RANDOM SEED=1698972095 node108.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 : 2681.499 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 : 5362.99 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 : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 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.69 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 : 2681.499 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 : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29767732 kB Buffers: 133116 kB Cached: 2628968 kB SwapCached: 0 kB Active: 1944420 kB Inactive: 1088960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29767732 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2712 kB Writeback: 0 kB AnonPages: 272004 kB Mapped: 17380 kB Slab: 84288 kB PageTables: 5396 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 418440 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= 73472 MiB End job on node108 at 2010-07-07 22:50:36