Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.1 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb |
MD5SUM | 824c01e4395cf59ee9d4081be7b21301 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 96.7843 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 603 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 669 |
Number of bits of the biggest sum of numbers | 10 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875650-1245171259.opb. 0.00/0.00 c Instance file HOME/instance-1875650-1245171259.opb 0.00/0.00 c File size is 207165 bytes. 0.00/0.03 c Highest Coefficient sum: 669 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 603 | 0.00/0.03 c | Number Clauses: 7 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 1088 | 0.00/0.03 c core #1 0.00/0.03 c Core size: 8 Core Weight: 1 Total Weight: 1 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #2 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: 2 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 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 | 571 1108 26915 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #3 0.00/0.05 c Core size: 14 Core Weight: 1 Total Weight: 3 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.06 c Learning 1 hard constraints 0.00/0.06 c core #4 0.00/0.06 c Core size: 14 Core Weight: 1 Total Weight: 4 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 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 | 592 1120 26948 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #5 0.00/0.07 c Core size: 46 Core Weight: 1 Total Weight: 5 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.00/0.08 c Learning 4 hard constraints 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 | 601 1129 27032 | 5000 0 nan | 0.000 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c core #6 0.08/0.09 c Core size: 57 Core Weight: 3 Total Weight: 8 0.08/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.09/0.10 c Learning 24 hard constraints 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 | 614 1157 27722 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #7 0.09/0.11 c Core size: 71 Core Weight: 1 Total Weight: 9 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.12 c Learning 13 hard constraints 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 | 624 1174 28081 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #8 0.09/0.13 c Core size: 74 Core Weight: 1 Total Weight: 10 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.14 c Learning 18 hard constraints 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 | 637 1196 28485 | 5000 0 nan | 0.000 % | 0.09/0.19 c | 102 | 635 1196 28485 | 5500 102 30 | 4.971 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #9 0.19/0.24 c Core size: 159 Core Weight: 6 Total Weight: 16 0.19/0.24 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.25 c Learning 195 hard constraints 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 | 649 1394 34205 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #10 0.19/0.27 c Core size: 96 Core Weight: 1 Total Weight: 17 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.28 c Learning 51 hard constraints 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 | 660 1448 35572 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 100 | 659 1448 35572 | 5500 100 24 | 2.807 % | 0.29/0.36 c | 252 | 659 1448 35572 | 6050 252 28 | 2.803 % | 0.39/0.44 c | 478 | 659 1448 35572 | 6655 478 29 | 2.805 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #11 0.39/0.48 c Core size: 171 Core Weight: 1 Total Weight: 18 0.39/0.48 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.49 c Learning 381 hard constraints 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 | 676 1834 47073 | 5000 0 nan | 0.000 % | 0.49/0.53 c | 101 | 676 1834 47073 | 5500 101 32 | 2.596 % | 0.49/0.58 c | 253 | 675 1834 47073 | 6050 253 32 | 2.738 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #12 0.59/0.65 c Core size: 238 Core Weight: 2 Total Weight: 20 0.59/0.65 c Elapsed CPU time: 0.637903 s Remaining CPU time: 1799.36 s 0.59/0.66 c Learning 422 hard constraints 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 | 680 2259 60724 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #13 0.59/0.67 c Core size: 54 Core Weight: 1 Total Weight: 21 0.59/0.67 c Elapsed CPU time: 0.6539 s Remaining CPU time: 1799.35 s 0.59/0.68 c Learning 1 hard constraints 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 697 2263 60764 | 5000 0 nan | 0.000 % | 0.59/0.69 c | 100 | 697 2263 60764 | 5500 100 18 | 3.060 % | 0.59/0.70 c =============================================================================== 0.59/0.70 c core #14 0.59/0.70 c Core size: 82 Core Weight: 1 Total Weight: 22 0.59/0.70 c Elapsed CPU time: 0.683896 s Remaining CPU time: 1799.32 s 0.69/0.71 c Learning 7 hard constraints 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 | 719 2273 60983 | 5000 0 nan | 0.000 % | 0.69/0.72 c | 100 | 719 2273 60983 | 5500 100 27 | 2.969 % | 0.69/0.74 c | 252 | 718 2273 60983 | 6050 252 24 | 3.105 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #15 0.69/0.75 c Core size: 98 Core Weight: 1 Total Weight: 23 0.69/0.75 c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s 0.69/0.76 c Learning 18 hard constraints 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 | 738 2294 61441 | 5000 0 nan | 0.000 % | 0.69/0.77 c | 102 | 738 2294 61441 | 5500 102 23 | 3.023 % | 0.69/0.77 c | 252 | 738 2294 61441 | 6050 252 25 | 3.023 % | 0.69/0.78 c | 477 | 738 2294 61441 | 6655 477 26 | 3.023 % | 0.79/0.81 c | 814 | 738 2294 61441 | 7320 814 26 | 3.023 % | 0.79/0.85 c | 1322 | 738 2294 61441 | 8052 1322 25 | 3.023 % | 0.89/0.93 c | 2081 | 737 2294 61441 | 8857 2080 24 | 3.154 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #16 0.89/0.95 c Core size: 47 Core Weight: 1 Total Weight: 24 0.89/0.95 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 754 2297 61471 | 5000 0 nan | 0.000 % | 0.89/0.97 c | 102 | 754 2297 61471 | 5500 102 30 | 2.960 % | 1.00/1.07 c | 253 | 754 2297 61471 | 6050 253 30 | 2.960 % | 1.10/1.14 c | 478 | 754 2297 61471 | 6655 478 31 | 2.961 % | 1.19/1.26 c | 816 | 754 2297 61471 | 7320 816 32 | 2.963 % | 1.39/1.45 c | 1324 | 754 2297 61471 | 8052 1324 33 | 2.960 % | 1.69/1.79 c | 2086 | 754 2297 61471 | 8857 2086 34 | 2.962 % | 2.19/2.21 c | 3225 | 754 2297 61471 | 9743 3225 35 | 2.960 % | 2.89/2.95 c | 4933 | 754 2297 61471 | 10717 4933 35 | 2.963 % | 3.99/4.08 c | 7496 | 753 2297 61471 | 11789 4915 35 | 3.092 % | 5.59/5.67 c =============================================================================== 5.69/5.74 c core #17 5.69/5.74 c Core size: 438 Core Weight: 8 Total Weight: 32 5.69/5.74 c Elapsed CPU time: 5.69113 s Remaining CPU time: 1794.31 s 5.69/5.76 c Learning 1861 hard constraints 5.69/5.76 c ============================[ Search Statistics ]============================== 5.69/5.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.76 c =============================================================================== 5.69/5.76 c | 0 | 770 4160 125971 | 5000 0 nan | 0.000 % | 5.69/5.78 c | 100 | 770 4160 125971 | 5500 100 32 | 1.155 % | 5.78/5.85 c | 251 | 770 4160 125971 | 6050 251 32 | 1.155 % | 5.88/5.95 c | 477 | 762 4160 125971 | 6655 477 35 | 2.182 % | 5.98/6.06 c | 815 | 762 4160 125971 | 7320 815 34 | 2.183 % | 6.19/6.28 c | 1322 | 762 4160 125971 | 8052 1322 34 | 2.183 % | 6.49/6.58 c | 2081 | 762 4160 125971 | 8857 2081 33 | 2.184 % | 7.09/7.18 c | 3220 | 760 4160 125971 | 9743 3219 33 | 2.439 % | 7.89/7.96 c | 4928 | 757 4160 125971 | 10717 4927 34 | 3.468 % | 9.09/9.18 c | 7491 | 750 4160 125971 | 11789 6438 35 | 3.723 % | 9.79/9.85 c =============================================================================== 9.89/9.90 c core #18 9.89/9.90 c Core size: 886 Core Weight: 1 Total Weight: 33 9.89/9.90 c Elapsed CPU time: 9.8385 s Remaining CPU time: 1790.16 s 9.89/9.94 c Learning 1228 hard constraints 9.89/9.94 c ============================[ Search Statistics ]============================== 9.89/9.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.89/9.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.89/9.94 c =============================================================================== 9.89/9.94 c | 0 | 797 5392 162411 | 5000 0 nan | 0.000 % | 9.89/9.95 c | 100 | 797 5392 162411 | 5500 100 34 | 1.117 % | 9.99/10.06 c | 250 | 797 5392 162411 | 6050 250 32 | 1.117 % | 10.09/10.15 c | 477 | 797 5392 162411 | 6655 477 31 | 1.117 % | 10.18/10.29 c | 814 | 797 5392 162411 | 7320 814 32 | 1.117 % | 10.38/10.45 c | 1321 | 797 5392 162411 | 8052 1321 32 | 1.118 % | 10.69/10.80 c | 2082 | 797 5392 162411 | 8857 2082 34 | 1.117 % | 11.19/11.23 c | 3222 | 792 5392 162411 | 9743 3222 35 | 1.737 % | 12.09/12.16 c | 4931 | 792 5392 162411 | 10717 4868 36 | 1.738 % | 13.39/13.44 c | 7493 | 792 5392 162411 | 11789 7430 36 | 1.737 % | 15.39/15.44 c | 11341 | 791 5392 162411 | 12968 8793 35 | 1.868 % | 18.29/18.39 c | 17107 | 791 5392 162411 | 14265 7932 34 | 1.861 % | 23.58/23.66 c | 25756 | 790 5392 162411 | 15692 9320 35 | 1.986 % | 31.59/31.60 c | 38731 | 767 5392 162411 | 17261 10262 34 | 5.087 % | 37.77/37.83 c =============================================================================== 38.18/38.21 c core #19 38.18/38.21 c Core size: 1414 Core Weight: 1 Total Weight: 34 38.18/38.21 c Elapsed CPU time: 38.0192 s Remaining CPU time: 1761.98 s 38.28/38.30 c Learning 1869 hard constraints 38.28/38.30 c ============================[ Search Statistics ]============================== 38.28/38.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.28/38.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.28/38.30 c =============================================================================== 38.28/38.30 c | 0 | 823 7269 217959 | 5000 0 nan | 0.000 % | 38.28/38.31 c | 100 | 823 7269 217959 | 5500 100 34 | 1.082 % | 38.38/38.43 c | 253 | 823 7269 217959 | 6050 253 29 | 1.082 % | 38.48/38.53 c | 478 | 823 7269 217959 | 6655 478 31 | 1.084 % | 38.58/38.68 c | 815 | 823 7269 217959 | 7320 815 32 | 1.083 % | 38.78/38.89 c | 1321 | 823 7269 217959 | 8052 1321 33 | 1.083 % | 39.28/39.32 c | 2082 | 823 7269 217959 | 8857 2082 34 | 1.083 % | 39.87/39.94 c | 3222 | 823 7269 217959 | 9743 3222 35 | 1.082 % | 40.98/41.00 c | 4930 | 823 7269 217959 | 10717 4930 36 | 1.082 % | 42.48/42.56 c | 7492 | 823 7269 217959 | 11789 7492 36 | 1.082 % | 44.98/45.06 c | 11337 | 823 7269 217959 | 12968 11337 35 | 1.082 % | 48.38/48.43 c | 17104 | 816 7269 217959 | 14265 8639 34 | 1.924 % | 54.57/54.66 c | 25754 | 816 7269 217959 | 15692 10032 35 | 1.924 % | 64.97/65.01 c | 38728 | 816 7269 217959 | 17261 15109 36 | 1.924 % | 80.27/80.33 c | 58189 | 816 7269 217959 | 18987 17114 38 | 1.923 % | 87.46/87.53 c =============================================================================== 88.07/88.15 c core #20 88.07/88.15 c Core size: 2273 Core Weight: 1 Total Weight: 35 88.07/88.15 c Elapsed CPU time: 87.7687 s Remaining CPU time: 1712.23 s 88.27/88.30 c Learning 6756 hard constraints 88.27/88.30 c ============================[ Search Statistics ]============================== 88.27/88.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.27/88.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.27/88.30 c =============================================================================== 88.27/88.30 c | 0 | 829 14030 442027 | 5000 0 nan | 0.000 % | 88.27/88.32 c | 100 | 829 14030 442027 | 5500 100 34 | 1.074 % | 88.47/88.51 c | 251 | 829 14030 442027 | 6050 251 29 | 1.074 % | 88.56/88.61 c | 477 | 829 14030 442027 | 6655 477 30 | 1.075 % | 88.76/88.87 c | 814 | 829 14030 442027 | 7320 814 31 | 1.074 % | 89.07/89.13 c | 1322 | 829 14030 442027 | 8052 1322 32 | 1.075 % | 89.56/89.68 c | 2082 | 829 14030 442027 | 8857 2082 34 | 1.074 % | 90.47/90.59 c | 3221 | 829 14030 442027 | 9743 3221 36 | 1.075 % | 91.77/91.85 c | 4931 | 829 14030 442027 | 10717 4931 37 | 1.074 % | 93.27/93.37 c | 7494 | 829 14030 442027 | 11789 7494 36 | 1.074 % | 96.46/96.51 c | 11338 | 829 14030 442027 | 12968 11338 37 | 1.075 % | 101.56/101.61 c | 17104 | 829 14030 442027 | 14265 10593 38 | 1.074 % | 107.86/107.96 c | 25753 | 815 14030 442027 | 15692 5840 36 | 2.745 % | 119.05/119.15 c | 38730 | 815 14030 442027 | 17261 10873 40 | 2.745 % | 136.55/136.61 c | 58191 | 793 14030 442027 | 18987 3774 33 | 5.370 % | 151.05/151.13 c =============================================================================== 151.65/151.74 c core #21 151.65/151.74 c Core size: 5314 Core Weight: 1 Total Weight: 36 151.65/151.74 c Elapsed CPU time: 151.155 s Remaining CPU time: 1648.84 s 151.85/151.95 c Learning 10023 hard constraints 151.85/151.95 c ============================[ Search Statistics ]============================== 151.85/151.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 151.85/151.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 151.85/151.95 c =============================================================================== 151.85/151.95 c | 0 | 857 24057 793071 | 8019 0 nan | 0.000 % | 151.85/151.98 c | 100 | 857 24057 793071 | 8820 100 37 | 1.039 % | 152.15/152.23 c | 251 | 857 24057 793071 | 9702 251 30 | 1.039 % | 152.35/152.46 c | 477 | 857 24057 793071 | 10673 477 32 | 1.041 % | 152.65/152.79 c | 815 | 857 24057 793071 | 11740 815 34 | 1.039 % | 153.15/153.23 c | 1321 | 857 24057 793071 | 12914 1321 36 | 1.040 % | 153.55/153.65 c | 2080 | 857 24057 793071 | 14206 2080 35 | 1.040 % | 154.44/154.59 c | 3219 | 857 24057 793071 | 15626 3219 35 | 1.039 % | 155.45/155.58 c | 4928 | 857 24057 793071 | 17189 4928 34 | 1.040 % | 157.95/158.00 c | 7490 | 857 24057 793071 | 18908 7490 35 | 1.043 % | 161.65/161.70 c | 11334 | 857 24057 793071 | 20799 11334 36 | 1.040 % | 168.94/169.04 c | 17100 | 857 24057 793071 | 22879 17100 37 | 1.039 % | 179.94/180.02 c | 25750 | 857 24057 793071 | 25167 14239 39 | 1.039 % | 195.34/195.46 c | 38724 | 849 24057 793071 | 27683 12388 35 | 1.963 % | 209.63/209.75 c =============================================================================== 210.13/210.24 c core #22 210.13/210.24 c Core size: 6291 Core Weight: 1 Total Weight: 37 210.13/210.24 c Elapsed CPU time: 209.5 s Remaining CPU time: 1590.5 s 210.33/210.45 c Learning 3151 hard constraints 210.33/210.45 c ============================[ Search Statistics ]============================== 210.33/210.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.33/210.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.33/210.45 c =============================================================================== 210.33/210.45 c | 0 | 892 27212 899596 | 9070 0 nan | 0.000 % | 210.33/210.48 c | 101 | 892 27212 899596 | 9977 101 40 | 0.999 % | 210.63/210.70 c | 252 | 892 27212 899596 | 10975 252 34 | 0.999 % | 210.73/210.86 c | 477 | 892 27212 899596 | 12073 477 33 | 1.000 % | 211.13/211.29 c | 814 | 892 27212 899596 | 13280 814 35 | 0.999 % | 211.63/211.76 c | 1320 | 892 27212 899596 | 14608 1320 35 | 0.999 % | 212.24/212.37 c | 2080 | 892 27212 899596 | 16069 2080 35 | 1.000 % | 213.53/213.64 c | 3219 | 892 27212 899596 | 17676 3219 36 | 0.999 % | 214.43/214.56 c | 4927 | 892 27212 899596 | 19443 4927 36 | 1.000 % | 217.64/217.80 c | 7490 | 892 27212 899596 | 21388 7490 37 | 0.999 % | 221.83/221.94 c | 11335 | 892 27212 899596 | 23526 11335 38 | 0.999 % | 228.03/228.15 c | 17101 | 892 27212 899596 | 25879 17101 38 | 1.000 % | 233.73/233.83 c | 25750 | 892 27212 899596 | 28467 25750 38 | 0.999 % | 245.62/245.73 c | 38725 | 884 27212 899596 | 31314 18401 38 | 1.887 % | 273.31/273.42 c | 58187 | 875 27212 899596 | 34445 17890 38 | 3.000 % | 282.01/282.19 c =============================================================================== 282.62/282.75 c core #23 282.62/282.75 c Core size: 9409 Core Weight: 1 Total Weight: 38 282.62/282.75 c Elapsed CPU time: 281.828 s Remaining CPU time: 1518.17 s 282.91/283.01 c Learning 8969 hard constraints 282.91/283.01 c ============================[ Search Statistics ]============================== 282.91/283.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 282.91/283.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 282.91/283.01 c =============================================================================== 282.91/283.01 c | 0 | 918 36183 1212354 | 12061 0 nan | 0.000 % | 282.91/283.06 c | 100 | 918 36183 1212354 | 13267 100 38 | 0.971 % | 283.32/283.44 c | 250 | 918 36183 1212354 | 14593 250 35 | 0.971 % | 283.52/283.64 c | 476 | 918 36183 1212354 | 16053 476 34 | 0.972 % | 283.92/284.05 c | 815 | 918 36183 1212354 | 17658 815 36 | 0.971 % | 284.42/284.55 c | 1323 | 918 36183 1212354 | 19424 1323 35 | 0.972 % | 285.31/285.40 c | 2083 | 918 36183 1212354 | 21366 2083 37 | 0.971 % | 286.11/286.28 c | 3222 | 918 36183 1212354 | 23503 3222 36 | 0.971 % | 288.02/288.12 c | 4930 | 918 36183 1212354 | 25853 4930 37 | 0.971 % | 290.81/290.96 c | 7492 | 918 36183 1212354 | 28439 7492 37 | 0.972 % | 295.71/295.89 c | 11336 | 918 36183 1212354 | 31283 11336 37 | 0.971 % | 305.51/305.61 c | 17103 | 918 36183 1212354 | 34411 17103 38 | 0.971 % | 318.40/318.53 c | 25752 | 918 36183 1212354 | 37852 25752 38 | 0.971 % | 338.90/339.00 c | 38726 | 914 36183 1212354 | 41637 11785 37 | 1.402 % | 350.00/350.18 c | 58188 | 914 36183 1212354 | 45801 31247 48 | 1.402 % | 393.89/394.05 c | 87380 | 913 36183 1212354 | 50381 15116 44 | 1.513 % | 429.98/430.19 c =============================================================================== 431.47/431.66 c core #24 431.47/431.66 c Core size: 12909 Core Weight: 1 Total Weight: 39 431.47/431.66 c Elapsed CPU time: 430.324 s Remaining CPU time: 1369.68 s 431.77/431.99 c ============================[ Search Statistics ]============================== 431.77/431.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 431.77/431.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 431.77/431.99 c =============================================================================== 431.77/431.99 c | 0 | 953 36185 1212423 | 12061 0 nan | 0.000 % | 431.87/432.04 c | 100 | 953 36185 1212423 | 13267 100 47 | 0.936 % | 432.17/432.38 c | 251 | 953 36185 1212423 | 14594 251 38 | 0.936 % | 432.47/432.64 c | 476 | 953 36185 1212423 | 16054 476 36 | 0.936 % | 432.77/432.98 c | 815 | 953 36185 1212423 | 17659 815 35 | 0.936 % | 433.18/433.30 c | 1321 | 953 36185 1212423 | 19425 1321 34 | 0.936 % | 433.87/434.01 c | 2080 | 953 36185 1212423 | 21367 2080 35 | 0.936 % | 435.07/435.27 c | 3219 | 953 36185 1212423 | 23504 3219 37 | 0.936 % | 436.36/436.52 c | 4927 | 953 36185 1212423 | 25855 4927 36 | 0.936 % | 439.57/439.75 c | 7489 | 953 36185 1212423 | 28440 7489 37 | 0.936 % | 443.07/443.21 c | 11333 | 953 36185 1212423 | 31284 11333 37 | 0.936 % | 450.46/450.63 c | 17099 | 953 36185 1212423 | 34413 17099 37 | 0.936 % | 462.86/463.08 c | 25749 | 953 36185 1212423 | 37854 25749 38 | 0.936 % | 483.96/484.17 c | 38723 | 953 36185 1212423 | 41640 12105 37 | 0.936 % | 498.15/498.39 c | 58186 | 949 36185 1212423 | 45804 30701 46 | 1.351 % | 554.24/554.45 c | 87378 | 948 36185 1212423 | 50384 12975 37 | 1.455 % | 632.01/632.25 c | 131168 | 947 36185 1212423 | 55423 13092 34 | 1.560 % | 689.70/689.97 c | 196852 | 947 36185 1212423 | 60965 35831 75 | 1.560 % | 828.86/829.10 c | 295380 | 947 36185 1212423 | 67061 40744 67 | 1.559 % | 1036.11/1036.45 c | 443169 | 947 36185 1212423 | 73768 29717 72 | 1.559 % | 1525.48/1525.97 c | 664856 | 947 36185 1212423 | 81144 17426 65 | 1.559 % |
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-1875650-1245171259/watcher-1875650-1245171259 -o /tmp/evaluation-result-1875650-1245171259/solver-1875650-1245171259 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875650-1245171259.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10846 /proc/meminfo: memFree=1827192/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=2728 CPUtime=0 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 195 0 0 0 0 0 0 0 18 0 1 0 184722015 2793472 179 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 682 179 126 292 0 336 0 [startup+0.0938421 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10846 /proc/meminfo: memFree=1827192/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=6360 CPUtime=0.08 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 1219 0 0 0 8 0 0 0 18 0 1 0 184722015 6512640 1152 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 1590 1152 135 292 0 1295 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6360 [startup+0.101841 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10846 /proc/meminfo: memFree=1827192/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=6624 CPUtime=0.09 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 1300 0 0 0 9 0 0 0 18 0 1 0 184722015 6782976 1233 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 1656 1235 135 292 0 1361 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6624 [startup+0.301861 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10846 /proc/meminfo: memFree=1827192/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=9132 CPUtime=0.29 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 1917 0 0 0 28 1 0 0 19 0 1 0 184722015 9351168 1850 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 2283 1850 136 292 0 1988 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9132 [startup+0.701895 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10846 /proc/meminfo: memFree=1827192/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=11112 CPUtime=0.69 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 2400 0 0 0 68 1 0 0 22 0 1 0 184722015 11378688 2333 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 2778 2333 136 292 0 2483 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11112 [startup+1.50297 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1816048/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=13356 CPUtime=1.49 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 2986 0 0 0 147 2 0 0 25 0 1 0 184722015 13676544 2919 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 3339 2919 136 292 0 3044 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13356 [startup+3.10111 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1815920/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=13752 CPUtime=3.09 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 3060 0 0 0 306 3 0 0 25 0 1 0 184722015 14082048 2993 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 3438 2993 136 292 0 3143 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13752 [startup+6.30139 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1814000/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=17056 CPUtime=6.29 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 3911 0 0 0 624 5 0 0 25 0 1 0 184722015 17465344 3844 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 4264 3844 136 292 0 3969 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17056 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1810032/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=19040 CPUtime=12.69 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 4394 0 0 0 1262 7 0 0 25 0 1 0 184722015 19496960 4327 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 4760 4327 136 292 0 4465 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19040 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1804592/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=24592 CPUtime=25.48 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 5791 0 0 0 2536 12 0 0 25 0 1 0 184722015 25182208 5724 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 6148 5724 136 292 0 5853 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24592 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1796016/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=33056 CPUtime=51.07 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 7906 0 0 0 5085 22 0 0 25 0 1 0 184722015 33849344 7839 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 8264 7839 136 292 0 7969 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33056 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1779952/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=49136 CPUtime=102.26 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 11893 0 0 0 10186 40 0 0 25 0 1 0 184722015 50315264 11826 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 12284 11826 136 292 0 11989 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49136 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1764336/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=64620 CPUtime=162.24 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 15788 0 0 0 16167 57 0 0 25 0 1 0 184722015 66170880 15721 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 16155 15721 136 292 0 15860 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 64620 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1757296/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=71620 CPUtime=222.23 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 17519 0 0 0 22152 71 0 0 25 0 1 0 184722015 73338880 17452 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 17905 17452 136 292 0 17610 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 71620 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1749872/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=79972 CPUtime=282.21 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 19606 0 0 0 28137 84 0 0 25 0 1 0 184722015 81891328 19539 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 19993 19540 136 292 0 19698 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 79972 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1740912/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=87928 CPUtime=342.2 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 21587 0 0 0 34124 96 0 0 25 0 1 0 184722015 90038272 21520 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 21982 21520 136 292 0 21687 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 87928 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10847 /proc/meminfo: memFree=1721328/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=108104 CPUtime=402.18 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 26580 0 0 0 40105 113 0 0 25 0 1 0 184722015 110698496 26513 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 0 0 0 /proc/10846/statm: 27026 26513 136 292 0 26731 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 108104 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1700528/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=128344 CPUtime=462.16 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 31713 0 0 0 46088 128 0 0 25 0 1 0 184722015 131424256 31560 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 32086 31560 136 292 0 31791 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 128344 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1700528/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=128344 CPUtime=522.14 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 31715 0 0 0 52078 136 0 0 25 0 1 0 184722015 131424256 31562 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 32086 31562 136 292 0 31791 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 128344 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1699440/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=129268 CPUtime=582.13 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 31998 0 0 0 58067 146 0 0 25 0 1 0 184722015 132370432 31845 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 32317 31845 136 292 0 32022 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 129268 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1686448/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=142268 CPUtime=642.12 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 35228 0 0 0 64052 160 0 0 25 0 1 0 184722015 145682432 35075 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 35567 35075 136 292 0 35272 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 142268 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.05 1.01 1.00 2/65 10853 /proc/meminfo: memFree=1602800/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=226136 CPUtime=882.05 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 56036 0 0 0 87982 223 0 0 25 0 1 0 184722015 231563264 55883 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 56534 55883 136 292 0 56239 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 226136 [startup+942.302 s] /proc/loadavg: 1.07 1.02 1.00 2/65 10853 /proc/meminfo: memFree=1579824/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=249216 CPUtime=942.04 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 61785 0 0 0 93964 240 0 0 25 0 1 0 184722015 255197184 61632 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 62304 61632 136 292 0 62009 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 249216 [startup+1002.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 10853 /proc/meminfo: memFree=1557872/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=271024 CPUtime=1002.01 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 67236 0 0 0 99944 257 0 0 25 0 1 0 184722015 277528576 67083 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 67756 67083 136 292 0 67461 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 271024 [startup+1062.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 10853 /proc/meminfo: memFree=1536944/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=292064 CPUtime=1062 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 72472 0 0 0 105928 272 0 0 25 0 1 0 184722015 299073536 72319 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 73016 72319 136 292 0 72721 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 292064 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 10853 /proc/meminfo: memFree=1525168/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=303676 CPUtime=1121.99 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 75364 0 0 0 111916 283 0 0 25 0 1 0 184722015 310964224 75211 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 75919 75211 136 292 0 75624 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 303676 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10853 /proc/meminfo: memFree=1510000/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=319328 CPUtime=1181.97 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 79244 0 0 0 117904 293 0 0 25 0 1 0 184722015 326991872 79091 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 79832 79091 136 292 0 79537 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 319328 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10853 /proc/meminfo: memFree=1496496/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=332292 CPUtime=1241.95 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 82497 0 0 0 123892 303 0 0 25 0 1 0 184722015 340267008 82344 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 83073 82344 136 292 0 82778 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 332292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1481136/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=347600 CPUtime=1301.94 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 86305 0 0 0 129879 315 0 0 25 0 1 0 184722015 355942400 86152 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 86900 86152 136 292 0 86605 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 347600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1468528/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=360228 CPUtime=1361.93 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 89452 0 0 0 135865 328 0 0 25 0 1 0 184722015 368873472 89299 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 90057 89299 136 292 0 89762 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 360228 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1454320/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=374524 CPUtime=1421.91 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 92986 0 0 0 141854 337 0 0 25 0 1 0 184722015 383512576 92833 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 93631 92833 136 292 0 93336 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 374524 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1442288/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=386760 CPUtime=1481.89 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 96016 0 0 0 147841 348 0 0 25 0 1 0 184722015 396042240 95863 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 96690 95863 136 292 0 96395 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 386760 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1428208/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=400808 CPUtime=1541.87 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 99521 0 0 0 153828 359 0 0 25 0 1 0 184722015 410427392 99368 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 100202 99368 136 292 0 99907 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 400808 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1411824/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=417136 CPUtime=1601.86 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 103607 0 0 0 159811 375 0 0 25 0 1 0 184722015 427147264 103454 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 104284 103454 136 292 0 103989 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 417136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1398320/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=430384 CPUtime=1661.84 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 106931 0 0 0 165798 386 0 0 25 0 1 0 184722015 440713216 106778 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 107596 106778 136 292 0 107301 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 430384 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1384944/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=443796 CPUtime=1721.82 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 110276 0 0 0 171786 396 0 0 25 0 1 0 184722015 454447104 110123 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 110949 110123 136 292 0 110654 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 443796 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1373296/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=455712 CPUtime=1781.81 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 113247 0 0 0 177774 407 0 0 25 0 1 0 184722015 466649088 113094 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 113928 113094 136 292 0 113633 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 455712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1365232/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=463388 CPUtime=1800.01 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 115162 0 0 0 179588 413 0 0 25 0 1 0 184722015 474509312 115009 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 115847 115009 136 292 0 115552 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 463388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10853 /proc/meminfo: memFree=1365232/2055920 swapFree=4182220/4192956 [pid=10846] ppid=10844 vsize=463388 CPUtime=1800.01 /proc/10846/stat : 10846 (wbo) R 10844 10846 10541 0 -1 4194304 115162 0 0 0 179588 413 0 0 25 0 1 0 184722015 474509312 115009 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10846/statm: 115847 115009 136 292 0 115552 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 463388 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.1 CPU user time (s): 1795.89 CPU system time (s): 4.21136 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 463388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.89 system time used= 4.21136 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 115162 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= 2 involuntary context switches= 2077 runsolver used 1.3058 second user time and 3.88041 second system time The end
Begin job on node50 at 2009-06-16 18:54:19 IDJOB=1875650 IDBENCH=2641 IDSOLVER=698 FILE ID=node50/1875650-1245171259 PBS_JOBID= 9363874 Free space on /tmp= 66424 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875650-1245171259/watcher-1875650-1245171259 -o /tmp/evaluation-result-1875650-1245171259/solver-1875650-1245171259 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875650-1245171259.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 824c01e4395cf59ee9d4081be7b21301 RANDOM SEED=1792796523 node50.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.211 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.211 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1827672 kB Buffers: 11448 kB Cached: 139964 kB SwapCached: 4580 kB Active: 40696 kB Inactive: 118124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827672 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 2588 kB Writeback: 0 kB Mapped: 13428 kB Slab: 55348 kB Committed_AS: 106840 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875650-1245171259.opb Free space on /tmp at the end= 66424 MiB End job on node50 at 2009-06-16 19:24:22