Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.07 | 1800.63 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12052_2.std.opb |
MD5SUM | 38fb0c3d6aceb5f008836e7f9c186fab |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 201 |
Best CPU time to get the best result obtained on this benchmark | 1800.68 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 72842 |
Total number of constraints | 256243 |
Number of constraints which are clauses | 255043 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
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.01 c wbo 1.4 beta - 20100517 0.00/0.01 c Parsing opb file format. File HOME/instance-2687061-1278446773.opb. 0.00/0.01 c Instance file HOME/instance-2687061-1278446773.opb 0.00/0.01 c File size is 8259517 bytes. 1.39/1.47 c Highest Coefficient sum: 557 1.39/1.47 c ============================[ Problem Statistics ]============================= 1.39/1.47 c | | 1.39/1.47 c | Parsing time: 1.43 s | 1.39/1.47 c | Number Variables: 72842 | 1.39/1.47 c | Number Clauses: 255043 | 1.39/1.47 c | Number Cardinality: 0 | 1.39/1.47 c | Number PB Constraints: 1200 | 96.15/96.20 c ============================[ Search Statistics ]============================== 96.15/96.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.15/96.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.15/96.20 c =============================================================================== 96.15/96.20 c | 0 | 49484 257551 518595 | 85414 0 nan | 0.000 % | 96.15/96.26 c | 100 | 49484 257551 518595 | 93955 100 19 | 32.067 % | 96.25/96.35 c =============================================================================== 96.25/96.35 c New solution: 300 96.25/96.35 o 300 96.25/96.35 c Elapsed CPU time: 96.1104 s Remaining CPU time: 83.8896 s 96.25/96.35 c =============================================================================== 96.25/96.35 c | 219 | 49484 257552 518895 | 85850 219 31 | 32.067 % | 96.35/96.42 c | 319 | 49467 257552 518895 | 94435 319 27 | 32.233 % | 96.45/96.50 c | 469 | 49431 257552 518895 | 103879 469 27 | 32.233 % | 96.55/96.69 c | 695 | 49427 257552 518895 | 114267 695 33 | 32.290 % | 96.84/96.90 c | 1033 | 49321 257552 518895 | 125693 1032 31 | 32.290 % | 96.84/96.96 c =============================================================================== 96.84/96.96 c New solution: 299 96.84/96.96 o 299 96.84/96.96 c Elapsed CPU time: 96.7113 s Remaining CPU time: 83.2887 s 96.84/96.96 c =============================================================================== 96.84/96.96 c | 1045 | 49321 257553 519195 | 85851 1044 31 | 32.290 % | 96.94/97.02 c =============================================================================== 96.94/97.02 c New solution: 298 96.94/97.02 o 298 96.94/97.02 c Elapsed CPU time: 96.7683 s Remaining CPU time: 83.2317 s 96.94/97.02 c =============================================================================== 96.94/97.02 c | 1056 | 49194 257554 519495 | 85851 1055 31 | 32.290 % | 96.94/97.10 c | 1157 | 49167 257554 519495 | 94436 1156 31 | 32.657 % | 97.15/97.21 c | 1309 | 49054 257554 519495 | 103880 1260 31 | 32.657 % | 97.25/97.31 c =============================================================================== 97.25/97.31 c New solution: 297 97.25/97.31 o 297 97.25/97.31 c Elapsed CPU time: 97.0562 s Remaining CPU time: 82.9438 s 97.25/97.31 c =============================================================================== 97.25/97.31 c | 1447 | 49054 257555 519795 | 85851 1398 30 | 32.657 % | 97.25/97.38 c | 1548 | 49034 257555 519795 | 94436 1499 30 | 32.867 % | 97.35/97.49 c | 1698 | 49031 257555 519795 | 103880 1649 30 | 32.867 % | 97.55/97.61 c | 1923 | 48901 257555 519795 | 114268 1824 29 | 32.867 % | 97.55/97.67 c =============================================================================== 97.55/97.67 c New solution: 296 97.55/97.67 o 296 97.55/97.67 c Elapsed CPU time: 97.4162 s Remaining CPU time: 82.5838 s 97.55/97.67 c =============================================================================== 97.55/97.67 c | 1942 | 48901 257556 520095 | 85852 1843 29 | 32.867 % | 97.65/97.73 c =============================================================================== 97.65/97.73 c New solution: 295 97.65/97.73 o 295 97.65/97.73 c Elapsed CPU time: 97.4762 s Remaining CPU time: 82.5238 s 97.65/97.73 c =============================================================================== 97.65/97.73 c | 1964 | 48737 257557 520395 | 85852 1865 29 | 32.867 % | 97.75/97.80 c =============================================================================== 97.75/97.80 c New solution: 294 97.75/97.80 o 294 97.75/97.80 c Elapsed CPU time: 97.5442 s Remaining CPU time: 82.4558 s 97.75/97.80 c =============================================================================== 97.75/97.80 c | 2005 | 48563 257558 520695 | 85852 1906 28 | 32.867 % | 97.75/97.87 c | 2105 | 48555 257558 520695 | 94437 2006 28 | 33.592 % | 97.85/97.97 c =============================================================================== 97.85/97.97 c New solution: 293 97.85/97.97 o 293 97.85/97.97 c Elapsed CPU time: 97.7101 s Remaining CPU time: 82.2899 s 97.85/97.97 c =============================================================================== 97.85/97.97 c | 2244 | 48373 257559 520995 | 85853 2145 29 | 33.592 % | 97.94/98.04 c | 2344 | 48166 257559 520995 | 94438 1805 30 | 33.876 % | 98.04/98.15 c | 2494 | 48166 257559 520995 | 103882 1955 30 | 33.876 % | 98.14/98.21 c =============================================================================== 98.14/98.21 c New solution: 292 98.14/98.21 o 292 98.14/98.21 c Elapsed CPU time: 97.9561 s Remaining CPU time: 82.0439 s 98.14/98.21 c =============================================================================== 98.14/98.21 c | 2508 | 48166 257560 521295 | 85853 1969 30 | 33.876 % | 98.14/98.27 c | 2609 | 48157 257560 521295 | 94438 2070 30 | 34.175 % | 98.25/98.38 c | 2760 | 48157 257560 521295 | 103882 2221 30 | 34.175 % | 98.35/98.45 c =============================================================================== 98.35/98.45 c New solution: 291 98.35/98.45 o 291 98.35/98.45 c Elapsed CPU time: 98.1861 s Remaining CPU time: 81.8139 s 98.35/98.45 c =============================================================================== 98.35/98.45 c | 2768 | 47948 257561 521595 | 85853 2116 30 | 34.175 % | 98.45/98.53 c | 2870 | 47937 257561 521595 | 94439 2218 30 | 34.491 % | 98.55/98.61 c | 3021 | 47936 257561 521595 | 103882 2369 30 | 34.491 % | 98.55/98.67 c =============================================================================== 98.55/98.67 c New solution: 290 98.55/98.67 o 290 98.55/98.67 c Elapsed CPU time: 98.411 s Remaining CPU time: 81.589 s 98.55/98.67 c =============================================================================== 98.55/98.67 c | 3037 | 47718 257562 521895 | 85854 2385 30 | 34.491 % | 98.65/98.74 c =============================================================================== 98.65/98.74 c New solution: 289 98.65/98.74 o 289 98.65/98.74 c Elapsed CPU time: 98.482 s Remaining CPU time: 81.518 s 98.65/98.74 c =============================================================================== 98.65/98.74 c | 3074 | 47476 257563 522195 | 85854 2422 30 | 34.491 % | 98.75/98.81 c =============================================================================== 98.75/98.81 c New solution: 288 98.75/98.81 o 288 98.75/98.81 c Elapsed CPU time: 98.549 s Remaining CPU time: 81.451 s 98.75/98.81 c =============================================================================== 98.75/98.81 c | 3091 | 47234 257564 522495 | 85854 2439 30 | 34.491 % | 98.75/98.90 c | 3192 | 47220 257564 522495 | 94440 2540 30 | 35.488 % | 98.86/99.00 c | 3342 | 46992 257564 522495 | 103884 2219 30 | 35.488 % | 98.96/99.06 c =============================================================================== 98.96/99.06 c New solution: 287 98.96/99.06 o 287 98.96/99.06 c Elapsed CPU time: 98.801 s Remaining CPU time: 81.199 s 98.96/99.06 c =============================================================================== 98.96/99.06 c | 3360 | 46992 257565 522795 | 85855 2237 30 | 35.488 % | 99.05/99.13 c =============================================================================== 99.05/99.13 c New solution: 286 99.05/99.13 o 286 99.05/99.13 c Elapsed CPU time: 98.866 s Remaining CPU time: 81.134 s 99.05/99.13 c =============================================================================== 99.05/99.13 c | 3382 | 46750 257566 523095 | 85855 2259 30 | 35.488 % | 99.15/99.22 c | 3482 | 46743 257566 523095 | 94440 2359 30 | 36.152 % | 99.15/99.29 c =============================================================================== 99.15/99.29 c New solution: 285 99.15/99.29 o 285 99.15/99.29 c Elapsed CPU time: 99.0309 s Remaining CPU time: 80.9691 s 99.15/99.29 c =============================================================================== 99.15/99.29 c | 3508 | 46508 257567 523395 | 85855 2385 30 | 36.152 % | 99.25/99.39 c | 3609 | 46502 257567 523395 | 94441 2486 30 | 36.484 % | 99.35/99.46 c =============================================================================== 99.35/99.46 c New solution: 284 99.35/99.46 o 284 99.35/99.46 c Elapsed CPU time: 99.1999 s Remaining CPU time: 80.8001 s 99.35/99.46 c =============================================================================== 99.35/99.46 c | 3632 | 46266 257568 523695 | 85856 2237 30 | 36.484 % | 99.45/99.53 c =============================================================================== 99.45/99.53 c New solution: 283 99.45/99.53 o 283 99.45/99.53 c Elapsed CPU time: 99.2669 s Remaining CPU time: 80.7331 s 99.45/99.53 c =============================================================================== 99.45/99.53 c | 3666 | 46024 257569 523995 | 85856 2271 30 | 36.484 % | 99.55/99.62 c | 3767 | 46021 257569 523995 | 94441 2372 30 | 37.149 % | 99.65/99.72 c | 3918 | 45957 257569 523995 | 103886 2523 30 | 37.149 % | 99.75/99.84 c | 4143 | 45957 257569 523995 | 114274 2748 30 | 37.149 % | 99.95/100.03 c | 4480 | 45782 257569 523995 | 125702 2828 30 | 37.149 % | 99.95/100.10 c =============================================================================== 99.95/100.10 c New solution: 282 99.95/100.10 o 282 99.95/100.10 c Elapsed CPU time: 99.8318 s Remaining CPU time: 80.1682 s 99.95/100.10 c =============================================================================== 99.95/100.10 c | 4510 | 45782 257570 524295 | 85856 2858 30 | 37.149 % | 100.05/100.16 c =============================================================================== 100.05/100.16 c New solution: 281 100.05/100.16 o 281 100.05/100.16 c Elapsed CPU time: 99.8948 s Remaining CPU time: 80.1052 s 100.05/100.16 c =============================================================================== 100.05/100.16 c | 4538 | 45540 257571 524595 | 85857 2886 30 | 37.149 % | 100.14/100.25 c | 4638 | 45534 257571 524595 | 94442 2986 30 | 37.813 % | 100.24/100.36 c =============================================================================== 100.24/100.36 c New solution: 280 100.24/100.36 o 280 100.24/100.36 c Elapsed CPU time: 100.088 s Remaining CPU time: 79.9122 s 100.24/100.36 c =============================================================================== 100.24/100.36 c | 4729 | 45298 257572 524895 | 85857 3077 30 | 37.813 % | 100.34/100.43 c | 4829 | 45056 257572 524895 | 94443 2959 30 | 38.146 % | 100.34/100.49 c =============================================================================== 100.34/100.49 c New solution: 279 100.34/100.49 o 279 100.34/100.49 c Elapsed CPU time: 100.22 s Remaining CPU time: 79.7802 s 100.34/100.49 c =============================================================================== 100.34/100.49 c | 4853 | 45056 257573 525195 | 85857 2983 30 | 38.146 % | 100.44/100.55 c | 4953 | 45048 257573 525195 | 94443 3083 30 | 38.478 % | 100.54/100.66 c | 5103 | 45041 257573 525195 | 103887 3233 30 | 38.478 % | 100.65/100.73 c =============================================================================== 100.65/100.73 c New solution: 278 100.65/100.73 o 278 100.65/100.73 c Elapsed CPU time: 100.457 s Remaining CPU time: 79.5433 s 100.65/100.73 c =============================================================================== 100.65/100.73 c | 5139 | 44814 257574 525495 | 85858 3269 30 | 38.478 % | 100.75/100.81 c =============================================================================== 100.75/100.81 c New solution: 277 100.75/100.81 o 277 100.75/100.81 c Elapsed CPU time: 100.535 s Remaining CPU time: 79.4653 s 100.75/100.81 c =============================================================================== 100.75/100.81 c | 5220 | 44572 257575 525795 | 85858 3350 30 | 38.478 % | 100.85/100.90 c | 5320 | 44558 257575 525795 | 94444 3450 30 | 39.142 % | 100.85/100.98 c | 5470 | 44330 257575 525795 | 103888 3098 28 | 39.142 % | 100.95/101.07 c =============================================================================== 100.95/101.07 c New solution: 276 100.95/101.07 o 276 100.95/101.07 c Elapsed CPU time: 100.795 s Remaining CPU time: 79.2053 s 100.95/101.07 c =============================================================================== 100.95/101.07 c | 5543 | 44330 257576 526095 | 85858 3171 28 | 39.142 % | 101.05/101.13 c | 5643 | 44327 257576 526095 | 94444 3271 28 | 39.474 % | 101.15/101.24 c | 5793 | 44323 257576 526095 | 103888 3421 28 | 39.474 % | 101.25/101.32 c =============================================================================== 101.25/101.32 c New solution: 275 101.25/101.32 o 275 101.25/101.32 c Elapsed CPU time: 101.04 s Remaining CPU time: 78.9604 s 101.25/101.32 c =============================================================================== 101.25/101.32 c | 5820 | 44088 257577 526395 | 85859 3448 28 | 39.474 % | 101.25/101.38 c | 5922 | 44049 257577 526395 | 94444 3550 28 | 39.807 % | 101.45/101.51 c | 6073 | 43846 257577 526395 | 103889 3425 28 | 39.807 % | 101.55/101.68 c | 6298 | 43846 257577 526395 | 114278 3650 28 | 39.807 % | 101.65/101.74 c =============================================================================== 101.65/101.74 c New solution: 274 101.65/101.74 o 274 101.65/101.74 c Elapsed CPU time: 101.469 s Remaining CPU time: 78.5314 s 101.65/101.74 c =============================================================================== 101.65/101.74 c | 6320 | 43846 257578 526695 | 85859 3672 28 | 39.807 % | 101.74/101.82 c =============================================================================== 101.74/101.82 c New solution: 273 101.74/101.82 o 273 101.74/101.82 c Elapsed CPU time: 101.546 s Remaining CPU time: 78.4544 s 101.74/101.82 c =============================================================================== 101.74/101.82 c | 6355 | 43604 257579 526995 | 85859 3707 28 | 39.807 % | 101.84/101.90 c | 6455 | 43593 257579 526995 | 94445 3807 28 | 40.471 % | 101.94/102.00 c | 6605 | 43362 257579 526995 | 103890 3686 28 | 40.471 % | 101.94/102.08 c =============================================================================== 101.94/102.08 c New solution: 272 101.94/102.08 o 272 101.94/102.08 c Elapsed CPU time: 101.804 s Remaining CPU time: 78.1965 s 101.94/102.08 c =============================================================================== 101.94/102.08 c | 6694 | 43362 257580 527295 | 85860 3775 27 | 40.471 % | 102.04/102.15 c | 6795 | 43353 257580 527295 | 94446 3876 28 | 40.803 % | 102.16/102.26 c | 6947 | 43347 257580 527295 | 103890 4028 28 | 40.803 % | 102.26/102.37 c | 7172 | 43335 257580 527295 | 114279 4253 28 | 40.803 % | 102.45/102.56 c | 7510 | 43120 257580 527295 | 125707 4476 28 | 40.803 % | 102.75/102.87 c | 8017 | 43120 257580 527295 | 138278 4983 28 | 40.803 % | 102.85/102.95 c =============================================================================== 102.85/102.95 c New solution: 271 102.85/102.95 o 271 102.85/102.95 c Elapsed CPU time: 102.659 s Remaining CPU time: 77.3406 s 102.85/102.95 c =============================================================================== 102.85/102.95 c | 8052 | 43120 257581 527595 | 85860 5018 28 | 40.803 % | 102.95/103.03 c =============================================================================== 102.95/103.03 c New solution: 270 102.95/103.03 o 270 102.95/103.03 c Elapsed CPU time: 102.745 s Remaining CPU time: 77.2546 s 102.95/103.03 c =============================================================================== 102.95/103.03 c | 8086 | 42878 257582 527895 | 85860 4926 28 | 40.803 % | 103.04/103.12 c =============================================================================== 103.04/103.12 c New solution: 269 103.04/103.12 o 269 103.04/103.12 c Elapsed CPU time: 102.834 s Remaining CPU time: 77.1656 s 103.04/103.12 c =============================================================================== 103.04/103.12 c | 8152 | 42636 257583 528195 | 85861 4992 28 | 40.803 % | 103.04/103.18 c | 8252 | 42580 257583 528195 | 94447 5092 28 | 41.800 % | 103.14/103.28 c | 8402 | 42580 257583 528195 | 103891 5242 28 | 41.800 % | 103.36/103.44 c | 8628 | 42580 257583 528195 | 114280 5468 29 | 41.800 % | 103.45/103.53 c =============================================================================== 103.45/103.53 c New solution: 268 103.45/103.53 o 268 103.45/103.53 c Elapsed CPU time: 103.236 s Remaining CPU time: 76.7637 s 103.45/103.53 c =============================================================================== 103.45/103.53 c | 8690 | 42394 257584 528495 | 85861 5530 29 | 41.800 % | 103.55/103.61 c =============================================================================== 103.55/103.61 c New solution: 267 103.55/103.61 o 267 103.55/103.61 c Elapsed CPU time: 103.317 s Remaining CPU time: 76.6827 s 103.55/103.61 c =============================================================================== 103.55/103.61 c | 8754 | 42152 257585 528795 | 85861 5035 28 | 41.800 % | 103.55/103.69 c | 8854 | 42147 257585 528795 | 94447 5135 28 | 42.465 % | 103.65/103.75 c =============================================================================== 103.65/103.75 c New solution: 266 103.65/103.75 o 266 103.65/103.75 c Elapsed CPU time: 103.458 s Remaining CPU time: 76.5417 s 103.65/103.75 c =============================================================================== 103.65/103.75 c | 8866 | 41910 257586 529095 | 85862 5147 28 | 42.465 % | 103.75/103.81 c | 8967 | 41909 257586 529095 | 94448 5248 28 | 42.797 % | 103.85/103.92 c | 9117 | 41904 257586 529095 | 103893 5398 28 | 42.797 % | 103.85/103.98 c =============================================================================== 103.85/103.98 c New solution: 265 103.85/103.98 o 265 103.85/103.98 c Elapsed CPU time: 103.688 s Remaining CPU time: 76.3118 s 103.85/103.98 c =============================================================================== 103.85/103.98 c | 9140 | 41668 257587 529395 | 85862 5421 28 | 42.797 % | 103.95/104.05 c =============================================================================== 103.95/104.05 c New solution: 264 103.95/104.05 o 264 103.95/104.05 c Elapsed CPU time: 103.752 s Remaining CPU time: 76.2478 s 103.95/104.05 c =============================================================================== 103.95/104.05 c | 9162 | 41426 257588 529695 | 85862 5443 28 | 42.797 % | 104.05/104.10 c =============================================================================== 104.05/104.11 c New solution: 263 104.05/104.11 o 263 104.05/104.11 c Elapsed CPU time: 103.81 s Remaining CPU time: 76.1898 s 104.05/104.11 c =============================================================================== 104.05/104.11 c | 9178 | 41184 257589 529995 | 85863 5459 28 | 42.797 % | 104.05/104.17 c | 9281 | 41164 257589 529995 | 94449 5562 28 | 43.794 % | 104.25/104.30 c | 9431 | 40942 257589 529995 | 103894 4417 27 | 43.793 % | 104.25/104.37 c =============================================================================== 104.25/104.37 c New solution: 262 104.25/104.37 o 262 104.25/104.37 c Elapsed CPU time: 104.074 s Remaining CPU time: 75.9258 s 104.25/104.37 c =============================================================================== 104.25/104.37 c | 9461 | 40942 257590 530295 | 85863 4447 27 | 43.793 % | 104.35/104.43 c | 9561 | 40942 257590 530295 | 94449 4547 28 | 44.126 % | 104.45/104.56 c | 9712 | 40933 257590 530295 | 103894 4698 28 | 44.126 % | 104.55/104.63 c =============================================================================== 104.55/104.63 c New solution: 261 104.55/104.63 o 261 104.55/104.63 c Elapsed CPU time: 104.336 s Remaining CPU time: 75.6639 s 104.55/104.63 c =============================================================================== 104.55/104.63 c | 9746 | 40700 257591 530595 | 85863 4732 28 | 44.126 % | 104.65/104.71 c =============================================================================== 104.65/104.71 c New solution: 260 104.65/104.71 o 260 104.65/104.71 c Elapsed CPU time: 104.41 s Remaining CPU time: 75.5899 s 104.65/104.71 c =============================================================================== 104.65/104.71 c | 9793 | 40374 257592 530895 | 85864 4779 28 | 44.126 % | 104.65/104.79 c | 9894 | 40154 257592 530895 | 94450 4348 28 | 44.875 % | 104.75/104.89 c | 10044 | 40154 257592 530895 | 103895 4498 28 | 44.875 % | 104.85/104.99 c | 10271 | 40154 257592 530895 | 114284 4725 29 | 44.875 % | 105.04/105.13 c | 10608 | 40154 257592 530895 | 125713 5062 29 | 44.875 % | 105.34/105.46 c | 11114 | 40154 257592 530895 | 138284 5568 29 | 44.875 % | 105.46/105.52 c =============================================================================== 105.46/105.52 c New solution: 259 105.46/105.52 o 259 105.46/105.52 c Elapsed CPU time: 105.222 s Remaining CPU time: 74.778 s 105.46/105.52 c =============================================================================== 105.46/105.52 c | 11137 | 40154 257593 531195 | 85864 5591 29 | 44.875 % | 105.46/105.59 c | 11238 | 39933 257593 531195 | 94450 5538 29 | 45.221 % | 105.65/105.71 c | 11388 | 39933 257593 531195 | 103895 5688 30 | 45.221 % | 105.75/105.85 c =============================================================================== 105.75/105.85 c New solution: 258 105.75/105.85 o 258 105.75/105.85 c Elapsed CPU time: 105.55 s Remaining CPU time: 74.45 s 105.75/105.85 c =============================================================================== 105.75/105.85 c | 11540 | 39902 257594 531495 | 85864 5840 29 | 45.221 % | 105.85/105.94 c =============================================================================== 105.85/105.94 c New solution: 257 105.85/105.94 o 257 105.85/105.94 c Elapsed CPU time: 105.634 s Remaining CPU time: 74.3661 s 105.85/105.94 c =============================================================================== 105.85/105.94 c | 11617 | 39682 257595 531795 | 85865 5917 29 | 45.221 % | 105.95/106.02 c | 11718 | 39672 257595 531795 | 94451 6018 30 | 45.831 % | 106.05/106.14 c | 11868 | 39667 257595 531795 | 103896 6168 30 | 45.831 % | 106.15/106.20 c =============================================================================== 106.15/106.20 c New solution: 256 106.15/106.20 o 256 106.15/106.20 c Elapsed CPU time: 105.901 s Remaining CPU time: 74.0991 s 106.15/106.20 c =============================================================================== 106.15/106.20 c | 11879 | 39458 257596 532095 | 85865 5766 29 | 45.831 % | 106.15/106.27 c | 11979 | 39426 257596 532095 | 94451 5866 29 | 46.141 % | 106.34/106.41 c | 12129 | 39426 257596 532095 | 103897 6016 29 | 46.141 % | 106.34/106.48 c =============================================================================== 106.34/106.48 c New solution: 255 106.34/106.48 o 255 106.34/106.48 c Elapsed CPU time: 106.17 s Remaining CPU time: 73.8301 s 106.34/106.48 c =============================================================================== 106.34/106.48 c | 12158 | 39232 257597 532395 | 85865 6045 29 | 46.141 % | 106.44/106.54 c | 12258 | 39209 257597 532395 | 94452 6145 29 | 46.451 % | 106.55/106.63 c | 12411 | 39209 257597 532395 | 103897 6298 29 | 46.451 % | 106.74/106.80 c | 12636 | 39205 257597 532395 | 114287 6523 29 | 46.451 % | 106.74/106.87 c =============================================================================== 106.74/106.87 c New solution: 254 106.74/106.87 o 254 106.74/106.87 c Elapsed CPU time: 106.565 s Remaining CPU time: 73.4352 s 106.74/106.87 c =============================================================================== 106.74/106.87 c | 12667 | 39006 257598 532695 | 85866 5886 28 | 46.451 % | 106.84/106.94 c =============================================================================== 106.84/106.94 c New solution: 253 106.84/106.94 o 253 106.84/106.94 c Elapsed CPU time: 106.626 s Remaining CPU time: 73.3742 s 106.84/106.94 c =============================================================================== 106.84/106.94 c | 12682 | 38764 257599 532995 | 85866 5901 28 | 46.451 % | 106.94/107.01 c =============================================================================== 106.94/107.01 c New solution: 252 106.94/107.01 o 252 106.94/107.01 c Elapsed CPU time: 106.696 s Remaining CPU time: 73.3042 s 106.94/107.01 c =============================================================================== 106.94/107.01 c | 12697 | 38522 257600 533295 | 85866 5916 28 | 46.451 % | 106.94/107.07 c | 12798 | 38469 257600 533295 | 94453 6017 28 | 47.448 % | 107.04/107.19 c | 12948 | 38467 257600 533295 | 103898 6167 28 | 47.448 % | 107.14/107.25 c =============================================================================== 107.14/107.25 c New solution: 251 107.14/107.25 o 251 107.14/107.25 c Elapsed CPU time: 106.943 s Remaining CPU time: 73.0573 s 107.14/107.25 c =============================================================================== 107.14/107.25 c | 12966 | 38280 257601 533595 | 85867 6185 28 | 47.448 % | 107.24/107.32 c =============================================================================== 107.24/107.32 c New solution: 250 107.24/107.32 o 250 107.24/107.32 c Elapsed CPU time: 107.013 s Remaining CPU time: 72.9873 s 107.24/107.32 c =============================================================================== 107.24/107.32 c | 13008 | 38038 257602 533895 | 85867 6227 28 | 47.448 % | 107.24/107.39 c | 13108 | 38002 257602 533895 | 94454 6327 28 | 48.112 % | 107.44/107.51 c | 13258 | 38000 257602 533895 | 103899 6477 28 | 48.112 % | 107.54/107.67 c | 13484 | 37796 257602 533895 | 114289 5770 28 | 48.112 % | 107.65/107.74 c =============================================================================== 107.65/107.74 c New solution: 249 107.65/107.74 o 249 107.65/107.74 c Elapsed CPU time: 107.424 s Remaining CPU time: 72.5763 s 107.65/107.74 c =============================================================================== 107.65/107.74 c | 13502 | 37796 257603 534195 | 85867 5788 28 | 48.112 % | 107.75/107.82 c =============================================================================== 107.75/107.82 c New solution: 248 107.75/107.82 o 248 107.75/107.82 c Elapsed CPU time: 107.513 s Remaining CPU time: 72.4873 s 107.75/107.82 c =============================================================================== 107.75/107.82 c | 13575 | 37554 257604 534495 | 85868 5861 28 | 48.112 % | 107.75/107.89 c | 13675 | 37547 257604 534495 | 94454 5961 28 | 48.777 % | 107.84/107.99 c | 13826 | 37538 257604 534495 | 103900 6112 28 | 48.777 % | 107.95/108.06 c =============================================================================== 107.95/108.06 c New solution: 247 107.95/108.06 o 247 107.95/108.06 c Elapsed CPU time: 107.752 s Remaining CPU time: 72.2484 s 107.95/108.06 c =============================================================================== 107.95/108.06 c | 13855 | 37312 257605 534795 | 85868 6141 28 | 48.777 % | 108.05/108.14 c | 13956 | 37070 257605 534795 | 94455 5537 27 | 49.109 % | 108.15/108.29 c | 14106 | 37070 257605 534795 | 103900 5687 28 | 49.109 % | 108.25/108.35 c =============================================================================== 108.25/108.35 c New solution: 246 108.25/108.35 o 246 108.25/108.35 c Elapsed CPU time: 108.035 s Remaining CPU time: 71.9654 s 108.25/108.35 c =============================================================================== 108.25/108.35 c | 14133 | 37070 257606 535095 | 85868 5714 28 | 49.109 % | 108.35/108.43 c | 14234 | 37050 257606 535095 | 94455 5815 28 | 49.441 % | 108.45/108.54 c | 14386 | 37046 257606 535095 | 103901 5967 28 | 49.441 % | 108.55/108.63 c =============================================================================== 108.55/108.63 c New solution: 245 108.55/108.63 o 245 108.55/108.63 c Elapsed CPU time: 108.316 s Remaining CPU time: 71.6845 s 108.55/108.63 c =============================================================================== 108.55/108.63 c | 14448 | 36828 257607 535395 | 85869 6029 28 | 49.441 % | 108.65/108.71 c | 14548 | 36586 257607 535395 | 94455 5824 27 | 49.773 % | 108.65/108.78 c =============================================================================== 108.65/108.78 c New solution: 244 108.65/108.78 o 244 108.65/108.78 c Elapsed CPU time: 108.469 s Remaining CPU time: 71.5315 s 108.65/108.78 c =============================================================================== 108.65/108.78 c | 14594 | 36586 257608 535695 | 85869 5870 27 | 49.773 % | 108.75/108.87 c =============================================================================== 108.75/108.87 c New solution: 243 108.75/108.87 o 243 108.75/108.87 c Elapsed CPU time: 108.552 s Remaining CPU time: 71.4475 s 108.75/108.87 c =============================================================================== 108.75/108.87 c | 14674 | 36344 257609 535995 | 85869 5950 27 | 49.773 % | 108.85/108.95 c | 14776 | 36325 257609 535995 | 94456 6052 27 | 50.438 % | 108.94/109.08 c | 14926 | 36319 257609 535995 | 103902 6202 27 | 50.438 % | 109.04/109.18 c =============================================================================== 109.04/109.18 c New solution: 242 109.04/109.18 o 242 109.04/109.18 c Elapsed CPU time: 108.859 s Remaining CPU time: 71.1406 s 109.04/109.18 c =============================================================================== 109.04/109.18 c | 15017 | 36102 257610 536295 | 85870 6293 27 | 50.438 % | 109.14/109.26 c | 15117 | 36061 257610 536295 | 94457 6393 27 | 50.770 % | 109.24/109.36 c | 15267 | 35860 257610 536295 | 103902 5753 26 | 50.770 % | 109.44/109.50 c | 15492 | 35860 257610 536295 | 114292 5978 26 | 50.770 % | 109.54/109.69 c | 15829 | 35860 257610 536295 | 125722 6315 27 | 50.770 % | 109.95/110.05 c | 16335 | 35860 257610 536295 | 138294 6821 27 | 50.770 % | 110.04/110.12 c =============================================================================== 110.04/110.12 c New solution: 241 110.04/110.12 o 241 110.04/110.12 c Elapsed CPU time: 109.802 s Remaining CPU time: 70.1977 s 110.04/110.12 c =============================================================================== 110.04/110.12 c | 16357 | 35860 257611 536595 | 85870 6843 27 | 50.770 % | 110.14/110.20 c =============================================================================== 110.14/110.20 c New solution: 240 110.14/110.20 o 240 110.14/110.20 c Elapsed CPU time: 109.876 s Remaining CPU time: 70.1237 s 110.14/110.20 c =============================================================================== 110.14/110.20 c | 16383 | 35618 257612 536895 | 85870 6577 27 | 50.770 % | 110.14/110.26 c | 16483 | 35617 257612 536895 | 94457 6677 27 | 51.435 % | 110.24/110.33 c =============================================================================== 110.24/110.33 c New solution: 239 110.24/110.33 o 239 110.24/110.33 c Elapsed CPU time: 110.012 s Remaining CPU time: 69.9877 s 110.24/110.33 c =============================================================================== 110.24/110.33 c | 16530 | 35376 257613 537195 | 85871 6724 27 | 51.435 % | 110.34/110.40 c | 16632 | 35326 257613 537195 | 94458 6826 27 | 51.767 % | 110.44/110.50 c | 16782 | 35326 257613 537195 | 103903 6976 27 | 51.767 % | 110.55/110.63 c | 17008 | 35325 257613 537195 | 114294 7202 27 | 51.767 % | 110.75/110.86 c | 17345 | 35323 257613 537195 | 125723 7539 27 | 51.767 % | 110.85/110.93 c =============================================================================== 110.85/110.93 c New solution: 238 110.85/110.93 o 238 110.85/110.93 c Elapsed CPU time: 110.606 s Remaining CPU time: 69.3938 s 110.85/110.93 c =============================================================================== 110.85/110.93 c | 17367 | 35134 257614 537495 | 85871 6777 27 | 51.767 % | 110.85/110.99 c | 17467 | 35088 257614 537495 | 94458 6877 27 | 52.099 % | 110.95/111.08 c | 17618 | 35088 257614 537495 | 103904 7028 27 | 52.099 % | 111.15/111.22 c | 17843 | 35085 257614 537495 | 114294 7253 27 | 52.099 % | 111.25/111.31 c =============================================================================== 111.25/111.31 c New solution: 237 111.25/111.31 o 237 111.25/111.31 c Elapsed CPU time: 110.98 s Remaining CPU time: 69.0199 s 111.25/111.31 c =============================================================================== 111.25/111.31 c | 17931 | 34892 257615 537795 | 85871 7341 27 | 52.099 % | 111.25/111.38 c | 18031 | 34873 257615 537795 | 94458 7441 27 | 52.431 % | 111.35/111.47 c | 18182 | 34873 257615 537795 | 103904 7592 27 | 52.431 % | 111.54/111.64 c | 18408 | 34650 257615 537795 | 114295 7187 27 | 52.431 % | 111.64/111.71 c =============================================================================== 111.64/111.71 c New solution: 236 111.64/111.71 o 236 111.64/111.71 c Elapsed CPU time: 111.385 s Remaining CPU time: 68.6149 s 111.64/111.71 c =============================================================================== 111.64/111.71 c | 18438 | 34650 257616 538095 | 85872 7217 27 | 52.431 % | 111.64/111.79 c =============================================================================== 111.64/111.79 c New solution: 235 111.64/111.79 o 235 111.64/111.79 c Elapsed CPU time: 111.455 s Remaining CPU time: 68.5449 s 111.64/111.79 c =============================================================================== 111.64/111.79 c | 18481 | 34408 257617 538395 | 85872 7260 27 | 52.431 % | 111.74/111.85 c | 18581 | 34370 257617 538395 | 94459 7360 27 | 53.096 % | 111.84/111.95 c | 18731 | 34369 257617 538395 | 103905 7510 27 | 53.096 % | 111.94/112.07 c | 18957 | 34365 257617 538395 | 114296 7736 27 | 53.096 % | 112.24/112.34 c | 19294 | 34166 257617 538395 | 125725 7527 27 | 53.096 % | 112.34/112.41 c =============================================================================== 112.34/112.41 c New solution: 234 112.34/112.41 o 234 112.34/112.41 c Elapsed CPU time: 112.073 s Remaining CPU time: 67.927 s 112.34/112.41 c =============================================================================== 112.34/112.41 c | 19312 | 34166 257618 538695 | 85872 7545 27 | 53.096 % | 112.34/112.46 c =============================================================================== 112.34/112.46 c New solution: 233 112.34/112.46 o 233 112.34/112.46 c Elapsed CPU time: 112.132 s Remaining CPU time: 67.868 s 112.34/112.46 c =============================================================================== 112.34/112.46 c | 19319 | 33924 257619 538995 | 85873 7552 27 | 53.096 % | 112.44/112.53 c =============================================================================== 112.44/112.53 c New solution: 232 112.44/112.53 o 232 112.44/112.53 c Elapsed CPU time: 112.193 s Remaining CPU time: 67.8071 s 112.44/112.53 c =============================================================================== 112.44/112.53 c | 19343 | 33682 257620 539295 | 85873 7576 27 | 53.096 % | 112.54/112.60 c =============================================================================== 112.54/112.60 c New solution: 231 112.54/112.60 o 231 112.54/112.60 c Elapsed CPU time: 112.271 s Remaining CPU time: 67.7291 s 112.54/112.60 c =============================================================================== 112.54/112.60 c | 19404 | 33440 257621 539595 | 85873 7637 27 | 53.096 % | 112.54/112.69 c | 19506 | 33437 257621 539595 | 94461 7739 27 | 54.425 % | 112.65/112.79 c | 19657 | 33431 257621 539595 | 103907 7890 27 | 54.425 % | 112.85/112.90 c | 19882 | 33198 257621 539595 | 114297 6861 26 | 54.425 % | 113.04/113.14 c | 20219 | 33198 257621 539595 | 125727 7198 27 | 54.425 % | 113.15/113.20 c =============================================================================== 113.15/113.20 c New solution: 230 113.15/113.20 o 230 113.15/113.20 c Elapsed CPU time: 112.865 s Remaining CPU time: 67.1352 s 113.15/113.20 c =============================================================================== 113.15/113.20 c | 20233 | 33198 257622 539895 | 85874 7212 27 | 54.425 % | 113.15/113.27 c =============================================================================== 113.15/113.27 c New solution: 229 113.15/113.27 o 229 113.15/113.27 c Elapsed CPU time: 112.933 s Remaining CPU time: 67.0672 s 113.15/113.27 c =============================================================================== 113.15/113.27 c | 20244 | 32956 257623 540195 | 85874 7223 27 | 54.425 % | 113.25/113.33 c =============================================================================== 113.25/113.33 c New solution: 228 113.25/113.34 o 228 113.25/113.34 c Elapsed CPU time: 112.998 s Remaining CPU time: 67.0022 s 113.25/113.34 c =============================================================================== 113.25/113.34 c | 20262 | 32714 257624 540495 | 85874 7241 27 | 54.425 % | 113.34/113.42 c =============================================================================== 113.34/113.42 c New solution: 227 113.34/113.42 o 227 113.34/113.42 c Elapsed CPU time: 113.079 s Remaining CPU time: 66.9212 s 113.34/113.42 c =============================================================================== 113.34/113.42 c | 20327 | 32472 257625 540795 | 85875 7306 27 | 54.425 % | 113.44/113.50 c | 20428 | 32230 257625 540795 | 94462 6399 27 | 55.754 % | 113.54/113.61 c | 20579 | 32230 257625 540795 | 103908 6550 26 | 55.754 % | 113.54/113.69 c =============================================================================== 113.54/113.69 c New solution: 226 113.54/113.69 o 226 113.54/113.69 c Elapsed CPU time: 113.352 s Remaining CPU time: 66.6482 s 113.54/113.69 c =============================================================================== 113.54/113.69 c | 20687 | 32230 257626 541095 | 85875 6658 27 | 55.754 % | 113.64/113.77 c | 20791 | 32228 257626 541095 | 94462 6762 27 | 56.086 % | 113.74/113.86 c | 20942 | 32202 257626 541095 | 103909 6913 27 | 56.086 % | 113.94/114.08 c =============================================================================== 113.94/114.08 c New solution: 225 113.94/114.08 o 225 113.94/114.08 c Elapsed CPU time: 113.74 s Remaining CPU time: 66.2603 s 113.94/114.08 c =============================================================================== 113.94/114.08 c | 21164 | 31988 257627 541395 | 85875 7135 27 | 56.086 % | 114.04/114.18 c | 21264 | 31746 257627 541395 | 94463 6714 27 | 56.418 % | 114.14/114.26 c | 21414 | 31746 257627 541395 | 103909 6864 27 | 56.418 % | 114.34/114.48 c | 21639 | 31746 257627 541395 | 114300 7089 27 | 56.418 % | 114.55/114.68 c | 21976 | 31746 257627 541395 | 125730 7426 27 | 56.418 % | 114.65/114.74 c =============================================================================== 114.65/114.74 c New solution: 224 114.65/114.74 o 224 114.65/114.74 c Elapsed CPU time: 114.396 s Remaining CPU time: 65.6044 s 114.65/114.74 c =============================================================================== 114.65/114.74 c | 21993 | 31746 257628 541695 | 85876 7443 27 | 56.418 % | 114.74/114.84 c =============================================================================== 114.74/114.84 c New solution: 223 114.74/114.84 o 223 114.74/114.84 c Elapsed CPU time: 114.494 s Remaining CPU time: 65.5064 s 114.74/114.84 c =============================================================================== 114.74/114.84 c | 22064 | 31504 257629 541995 | 85876 7168 27 | 56.418 % | 114.84/114.91 c | 22164 | 31497 257629 541995 | 94463 7268 27 | 57.082 % | 114.94/115.02 c | 22315 | 31494 257629 541995 | 103910 7419 27 | 57.082 % | 115.04/115.12 c | 22542 | 31486 257629 541995 | 114301 7646 27 | 57.082 % | 115.14/115.27 c | 22879 | 31486 257629 541995 | 125731 7983 27 | 57.082 % | 115.55/115.61 c | 23385 | 31262 257629 541995 | 138304 8184 27 | 57.083 % | 115.84/115.91 c | 24145 | 31262 257629 541995 | 152135 8944 28 | 57.082 % | 116.34/116.41 c | 25285 | 31262 257629 541995 | 167348 10084 29 | 57.082 % | 117.55/117.61 c | 26993 | 31262 257629 541995 | 184083 11792 30 | 57.082 % | 118.34/118.42 c | 29556 | 31262 257629 541995 | 202491 14355 31 | 57.082 % | 120.04/120.10 c | 33403 | 31262 257629 541995 | 222741 18202 35 | 57.082 % | 124.84/124.93 c | 39170 | 31262 257629 541995 | 245015 23969 39 | 57.082 % | 124.94/125.02 c =============================================================================== 124.94/125.02 c New solution: 222 124.94/125.02 o 222 124.94/125.02 c Elapsed CPU time: 124.612 s Remaining CPU time: 55.3879 s 124.94/125.02 c =============================================================================== 124.94/125.02 c | 39202 | 31262 257630 542295 | 85876 24001 39 | 57.082 % | 125.04/125.12 c | 39303 | 31020 257630 542295 | 94464 23582 39 | 57.415 % | 125.14/125.26 c | 39454 | 31020 257630 542295 | 103910 23733 39 | 57.415 % | 125.44/125.50 c | 39680 | 31020 257630 542295 | 114301 23959 39 | 57.415 % | 125.64/125.71 c | 40017 | 31020 257630 542295 | 125732 24296 39 | 57.415 % | 126.03/126.13 c | 40523 | 31020 257630 542295 | 138305 24802 39 | 57.415 % | 126.13/126.20 c =============================================================================== 126.13/126.20 c New solution: 221 126.13/126.20 o 221 126.13/126.20 c Elapsed CPU time: 125.797 s Remaining CPU time: 54.2031 s 126.13/126.20 c =============================================================================== 126.13/126.20 c | 40544 | 31020 257631 542595 | 85877 24823 39 | 57.415 % | 126.13/126.26 c | 40644 | 30942 257631 542595 | 94464 24923 39 | 57.747 % | 126.24/126.37 c | 40794 | 30942 257631 542595 | 103911 25073 39 | 57.747 % | 126.45/126.57 c | 41021 | 30778 257631 542595 | 114302 24675 39 | 57.747 % | 126.54/126.67 c =============================================================================== 126.54/126.67 c New solution: 220 126.54/126.67 o 220 126.54/126.67 c Elapsed CPU time: 126.259 s Remaining CPU time: 53.7412 s 126.54/126.67 c =============================================================================== 126.54/126.67 c | 41089 | 30778 257632 542895 | 85877 24743 39 | 57.747 % | 126.64/126.76 c | 41189 | 30773 257632 542895 | 94465 24843 39 | 58.079 % | 126.74/126.84 c | 41339 | 30750 257632 542895 | 103911 24993 39 | 58.079 % | 126.84/126.98 c | 41564 | 30750 257632 542895 | 114302 25218 39 | 58.079 % | 126.94/127.06 c =============================================================================== 126.94/127.06 c New solution: 219 126.94/127.06 o 219 126.94/127.06 c Elapsed CPU time: 126.649 s Remaining CPU time: 53.3513 s 126.94/127.06 c =============================================================================== 126.94/127.06 c | 41619 | 30536 257633 543195 | 85877 25273 39 | 58.079 % | 127.04/127.14 c | 41719 | 30527 257633 543195 | 94465 25373 39 | 58.411 % | 127.24/127.30 c | 41871 | 30519 257633 543195 | 103911 25525 39 | 58.411 % | 127.34/127.47 c | 42096 | 30506 257633 543195 | 114303 25750 38 | 58.411 % | 127.54/127.65 c | 42433 | 30506 257633 543195 | 125733 26087 38 | 58.411 % | 127.94/128.09 c | 42939 | 30294 257633 543195 | 138306 24207 37 | 58.411 % | 128.04/128.15 c =============================================================================== 128.04/128.15 c New solution: 218 128.04/128.15 o 218 128.04/128.15 c Elapsed CPU time: 127.74 s Remaining CPU time: 52.2604 s 128.04/128.15 c =============================================================================== 128.04/128.15 c | 42973 | 30294 257634 543495 | 85878 24241 37 | 58.411 % | 128.14/128.22 c | 43075 | 30257 257634 543495 | 94465 24343 37 | 58.744 % | 128.24/128.34 c | 43227 | 30255 257634 543495 | 103912 24495 37 | 58.744 % | 128.33/128.46 c | 43452 | 30250 257634 543495 | 114303 24720 37 | 58.744 % | 128.55/128.64 c | 43789 | 30249 257634 543495 | 125733 25057 37 | 58.744 % | 128.94/129.03 c | 44295 | 30247 257634 543495 | 138307 25563 37 | 58.744 % | 129.34/129.45 c | 45054 | 30047 257634 543495 | 152138 24165 35 | 58.785 % | 130.14/130.26 c | 46193 | 30047 257634 543495 | 167351 25304 35 | 58.785 % | 131.04/131.11 c =============================================================================== 131.04/131.11 c New solution: 217 131.04/131.11 o 217 131.04/131.11 c Elapsed CPU time: 130.674 s Remaining CPU time: 49.3259 s 131.04/131.11 c =============================================================================== 131.04/131.11 c | 47817 | 30022 257635 543795 | 85878 26927 36 | 58.785 % | 131.04/131.18 c | 47918 | 29982 257635 543795 | 94466 27028 36 | 59.117 % | 131.24/131.32 c | 48068 | 29982 257635 543795 | 103912 27178 36 | 59.117 % | 131.34/131.45 c | 48296 | 29978 257635 543795 | 114304 27406 36 | 59.117 % | 131.54/131.66 c | 48634 | 29976 257635 543795 | 125734 27744 36 | 59.117 % | 131.94/132.07 c | 49140 | 29780 257635 543795 | 138307 27111 36 | 59.117 % | 132.03/132.15 c =============================================================================== 132.03/132.15 c New solution: 216 132.03/132.15 o 216 132.03/132.15 c Elapsed CPU time: 131.715 s Remaining CPU time: 48.285 s 132.03/132.15 c =============================================================================== 132.03/132.15 c | 49220 | 29780 257636 544095 | 85878 27191 36 | 59.117 % | 132.13/132.26 c | 49322 | 29764 257636 544095 | 94466 27293 36 | 59.449 % | 132.23/132.37 c | 49473 | 29763 257636 544095 | 103913 27444 36 | 59.449 % | 132.33/132.48 c | 49699 | 29757 257636 544095 | 114304 27670 36 | 59.449 % | 132.53/132.68 c | 50037 | 29757 257636 544095 | 125734 28008 35 | 59.449 % | 133.05/133.14 c | 50544 | 29753 257636 544095 | 138308 28515 36 | 59.449 % | 133.44/133.51 c | 51303 | 29538 257636 544095 | 152139 27408 35 | 59.449 % | 134.14/134.23 c | 52443 | 29538 257636 544095 | 167353 28548 36 | 59.449 % | 135.34/135.41 c | 54151 | 29533 257636 544095 | 184088 30256 36 | 59.565 % | 135.44/135.55 c =============================================================================== 135.44/135.55 c New solution: 215 135.44/135.55 o 215 135.44/135.55 c Elapsed CPU time: 135.101 s Remaining CPU time: 44.8985 s 135.44/135.55 c =============================================================================== 135.44/135.55 c | 54287 | 29454 257637 544395 | 85879 30285 36 | 59.565 % | 135.54/135.63 c | 54390 | 29448 257637 544395 | 94466 30388 36 | 59.867 % | 135.64/135.78 c | 54540 | 29443 257637 544395 | 103913 30538 36 | 59.867 % | 135.84/135.99 c | 54765 | 29438 257637 544395 | 114304 30763 36 | 59.867 % | 136.04/136.13 c | 55102 | 29430 257637 544395 | 125735 31100 36 | 59.867 % | 136.34/136.48 c | 55609 | 29430 257637 544395 | 138308 31607 36 | 59.867 % | 137.03/137.11 c | 56369 | 29426 257637 544395 | 152139 32367 36 | 59.867 % | 137.24/137.33 c =============================================================================== 137.24/137.33 c New solution: 214 137.24/137.33 o 214 137.24/137.33 c Elapsed CPU time: 136.871 s Remaining CPU time: 43.1288 s 137.24/137.33 c =============================================================================== 137.24/137.33 c | 56804 | 29234 257638 544695 | 85879 31645 36 | 59.867 % | 137.35/137.42 c | 56906 | 29192 257638 544695 | 94467 31747 35 | 60.169 % | 137.45/137.55 c | 57056 | 29191 257638 544695 | 103913 31897 35 | 60.169 % | 137.54/137.69 c | 57283 | 29189 257638 544695 | 114305 32124 35 | 60.169 % | 137.94/138.01 c | 57621 | 29188 257638 544695 | 125735 32462 35 | 60.169 % | 138.04/138.18 c | 58128 | 29184 257638 544695 | 138309 32969 35 | 60.169 % | 138.54/138.62 c | 58887 | 29182 257638 544695 | 152140 33728 35 | 60.169 % | 139.54/139.62 c | 60026 | 29014 257638 544695 | 167354 33625 35 | 60.169 % | 140.33/140.41 c | 61734 | 29014 257638 544695 | 184089 35333 36 | 60.169 % | 141.43/141.57 c | 64298 | 29014 257638 544695 | 202498 37897 36 | 60.169 % | 145.14/145.27 c | 68144 | 29014 257638 544695 | 222748 41743 37 | 60.169 % | 145.23/145.34 c =============================================================================== 145.23/145.34 c New solution: 213 145.23/145.34 o 213 145.23/145.34 c Elapsed CPU time: 144.854 s Remaining CPU time: 35.146 s 145.23/145.34 c =============================================================================== 145.23/145.34 c | 68174 | 29014 257639 544995 | 85879 41773 37 | 60.169 % | 145.33/145.46 c | 68275 | 28794 257639 544995 | 94467 40260 37 | 60.471 % | 145.43/145.59 c | 68425 | 28794 257639 544995 | 103914 40410 37 | 60.471 % | 145.73/145.82 c | 68651 | 28794 257639 544995 | 114305 40636 37 | 60.471 % | 145.73/145.88 c =============================================================================== 145.73/145.88 c New solution: 212 145.73/145.88 o 212 145.73/145.88 c Elapsed CPU time: 145.391 s Remaining CPU time: 34.6091 s 145.73/145.88 c =============================================================================== 145.73/145.88 c | 68696 | 28794 257640 545295 | 85880 40681 37 | 60.471 % | 145.83/145.97 c | 68796 | 28761 257640 545295 | 94468 40781 37 | 60.778 % | 145.94/146.08 c | 68946 | 28761 257640 545295 | 103914 40931 37 | 60.778 % | 146.14/146.28 c | 69171 | 28756 257640 545295 | 114306 41156 37 | 60.778 % | 146.34/146.45 c | 69508 | 28751 257640 545295 | 125736 41493 37 | 60.778 % | 146.73/146.82 c | 70014 | 28751 257640 545295 | 138310 41999 37 | 60.778 % | 146.83/146.98 c =============================================================================== 146.83/146.98 c New solution: 211 146.83/146.98 o 211 146.83/146.98 c Elapsed CPU time: 146.481 s Remaining CPU time: 33.5193 s 146.83/146.98 c =============================================================================== 146.83/146.98 c | 70226 | 28570 257641 545595 | 85880 42211 37 | 60.778 % | 146.93/147.07 c | 70327 | 28565 257641 545595 | 94468 42312 37 | 61.127 % | 147.13/147.22 c | 70477 | 28559 257641 545595 | 103915 42462 37 | 61.127 % | 147.24/147.37 c | 70705 | 28541 257641 545595 | 114306 42690 37 | 61.127 % | 147.54/147.66 c | 71043 | 28316 257641 545595 | 125737 39225 37 | 61.127 % | 148.03/148.11 c | 71549 | 28316 257641 545595 | 138311 39731 37 | 61.127 % | 148.13/148.23 c =============================================================================== 148.13/148.23 c New solution: 210 148.13/148.23 o 210 148.13/148.23 c Elapsed CPU time: 147.72 s Remaining CPU time: 32.2805 s 148.13/148.23 c =============================================================================== 148.13/148.23 c | 71748 | 28316 257642 545895 | 85880 39930 37 | 61.127 % | 148.23/148.32 c | 71849 | 28276 257642 545895 | 94468 40031 37 | 61.454 % | 148.34/148.46 c | 72000 | 28276 257642 545895 | 103915 40182 37 | 61.454 % | 148.53/148.65 c | 72225 | 28276 257642 545895 | 114307 40407 37 | 61.454 % | 148.74/148.82 c | 72565 | 28272 257642 545895 | 125737 40747 37 | 61.454 % | 149.04/149.16 c | 73073 | 28272 257642 545895 | 138311 41255 37 | 61.454 % | 149.74/149.82 c | 73832 | 28270 257642 545895 | 152142 42014 37 | 61.454 % | 149.94/150.07 c =============================================================================== 149.94/150.07 c New solution: 209 149.94/150.07 o 209 149.94/150.07 c Elapsed CPU time: 149.548 s Remaining CPU time: 30.4517 s 149.94/150.07 c =============================================================================== 149.94/150.07 c | 74211 | 28078 257643 546195 | 85881 40377 37 | 61.454 % | 150.03/150.17 c | 74312 | 28074 257643 546195 | 94469 40478 37 | 61.780 % | 150.23/150.34 c | 74462 | 28071 257643 546195 | 103916 40628 37 | 61.780 % | 150.33/150.46 c | 74689 | 28057 257643 546195 | 114307 40855 37 | 61.780 % | 150.54/150.62 c | 75027 | 28057 257643 546195 | 125738 41193 37 | 61.780 % | 150.93/151.08 c | 75533 | 28053 257643 546195 | 138312 41699 37 | 61.780 % | 151.33/151.49 c | 76292 | 28041 257643 546195 | 152143 42458 37 | 61.783 % | 152.53/152.66 c | 77433 | 28041 257643 546195 | 167357 43599 37 | 61.783 % | 153.23/153.36 c =============================================================================== 153.23/153.36 c New solution: 208 153.23/153.36 o 208 153.23/153.36 c Elapsed CPU time: 152.82 s Remaining CPU time: 27.1802 s 153.23/153.36 c =============================================================================== 153.23/153.36 c | 78985 | 27838 257644 546495 | 85881 42985 37 | 61.783 % | 153.33/153.46 c | 79086 | 27832 257644 546495 | 94469 43086 37 | 62.110 % | 153.43/153.58 c | 79238 | 27818 257644 546495 | 103916 43238 37 | 62.110 % | 153.63/153.75 c | 79463 | 27817 257644 546495 | 114308 43463 37 | 62.110 % | 153.94/154.03 c | 79800 | 27815 257644 546495 | 125738 43800 37 | 62.110 % | 154.23/154.30 c | 80306 | 27808 257644 546495 | 138312 44306 37 | 62.110 % | 154.83/154.98 c | 81066 | 27808 257644 546495 | 152144 45066 37 | 62.110 % | 155.43/155.50 c | 82205 | 27600 257644 546495 | 167358 44749 36 | 62.110 % | 156.43/156.52 c | 83913 | 27600 257644 546495 | 184094 46457 37 | 62.110 % | 158.53/158.63 c | 86475 | 27600 257644 546495 | 202503 49019 37 | 62.110 % | 160.72/160.85 c | 90320 | 27600 257644 546495 | 222754 52864 38 | 62.110 % | 165.03/165.16 c | 96086 | 27600 257644 546495 | 245029 58630 41 | 62.110 % | 170.93/171.04 c | 104735 | 27516 257644 546495 | 269532 67049 42 | 62.225 % | 180.52/180.67 c There are 45326 assigned variables. 203 in cost function. 182.03/182.19 c core #1 182.03/182.19 c core #2 182.03/182.19 c core #3 182.03/182.19 c core #4 182.03/182.19 c core #5 182.03/182.19 c core #6 182.03/182.19 c ============================[ Search Statistics ]============================== 182.03/182.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.19 c =============================================================================== 182.03/182.19 c | 0 | 5892 133052 218425 | 44350 0 nan | 0.000 % | 182.13/182.20 c =============================================================================== 182.32/182.40 c core #7 182.32/182.40 c ============================[ Search Statistics ]============================== 182.32/182.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.32/182.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.32/182.40 c =============================================================================== 182.32/182.40 c | 0 | 6353 133143 218897 | 44381 0 nan | 0.000 % | 182.32/182.41 c =============================================================================== 182.53/182.62 c core #8 182.53/182.62 c ============================[ Search Statistics ]============================== 182.53/182.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.62 c =============================================================================== 182.53/182.62 c | 0 | 6771 133233 219370 | 44411 0 nan | 0.000 % | 182.53/182.65 c =============================================================================== 182.72/182.85 c core #9 182.72/182.85 c ============================[ Search Statistics ]============================== 182.72/182.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.72/182.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.72/182.85 c =============================================================================== 182.72/182.85 c | 0 | 7104 133322 219837 | 44440 0 nan | 0.000 % | 182.72/182.87 c =============================================================================== 182.92/183.08 c core #10 182.92/183.08 c ============================[ Search Statistics ]============================== 182.92/183.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.92/183.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.92/183.08 c =============================================================================== 182.92/183.08 c | 0 | 7446 133410 220302 | 44470 0 nan | 0.000 % | 183.02/183.13 c =============================================================================== 183.22/183.33 c core #11 183.22/183.33 c ============================[ Search Statistics ]============================== 183.22/183.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.33 c =============================================================================== 183.22/183.33 c | 0 | 7801 133498 220772 | 44499 0 nan | 0.000 % | 183.22/183.39 c | 100 | 7798 133498 220772 | 48949 100 20 | 91.126 % | 183.32/183.40 c =============================================================================== 183.53/183.61 c core #12 183.53/183.61 c ============================[ Search Statistics ]============================== 183.53/183.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.53/183.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.53/183.61 c =============================================================================== 183.53/183.61 c | 0 | 8129 133586 221245 | 44528 0 nan | 0.000 % | 183.53/183.67 c | 100 | 8129 133586 221245 | 48981 100 16 | 89.006 % | 183.63/183.71 c =============================================================================== 183.82/183.91 c core #13 183.82/183.91 c ============================[ Search Statistics ]============================== 183.82/183.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.82/183.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.82/183.91 c =============================================================================== 183.82/183.91 c | 0 | 8456 133673 221716 | 44557 0 nan | 0.000 % | 183.82/183.97 c | 101 | 8456 133673 221716 | 49013 101 15 | 88.577 % | 183.92/184.06 c | 252 | 8443 133673 221716 | 53914 252 19 | 89.632 % | 183.92/184.06 c =============================================================================== 184.13/184.27 c core #14 184.13/184.27 c ============================[ Search Statistics ]============================== 184.13/184.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.27 c =============================================================================== 184.13/184.27 c | 0 | 8782 133760 222191 | 44586 0 nan | 0.000 % | 184.23/184.33 c | 101 | 8782 133760 222191 | 49045 101 13 | 88.150 % | 184.33/184.43 c | 252 | 8781 133760 222191 | 53949 252 18 | 88.165 % | 184.43/184.53 c =============================================================================== 184.63/184.74 c core #15 184.63/184.74 c ============================[ Search Statistics ]============================== 184.63/184.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.74 c =============================================================================== 184.63/184.74 c | 0 | 9107 133848 222667 | 44616 0 nan | 0.000 % | 184.73/184.80 c | 101 | 9107 133848 222667 | 49077 101 17 | 87.725 % | 184.73/184.89 c | 251 | 9095 133848 222667 | 53985 251 20 | 88.111 % | 184.92/185.01 c | 476 | 8674 133848 222667 | 59383 371 18 | 89.332 % | 184.92/185.02 c =============================================================================== 185.12/185.23 c core #16 185.12/185.23 c ============================[ Search Statistics ]============================== 185.12/185.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.23 c =============================================================================== 185.12/185.23 c | 0 | 9431 133932 223139 | 44644 0 nan | 0.000 % | 185.12/185.29 c | 100 | 9431 133932 223139 | 49108 100 16 | 87.303 % | 185.22/185.38 c | 250 | 9430 133932 223139 | 54019 250 19 | 87.437 % | 185.32/185.50 c | 475 | 9429 133932 223139 | 59421 475 21 | 87.437 % | 185.52/185.65 c | 812 | 9308 133932 223139 | 65363 783 22 | 88.481 % | 185.52/185.67 c =============================================================================== 185.73/185.88 c core #17 185.73/185.88 c ============================[ Search Statistics ]============================== 185.73/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.88 c =============================================================================== 185.73/185.88 c | 0 | 9754 134016 223612 | 44672 0 nan | 0.000 % | 185.82/185.94 c | 100 | 9754 134016 223612 | 49139 100 14 | 86.882 % | 185.92/186.03 c | 251 | 9753 134016 223612 | 54053 251 20 | 86.887 % | 186.03/186.13 c | 476 | 9753 134016 223612 | 59458 476 20 | 86.887 % | 186.22/186.34 c | 814 | 9750 134016 223612 | 65404 813 24 | 86.887 % | 186.52/186.60 c =============================================================================== 186.72/186.81 c core #18 186.72/186.81 c ============================[ Search Statistics ]============================== 186.72/186.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.72/186.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.72/186.81 c =============================================================================== 186.72/186.81 c | 0 | 10076 134098 224086 | 44699 0 nan | 0.000 % | 186.72/186.88 c | 105 | 10076 134098 224086 | 49169 105 20 | 86.464 % | 186.82/186.99 c | 255 | 10076 134098 224086 | 54086 255 23 | 86.464 % | 187.02/187.12 c | 481 | 10055 134098 224086 | 59494 478 24 | 86.492 % | 187.22/187.31 c | 819 | 10055 134098 224086 | 65444 816 24 | 86.492 % | 187.42/187.59 c | 1325 | 9616 134098 224086 | 71988 1207 24 | 87.082 % | 187.93/188.03 c | 2085 | 8530 134098 224086 | 79187 925 23 | 89.309 % | 187.93/188.03 c =============================================================================== 188.12/188.24 c core #19 188.12/188.24 c ============================[ Search Statistics ]============================== 188.12/188.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.12/188.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.12/188.24 c =============================================================================== 188.12/188.24 c | 0 | 10397 134180 224564 | 44726 0 nan | 0.000 % | 188.22/188.30 c | 101 | 10397 134180 224564 | 49199 101 20 | 86.047 % | 188.22/188.39 c | 251 | 10397 134180 224564 | 54119 251 22 | 86.047 % | 188.42/188.52 c | 477 | 10397 134180 224564 | 59531 477 26 | 86.047 % | 188.63/188.72 c | 814 | 10397 134180 224564 | 65484 814 26 | 86.047 % | 188.82/188.99 c | 1320 | 10266 134180 224564 | 72032 1149 25 | 86.231 % | 189.32/189.46 c | 2080 | 10266 134180 224564 | 79236 1909 28 | 86.231 % | 190.02/190.13 c | 3219 | 9023 134180 224564 | 87159 1212 21 | 88.728 % | 190.02/190.15 c =============================================================================== 190.23/190.36 c core #20 190.23/190.36 c ============================[ Search Statistics ]============================== 190.23/190.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.23/190.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.23/190.36 c =============================================================================== 190.23/190.36 c | 0 | 10717 134272 225067 | 44757 0 nan | 0.000 % | 190.32/190.42 c | 100 | 10716 134272 225067 | 49233 100 16 | 85.638 % | 190.42/190.52 c | 252 | 10716 134272 225067 | 54156 252 25 | 85.638 % | 190.52/190.65 c | 478 | 10716 134272 225067 | 59572 478 26 | 85.638 % | 190.72/190.83 c | 815 | 10711 134272 225067 | 65529 814 25 | 85.748 % | 191.02/191.10 c | 1321 | 10631 134272 225067 | 72082 1315 27 | 85.748 % | 191.42/191.55 c | 2081 | 10631 134272 225067 | 79290 2075 29 | 85.748 % | 192.11/192.27 c | 3220 | 10600 134272 225067 | 87219 3092 30 | 85.790 % | 192.92/193.07 c =============================================================================== 193.12/193.28 c core #21 193.12/193.28 c ============================[ Search Statistics ]============================== 193.12/193.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.12/193.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.12/193.28 c =============================================================================== 193.12/193.28 c | 0 | 11036 134353 225547 | 44784 0 nan | 0.000 % | 193.22/193.35 c | 100 | 11036 134353 225547 | 49262 100 17 | 85.220 % | 193.32/193.43 c | 250 | 11036 134353 225547 | 54189 250 21 | 85.220 % | 193.42/193.59 c | 476 | 11036 134353 225547 | 59607 476 24 | 85.220 % | 193.61/193.78 c | 813 | 11032 134353 225547 | 65568 812 23 | 85.226 % | 194.01/194.16 c | 1320 | 11032 134353 225547 | 72125 1319 24 | 85.226 % | 194.53/194.66 c | 2081 | 11032 134353 225547 | 79338 2080 27 | 85.226 % | 195.32/195.48 c | 3220 | 10902 134353 225547 | 87271 2812 29 | 85.400 % | 196.12/196.23 c =============================================================================== 196.32/196.45 c core #22 196.32/196.45 c ============================[ Search Statistics ]============================== 196.32/196.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.32/196.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.32/196.45 c =============================================================================== 196.32/196.45 c | 0 | 11354 134442 226050 | 44814 0 nan | 0.000 % | 196.42/196.53 c | 100 | 11354 134442 226050 | 49295 100 23 | 84.810 % | 196.52/196.63 c | 252 | 11354 134442 226050 | 54224 252 26 | 84.810 % | 196.62/196.75 c | 477 | 11354 134442 226050 | 59647 477 23 | 84.810 % | 196.83/196.97 c | 814 | 11354 134442 226050 | 65612 814 25 | 84.810 % | 197.12/197.21 c | 1320 | 11354 134442 226050 | 72173 1320 24 | 84.810 % | 197.62/197.71 c | 2079 | 11354 134442 226050 | 79390 2079 26 | 84.810 % | 198.21/198.40 c | 3219 | 11354 134442 226050 | 87329 3219 26 | 84.810 % | 199.42/199.52 c | 4927 | 11221 134442 226050 | 96062 4691 29 | 84.988 % | 201.23/201.39 c | 7489 | 11218 134442 226050 | 105669 7249 30 | 84.992 % | 201.92/202.09 c =============================================================================== 202.22/202.30 c core #23 202.22/202.30 c ============================[ Search Statistics ]============================== 202.22/202.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.22/202.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.22/202.30 c =============================================================================== 202.22/202.30 c | 0 | 11671 134532 226560 | 44844 0 nan | 0.000 % | 202.22/202.37 c | 100 | 11671 134532 226560 | 49328 100 18 | 84.401 % | 202.32/202.49 c | 252 | 11671 134532 226560 | 54261 252 23 | 84.401 % | 202.51/202.63 c | 477 | 11671 134532 226560 | 59687 477 23 | 84.401 % | 202.71/202.86 c | 814 | 11671 134532 226560 | 65656 814 26 | 84.401 % | 203.01/203.16 c | 1320 | 11671 134532 226560 | 72221 1320 29 | 84.401 % | 203.52/203.62 c | 2080 | 11671 134532 226560 | 79443 2080 29 | 84.401 % | 204.11/204.28 c | 3219 | 11523 134532 226560 | 87388 2872 28 | 85.083 % | 205.32/205.44 c | 4928 | 11161 134532 226560 | 96127 4325 30 | 85.083 % | 207.01/207.16 c | 7491 | 11128 134532 226560 | 105739 6269 30 | 85.389 % | 209.82/209.94 c | 11336 | 10680 134532 226560 | 116313 6629 31 | 85.726 % | 211.02/211.12 c =============================================================================== 211.22/211.34 c core #24 211.22/211.34 c ============================[ Search Statistics ]============================== 211.22/211.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.22/211.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.22/211.34 c =============================================================================== 211.22/211.34 c | 0 | 11987 134610 227036 | 44870 0 nan | 0.000 % | 211.32/211.42 c | 102 | 11987 134610 227036 | 49357 102 17 | 83.995 % | 211.42/211.50 c | 253 | 11987 134610 227036 | 54292 253 21 | 83.995 % | 211.51/211.61 c | 480 | 11987 134610 227036 | 59721 480 20 | 83.995 % | 211.71/211.83 c | 819 | 11987 134610 227036 | 65694 819 24 | 83.995 % | 212.12/212.25 c | 1326 | 11987 134610 227036 | 72263 1326 29 | 83.995 % | 212.51/212.69 c | 2085 | 11987 134610 227036 | 79489 2085 26 | 83.995 % | 213.22/213.37 c | 3224 | 11987 134610 227036 | 87438 3224 30 | 83.995 % | 214.21/214.38 c | 4933 | 11987 134610 227036 | 96182 4933 28 | 83.995 % | 216.22/216.31 c | 7495 | 11987 134610 227036 | 105801 7495 32 | 83.995 % | 218.91/219.02 c | 11340 | 11987 134610 227036 | 116381 11340 34 | 83.995 % | 223.81/223.99 c | 17107 | 11498 134610 227036 | 128019 12969 33 | 84.648 % | 232.20/232.37 c | 25757 | 11343 134610 227036 | 140821 19905 38 | 84.855 % | 233.20/233.36 c =============================================================================== 233.40/233.58 c core #25 233.40/233.58 c ============================[ Search Statistics ]============================== 233.40/233.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.40/233.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.40/233.58 c =============================================================================== 233.40/233.58 c | 0 | 12302 134708 227571 | 44902 0 nan | 0.000 % | 233.51/233.66 c | 100 | 12302 134708 227571 | 49392 100 23 | 83.590 % | 233.61/233.75 c | 251 | 12302 134708 227571 | 54332 251 26 | 83.590 % | 233.81/233.90 c | 476 | 12302 134708 227571 | 59765 476 24 | 83.590 % | 234.01/234.14 c | 814 | 12302 134708 227571 | 65741 814 27 | 83.590 % | 234.30/234.42 c | 1325 | 12302 134708 227571 | 72316 1325 26 | 83.590 % | 234.90/235.02 c | 2084 | 12302 134708 227571 | 79547 2084 29 | 83.590 % | 235.60/235.77 c | 3223 | 12302 134708 227571 | 87502 3223 32 | 83.590 % | 236.80/236.91 c | 4932 | 12302 134708 227571 | 96252 4932 34 | 83.590 % | 238.41/238.53 c | 7494 | 12302 134708 227571 | 105878 7494 33 | 83.590 % | 241.40/241.54 c | 11338 | 12293 134708 227571 | 116465 11337 34 | 83.602 % | 246.31/246.44 c | 17104 | 12293 134708 227571 | 128112 17103 38 | 83.602 % | 255.50/255.69 c | 25753 | 12293 134708 227571 | 140923 25752 40 | 83.602 % | 270.89/271.04 c | 38727 | 12117 134708 227571 | 155016 32577 41 | 83.837 % | 277.70/277.88 c =============================================================================== 277.99/278.12 c core #26 277.99/278.12 c ============================[ Search Statistics ]============================== 277.99/278.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 277.99/278.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 277.99/278.12 c =============================================================================== 277.99/278.12 c | 0 | 12616 134802 228097 | 44934 0 nan | 0.000 % | 277.99/278.19 c | 101 | 12616 134802 228097 | 49427 101 19 | 83.188 % | 278.10/278.27 c | 251 | 12616 134802 228097 | 54370 251 20 | 83.188 % | 278.29/278.43 c | 481 | 12616 134802 228097 | 59807 481 26 | 83.188 % | 278.49/278.64 c | 818 | 12616 134802 228097 | 65787 818 27 | 83.188 % | 278.89/279.00 c | 1324 | 12616 134802 228097 | 72366 1324 26 | 83.188 % | 279.30/279.43 c | 2083 | 12616 134802 228097 | 79603 2083 26 | 83.188 % | 279.99/280.17 c | 3222 | 12616 134802 228097 | 87563 3222 29 | 83.188 % | 281.09/281.26 c | 4930 | 12612 134802 228097 | 96320 4929 30 | 83.193 % | 282.60/282.79 c | 7492 | 12612 134802 228097 | 105952 7491 30 | 83.193 % | 286.09/286.26 c | 11337 | 12612 134802 228097 | 116547 11336 32 | 83.193 % | 290.79/290.95 c | 17103 | 12439 134802 228097 | 128201 14793 31 | 83.424 % | 299.88/300.04 c | 25756 | 12439 134802 228097 | 141022 23446 36 | 83.424 % | 314.18/314.36 c | 38731 | 12410 134802 228097 | 155124 25995 35 | 83.462 % | 340.47/340.68 c | 58192 | 12288 134802 228097 | 170636 27337 29 | 83.625 % | 357.96/358.13 c =============================================================================== 358.16/358.37 c core #27 358.16/358.37 c ============================[ Search Statistics ]============================== 358.16/358.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 358.16/358.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 358.16/358.37 c =============================================================================== 358.16/358.37 c | 0 | 12929 134891 228616 | 44963 0 nan | 0.000 % | 358.27/358.45 c | 100 | 12929 134891 228616 | 49460 100 19 | 82.787 % | 358.38/358.57 c | 250 | 12929 134891 228616 | 54406 250 23 | 82.787 % | 358.48/358.66 c | 479 | 12929 134891 228616 | 59846 479 22 | 82.787 % | 358.67/358.85 c | 816 | 12929 134891 228616 | 65831 816 25 | 82.787 % | 358.97/359.14 c | 1323 | 12920 134891 228616 | 72414 1322 25 | 82.799 % | 359.47/359.65 c | 2085 | 12920 134891 228616 | 79655 2084 28 | 82.799 % | 360.07/360.29 c | 3224 | 12920 134891 228616 | 87621 3223 27 | 82.799 % | 361.37/361.54 c | 4933 | 12920 134891 228616 | 96383 4932 30 | 82.799 % | 363.17/363.38 c | 7496 | 12920 134891 228616 | 106021 7495 33 | 82.799 % | 366.17/366.38 c | 11342 | 12920 134891 228616 | 116624 11341 31 | 82.799 % | 371.67/371.81 c | 17108 | 12919 134891 228616 | 128286 17106 34 | 82.800 % | 381.16/381.38 c | 25758 | 12919 134891 228616 | 141115 25756 37 | 82.800 % | 397.46/397.64 c | 38734 | 12919 134891 228616 | 155226 38732 39 | 82.800 % | 428.55/428.76 c | 58196 | 12886 134891 228616 | 170749 58192 41 | 83.160 % | 491.53/491.74 c | 87388 | 12649 134891 228616 | 187824 86546 44 | 83.160 % | 542.61/542.84 c =============================================================================== 542.91/543.14 c core #28 542.91/543.14 c ============================[ Search Statistics ]============================== 542.91/543.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 542.91/543.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 542.91/543.14 c =============================================================================== 542.91/543.14 c | 0 | 13241 134996 229185 | 44998 0 nan | 0.000 % | 543.01/543.21 c | 100 | 13241 134996 229185 | 49498 100 23 | 82.388 % | 543.12/543.31 c | 250 | 13241 134996 229185 | 54448 250 21 | 82.388 % | 543.22/543.44 c | 476 | 13241 134996 229185 | 59893 476 21 | 82.388 % | 543.41/543.62 c | 813 | 13241 134996 229185 | 65882 813 24 | 82.388 % | 543.62/543.87 c | 1319 | 13241 134996 229185 | 72470 1319 23 | 82.388 % | 544.11/544.36 c | 2078 | 13241 134996 229185 | 79717 2078 27 | 82.388 % | 544.81/545.05 c | 3217 | 13241 134996 229185 | 87689 3217 26 | 82.388 % | 546.01/546.25 c | 4925 | 13241 134996 229185 | 96458 4925 32 | 82.388 % | 547.81/548.07 c | 7489 | 13241 134996 229185 | 106104 7489 33 | 82.388 % | 550.51/550.71 c | 11336 | 13241 134996 229185 | 116714 11336 35 | 82.388 % | 554.81/555.04 c | 17103 | 13241 134996 229185 | 128386 17103 34 | 82.388 % | 563.10/563.36 c | 25752 | 13241 134996 229185 | 141225 25752 37 | 82.388 % | 577.11/577.38 c | 38726 | 13241 134996 229185 | 155347 38726 39 | 82.388 % | 605.10/605.32 c | 58187 | 12813 134996 229185 | 170882 47701 40 | 82.957 % | 650.38/650.60 c | 87379 | 12682 134996 229185 | 187970 45551 36 | 83.133 % | 731.06/731.31 c | 131169 | 12659 134996 229185 | 206767 87330 45 | 83.419 % | 848.82/849.14 c =============================================================================== 849.23/849.50 c core #29 849.23/849.50 c ============================[ Search Statistics ]============================== 849.23/849.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 849.23/849.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 849.23/849.50 c =============================================================================== 849.23/849.50 c | 0 | 13552 135095 229746 | 45031 0 nan | 0.000 % | 849.23/849.57 c | 100 | 13552 135095 229746 | 49534 100 16 | 81.991 % | 849.32/849.67 c | 250 | 13552 135095 229746 | 54488 250 23 | 82.009 % | 849.52/849.85 c | 475 | 13552 135095 229746 | 59937 475 25 | 82.009 % | 849.72/850.06 c | 812 | 13538 135095 229746 | 65930 811 28 | 82.009 % | 850.12/850.47 c | 1318 | 13538 135095 229746 | 72523 1317 32 | 82.009 % | 850.62/850.99 c | 2077 | 13538 135095 229746 | 79776 2076 33 | 82.009 % | 851.71/852.02 c | 3216 | 13538 135095 229746 | 87753 3215 35 | 82.009 % | 852.92/853.20 c | 4924 | 13538 135095 229746 | 96529 4923 32 | 82.009 % | 854.71/855.09 c | 7486 | 13538 135095 229746 | 106182 7485 32 | 82.009 % | 858.02/858.39 c | 11332 | 13529 135095 229746 | 116800 11329 33 | 82.021 % | 863.82/864.13 c | 17098 | 13529 135095 229746 | 128480 17095 33 | 82.021 % | 873.61/873.94 c | 25748 | 13529 135095 229746 | 141328 25745 35 | 82.021 % | 891.01/891.39 c | 38723 | 13529 135095 229746 | 155461 38720 38 | 82.021 % | 922.89/923.24 c | 58184 | 13042 135095 229746 | 171007 46373 38 | 82.668 % | 977.08/977.43 c | 87376 | 12855 135095 229746 | 188108 64399 38 | 82.917 % | 1075.15/1075.52 c | 131165 | 12848 135095 229746 | 206919 108181 44 | 82.926 % | 1270.39/1270.82 c | 196849 | 12822 135095 229746 | 227611 161753 49 | 82.961 % | 1654.57/1655.16 c | 295375 | 12254 135095 229746 | 250372 179287 50 | 83.716 % |
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-2687061-1278446773/watcher-2687061-1278446773 -o /tmp/evaluation-result-2687061-1278446773/solver-2687061-1278446773 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687061-1278446773.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.05 1.01 3/105 23005 /proc/meminfo: memFree=1439248/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=11072 CPUtime=0 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 376 0 0 0 0 0 0 0 21 0 1 0 12885287 11337728 294 1992294400 134512640 135751879 4290218224 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 2768 295 145 303 0 446 0 [startup+0.0863501 s] /proc/loadavg: 1.15 1.05 1.01 3/105 23005 /proc/meminfo: memFree=1439248/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=15704 CPUtime=0.07 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 1501 0 0 0 7 0 0 0 21 0 1 0 12885287 16080896 1419 1992294400 134512640 135751879 4290218224 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 3926 1420 272 303 0 1604 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15704 [startup+0.10135 s] /proc/loadavg: 1.15 1.05 1.01 3/105 23005 /proc/meminfo: memFree=1439248/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=16164 CPUtime=0.09 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 1693 0 0 0 9 0 0 0 21 0 1 0 12885287 16551936 1611 1992294400 134512640 135751879 4290218224 18446744073709551615 135193712 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 4041 1615 292 303 0 1719 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16164 [startup+0.301374 s] /proc/loadavg: 1.15 1.05 1.01 3/105 23005 /proc/meminfo: memFree=1439248/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=20372 CPUtime=0.29 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 3022 0 0 0 28 1 0 0 22 0 1 0 12885287 20860928 2907 1992294400 134512640 135751879 4290218224 18446744073709551615 135396619 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 5093 2907 620 303 0 2771 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20372 [startup+0.701424 s] /proc/loadavg: 1.15 1.05 1.01 3/105 23005 /proc/meminfo: memFree=1439248/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=25524 CPUtime=0.69 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 5005 0 0 0 67 2 0 0 24 0 1 0 12885287 26136576 4850 1992294400 134512640 135751879 4290218224 18446744073709551615 134562860 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 6381 4851 1274 303 0 4059 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25524 [startup+1.50152 s] /proc/loadavg: 1.15 1.05 1.01 2/106 23006 /proc/meminfo: memFree=1419152/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=40960 CPUtime=1.49 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 11293 0 0 0 145 4 0 0 18 0 1 0 12885287 41943040 8783 1992294400 134512640 135751879 4290218224 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 10240 8790 145 303 0 9935 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40960 [startup+3.10172 s] /proc/loadavg: 1.15 1.05 1.01 2/106 23006 /proc/meminfo: memFree=1390136/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=56756 CPUtime=3.09 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 15451 0 0 0 303 6 0 0 20 0 1 0 12885287 58118144 12941 1992294400 134512640 135751879 4290218224 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 14189 12941 146 303 0 13884 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56756 [startup+6.30111 s] /proc/loadavg: 1.13 1.04 1.01 2/106 23006 /proc/meminfo: memFree=1380340/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=66920 CPUtime=6.29 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 17973 0 0 0 622 7 0 0 25 0 1 0 12885287 68526080 15463 1992294400 134512640 135751879 4290218224 18446744073709551615 134523943 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 16730 15464 146 303 0 16425 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66920 [startup+12.7009 s] /proc/loadavg: 1.12 1.04 1.01 2/106 23006 /proc/meminfo: memFree=1364964/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=80912 CPUtime=12.69 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 21494 0 0 0 1260 9 0 0 25 0 1 0 12885287 82853888 18984 1992294400 134512640 135751879 4290218224 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 20228 18984 146 303 0 19923 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 80912 [startup+25.5015 s] /proc/loadavg: 1.10 1.04 1.01 2/106 23006 /proc/meminfo: memFree=1344380/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=100976 CPUtime=25.49 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 26505 0 0 0 2538 11 0 0 25 0 1 0 12885287 103399424 23995 1992294400 134512640 135751879 4290218224 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 25244 23995 146 303 0 24939 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 100976 [startup+51.1016 s] /proc/loadavg: 1.06 1.04 1.01 2/106 23006 /proc/meminfo: memFree=1313628/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=132788 CPUtime=51.06 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 34468 0 0 0 5092 14 0 0 25 0 1 0 12885287 135974912 31958 1992294400 134512640 135751879 4290218224 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 33197 31958 146 303 0 32892 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 132788 [startup+102.308 s] /proc/loadavg: 1.02 1.03 1.00 2/106 23008 /proc/meminfo: memFree=1279900/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=163632 CPUtime=102.26 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 43605 0 0 0 10202 24 0 0 21 0 1 0 12885287 167559168 39784 1992294400 134512640 135751879 4290218224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 40908 39784 147 303 0 40603 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 163632 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/106 23010 /proc/meminfo: memFree=1279776/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=163632 CPUtime=162.23 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 43605 0 0 0 16170 53 0 0 25 0 1 0 12885287 167559168 39784 1992294400 134512640 135751879 4290218224 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 40908 39784 147 303 0 40603 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 163632 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/106 23012 /proc/meminfo: memFree=1290440/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=151580 CPUtime=222.21 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49105 0 0 0 22139 82 0 0 25 0 1 0 12885287 155217920 37241 1992294400 134512640 135751879 4290218224 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37895 37241 151 303 0 37590 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 151580 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 23014 /proc/meminfo: memFree=1290440/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=151580 CPUtime=282.19 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49545 0 0 0 28114 105 0 0 25 0 1 0 12885287 155217920 37242 1992294400 134512640 135751879 4290218224 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37895 37242 151 303 0 37590 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 151580 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23014 /proc/meminfo: memFree=1290440/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=151580 CPUtime=342.18 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49545 0 0 0 34095 123 0 0 25 0 1 0 12885287 155217920 37242 1992294400 134512640 135751879 4290218224 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37895 37242 151 303 0 37590 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 151580 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23016 /proc/meminfo: memFree=1291432/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=149148 CPUtime=402.16 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49545 0 0 0 40075 141 0 0 25 0 1 0 12885287 152727552 36802 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37287 36802 151 303 0 36982 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 149148 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23018 /proc/meminfo: memFree=1291432/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=149148 CPUtime=462.14 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49545 0 0 0 46058 156 0 0 25 0 1 0 12885287 152727552 36802 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37287 36802 151 303 0 36982 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 149148 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23020 /proc/meminfo: memFree=1291432/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=149148 CPUtime=522.12 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49545 0 0 0 52044 168 0 0 25 0 1 0 12885287 152727552 36802 1992294400 134512640 135751879 4290218224 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37287 36802 151 303 0 36982 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 149148 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23022 /proc/meminfo: memFree=1290316/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=151580 CPUtime=582.1 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49986 0 0 0 58026 184 0 0 25 0 1 0 12885287 155217920 37243 1992294400 134512640 135751879 4290218224 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37895 37243 151 303 0 37590 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 151580 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23022 /proc/meminfo: memFree=1290192/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=151580 CPUtime=642.09 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49998 0 0 0 64009 200 0 0 25 0 1 0 12885287 155217920 37255 1992294400 134512640 135751879 4290218224 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37895 37255 151 303 0 37590 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 151580 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23028 /proc/meminfo: memFree=1289944/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=151580 CPUtime=822.03 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 49998 0 0 0 81965 238 0 0 25 0 1 0 12885287 155217920 37255 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37895 37255 151 303 0 37590 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 151580 [startup+882.302 s] /proc/loadavg: 1.04 1.01 1.00 2/106 23033 /proc/meminfo: memFree=1288828/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=151580 CPUtime=882.01 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 50439 0 0 0 87945 256 0 0 25 0 1 0 12885287 155217920 37255 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37895 37255 151 303 0 37590 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 151580 [startup+942.301 s] /proc/loadavg: 1.01 1.01 1.00 2/106 23033 /proc/meminfo: memFree=1288828/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=151580 CPUtime=941.99 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 50439 0 0 0 93926 273 0 0 25 0 1 0 12885287 155217920 37255 1992294400 134512640 135751879 4290218224 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 37895 37255 151 303 0 37590 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 151580 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23035 /proc/meminfo: memFree=1288952/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=152240 CPUtime=1001.97 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 50603 0 0 0 99911 286 0 0 25 0 1 0 12885287 155893760 37419 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 38060 37419 151 303 0 37755 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 152240 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23037 /proc/meminfo: memFree=1282752/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=158612 CPUtime=1061.96 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 52151 0 0 0 105895 301 0 0 25 0 1 0 12885287 162418688 38967 1992294400 134512640 135751879 4290218224 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 39653 38967 151 303 0 39348 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 158612 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23039 /proc/meminfo: memFree=1277420/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=163904 CPUtime=1121.93 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 53482 0 0 0 111881 312 0 0 25 0 1 0 12885287 167837696 40298 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 40976 40298 151 303 0 40671 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 163904 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23041 /proc/meminfo: memFree=1271840/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=169464 CPUtime=1181.92 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 54890 0 0 0 117869 323 0 0 25 0 1 0 12885287 173531136 41706 1992294400 134512640 135751879 4290218224 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 42366 41706 151 303 0 42061 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 169464 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23041 /proc/meminfo: memFree=1266136/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=175324 CPUtime=1241.9 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 56307 0 0 0 123853 337 0 0 25 0 1 0 12885287 179531776 43123 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 43831 43123 151 303 0 43526 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 175324 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23043 /proc/meminfo: memFree=1261424/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=179920 CPUtime=1301.89 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 57469 0 0 0 129840 349 0 0 25 0 1 0 12885287 184238080 44285 1992294400 134512640 135751879 4290218224 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 44980 44285 151 303 0 44675 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 179920 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23045 /proc/meminfo: memFree=1256960/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=184452 CPUtime=1361.86 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 58596 0 0 0 135828 358 0 0 25 0 1 0 12885287 188878848 45412 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 46113 45412 151 303 0 45808 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 184452 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23047 /proc/meminfo: memFree=1252248/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=189140 CPUtime=1421.85 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 59781 0 0 0 141816 369 0 0 25 0 1 0 12885287 193679360 46597 1992294400 134512640 135751879 4290218224 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 47285 46597 151 303 0 46980 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 189140 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23049 /proc/meminfo: memFree=1247412/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=194024 CPUtime=1481.82 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 61000 0 0 0 147803 379 0 0 25 0 1 0 12885287 198680576 47816 1992294400 134512640 135751879 4290218224 18446744073709551615 134616407 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 48506 47816 151 303 0 48201 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 194024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23049 /proc/meminfo: memFree=1242948/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=198836 CPUtime=1541.8 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 62106 0 0 0 153790 390 0 0 25 0 1 0 12885287 203608064 48922 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 49709 48922 151 303 0 49404 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 198836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23051 /proc/meminfo: memFree=1237120/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=204668 CPUtime=1601.78 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 63565 0 0 0 159777 401 0 0 25 0 1 0 12885287 209580032 50381 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 51167 50381 151 303 0 50862 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 204668 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23053 /proc/meminfo: memFree=1232656/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=209180 CPUtime=1661.77 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 64673 0 0 0 165766 411 0 0 25 0 1 0 12885287 214200320 51489 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 52295 51489 151 303 0 51990 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 209180 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23055 /proc/meminfo: memFree=1229060/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=212716 CPUtime=1721.75 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 65567 0 0 0 171756 419 0 0 25 0 1 0 12885287 217821184 52383 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 53179 52383 151 303 0 52874 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 212716 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23057 /proc/meminfo: memFree=1224596/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=216980 CPUtime=1781.74 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 66614 0 0 0 177747 427 0 0 25 0 1 0 12885287 222187520 53430 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 54245 53430 151 303 0 53940 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 216980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 23057 /proc/meminfo: memFree=1223356/2059040 swapFree=4192956/4192956 [pid=23005] ppid=23003 vsize=218168 CPUtime=1800.04 /proc/23005/stat : 23005 (wbo1.4b) R 23003 23005 21941 0 -1 4202496 66917 0 0 0 179575 429 0 0 25 0 1 0 12885287 223404032 53733 1992294400 134512640 135751879 4290218224 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23005/statm: 54542 53733 151 303 0 54237 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 218168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.07 CPU user time (s): 1795.75 CPU system time (s): 4.31734 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 218168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.75 system time used= 4.31734 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66917 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= 58 involuntary context switches= 22549 runsolver used 2.96955 second user time and 8.5357 second system time The end
Begin job on node080 at 2010-07-06 22:06:14 IDJOB=2687061 IDBENCH=77362 IDSOLVER=1161 FILE ID=node080/2687061-1278446773 PBS_JOBID= 11233470 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_2.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2687061-1278446773/watcher-2687061-1278446773 -o /tmp/evaluation-result-2687061-1278446773/solver-2687061-1278446773 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687061-1278446773.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 38fb0c3d6aceb5f008836e7f9c186fab RANDOM SEED=1389177112 node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1440148 kB Buffers: 108628 kB Cached: 371956 kB SwapCached: 0 kB Active: 144520 kB Inactive: 396196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1440148 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 10820 kB Writeback: 0 kB AnonPages: 60072 kB Mapped: 14456 kB Slab: 56384 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180820 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2687061-1278446773.opb Free space on /tmp at the end= 62528 MiB End job on node080 at 2010-07-06 22:36:16