Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.07 | 1800.64 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12048_7.std.opb |
MD5SUM | 58f861b2885c3bb19bb4f63a6571dc89 |
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 | 107 |
Best CPU time to get the best result obtained on this benchmark | 1798.1 |
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 | 256260 |
Number of constraints which are clauses | 255060 |
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 | 63 |
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.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2687113-1278448088.opb. 0.00/0.00 c Instance file HOME/instance-2687113-1278448088.opb 0.00/0.00 c File size is 7898359 bytes. 1.39/1.43 c Highest Coefficient sum: 387 1.39/1.43 c ============================[ Problem Statistics ]============================= 1.39/1.43 c | | 1.39/1.43 c | Parsing time: 1.39 s | 1.39/1.43 c | Number Variables: 72842 | 1.39/1.43 c | Number Clauses: 255060 | 1.39/1.43 c | Number Cardinality: 0 | 1.39/1.43 c | Number PB Constraints: 1200 | 95.55/95.68 c ============================[ Search Statistics ]============================== 95.55/95.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 95.55/95.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 95.55/95.68 c =============================================================================== 95.55/95.68 c | 0 | 52051 257546 496276 | 85420 0 nan | 0.000 % | 95.65/95.74 c =============================================================================== 95.65/95.74 c New solution: 300 95.65/95.74 o 300 95.65/95.74 c Elapsed CPU time: 95.5025 s Remaining CPU time: 84.4975 s 95.65/95.74 c =============================================================================== 95.65/95.74 c | 0 | 52051 257547 496576 | 85849 0 nan | 0.000 % | 95.74/95.81 c | 101 | 52049 257547 496576 | 94433 101 32 | 28.709 % | 95.84/95.91 c | 251 | 52048 257547 496576 | 103877 251 42 | 28.709 % | 95.84/95.97 c =============================================================================== 95.84/95.97 c New solution: 299 95.84/95.97 o 299 95.84/95.97 c Elapsed CPU time: 95.7254 s Remaining CPU time: 84.2746 s 95.84/95.97 c =============================================================================== 95.84/95.97 c | 268 | 51930 257548 496876 | 85849 268 42 | 28.709 % | 95.94/96.03 c =============================================================================== 95.94/96.03 c New solution: 298 95.94/96.03 o 298 95.94/96.03 c Elapsed CPU time: 95.7884 s Remaining CPU time: 84.2116 s 95.94/96.03 c =============================================================================== 95.94/96.03 c | 270 | 51795 257549 497176 | 85849 270 42 | 28.709 % | 95.94/96.08 c =============================================================================== 95.94/96.08 c New solution: 297 95.94/96.08 o 297 95.94/96.08 c Elapsed CPU time: 95.8394 s Remaining CPU time: 84.1606 s 95.94/96.08 c =============================================================================== 95.94/96.08 c | 278 | 51648 257550 497476 | 85850 278 42 | 28.709 % | 96.04/96.14 c =============================================================================== 96.04/96.14 c New solution: 296 96.04/96.14 o 296 96.04/96.14 c Elapsed CPU time: 95.8994 s Remaining CPU time: 84.1006 s 96.04/96.14 c =============================================================================== 96.04/96.14 c | 279 | 51486 257551 497776 | 85850 279 42 | 28.709 % | 96.15/96.21 c =============================================================================== 96.15/96.21 c New solution: 295 96.15/96.21 o 295 96.15/96.21 c Elapsed CPU time: 95.9634 s Remaining CPU time: 84.0366 s 96.15/96.21 c =============================================================================== 96.15/96.21 c | 280 | 51318 257552 498076 | 85850 274 42 | 28.709 % | 96.15/96.26 c =============================================================================== 96.15/96.26 c New solution: 294 96.15/96.26 o 294 96.15/96.26 c Elapsed CPU time: 96.0124 s Remaining CPU time: 83.9876 s 96.15/96.26 c =============================================================================== 96.15/96.26 c | 283 | 51131 257553 498376 | 85851 277 42 | 28.709 % | 96.25/96.31 c =============================================================================== 96.25/96.31 c New solution: 293 96.25/96.31 o 293 96.25/96.31 c Elapsed CPU time: 96.0614 s Remaining CPU time: 83.9386 s 96.25/96.31 c =============================================================================== 96.25/96.31 c | 284 | 50934 257554 498676 | 85851 278 41 | 28.709 % | 96.25/96.36 c =============================================================================== 96.25/96.36 c New solution: 292 96.25/96.36 o 292 96.25/96.36 c Elapsed CPU time: 96.1114 s Remaining CPU time: 83.8886 s 96.25/96.36 c =============================================================================== 96.25/96.36 c | 287 | 50729 257555 498976 | 85851 281 41 | 28.709 % | 96.35/96.43 c =============================================================================== 96.35/96.43 c New solution: 291 96.35/96.43 o 291 96.35/96.43 c Elapsed CPU time: 96.1794 s Remaining CPU time: 83.8206 s 96.35/96.43 c =============================================================================== 96.35/96.43 c | 291 | 50506 257556 499276 | 85852 285 41 | 28.709 % | 96.35/96.48 c =============================================================================== 96.35/96.48 c New solution: 290 96.35/96.48 o 290 96.35/96.48 c Elapsed CPU time: 96.2354 s Remaining CPU time: 83.7646 s 96.35/96.48 c =============================================================================== 96.35/96.48 c | 311 | 50274 257557 499576 | 85852 305 39 | 28.709 % | 96.45/96.54 c =============================================================================== 96.45/96.54 c New solution: 289 96.45/96.54 o 289 96.45/96.54 c Elapsed CPU time: 96.2964 s Remaining CPU time: 83.7036 s 96.45/96.54 c =============================================================================== 96.45/96.54 c | 312 | 50032 257558 499876 | 85852 306 39 | 28.709 % | 96.45/96.59 c =============================================================================== 96.45/96.59 c New solution: 288 96.45/96.59 o 288 96.45/96.59 c Elapsed CPU time: 96.3464 s Remaining CPU time: 83.6536 s 96.45/96.59 c =============================================================================== 96.45/96.59 c | 315 | 49790 257559 500176 | 85853 309 39 | 28.709 % | 96.55/96.65 c =============================================================================== 96.55/96.65 c New solution: 287 96.55/96.65 o 287 96.55/96.65 c Elapsed CPU time: 96.4073 s Remaining CPU time: 83.5927 s 96.55/96.65 c =============================================================================== 96.55/96.65 c | 320 | 49548 257560 500476 | 85853 314 39 | 28.709 % | 96.65/96.72 c =============================================================================== 96.65/96.72 c New solution: 286 96.65/96.72 o 286 96.65/96.72 c Elapsed CPU time: 96.4683 s Remaining CPU time: 83.5317 s 96.65/96.72 c =============================================================================== 96.65/96.72 c | 321 | 49306 257561 500776 | 85853 315 39 | 28.709 % | 96.65/96.78 c =============================================================================== 96.65/96.78 c New solution: 285 96.65/96.78 o 285 96.65/96.78 c Elapsed CPU time: 96.5323 s Remaining CPU time: 83.4677 s 96.65/96.78 c =============================================================================== 96.65/96.78 c | 325 | 49064 257562 501076 | 85854 274 40 | 28.709 % | 96.75/96.84 c =============================================================================== 96.75/96.84 c New solution: 284 96.75/96.84 o 284 96.75/96.84 c Elapsed CPU time: 96.5933 s Remaining CPU time: 83.4067 s 96.75/96.84 c =============================================================================== 96.75/96.84 c | 330 | 48822 257563 501376 | 85854 279 39 | 28.709 % | 96.84/96.91 c =============================================================================== 96.84/96.91 c New solution: 283 96.84/96.91 o 283 96.84/96.91 c Elapsed CPU time: 96.6623 s Remaining CPU time: 83.3377 s 96.84/96.91 c =============================================================================== 96.84/96.91 c | 334 | 48580 257564 501676 | 85854 283 39 | 28.709 % | 96.84/96.98 c =============================================================================== 96.84/96.98 c New solution: 282 96.84/96.98 o 282 96.84/96.98 c Elapsed CPU time: 96.7293 s Remaining CPU time: 83.2707 s 96.84/96.98 c =============================================================================== 96.84/96.98 c | 340 | 48338 257565 501976 | 85855 289 38 | 28.709 % | 96.94/97.04 c =============================================================================== 96.94/97.04 c New solution: 281 96.94/97.04 o 281 96.94/97.04 c Elapsed CPU time: 96.7913 s Remaining CPU time: 83.2087 s 96.94/97.04 c =============================================================================== 96.94/97.04 c | 344 | 48096 257566 502276 | 85855 293 38 | 28.709 % | 97.04/97.10 c =============================================================================== 97.04/97.10 c New solution: 280 97.04/97.10 o 280 97.04/97.10 c Elapsed CPU time: 96.8493 s Remaining CPU time: 83.1507 s 97.04/97.10 c =============================================================================== 97.04/97.10 c | 353 | 47854 257567 502576 | 85855 302 38 | 28.709 % | 97.04/97.15 c =============================================================================== 97.04/97.15 c New solution: 279 97.04/97.15 o 279 97.04/97.15 c Elapsed CPU time: 96.8993 s Remaining CPU time: 83.1007 s 97.04/97.15 c =============================================================================== 97.04/97.15 c | 357 | 47612 257568 502876 | 85856 306 37 | 28.709 % | 97.14/97.21 c =============================================================================== 97.14/97.21 c New solution: 278 97.14/97.21 o 278 97.14/97.21 c Elapsed CPU time: 96.9613 s Remaining CPU time: 83.0387 s 97.14/97.21 c =============================================================================== 97.14/97.21 c | 358 | 47370 257569 503176 | 85856 307 37 | 28.709 % | 97.14/97.28 c =============================================================================== 97.14/97.28 c New solution: 277 97.14/97.28 o 277 97.14/97.28 c Elapsed CPU time: 97.0233 s Remaining CPU time: 82.9767 s 97.14/97.28 c =============================================================================== 97.14/97.28 c | 362 | 47128 257570 503476 | 85856 311 37 | 28.709 % | 97.24/97.33 c =============================================================================== 97.24/97.33 c New solution: 276 97.24/97.33 o 276 97.24/97.33 c Elapsed CPU time: 97.0762 s Remaining CPU time: 82.9238 s 97.24/97.33 c =============================================================================== 97.24/97.33 c | 364 | 46886 257571 503776 | 85857 313 37 | 28.709 % | 97.24/97.39 c =============================================================================== 97.24/97.39 c New solution: 275 97.24/97.39 o 275 97.24/97.39 c Elapsed CPU time: 97.1432 s Remaining CPU time: 82.8568 s 97.24/97.39 c =============================================================================== 97.24/97.39 c | 366 | 46644 257572 504076 | 85857 276 40 | 28.709 % | 97.34/97.45 c =============================================================================== 97.34/97.45 c New solution: 274 97.34/97.45 o 274 97.34/97.45 c Elapsed CPU time: 97.1932 s Remaining CPU time: 82.8068 s 97.34/97.45 c =============================================================================== 97.34/97.45 c | 376 | 46402 257573 504376 | 85857 286 39 | 28.709 % | 97.45/97.50 c =============================================================================== 97.45/97.50 c New solution: 273 97.45/97.50 o 273 97.45/97.50 c Elapsed CPU time: 97.2492 s Remaining CPU time: 82.7508 s 97.45/97.50 c =============================================================================== 97.45/97.50 c | 381 | 46160 257574 504676 | 85858 291 38 | 28.709 % | 97.45/97.57 c =============================================================================== 97.45/97.57 c New solution: 272 97.45/97.57 o 272 97.45/97.57 c Elapsed CPU time: 97.3122 s Remaining CPU time: 82.6878 s 97.45/97.57 c =============================================================================== 97.45/97.57 c | 386 | 45918 257575 504976 | 85858 296 38 | 28.709 % | 97.55/97.63 c =============================================================================== 97.55/97.63 c New solution: 271 97.55/97.63 o 271 97.55/97.63 c Elapsed CPU time: 97.3752 s Remaining CPU time: 82.6248 s 97.55/97.63 c =============================================================================== 97.55/97.63 c | 390 | 45676 257576 505276 | 85858 300 37 | 28.709 % | 97.55/97.69 c =============================================================================== 97.55/97.69 c New solution: 270 97.55/97.69 o 270 97.55/97.69 c Elapsed CPU time: 97.4362 s Remaining CPU time: 82.5638 s 97.55/97.69 c =============================================================================== 97.55/97.69 c | 394 | 45434 257577 505576 | 85859 304 37 | 28.709 % | 97.65/97.76 c =============================================================================== 97.65/97.76 c New solution: 269 97.65/97.76 o 269 97.65/97.76 c Elapsed CPU time: 97.5012 s Remaining CPU time: 82.4988 s 97.65/97.76 c =============================================================================== 97.65/97.76 c | 397 | 45192 257578 505876 | 85859 307 37 | 28.709 % | 97.75/97.81 c =============================================================================== 97.75/97.81 c New solution: 268 97.75/97.81 o 268 97.75/97.81 c Elapsed CPU time: 97.5562 s Remaining CPU time: 82.4438 s 97.75/97.81 c =============================================================================== 97.75/97.81 c | 407 | 44950 257579 506176 | 85859 317 36 | 28.709 % | 97.75/97.88 c =============================================================================== 97.75/97.88 c New solution: 267 97.75/97.88 o 267 97.75/97.88 c Elapsed CPU time: 97.6172 s Remaining CPU time: 82.3828 s 97.75/97.88 c =============================================================================== 97.75/97.88 c | 414 | 44708 257580 506476 | 85860 324 36 | 28.709 % | 97.85/97.93 c =============================================================================== 97.85/97.93 c New solution: 266 97.85/97.93 o 266 97.85/97.93 c Elapsed CPU time: 97.6762 s Remaining CPU time: 82.3238 s 97.85/97.93 c =============================================================================== 97.85/97.93 c | 418 | 44466 257581 506776 | 85860 328 36 | 28.709 % | 97.85/98.00 c =============================================================================== 97.85/98.00 c New solution: 265 97.85/98.00 o 265 97.85/98.00 c Elapsed CPU time: 97.7361 s Remaining CPU time: 82.2639 s 97.85/98.00 c =============================================================================== 97.85/98.00 c | 418 | 44224 257582 507076 | 85860 152 26 | 28.709 % | 97.94/98.06 c =============================================================================== 97.94/98.06 c New solution: 264 97.94/98.06 o 264 97.94/98.06 c Elapsed CPU time: 97.7981 s Remaining CPU time: 82.2019 s 97.94/98.06 c =============================================================================== 97.94/98.06 c | 423 | 43982 257583 507376 | 85861 157 25 | 28.709 % | 98.04/98.10 c =============================================================================== 98.04/98.10 c New solution: 263 98.04/98.10 o 263 98.04/98.10 c Elapsed CPU time: 97.8451 s Remaining CPU time: 82.1549 s 98.04/98.10 c =============================================================================== 98.04/98.10 c | 426 | 43740 257584 507676 | 85861 160 25 | 28.709 % | 98.04/98.16 c =============================================================================== 98.04/98.16 c New solution: 262 98.04/98.16 o 262 98.04/98.16 c Elapsed CPU time: 97.9031 s Remaining CPU time: 82.0969 s 98.04/98.16 c =============================================================================== 98.04/98.16 c | 430 | 43498 257585 507976 | 85861 164 25 | 28.709 % | 98.14/98.22 c =============================================================================== 98.14/98.22 c New solution: 261 98.14/98.22 o 261 98.14/98.22 c Elapsed CPU time: 97.9601 s Remaining CPU time: 82.0399 s 98.14/98.22 c =============================================================================== 98.14/98.22 c | 434 | 43256 257586 508276 | 85862 168 25 | 28.709 % | 98.14/98.28 c =============================================================================== 98.14/98.28 c New solution: 260 98.14/98.28 o 260 98.14/98.28 c Elapsed CPU time: 98.0151 s Remaining CPU time: 81.9849 s 98.14/98.28 c =============================================================================== 98.14/98.28 c | 435 | 43014 257587 508576 | 85862 169 25 | 28.709 % | 98.24/98.33 c =============================================================================== 98.24/98.33 c New solution: 259 98.24/98.33 o 259 98.24/98.33 c Elapsed CPU time: 98.0721 s Remaining CPU time: 81.9279 s 98.24/98.33 c =============================================================================== 98.24/98.33 c | 438 | 42772 257588 508876 | 85862 172 25 | 28.709 % | 98.24/98.39 c =============================================================================== 98.24/98.39 c New solution: 258 98.24/98.39 o 258 98.24/98.39 c Elapsed CPU time: 98.1291 s Remaining CPU time: 81.8709 s 98.24/98.39 c =============================================================================== 98.24/98.39 c | 444 | 42530 257589 509176 | 85863 178 24 | 28.709 % | 98.34/98.45 c =============================================================================== 98.34/98.45 c New solution: 257 98.34/98.45 o 257 98.34/98.45 c Elapsed CPU time: 98.1841 s Remaining CPU time: 81.8159 s 98.34/98.45 c =============================================================================== 98.34/98.45 c | 446 | 42288 257590 509476 | 85863 180 24 | 28.709 % | 98.45/98.52 c =============================================================================== 98.45/98.52 c New solution: 256 98.45/98.52 o 256 98.45/98.52 c Elapsed CPU time: 98.2541 s Remaining CPU time: 81.7459 s 98.45/98.52 c =============================================================================== 98.45/98.52 c | 460 | 42046 257591 509776 | 85863 194 24 | 28.709 % | 98.45/98.58 c =============================================================================== 98.45/98.58 c New solution: 255 98.45/98.58 o 255 98.45/98.58 c Elapsed CPU time: 98.3111 s Remaining CPU time: 81.6889 s 98.45/98.58 c =============================================================================== 98.45/98.58 c | 462 | 41804 257592 510076 | 85864 196 24 | 28.709 % | 98.55/98.64 c =============================================================================== 98.55/98.64 c New solution: 254 98.55/98.64 o 254 98.55/98.64 c Elapsed CPU time: 98.376 s Remaining CPU time: 81.624 s 98.55/98.64 c =============================================================================== 98.55/98.64 c | 473 | 41562 257593 510376 | 85864 145 26 | 28.709 % | 98.55/98.69 c =============================================================================== 98.55/98.69 c New solution: 253 98.55/98.69 o 253 98.55/98.69 c Elapsed CPU time: 98.425 s Remaining CPU time: 81.575 s 98.55/98.69 c =============================================================================== 98.55/98.69 c | 479 | 41320 257594 510676 | 85864 151 26 | 28.709 % | 98.65/98.73 c =============================================================================== 98.65/98.73 c New solution: 252 98.65/98.73 o 252 98.65/98.73 c Elapsed CPU time: 98.469 s Remaining CPU time: 81.531 s 98.65/98.73 c =============================================================================== 98.65/98.73 c | 481 | 41078 257595 510976 | 85865 153 26 | 28.709 % | 98.65/98.79 c =============================================================================== 98.65/98.79 c New solution: 251 98.65/98.79 o 251 98.65/98.79 c Elapsed CPU time: 98.526 s Remaining CPU time: 81.474 s 98.65/98.79 c =============================================================================== 98.65/98.79 c | 485 | 40836 257596 511276 | 85865 157 26 | 28.709 % | 98.75/98.83 c =============================================================================== 98.75/98.84 c New solution: 250 98.75/98.84 o 250 98.75/98.84 c Elapsed CPU time: 98.569 s Remaining CPU time: 81.431 s 98.75/98.84 c =============================================================================== 98.75/98.84 c | 487 | 40594 257597 511576 | 85865 159 25 | 28.709 % | 98.75/98.89 c =============================================================================== 98.75/98.89 c New solution: 249 98.75/98.89 o 249 98.75/98.89 c Elapsed CPU time: 98.625 s Remaining CPU time: 81.375 s 98.75/98.89 c =============================================================================== 98.75/98.89 c | 488 | 40352 257598 511876 | 85866 160 25 | 28.709 % | 98.85/98.95 c =============================================================================== 98.85/98.95 c New solution: 248 98.85/98.95 o 248 98.85/98.95 c Elapsed CPU time: 98.682 s Remaining CPU time: 81.318 s 98.85/98.95 c =============================================================================== 98.85/98.95 c | 497 | 40110 257599 512176 | 85866 169 25 | 28.709 % | 98.95/99.00 c =============================================================================== 98.95/99.00 c New solution: 247 98.95/99.00 o 247 98.95/99.00 c Elapsed CPU time: 98.736 s Remaining CPU time: 81.264 s 98.95/99.00 c =============================================================================== 98.95/99.00 c | 502 | 39868 257600 512476 | 85866 174 25 | 28.709 % | 98.95/99.06 c =============================================================================== 98.95/99.06 c New solution: 246 98.95/99.06 o 246 98.95/99.06 c Elapsed CPU time: 98.789 s Remaining CPU time: 81.211 s 98.95/99.06 c =============================================================================== 98.95/99.06 c | 504 | 39626 257601 512776 | 85867 176 25 | 28.709 % | 99.04/99.11 c =============================================================================== 99.04/99.11 c New solution: 245 99.04/99.11 o 245 99.04/99.11 c Elapsed CPU time: 98.841 s Remaining CPU time: 81.159 s 99.04/99.11 c =============================================================================== 99.04/99.11 c | 506 | 39384 257602 513076 | 85867 178 25 | 28.709 % | 99.04/99.16 c =============================================================================== 99.04/99.16 c New solution: 244 99.04/99.16 o 244 99.04/99.16 c Elapsed CPU time: 98.894 s Remaining CPU time: 81.106 s 99.04/99.16 c =============================================================================== 99.04/99.16 c | 508 | 39142 257603 513376 | 85867 180 25 | 28.709 % | 99.14/99.22 c =============================================================================== 99.14/99.22 c New solution: 243 99.14/99.22 o 243 99.14/99.22 c Elapsed CPU time: 98.947 s Remaining CPU time: 81.053 s 99.14/99.22 c =============================================================================== 99.14/99.22 c | 508 | 38900 257604 513676 | 85868 180 25 | 28.709 % | 99.14/99.26 c =============================================================================== 99.14/99.26 c New solution: 242 99.14/99.26 o 242 99.14/99.26 c Elapsed CPU time: 98.9939 s Remaining CPU time: 81.0061 s 99.14/99.26 c =============================================================================== 99.14/99.26 c | 514 | 38658 257605 513976 | 85868 137 28 | 28.709 % | 99.24/99.31 c =============================================================================== 99.24/99.31 c New solution: 241 99.24/99.31 o 241 99.24/99.31 c Elapsed CPU time: 99.0409 s Remaining CPU time: 80.9591 s 99.24/99.31 c =============================================================================== 99.24/99.31 c | 524 | 38416 257606 514276 | 85868 147 27 | 28.709 % | 99.24/99.37 c =============================================================================== 99.24/99.37 c New solution: 240 99.24/99.37 o 240 99.24/99.37 c Elapsed CPU time: 99.0929 s Remaining CPU time: 80.9071 s 99.24/99.37 c =============================================================================== 99.24/99.37 c | 526 | 38174 257607 514576 | 85869 149 26 | 28.709 % | 99.34/99.41 c =============================================================================== 99.34/99.41 c New solution: 239 99.34/99.41 o 239 99.34/99.41 c Elapsed CPU time: 99.1399 s Remaining CPU time: 80.8601 s 99.34/99.41 c =============================================================================== 99.34/99.41 c | 530 | 37932 257608 514876 | 85869 153 26 | 28.709 % | 99.34/99.47 c =============================================================================== 99.34/99.47 c New solution: 238 99.34/99.47 o 238 99.34/99.47 c Elapsed CPU time: 99.1919 s Remaining CPU time: 80.8081 s 99.34/99.47 c =============================================================================== 99.34/99.47 c | 533 | 37690 257609 515176 | 85869 156 26 | 28.709 % | 99.45/99.51 c =============================================================================== 99.45/99.51 c New solution: 237 99.45/99.51 o 237 99.45/99.51 c Elapsed CPU time: 99.2379 s Remaining CPU time: 80.7621 s 99.45/99.51 c =============================================================================== 99.45/99.51 c | 545 | 37448 257610 515476 | 85870 168 26 | 28.709 % | 99.45/99.57 c =============================================================================== 99.45/99.57 c New solution: 236 99.45/99.57 o 236 99.45/99.57 c Elapsed CPU time: 99.2919 s Remaining CPU time: 80.7081 s 99.45/99.57 c =============================================================================== 99.45/99.57 c | 551 | 37206 257611 515776 | 85870 174 25 | 28.709 % | 99.55/99.62 c =============================================================================== 99.55/99.62 c New solution: 235 99.55/99.62 o 235 99.55/99.62 c Elapsed CPU time: 99.3449 s Remaining CPU time: 80.6551 s 99.55/99.62 c =============================================================================== 99.55/99.62 c | 552 | 36964 257612 516076 | 85870 175 25 | 28.709 % | 99.55/99.67 c =============================================================================== 99.55/99.67 c New solution: 234 99.55/99.67 o 234 99.55/99.67 c Elapsed CPU time: 99.3969 s Remaining CPU time: 80.6031 s 99.55/99.67 c =============================================================================== 99.55/99.67 c | 556 | 36722 257613 516376 | 85871 179 25 | 28.709 % | 99.65/99.72 c =============================================================================== 99.65/99.72 c New solution: 233 99.65/99.72 o 233 99.65/99.72 c Elapsed CPU time: 99.4429 s Remaining CPU time: 80.5571 s 99.65/99.72 c =============================================================================== 99.65/99.72 c | 564 | 36480 257614 516676 | 85871 187 25 | 28.709 % | 99.65/99.77 c =============================================================================== 99.65/99.77 c New solution: 232 99.65/99.77 o 232 99.65/99.77 c Elapsed CPU time: 99.4969 s Remaining CPU time: 80.5031 s 99.65/99.77 c =============================================================================== 99.65/99.77 c | 566 | 36238 257615 516976 | 85871 189 24 | 28.709 % | 99.75/99.83 c =============================================================================== 99.75/99.83 c New solution: 231 99.75/99.83 o 231 99.75/99.83 c Elapsed CPU time: 99.5519 s Remaining CPU time: 80.4481 s 99.75/99.83 c =============================================================================== 99.75/99.83 c | 578 | 35996 257616 517276 | 85872 201 24 | 28.709 % | 99.75/99.89 c =============================================================================== 99.75/99.89 c New solution: 230 99.75/99.89 o 230 99.75/99.89 c Elapsed CPU time: 99.6149 s Remaining CPU time: 80.3851 s 99.75/99.89 c =============================================================================== 99.75/99.89 c | 623 | 35754 257617 517576 | 85872 246 27 | 28.709 % | 99.85/99.98 c =============================================================================== 99.85/99.98 c New solution: 229 99.85/99.98 o 229 99.85/99.98 c Elapsed CPU time: 99.7038 s Remaining CPU time: 80.2962 s 99.85/99.98 c =============================================================================== 99.85/99.98 c | 708 | 35512 257618 517876 | 85872 266 32 | 28.709 % | 99.95/100.03 c =============================================================================== 99.95/100.03 c New solution: 228 99.95/100.03 o 228 99.95/100.03 c Elapsed CPU time: 99.7548 s Remaining CPU time: 80.2452 s 99.95/100.03 c =============================================================================== 99.95/100.03 c | 710 | 35270 257619 518176 | 85873 268 32 | 28.709 % | 99.95/100.07 c =============================================================================== 99.95/100.07 c New solution: 227 99.95/100.07 o 227 99.95/100.07 c Elapsed CPU time: 99.7958 s Remaining CPU time: 80.2042 s 99.95/100.07 c =============================================================================== 99.95/100.07 c | 715 | 35028 257620 518476 | 85873 273 31 | 28.709 % | 100.05/100.12 c =============================================================================== 100.05/100.12 c New solution: 226 100.05/100.12 o 226 100.05/100.12 c Elapsed CPU time: 99.8468 s Remaining CPU time: 80.1532 s 100.05/100.13 c =============================================================================== 100.05/100.13 c | 721 | 34786 257621 518776 | 85873 279 31 | 28.709 % | 100.05/100.17 c =============================================================================== 100.05/100.18 c New solution: 225 100.05/100.18 o 225 100.05/100.18 c Elapsed CPU time: 99.8968 s Remaining CPU time: 80.1032 s 100.05/100.18 c =============================================================================== 100.05/100.18 c | 722 | 34544 257622 519076 | 85874 280 31 | 28.709 % | 100.14/100.22 c =============================================================================== 100.14/100.22 c New solution: 224 100.14/100.22 o 224 100.14/100.22 c Elapsed CPU time: 99.9428 s Remaining CPU time: 80.0572 s 100.14/100.22 c =============================================================================== 100.14/100.22 c | 730 | 34302 257623 519376 | 85874 288 31 | 28.709 % | 100.14/100.27 c =============================================================================== 100.14/100.27 c New solution: 223 100.14/100.27 o 223 100.14/100.27 c Elapsed CPU time: 99.9918 s Remaining CPU time: 80.0082 s 100.14/100.27 c =============================================================================== 100.14/100.27 c | 730 | 34060 257624 519676 | 85874 288 31 | 28.709 % | 100.24/100.32 c =============================================================================== 100.24/100.32 c New solution: 222 100.24/100.32 o 222 100.24/100.32 c Elapsed CPU time: 100.043 s Remaining CPU time: 79.9572 s 100.24/100.32 c =============================================================================== 100.24/100.32 c | 733 | 33818 257625 519976 | 85875 291 30 | 28.709 % | 100.24/100.37 c =============================================================================== 100.24/100.37 c New solution: 221 100.24/100.37 o 221 100.24/100.37 c Elapsed CPU time: 100.095 s Remaining CPU time: 79.9052 s 100.24/100.37 c =============================================================================== 100.24/100.37 c | 735 | 33576 257626 520276 | 85875 293 30 | 28.709 % | 100.34/100.41 c =============================================================================== 100.34/100.41 c New solution: 220 100.34/100.41 o 220 100.34/100.41 c Elapsed CPU time: 100.135 s Remaining CPU time: 79.8652 s 100.34/100.41 c =============================================================================== 100.34/100.41 c | 740 | 33334 257627 520576 | 85875 298 30 | 28.709 % | 100.34/100.46 c =============================================================================== 100.34/100.46 c New solution: 219 100.34/100.46 o 219 100.34/100.46 c Elapsed CPU time: 100.181 s Remaining CPU time: 79.8192 s 100.34/100.46 c =============================================================================== 100.34/100.46 c | 751 | 33092 257628 520876 | 85876 309 30 | 28.709 % | 100.44/100.52 c =============================================================================== 100.44/100.52 c New solution: 218 100.44/100.52 o 218 100.44/100.52 c Elapsed CPU time: 100.237 s Remaining CPU time: 79.7632 s 100.44/100.52 c =============================================================================== 100.44/100.52 c | 767 | 32850 257629 521176 | 85876 325 29 | 28.709 % | 100.44/100.57 c =============================================================================== 100.44/100.57 c New solution: 217 100.44/100.57 o 217 100.44/100.57 c Elapsed CPU time: 100.29 s Remaining CPU time: 79.7102 s 100.44/100.57 c =============================================================================== 100.44/100.57 c | 772 | 32608 257630 521476 | 85876 156 27 | 28.709 % | 100.54/100.63 c =============================================================================== 100.54/100.63 c New solution: 216 100.54/100.63 o 216 100.54/100.63 c Elapsed CPU time: 100.346 s Remaining CPU time: 79.6543 s 100.54/100.63 c =============================================================================== 100.54/100.63 c | 789 | 32366 257631 521776 | 85877 173 28 | 28.709 % | 100.54/100.68 c =============================================================================== 100.54/100.68 c New solution: 215 100.54/100.68 o 215 100.54/100.68 c Elapsed CPU time: 100.392 s Remaining CPU time: 79.6083 s 100.54/100.68 c =============================================================================== 100.54/100.68 c | 789 | 32124 257632 522076 | 85877 173 28 | 28.709 % | 100.65/100.73 c =============================================================================== 100.65/100.73 c New solution: 214 100.65/100.73 o 214 100.65/100.73 c Elapsed CPU time: 100.444 s Remaining CPU time: 79.5563 s 100.65/100.73 c =============================================================================== 100.65/100.73 c | 799 | 31882 257633 522376 | 85877 183 27 | 28.709 % | 100.65/100.78 c =============================================================================== 100.65/100.78 c New solution: 213 100.65/100.78 o 213 100.65/100.78 c Elapsed CPU time: 100.493 s Remaining CPU time: 79.5073 s 100.65/100.78 c =============================================================================== 100.65/100.78 c | 803 | 31640 257634 522676 | 85878 187 27 | 28.709 % | 100.75/100.82 c =============================================================================== 100.75/100.82 c New solution: 212 100.75/100.82 o 212 100.75/100.82 c Elapsed CPU time: 100.537 s Remaining CPU time: 79.4633 s 100.75/100.82 c =============================================================================== 100.75/100.82 c | 814 | 31398 257635 522976 | 85878 198 26 | 28.709 % | 100.75/100.86 c =============================================================================== 100.75/100.86 c New solution: 211 100.75/100.86 o 211 100.75/100.86 c Elapsed CPU time: 100.579 s Remaining CPU time: 79.4213 s 100.75/100.86 c =============================================================================== 100.75/100.86 c | 821 | 31156 257636 523276 | 85878 205 26 | 28.709 % | 100.85/100.91 c =============================================================================== 100.85/100.91 c New solution: 210 100.85/100.91 o 210 100.85/100.91 c Elapsed CPU time: 100.626 s Remaining CPU time: 79.3743 s 100.85/100.91 c =============================================================================== 100.85/100.91 c | 823 | 30914 257637 523576 | 85879 207 26 | 28.709 % | 100.85/100.95 c =============================================================================== 100.85/100.95 c New solution: 209 100.85/100.95 o 209 100.85/100.95 c Elapsed CPU time: 100.667 s Remaining CPU time: 79.3333 s 100.85/100.95 c =============================================================================== 100.85/100.95 c | 825 | 30672 257638 523876 | 85879 209 26 | 28.709 % | 100.95/101.01 c =============================================================================== 100.95/101.01 c New solution: 208 100.95/101.01 o 208 100.95/101.01 c Elapsed CPU time: 100.72 s Remaining CPU time: 79.2803 s 100.95/101.01 c =============================================================================== 100.95/101.01 c | 830 | 30430 257639 524176 | 85879 214 25 | 28.709 % | 100.95/101.06 c =============================================================================== 100.95/101.06 c New solution: 207 100.95/101.06 o 207 100.95/101.06 c Elapsed CPU time: 100.769 s Remaining CPU time: 79.2313 s 100.95/101.06 c =============================================================================== 100.95/101.06 c | 835 | 30188 257640 524476 | 85880 219 25 | 28.709 % | 100.95/101.09 c =============================================================================== 100.95/101.09 c New solution: 206 100.95/101.09 o 206 100.95/101.09 c Elapsed CPU time: 100.807 s Remaining CPU time: 79.1933 s 100.95/101.09 c =============================================================================== 100.95/101.09 c | 839 | 29946 257641 524776 | 85880 223 25 | 28.709 % | 101.05/101.14 c =============================================================================== 101.05/101.14 c New solution: 205 101.05/101.14 o 205 101.05/101.14 c Elapsed CPU time: 100.854 s Remaining CPU time: 79.1463 s 101.05/101.14 c =============================================================================== 101.05/101.14 c | 843 | 29704 257642 525076 | 85880 227 25 | 28.709 % | 101.05/101.18 c =============================================================================== 101.05/101.18 c New solution: 204 101.05/101.18 o 204 101.05/101.18 c Elapsed CPU time: 100.894 s Remaining CPU time: 79.1063 s 101.05/101.18 c =============================================================================== 101.05/101.18 c | 852 | 29462 257643 525376 | 85881 236 25 | 28.709 % | 101.15/101.23 c =============================================================================== 101.15/101.23 c New solution: 203 101.15/101.23 o 203 101.15/101.23 c Elapsed CPU time: 100.943 s Remaining CPU time: 79.0573 s 101.15/101.23 c =============================================================================== 101.15/101.23 c | 856 | 29220 257644 525676 | 85881 240 24 | 28.709 % | 101.15/101.27 c =============================================================================== 101.15/101.27 c New solution: 202 101.15/101.27 o 202 101.15/101.27 c Elapsed CPU time: 100.983 s Remaining CPU time: 79.0174 s 101.15/101.27 c =============================================================================== 101.15/101.27 c | 862 | 28978 257645 525976 | 85881 156 26 | 28.709 % | 101.24/101.32 c =============================================================================== 101.24/101.32 c New solution: 201 101.24/101.32 o 201 101.24/101.32 c Elapsed CPU time: 101.03 s Remaining CPU time: 78.9704 s 101.24/101.32 c =============================================================================== 101.24/101.32 c | 866 | 28736 257646 526276 | 85882 160 26 | 28.709 % | 101.24/101.36 c =============================================================================== 101.24/101.36 c New solution: 200 101.24/101.36 o 200 101.24/101.36 c Elapsed CPU time: 101.071 s Remaining CPU time: 78.9294 s 101.24/101.36 c =============================================================================== 101.24/101.36 c | 872 | 28494 257647 526576 | 85882 166 26 | 28.709 % | 101.34/101.41 c =============================================================================== 101.34/101.41 c New solution: 199 101.34/101.41 o 199 101.34/101.41 c Elapsed CPU time: 101.12 s Remaining CPU time: 78.8804 s 101.34/101.41 c =============================================================================== 101.34/101.41 c | 910 | 28252 257648 526876 | 85882 204 27 | 28.709 % | 101.34/101.46 c =============================================================================== 101.34/101.46 c New solution: 198 101.34/101.46 o 198 101.34/101.46 c Elapsed CPU time: 101.168 s Remaining CPU time: 78.8324 s 101.34/101.46 c =============================================================================== 101.34/101.46 c | 917 | 28010 257649 527176 | 85883 211 27 | 28.709 % | 101.45/101.50 c =============================================================================== 101.45/101.50 c New solution: 197 101.45/101.50 o 197 101.45/101.50 c Elapsed CPU time: 101.209 s Remaining CPU time: 78.7914 s 101.45/101.50 c =============================================================================== 101.45/101.50 c | 923 | 27768 257650 527476 | 85883 217 27 | 28.709 % | 101.45/101.55 c =============================================================================== 101.45/101.55 c New solution: 196 101.45/101.55 o 196 101.45/101.55 c Elapsed CPU time: 101.253 s Remaining CPU time: 78.7474 s 101.45/101.55 c =============================================================================== 101.45/101.55 c | 923 | 27526 257651 527776 | 85883 217 27 | 28.709 % | 101.45/101.59 c =============================================================================== 101.45/101.59 c New solution: 195 101.45/101.59 o 195 101.45/101.59 c Elapsed CPU time: 101.297 s Remaining CPU time: 78.7034 s 101.45/101.59 c =============================================================================== 101.45/101.59 c | 923 | 27284 257652 528076 | 85884 217 27 | 28.709 % | 101.55/101.63 c =============================================================================== 101.55/101.63 c New solution: 194 101.55/101.63 o 194 101.55/101.63 c Elapsed CPU time: 101.333 s Remaining CPU time: 78.6674 s 101.55/101.63 c =============================================================================== 101.55/101.63 c | 928 | 27042 257653 528376 | 85884 222 26 | 28.709 % | 101.55/101.66 c =============================================================================== 101.55/101.66 c New solution: 193 101.55/101.66 o 193 101.55/101.66 c Elapsed CPU time: 101.369 s Remaining CPU time: 78.6314 s 101.55/101.66 c =============================================================================== 101.55/101.66 c | 929 | 26800 257654 528676 | 85884 223 26 | 28.709 % | 101.65/101.71 c =============================================================================== 101.65/101.71 c New solution: 192 101.65/101.71 o 192 101.65/101.71 c Elapsed CPU time: 101.415 s Remaining CPU time: 78.5854 s 101.65/101.71 c =============================================================================== 101.65/101.71 c | 933 | 26558 257655 528976 | 85885 227 26 | 28.709 % | 101.65/101.76 c =============================================================================== 101.65/101.76 c New solution: 191 101.65/101.76 o 191 101.65/101.76 c Elapsed CPU time: 101.461 s Remaining CPU time: 78.5394 s 101.65/101.76 c =============================================================================== 101.65/101.76 c | 941 | 26316 257656 529276 | 85885 235 26 | 28.709 % | 101.74/101.80 c =============================================================================== 101.74/101.80 c New solution: 190 101.74/101.80 o 190 101.74/101.80 c Elapsed CPU time: 101.507 s Remaining CPU time: 78.4934 s 101.74/101.80 c =============================================================================== 101.74/101.80 c | 943 | 26074 257657 529576 | 85885 237 26 | 28.709 % | 101.74/101.85 c =============================================================================== 101.74/101.85 c New solution: 189 101.74/101.85 o 189 101.74/101.85 c Elapsed CPU time: 101.552 s Remaining CPU time: 78.4484 s 101.74/101.85 c =============================================================================== 101.74/101.85 c | 944 | 25832 257658 529876 | 85886 238 26 | 28.709 % | 101.74/101.89 c =============================================================================== 101.74/101.89 c New solution: 188 101.74/101.89 o 188 101.74/101.89 c Elapsed CPU time: 101.594 s Remaining CPU time: 78.4064 s 101.74/101.89 c =============================================================================== 101.74/101.89 c | 947 | 25590 257659 530176 | 85886 241 25 | 28.709 % | 101.84/101.93 c =============================================================================== 101.84/101.93 c New solution: 187 101.84/101.93 o 187 101.84/101.93 c Elapsed CPU time: 101.631 s Remaining CPU time: 78.3695 s 101.84/101.93 c =============================================================================== 101.84/101.93 c | 968 | 25348 257660 530476 | 85886 262 25 | 28.709 % | 101.84/101.97 c =============================================================================== 101.84/101.97 c New solution: 186 101.84/101.97 o 186 101.84/101.97 c Elapsed CPU time: 101.676 s Remaining CPU time: 78.3245 s 101.84/101.97 c =============================================================================== 101.84/101.97 c | 986 | 25106 257661 530776 | 85887 280 25 | 28.709 % | 101.94/102.02 c =============================================================================== 101.94/102.02 c New solution: 185 101.94/102.02 o 185 101.94/102.02 c Elapsed CPU time: 101.722 s Remaining CPU time: 78.2785 s 101.94/102.02 c =============================================================================== 101.94/102.02 c | 991 | 24864 257662 531076 | 85887 164 27 | 28.709 % | 101.94/102.07 c =============================================================================== 101.94/102.07 c New solution: 184 101.94/102.07 o 184 101.94/102.07 c Elapsed CPU time: 101.769 s Remaining CPU time: 78.2315 s 101.94/102.07 c =============================================================================== 101.94/102.07 c | 998 | 24622 257663 531376 | 85887 171 27 | 28.709 % | 102.04/102.11 c =============================================================================== 102.04/102.11 c New solution: 183 102.04/102.11 o 183 102.04/102.11 c Elapsed CPU time: 101.812 s Remaining CPU time: 78.1885 s 102.04/102.11 c =============================================================================== 102.04/102.11 c | 1014 | 24380 257664 531676 | 85888 187 27 | 28.709 % | 102.04/102.15 c =============================================================================== 102.04/102.15 c New solution: 182 102.04/102.15 o 182 102.04/102.15 c Elapsed CPU time: 101.853 s Remaining CPU time: 78.1475 s 102.04/102.15 c =============================================================================== 102.04/102.15 c | 1014 | 24138 257665 531976 | 85888 187 27 | 28.709 % | 102.04/102.19 c =============================================================================== 102.04/102.19 c New solution: 181 102.04/102.19 o 181 102.04/102.19 c Elapsed CPU time: 101.893 s Remaining CPU time: 78.1075 s 102.04/102.19 c =============================================================================== 102.04/102.19 c | 1015 | 23896 257666 532276 | 85888 188 27 | 28.709 % | 102.15/102.23 c =============================================================================== 102.15/102.23 c New solution: 180 102.15/102.23 o 180 102.15/102.23 c Elapsed CPU time: 101.934 s Remaining CPU time: 78.0665 s 102.15/102.23 c =============================================================================== 102.15/102.23 c | 1018 | 23654 257667 532576 | 85889 191 26 | 28.709 % | 102.15/102.28 c =============================================================================== 102.15/102.28 c New solution: 179 102.15/102.28 o 179 102.15/102.28 c Elapsed CPU time: 101.975 s Remaining CPU time: 78.0245 s 102.15/102.28 c =============================================================================== 102.15/102.28 c | 1019 | 23412 257668 532876 | 85889 192 26 | 28.709 % | 102.25/102.32 c =============================================================================== 102.25/102.32 c New solution: 178 102.25/102.32 o 178 102.25/102.32 c Elapsed CPU time: 102.017 s Remaining CPU time: 77.9825 s 102.25/102.32 c =============================================================================== 102.25/102.32 c | 1023 | 23170 257669 533176 | 85889 196 26 | 28.709 % | 102.25/102.35 c =============================================================================== 102.25/102.35 c New solution: 177 102.25/102.35 o 177 102.25/102.35 c Elapsed CPU time: 102.054 s Remaining CPU time: 77.9455 s 102.25/102.35 c =============================================================================== 102.25/102.35 c | 1031 | 22928 257670 533476 | 85890 204 26 | 28.709 % | 102.25/102.39 c =============================================================================== 102.25/102.39 c New solution: 176 102.25/102.39 o 176 102.25/102.39 c Elapsed CPU time: 102.092 s Remaining CPU time: 77.9075 s 102.25/102.39 c =============================================================================== 102.25/102.39 c | 1044 | 22686 257671 533776 | 85890 217 26 | 28.709 % | 102.34/102.44 c =============================================================================== 102.34/102.44 c New solution: 175 102.34/102.44 o 175 102.34/102.44 c Elapsed CPU time: 102.137 s Remaining CPU time: 77.8625 s 102.34/102.44 c =============================================================================== 102.34/102.44 c | 1049 | 22444 257672 534076 | 85890 222 26 | 28.709 % | 102.34/102.47 c =============================================================================== 102.34/102.47 c New solution: 174 102.34/102.47 o 174 102.34/102.47 c Elapsed CPU time: 102.171 s Remaining CPU time: 77.8285 s 102.34/102.47 c =============================================================================== 102.34/102.47 c | 1055 | 22202 257673 534376 | 85891 228 25 | 28.709 % | 102.44/102.51 c =============================================================================== 102.44/102.51 c New solution: 173 102.44/102.51 o 173 102.44/102.51 c Elapsed CPU time: 102.203 s Remaining CPU time: 77.7965 s 102.44/102.51 c =============================================================================== 102.44/102.51 c | 1057 | 21960 257674 534676 | 85891 230 25 | 28.709 % | 102.44/102.55 c =============================================================================== 102.44/102.55 c New solution: 172 102.44/102.55 o 172 102.44/102.55 c Elapsed CPU time: 102.244 s Remaining CPU time: 77.7555 s 102.44/102.55 c =============================================================================== 102.44/102.55 c | 1060 | 21718 257675 534976 | 85891 233 25 | 28.709 % | 102.44/102.59 c =============================================================================== 102.44/102.59 c New solution: 171 102.44/102.59 o 171 102.44/102.59 c Elapsed CPU time: 102.285 s Remaining CPU time: 77.7146 s 102.44/102.59 c =============================================================================== 102.44/102.59 c | 1076 | 21476 257676 535276 | 85892 249 25 | 28.709 % | 102.54/102.63 c =============================================================================== 102.54/102.63 c New solution: 170 102.54/102.63 o 170 102.54/102.63 c Elapsed CPU time: 102.324 s Remaining CPU time: 77.6756 s 102.54/102.63 c =============================================================================== 102.54/102.63 c | 1092 | 21234 257677 535576 | 85892 265 26 | 28.709 % | 102.54/102.67 c =============================================================================== 102.54/102.67 c New solution: 169 102.54/102.67 o 169 102.54/102.67 c Elapsed CPU time: 102.362 s Remaining CPU time: 77.6376 s 102.54/102.67 c =============================================================================== 102.54/102.67 c | 1092 | 20992 257678 535876 | 85892 265 26 | 28.709 % | 102.65/102.71 c =============================================================================== 102.65/102.71 c New solution: 168 102.65/102.71 o 168 102.65/102.71 c Elapsed CPU time: 102.401 s Remaining CPU time: 77.5986 s 102.65/102.71 c =============================================================================== 102.65/102.71 c | 1096 | 20750 257679 536176 | 85893 269 25 | 28.709 % | 102.65/102.74 c =============================================================================== 102.65/102.74 c New solution: 167 102.65/102.74 o 167 102.65/102.74 c Elapsed CPU time: 102.433 s Remaining CPU time: 77.5666 s 102.65/102.74 c =============================================================================== 102.65/102.74 c | 1100 | 20508 257680 536476 | 85893 273 25 | 28.709 % | 102.65/102.77 c =============================================================================== 102.65/102.77 c New solution: 166 102.65/102.77 o 166 102.65/102.77 c Elapsed CPU time: 102.466 s Remaining CPU time: 77.5336 s 102.65/102.77 c =============================================================================== 102.65/102.77 c | 1104 | 20266 257681 536776 | 85893 277 25 | 28.709 % | 102.75/102.81 c =============================================================================== 102.75/102.81 c New solution: 165 102.75/102.81 o 165 102.75/102.81 c Elapsed CPU time: 102.501 s Remaining CPU time: 77.4986 s 102.75/102.81 c =============================================================================== 102.75/102.81 c | 1114 | 20024 257682 537076 | 85894 287 25 | 28.709 % | 102.75/102.88 c | 1215 | 19782 257682 537076 | 94483 255 32 | 72.843 % | 102.84/102.91 c =============================================================================== 102.84/102.91 c New solution: 164 102.84/102.91 o 164 102.84/102.91 c Elapsed CPU time: 102.602 s Remaining CPU time: 77.3976 s 102.84/102.91 c =============================================================================== 102.84/102.91 c | 1217 | 19782 257683 537376 | 85894 257 32 | 72.843 % | 102.84/102.95 c =============================================================================== 102.84/102.95 c New solution: 163 102.84/102.95 o 163 102.84/102.95 c Elapsed CPU time: 102.64 s Remaining CPU time: 77.3596 s 102.84/102.95 c =============================================================================== 102.84/102.95 c | 1219 | 19540 257684 537676 | 85894 259 32 | 72.843 % | 102.84/102.98 c =============================================================================== 102.84/102.98 c New solution: 162 102.84/102.98 o 162 102.84/102.98 c Elapsed CPU time: 102.672 s Remaining CPU time: 77.3276 s 102.84/102.98 c =============================================================================== 102.84/102.98 c | 1225 | 19298 257685 537976 | 85895 265 32 | 72.843 % | 102.94/103.02 c =============================================================================== 102.94/103.02 c New solution: 161 102.94/103.02 o 161 102.94/103.02 c Elapsed CPU time: 102.71 s Remaining CPU time: 77.2896 s 102.94/103.02 c =============================================================================== 102.94/103.02 c | 1229 | 19056 257686 538276 | 85895 269 32 | 72.843 % | 102.94/103.06 c =============================================================================== 102.94/103.06 c New solution: 160 102.94/103.06 o 160 102.94/103.06 c Elapsed CPU time: 102.749 s Remaining CPU time: 77.2506 s 102.94/103.06 c =============================================================================== 102.94/103.06 c | 1231 | 18814 257687 538576 | 85895 271 31 | 72.843 % | 103.04/103.10 c =============================================================================== 103.04/103.10 c New solution: 159 103.04/103.10 o 159 103.04/103.10 c Elapsed CPU time: 102.786 s Remaining CPU time: 77.2136 s 103.04/103.10 c =============================================================================== 103.04/103.10 c | 1234 | 18572 257688 538876 | 85896 274 31 | 72.843 % | 103.04/103.13 c =============================================================================== 103.04/103.13 c New solution: 158 103.04/103.13 o 158 103.04/103.13 c Elapsed CPU time: 102.819 s Remaining CPU time: 77.1806 s 103.04/103.13 c =============================================================================== 103.04/103.13 c | 1241 | 18330 257689 539176 | 85896 281 31 | 72.843 % | 103.04/103.17 c =============================================================================== 103.04/103.17 c New solution: 157 103.04/103.17 o 157 103.04/103.17 c Elapsed CPU time: 102.856 s Remaining CPU time: 77.1436 s 103.04/103.17 c =============================================================================== 103.04/103.17 c | 1242 | 18088 257690 539476 | 85896 282 31 | 72.843 % | 103.14/103.20 c =============================================================================== 103.14/103.20 c New solution: 156 103.14/103.20 o 156 103.14/103.20 c Elapsed CPU time: 102.892 s Remaining CPU time: 77.1076 s 103.14/103.20 c =============================================================================== 103.14/103.20 c | 1243 | 17846 257691 539776 | 85897 283 31 | 72.843 % | 103.14/103.24 c =============================================================================== 103.14/103.24 c New solution: 155 103.14/103.24 o 155 103.14/103.24 c Elapsed CPU time: 102.929 s Remaining CPU time: 77.0706 s 103.14/103.24 c =============================================================================== 103.14/103.24 c | 1250 | 17604 257692 540076 | 85897 290 30 | 72.843 % | 103.14/103.27 c =============================================================================== 103.14/103.27 c New solution: 154 103.14/103.27 o 154 103.14/103.27 c Elapsed CPU time: 102.962 s Remaining CPU time: 77.0377 s 103.14/103.27 c =============================================================================== 103.14/103.27 c | 1257 | 17362 257693 540376 | 85897 297 30 | 72.843 % | 103.25/103.31 c =============================================================================== 103.25/103.31 c New solution: 153 103.25/103.31 o 153 103.25/103.31 c Elapsed CPU time: 103.001 s Remaining CPU time: 76.9987 s 103.25/103.31 c =============================================================================== 103.25/103.31 c | 1261 | 17120 257694 540676 | 85898 301 30 | 72.843 % | 103.25/103.35 c =============================================================================== 103.25/103.35 c New solution: 152 103.25/103.35 o 152 103.25/103.35 c Elapsed CPU time: 103.038 s Remaining CPU time: 76.9617 s 103.25/103.35 c =============================================================================== 103.25/103.35 c | 1267 | 16878 257695 540976 | 85898 307 30 | 72.843 % | 103.25/103.39 c =============================================================================== 103.25/103.39 c New solution: 151 103.25/103.39 o 151 103.25/103.39 c Elapsed CPU time: 103.077 s Remaining CPU time: 76.9227 s 103.25/103.39 c =============================================================================== 103.25/103.39 c | 1287 | 16636 257696 541276 | 85898 327 30 | 72.843 % | 103.35/103.43 c =============================================================================== 103.35/103.43 c New solution: 150 103.35/103.43 o 150 103.35/103.43 c Elapsed CPU time: 103.113 s Remaining CPU time: 76.8867 s 103.35/103.43 c =============================================================================== 103.35/103.43 c | 1288 | 16394 257697 541576 | 85899 328 30 | 72.843 % | 103.35/103.46 c =============================================================================== 103.35/103.46 c New solution: 149 103.35/103.46 o 149 103.35/103.46 c Elapsed CPU time: 103.147 s Remaining CPU time: 76.8527 s 103.35/103.46 c =============================================================================== 103.35/103.46 c | 1293 | 16152 257698 541876 | 85899 333 29 | 72.843 % | 103.45/103.50 c =============================================================================== 103.45/103.50 c New solution: 148 103.45/103.50 o 148 103.45/103.50 c Elapsed CPU time: 103.183 s Remaining CPU time: 76.8167 s 103.45/103.50 c =============================================================================== 103.45/103.50 c | 1296 | 15910 257699 542176 | 85899 336 29 | 72.843 % | 103.45/103.53 c =============================================================================== 103.45/103.53 c New solution: 147 103.45/103.53 o 147 103.45/103.53 c Elapsed CPU time: 103.213 s Remaining CPU time: 76.7867 s 103.45/103.53 c =============================================================================== 103.45/103.53 c | 1301 | 15668 257700 542476 | 85900 341 29 | 72.843 % | 103.45/103.56 c =============================================================================== 103.45/103.56 c New solution: 146 103.45/103.56 o 146 103.45/103.56 c Elapsed CPU time: 103.243 s Remaining CPU time: 76.7567 s 103.45/103.56 c =============================================================================== 103.45/103.56 c | 1302 | 15426 257701 542776 | 85900 342 29 | 72.843 % | 103.45/103.60 c =============================================================================== 103.45/103.60 c New solution: 145 103.45/103.60 o 145 103.45/103.60 c Elapsed CPU time: 103.279 s Remaining CPU time: 76.7207 s 103.45/103.60 c =============================================================================== 103.45/103.60 c | 1307 | 15184 257702 543076 | 85900 347 29 | 72.843 % | 103.55/103.63 c =============================================================================== 103.55/103.63 c New solution: 144 103.55/103.63 o 144 103.55/103.63 c Elapsed CPU time: 103.313 s Remaining CPU time: 76.6867 s 103.55/103.63 c =============================================================================== 103.55/103.63 c | 1310 | 14942 257703 543376 | 85901 350 29 | 72.843 % | 103.55/103.66 c =============================================================================== 103.55/103.66 c New solution: 143 103.55/103.66 o 143 103.55/103.66 c Elapsed CPU time: 103.342 s Remaining CPU time: 76.6577 s 103.55/103.66 c =============================================================================== 103.55/103.66 c | 1312 | 14700 257704 543676 | 85901 352 29 | 72.843 % | 103.55/103.69 c =============================================================================== 103.55/103.69 c New solution: 142 103.55/103.69 o 142 103.55/103.69 c Elapsed CPU time: 103.373 s Remaining CPU time: 76.6267 s 103.55/103.69 c =============================================================================== 103.55/103.69 c | 1315 | 14458 257705 543976 | 85901 355 29 | 72.843 % | 103.65/103.73 c =============================================================================== 103.65/103.73 c New solution: 141 103.65/103.73 o 141 103.65/103.73 c Elapsed CPU time: 103.409 s Remaining CPU time: 76.5907 s 103.65/103.73 c =============================================================================== 103.65/103.73 c | 1323 | 14216 257706 544276 | 85902 363 28 | 72.843 % | 103.65/103.75 c =============================================================================== 103.65/103.75 c New solution: 140 103.65/103.75 o 140 103.65/103.75 c Elapsed CPU time: 103.437 s Remaining CPU time: 76.5627 s 103.65/103.75 c =============================================================================== 103.65/103.75 c | 1326 | 13974 257707 544576 | 85902 366 28 | 72.843 % | 103.65/103.79 c =============================================================================== 103.65/103.79 c New solution: 139 103.65/103.79 o 139 103.65/103.79 c Elapsed CPU time: 103.471 s Remaining CPU time: 76.5287 s 103.65/103.79 c =============================================================================== 103.65/103.79 c | 1331 | 13732 257708 544876 | 85902 139 27 | 72.843 % | 103.74/103.82 c =============================================================================== 103.74/103.82 c New solution: 138 103.74/103.82 o 138 103.74/103.82 c Elapsed CPU time: 103.504 s Remaining CPU time: 76.4957 s 103.74/103.82 c =============================================================================== 103.74/103.82 c | 1334 | 13490 257709 545176 | 85903 142 27 | 72.843 % | 103.74/103.85 c =============================================================================== 103.74/103.85 c New solution: 137 103.74/103.85 o 137 103.74/103.85 c Elapsed CPU time: 103.533 s Remaining CPU time: 76.4667 s 103.74/103.85 c =============================================================================== 103.74/103.85 c | 1337 | 13248 257710 545476 | 85903 145 27 | 72.843 % | 103.74/103.88 c =============================================================================== 103.74/103.88 c New solution: 136 103.74/103.88 o 136 103.74/103.88 c Elapsed CPU time: 103.561 s Remaining CPU time: 76.4387 s 103.74/103.88 c =============================================================================== 103.74/103.88 c | 1340 | 13006 257711 545776 | 85903 148 26 | 72.843 % | 103.84/103.91 c =============================================================================== 103.84/103.91 c New solution: 135 103.84/103.91 o 135 103.84/103.91 c Elapsed CPU time: 103.592 s Remaining CPU time: 76.4077 s 103.84/103.91 c =============================================================================== 103.84/103.91 c | 1341 | 12764 257712 546076 | 85904 149 26 | 72.843 % | 103.84/103.94 c =============================================================================== 103.84/103.94 c New solution: 134 103.84/103.94 o 134 103.84/103.94 c Elapsed CPU time: 103.623 s Remaining CPU time: 76.3768 s 103.84/103.94 c =============================================================================== 103.84/103.94 c | 1353 | 12522 257713 546376 | 85904 161 26 | 72.843 % | 103.84/103.99 c =============================================================================== 103.84/103.99 c New solution: 133 103.84/103.99 o 133 103.84/103.99 c Elapsed CPU time: 103.669 s Remaining CPU time: 76.3308 s 103.84/103.99 c =============================================================================== 103.84/103.99 c | 1374 | 12280 257714 546676 | 85904 182 26 | 72.843 % | 103.94/104.02 c =============================================================================== 103.94/104.02 c New solution: 132 103.94/104.02 o 132 103.94/104.02 c Elapsed CPU time: 103.702 s Remaining CPU time: 76.2978 s 103.94/104.02 c =============================================================================== 103.94/104.02 c | 1377 | 12038 257715 546976 | 85905 185 26 | 72.843 % | 103.94/104.05 c =============================================================================== 103.94/104.05 c New solution: 131 103.94/104.05 o 131 103.94/104.05 c Elapsed CPU time: 103.733 s Remaining CPU time: 76.2668 s 103.94/104.05 c =============================================================================== 103.94/104.05 c | 1379 | 11796 257716 547276 | 85905 187 26 | 72.843 % | 103.94/104.09 c =============================================================================== 103.94/104.09 c New solution: 130 103.94/104.09 o 130 103.94/104.09 c Elapsed CPU time: 103.764 s Remaining CPU time: 76.2358 s 103.94/104.09 c =============================================================================== 103.94/104.09 c | 1382 | 11554 257717 547576 | 85905 190 26 | 72.843 % | 104.04/104.12 c =============================================================================== 104.04/104.12 c New solution: 129 104.04/104.12 o 129 104.04/104.12 c Elapsed CPU time: 103.796 s Remaining CPU time: 76.2038 s 104.04/104.12 c =============================================================================== 104.04/104.12 c | 1386 | 11312 257718 547876 | 85906 194 26 | 72.843 % | 104.04/104.15 c =============================================================================== 104.04/104.15 c New solution: 128 104.04/104.15 o 128 104.04/104.15 c Elapsed CPU time: 103.825 s Remaining CPU time: 76.1748 s 104.04/104.15 c =============================================================================== 104.04/104.15 c | 1394 | 11070 257719 548176 | 85906 202 25 | 72.843 % | 104.04/104.18 c =============================================================================== 104.04/104.18 c New solution: 127 104.04/104.18 o 127 104.04/104.18 c Elapsed CPU time: 103.855 s Remaining CPU time: 76.1448 s 104.04/104.18 c =============================================================================== 104.04/104.18 c | 1409 | 10828 257720 548476 | 85906 217 25 | 72.843 % | 104.14/104.27 c | 1509 | 10821 257720 548476 | 94497 317 30 | 85.467 % | 104.24/104.30 c =============================================================================== 104.24/104.30 c New solution: 126 104.24/104.30 o 126 104.24/104.30 c Elapsed CPU time: 103.976 s Remaining CPU time: 76.0238 s 104.24/104.30 c =============================================================================== 104.24/104.30 c | 1514 | 10586 257721 548776 | 85907 322 30 | 85.467 % | 104.24/104.32 c =============================================================================== 104.24/104.32 c New solution: 125 104.24/104.32 o 125 104.24/104.32 c Elapsed CPU time: 104.002 s Remaining CPU time: 75.9978 s 104.24/104.32 c =============================================================================== 104.24/104.32 c | 1517 | 10344 257722 549076 | 85907 325 30 | 85.467 % | 104.24/104.37 c =============================================================================== 104.24/104.37 c New solution: 124 104.24/104.37 o 124 104.24/104.37 c Elapsed CPU time: 104.05 s Remaining CPU time: 75.9498 s 104.24/104.37 c =============================================================================== 104.24/104.37 c | 1603 | 10102 257723 549376 | 85907 411 31 | 85.467 % | 104.35/104.46 c | 1703 | 10093 257723 549376 | 94498 511 33 | 86.464 % | 104.35/104.49 c =============================================================================== 104.35/104.49 c New solution: 123 104.35/104.49 o 123 104.35/104.49 c Elapsed CPU time: 104.16 s Remaining CPU time: 75.8398 s 104.35/104.49 c =============================================================================== 104.35/104.49 c | 1712 | 9860 257724 549676 | 85908 520 33 | 86.464 % | 104.45/104.52 c =============================================================================== 104.45/104.52 c New solution: 122 104.45/104.52 o 122 104.45/104.52 c Elapsed CPU time: 104.189 s Remaining CPU time: 75.8108 s 104.45/104.52 c =============================================================================== 104.45/104.52 c | 1720 | 9618 257725 549976 | 85908 528 33 | 86.464 % | 104.45/104.54 c =============================================================================== 104.45/104.54 c New solution: 121 104.45/104.54 o 121 104.45/104.54 c Elapsed CPU time: 104.217 s Remaining CPU time: 75.7828 s 104.45/104.54 c =============================================================================== 104.45/104.54 c | 1725 | 9376 257726 550276 | 85908 533 32 | 86.464 % | 104.45/104.57 c =============================================================================== 104.45/104.57 c New solution: 120 104.45/104.57 o 120 104.45/104.57 c Elapsed CPU time: 104.247 s Remaining CPU time: 75.7528 s 104.45/104.57 c =============================================================================== 104.45/104.57 c | 1739 | 9134 257727 550576 | 85909 547 32 | 86.464 % | 104.55/104.62 c | 1839 | 9117 257727 550576 | 94499 647 34 | 87.793 % | 104.64/104.77 c | 1989 | 9101 257727 550576 | 103949 797 39 | 87.793 % | 104.74/104.82 c =============================================================================== 104.74/104.82 c New solution: 119 104.74/104.82 o 119 104.74/104.82 c Elapsed CPU time: 104.495 s Remaining CPU time: 75.5049 s 104.74/104.82 c =============================================================================== 104.74/104.82 c | 2043 | 8892 257728 550876 | 85909 554 40 | 87.793 % | 104.74/104.87 c | 2143 | 8892 257728 550876 | 94500 654 40 | 88.125 % | 104.94/105.02 c | 2293 | 8886 257728 550876 | 103950 804 41 | 88.125 % | 104.94/105.09 c =============================================================================== 104.94/105.09 c New solution: 118 104.94/105.09 o 118 104.94/105.09 c Elapsed CPU time: 104.757 s Remaining CPU time: 75.2429 s 104.94/105.09 c =============================================================================== 104.94/105.09 c | 2423 | 8650 257729 551176 | 85909 934 40 | 88.125 % | 105.04/105.17 c | 2524 | 8629 257729 551176 | 94500 1035 41 | 88.457 % | 105.14/105.28 c =============================================================================== 105.14/105.28 c New solution: 117 105.14/105.28 o 117 105.14/105.28 c Elapsed CPU time: 104.945 s Remaining CPU time: 75.055 s 105.14/105.28 c =============================================================================== 105.14/105.28 c | 2612 | 8408 257730 551476 | 85910 1123 40 | 88.457 % | 105.34/105.40 c | 2714 | 8401 257730 551476 | 94501 1225 41 | 88.789 % | 105.34/105.48 c | 2864 | 8375 257730 551476 | 103951 1375 44 | 88.789 % | 105.45/105.52 c =============================================================================== 105.45/105.52 c New solution: 116 105.45/105.52 o 116 105.45/105.52 c Elapsed CPU time: 105.188 s Remaining CPU time: 74.812 s 105.45/105.52 c =============================================================================== 105.45/105.52 c | 2885 | 8166 257731 551776 | 85910 1396 44 | 88.789 % | 105.45/105.57 c =============================================================================== 105.45/105.57 c New solution: 115 105.45/105.57 o 115 105.45/105.57 c Elapsed CPU time: 105.239 s Remaining CPU time: 74.761 s 105.45/105.57 c =============================================================================== 105.45/105.57 c | 2944 | 7924 257732 552076 | 85910 1455 44 | 88.789 % | 105.55/105.67 c | 3044 | 7917 257732 552076 | 94501 1555 44 | 89.454 % | 105.64/105.73 c | 3195 | 7682 257732 552076 | 103951 1137 40 | 89.454 % | 105.84/105.94 c | 3421 | 7682 257732 552076 | 114347 1363 40 | 89.454 % | 105.84/105.98 c =============================================================================== 105.84/105.98 c New solution: 114 105.84/105.98 o 114 105.84/105.98 c Elapsed CPU time: 105.65 s Remaining CPU time: 74.3501 s 105.84/105.98 c =============================================================================== 105.84/105.98 c | 3456 | 7682 257733 552376 | 85911 1398 40 | 89.454 % | 106.04/106.13 c | 3557 | 7673 257733 552376 | 94502 1499 41 | 89.786 % | 106.04/106.19 c | 3707 | 7657 257733 552376 | 103952 1649 40 | 89.786 % | 106.44/106.50 c | 3933 | 7650 257733 552376 | 114347 1875 42 | 89.786 % | 106.44/106.57 c =============================================================================== 106.44/106.57 c New solution: 113 106.44/106.57 o 113 106.44/106.57 c Elapsed CPU time: 106.232 s Remaining CPU time: 73.7682 s 106.44/106.57 c =============================================================================== 106.44/106.57 c | 4056 | 7440 257734 552676 | 85911 1998 43 | 89.786 % | 106.54/106.61 c =============================================================================== 106.54/106.61 c New solution: 112 106.54/106.61 o 112 106.54/106.61 c Elapsed CPU time: 106.278 s Remaining CPU time: 73.7222 s 106.54/106.61 c =============================================================================== 106.54/106.61 c | 4087 | 7198 257735 552976 | 85911 1531 37 | 89.786 % | 106.54/106.66 c | 4187 | 7190 257735 552976 | 94502 1631 36 | 90.451 % | 106.74/106.80 c | 4341 | 7179 257735 552976 | 103953 1785 37 | 90.451 % | 106.74/106.87 c | 4566 | 7174 257735 552976 | 114348 2010 38 | 90.451 % | 107.15/107.22 c | 4903 | 7169 257735 552976 | 125783 2347 40 | 90.451 % | 107.34/107.46 c | 5409 | 7160 257735 552976 | 138361 2853 42 | 90.451 % | 107.54/107.62 c =============================================================================== 107.54/107.62 c New solution: 111 107.54/107.62 o 111 107.54/107.62 c Elapsed CPU time: 107.282 s Remaining CPU time: 72.7183 s 107.54/107.62 c =============================================================================== 107.54/107.62 c | 5660 | 6956 257736 553276 | 85912 2770 40 | 90.451 % | 107.65/107.75 c | 5760 | 6942 257736 553276 | 94503 2870 41 | 90.783 % | 107.75/107.85 c | 5912 | 6924 257736 553276 | 103953 3022 40 | 90.783 % | 107.94/108.09 c | 6137 | 6918 257736 553276 | 114348 3247 41 | 90.783 % | 108.14/108.28 c | 6475 | 6915 257736 553276 | 125783 3585 43 | 90.783 % | 108.75/108.90 c | 6981 | 6910 257736 553276 | 138362 4091 44 | 90.783 % | 109.34/109.45 c | 7740 | 6714 257736 553276 | 152198 4297 43 | 90.783 % | 110.94/111.02 c | 8879 | 6714 257736 553276 | 167418 5436 48 | 90.783 % | 111.94/112.03 c | 10587 | 6714 257736 553276 | 184160 7144 47 | 90.783 % | 114.54/114.65 c | 13150 | 6714 257736 553276 | 202576 9707 51 | 90.783 % | 116.94/117.07 c =============================================================================== 116.94/117.07 c New solution: 110 116.94/117.07 o 110 116.94/117.07 c Elapsed CPU time: 116.696 s Remaining CPU time: 63.3037 s 116.94/117.07 c =============================================================================== 116.94/117.07 c | 15508 | 6714 257737 553576 | 85912 12065 52 | 90.783 % | 117.14/117.21 c | 15608 | 6472 257737 553576 | 94503 10190 47 | 91.115 % | 117.24/117.36 c | 15759 | 6472 257737 553576 | 103953 10341 47 | 91.115 % | 117.43/117.52 c | 15984 | 6472 257737 553576 | 114349 10566 47 | 91.115 % | 117.84/117.90 c | 16321 | 6472 257737 553576 | 125784 10903 47 | 91.115 % | 118.24/118.35 c | 16827 | 6472 257737 553576 | 138362 11409 47 | 91.115 % | 119.03/119.18 c | 17586 | 6472 257737 553576 | 152198 12168 48 | 91.115 % | 120.44/120.56 c | 18726 | 6472 257737 553576 | 167418 13308 49 | 91.115 % | 122.64/122.75 c | 20435 | 6472 257737 553576 | 184160 15017 52 | 91.115 % | 125.24/125.32 c | 22997 | 6472 257737 553576 | 202576 17579 54 | 91.115 % | 130.53/130.68 c | 26841 | 6472 257737 553576 | 222834 21423 59 | 91.115 % | 136.13/136.28 c | 32607 | 6472 257737 553576 | 245117 27189 59 | 91.115 % | 152.93/153.02 c | 41258 | 6472 257737 553576 | 269629 35840 63 | 91.115 % | 172.72/172.90 c | 54233 | 6472 257737 553576 | 296592 48815 63 | 91.115 % | 180.42/180.55 c There are 66370 assigned variables. 292 in cost function. 180.82/180.90 c core #1 180.82/180.90 c ============================[ Search Statistics ]============================== 180.82/180.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.82/180.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.82/180.90 c =============================================================================== 180.82/180.90 c | 0 | 4778 83871 43970 | 27957 0 nan | 0.000 % | 180.82/180.94 c | 100 | 4778 83871 43970 | 30752 100 28 | 93.441 % | 180.92/181.00 c | 250 | 4778 83871 43970 | 33827 250 29 | 93.441 % | 180.92/181.09 c | 475 | 4778 83871 43970 | 37210 475 30 | 93.441 % | 181.12/181.21 c | 812 | 4778 83871 43970 | 40931 812 34 | 93.441 % | 181.33/181.44 c | 1320 | 4778 83871 43970 | 45025 1320 36 | 93.441 % | 181.62/181.79 c | 2079 | 4592 83871 43970 | 49527 1644 34 | 93.697 % | 182.03/182.16 c =============================================================================== 182.13/182.27 c core #2 182.13/182.27 c ============================[ Search Statistics ]============================== 182.13/182.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.27 c =============================================================================== 182.13/182.27 c | 0 | 5037 83882 44823 | 27960 0 nan | 0.000 % | 182.23/182.31 c | 102 | 5037 83882 44823 | 30756 102 24 | 93.087 % | 182.23/182.37 c | 252 | 5037 83882 44823 | 33832 252 35 | 93.087 % | 182.33/182.46 c | 479 | 5037 83882 44823 | 37215 479 36 | 93.087 % | 182.43/182.60 c | 816 | 5037 83882 44823 | 40937 816 37 | 93.087 % | 182.72/182.80 c | 1322 | 5037 83882 44823 | 45030 1322 38 | 93.087 % | 183.02/183.12 c | 2082 | 5017 83882 44823 | 49534 2034 40 | 93.114 % | 183.53/183.60 c | 3221 | 5014 83882 44823 | 54487 3171 39 | 93.118 % | 184.32/184.40 c | 4931 | 5014 83882 44823 | 59936 4881 42 | 93.118 % | 185.62/185.77 c | 7493 | 5014 83882 44823 | 65929 7443 45 | 93.118 % | 188.12/188.28 c | 11337 | 5014 83882 44823 | 72522 11287 48 | 93.118 % | 193.02/193.14 c | 17105 | 5014 83882 44823 | 79775 17055 51 | 93.118 % | 201.01/201.19 c | 25754 | 4859 83882 44823 | 87752 18187 50 | 93.354 % | 202.91/203.08 c =============================================================================== 203.11/203.20 c core #3 203.11/203.20 c ============================[ Search Statistics ]============================== 203.11/203.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.11/203.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.11/203.20 c =============================================================================== 203.11/203.20 c | 0 | 5285 83889 45640 | 27963 0 nan | 0.000 % | 203.11/203.25 c | 102 | 5285 83889 45640 | 30759 102 28 | 92.747 % | 203.21/203.32 c | 254 | 5285 83889 45640 | 33835 254 42 | 92.747 % | 203.32/203.41 c | 479 | 5285 83889 45640 | 37218 479 39 | 92.747 % | 203.42/203.54 c | 816 | 5285 83889 45640 | 40940 816 38 | 92.747 % | 203.61/203.76 c | 1323 | 5285 83889 45640 | 45034 1323 37 | 92.747 % | 204.01/204.11 c | 2082 | 5285 83889 45640 | 49538 2082 38 | 92.747 % | 204.52/204.61 c | 3221 | 5285 83889 45640 | 54491 3221 41 | 92.747 % | 205.31/205.45 c | 4929 | 5285 83889 45640 | 59941 4929 44 | 92.747 % | 206.62/206.78 c | 7491 | 5285 83889 45640 | 65935 7491 44 | 92.747 % | 209.01/209.14 c | 11335 | 5285 83889 45640 | 72528 11335 48 | 92.747 % | 213.10/213.25 c | 17101 | 5285 83889 45640 | 79781 17101 47 | 92.747 % | 220.81/220.91 c | 25751 | 5285 83889 45640 | 87759 25751 48 | 92.747 % | 235.50/235.64 c | 38725 | 5285 83889 45640 | 96535 38725 51 | 92.747 % | 266.49/266.61 c | 58187 | 5285 83889 45640 | 106189 58187 54 | 92.747 % | 329.17/329.37 c | 87380 | 5285 83889 45640 | 116808 87380 57 | 92.747 % | 440.84/441.07 c | 131169 | 5111 83889 45640 | 128489 73303 49 | 92.986 % | 580.40/580.69 c =============================================================================== 580.70/580.95 c core #4 580.70/580.95 c ============================[ Search Statistics ]============================== 580.70/580.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 580.70/580.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 580.70/580.95 c =============================================================================== 580.70/580.95 c | 0 | 5532 83925 45797 | 27975 0 nan | 0.000 % | 580.80/581.00 c | 101 | 5532 83925 45797 | 30772 101 24 | 92.408 % | 580.80/581.05 c | 251 | 5532 83925 45797 | 33849 251 31 | 92.408 % | 580.89/581.13 c | 477 | 5532 83925 45797 | 37234 477 33 | 92.408 % | 580.99/581.27 c | 814 | 5532 83925 45797 | 40958 814 39 | 92.408 % | 581.20/581.44 c | 1320 | 5532 83925 45797 | 45054 1320 37 | 92.408 % | 581.49/581.78 c | 2081 | 5532 83925 45797 | 49559 2081 37 | 92.408 % | 581.99/582.24 c | 3220 | 5532 83925 45797 | 54515 3220 37 | 92.408 % | 582.81/583.03 c | 4932 | 5532 83925 45797 | 59966 4932 41 | 92.408 % | 584.10/584.33 c | 7494 | 5468 83925 45797 | 65963 6876 41 | 92.496 % | 586.10/586.38 c | 11338 | 5468 83925 45797 | 72559 10720 44 | 92.496 % | 590.19/590.47 c | 17106 | 5468 83925 45797 | 79815 16488 47 | 92.496 % | 597.69/597.95 c | 25755 | 5468 83925 45797 | 87797 25137 44 | 92.496 % | 611.39/611.62 c | 38729 | 5468 83925 45797 | 96577 38111 51 | 92.496 % | 640.08/640.33 c | 58192 | 5468 83925 45797 | 106235 57574 50 | 92.496 % | 686.36/686.64 c | 87387 | 5468 83925 45797 | 116858 86769 52 | 92.496 % | 803.14/803.48 c | 131178 | 5468 83925 45797 | 128544 130560 53 | 92.496 % | 1034.07/1034.40 c | 196862 | 5468 83925 45797 | 141398 196244 55 | 92.496 % | 1250.50/1250.91 c | 295389 | 5452 83925 45797 | 155538 93036 73 | 92.518 % | 1718.85/1719.44 c | 443179 | 5452 83925 45797 | 171092 38921 58 | 92.518 % |
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-2687113-1278448088/watcher-2687113-1278448088 -o /tmp/evaluation-result-2687113-1278448088/solver-2687113-1278448088 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687113-1278448088.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.77 1.92 1.62 3/106 21656 /proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=10720 CPUtime=0 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 371 0 0 0 0 0 0 0 18 0 1 0 13021012 10977280 290 1992294400 134512640 135751879 4289014128 18446744073709551615 134613677 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 2680 291 144 303 0 446 0 [startup+0.0272939 s] /proc/loadavg: 1.77 1.92 1.62 3/106 21656 /proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=11748 CPUtime=0.02 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 626 0 0 0 2 0 0 0 18 0 1 0 13021012 12029952 545 1992294400 134512640 135751879 4289014128 18446744073709551615 134559790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 2937 546 172 303 0 703 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11748 [startup+0.101302 s] /proc/loadavg: 1.77 1.92 1.62 3/106 21656 /proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=15484 CPUtime=0.09 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 1615 0 0 0 9 0 0 0 21 0 1 0 13021012 15855616 1534 1992294400 134512640 135751879 4289014128 18446744073709551615 134573989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 3871 1535 287 303 0 1637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15484 [startup+0.301322 s] /proc/loadavg: 1.77 1.92 1.62 3/106 21656 /proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=19756 CPUtime=0.29 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 2939 0 0 0 28 1 0 0 21 0 1 0 13021012 20230144 2825 1992294400 134512640 135751879 4289014128 18446744073709551615 135204046 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 4939 2825 589 303 0 2705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19756 [startup+0.701366 s] /proc/loadavg: 1.77 1.92 1.62 3/106 21656 /proc/meminfo: memFree=1817916/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=24956 CPUtime=0.69 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 4751 0 0 0 67 2 0 0 22 0 1 0 13021012 25554944 4597 1992294400 134512640 135751879 4289014128 18446744073709551615 134559667 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 6239 4597 1192 303 0 4005 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24956 [startup+1.50145 s] /proc/loadavg: 1.77 1.92 1.62 2/107 21657 /proc/meminfo: memFree=1798936/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=45136 CPUtime=1.49 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 12412 0 0 0 144 5 0 0 25 0 1 0 13021012 46219264 9991 1992294400 134512640 135751879 4289014128 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 11284 9992 145 303 0 10979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45136 [startup+3.10162 s] /proc/loadavg: 1.77 1.92 1.62 2/107 21657 /proc/meminfo: memFree=1768184/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=55784 CPUtime=3.09 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 15129 0 0 0 303 6 0 0 25 0 1 0 13021012 57122816 12708 1992294400 134512640 135751879 4289014128 18446744073709551615 134524619 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 13946 12708 146 303 0 13641 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55784 [startup+6.30096 s] /proc/loadavg: 1.71 1.91 1.62 2/107 21657 /proc/meminfo: memFree=1761240/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=63572 CPUtime=6.29 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 17063 0 0 0 622 7 0 0 25 0 1 0 13021012 65097728 14642 1992294400 134512640 135751879 4289014128 18446744073709551615 135211148 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 15893 14642 146 303 0 15588 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63572 [startup+12.7016 s] /proc/loadavg: 1.66 1.89 1.62 2/107 21657 /proc/meminfo: memFree=1749088/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=75584 CPUtime=12.69 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 20051 0 0 0 1261 8 0 0 25 0 1 0 13021012 77398016 17630 1992294400 134512640 135751879 4289014128 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 18896 17630 146 303 0 18591 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75584 [startup+25.501 s] /proc/loadavg: 1.51 1.85 1.60 2/107 21657 /proc/meminfo: memFree=1730984/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=92084 CPUtime=25.49 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 24193 0 0 0 2538 11 0 0 25 0 1 0 13021012 94294016 21772 1992294400 134512640 135751879 4289014128 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 23021 21772 146 303 0 22716 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92084 [startup+51.1007 s] /proc/loadavg: 1.33 1.78 1.59 2/107 21659 /proc/meminfo: memFree=1708664/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=115712 CPUtime=51.06 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 30107 0 0 0 5091 15 0 0 25 0 1 0 13021012 118489088 27686 1992294400 134512640 135751879 4289014128 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 28928 27686 146 303 0 28623 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 115712 [startup+102.308 s] /proc/loadavg: 1.14 1.66 1.55 2/107 21659 /proc/meminfo: memFree=1681880/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=140088 CPUtime=102.25 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 37636 0 0 0 10200 25 0 0 25 0 1 0 13021012 143450112 33902 1992294400 134512640 135751879 4289014128 18446744073709551615 134517248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 35022 33902 147 303 0 34717 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 140088 [startup+162.301 s] /proc/loadavg: 1.05 1.53 1.52 2/107 21661 /proc/meminfo: memFree=1681756/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=140088 CPUtime=162.23 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 37636 0 0 0 16178 45 0 0 25 0 1 0 13021012 143450112 33902 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 35022 33902 147 303 0 34717 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 140088 [startup+222.301 s] /proc/loadavg: 1.02 1.43 1.48 2/107 21663 /proc/meminfo: memFree=1691552/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=222.2 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38067 0 0 0 22153 67 0 0 25 0 1 0 13021012 130818048 31453 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31453 151 303 0 31633 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 127752 [startup+282.301 s] /proc/loadavg: 1.00 1.35 1.45 2/107 21665 /proc/meminfo: memFree=1691552/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=282.18 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38067 0 0 0 28132 86 0 0 25 0 1 0 13021012 130818048 31453 1992294400 134512640 135751879 4289014128 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31453 151 303 0 31633 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 127752 [startup+342.301 s] /proc/loadavg: 1.00 1.29 1.42 2/107 21667 /proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=342.17 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38067 0 0 0 34119 98 0 0 25 0 1 0 13021012 130818048 31453 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31453 151 303 0 31633 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 127752 [startup+402.301 s] /proc/loadavg: 1.00 1.23 1.39 2/107 21667 /proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=402.15 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38067 0 0 0 40105 110 0 0 25 0 1 0 13021012 130818048 31453 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31453 151 303 0 31633 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 127752 [startup+462.301 s] /proc/loadavg: 1.00 1.19 1.36 2/107 21669 /proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=462.13 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 46090 123 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31465 151 303 0 31633 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 127752 [startup+522.301 s] /proc/loadavg: 1.00 1.15 1.34 2/107 21671 /proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=522.12 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 52073 139 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134608234 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31465 151 303 0 31633 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 127752 [startup+582.301 s] /proc/loadavg: 1.05 1.14 1.32 2/107 21673 /proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=582.1 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 58059 151 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134607290 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31465 151 303 0 31633 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 127752 [startup+642.301 s] /proc/loadavg: 1.02 1.11 1.30 2/107 21675 /proc/meminfo: memFree=1691428/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=642.08 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 64036 172 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31465 151 303 0 31633 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 127752 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.05 1.24 2/107 21679 /proc/meminfo: memFree=1691304/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=127752 CPUtime=822.03 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38079 0 0 0 81992 211 0 0 25 0 1 0 13021012 130818048 31465 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 31938 31465 151 303 0 31633 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 127752 [startup+882.302 s] /proc/loadavg: 1.00 1.04 1.22 2/107 21681 /proc/meminfo: memFree=1689692/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=129604 CPUtime=882.01 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 38523 0 0 0 87979 222 0 0 25 0 1 0 13021012 132714496 31909 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 32401 31909 151 303 0 32096 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 129604 [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.20 2/107 21683 /proc/meminfo: memFree=1685104/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=134224 CPUtime=941.99 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 39688 0 0 0 93965 234 0 0 25 0 1 0 13021012 137445376 33074 1992294400 134512640 135751879 4289014128 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 33556 33074 151 303 0 33251 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 134224 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 21683 /proc/meminfo: memFree=1680392/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=138876 CPUtime=1001.97 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 40825 0 0 0 99952 245 0 0 25 0 1 0 13021012 142209024 34211 1992294400 134512640 135751879 4289014128 18446744073709551615 134605951 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 34719 34211 151 303 0 34414 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 138876 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.17 2/107 21685 /proc/meminfo: memFree=1675804/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=143376 CPUtime=1061.95 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 41975 0 0 0 105938 257 0 0 25 0 1 0 13021012 146817024 35361 1992294400 134512640 135751879 4289014128 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 35844 35361 151 303 0 35539 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 143376 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 21687 /proc/meminfo: memFree=1668488/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=151192 CPUtime=1121.94 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 43824 0 0 0 111922 272 0 0 25 0 1 0 13021012 154820608 37210 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 37798 37210 151 303 0 37493 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 151192 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 21689 /proc/meminfo: memFree=1656584/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=163080 CPUtime=1181.92 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 46784 0 0 0 117900 292 0 0 25 0 1 0 13021012 166993920 40170 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 40770 40170 151 303 0 40465 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 163080 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 21691 /proc/meminfo: memFree=1647160/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=172256 CPUtime=1241.91 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 49085 0 0 0 123882 309 0 0 25 0 1 0 13021012 176390144 42471 1992294400 134512640 135751879 4289014128 18446744073709551615 134606983 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 43064 42471 151 303 0 42759 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 172256 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 21691 /proc/meminfo: memFree=1638480/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=180784 CPUtime=1301.9 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 51204 0 0 0 129864 326 0 0 25 0 1 0 13021012 185122816 44590 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 45196 44590 151 303 0 44891 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 180784 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 21693 /proc/meminfo: memFree=1630792/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=188572 CPUtime=1361.86 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 53140 0 0 0 135844 342 0 0 25 0 1 0 13021012 193097728 46526 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 47143 46526 151 303 0 46838 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 188572 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.10 2/107 21695 /proc/meminfo: memFree=1624592/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=194752 CPUtime=1421.85 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 54670 0 0 0 141830 355 0 0 25 0 1 0 13021012 199426048 48056 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 48688 48056 151 303 0 48383 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 194752 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 21697 /proc/meminfo: memFree=1619136/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=200176 CPUtime=1481.82 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 56049 0 0 0 147814 368 0 0 25 0 1 0 13021012 204980224 49435 1992294400 134512640 135751879 4289014128 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 50044 49435 151 303 0 49739 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 200176 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21699 /proc/meminfo: memFree=1612936/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=206248 CPUtime=1541.81 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 57568 0 0 0 153800 381 0 0 25 0 1 0 13021012 211197952 50954 1992294400 134512640 135751879 4289014128 18446744073709551615 134616584 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 51562 50954 151 303 0 51257 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 206248 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 21699 /proc/meminfo: memFree=1608596/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=210796 CPUtime=1601.79 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 58683 0 0 0 159790 389 0 0 25 0 1 0 13021012 215855104 52069 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 52699 52069 151 303 0 52394 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 210796 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 21701 /proc/meminfo: memFree=1604132/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=215108 CPUtime=1661.77 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 59770 0 0 0 165779 398 0 0 25 0 1 0 13021012 220270592 53156 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 53777 53156 151 303 0 53472 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 215108 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 21703 /proc/meminfo: memFree=1595204/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=224104 CPUtime=1721.74 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 62032 0 0 0 171761 413 0 0 25 0 1 0 13021012 229482496 55418 1992294400 134512640 135751879 4289014128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 56026 55418 151 303 0 55721 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 224104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 21705 /proc/meminfo: memFree=1583796/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=235196 CPUtime=1781.73 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 64810 0 0 0 177739 434 0 0 25 0 1 0 13021012 240840704 58196 1992294400 134512640 135751879 4289014128 18446744073709551615 134616810 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 58799 58196 151 303 0 58494 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 235196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.06 2/107 21705 /proc/meminfo: memFree=1581068/2059040 swapFree=4190392/4192956 [pid=21656] ppid=21654 vsize=237716 CPUtime=1800.04 /proc/21656/stat : 21656 (wbo1.4b) R 21654 21656 21537 0 -1 4202496 65443 0 0 0 179565 439 0 0 25 0 1 0 13021012 243421184 58829 1992294400 134512640 135751879 4289014128 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21656/statm: 59429 58829 151 303 0 59124 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 237716 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.64 CPU time (s): 1800.07 CPU user time (s): 1795.66 CPU system time (s): 4.41833 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 237716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.66 system time used= 4.41833 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65443 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= 57 involuntary context switches= 5502 runsolver used 2.84057 second user time and 8.66468 second system time The end
Begin job on node019 at 2010-07-06 22:28:08 IDJOB=2687113 IDBENCH=77428 IDSOLVER=1161 FILE ID=node019/2687113-1278448088 PBS_JOBID= 11233517 Free space on /tmp= 62340 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12048_7.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-2687113-1278448088/watcher-2687113-1278448088 -o /tmp/evaluation-result-2687113-1278448088/solver-2687113-1278448088 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2687113-1278448088.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58f861b2885c3bb19bb4f63a6571dc89 RANDOM SEED=498223386 node019.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.244 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.48 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.244 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 : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1819232 kB Buffers: 10708 kB Cached: 102900 kB SwapCached: 76 kB Active: 76204 kB Inactive: 95096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1819232 kB SwapTotal: 4192956 kB SwapFree: 4190392 kB Dirty: 10452 kB Writeback: 0 kB AnonPages: 57668 kB Mapped: 14376 kB Slab: 46704 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182836 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-2687113-1278448088.opb Free space on /tmp at the end= 62336 MiB End job on node019 at 2010-07-06 22:58:11