Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.1 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_15.opb |
MD5SUM | b4a219bc21641bf0d46eae2692004ebe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 202 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 176 |
Optimality of the best value was proved | NO |
Number of variables | 4320 |
Total number of constraints | 8414 |
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 | 8414 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1469 |
Number of bits of the biggest sum of numbers | 11 |
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-1875651-1245170579.opb. 0.00/0.00 c Instance file HOME/instance-1875651-1245170579.opb 0.00/0.00 c File size is 2048187 bytes. 0.29/0.32 c Highest Coefficient sum: 1469 0.29/0.32 c ============================[ Problem Statistics ]============================= 0.29/0.32 c | | 0.29/0.32 c | Parsing time: 0.32 s | 0.29/0.32 c | Number Variables: 4320 | 0.29/0.32 c | Number Clauses: 8 | 0.29/0.32 c | Number Cardinality: 0 | 0.29/0.32 c | Number PB Constraints: 8414 | 0.29/0.32 c core #1 0.29/0.32 c Core size: 9 Core Weight: 1 Total Weight: 1 0.29/0.32 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s 0.39/0.40 c core #2 0.39/0.40 c Core size: 11 Core Weight: 1 Total Weight: 2 0.39/0.40 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 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 | 4245 8437 252245 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #3 0.49/0.50 c Core size: 15 Core Weight: 1 Total Weight: 3 0.49/0.50 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 0.59/0.60 c Learning 1 hard constraints 0.59/0.60 c core #4 0.59/0.60 c Core size: 15 Core Weight: 1 Total Weight: 4 0.59/0.60 c Elapsed CPU time: 0.569913 s Remaining CPU time: 1799.43 s 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 4274 8451 252282 | 5000 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #5 0.69/0.71 c Core size: 59 Core Weight: 1 Total Weight: 5 0.69/0.71 c Elapsed CPU time: 0.680896 s Remaining CPU time: 1799.32 s 0.79/0.81 c Learning 4 hard constraints 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 4284 8461 252379 | 5000 0 nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #6 0.89/0.97 c Core size: 70 Core Weight: 3 Total Weight: 8 0.89/0.97 c Elapsed CPU time: 0.931858 s Remaining CPU time: 1799.07 s 1.00/1.06 c Learning 25 hard constraints 1.00/1.06 c ============================[ Search Statistics ]============================== 1.00/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.06 c =============================================================================== 1.00/1.06 c | 0 | 4304 8491 253578 | 5000 0 nan | 0.000 % | 1.09/1.19 c =============================================================================== 1.09/1.19 c core #7 1.09/1.19 c Core size: 76 Core Weight: 1 Total Weight: 9 1.09/1.19 c Elapsed CPU time: 1.14482 s Remaining CPU time: 1798.86 s 1.19/1.28 c Learning 12 hard constraints 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 4315 8508 254202 | 5000 0 nan | 0.000 % | 1.39/1.50 c =============================================================================== 1.39/1.50 c core #8 1.39/1.50 c Core size: 94 Core Weight: 1 Total Weight: 10 1.39/1.50 c Elapsed CPU time: 1.44678 s Remaining CPU time: 1798.55 s 1.49/1.59 c Learning 22 hard constraints 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 4329 8535 255139 | 5000 0 nan | 0.000 % | 2.30/2.31 c | 101 | 4329 8535 255139 | 5500 101 50 | 1.367 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c core #9 3.09/3.11 c Core size: 160 Core Weight: 6 Total Weight: 16 3.09/3.11 c Elapsed CPU time: 3.05253 s Remaining CPU time: 1796.95 s 3.19/3.20 c Learning 234 hard constraints 3.19/3.20 c ============================[ Search Statistics ]============================== 3.19/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.20 c =============================================================================== 3.19/3.20 c | 0 | 4348 8773 265538 | 5000 0 nan | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c core #10 3.49/3.53 c Core size: 125 Core Weight: 1 Total Weight: 17 3.49/3.53 c Elapsed CPU time: 3.46047 s Remaining CPU time: 1796.54 s 3.58/3.62 c Learning 46 hard constraints 3.58/3.62 c ============================[ Search Statistics ]============================== 3.58/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.58/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.58/3.62 c =============================================================================== 3.58/3.62 c | 0 | 4361 8825 267224 | 5000 0 nan | 0.000 % | 4.08/4.17 c | 100 | 4360 8825 267224 | 5500 100 42 | 1.044 % | 5.19/5.21 c | 250 | 4360 8825 267224 | 6050 250 43 | 1.045 % | 5.99/6.08 c | 475 | 4360 8825 267224 | 6655 475 42 | 1.050 % | 7.69/7.75 c | 812 | 4359 8825 267224 | 7320 545 42 | 1.067 % | 8.69/8.73 c =============================================================================== 8.69/8.73 c core #11 8.69/8.73 c Core size: 324 Core Weight: 1 Total Weight: 18 8.69/8.73 c Elapsed CPU time: 8.65068 s Remaining CPU time: 1791.35 s 8.79/8.83 c Learning 741 hard constraints 8.79/8.83 c ============================[ Search Statistics ]============================== 8.79/8.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.83 c =============================================================================== 8.79/8.83 c | 0 | 4378 9572 297517 | 5000 0 nan | 0.000 % | 9.28/9.35 c | 102 | 4378 9572 297517 | 5500 102 52 | 1.017 % | 9.98/10.02 c | 254 | 4378 9572 297517 | 6050 254 49 | 1.017 % | 11.18/11.22 c | 480 | 4378 9572 297517 | 6655 480 49 | 1.017 % | 12.38/12.43 c =============================================================================== 12.38/12.44 c core #12 12.38/12.44 c Core size: 398 Core Weight: 1 Total Weight: 19 12.38/12.44 c Elapsed CPU time: 12.3461 s Remaining CPU time: 1787.65 s 12.49/12.53 c Learning 725 hard constraints 12.49/12.53 c ============================[ Search Statistics ]============================== 12.49/12.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.53 c =============================================================================== 12.49/12.53 c | 0 | 4383 10301 333051 | 5000 0 nan | 0.000 % | 12.49/12.58 c =============================================================================== 12.49/12.58 c core #13 12.49/12.58 c Core size: 83 Core Weight: 1 Total Weight: 20 12.49/12.58 c Elapsed CPU time: 12.4871 s Remaining CPU time: 1787.51 s 12.59/12.69 c Learning 1 hard constraints 12.59/12.69 c ============================[ Search Statistics ]============================== 12.59/12.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.69 c =============================================================================== 12.59/12.69 c | 0 | 4408 10306 333145 | 5000 0 nan | 0.000 % | 12.68/12.70 c | 101 | 4408 10306 333145 | 5500 101 18 | 1.011 % | 12.68/12.74 c =============================================================================== 12.68/12.74 c core #14 12.68/12.74 c Core size: 71 Core Weight: 1 Total Weight: 21 12.68/12.74 c Elapsed CPU time: 12.6351 s Remaining CPU time: 1787.36 s 12.79/12.83 c Learning 3 hard constraints 12.79/12.83 c ============================[ Search Statistics ]============================== 12.79/12.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.83 c =============================================================================== 12.79/12.83 c | 0 | 4427 10313 333253 | 5000 0 nan | 0.000 % | 12.79/12.85 c | 101 | 4427 10313 333253 | 5500 101 27 | 1.117 % | 12.79/12.86 c | 251 | 4427 10313 333253 | 6050 251 21 | 1.117 % | 13.09/13.10 c =============================================================================== 13.09/13.11 c core #15 13.09/13.11 c Core size: 89 Core Weight: 1 Total Weight: 22 13.09/13.11 c Elapsed CPU time: 12.998 s Remaining CPU time: 1787 s 13.19/13.20 c Learning 17 hard constraints 13.19/13.20 c ============================[ Search Statistics ]============================== 13.19/13.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.19/13.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.19/13.20 c =============================================================================== 13.19/13.20 c | 0 | 4445 10334 333875 | 5000 0 nan | 0.000 % | 13.19/13.21 c | 100 | 4445 10334 333875 | 5500 100 23 | 1.134 % | 13.19/13.22 c | 252 | 4445 10334 333875 | 6050 252 27 | 1.134 % | 13.19/13.24 c | 477 | 4445 10334 333875 | 6655 477 27 | 1.134 % | 13.19/13.27 c | 819 | 4445 10334 333875 | 7320 819 28 | 1.134 % | 13.28/13.33 c | 1325 | 4445 10334 333875 | 8052 1325 27 | 1.134 % | 13.38/13.43 c | 2088 | 4430 10334 333875 | 8857 2088 27 | 1.557 % | 13.38/13.44 c =============================================================================== 13.38/13.45 c core #16 13.38/13.45 c Core size: 62 Core Weight: 1 Total Weight: 23 13.38/13.45 c Elapsed CPU time: 13.331 s Remaining CPU time: 1786.67 s 13.48/13.55 c ============================[ Search Statistics ]============================== 13.48/13.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.48/13.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.48/13.55 c =============================================================================== 13.48/13.55 c | 0 | 4464 10338 333910 | 5000 0 nan | 0.000 % | 13.48/13.56 c | 100 | 4464 10338 333910 | 5500 100 32 | 1.130 % | 13.48/13.57 c | 250 | 4464 10338 333910 | 6050 250 32 | 1.130 % | 13.48/13.59 c | 475 | 4464 10338 333910 | 6655 475 34 | 1.130 % | 13.58/13.61 c | 815 | 4464 10338 333910 | 7320 815 36 | 1.130 % | 13.58/13.67 c | 1321 | 4464 10338 333910 | 8052 1321 38 | 1.130 % | 13.68/13.79 c | 2084 | 4464 10338 333910 | 8857 2084 38 | 1.130 % | 13.98/14.01 c | 3224 | 4464 10338 333910 | 9743 3224 37 | 1.130 % | 14.38/14.40 c | 4935 | 4464 10338 333910 | 10717 4935 37 | 1.130 % | 15.29/15.34 c | 7497 | 4464 10338 333910 | 11789 7497 37 | 1.130 % | 16.39/16.44 c | 11341 | 4464 10338 333910 | 12968 11341 37 | 1.130 % | 18.59/18.62 c | 17108 | 4464 10338 333910 | 14265 10560 37 | 1.130 % | 21.38/21.49 c | 25757 | 4439 10338 333910 | 15692 2856 33 | 1.683 % | 21.48/21.59 c =============================================================================== 21.78/21.88 c core #17 21.78/21.88 c Core size: 63 Core Weight: 1 Total Weight: 24 21.78/21.88 c Elapsed CPU time: 21.6907 s Remaining CPU time: 1778.31 s 21.98/22.01 c ============================[ Search Statistics ]============================== 21.98/22.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.98/22.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.98/22.01 c =============================================================================== 21.98/22.01 c | 0 | 4483 10342 333945 | 5000 0 nan | 0.000 % | 21.98/22.02 c | 100 | 4483 10342 333945 | 5500 100 40 | 1.125 % | 22.78/22.83 c | 250 | 4482 10342 333945 | 6050 250 36 | 1.279 % | 23.48/23.58 c | 475 | 4482 10342 333945 | 6655 475 35 | 1.279 % | 24.68/24.73 c | 812 | 4482 10342 333945 | 7320 812 39 | 1.279 % | 26.29/26.32 c | 1318 | 4478 10342 333945 | 8052 1318 40 | 3.264 % | 27.38/27.46 c =============================================================================== 27.38/27.47 c core #18 27.38/27.47 c Core size: 289 Core Weight: 8 Total Weight: 32 27.38/27.47 c Elapsed CPU time: 27.2549 s Remaining CPU time: 1772.75 s 27.48/27.57 c Learning 1533 hard constraints 27.48/27.57 c ============================[ Search Statistics ]============================== 27.48/27.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.48/27.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.48/27.57 c =============================================================================== 27.48/27.57 c | 0 | 4507 11878 394932 | 5000 0 nan | 0.000 % | 27.98/28.02 c | 100 | 4507 11878 394932 | 5500 100 47 | 0.663 % | 28.58/28.62 c =============================================================================== 28.58/28.62 c core #19 28.58/28.62 c Core size: 211 Core Weight: 1 Total Weight: 33 28.58/28.62 c Elapsed CPU time: 28.4067 s Remaining CPU time: 1771.59 s 28.68/28.72 c Learning 207 hard constraints 28.68/28.72 c ============================[ Search Statistics ]============================== 28.68/28.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.68/28.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.68/28.72 c =============================================================================== 28.68/28.72 c | 0 | 4527 12090 404246 | 5000 0 nan | 0.000 % | 29.28/29.33 c | 100 | 4527 12090 404246 | 5500 100 39 | 0.658 % | 29.88/29.92 c | 251 | 4527 12090 404246 | 6050 251 40 | 0.658 % | 30.98/31.00 c | 476 | 4527 12090 404246 | 6655 476 42 | 0.658 % | 31.97/32.07 c | 813 | 4527 12090 404246 | 7320 813 41 | 0.658 % | 34.78/34.87 c | 1319 | 4527 12090 404246 | 8052 1319 43 | 0.658 % | 37.77/37.80 c | 2079 | 4527 12090 404246 | 8857 2079 42 | 0.658 % | 43.07/43.19 c | 3218 | 4527 12090 404246 | 9743 3218 43 | 0.658 % | 52.26/52.36 c | 4927 | 4527 12090 404246 | 10717 4927 42 | 0.658 % | 63.67/63.78 c | 7491 | 4515 12090 404246 | 11789 6714 41 | 1.031 % | 77.55/77.67 c | 11337 | 4474 12090 404246 | 12968 3852 41 | 9.787 % | 77.75/77.86 c =============================================================================== 77.85/77.93 c core #20 77.85/77.93 c Core size: 1046 Core Weight: 1 Total Weight: 34 77.85/77.93 c Elapsed CPU time: 77.6332 s Remaining CPU time: 1722.37 s 77.96/78.06 c Learning 2987 hard constraints 77.96/78.06 c ============================[ Search Statistics ]============================== 77.96/78.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.96/78.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.96/78.06 c =============================================================================== 77.96/78.06 c | 0 | 4535 15083 514914 | 5027 0 nan | 0.000 % | 78.76/78.86 c | 100 | 4535 15083 514914 | 5530 100 42 | 0.657 % | 79.16/79.21 c | 251 | 4535 15083 514914 | 6083 251 38 | 0.657 % | 80.06/80.16 c | 477 | 4535 15083 514914 | 6691 477 41 | 0.657 % | 81.36/81.50 c | 814 | 4535 15083 514914 | 7361 814 42 | 0.657 % | 83.75/83.89 c | 1321 | 4535 15083 514914 | 8097 1321 43 | 0.657 % | 85.84/85.93 c | 2080 | 4535 15083 514914 | 8906 2080 41 | 0.657 % | 90.95/91.04 c | 3219 | 4535 15083 514914 | 9797 3219 40 | 0.657 % | 96.95/97.01 c | 4927 | 4535 15083 514914 | 10777 4927 42 | 0.657 % | 107.34/107.49 c | 7490 | 4535 15083 514914 | 11854 7490 44 | 0.657 % | 120.95/121.09 c | 11337 | 4535 15083 514914 | 13040 11337 45 | 0.657 % | 144.53/144.61 c | 17103 | 4535 15083 514914 | 14344 10516 44 | 0.657 % | 169.83/169.93 c =============================================================================== 169.93/170.06 c core #21 169.93/170.06 c Core size: 1788 Core Weight: 4 Total Weight: 38 169.93/170.06 c Elapsed CPU time: 169.616 s Remaining CPU time: 1630.38 s 170.12/170.24 c Learning 6669 hard constraints 170.12/170.24 c ============================[ Search Statistics ]============================== 170.12/170.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 170.12/170.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 170.12/170.24 c =============================================================================== 170.12/170.24 c | 0 | 4539 21755 782683 | 7251 0 nan | 0.000 % | 170.72/170.81 c | 101 | 4539 21755 782683 | 7976 101 45 | 0.657 % | 171.22/171.38 c | 251 | 4538 21755 782683 | 8774 251 43 | 1.139 % | 171.92/172.04 c | 478 | 4538 21755 782683 | 9651 478 44 | 1.138 % | 172.92/173.00 c | 815 | 4538 21755 782683 | 10617 815 45 | 1.138 % | 174.22/174.36 c | 1321 | 4538 21755 782683 | 11678 1321 46 | 1.138 % | 176.51/176.64 c | 2080 | 4538 21755 782683 | 12846 2080 45 | 1.138 % | 180.11/180.26 c | 3220 | 4538 21755 782683 | 14131 3220 45 | 1.138 % | 186.51/186.69 c | 4928 | 4538 21755 782683 | 15544 4928 46 | 1.138 % | 193.71/193.85 c | 7491 | 4517 21755 782683 | 17099 7490 45 | 1.138 % | 210.30/210.49 c | 11337 | 4517 21755 782683 | 18808 11336 45 | 1.138 % | 231.09/231.30 c | 17104 | 4506 21755 782683 | 20689 16571 44 | 1.423 % | 251.69/251.89 c =============================================================================== 251.89/252.01 c core #22 251.89/252.01 c Core size: 2530 Core Weight: 1 Total Weight: 39 251.89/252.01 c Elapsed CPU time: 251.424 s Remaining CPU time: 1548.58 s 251.98/252.19 c Learning 43 hard constraints 251.98/252.19 c ============================[ Search Statistics ]============================== 251.98/252.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.98/252.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 251.98/252.19 c =============================================================================== 251.98/252.19 c | 0 | 4546 21802 783822 | 7267 0 nan | 0.000 % | 252.39/252.57 c | 100 | 4546 21802 783822 | 7994 100 45 | 0.656 % | 253.29/253.44 c | 251 | 4546 21802 783822 | 8793 251 47 | 0.656 % | 253.89/254.07 c | 477 | 4546 21802 783822 | 9672 477 42 | 0.656 % | 254.99/255.17 c | 814 | 4546 21802 783822 | 10640 814 46 | 0.656 % | 257.29/257.47 c | 1320 | 4546 21802 783822 | 11704 1320 50 | 0.656 % | 259.98/260.13 c | 2079 | 4546 21802 783822 | 12874 2079 48 | 0.656 % | 264.29/264.40 c | 3219 | 4546 21802 783822 | 14161 3219 48 | 0.656 % | 268.87/269.08 c | 4927 | 4546 21802 783822 | 15578 4927 45 | 0.656 % | 281.48/281.69 c | 7490 | 4546 21802 783822 | 17135 7490 45 | 0.656 % | 292.87/293.01 c | 11334 | 4546 21802 783822 | 18849 11334 44 | 0.656 % | 312.36/312.60 c | 17102 | 4546 21802 783822 | 20734 17102 43 | 0.656 % | 342.85/343.08 c =============================================================================== 342.95/343.18 c core #23 342.95/343.18 c Core size: 1981 Core Weight: 1 Total Weight: 40 342.95/343.18 c Elapsed CPU time: 342.446 s Remaining CPU time: 1457.55 s 343.25/343.41 c Learning 8908 hard constraints 343.25/343.41 c ============================[ Search Statistics ]============================== 343.25/343.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 343.25/343.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 343.25/343.41 c =============================================================================== 343.25/343.41 c | 0 | 4559 30713 1149514 | 10237 0 nan | 0.000 % | 343.75/343.92 c | 100 | 4550 30713 1149514 | 11261 100 41 | 1.504 % | 344.35/344.50 c | 251 | 4550 30713 1149514 | 12387 251 46 | 1.504 % | 345.45/345.60 c | 478 | 4550 30713 1149514 | 13626 478 49 | 1.504 % | 346.85/347.05 c | 816 | 4550 30713 1149514 | 14988 816 50 | 1.504 % | 348.85/349.07 c | 1322 | 4548 30713 1149514 | 16487 1322 49 | 2.441 % | 351.85/352.01 c | 2081 | 4548 30713 1149514 | 18136 2081 49 | 2.441 % | 355.55/355.75 c | 3222 | 4548 30713 1149514 | 19950 3222 48 | 2.441 % | 361.15/361.37 c | 4931 | 4548 30713 1149514 | 21945 4931 48 | 2.441 % | 369.44/369.64 c | 7493 | 4477 30713 1149514 | 24139 7490 48 | 2.441 % | 385.24/385.47 c | 11338 | 4477 30713 1149514 | 26553 11335 49 | 2.441 % | 407.33/407.51 c | 17105 | 4477 30713 1149514 | 29209 17102 48 | 2.441 % | 444.92/445.10 c | 25754 | 4477 30713 1149514 | 32130 25751 48 | 2.441 % | 503.19/503.45 c | 38728 | 4477 30713 1149514 | 35343 17402 48 | 2.441 % | 579.16/579.44 c | 58189 | 4477 30713 1149514 | 38877 12628 46 | 2.441 % | 720.60/720.94 c | 87381 | 4477 30713 1149514 | 42765 13939 50 | 2.441 % | 890.54/890.97 c | 131171 | 4477 30713 1149514 | 47041 27559 48 | 2.441 % | 1036.88/1037.32 c =============================================================================== 1038.07/1038.59 c core #24 1038.07/1038.59 c Core size: 4112 Core Weight: 24 Total Weight: 64 1038.07/1038.59 c Elapsed CPU time: 1036.77 s Remaining CPU time: 763.228 s 1038.76/1039.21 c Learning 33611 hard constraints 1038.76/1039.21 c ============================[ Search Statistics ]============================== 1038.76/1039.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1038.76/1039.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1038.76/1039.21 c =============================================================================== 1038.76/1039.21 c | 0 | 4576 64326 2888548 | 21442 0 nan | 0.000 % | 1039.27/1039.73 c | 100 | 4576 64326 2888548 | 23586 100 27 | 0.328 % | 1039.97/1040.47 c | 251 | 4576 64326 2888548 | 25944 251 38 | 0.327 % | 1041.07/1041.54 c | 477 | 4562 64326 2888548 | 28539 477 42 | 0.632 % | 1042.67/1043.12 c | 816 | 4562 64326 2888548 | 31393 816 42 | 0.632 % | 1044.37/1044.89 c | 1322 | 4562 64326 2888548 | 34532 1322 45 | 0.632 % | 1047.66/1048.18 c | 2082 | 4562 64326 2888548 | 37985 2082 46 | 0.632 % | 1051.77/1052.24 c | 3221 | 4562 64326 2888548 | 41784 3221 46 | 0.634 % | 1059.77/1060.30 c | 4929 | 4562 64326 2888548 | 45962 4929 47 | 0.632 % | 1070.96/1071.42 c | 7492 | 4555 64326 2888548 | 50559 7492 48 | 1.982 % | 1088.25/1088.72 c | 11336 | 4555 64326 2888548 | 55615 11336 51 | 1.985 % | 1111.24/1111.75 c | 17104 | 4547 64326 2888548 | 61176 17104 50 | 8.800 % | 1148.53/1149.01 c | 25753 | 4187 64326 2888548 | 67294 25498 51 | 8.800 % | 1201.50/1202.04 c | 38728 | 4187 64326 2888548 | 74023 38473 52 | 8.800 % | 1288.46/1289.03 c | 58190 | 4186 64326 2888548 | 81425 46195 51 | 8.822 % | 1359.04/1359.68 c =============================================================================== 1360.04/1360.62 c core #25 1360.04/1360.62 c Core size: 5988 Core Weight: 1 Total Weight: 65 1360.04/1360.62 c Elapsed CPU time: 1358.26 s Remaining CPU time: 441.736 s 1360.83/1361.45 c Learning 44720 hard constraints 1360.83/1361.45 c ============================[ Search Statistics ]============================== 1360.83/1361.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1360.83/1361.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1360.83/1361.45 c =============================================================================== 1360.83/1361.45 c | 0 | 4627 109050 4915278 | 36350 0 nan | 0.000 % | 1361.43/1362.06 c | 100 | 4627 109050 4915278 | 39985 100 27 | 0.323 % | 1362.42/1363.01 c | 250 | 4627 109050 4915278 | 43983 250 36 | 0.323 % | 1363.52/1364.13 c | 477 | 4627 109050 4915278 | 48381 477 40 | 0.323 % | 1365.42/1366.06 c | 814 | 4627 109050 4915278 | 53220 814 41 | 0.323 % | 1367.03/1367.68 c | 1320 | 4627 109050 4915278 | 58542 1320 43 | 0.323 % | 1370.43/1371.07 c | 2082 | 4627 109050 4915278 | 64396 2082 43 | 0.323 % | 1375.52/1376.12 c | 3221 | 4627 109050 4915278 | 70835 3221 45 | 0.323 % | 1382.02/1382.69 c | 4929 | 4627 109050 4915278 | 77919 4929 45 | 0.323 % | 1394.81/1395.44 c | 7491 | 4627 109050 4915278 | 85711 7491 46 | 0.323 % | 1409.90/1410.55 c | 11335 | 4627 109050 4915278 | 94282 11335 46 | 0.323 % | 1439.30/1439.99 c | 17103 | 4618 109050 4915278 | 103710 17103 46 | 0.517 % | 1482.48/1483.16 c | 25753 | 4616 109050 4915278 | 114081 25753 47 | 0.582 % | 1545.45/1546.18 c | 38728 | 4616 109050 4915278 | 125490 38728 48 | 0.582 % | 1649.61/1650.33 c | 58191 | 4613 109050 4915278 | 138039 53767 48 | 0.711 % | 1781.16/1781.97 c | 87384 | 4608 109050 4915278 | 151842 82960 47 | 1.357 % |
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-1875651-1245170579/watcher-1875651-1245170579 -o /tmp/evaluation-result-1875651-1245170579/solver-1875651-1245170579 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875651-1245170579.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 9331 /proc/meminfo: memFree=1855392/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=4528 CPUtime=0 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 184655069 4636672 186 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 1132 186 128 292 0 336 0 [startup+0.032675 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9331 /proc/meminfo: memFree=1855392/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=5188 CPUtime=0.03 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 413 0 0 0 3 0 0 0 18 0 1 0 184655069 5312512 397 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 1297 397 169 292 0 501 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5188 [startup+0.101682 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9331 /proc/meminfo: memFree=1855392/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=6944 CPUtime=0.09 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 968 0 0 0 9 0 0 0 18 0 1 0 184655069 7110656 952 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 1736 952 278 292 0 940 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6944 [startup+0.301702 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9331 /proc/meminfo: memFree=1855392/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=12048 CPUtime=0.29 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 2535 0 0 0 29 0 0 0 19 0 1 0 184655069 12337152 2519 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 3012 2519 587 292 0 2216 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12048 [startup+0.701748 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9331 /proc/meminfo: memFree=1855392/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=33708 CPUtime=0.69 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 8534 0 0 0 66 3 0 0 23 0 1 0 184655069 34516992 7939 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 8427 7939 135 292 0 8132 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33708 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1818712/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=48672 CPUtime=1.49 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 12307 0 0 0 144 5 0 0 25 0 1 0 184655069 49840128 11712 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 12168 11712 135 292 0 11873 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48672 [startup+3.10202 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1803800/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=53556 CPUtime=3.09 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 13557 0 0 0 303 6 0 0 25 0 1 0 184655069 54841344 12962 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 13389 12962 136 292 0 13094 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 53556 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1793560/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=63660 CPUtime=6.29 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 16080 0 0 0 621 8 0 0 25 0 1 0 184655069 65187840 15485 1992294400 134512640 135709839 4294956240 18446744073709551615 134572830 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 15915 15485 136 292 0 15620 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63660 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1787992/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=79416 CPUtime=12.68 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 19995 0 0 0 1259 9 0 0 25 0 1 0 184655069 81321984 19400 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 19854 19400 136 292 0 19559 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 79416 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1748184/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=109200 CPUtime=25.48 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 27421 0 0 0 2528 20 0 0 25 0 1 0 184655069 111820800 26826 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 27300 26826 136 292 0 27005 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 109200 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1743064/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=114224 CPUtime=51.06 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 28700 0 0 0 5083 23 0 0 25 0 1 0 184655069 116965376 28105 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 28556 28105 136 292 0 28261 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 114224 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1733528/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=123656 CPUtime=102.25 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 31054 0 0 0 10195 30 0 0 25 0 1 0 184655069 126623744 30459 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 30914 30459 136 292 0 30619 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 123656 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1732568/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=124716 CPUtime=162.22 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 31313 0 0 0 16186 36 0 0 25 0 1 0 184655069 127709184 30718 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 31179 30718 136 292 0 30884 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 124716 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1720664/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=136460 CPUtime=222.2 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 34234 0 0 0 22175 45 0 0 25 0 1 0 184655069 139735040 33639 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 34115 33639 136 292 0 33820 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 136460 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1711640/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=145460 CPUtime=282.17 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 36499 0 0 0 28166 51 0 0 25 0 1 0 184655069 148951040 35904 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 36365 35904 136 292 0 36070 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 145460 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1711512/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=145460 CPUtime=342.15 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 36505 0 0 0 34156 59 0 0 25 0 1 0 184655069 148951040 35910 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 36365 35910 136 292 0 36070 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 145460 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1699672/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=157240 CPUtime=402.12 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 39452 0 0 0 40145 67 0 0 25 0 1 0 184655069 161013760 38857 1992294400 134512640 135709839 4294956240 18446744073709551615 134572583 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 39310 38857 136 292 0 39015 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 157240 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1699352/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=157636 CPUtime=462.11 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 39538 0 0 0 46138 73 0 0 25 0 1 0 184655069 161419264 38943 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 39409 38943 136 292 0 39114 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 157636 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9332 /proc/meminfo: memFree=1695768/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=161200 CPUtime=522.08 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 40441 0 0 0 52129 79 0 0 25 0 1 0 184655069 165068800 39846 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 40300 39846 136 292 0 40005 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 161200 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9334 /proc/meminfo: memFree=1690648/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=166224 CPUtime=582.05 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 41679 0 0 0 58118 87 0 0 25 0 1 0 184655069 170213376 41084 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 41556 41084 136 292 0 41261 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 166224 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9334 /proc/meminfo: memFree=1686808/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=169948 CPUtime=642.04 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 42630 0 0 0 64110 94 0 0 25 0 1 0 184655069 174026752 42035 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 42487 42035 136 292 0 42192 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 169948 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9334 /proc/meminfo: memFree=1672792/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=184092 CPUtime=821.96 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 46143 0 0 0 82080 116 0 0 25 0 1 0 184655069 188510208 45548 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 46023 45548 136 292 0 45728 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 184092 [startup+882.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9334 /proc/meminfo: memFree=1667864/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=189108 CPUtime=881.94 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 47384 0 0 0 88069 125 0 0 25 0 1 0 184655069 193646592 46789 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 47277 46789 136 292 0 46982 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 189108 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9334 /proc/meminfo: memFree=1663320/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=193624 CPUtime=941.9 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 48518 0 0 0 94059 131 0 0 25 0 1 0 184655069 198270976 47923 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 48406 47923 136 292 0 48111 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 193624 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9334 /proc/meminfo: memFree=1658968/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=197980 CPUtime=1001.89 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 49589 0 0 0 100052 137 0 0 25 0 1 0 184655069 202731520 48994 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 49495 48994 136 292 0 49200 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 197980 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9334 /proc/meminfo: memFree=1632984/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=223792 CPUtime=1061.86 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 56092 0 0 0 106042 144 0 0 25 0 1 0 184655069 229163008 55425 1992294400 134512640 135709839 4294956240 18446744073709551615 134572827 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 55948 55425 136 292 0 55653 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 223792 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1632728/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=223792 CPUtime=1121.83 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 56092 0 0 0 112032 151 0 0 25 0 1 0 184655069 229163008 55425 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 55948 55425 136 292 0 55653 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 223792 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1632728/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=223792 CPUtime=1181.81 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 56094 0 0 0 118022 159 0 0 25 0 1 0 184655069 229163008 55427 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 55948 55427 136 292 0 55653 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 223792 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1632664/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=223792 CPUtime=1241.79 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 56103 0 0 0 124013 166 0 0 25 0 1 0 184655069 229163008 55436 1992294400 134512640 135709839 4294956240 18446744073709551615 134518412 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 55948 55436 136 292 0 55653 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 223792 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1632664/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=223792 CPUtime=1301.75 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 56104 0 0 0 130002 173 0 0 25 0 1 0 184655069 229163008 55437 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 55948 55437 136 292 0 55653 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 223792 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1609624/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247220 CPUtime=1361.73 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62022 0 0 0 135990 183 0 0 25 0 1 0 184655069 253153280 61227 1992294400 134512640 135709839 4294956240 18446744073709551615 134577290 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61805 61227 136 292 0 61510 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 247220 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1609624/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247220 CPUtime=1421.71 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62025 0 0 0 141982 189 0 0 25 0 1 0 184655069 253153280 61230 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61805 61230 136 292 0 61510 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 247220 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1609624/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247220 CPUtime=1481.68 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62026 0 0 0 147974 194 0 0 25 0 1 0 184655069 253153280 61231 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61805 61231 136 292 0 61510 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 247220 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1609624/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247220 CPUtime=1541.66 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62027 0 0 0 153967 199 0 0 25 0 1 0 184655069 253153280 61232 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61805 61232 136 292 0 61510 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 247220 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1609560/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247220 CPUtime=1601.63 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62052 0 0 0 159960 203 0 0 25 0 1 0 184655069 253153280 61257 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61805 61257 136 292 0 61510 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 247220 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1609496/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247220 CPUtime=1661.6 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62054 0 0 0 165952 208 0 0 25 0 1 0 184655069 253153280 61259 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61805 61259 136 292 0 61510 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 247220 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1609176/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247580 CPUtime=1721.58 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62124 0 0 0 171942 216 0 0 25 0 1 0 184655069 253521920 61329 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61895 61329 136 292 0 61600 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 247580 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1608984/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247580 CPUtime=1781.56 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62137 0 0 0 177934 222 0 0 25 0 1 0 184655069 253521920 61342 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61895 61342 136 292 0 61600 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 247580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9340 /proc/meminfo: memFree=1608984/2055920 swapFree=4191900/4192956 [pid=9331] ppid=9329 vsize=247580 CPUtime=1800.06 /proc/9331/stat : 9331 (wbo) R 9329 9331 8909 0 -1 4194304 62138 0 0 0 179782 224 0 0 25 0 1 0 184655069 253521920 61343 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/9331/statm: 61895 61343 136 292 0 61600 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 247580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.85 CPU time (s): 1800.1 CPU user time (s): 1797.82 CPU system time (s): 2.27965 CPU usage (%): 99.9588 Max. virtual memory (cumulated for all children) (KiB): 247580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.82 system time used= 2.27965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62138 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= 5 involuntary context switches= 7433 runsolver used 1.51077 second user time and 5.06423 second system time The end
Begin job on node38 at 2009-06-16 18:42:59 IDJOB=1875651 IDBENCH=2634 IDSOLVER=698 FILE ID=node38/1875651-1245170579 PBS_JOBID= 9363850 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_15.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-1875651-1245170579/watcher-1875651-1245170579 -o /tmp/evaluation-result-1875651-1245170579/solver-1875651-1245170579 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875651-1245170579.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b4a219bc21641bf0d46eae2692004ebe RANDOM SEED=1153078992 node38.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.232 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.232 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: 1855872 kB Buffers: 48868 kB Cached: 65928 kB SwapCached: 260 kB Active: 44284 kB Inactive: 83788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855872 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4376 kB Writeback: 0 kB Mapped: 22512 kB Slab: 57948 kB Committed_AS: 160224 kB PageTables: 1460 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-1875651-1245170579.opb Free space on /tmp at the end= 66232 MiB End job on node38 at 2009-06-16 19:13:02