Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.23 | 1800.98 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0033.opb |
MD5SUM | bdb886a987b9ca760f19a56a745e3c06 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3089 |
Best CPU time to get the best result obtained on this benchmark | 0.022995 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3089 |
Optimality of the best value was proved | YES |
Number of variables | 33 |
Total number of constraints | 15 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 33 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 7276 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 7276 |
Number of bits of the biggest sum of numbers | 13 |
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-1876131-1245133792.opb. 0.00/0.00 c Instance file HOME/instance-1876131-1245133792.opb 0.00/0.00 c File size is 1353 bytes. 0.00/0.00 c Highest Coefficient sum: 4426 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 33 | 0.00/0.00 c | Number Clauses: 34 | 0.00/0.00 c | Number Cardinality: 3 | 0.00/0.00 c | Number PB Constraints: 11 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 183 Total Weight: 183 0.00/0.00 c Elapsed CPU time: 0 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 20 Core Weight: 49 Total Weight: 232 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 19 Core Weight: 20 Total Weight: 252 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 17 Core Weight: 45 Total Weight: 297 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 16 Core Weight: 45 Total Weight: 342 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #6 0.00/0.00 c Core size: 12 Core Weight: 3 Total Weight: 345 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #7 0.00/0.00 c Core size: 11 Core Weight: 1 Total Weight: 346 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s 0.00/0.00 c core #8 0.00/0.00 c Core size: 10 Core Weight: 8 Total Weight: 354 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s 0.00/0.00 c core #9 0.00/0.00 c Core size: 9 Core Weight: 12 Total Weight: 366 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s 0.00/0.00 c core #10 0.00/0.00 c Core size: 11 Core Weight: 45 Total Weight: 411 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s 0.00/0.00 c core #11 0.00/0.00 c Core size: 14 Core Weight: 30 Total Weight: 441 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s 0.00/0.00 c core #12 0.00/0.00 c Core size: 8 Core Weight: 60 Total Weight: 501 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #13 0.00/0.00 c Core size: 4 Core Weight: 171 Total Weight: 672 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #14 0.00/0.00 c Core size: 13 Core Weight: 60 Total Weight: 732 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #15 0.00/0.00 c Core size: 5 Core Weight: 19 Total Weight: 751 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #16 0.00/0.00 c Core size: 4 Core Weight: 159 Total Weight: 910 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #17 0.00/0.00 c Core size: 3 Core Weight: 4 Total Weight: 914 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #18 0.00/0.00 c Core size: 17 Core Weight: 21 Total Weight: 935 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #19 0.00/0.00 c Core size: 16 Core Weight: 42 Total Weight: 977 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #20 0.00/0.00 c Core size: 15 Core Weight: 92 Total Weight: 1069 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #21 0.00/0.00 c Core size: 7 Core Weight: 76 Total Weight: 1145 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #22 0.00/0.00 c Core size: 23 Core Weight: 19 Total Weight: 1164 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 207 217 624 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #23 0.00/0.00 c Core size: 20 Core Weight: 1 Total Weight: 1165 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 217 226 657 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #24 0.00/0.00 c Core size: 27 Core Weight: 1 Total Weight: 1166 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 233 241 714 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #25 0.00/0.00 c Core size: 27 Core Weight: 17 Total Weight: 1183 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 249 256 771 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #26 0.00/0.00 c Core size: 22 Core Weight: 19 Total Weight: 1202 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 260 266 808 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #27 0.00/0.00 c Core size: 18 Core Weight: 6 Total Weight: 1208 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 269 274 837 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #28 0.00/0.01 c Core size: 18 Core Weight: 6 Total Weight: 1214 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 278 282 866 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #29 0.00/0.01 c Core size: 23 Core Weight: 26 Total Weight: 1240 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 291 294 911 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #30 0.00/0.01 c Core size: 20 Core Weight: 2 Total Weight: 1242 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 304 307 958 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #31 0.00/0.01 c Core size: 35 Core Weight: 1 Total Weight: 1243 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 324 326 1036 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #32 0.00/0.01 c Core size: 19 Core Weight: 18 Total Weight: 1261 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 335 337 1075 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #33 0.00/0.01 c Core size: 16 Core Weight: 11 Total Weight: 1272 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 344 345 1104 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #34 0.00/0.01 c Core size: 22 Core Weight: 1 Total Weight: 1273 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 357 358 1151 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #35 0.00/0.01 c Core size: 25 Core Weight: 1 Total Weight: 1274 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 372 373 1210 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #36 0.00/0.01 c Core size: 17 Core Weight: 13 Total Weight: 1287 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 382 383 1245 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #37 0.00/0.01 c Core size: 26 Core Weight: 4 Total Weight: 1291 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 396 397 1298 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #38 0.00/0.02 c Core size: 20 Core Weight: 2 Total Weight: 1293 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 408 409 1341 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #39 0.00/0.02 c Core size: 18 Core Weight: 1 Total Weight: 1294 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 418 419 1376 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #40 0.00/0.02 c Core size: 18 Core Weight: 8 Total Weight: 1302 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 429 430 1415 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #41 0.00/0.02 c Core size: 27 Core Weight: 19 Total Weight: 1321 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 445 446 1477 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #42 0.00/0.02 c Core size: 18 Core Weight: 1 Total Weight: 1322 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 456 457 1519 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #43 0.00/0.02 c Core size: 20 Core Weight: 6 Total Weight: 1328 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 468 468 1563 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #44 0.00/0.02 c Core size: 22 Core Weight: 1 Total Weight: 1329 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 482 481 1615 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #45 0.00/0.02 c Core size: 26 Core Weight: 1 Total Weight: 1330 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 498 497 1677 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #46 0.00/0.03 c Core size: 26 Core Weight: 1 Total Weight: 1331 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 515 514 1740 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #47 0.00/0.03 c Core size: 27 Core Weight: 1 Total Weight: 1332 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 531 529 1803 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #48 0.00/0.03 c Core size: 25 Core Weight: 1 Total Weight: 1333 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 546 544 1861 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #49 0.00/0.03 c Core size: 34 Core Weight: 3 Total Weight: 1336 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 565 563 1936 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #50 0.00/0.03 c Core size: 31 Core Weight: 7 Total Weight: 1343 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 581 579 2000 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #51 0.00/0.03 c Core size: 20 Core Weight: 5 Total Weight: 1348 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 592 590 2040 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #52 0.00/0.04 c Core size: 25 Core Weight: 1 Total Weight: 1349 0.00/0.04 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 607 605 2098 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #53 0.00/0.04 c Core size: 31 Core Weight: 1 Total Weight: 1350 0.00/0.04 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 627 623 2172 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #54 0.00/0.04 c Core size: 26 Core Weight: 1 Total Weight: 1351 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 642 637 2226 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #55 0.00/0.04 c Core size: 29 Core Weight: 2 Total Weight: 1353 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 660 655 2296 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #56 0.00/0.04 c Core size: 22 Core Weight: 5 Total Weight: 1358 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 673 668 2346 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #57 0.00/0.05 c Core size: 22 Core Weight: 1 Total Weight: 1359 0.00/0.05 c Elapsed CPU time: 0.041993 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 | 685 680 2389 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #58 0.00/0.05 c Core size: 20 Core Weight: 1 Total Weight: 1360 0.00/0.05 c Elapsed CPU time: 0.042993 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 | 696 691 2429 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #59 0.00/0.05 c Core size: 23 Core Weight: 16 Total Weight: 1376 0.00/0.05 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 | 710 705 2483 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #60 0.00/0.05 c Core size: 36 Core Weight: 1 Total Weight: 1377 0.00/0.05 c Elapsed CPU time: 0.044993 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 | 732 726 2568 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #61 0.00/0.05 c Core size: 24 Core Weight: 1 Total Weight: 1378 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 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 | 746 740 2622 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #62 0.00/0.06 c Core size: 29 Core Weight: 5 Total Weight: 1383 0.00/0.06 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 762 756 2679 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #63 0.00/0.06 c Core size: 25 Core Weight: 1 Total Weight: 1384 0.00/0.06 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 777 771 2734 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #64 0.00/0.06 c Core size: 28 Core Weight: 22 Total Weight: 1406 0.00/0.06 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 791 784 2781 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #65 0.00/0.06 c Core size: 30 Core Weight: 3 Total Weight: 1409 0.00/0.06 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 810 802 2850 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #66 0.00/0.06 c Core size: 38 Core Weight: 2 Total Weight: 1411 0.00/0.06 c Elapsed CPU time: 0.056991 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 | 829 820 2922 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #67 0.00/0.07 c Core size: 17 Core Weight: 5 Total Weight: 1416 0.00/0.07 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.07 c Learning 1 hard constraints 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 | 840 832 2967 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #68 0.00/0.07 c Core size: 34 Core Weight: 1 Total Weight: 1417 0.00/0.07 c Elapsed CPU time: 0.06199 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 | 859 847 3030 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #69 0.00/0.07 c Core size: 37 Core Weight: 1 Total Weight: 1418 0.00/0.07 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 | 877 862 3092 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #70 0.00/0.07 c Core size: 30 Core Weight: 4 Total Weight: 1422 0.00/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 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 | 894 879 3158 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #71 0.00/0.08 c Core size: 31 Core Weight: 7 Total Weight: 1429 0.00/0.08 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 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 | 909 894 3216 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #72 0.00/0.08 c Core size: 29 Core Weight: 2 Total Weight: 1431 0.00/0.08 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 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 | 924 909 3272 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #73 0.00/0.08 c Core size: 43 Core Weight: 1 Total Weight: 1432 0.00/0.08 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 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 | 947 930 3361 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #74 0.00/0.08 c Core size: 38 Core Weight: 5 Total Weight: 1437 0.00/0.08 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 968 949 3439 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #75 0.00/0.09 c Core size: 26 Core Weight: 1 Total Weight: 1438 0.00/0.09 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.00/0.09 c Learning 1 hard constraints 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 983 964 3500 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #76 0.00/0.09 c Core size: 31 Core Weight: 1 Total Weight: 1439 0.00/0.09 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 1002 980 3571 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #77 0.00/0.09 c Core size: 34 Core Weight: 1 Total Weight: 1440 0.00/0.09 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 1020 997 3634 | 5000 0 nan | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.10 c core #78 0.00/0.10 c Core size: 30 Core Weight: 5 Total Weight: 1445 0.00/0.10 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.10 c Learning 1 hard constraints 0.00/0.10 c ============================[ Search Statistics ]============================== 0.00/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.10 c =============================================================================== 0.00/0.10 c | 0 | 1036 1013 3695 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #79 0.09/0.10 c Core size: 27 Core Weight: 2 Total Weight: 1447 0.09/0.10 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.09/0.10 c Learning 1 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 | 1050 1028 3750 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #80 0.09/0.10 c Core size: 14 Core Weight: 7 Total Weight: 1454 0.09/0.10 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 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 | 1059 1037 3784 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #81 0.09/0.10 c Core size: 16 Core Weight: 2 Total Weight: 1456 0.09/0.10 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 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 | 1069 1047 3822 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #82 0.09/0.11 c Core size: 47 Core Weight: 1 Total Weight: 1457 0.09/0.11 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1094 1071 3915 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #83 0.09/0.11 c Core size: 23 Core Weight: 6 Total Weight: 1463 0.09/0.11 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1108 1085 3966 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #84 0.09/0.11 c Core size: 31 Core Weight: 1 Total Weight: 1464 0.09/0.11 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1128 1104 4039 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #85 0.09/0.11 c Core size: 31 Core Weight: 2 Total Weight: 1466 0.09/0.11 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 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 | 1148 1124 4116 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #86 0.09/0.12 c Core size: 31 Core Weight: 1 Total Weight: 1467 0.09/0.12 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 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 | 1167 1141 4183 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #87 0.09/0.12 c Core size: 49 Core Weight: 1 Total Weight: 1468 0.09/0.12 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 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 | 1195 1161 4280 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #88 0.09/0.12 c Core size: 30 Core Weight: 2 Total Weight: 1470 0.09/0.12 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1214 1180 4353 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #89 0.09/0.13 c Core size: 37 Core Weight: 1 Total Weight: 1471 0.09/0.13 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1236 1202 4438 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #90 0.09/0.13 c Core size: 31 Core Weight: 3 Total Weight: 1474 0.09/0.13 c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1254 1220 4507 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #91 0.09/0.13 c Core size: 23 Core Weight: 11 Total Weight: 1485 0.09/0.13 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 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 | 1266 1232 4553 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #92 0.09/0.14 c Core size: 23 Core Weight: 1 Total Weight: 1486 0.09/0.14 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 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 | 1280 1246 4604 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #93 0.09/0.14 c Core size: 22 Core Weight: 2 Total Weight: 1488 0.09/0.14 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 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 | 1293 1259 4651 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #94 0.09/0.14 c Core size: 16 Core Weight: 1 Total Weight: 1489 0.09/0.14 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 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 | 1302 1268 4685 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #95 0.09/0.15 c Core size: 14 Core Weight: 10 Total Weight: 1499 0.09/0.15 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1310 1276 4715 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #96 0.09/0.15 c Core size: 28 Core Weight: 1 Total Weight: 1500 0.09/0.15 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1329 1295 4791 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #97 0.09/0.15 c Core size: 22 Core Weight: 3 Total Weight: 1503 0.09/0.15 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 1340 1305 4831 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #98 0.09/0.16 c Core size: 25 Core Weight: 3 Total Weight: 1506 0.09/0.16 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1355 1318 4885 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #99 0.09/0.16 c Core size: 33 Core Weight: 1 Total Weight: 1507 0.09/0.16 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1373 1332 4944 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #100 0.09/0.16 c Core size: 54 Core Weight: 1 Total Weight: 1508 0.09/0.16 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.16 c Learning 1 hard constraints 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1403 1359 5063 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #101 0.09/0.17 c Core size: 29 Core Weight: 1 Total Weight: 1509 0.09/0.17 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1421 1377 5130 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #102 0.09/0.17 c Core size: 32 Core Weight: 2 Total Weight: 1511 0.09/0.17 c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1438 1394 5193 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #103 0.09/0.17 c Core size: 38 Core Weight: 1 Total Weight: 1512 0.09/0.17 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1457 1413 5264 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #104 0.09/0.18 c Core size: 31 Core Weight: 2 Total Weight: 1514 0.09/0.18 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1476 1432 5335 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #105 0.09/0.18 c Core size: 35 Core Weight: 1 Total Weight: 1515 0.09/0.18 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.18 c Learning 1 hard constraints 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1493 1449 5401 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #106 0.09/0.18 c Core size: 31 Core Weight: 1 Total Weight: 1516 0.09/0.18 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.19 c Learning 2 hard constraints 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1507 1464 5461 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #107 0.09/0.19 c Core size: 26 Core Weight: 4 Total Weight: 1520 0.09/0.19 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1524 1480 5527 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #108 0.09/0.19 c Core size: 32 Core Weight: 4 Total Weight: 1524 0.09/0.19 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1544 1499 5721 | 5000 0 nan | 0.000 % | 0.09/0.20 c =============================================================================== 0.09/0.20 c core #109 0.09/0.20 c Core size: 29 Core Weight: 1 Total Weight: 1525 0.09/0.20 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1559 1514 5776 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #110 0.19/0.20 c Core size: 37 Core Weight: 1 Total Weight: 1526 0.19/0.20 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.19/0.20 c Learning 1 hard constraints 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1578 1530 5847 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #111 0.19/0.20 c Core size: 34 Core Weight: 1 Total Weight: 1527 0.19/0.20 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.19/0.20 c Learning 1 hard constraints 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1594 1545 5912 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #112 0.19/0.21 c Core size: 24 Core Weight: 5 Total Weight: 1532 0.19/0.21 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1607 1558 5961 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #113 0.19/0.21 c Core size: 35 Core Weight: 1 Total Weight: 1533 0.19/0.21 c Elapsed CPU time: 0.179972 s Remaining CPU time: 1799.82 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1626 1575 6035 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #114 0.19/0.21 c Core size: 37 Core Weight: 1 Total Weight: 1534 0.19/0.21 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1646 1592 6113 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #115 0.19/0.22 c Core size: 51 Core Weight: 1 Total Weight: 1535 0.19/0.22 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.19/0.22 c Learning 1 hard constraints 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1672 1615 6220 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #116 0.19/0.22 c Core size: 56 Core Weight: 1 Total Weight: 1536 0.19/0.22 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1704 1642 6348 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #117 0.19/0.23 c Core size: 50 Core Weight: 1 Total Weight: 1537 0.19/0.23 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1736 1673 6488 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #118 0.19/0.23 c Core size: 44 Core Weight: 1 Total Weight: 1538 0.19/0.23 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.23 c Learning 1 hard constraints 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1756 1691 6569 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #119 0.19/0.24 c Core size: 57 Core Weight: 1 Total Weight: 1539 0.19/0.24 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1791 1718 6704 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #120 0.19/0.24 c Core size: 35 Core Weight: 2 Total Weight: 1541 0.19/0.24 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1810 1736 6785 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #121 0.19/0.24 c Core size: 43 Core Weight: 1 Total Weight: 1542 0.19/0.24 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.25 c Learning 1 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 | 1836 1755 6877 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #122 0.19/0.25 c Core size: 50 Core Weight: 1 Total Weight: 1543 0.19/0.25 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 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 | 1867 1779 6994 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #123 0.19/0.25 c Core size: 40 Core Weight: 1 Total Weight: 1544 0.19/0.25 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1889 1799 7086 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #124 0.19/0.26 c Core size: 57 Core Weight: 1 Total Weight: 1545 0.19/0.26 c Elapsed CPU time: 0.221966 s Remaining CPU time: 1799.78 s 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1922 1827 7222 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #125 0.19/0.26 c Core size: 58 Core Weight: 1 Total Weight: 1546 0.19/0.26 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1956 1859 7371 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #126 0.19/0.27 c Core size: 65 Core Weight: 1 Total Weight: 1547 0.19/0.27 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.19/0.27 c Learning 1 hard constraints 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1992 1884 7504 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #127 0.19/0.27 c Core size: 67 Core Weight: 1 Total Weight: 1548 0.19/0.27 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 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 | 2033 1914 7664 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #128 0.19/0.28 c Core size: 78 Core Weight: 1 Total Weight: 1549 0.19/0.28 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 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 | 2078 1939 7815 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #129 0.19/0.29 c Core size: 72 Core Weight: 1 Total Weight: 1550 0.19/0.29 c Elapsed CPU time: 0.246962 s Remaining CPU time: 1799.75 s 0.19/0.29 c Learning 1 hard constraints 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 2120 1960 7949 | 5000 0 nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #130 0.19/0.29 c Core size: 76 Core Weight: 1 Total Weight: 1551 0.19/0.29 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 2166 1991 8120 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #131 0.29/0.30 c Core size: 70 Core Weight: 1 Total Weight: 1552 0.29/0.30 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 2207 2017 8267 | 5000 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #132 0.29/0.30 c Core size: 67 Core Weight: 1 Total Weight: 1553 0.29/0.30 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 2243 2052 8429 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #133 0.29/0.31 c Core size: 71 Core Weight: 1 Total Weight: 1554 0.29/0.31 c Elapsed CPU time: 0.267959 s Remaining CPU time: 1799.73 s 0.29/0.31 c Learning 10 hard constraints 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 2278 2089 8639 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #134 0.29/0.32 c Core size: 53 Core Weight: 1 Total Weight: 1555 0.29/0.32 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 2308 2112 8759 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #135 0.29/0.32 c Core size: 58 Core Weight: 1 Total Weight: 1556 0.29/0.32 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2339 2139 8892 | 5000 0 nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #136 0.29/0.33 c Core size: 62 Core Weight: 1 Total Weight: 1557 0.29/0.33 c Elapsed CPU time: 0.285956 s Remaining CPU time: 1799.71 s 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2370 2167 9023 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #137 0.29/0.34 c Core size: 84 Core Weight: 1 Total Weight: 1558 0.29/0.34 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.29/0.34 c Learning 3 hard constraints 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 2414 2202 9219 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #138 0.29/0.34 c Core size: 65 Core Weight: 1 Total Weight: 1559 0.29/0.34 c Elapsed CPU time: 0.295955 s Remaining CPU time: 1799.7 s 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 2446 2224 9336 | 5000 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #139 0.29/0.35 c Core size: 72 Core Weight: 1 Total Weight: 1560 0.29/0.35 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 2485 2256 9496 | 5000 0 nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #140 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 1561 0.29/0.36 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.29/0.36 c Learning 1 hard constraints 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 2527 2293 9682 | 5000 0 nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #141 0.29/0.37 c Core size: 62 Core Weight: 1 Total Weight: 1562 0.29/0.37 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2555 2319 9804 | 5000 0 nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #142 0.29/0.37 c Core size: 62 Core Weight: 1 Total Weight: 1563 0.29/0.37 c Elapsed CPU time: 0.32295 s Remaining CPU time: 1799.68 s 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2586 2337 9910 | 5000 0 nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #143 0.29/0.38 c Core size: 57 Core Weight: 2 Total Weight: 1565 0.29/0.38 c Elapsed CPU time: 0.328949 s Remaining CPU time: 1799.67 s 0.29/0.38 c Learning 1 hard constraints 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2613 2365 10037 | 5000 0 nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #144 0.29/0.39 c Core size: 84 Core Weight: 1 Total Weight: 1566 0.29/0.39 c Elapsed CPU time: 0.334949 s Remaining CPU time: 1799.67 s 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2658 2400 10218 | 5000 0 nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #145 0.29/0.39 c Core size: 68 Core Weight: 1 Total Weight: 1567 0.29/0.39 c Elapsed CPU time: 0.342947 s Remaining CPU time: 1799.66 s 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2692 2428 10356 | 5000 0 nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #146 0.39/0.40 c Core size: 68 Core Weight: 1 Total Weight: 1568 0.39/0.40 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2724 2452 10480 | 5000 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #147 0.39/0.41 c Core size: 59 Core Weight: 1 Total Weight: 1569 0.39/0.41 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2757 2474 10601 | 5000 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #148 0.39/0.42 c Core size: 58 Core Weight: 1 Total Weight: 1570 0.39/0.42 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2790 2498 10730 | 5000 0 nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #149 0.39/0.42 c Core size: 49 Core Weight: 1 Total Weight: 1571 0.39/0.42 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.39/0.43 c Learning 7 hard constraints 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2810 2525 10876 | 5000 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #150 0.39/0.43 c Core size: 65 Core Weight: 1 Total Weight: 1572 0.39/0.43 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2844 2552 11013 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #151 0.39/0.44 c Core size: 89 Core Weight: 1 Total Weight: 1573 0.39/0.44 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.39/0.44 c Learning 2 hard constraints 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2891 2593 11226 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #152 0.39/0.45 c Core size: 63 Core Weight: 1 Total Weight: 1574 0.39/0.45 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.39/0.45 c Learning 2 hard constraints 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 2922 2623 11378 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #153 0.39/0.46 c Core size: 63 Core Weight: 1 Total Weight: 1575 0.39/0.46 c Elapsed CPU time: 0.398939 s Remaining CPU time: 1799.6 s 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 2952 2645 11497 | 5000 0 nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #154 0.39/0.46 c Core size: 53 Core Weight: 1 Total Weight: 1576 0.39/0.46 c Elapsed CPU time: 0.405938 s Remaining CPU time: 1799.59 s 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 2981 2670 11619 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #155 0.39/0.47 c Core size: 82 Core Weight: 1 Total Weight: 1577 0.39/0.47 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.48 c Learning 3 hard constraints 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 3025 2706 11812 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #156 0.39/0.49 c Core size: 118 Core Weight: 1 Total Weight: 1578 0.39/0.49 c Elapsed CPU time: 0.424935 s Remaining CPU time: 1799.58 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 | 3088 2735 12015 | 5000 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #157 0.39/0.49 c Core size: 75 Core Weight: 1 Total Weight: 1579 0.39/0.49 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 3130 2765 12185 | 5000 0 nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #158 0.49/0.51 c Core size: 116 Core Weight: 1 Total Weight: 1580 0.49/0.51 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.49/0.51 c Learning 2 hard constraints 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 3188 2792 12378 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #159 0.49/0.52 c Core size: 81 Core Weight: 1 Total Weight: 1581 0.49/0.52 c Elapsed CPU time: 0.451931 s Remaining CPU time: 1799.55 s 0.49/0.52 c Learning 13 hard constraints 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 3223 2828 12613 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #160 0.49/0.53 c Core size: 106 Core Weight: 1 Total Weight: 1582 0.49/0.53 c Elapsed CPU time: 0.461929 s Remaining CPU time: 1799.54 s 0.49/0.53 c Learning 2 hard constraints 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 3269 2852 12772 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #161 0.49/0.54 c Core size: 62 Core Weight: 1 Total Weight: 1583 0.49/0.54 c Elapsed CPU time: 0.470928 s Remaining CPU time: 1799.53 s 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 3301 2871 12883 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #162 0.49/0.55 c Core size: 92 Core Weight: 1 Total Weight: 1584 0.49/0.55 c Elapsed CPU time: 0.483926 s Remaining CPU time: 1799.52 s 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 3346 2893 13029 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #163 0.49/0.56 c Core size: 77 Core Weight: 1 Total Weight: 1585 0.49/0.56 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.49/0.57 c Learning 2 hard constraints 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 3388 2918 13183 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #164 0.49/0.57 c Core size: 85 Core Weight: 1 Total Weight: 1586 0.49/0.57 c Elapsed CPU time: 0.501923 s Remaining CPU time: 1799.5 s 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 3432 2942 13337 | 5000 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #165 0.49/0.58 c Core size: 61 Core Weight: 1 Total Weight: 1587 0.49/0.58 c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s 0.49/0.59 c Learning 22 hard constraints 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 3451 2978 13600 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #166 0.49/0.59 c Core size: 83 Core Weight: 1 Total Weight: 1588 0.49/0.59 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 3492 3007 13755 | 5000 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c core #167 0.59/0.60 c Core size: 68 Core Weight: 1 Total Weight: 1589 0.59/0.60 c Elapsed CPU time: 0.528919 s Remaining CPU time: 1799.47 s 0.59/0.61 c Learning 1 hard constraints 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 3518 3023 13848 | 5000 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #168 0.59/0.61 c Core size: 99 Core Weight: 1 Total Weight: 1590 0.59/0.61 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.59/0.62 c Learning 6 hard constraints 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 3557 3052 14019 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #169 0.59/0.62 c Core size: 83 Core Weight: 1 Total Weight: 1591 0.59/0.62 c Elapsed CPU time: 0.546916 s Remaining CPU time: 1799.45 s 0.59/0.63 c Learning 1 hard constraints 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 3597 3074 14157 | 5000 0 nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #170 0.59/0.64 c Core size: 106 Core Weight: 1 Total Weight: 1592 0.59/0.64 c Elapsed CPU time: 0.557915 s Remaining CPU time: 1799.44 s 0.59/0.64 c Learning 3 hard constraints 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 3640 3103 14336 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #171 0.59/0.65 c Core size: 72 Core Weight: 1 Total Weight: 1593 0.59/0.65 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 3672 3131 14479 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #172 0.59/0.66 c Core size: 65 Core Weight: 1 Total Weight: 1594 0.59/0.66 c Elapsed CPU time: 0.573912 s Remaining CPU time: 1799.43 s 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 | 3703 3160 14621 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #173 0.59/0.67 c Core size: 88 Core Weight: 1 Total Weight: 1595 0.59/0.67 c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s 0.59/0.68 c Learning 25 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 | 3732 3208 14986 | 5000 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #174 0.59/0.68 c Core size: 54 Core Weight: 1 Total Weight: 1596 0.59/0.68 c Elapsed CPU time: 0.594909 s Remaining CPU time: 1799.41 s 0.59/0.69 c Learning 2 hard constraints 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 | 3754 3231 15093 | 5000 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c core #175 0.59/0.69 c Core size: 41 Core Weight: 1 Total Weight: 1597 0.59/0.69 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.69 c Learning 1 hard constraints 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 | 3771 3248 15170 | 5000 0 nan | 0.000 % | 0.70/0.70 c =============================================================================== 0.70/0.70 c core #176 0.70/0.70 c Core size: 77 Core Weight: 1 Total Weight: 1598 0.70/0.70 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.70/0.70 c ============================[ Search Statistics ]============================== 0.70/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.70/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.70/0.70 c =============================================================================== 0.70/0.70 c | 0 | 3809 3269 15304 | 5000 0 nan | 0.000 % | 0.70/0.71 c =============================================================================== 0.70/0.71 c core #177 0.70/0.71 c Core size: 96 Core Weight: 1 Total Weight: 1599 0.70/0.71 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.70/0.72 c ============================[ Search Statistics ]============================== 0.70/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.70/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.70/0.72 c =============================================================================== 0.70/0.72 c | 0 | 3857 3290 15456 | 5000 0 nan | 0.000 % | 0.70/0.72 c =============================================================================== 0.70/0.72 c core #178 0.70/0.72 c Core size: 75 Core Weight: 1 Total Weight: 1600 0.70/0.72 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.70/0.73 c Learning 6 hard constraints 0.70/0.73 c ============================[ Search Statistics ]============================== 0.70/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.70/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.70/0.73 c =============================================================================== 0.70/0.73 c | 0 | 3890 3320 15624 | 5000 0 nan | 0.000 % | 0.70/0.74 c =============================================================================== 0.70/0.74 c core #179 0.70/0.74 c Core size: 78 Core Weight: 1 Total Weight: 1601 0.70/0.74 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.70/0.74 c Learning 1 hard constraints 0.70/0.74 c ============================[ Search Statistics ]============================== 0.70/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.70/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.70/0.74 c =============================================================================== 0.70/0.74 c | 0 | 3927 3355 15796 | 5000 0 nan | 0.000 % | 0.70/0.75 c =============================================================================== 0.70/0.75 c core #180 0.70/0.75 c Core size: 70 Core Weight: 1 Total Weight: 1602 0.70/0.75 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.70/0.75 c ============================[ Search Statistics ]============================== 0.70/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.70/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.70/0.75 c =============================================================================== 0.70/0.75 c | 0 | 3963 3381 15941 | 5000 0 nan | 0.000 % | 0.70/0.76 c =============================================================================== 0.70/0.76 c core #181 0.70/0.76 c Core size: 110 Core Weight: 1 Total Weight: 1603 0.70/0.76 c Elapsed CPU time: 0.665898 s Remaining CPU time: 1799.33 s 0.70/0.77 c Learning 2 hard constraints 0.70/0.77 c ============================[ Search Statistics ]============================== 0.70/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.70/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.70/0.77 c =============================================================================== 0.70/0.77 c | 0 | 4017 3405 16115 | 5000 0 nan | 0.000 % | 0.70/0.77 c =============================================================================== 0.70/0.77 c core #182 0.70/0.77 c Core size: 98 Core Weight: 1 Total Weight: 1604 0.70/0.77 c Elapsed CPU time: 0.676897 s Remaining CPU time: 1799.32 s 0.70/0.78 c Learning 4 hard constraints 0.70/0.78 c ============================[ Search Statistics ]============================== 0.70/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.70/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.70/0.78 c =============================================================================== 0.70/0.78 c | 0 | 4058 3438 16300 | 5000 0 nan | 0.000 % | 0.70/0.79 c =============================================================================== 0.70/0.79 c core #183 0.70/0.79 c Core size: 90 Core Weight: 1 Total Weight: 1605 0.70/0.79 c Elapsed CPU time: 0.690894 s Remaining CPU time: 1799.31 s 0.70/0.79 c Learning 2 hard constraints 0.70/0.79 c ============================[ Search Statistics ]============================== 0.70/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.70/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.70/0.79 c =============================================================================== 0.70/0.79 c | 0 | 4098 3466 16461 | 5000 0 nan | 0.000 % | 0.79/0.80 c | 100 | 4090 3466 16461 | 5500 100 9 | 0.268 % | 0.79/0.80 c =============================================================================== 0.79/0.81 c core #184 0.79/0.81 c Core size: 107 Core Weight: 1 Total Weight: 1606 0.79/0.81 c Elapsed CPU time: 0.705892 s Remaining CPU time: 1799.29 s 0.79/0.81 c Learning 30 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 | 4140 3522 16978 | 5000 0 nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #185 0.79/0.82 c Core size: 63 Core Weight: 1 Total Weight: 1607 0.79/0.82 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 4169 3540 17084 | 5000 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #186 0.79/0.83 c Core size: 125 Core Weight: 1 Total Weight: 1608 0.79/0.83 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.79/0.84 c Learning 9 hard constraints 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 4219 3581 17365 | 5000 0 nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #187 0.79/0.84 c Core size: 45 Core Weight: 1 Total Weight: 1609 0.79/0.84 c Elapsed CPU time: 0.738887 s Remaining CPU time: 1799.26 s 0.79/0.85 c Learning 2 hard constraints 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 4239 3599 17458 | 5000 0 nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #188 0.79/0.85 c Core size: 112 Core Weight: 1 Total Weight: 1610 0.79/0.85 c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s 0.79/0.86 c Learning 1 hard constraints 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 4292 3630 17657 | 5000 0 nan | 0.000 % | 0.79/0.87 c | 100 | 4281 3630 17657 | 5500 100 8 | 0.512 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #189 0.79/0.87 c Core size: 178 Core Weight: 1 Total Weight: 1611 0.79/0.87 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.79/0.88 c Learning 21 hard constraints 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 4366 3696 18144 | 5000 0 nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c core #190 0.79/0.89 c Core size: 124 Core Weight: 1 Total Weight: 1612 0.79/0.89 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.79/0.89 c Learning 4 hard constraints 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 4423 3728 18369 | 5000 0 nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c core #191 0.89/0.90 c Core size: 81 Core Weight: 1 Total Weight: 1613 0.89/0.90 c Elapsed CPU time: 0.792879 s Remaining CPU time: 1799.21 s 0.89/0.90 c Learning 3 hard constraints 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 4454 3750 18511 | 5000 0 nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c core #192 0.89/0.91 c Core size: 103 Core Weight: 1 Total Weight: 1614 0.89/0.91 c Elapsed CPU time: 0.805877 s Remaining CPU time: 1799.19 s 0.89/0.92 c Learning 16 hard constraints 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 4492 3790 18810 | 5000 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #193 0.89/0.92 c Core size: 74 Core Weight: 1 Total Weight: 1615 0.89/0.92 c Elapsed CPU time: 0.816875 s Remaining CPU time: 1799.18 s 0.89/0.93 c Learning 20 hard constraints 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 4514 3823 19091 | 5000 0 nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c core #194 0.89/0.93 c Core size: 70 Core Weight: 1 Total Weight: 1616 0.89/0.93 c Elapsed CPU time: 0.825874 s Remaining CPU time: 1799.17 s 0.89/0.94 c Learning 1 hard constraints 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 4549 3841 19207 | 5000 0 nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #195 0.89/0.94 c Core size: 58 Core Weight: 1 Total Weight: 1617 0.89/0.94 c Elapsed CPU time: 0.835872 s Remaining CPU time: 1799.16 s 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 4579 3851 19290 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #196 0.89/0.95 c Core size: 72 Core Weight: 1 Total Weight: 1618 0.89/0.95 c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 s 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 4617 3865 19402 | 5000 0 nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #197 0.89/0.97 c Core size: 122 Core Weight: 1 Total Weight: 1619 0.89/0.97 c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 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 | 4684 3878 19568 | 5000 0 nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #198 0.89/0.98 c Core size: 102 Core Weight: 1 Total Weight: 1620 0.89/0.98 c Elapsed CPU time: 0.868867 s Remaining CPU time: 1799.13 s 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 4742 3905 19753 | 5000 0 nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #199 0.89/0.99 c Core size: 83 Core Weight: 1 Total Weight: 1621 0.89/0.99 c Elapsed CPU time: 0.880866 s Remaining CPU time: 1799.12 s 0.99/1.00 c Learning 1 hard constraints 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 4787 3918 19879 | 5000 0 nan | 0.000 % | 0.99/1.01 c | 103 | 4787 3918 19879 | 5500 103 17 | 0.042 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c core #200 0.99/1.01 c Core size: 102 Core Weight: 1 Total Weight: 1622 0.99/1.01 c Elapsed CPU time: 0.897863 s Remaining CPU time: 1799.1 s 0.99/1.02 c Learning 3 hard constraints 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 4838 3931 20013 | 5000 0 nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c core #201 0.99/1.02 c Core size: 71 Core Weight: 1 Total Weight: 1623 0.99/1.02 c Elapsed CPU time: 0.909861 s Remaining CPU time: 1799.09 s 0.99/1.03 c Learning 2 hard constraints 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 4872 3951 20141 | 5000 0 nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #202 0.99/1.03 c Core size: 22 Core Weight: 1 Total Weight: 1624 0.99/1.03 c Elapsed CPU time: 0.91786 s Remaining CPU time: 1799.08 s 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 4883 3961 20189 | 5000 0 nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c core #203 0.99/1.04 c Core size: 27 Core Weight: 1 Total Weight: 1625 0.99/1.04 c Elapsed CPU time: 0.927858 s Remaining CPU time: 1799.07 s 0.99/1.05 c Learning 1 hard constraints 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 4897 3974 20254 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #204 0.99/1.05 c Core size: 44 Core Weight: 1 Total Weight: 1626 0.99/1.05 c Elapsed CPU time: 0.935857 s Remaining CPU time: 1799.06 s 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 4919 3985 20323 | 5000 0 nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c core #205 0.99/1.06 c Core size: 75 Core Weight: 1 Total Weight: 1627 0.99/1.06 c Elapsed CPU time: 0.943856 s Remaining CPU time: 1799.06 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 4959 4010 20472 | 5000 0 nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #206 0.99/1.07 c Core size: 44 Core Weight: 1 Total Weight: 1628 0.99/1.07 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 4982 4020 20540 | 5000 0 nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.08 c core #207 0.99/1.08 c Core size: 43 Core Weight: 1 Total Weight: 1629 0.99/1.08 c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 5004 4037 20629 | 5000 0 nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c core #208 0.99/1.09 c Core size: 98 Core Weight: 1 Total Weight: 1630 0.99/1.09 c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 5057 4064 20811 | 5000 0 nan | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c core #209 1.10/1.11 c Core size: 148 Core Weight: 1 Total Weight: 1631 1.10/1.11 c Elapsed CPU time: 0.988849 s Remaining CPU time: 1799.01 s 1.10/1.12 c Learning 2 hard constraints 1.10/1.12 c ============================[ Search Statistics ]============================== 1.10/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.12 c =============================================================================== 1.10/1.12 c | 0 | 5139 4090 21059 | 5000 0 nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c core #210 1.10/1.12 c Core size: 68 Core Weight: 1 Total Weight: 1632 1.10/1.12 c Elapsed CPU time: 0.998848 s Remaining CPU time: 1799 s 1.10/1.13 c ============================[ Search Statistics ]============================== 1.10/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 5173 4114 21190 | 5000 0 nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c core #211 1.10/1.13 c Core size: 16 Core Weight: 2 Total Weight: 1634 1.10/1.13 c Elapsed CPU time: 1.00785 s Remaining CPU time: 1798.99 s 1.10/1.14 c ============================[ Search Statistics ]============================== 1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.14 c =============================================================================== 1.10/1.14 c | 0 | 5181 4122 21227 | 5000 0 nan | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c core #212 1.10/1.14 c Core size: 17 Core Weight: 2 Total Weight: 1636 1.10/1.14 c Elapsed CPU time: 1.01885 s Remaining CPU time: 1798.98 s 1.10/1.15 c ============================[ Search Statistics ]============================== 1.10/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.15 c =============================================================================== 1.10/1.15 c | 0 | 5189 4129 21260 | 5000 0 nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c core #213 1.10/1.15 c Core size: 46 Core Weight: 1 Total Weight: 1637 1.10/1.15 c Elapsed CPU time: 1.02884 s Remaining CPU time: 1798.97 s 1.10/1.16 c ============================[ Search Statistics ]============================== 1.10/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.16 c =============================================================================== 1.10/1.16 c | 0 | 5212 4148 21355 | 5000 0 nan | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c core #214 1.10/1.16 c Core size: 34 Core Weight: 1 Total Weight: 1638 1.10/1.16 c Elapsed CPU time: 1.03884 s Remaining CPU time: 1798.96 s 1.10/1.17 c Learning 1 hard constraints 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 5229 4163 21431 | 5000 0 nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c core #215 1.10/1.18 c Core size: 88 Core Weight: 1 Total Weight: 1639 1.10/1.18 c Elapsed CPU time: 1.05184 s Remaining CPU time: 1798.95 s 1.10/1.19 c Learning 1 hard constraints 1.10/1.19 c ============================[ Search Statistics ]============================== 1.10/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.19 c =============================================================================== 1.10/1.19 c | 0 | 5274 4189 21599 | 5000 0 nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c core #216 1.10/1.19 c Core size: 62 Core Weight: 1 Total Weight: 1640 1.10/1.19 c Elapsed CPU time: 1.06284 s Remaining CPU time: 1798.94 s 1.10/1.20 c ============================[ Search Statistics ]============================== 1.10/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.20 c =============================================================================== 1.10/1.20 c | 0 | 5305 4210 21716 | 5000 0 nan | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c core #217 1.19/1.20 c Core size: 74 Core Weight: 1 Total Weight: 1641 1.19/1.20 c Elapsed CPU time: 1.07684 s Remaining CPU time: 1798.92 s 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 5345 4233 21859 | 5000 0 nan | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c core #218 1.19/1.22 c Core size: 63 Core Weight: 1 Total Weight: 1642 1.19/1.22 c Elapsed CPU time: 1.08683 s Remaining CPU time: 1798.91 s 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 5377 4252 21973 | 5000 0 nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c core #219 1.19/1.23 c Core size: 67 Core Weight: 1 Total Weight: 1643 1.19/1.23 c Elapsed CPU time: 1.09583 s Remaining CPU time: 1798.9 s 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 5409 4275 22094 | 5000 0 nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c core #220 1.19/1.24 c Core size: 44 Core Weight: 1 Total Weight: 1644 1.19/1.24 c Elapsed CPU time: 1.10683 s Remaining CPU time: 1798.89 s 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 5432 4290 22181 | 5000 0 nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #221 1.19/1.25 c Core size: 72 Core Weight: 1 Total Weight: 1645 1.19/1.25 c Elapsed CPU time: 1.11783 s Remaining CPU time: 1798.88 s 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 5470 4309 22308 | 5000 0 nan | 0.000 % | 1.19/1.26 c =============================================================================== 1.19/1.26 c core #222 1.19/1.26 c Core size: 57 Core Weight: 1 Total Weight: 1646 1.19/1.26 c Elapsed CPU time: 1.12983 s Remaining CPU time: 1798.87 s 1.19/1.27 c ============================[ Search Statistics ]============================== 1.19/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.27 c =============================================================================== 1.19/1.27 c | 0 | 5500 4328 22424 | 5000 0 nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.28 c core #223 1.19/1.28 c Core size: 68 Core Weight: 1 Total Weight: 1647 1.19/1.28 c Elapsed CPU time: 1.14083 s Remaining CPU time: 1798.86 s 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 5535 4345 22542 | 5000 0 nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c core #224 1.19/1.29 c Core size: 114 Core Weight: 1 Total Weight: 1648 1.19/1.29 c Elapsed CPU time: 1.15182 s Remaining CPU time: 1798.85 s 1.28/1.30 c ============================[ Search Statistics ]============================== 1.28/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.30 c =============================================================================== 1.28/1.30 c | 0 | 5601 4356 22699 | 5000 0 nan | 0.000 % | 1.28/1.30 c =============================================================================== 1.28/1.31 c core #225 1.28/1.31 c Core size: 101 Core Weight: 1 Total Weight: 1649 1.28/1.31 c Elapsed CPU time: 1.16582 s Remaining CPU time: 1798.83 s 1.28/1.31 c ============================[ Search Statistics ]============================== 1.28/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.31 c =============================================================================== 1.28/1.31 c | 0 | 5657 4379 22871 | 5000 0 nan | 0.000 % | 1.28/1.32 c =============================================================================== 1.28/1.32 c core #226 1.28/1.32 c Core size: 122 Core Weight: 1 Total Weight: 1650 1.28/1.32 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.28/1.33 c ============================[ Search Statistics ]============================== 1.28/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.33 c =============================================================================== 1.28/1.33 c | 0 | 5723 4402 23065 | 5000 0 nan | 0.000 % | 1.28/1.34 c =============================================================================== 1.28/1.34 c core #227 1.28/1.34 c Core size: 181 Core Weight: 1 Total Weight: 1651 1.28/1.34 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 s 1.28/1.35 c ============================[ Search Statistics ]============================== 1.28/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.35 c =============================================================================== 1.28/1.35 c | 0 | 5824 4419 23310 | 5000 0 nan | 0.000 % | 1.28/1.36 c =============================================================================== 1.28/1.36 c core #228 1.28/1.36 c Core size: 86 Core Weight: 1 Total Weight: 1652 1.28/1.36 c Elapsed CPU time: 1.21281 s Remaining CPU time: 1798.79 s 1.28/1.37 c ============================[ Search Statistics ]============================== 1.28/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.37 c =============================================================================== 1.28/1.37 c | 0 | 5872 4445 23480 | 5000 0 nan | 0.000 % | 1.28/1.38 c =============================================================================== 1.28/1.38 c core #229 1.28/1.38 c Core size: 133 Core Weight: 1 Total Weight: 1653 1.28/1.38 c Elapsed CPU time: 1.22981 s Remaining CPU time: 1798.77 s 1.28/1.39 c ============================[ Search Statistics ]============================== 1.28/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.39 c =============================================================================== 1.28/1.39 c | 0 | 5954 4474 23725 | 5000 0 nan | 0.000 % | 1.28/1.39 c =============================================================================== 1.28/1.39 c core #230 1.28/1.39 c Core size: 70 Core Weight: 1 Total Weight: 1654 1.28/1.39 c Elapsed CPU time: 1.24481 s Remaining CPU time: 1798.76 s 1.38/1.41 c ============================[ Search Statistics ]============================== 1.38/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.41 c =============================================================================== 1.38/1.41 c | 0 | 5993 4490 23844 | 5000 0 nan | 0.000 % | 1.38/1.41 c =============================================================================== 1.38/1.41 c core #231 1.38/1.41 c Core size: 92 Core Weight: 1 Total Weight: 1655 1.38/1.41 c Elapsed CPU time: 1.26381 s Remaining CPU time: 1798.74 s 1.38/1.42 c ============================[ Search Statistics ]============================== 1.38/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.42 c =============================================================================== 1.38/1.42 c | 0 | 6045 4500 23971 | 5000 0 nan | 0.000 % | 1.38/1.43 c =============================================================================== 1.38/1.43 c core #232 1.38/1.43 c Core size: 125 Core Weight: 1 Total Weight: 1656 1.38/1.43 c Elapsed CPU time: 1.2808 s Remaining CPU time: 1798.72 s 1.38/1.44 c ============================[ Search Statistics ]============================== 1.38/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.44 c =============================================================================== 1.38/1.44 c | 0 | 6115 4523 24172 | 5000 0 nan | 0.000 % | 1.38/1.45 c =============================================================================== 1.38/1.45 c core #233 1.38/1.45 c Core size: 83 Core Weight: 1 Total Weight: 1657 1.38/1.45 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.38/1.46 c ============================[ Search Statistics ]============================== 1.38/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.46 c =============================================================================== 1.38/1.46 c | 0 | 6159 4544 24322 | 5000 0 nan | 0.000 % | 1.38/1.47 c =============================================================================== 1.38/1.47 c core #234 1.38/1.47 c Core size: 75 Core Weight: 1 Total Weight: 1658 1.38/1.47 c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s 1.38/1.48 c ============================[ Search Statistics ]============================== 1.38/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.48 c =============================================================================== 1.38/1.48 c | 0 | 6203 4575 24499 | 5000 0 nan | 0.000 % | 1.38/1.48 c =============================================================================== 1.38/1.48 c core #235 1.38/1.48 c Core size: 100 Core Weight: 1 Total Weight: 1659 1.38/1.48 c Elapsed CPU time: 1.3308 s Remaining CPU time: 1798.67 s 1.38/1.50 c ============================[ Search Statistics ]============================== 1.38/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.50 c =============================================================================== 1.38/1.50 c | 0 | 6256 4595 24661 | 5000 0 nan | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c core #236 1.49/1.50 c Core size: 79 Core Weight: 1 Total Weight: 1660 1.49/1.50 c Elapsed CPU time: 1.3478 s Remaining CPU time: 1798.65 s 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 6298 4621 24815 | 5000 0 nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c core #237 1.49/1.52 c Core size: 76 Core Weight: 1 Total Weight: 1661 1.49/1.52 c Elapsed CPU time: 1.36679 s Remaining CPU time: 1798.63 s 1.49/1.53 c Learning 1 hard constraints 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 6340 4649 24987 | 5000 0 nan | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c core #238 1.49/1.55 c Core size: 220 Core Weight: 1 Total Weight: 1662 1.49/1.55 c Elapsed CPU time: 1.38579 s Remaining CPU time: 1798.61 s 1.49/1.56 c Learning 23 hard constraints 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 6460 4708 25603 | 5000 0 nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.57 c core #239 1.49/1.57 c Core size: 177 Core Weight: 1 Total Weight: 1663 1.49/1.57 c Elapsed CPU time: 1.40679 s Remaining CPU time: 1798.59 s 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 6561 4741 25900 | 5000 0 nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c core #240 1.49/1.59 c Core size: 161 Core Weight: 1 Total Weight: 1664 1.49/1.59 c Elapsed CPU time: 1.42778 s Remaining CPU time: 1798.57 s 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 6656 4786 26221 | 5000 0 nan | 0.000 % | 1.59/1.62 c =============================================================================== 1.59/1.62 c core #241 1.59/1.62 c Core size: 190 Core Weight: 1 Total Weight: 1665 1.59/1.62 c Elapsed CPU time: 1.45278 s Remaining CPU time: 1798.55 s 1.59/1.63 c Learning 2 hard constraints 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 6761 4820 26545 | 5000 0 nan | 0.000 % | 1.59/1.64 c | 102 | 6754 4820 26545 | 5500 102 10 | 0.192 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c core #242 1.59/1.64 c Core size: 230 Core Weight: 1 Total Weight: 1666 1.59/1.64 c Elapsed CPU time: 1.47677 s Remaining CPU time: 1798.52 s 1.59/1.65 c Learning 21 hard constraints 1.59/1.65 c ============================[ Search Statistics ]============================== 1.59/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.65 c =============================================================================== 1.59/1.65 c | 0 | 6882 4890 27145 | 5000 0 nan | 0.000 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c core #243 1.59/1.67 c Core size: 173 Core Weight: 1 Total Weight: 1667 1.59/1.67 c Elapsed CPU time: 1.50277 s Remaining CPU time: 1798.5 s 1.59/1.68 c Learning 18 hard constraints 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 6971 4938 27627 | 5000 0 nan | 0.000 % | 1.59/1.69 c =============================================================================== 1.59/1.69 c core #244 1.59/1.69 c Core size: 172 Core Weight: 1 Total Weight: 1668 1.59/1.69 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.68/1.71 c Learning 17 hard constraints 1.68/1.71 c ============================[ Search Statistics ]============================== 1.68/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.71 c =============================================================================== 1.68/1.71 c | 0 | 7050 4992 28088 | 5000 0 nan | 0.000 % | 1.68/1.72 c | 100 | 7047 4992 28088 | 5500 100 11 | 0.113 % | 1.68/1.72 c =============================================================================== 1.68/1.73 c core #245 1.68/1.73 c Core size: 277 Core Weight: 1 Total Weight: 1669 1.68/1.73 c Elapsed CPU time: 1.55276 s Remaining CPU time: 1798.45 s 1.68/1.74 c Learning 24 hard constraints 1.68/1.74 c ============================[ Search Statistics ]============================== 1.68/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.74 c =============================================================================== 1.68/1.74 c | 0 | 7194 5049 28762 | 5000 0 nan | 0.000 % | 1.68/1.75 c | 100 | 7187 5049 28762 | 5500 100 10 | 0.153 % | 1.68/1.75 c =============================================================================== 1.68/1.75 c core #246 1.68/1.75 c Core size: 221 Core Weight: 1 Total Weight: 1670 1.68/1.75 c Elapsed CPU time: 1.58076 s Remaining CPU time: 1798.42 s 1.68/1.77 c Learning 6 hard constraints 1.68/1.77 c ============================[ Search Statistics ]============================== 1.68/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.77 c =============================================================================== 1.68/1.77 c | 0 | 7300 5100 29168 | 5000 0 nan | 0.000 % | 1.68/1.78 c =============================================================================== 1.68/1.78 c core #247 1.68/1.78 c Core size: 176 Core Weight: 1 Total Weight: 1671 1.68/1.78 c Elapsed CPU time: 1.60376 s Remaining CPU time: 1798.4 s 1.68/1.79 c Learning 14 hard constraints 1.68/1.79 c ============================[ Search Statistics ]============================== 1.68/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.79 c =============================================================================== 1.68/1.79 c | 0 | 7382 5142 29589 | 5000 0 nan | 0.000 % | 1.78/1.80 c =============================================================================== 1.78/1.80 c core #248 1.78/1.80 c Core size: 154 Core Weight: 1 Total Weight: 1672 1.78/1.80 c Elapsed CPU time: 1.62275 s Remaining CPU time: 1798.38 s 1.78/1.82 c Learning 1 hard constraints 1.78/1.82 c ============================[ Search Statistics ]============================== 1.78/1.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.78/1.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.78/1.82 c =============================================================================== 1.78/1.82 c | 0 | 7473 5179 29889 | 5000 0 nan | 0.000 % | 1.78/1.82 c =============================================================================== 1.78/1.82 c core #249 1.78/1.82 c Core size: 61 Core Weight: 1 Total Weight: 1673 1.78/1.82 c Elapsed CPU time: 1.64075 s Remaining CPU time: 1798.36 s 1.78/1.83 c Learning 1 hard constraints 1.78/1.83 c ============================[ Search Statistics ]============================== 1.78/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.78/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.78/1.83 c =============================================================================== 1.78/1.83 c | 0 | 7503 5201 30014 | 5000 0 nan | 0.000 % | 1.78/1.84 c =============================================================================== 1.78/1.84 c core #250 1.78/1.84 c Core size: 213 Core Weight: 1 Total Weight: 1674 1.78/1.84 c Elapsed CPU time: 1.66175 s Remaining CPU time: 1798.34 s 1.78/1.86 c ============================[ Search Statistics ]============================== 1.78/1.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.78/1.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.78/1.86 c =============================================================================== 1.78/1.86 c | 0 | 7630 5240 30382 | 5000 0 nan | 0.000 % | 1.78/1.87 c =============================================================================== 1.78/1.87 c core #251 1.78/1.87 c Core size: 262 Core Weight: 1 Total Weight: 1675 1.78/1.87 c Elapsed CPU time: 1.68974 s Remaining CPU time: 1798.31 s 1.78/1.89 c ============================[ Search Statistics ]============================== 1.78/1.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.78/1.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.78/1.89 c =============================================================================== 1.78/1.89 c | 0 | 7787 5271 30779 | 5000 0 nan | 0.000 % | 1.89/1.90 c | 101 | 7783 5271 30779 | 5500 101 13 | 0.103 % | 1.89/1.92 c | 251 | 7779 5271 30779 | 6050 200 11 | 0.282 % | 1.89/1.92 c =============================================================================== 1.89/1.92 c core #252 1.89/1.92 c Core size: 429 Core Weight: 1 Total Weight: 1676 1.89/1.92 c Elapsed CPU time: 1.73074 s Remaining CPU time: 1798.27 s 1.89/1.93 c Learning 50 hard constraints 1.89/1.93 c ============================[ Search Statistics ]============================== 1.89/1.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.93 c =============================================================================== 1.89/1.93 c | 0 | 8033 5369 32086 | 5000 0 nan | 0.000 % | 1.89/1.94 c =============================================================================== 1.89/1.94 c core #253 1.89/1.94 c Core size: 124 Core Weight: 1 Total Weight: 1677 1.89/1.94 c Elapsed CPU time: 1.74873 s Remaining CPU time: 1798.25 s 1.89/1.95 c ============================[ Search Statistics ]============================== 1.89/1.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.95 c =============================================================================== 1.89/1.95 c | 0 | 8102 5395 32290 | 5000 0 nan | 0.000 % | 1.89/1.97 c | 100 | 8097 5395 32290 | 5500 73 10 | 0.111 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c core #254 1.89/1.98 c Core size: 134 Core Weight: 1 Total Weight: 1678 1.89/1.98 c Elapsed CPU time: 1.78773 s Remaining CPU time: 1798.21 s 1.89/1.99 c Learning 26 hard constraints 1.89/1.99 c ============================[ Search Statistics ]============================== 1.89/1.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.99 c =============================================================================== 1.89/1.99 c | 0 | 8169 5437 32821 | 5000 0 nan | 0.000 % | 1.98/2.02 c | 102 | 8169 5437 32821 | 5500 102 17 | 0.049 % | 1.98/2.03 c =============================================================================== 1.98/2.03 c core #255 1.98/2.03 c Core size: 342 Core Weight: 1 Total Weight: 1679 1.98/2.03 c Elapsed CPU time: 1.83772 s Remaining CPU time: 1798.16 s 1.98/2.05 c Learning 13 hard constraints 1.98/2.05 c ============================[ Search Statistics ]============================== 1.98/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.05 c =============================================================================== 1.98/2.05 c | 0 | 8349 5510 33517 | 5000 0 nan | 0.000 % | 1.98/2.06 c =============================================================================== 1.98/2.06 c core #256 1.98/2.06 c Core size: 155 Core Weight: 1 Total Weight: 1680 1.98/2.06 c Elapsed CPU time: 1.86372 s Remaining CPU time: 1798.14 s 1.98/2.08 c Learning 1 hard constraints 1.98/2.08 c ============================[ Search Statistics ]============================== 1.98/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.08 c =============================================================================== 1.98/2.08 c | 0 | 8439 5550 33815 | 5000 0 nan | 0.000 % | 1.98/2.10 c | 100 | 8439 5550 33815 | 5500 100 24 | 0.047 % | 2.08/2.10 c =============================================================================== 2.08/2.10 c core #257 2.08/2.10 c Core size: 93 Core Weight: 1 Total Weight: 1681 2.08/2.10 c Elapsed CPU time: 1.89971 s Remaining CPU time: 1798.1 s 2.08/2.11 c Learning 3 hard constraints 2.08/2.11 c ============================[ Search Statistics ]============================== 2.08/2.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.08/2.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.08/2.11 c =============================================================================== 2.08/2.11 c | 0 | 8483 5565 33968 | 5000 0 nan | 0.000 % | 2.08/2.13 c | 102 | 8483 5565 33968 | 5500 102 32 | 0.047 % | 2.08/2.14 c =============================================================================== 2.08/2.14 c core #258 2.08/2.14 c Core size: 146 Core Weight: 1 Total Weight: 1682 2.08/2.14 c Elapsed CPU time: 1.9367 s Remaining CPU time: 1798.06 s 2.08/2.16 c ============================[ Search Statistics ]============================== 2.08/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.08/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.08/2.16 c =============================================================================== 2.08/2.16 c | 0 | 8570 5616 34286 | 5000 0 nan | 0.000 % | 2.08/2.18 c | 100 | 8570 5616 34286 | 5500 100 25 | 0.047 % | 2.08/2.19 c =============================================================================== 2.08/2.19 c core #259 2.08/2.19 c Core size: 364 Core Weight: 1 Total Weight: 1683 2.08/2.19 c Elapsed CPU time: 1.9897 s Remaining CPU time: 1798.01 s 2.19/2.21 c Learning 14 hard constraints 2.19/2.21 c ============================[ Search Statistics ]============================== 2.19/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.21 c =============================================================================== 2.19/2.21 c | 0 | 8777 5689 35041 | 5000 0 nan | 0.000 % | 2.19/2.23 c | 100 | 8777 5689 35041 | 5500 100 24 | 0.046 % | 2.19/2.24 c =============================================================================== 2.19/2.24 c core #260 2.19/2.24 c Core size: 196 Core Weight: 1 Total Weight: 1684 2.19/2.24 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 2.19/2.25 c Learning 3 hard constraints 2.19/2.25 c ============================[ Search Statistics ]============================== 2.19/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.25 c =============================================================================== 2.19/2.25 c | 0 | 8898 5745 35464 | 5000 0 nan | 0.000 % | 2.19/2.27 c =============================================================================== 2.19/2.27 c core #261 2.19/2.27 c Core size: 273 Core Weight: 1 Total Weight: 1685 2.19/2.27 c Elapsed CPU time: 2.05569 s Remaining CPU time: 1797.94 s 2.19/2.29 c Learning 7 hard constraints 2.19/2.29 c ============================[ Search Statistics ]============================== 2.19/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.29 c =============================================================================== 2.19/2.29 c | 0 | 9045 5802 35971 | 5000 0 nan | 0.000 % | 2.28/2.31 c | 100 | 9045 5802 35971 | 5500 100 29 | 0.044 % | 2.28/2.32 c | 250 | 9044 5802 35971 | 6050 222 18 | 0.066 % | 2.28/2.33 c =============================================================================== 2.28/2.33 c core #262 2.28/2.33 c Core size: 474 Core Weight: 1 Total Weight: 1686 2.28/2.33 c Elapsed CPU time: 2.11068 s Remaining CPU time: 1797.89 s 2.28/2.35 c Learning 44 hard constraints 2.28/2.35 c ============================[ Search Statistics ]============================== 2.28/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.35 c =============================================================================== 2.28/2.35 c | 0 | 9308 5885 37110 | 5000 0 nan | 0.000 % | 2.28/2.37 c | 100 | 9308 5885 37110 | 5500 100 14 | 0.043 % | 2.28/2.38 c =============================================================================== 2.28/2.38 c core #263 2.28/2.38 c Core size: 276 Core Weight: 1 Total Weight: 1687 2.28/2.38 c Elapsed CPU time: 2.14967 s Remaining CPU time: 1797.85 s 2.28/2.39 c Learning 10 hard constraints 2.28/2.39 c ============================[ Search Statistics ]============================== 2.28/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.39 c =============================================================================== 2.28/2.39 c | 0 | 9452 5947 37649 | 5000 0 nan | 0.000 % | 2.37/2.41 c | 100 | 9452 5947 37649 | 5500 100 14 | 0.042 % | 2.37/2.42 c =============================================================================== 2.37/2.42 c core #264 2.37/2.42 c Core size: 235 Core Weight: 1 Total Weight: 1688 2.37/2.42 c Elapsed CPU time: 2.19167 s Remaining CPU time: 1797.81 s 2.37/2.43 c Learning 1 hard constraints 2.37/2.43 c ============================[ Search Statistics ]============================== 2.37/2.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.37/2.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.37/2.44 c =============================================================================== 2.37/2.44 c | 0 | 9591 5976 38013 | 5000 0 nan | 0.000 % | 2.37/2.45 c | 100 | 9591 5976 38013 | 5500 100 16 | 0.042 % | 2.37/2.47 c | 252 | 9586 5976 38013 | 6050 227 12 | 0.094 % | 2.37/2.47 c =============================================================================== 2.37/2.47 c core #265 2.37/2.47 c Core size: 390 Core Weight: 1 Total Weight: 1689 2.37/2.47 c Elapsed CPU time: 2.23966 s Remaining CPU time: 1797.76 s 2.37/2.49 c Learning 22 hard constraints 2.37/2.49 c ============================[ Search Statistics ]============================== 2.37/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.37/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.37/2.49 c =============================================================================== 2.37/2.49 c | 0 | 9784 6022 38708 | 5000 0 nan | 0.000 % | 2.48/2.51 c | 100 | 9782 6022 38708 | 5500 100 14 | 0.082 % | 2.48/2.52 c | 250 | 9771 6022 38708 | 6050 129 9 | 0.378 % | 2.48/2.53 c =============================================================================== 2.48/2.53 c core #266 2.48/2.53 c Core size: 288 Core Weight: 1 Total Weight: 1690 2.48/2.53 c Elapsed CPU time: 2.28865 s Remaining CPU time: 1797.71 s 2.48/2.55 c Learning 14 hard constraints 2.48/2.55 c ============================[ Search Statistics ]============================== 2.48/2.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.55 c =============================================================================== 2.48/2.55 c | 0 | 9945 6071 39280 | 5000 0 nan | 0.000 % | 2.48/2.57 c =============================================================================== 2.48/2.57 c core #267 2.48/2.57 c Core size: 286 Core Weight: 1 Total Weight: 1691 2.48/2.57 c Elapsed CPU time: 2.32565 s Remaining CPU time: 1797.67 s 2.48/2.59 c ============================[ Search Statistics ]============================== 2.48/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.59 c =============================================================================== 2.48/2.59 c | 0 | 10113 6101 39690 | 5000 0 nan | 0.000 % | 2.56/2.60 c | 100 | 10113 6101 39690 | 5500 100 39 | 0.040 % | 2.56/2.62 c =============================================================================== 2.56/2.62 c core #268 2.56/2.62 c Core size: 302 Core Weight: 1 Total Weight: 1692 2.56/2.62 c Elapsed CPU time: 2.37164 s Remaining CPU time: 1797.63 s 2.56/2.64 c Learning 2 hard constraints 2.56/2.64 c ============================[ Search Statistics ]============================== 2.56/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.56/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.56/2.64 c =============================================================================== 2.56/2.64 c | 0 | 10301 6127 40148 | 5000 0 nan | 0.000 % | 2.56/2.66 c | 101 | 10301 6127 40148 | 5500 101 18 | 0.039 % | 2.56/2.68 c | 252 | 10285 6127 40148 | 6050 242 14 | 0.311 % | 2.56/2.69 c =============================================================================== 2.56/2.69 c core #269 2.56/2.69 c Core size: 453 Core Weight: 1 Total Weight: 1693 2.56/2.69 c Elapsed CPU time: 2.43763 s Remaining CPU time: 1797.56 s 2.67/2.71 c ============================[ Search Statistics ]============================== 2.67/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.67/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.67/2.71 c =============================================================================== 2.67/2.71 c | 0 | 10608 6164 40865 | 5000 0 nan | 0.000 % | 2.67/2.73 c | 101 | 10608 6164 40865 | 5500 101 24 | 0.038 % | 2.67/2.76 c | 251 | 10607 6164 40865 | 6050 212 16 | 0.047 % | 2.67/2.78 c =============================================================================== 2.67/2.78 c core #270 2.67/2.78 c Core size: 584 Core Weight: 1 Total Weight: 1694 2.67/2.78 c Elapsed CPU time: 2.52162 s Remaining CPU time: 1797.48 s 2.67/2.80 c Learning 8 hard constraints 2.67/2.80 c ============================[ Search Statistics ]============================== 2.67/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.67/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.67/2.80 c =============================================================================== 2.67/2.80 c | 0 | 11001 6219 41882 | 5000 0 nan | 0.000 % | 2.76/2.82 c | 101 | 11001 6219 41882 | 5500 101 18 | 0.036 % | 2.76/2.84 c | 251 | 11000 6219 41882 | 6050 235 14 | 0.045 % | 2.76/2.86 c | 476 | 11000 6219 41882 | 6655 460 14 | 0.045 % | 2.76/2.88 c =============================================================================== 2.76/2.89 c core #271 2.76/2.89 c Core size: 675 Core Weight: 1 Total Weight: 1695 2.76/2.89 c Elapsed CPU time: 2.6276 s Remaining CPU time: 1797.37 s 2.87/2.91 c Learning 19 hard constraints 2.87/2.91 c ============================[ Search Statistics ]============================== 2.87/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.87/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.87/2.91 c =============================================================================== 2.87/2.91 c | 0 | 11447 6276 43092 | 5000 0 nan | 0.000 % | 2.87/2.93 c | 100 | 11447 6276 43092 | 5500 100 17 | 0.035 % | 2.87/2.95 c | 252 | 11447 6276 43092 | 6050 252 14 | 0.035 % | 2.87/2.98 c | 477 | 11447 6276 43092 | 6655 477 16 | 0.035 % | 2.97/3.03 c | 815 | 11447 6276 43092 | 7320 815 16 | 0.035 % | 2.97/3.10 c =============================================================================== 3.07/3.10 c core #272 3.07/3.10 c Core size: 970 Core Weight: 1 Total Weight: 1696 3.07/3.10 c Elapsed CPU time: 2.83857 s Remaining CPU time: 1797.16 s 3.07/3.13 c Learning 28 hard constraints 3.07/3.13 c ============================[ Search Statistics ]============================== 3.07/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.07/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.07/3.13 c =============================================================================== 3.07/3.13 c | 0 | 12098 6334 44792 | 5000 0 nan | 0.000 % | 3.07/3.15 c | 102 | 12098 6334 44792 | 5500 102 31 | 0.033 % | 3.07/3.17 c | 253 | 12098 6334 44792 | 6050 253 21 | 0.033 % | 3.07/3.19 c | 478 | 12098 6334 44792 | 6655 478 16 | 0.033 % | 3.16/3.23 c | 816 | 12098 6334 44792 | 7320 816 15 | 0.033 % | 3.16/3.28 c | 1323 | 12094 6334 44792 | 8052 1092 14 | 0.066 % | 3.16/3.29 c =============================================================================== 3.27/3.30 c core #273 3.27/3.30 c Core size: 882 Core Weight: 1 Total Weight: 1697 3.27/3.30 c Elapsed CPU time: 3.02854 s Remaining CPU time: 1796.97 s 3.27/3.32 c Learning 32 hard constraints 3.27/3.32 c ============================[ Search Statistics ]============================== 3.27/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.32 c =============================================================================== 3.27/3.32 c | 0 | 12701 6384 46379 | 5000 0 nan | 0.000 % | 3.27/3.35 c | 101 | 12701 6384 46379 | 5500 101 33 | 0.031 % | 3.27/3.37 c | 251 | 12701 6384 46379 | 6050 251 23 | 0.031 % | 3.27/3.40 c | 477 | 12701 6384 46379 | 6655 477 19 | 0.031 % | 3.37/3.45 c | 815 | 12701 6384 46379 | 7320 815 19 | 0.031 % | 3.47/3.53 c | 1322 | 12701 6384 46379 | 8052 1322 19 | 0.031 % | 3.57/3.67 c | 2083 | 12699 6384 46379 | 8857 1698 16 | 0.047 % | 3.66/3.71 c =============================================================================== 3.66/3.73 c core #274 3.66/3.73 c Core size: 956 Core Weight: 1 Total Weight: 1698 3.66/3.73 c Elapsed CPU time: 3.44948 s Remaining CPU time: 1796.55 s 3.66/3.75 c Learning 28 hard constraints 3.66/3.75 c ============================[ Search Statistics ]============================== 3.66/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.66/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.66/3.75 c =============================================================================== 3.66/3.75 c | 0 | 13318 6447 48014 | 5000 0 nan | 0.000 % | 3.66/3.78 c | 100 | 13318 6447 48014 | 5500 100 45 | 0.030 % | 3.77/3.80 c | 250 | 13318 6447 48014 | 6050 250 29 | 0.030 % | 3.77/3.83 c | 475 | 13318 6447 48014 | 6655 475 24 | 0.030 % | 3.77/3.88 c | 812 | 13318 6447 48014 | 7320 812 21 | 0.030 % | 3.87/3.96 c | 1319 | 13318 6447 48014 | 8052 1319 21 | 0.030 % | 3.96/4.09 c | 2079 | 13317 6447 48014 | 8857 1836 20 | 0.038 % | 4.16/4.27 c | 3219 | 13316 6447 48014 | 9743 2807 20 | 0.045 % | 4.37/4.49 c =============================================================================== 4.47/4.53 c core #275 4.47/4.53 c Core size: 1476 Core Weight: 1 Total Weight: 1699 4.47/4.53 c Elapsed CPU time: 4.23036 s Remaining CPU time: 1795.77 s 4.47/4.56 c Learning 16 hard constraints 4.47/4.56 c ============================[ Search Statistics ]============================== 4.47/4.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.47/4.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.47/4.56 c =============================================================================== 4.47/4.56 c | 0 | 14438 6497 50548 | 5000 0 nan | 0.000 % | 4.47/4.59 c | 102 | 14438 6497 50548 | 5500 102 43 | 0.028 % | 4.56/4.62 c | 252 | 14438 6497 50548 | 6050 252 35 | 0.028 % | 4.56/4.67 c | 478 | 14438 6497 50548 | 6655 478 33 | 0.028 % | 4.66/4.72 c | 820 | 14438 6497 50548 | 7320 820 28 | 0.028 % | 4.76/4.81 c | 1326 | 14438 6497 50548 | 8052 1326 28 | 0.028 % | 4.86/4.95 c | 2086 | 14438 6497 50548 | 8857 2086 29 | 0.028 % | 5.06/5.17 c | 3225 | 14438 6497 50548 | 9743 3225 27 | 0.028 % | 5.36/5.47 c | 4933 | 14438 6497 50548 | 10717 4933 24 | 0.028 % | 5.86/5.92 c | 7497 | 14438 6497 50548 | 11789 7497 22 | 0.028 % | 6.67/6.71 c | 11344 | 14436 6497 50548 | 12968 10533 21 | 0.042 % | 7.66/7.78 c =============================================================================== 7.86/7.90 c core #276 7.86/7.90 c Core size: 1409 Core Weight: 1 Total Weight: 1700 7.86/7.90 c Elapsed CPU time: 7.56485 s Remaining CPU time: 1792.44 s 7.86/7.94 c Learning 20 hard constraints 7.86/7.94 c ============================[ Search Statistics ]============================== 7.86/7.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.86/7.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.86/7.94 c =============================================================================== 7.86/7.94 c | 0 | 15482 6542 52917 | 5000 0 nan | 0.000 % | 7.86/7.98 c | 100 | 15482 6542 52917 | 5500 100 52 | 0.026 % | 7.95/8.00 c | 250 | 15482 6542 52917 | 6050 250 42 | 0.026 % | 7.95/8.07 c | 475 | 15482 6542 52917 | 6655 475 29 | 0.026 % | 8.05/8.16 c | 812 | 15482 6542 52917 | 7320 812 26 | 0.026 % | 8.15/8.25 c | 1318 | 15482 6542 52917 | 8052 1318 24 | 0.026 % | 8.25/8.39 c | 2078 | 15482 6542 52917 | 8857 2078 22 | 0.026 % | 8.55/8.63 c | 3218 | 15481 6542 52917 | 9743 3076 22 | 0.032 % | 8.55/8.69 c =============================================================================== 8.66/8.72 c core #277 8.66/8.72 c Core size: 553 Core Weight: 1 Total Weight: 1701 8.66/8.72 c Elapsed CPU time: 8.36573 s Remaining CPU time: 1791.63 s 8.66/8.74 c Learning 12 hard constraints 8.66/8.74 c ============================[ Search Statistics ]============================== 8.66/8.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.66/8.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.66/8.74 c =============================================================================== 8.66/8.74 c | 0 | 15824 6559 53732 | 5000 0 nan | 0.000 % | 8.66/8.78 c | 100 | 15824 6559 53732 | 5500 100 69 | 0.025 % | 8.76/8.81 c | 252 | 15824 6559 53732 | 6050 252 38 | 0.025 % | 8.76/8.86 c | 477 | 15824 6559 53732 | 6655 477 28 | 0.025 % | 8.86/8.92 c | 815 | 15824 6559 53732 | 7320 815 25 | 0.025 % | 8.96/9.01 c | 1322 | 15824 6559 53732 | 8052 1322 25 | 0.025 % | 9.06/9.12 c | 2082 | 15824 6559 53732 | 8857 2082 24 | 0.025 % | 9.16/9.30 c | 3221 | 15824 6559 53732 | 9743 3221 23 | 0.025 % | 9.45/9.60 c | 4929 | 15823 6559 53732 | 10717 4387 21 | 0.032 % | 10.05/10.10 c =============================================================================== 10.05/10.16 c core #278 10.05/10.16 c Core size: 781 Core Weight: 1 Total Weight: 1702 10.05/10.16 c Elapsed CPU time: 9.79351 s Remaining CPU time: 1790.21 s 10.05/10.20 c Learning 23 hard constraints 10.05/10.20 c ============================[ Search Statistics ]============================== 10.05/10.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.05/10.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.05/10.20 c =============================================================================== 10.05/10.20 c | 0 | 16301 6597 54972 | 5000 0 nan | 0.000 % | 10.15/10.23 c | 104 | 16301 6597 54972 | 5500 104 82 | 0.025 % | 10.15/10.27 c | 254 | 16301 6597 54972 | 6050 254 57 | 0.025 % | 10.26/10.33 c | 479 | 16301 6597 54972 | 6655 479 40 | 0.025 % | 10.36/10.40 c | 818 | 16301 6597 54972 | 7320 818 36 | 0.025 % | 10.45/10.52 c | 1326 | 16301 6597 54972 | 8052 1326 32 | 0.025 % | 10.65/10.71 c | 2085 | 16301 6597 54972 | 8857 2085 27 | 0.025 % | 10.95/11.01 c | 3225 | 16301 6597 54972 | 9743 3225 24 | 0.025 % | 11.36/11.49 c | 4934 | 16301 6597 54972 | 10717 4934 24 | 0.025 % | 12.05/12.13 c | 7497 | 16301 6597 54972 | 11789 7497 23 | 0.025 % | 13.25/13.34 c | 11345 | 16301 6597 54972 | 12968 11345 23 | 0.025 % | 14.95/15.08 c | 17113 | 16301 6597 54972 | 14265 10557 23 | 0.025 % | 18.15/18.21 c | 25762 | 16301 6597 54972 | 15692 11973 25 | 0.025 % | 22.55/22.61 c | 38736 | 16300 6597 54972 | 17261 14864 25 | 0.031 % | 25.15/25.22 c =============================================================================== 25.65/25.77 c core #279 25.65/25.77 c Core size: 2139 Core Weight: 1 Total Weight: 1703 25.65/25.77 c Elapsed CPU time: 25.2872 s Remaining CPU time: 1774.71 s 25.74/25.85 c Learning 42 hard constraints 25.74/25.85 c ============================[ Search Statistics ]============================== 25.74/25.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.74/25.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.74/25.85 c =============================================================================== 25.74/25.85 c | 0 | 17982 6668 58845 | 5000 0 nan | 0.000 % | 25.74/25.89 c | 102 | 17982 6668 58845 | 5500 102 66 | 0.022 % | 25.85/25.92 c | 256 | 17982 6668 58845 | 6050 256 44 | 0.022 % | 25.85/26.00 c | 482 | 17982 6668 58845 | 6655 482 35 | 0.022 % | 26.05/26.13 c | 819 | 17982 6668 58845 | 7320 819 32 | 0.022 % | 26.25/26.33 c | 1326 | 17982 6668 58845 | 8052 1326 31 | 0.022 % | 26.45/26.53 c | 2085 | 17982 6668 58845 | 8857 2085 31 | 0.022 % | 26.75/26.87 c | 3227 | 17982 6668 58845 | 9743 3227 31 | 0.022 % | 27.14/27.29 c | 4936 | 17982 6668 58845 | 10717 4936 30 | 0.022 % | 27.94/28.05 c | 7499 | 17982 6668 58845 | 11789 7499 28 | 0.022 % | 29.54/29.60 c | 11345 | 17982 6668 58845 | 12968 11345 31 | 0.022 % | 31.54/31.67 c | 17113 | 17982 6668 58845 | 14265 10537 37 | 0.022 % | 34.83/34.91 c | 25762 | 17982 6668 58845 | 15692 12023 32 | 0.022 % | 39.73/39.88 c | 38736 | 17982 6668 58845 | 17261 9144 28 | 0.022 % | 47.23/47.37 c | 58198 | 17981 6668 58845 | 18987 9641 27 | 0.028 % | 59.82/59.96 c | 87390 | 17980 6668 58845 | 20886 16133 35 | 0.033 % | 83.81/83.98 c | 131180 | 17980 6668 58845 | 22974 17465 61 | 0.033 % | 117.20/117.34 c | 196865 | 17980 6668 58845 | 25272 13863 63 | 0.033 % | 165.89/166.07 c =============================================================================== 170.48/170.62 c core #280 170.48/170.62 c Core size: 2580 Core Weight: 1 Total Weight: 1704 170.48/170.62 c Elapsed CPU time: 169.208 s Remaining CPU time: 1630.79 s 170.77/170.95 c Learning 8 hard constraints 170.77/170.95 c ============================[ Search Statistics ]============================== 170.77/170.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 170.77/170.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 170.77/170.95 c =============================================================================== 170.77/170.95 c | 0 | 20098 6704 63235 | 5000 0 nan | 0.000 % | 170.87/171.05 c | 102 | 20098 6704 63235 | 5500 102 68 | 0.020 % | 170.98/171.12 c | 252 | 20098 6704 63235 | 6050 252 45 | 0.020 % | 170.98/171.19 c | 477 | 20098 6704 63235 | 6655 477 43 | 0.020 % | 171.18/171.30 c | 815 | 20098 6704 63235 | 7320 815 43 | 0.020 % | 171.38/171.51 c | 1321 | 20098 6704 63235 | 8052 1321 54 | 0.020 % | 171.77/171.92 c | 2081 | 20098 6704 63235 | 8857 2081 54 | 0.020 % | 172.27/172.47 c | 3220 | 20098 6704 63235 | 9743 3220 46 | 0.020 % | 172.77/172.95 c | 4928 | 20098 6704 63235 | 10717 4928 47 | 0.020 % | 173.78/173.96 c | 7491 | 20098 6704 63235 | 11789 7491 50 | 0.020 % | 175.47/175.68 c | 11335 | 20098 6704 63235 | 12968 11335 48 | 0.020 % | 177.97/178.12 c | 17104 | 20098 6704 63235 | 14265 10558 51 | 0.020 % | 181.27/181.44 c | 25753 | 20098 6704 63235 | 15692 11934 50 | 0.020 % | 188.17/188.31 c | 38727 | 20098 6704 63235 | 17261 8984 56 | 0.020 % | 200.17/200.32 c | 58188 | 20098 6704 63235 | 18987 10858 63 | 0.020 % | 219.35/219.59 c | 87385 | 20098 6704 63235 | 20886 20369 61 | 0.020 % | 248.55/248.76 c | 131174 | 20098 6704 63235 | 22974 20660 53 | 0.020 % | 287.03/287.24 c | 196858 | 20098 6704 63235 | 25272 15124 65 | 0.020 % | 338.40/338.60 c | 295389 | 20098 6704 63235 | 27799 22929 51 | 0.020 % | 387.99/388.22 c =============================================================================== 390.48/390.79 c core #281 390.48/390.79 c Core size: 852 Core Weight: 1 Total Weight: 1705 390.48/390.79 c Elapsed CPU time: 388.273 s Remaining CPU time: 1411.73 s 390.99/391.22 c ============================[ Search Statistics ]============================== 390.99/391.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 390.99/391.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 390.99/391.22 c =============================================================================== 390.99/391.22 c | 0 | 20653 6718 64378 | 5000 0 nan | 0.000 % | 391.09/391.35 c | 100 | 20653 6718 64378 | 5500 100 44 | 0.019 % | 391.19/391.42 c | 251 | 20653 6718 64378 | 6050 251 39 | 0.019 % | 391.28/391.53 c | 476 | 20653 6718 64378 | 6655 476 36 | 0.019 % | 391.39/391.64 c | 815 | 20653 6718 64378 | 7320 815 38 | 0.019 % | 391.58/391.86 c | 1321 | 20653 6718 64378 | 8052 1321 38 | 0.019 % | 391.98/392.26 c | 2080 | 20653 6718 64378 | 8857 2080 39 | 0.019 % | 392.48/392.75 c | 3220 | 20653 6718 64378 | 9743 3220 45 | 0.019 % | 393.08/393.39 c | 4930 | 20653 6718 64378 | 10717 4930 53 | 0.019 % | 394.68/394.93 c | 7492 | 20653 6718 64378 | 11789 7492 55 | 0.019 % | 396.48/396.77 c | 11336 | 20653 6718 64378 | 12968 11336 54 | 0.019 % | 399.38/399.68 c | 17102 | 20653 6718 64378 | 14265 10333 55 | 0.019 % | 403.88/404.14 c | 25752 | 20653 6718 64378 | 15692 11811 46 | 0.019 % | 410.87/411.12 c | 38728 | 20653 6718 64378 | 17261 8755 37 | 0.019 % | 423.57/423.81 c | 58195 | 20653 6718 64378 | 18987 10422 66 | 0.019 % | 443.76/444.03 c | 87390 | 20653 6718 64378 | 20886 10514 48 | 0.019 % | 472.65/472.96 c | 131181 | 20653 6718 64378 | 22974 11543 54 | 0.019 % | 520.53/520.84 c | 196865 | 20653 6718 64378 | 25272 19095 59 | 0.019 % | 595.50/595.82 c | 295392 | 20653 6718 64378 | 27799 24557 75 | 0.019 % | 684.68/685.05 c | 443182 | 20653 6718 64378 | 30579 25052 59 | 0.019 % | 810.72/811.18 c | 664873 | 20653 6718 64378 | 33637 23726 50 | 0.019 % | 1046.05/1046.55 c | 997400 | 20653 6718 64378 | 37001 24797 59 | 0.019 % | 1385.31/1385.90 c | 1496189 | 20652 6718 64378 | 40701 34040 65 | 0.024 % |
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-1876131-1245133792/watcher-1876131-1245133792 -o /tmp/evaluation-result-1876131-1245133792/solver-1876131-1245133792 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876131-1245133792.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: 0.85 0.97 0.99 3/64 1394 /proc/meminfo: memFree=1927000/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=2524 CPUtime=0 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 180979342 2584576 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 631 185 134 292 0 336 0 [startup+0.102763 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1394 /proc/meminfo: memFree=1927000/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=3568 CPUtime=0.09 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 474 0 0 0 8 1 0 0 18 0 1 0 180979342 3653632 457 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 892 457 135 292 0 597 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3568 [startup+0.201774 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1394 /proc/meminfo: memFree=1927000/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=4580 CPUtime=0.19 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 734 0 0 0 16 3 0 0 18 0 1 0 180979342 4689920 717 1992294400 134512640 135709839 4294956240 18446744073709551615 135166199 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 1145 717 135 292 0 850 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4580 [startup+0.301785 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1394 /proc/meminfo: memFree=1927000/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=5700 CPUtime=0.29 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 999 0 0 0 25 4 0 0 18 0 1 0 180979342 5836800 982 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 1425 982 135 292 0 1130 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5700 [startup+0.701827 s] /proc/loadavg: 0.85 0.97 0.99 3/64 1394 /proc/meminfo: memFree=1927000/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=9064 CPUtime=0.7 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 1850 0 0 0 61 9 0 0 19 0 1 0 180979342 9281536 1811 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 2266 1811 135 292 0 1971 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 9064 [startup+1.50192 s] /proc/loadavg: 0.85 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1916760/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=16488 CPUtime=1.49 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 3906 0 0 0 134 15 0 0 25 0 1 0 180979342 16883712 3605 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1394/statm: 4122 3605 136 292 0 3827 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16488 [startup+3.10108 s] /proc/loadavg: 0.85 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1908376/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=23364 CPUtime=3.07 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 6347 0 0 0 283 24 0 0 25 0 1 0 180979342 23924736 5408 1992294400 134512640 135709839 4294956240 18446744073709551615 134520100 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 5841 5408 136 292 0 5546 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 23364 [startup+6.30143 s] /proc/loadavg: 0.86 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1902168/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=26952 CPUtime=6.26 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 7206 0 0 0 597 29 0 0 25 0 1 0 180979342 27598848 6267 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 6738 6267 136 292 0 6443 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 26952 [startup+12.7021 s] /proc/loadavg: 0.87 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1896816/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=32480 CPUtime=12.65 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 8709 0 0 0 1229 36 0 0 25 0 1 0 180979342 33259520 7594 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 8120 7594 136 292 0 7825 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 32480 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1887784/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=42136 CPUtime=25.45 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 11160 0 0 0 2501 44 0 0 25 0 1 0 180979342 43147264 10045 1992294400 134512640 135709839 4294956240 18446744073709551615 134583612 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 10534 10045 136 292 0 10239 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 42136 [startup+51.1012 s] /proc/loadavg: 0.93 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1874800/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=54880 CPUtime=51.03 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 14361 0 0 0 5042 61 0 0 25 0 1 0 180979342 56197120 13246 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 13720 13246 136 292 0 13425 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 54880 [startup+102.302 s] /proc/loadavg: 0.97 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1827760/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=101384 CPUtime=102.21 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 25964 0 0 0 10128 93 0 0 25 0 1 0 180979342 103817216 24849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 25346 24849 136 292 0 25051 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 101384 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1776944/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=152652 CPUtime=162.18 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 38787 0 0 0 16093 125 0 0 25 0 1 0 180979342 156315648 37672 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 38163 37672 136 292 0 37868 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 152652 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1761776/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=167156 CPUtime=222.16 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 42395 0 0 0 22069 147 0 0 25 0 1 0 180979342 171167744 41280 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 41789 41280 136 292 0 41494 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 167156 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1743536/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=185644 CPUtime=282.12 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 47079 0 0 0 28040 172 0 0 25 0 1 0 180979342 190099456 45964 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 46411 45964 136 292 0 46116 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 185644 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1693872/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=235144 CPUtime=342.11 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 59416 0 0 0 34009 202 0 0 25 0 1 0 180979342 240787456 58301 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 58786 58301 136 292 0 58491 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 235144 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1649200/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=279744 CPUtime=402.08 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 70478 0 0 0 39970 238 0 0 25 0 1 0 180979342 286457856 69363 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 69936 69363 136 292 0 69641 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 279744 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1649136/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=279744 CPUtime=462.06 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 70482 0 0 0 45949 257 0 0 25 0 1 0 180979342 286457856 69367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 69936 69367 136 292 0 69641 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 279744 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1642032/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=286916 CPUtime=522.04 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 72319 0 0 0 51928 276 0 0 25 0 1 0 180979342 293801984 71204 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 71729 71204 136 292 0 71434 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 286916 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1608048/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=320932 CPUtime=582.01 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 80819 0 0 0 57900 301 0 0 25 0 1 0 180979342 328634368 79704 1992294400 134512640 135709839 4294956240 18446744073709551615 134572768 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 80233 79704 136 292 0 79938 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 320932 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1568048/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=361004 CPUtime=641.99 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 90818 0 0 0 63871 328 0 0 25 0 1 0 180979342 369668096 89703 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 90251 89703 136 292 0 89956 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 361004 [startup+702.301 s] ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1383984/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=544432 CPUtime=881.91 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 136600 0 0 0 87751 440 0 0 25 0 1 0 180979342 557498368 135485 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 136108 135485 136 292 0 135813 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 544432 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1341296/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=587444 CPUtime=941.89 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 147331 0 0 0 93720 469 0 0 25 0 1 0 180979342 601542656 146216 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 146861 146216 136 292 0 146566 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 587444 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1296240/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=632308 CPUtime=1001.86 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 158527 0 0 0 99687 499 0 0 25 0 1 0 180979342 647483392 157412 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 158077 157412 136 292 0 157782 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 632308 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1253616/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=675052 CPUtime=1061.84 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 169195 0 0 0 105656 528 0 0 25 0 1 0 180979342 691253248 168080 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 168763 168080 136 292 0 168468 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 675052 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1206064/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=722368 CPUtime=1121.81 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 180983 0 0 0 111624 557 0 0 25 0 1 0 180979342 739704832 179868 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 180592 179868 136 292 0 180297 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 722368 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1171824/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=757288 CPUtime=1181.8 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 189675 0 0 0 117601 579 0 0 25 0 1 0 180979342 775462912 188560 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 189322 188560 136 292 0 189027 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 757288 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1133424/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=794916 CPUtime=1241.78 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 199075 0 0 0 123574 604 0 0 25 0 1 0 180979342 813993984 197960 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 198729 197960 136 292 0 198434 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 794916 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1395 /proc/meminfo: memFree=1084208/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=844244 CPUtime=1301.74 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 211380 0 0 0 129540 634 0 0 25 0 1 0 180979342 864505856 210265 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 211061 210265 136 292 0 210766 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 844244 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=1042160/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=886260 CPUtime=1361.72 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 221882 0 0 0 135513 659 0 0 25 0 1 0 180979342 907530240 220767 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 221565 220767 136 292 0 221270 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 886260 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=998960/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=929192 CPUtime=1421.7 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 232563 0 0 0 141483 687 0 0 25 0 1 0 180979342 951492608 231448 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 232298 231448 136 292 0 232003 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 929192 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=957424/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=970924 CPUtime=1481.67 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 242994 0 0 0 147452 715 0 0 25 0 1 0 180979342 994226176 241879 1992294400 134512640 135709839 4294956240 18446744073709551615 134573890 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 242731 241879 136 292 0 242436 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 970924 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=911088/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=1017040 CPUtime=1541.66 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 254520 0 0 0 153418 748 0 0 25 0 1 0 180979342 1041448960 253405 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 254260 253405 136 292 0 253965 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 1017040 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=869232/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=1059240 CPUtime=1601.62 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 265070 0 0 0 159388 774 0 0 25 0 1 0 180979342 1084661760 263955 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 264810 263955 136 292 0 264515 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 1059240 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=828656/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=1099108 CPUtime=1661.59 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 275048 0 0 0 165356 803 0 0 25 0 1 0 180979342 1125486592 273933 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 274777 273933 136 292 0 274482 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 1099108 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=782832/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=1145328 CPUtime=1721.57 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 286608 0 0 0 171320 837 0 0 25 0 1 0 180979342 1172815872 285493 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 286332 285493 136 292 0 286037 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 1145328 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=747184/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=1180564 CPUtime=1781.55 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 295375 0 0 0 177294 861 0 0 25 0 1 0 180979342 1208897536 294260 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 295141 294260 136 292 0 294846 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 1180564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=735728/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=1191688 CPUtime=1800.04 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4194304 298168 0 0 0 179135 869 0 0 25 0 1 0 180979342 1220288512 297053 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 297922 297053 136 292 0 297627 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1191688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.97 0.99 2/65 1397 /proc/meminfo: memFree=735728/2055920 swapFree=4181536/4192956 [pid=1394] ppid=1392 vsize=0 CPUtime=1800.14 /proc/1394/stat : 1394 (wbo) R 1392 1394 1160 0 -1 4195332 298168 0 0 0 179135 879 0 0 25 0 1 0 180979342 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/1394/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.98 CPU time (s): 1800.23 CPU user time (s): 1791.36 CPU system time (s): 8.86665 CPU usage (%): 99.9581 Max. virtual memory (cumulated for all children) (KiB): 1191688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.36 system time used= 8.86665 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 298168 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10 involuntary context switches= 7544 runsolver used 1.67075 second user time and 4.96724 second system time The end
Begin job on node19 at 2009-06-16 08:29:52 IDJOB=1876131 IDBENCH=1863 IDSOLVER=698 FILE ID=node19/1876131-1245133792 PBS_JOBID= 9363729 Free space on /tmp= 66160 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0033.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-1876131-1245133792/watcher-1876131-1245133792 -o /tmp/evaluation-result-1876131-1245133792/solver-1876131-1245133792 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876131-1245133792.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bdb886a987b9ca760f19a56a745e3c06 RANDOM SEED=687173878 node19.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.234 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.234 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: 1927480 kB Buffers: 6672 kB Cached: 58680 kB SwapCached: 6048 kB Active: 56920 kB Inactive: 17032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927480 kB SwapTotal: 4192956 kB SwapFree: 4181536 kB Dirty: 2812 kB Writeback: 0 kB Mapped: 13420 kB Slab: 40404 kB Committed_AS: 179712 kB PageTables: 1456 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-1876131-1245133792.opb Free space on /tmp at the end= 66156 MiB End job on node19 at 2009-06-16 08:59:55