Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.09 | 1800.64 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12047_2.std.opb |
MD5SUM | 3d3e67c51070a852e8117f97ab577e7c |
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 | 134 |
Best CPU time to get the best result obtained on this benchmark | 1800.4 |
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 | 256320 |
Number of constraints which are clauses | 255120 |
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 | 68 |
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-2686918-1278444130.opb. 0.00/0.00 c Instance file HOME/instance-2686918-1278444130.opb 0.00/0.00 c File size is 7900934 bytes. 1.38/1.41 c Highest Coefficient sum: 383 1.38/1.41 c ============================[ Problem Statistics ]============================= 1.38/1.41 c | | 1.38/1.41 c | Parsing time: 1.38 s | 1.38/1.41 c | Number Variables: 72842 | 1.38/1.41 c | Number Clauses: 255120 | 1.38/1.41 c | Number Cardinality: 0 | 1.38/1.41 c | Number PB Constraints: 1200 | 93.86/93.91 c ============================[ Search Statistics ]============================== 93.86/93.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.86/93.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.86/93.91 c =============================================================================== 93.86/93.91 c | 0 | 50717 257606 488355 | 85440 0 nan | 0.000 % | 93.96/94.00 c =============================================================================== 93.96/94.00 c New solution: 300 93.96/94.00 o 300 93.96/94.00 c Elapsed CPU time: 93.8107 s Remaining CPU time: 86.1893 s 93.96/94.00 c =============================================================================== 93.96/94.00 c | 3 | 50717 257607 488655 | 85869 3 77 | 0.000 % | 93.96/94.08 c | 103 | 50712 257607 488655 | 94455 103 33 | 30.540 % | 94.06/94.16 c =============================================================================== 94.06/94.16 c New solution: 299 94.06/94.16 o 299 94.06/94.16 c Elapsed CPU time: 93.9717 s Remaining CPU time: 86.0283 s 94.06/94.16 c =============================================================================== 94.06/94.16 c | 132 | 50592 257608 488955 | 85869 132 28 | 30.540 % | 94.16/94.23 c =============================================================================== 94.16/94.23 c New solution: 298 94.16/94.23 o 298 94.16/94.23 c Elapsed CPU time: 94.0397 s Remaining CPU time: 85.9603 s 94.16/94.23 c =============================================================================== 94.16/94.23 c | 137 | 50461 257609 489255 | 85869 137 28 | 30.540 % | 94.26/94.30 c =============================================================================== 94.26/94.30 c New solution: 297 94.26/94.30 o 297 94.26/94.30 c Elapsed CPU time: 94.1097 s Remaining CPU time: 85.8903 s 94.26/94.30 c =============================================================================== 94.26/94.30 c | 149 | 50314 257610 489555 | 85870 149 26 | 30.540 % | 94.26/94.36 c | 251 | 50310 257610 489555 | 94457 251 30 | 31.147 % | 94.36/94.44 c =============================================================================== 94.36/94.44 c New solution: 296 94.36/94.44 o 296 94.36/94.44 c Elapsed CPU time: 94.2467 s Remaining CPU time: 85.7533 s 94.36/94.44 c =============================================================================== 94.36/94.44 c | 317 | 50154 257611 489855 | 85870 313 29 | 31.147 % | 94.46/94.51 c =============================================================================== 94.46/94.51 c New solution: 295 94.46/94.51 o 295 94.46/94.51 c Elapsed CPU time: 94.3087 s Remaining CPU time: 85.6913 s 94.46/94.51 c =============================================================================== 94.46/94.51 c | 322 | 49981 257612 490155 | 85870 318 29 | 31.147 % | 94.46/94.56 c =============================================================================== 94.46/94.56 c New solution: 294 94.46/94.56 o 294 94.46/94.56 c Elapsed CPU time: 94.3657 s Remaining CPU time: 85.6343 s 94.46/94.56 c =============================================================================== 94.46/94.56 c | 337 | 49794 257613 490455 | 85871 333 29 | 31.147 % | 94.56/94.67 c =============================================================================== 94.56/94.67 c New solution: 293 94.56/94.67 o 293 94.56/94.67 c Elapsed CPU time: 94.4766 s Remaining CPU time: 85.5234 s 94.56/94.67 c =============================================================================== 94.56/94.67 c | 435 | 49598 257614 490755 | 85871 431 31 | 31.147 % | 94.66/94.73 c =============================================================================== 94.66/94.73 c New solution: 292 94.66/94.73 o 292 94.66/94.73 c Elapsed CPU time: 94.5306 s Remaining CPU time: 85.4694 s 94.66/94.73 c =============================================================================== 94.66/94.73 c | 445 | 49392 257615 491055 | 85871 441 31 | 31.147 % | 94.76/94.80 c =============================================================================== 94.76/94.80 c New solution: 291 94.76/94.80 o 291 94.76/94.80 c Elapsed CPU time: 94.5996 s Remaining CPU time: 85.4004 s 94.76/94.80 c =============================================================================== 94.76/94.80 c | 453 | 49173 257616 491355 | 85872 449 30 | 31.147 % | 94.76/94.85 c =============================================================================== 94.76/94.85 c New solution: 290 94.76/94.85 o 290 94.76/94.85 c Elapsed CPU time: 94.6536 s Remaining CPU time: 85.3464 s 94.76/94.85 c =============================================================================== 94.76/94.85 c | 460 | 48940 257617 491655 | 85872 456 30 | 31.147 % | 94.86/94.93 c =============================================================================== 94.86/94.93 c New solution: 289 94.86/94.93 o 289 94.86/94.93 c Elapsed CPU time: 94.7266 s Remaining CPU time: 85.2734 s 94.86/94.93 c =============================================================================== 94.86/94.93 c | 469 | 48698 257618 491955 | 85872 209 26 | 31.147 % | 94.86/94.99 c =============================================================================== 94.86/94.99 c New solution: 288 94.86/94.99 o 288 94.86/94.99 c Elapsed CPU time: 94.7896 s Remaining CPU time: 85.2104 s 94.86/94.99 c =============================================================================== 94.86/94.99 c | 484 | 48456 257619 492255 | 85873 224 25 | 31.147 % | 94.96/95.08 c =============================================================================== 94.96/95.08 c New solution: 287 94.96/95.08 o 287 94.96/95.08 c Elapsed CPU time: 94.8806 s Remaining CPU time: 85.1194 s 94.96/95.08 c =============================================================================== 94.96/95.08 c | 496 | 48214 257620 492555 | 85873 236 25 | 31.147 % | 95.06/95.15 c =============================================================================== 95.06/95.15 c New solution: 286 95.06/95.15 o 286 95.06/95.15 c Elapsed CPU time: 94.9516 s Remaining CPU time: 85.0484 s 95.06/95.15 c =============================================================================== 95.06/95.15 c | 502 | 47972 257621 492855 | 85873 242 24 | 31.147 % | 95.16/95.22 c =============================================================================== 95.16/95.22 c New solution: 285 95.16/95.22 o 285 95.16/95.22 c Elapsed CPU time: 95.0166 s Remaining CPU time: 84.9834 s 95.16/95.22 c =============================================================================== 95.16/95.22 c | 527 | 47730 257622 493155 | 85874 267 23 | 31.147 % | 95.26/95.30 c =============================================================================== 95.26/95.30 c New solution: 284 95.26/95.30 o 284 95.26/95.30 c Elapsed CPU time: 95.0955 s Remaining CPU time: 84.9045 s 95.26/95.30 c =============================================================================== 95.26/95.30 c | 584 | 47488 257623 493455 | 85874 324 24 | 31.147 % | 95.26/95.37 c | 684 | 47485 257623 493455 | 94461 424 28 | 35.139 % | 95.36/95.42 c =============================================================================== 95.36/95.42 c New solution: 283 95.36/95.42 o 283 95.36/95.42 c Elapsed CPU time: 95.2145 s Remaining CPU time: 84.7855 s 95.36/95.42 c =============================================================================== 95.36/95.42 c | 692 | 47246 257624 493755 | 85874 303 26 | 35.139 % | 95.36/95.49 c =============================================================================== 95.36/95.49 c New solution: 282 95.36/95.49 o 282 95.36/95.49 c Elapsed CPU time: 95.2785 s Remaining CPU time: 84.7215 s 95.36/95.49 c =============================================================================== 95.36/95.49 c | 700 | 47004 257625 494055 | 85875 311 26 | 35.139 % | 95.45/95.55 c =============================================================================== 95.45/95.55 c New solution: 281 95.45/95.55 o 281 95.45/95.55 c Elapsed CPU time: 95.3425 s Remaining CPU time: 84.6575 s 95.45/95.55 c =============================================================================== 95.45/95.55 c | 708 | 46762 257626 494355 | 85875 319 25 | 35.139 % | 95.57/95.63 c =============================================================================== 95.57/95.63 c New solution: 280 95.57/95.63 o 280 95.57/95.63 c Elapsed CPU time: 95.4255 s Remaining CPU time: 84.5745 s 95.57/95.63 c =============================================================================== 95.57/95.63 c | 718 | 46520 257627 494655 | 85875 329 25 | 35.139 % | 95.67/95.72 c =============================================================================== 95.67/95.72 c New solution: 279 95.67/95.72 o 279 95.67/95.72 c Elapsed CPU time: 95.5075 s Remaining CPU time: 84.4925 s 95.67/95.72 c =============================================================================== 95.67/95.72 c | 761 | 46278 257628 494955 | 85876 372 26 | 35.139 % | 95.67/95.78 c =============================================================================== 95.67/95.78 c New solution: 278 95.67/95.78 o 278 95.67/95.78 c Elapsed CPU time: 95.5725 s Remaining CPU time: 84.4275 s 95.67/95.78 c =============================================================================== 95.67/95.78 c | 809 | 46036 257629 495255 | 85876 420 26 | 35.139 % | 95.76/95.87 c | 909 | 46031 257629 495255 | 94463 520 26 | 37.132 % | 95.86/95.94 c =============================================================================== 95.86/95.94 c New solution: 277 95.86/95.94 o 277 95.86/95.94 c Elapsed CPU time: 95.7234 s Remaining CPU time: 84.2766 s 95.86/95.94 c =============================================================================== 95.86/95.94 c | 932 | 45794 257630 495555 | 85876 396 22 | 37.132 % | 95.96/96.00 c =============================================================================== 95.96/96.00 c New solution: 276 95.96/96.00 o 276 95.96/96.00 c Elapsed CPU time: 95.7824 s Remaining CPU time: 84.2176 s 95.96/96.00 c =============================================================================== 95.96/96.00 c | 945 | 45552 257631 495855 | 85877 409 22 | 37.132 % | 95.96/96.05 c =============================================================================== 95.96/96.05 c New solution: 275 95.96/96.05 o 275 95.96/96.05 c Elapsed CPU time: 95.8384 s Remaining CPU time: 84.1616 s 95.96/96.05 c =============================================================================== 95.96/96.05 c | 950 | 45310 257632 496155 | 85877 414 22 | 37.132 % | 96.06/96.12 c =============================================================================== 96.06/96.12 c New solution: 274 96.06/96.12 o 274 96.06/96.12 c Elapsed CPU time: 95.9024 s Remaining CPU time: 84.0976 s 96.06/96.12 c =============================================================================== 96.06/96.12 c | 958 | 45068 257633 496455 | 85877 422 22 | 37.132 % | 96.06/96.18 c =============================================================================== 96.06/96.18 c New solution: 273 96.06/96.18 o 273 96.06/96.18 c Elapsed CPU time: 95.9634 s Remaining CPU time: 84.0366 s 96.06/96.18 c =============================================================================== 96.06/96.18 c | 962 | 44826 257634 496755 | 85878 426 22 | 37.132 % | 96.16/96.24 c =============================================================================== 96.16/96.24 c New solution: 272 96.16/96.24 o 272 96.16/96.24 c Elapsed CPU time: 96.0294 s Remaining CPU time: 83.9706 s 96.16/96.24 c =============================================================================== 96.16/96.24 c | 969 | 44584 257635 497055 | 85878 433 21 | 37.132 % | 96.26/96.30 c =============================================================================== 96.26/96.30 c New solution: 271 96.26/96.30 o 271 96.26/96.30 c Elapsed CPU time: 96.0854 s Remaining CPU time: 83.9146 s 96.26/96.30 c =============================================================================== 96.26/96.30 c | 987 | 44342 257636 497355 | 85878 451 21 | 37.132 % | 96.26/96.39 c =============================================================================== 96.26/96.39 c New solution: 270 96.26/96.39 o 270 96.26/96.39 c Elapsed CPU time: 96.1724 s Remaining CPU time: 83.8276 s 96.26/96.39 c =============================================================================== 96.26/96.39 c | 1058 | 44100 257637 497655 | 85879 522 22 | 37.132 % | 96.36/96.46 c =============================================================================== 96.36/96.46 c New solution: 269 96.36/96.46 o 269 96.36/96.46 c Elapsed CPU time: 96.2484 s Remaining CPU time: 83.7516 s 96.36/96.46 c =============================================================================== 96.36/96.46 c | 1081 | 43858 257638 497955 | 85879 389 21 | 37.132 % | 96.46/96.51 c =============================================================================== 96.46/96.51 c New solution: 268 96.46/96.51 o 268 96.46/96.51 c Elapsed CPU time: 96.2994 s Remaining CPU time: 83.7006 s 96.46/96.51 c =============================================================================== 96.46/96.51 c | 1092 | 43616 257639 498255 | 85879 400 21 | 37.132 % | 96.46/96.57 c =============================================================================== 96.46/96.57 c New solution: 267 96.46/96.57 o 267 96.46/96.57 c Elapsed CPU time: 96.3594 s Remaining CPU time: 83.6406 s 96.46/96.57 c =============================================================================== 96.46/96.57 c | 1109 | 43374 257640 498555 | 85880 417 20 | 37.132 % | 96.56/96.63 c | 1209 | 43371 257640 498555 | 94468 517 23 | 40.787 % | 96.66/96.74 c =============================================================================== 96.66/96.74 c New solution: 266 96.66/96.74 o 266 96.66/96.74 c Elapsed CPU time: 96.5193 s Remaining CPU time: 83.4807 s 96.66/96.74 c =============================================================================== 96.66/96.74 c | 1291 | 43132 257641 498855 | 85880 599 23 | 40.787 % | 96.66/96.80 c =============================================================================== 96.66/96.80 c New solution: 265 96.66/96.80 o 265 96.66/96.80 c Elapsed CPU time: 96.5803 s Remaining CPU time: 83.4197 s 96.66/96.80 c =============================================================================== 96.66/96.80 c | 1303 | 42890 257642 499155 | 85880 611 23 | 40.787 % | 96.76/96.86 c =============================================================================== 96.76/96.86 c New solution: 264 96.76/96.86 o 264 96.76/96.86 c Elapsed CPU time: 96.6433 s Remaining CPU time: 83.3567 s 96.76/96.86 c =============================================================================== 96.76/96.86 c | 1335 | 42648 257643 499455 | 85881 643 23 | 40.787 % | 96.85/96.94 c | 1435 | 42406 257643 499455 | 94469 589 23 | 41.784 % | 96.96/97.00 c =============================================================================== 96.96/97.00 c New solution: 263 96.96/97.00 o 263 96.96/97.00 c Elapsed CPU time: 96.7803 s Remaining CPU time: 83.2197 s 96.96/97.00 c =============================================================================== 96.96/97.00 c | 1449 | 42406 257644 499755 | 85881 603 23 | 41.784 % | 96.96/97.06 c =============================================================================== 96.96/97.06 c New solution: 262 96.96/97.06 o 262 96.96/97.06 c Elapsed CPU time: 96.8423 s Remaining CPU time: 83.1577 s 96.96/97.06 c =============================================================================== 96.96/97.06 c | 1464 | 42164 257645 500055 | 85881 618 22 | 41.784 % | 97.06/97.13 c | 1564 | 42157 257645 500055 | 94469 718 24 | 42.448 % | 97.16/97.20 c =============================================================================== 97.16/97.20 c New solution: 261 97.16/97.20 o 261 97.16/97.20 c Elapsed CPU time: 96.9753 s Remaining CPU time: 83.0247 s 97.16/97.20 c =============================================================================== 97.16/97.20 c | 1592 | 41922 257646 500355 | 85882 746 24 | 42.448 % | 97.16/97.25 c =============================================================================== 97.16/97.25 c New solution: 260 97.16/97.25 o 260 97.16/97.25 c Elapsed CPU time: 97.0252 s Remaining CPU time: 82.9748 s 97.16/97.25 c =============================================================================== 97.16/97.25 c | 1603 | 41680 257647 500655 | 85882 757 24 | 42.448 % | 97.26/97.32 c =============================================================================== 97.26/97.32 c New solution: 259 97.26/97.32 o 259 97.26/97.32 c Elapsed CPU time: 97.0992 s Remaining CPU time: 82.9008 s 97.26/97.32 c =============================================================================== 97.26/97.32 c | 1670 | 41438 257648 500955 | 85882 824 25 | 42.448 % | 97.26/97.37 c | 1770 | 41196 257648 500955 | 94470 730 24 | 43.445 % | 97.36/97.43 c =============================================================================== 97.36/97.43 c New solution: 258 97.36/97.43 o 258 97.36/97.43 c Elapsed CPU time: 97.2082 s Remaining CPU time: 82.7918 s 97.36/97.43 c =============================================================================== 97.36/97.43 c | 1772 | 41196 257649 501255 | 85883 732 24 | 43.445 % | 97.36/97.49 c =============================================================================== 97.36/97.49 c New solution: 257 97.36/97.49 o 257 97.36/97.49 c Elapsed CPU time: 97.2662 s Remaining CPU time: 82.7338 s 97.36/97.49 c =============================================================================== 97.36/97.49 c | 1775 | 40954 257650 501555 | 85883 735 24 | 43.445 % | 97.46/97.55 c =============================================================================== 97.46/97.55 c New solution: 256 97.46/97.55 o 256 97.46/97.55 c Elapsed CPU time: 97.3232 s Remaining CPU time: 82.6768 s 97.46/97.55 c =============================================================================== 97.46/97.55 c | 1782 | 40712 257651 501855 | 85883 742 24 | 43.445 % | 97.56/97.61 c | 1882 | 40700 257651 501855 | 94472 842 25 | 44.441 % | 97.56/97.69 c =============================================================================== 97.56/97.69 c New solution: 255 97.56/97.69 o 255 97.56/97.69 c Elapsed CPU time: 97.4652 s Remaining CPU time: 82.5348 s 97.56/97.69 c =============================================================================== 97.56/97.69 c | 1918 | 40470 257652 502155 | 85884 878 25 | 44.441 % | 97.66/97.75 c =============================================================================== 97.66/97.75 c New solution: 254 97.66/97.75 o 254 97.66/97.75 c Elapsed CPU time: 97.5232 s Remaining CPU time: 82.4768 s 97.66/97.75 c =============================================================================== 97.66/97.75 c | 1921 | 40228 257653 502455 | 85884 881 25 | 44.441 % | 97.76/97.81 c =============================================================================== 97.76/97.81 c New solution: 253 97.76/97.81 o 253 97.76/97.81 c Elapsed CPU time: 97.5812 s Remaining CPU time: 82.4188 s 97.76/97.81 c =============================================================================== 97.76/97.81 c | 1923 | 39986 257654 502755 | 85884 883 25 | 44.441 % | 97.76/97.87 c =============================================================================== 97.76/97.87 c New solution: 252 97.76/97.87 o 252 97.76/97.87 c Elapsed CPU time: 97.6392 s Remaining CPU time: 82.3608 s 97.76/97.87 c =============================================================================== 97.76/97.87 c | 1931 | 39744 257655 503055 | 85885 891 25 | 44.441 % | 97.86/97.92 c =============================================================================== 97.86/97.92 c New solution: 251 97.86/97.92 o 251 97.86/97.92 c Elapsed CPU time: 97.6951 s Remaining CPU time: 82.3049 s 97.86/97.92 c =============================================================================== 97.86/97.92 c | 1950 | 39502 257656 503355 | 85885 575 21 | 44.441 % | 97.86/97.99 c | 2050 | 39491 257656 503355 | 94473 675 24 | 46.103 % | 97.96/98.04 c =============================================================================== 97.96/98.04 c New solution: 250 97.96/98.04 o 250 97.96/98.04 c Elapsed CPU time: 97.8151 s Remaining CPU time: 82.1849 s 97.96/98.04 c =============================================================================== 97.96/98.04 c | 2069 | 39260 257657 503655 | 85885 694 24 | 46.103 % | 98.05/98.10 c =============================================================================== 98.05/98.10 c New solution: 249 98.05/98.10 o 249 98.05/98.10 c Elapsed CPU time: 97.8771 s Remaining CPU time: 82.1229 s 98.05/98.10 c =============================================================================== 98.05/98.10 c | 2073 | 39018 257658 503955 | 85886 698 24 | 46.103 % | 98.05/98.15 c =============================================================================== 98.05/98.15 c New solution: 248 98.05/98.15 o 248 98.05/98.15 c Elapsed CPU time: 97.9261 s Remaining CPU time: 82.0739 s 98.05/98.15 c =============================================================================== 98.05/98.15 c | 2081 | 38776 257659 504255 | 85886 706 23 | 46.103 % | 98.15/98.20 c =============================================================================== 98.15/98.20 c New solution: 247 98.15/98.20 o 247 98.15/98.20 c Elapsed CPU time: 97.9751 s Remaining CPU time: 82.0249 s 98.15/98.20 c =============================================================================== 98.15/98.20 c | 2092 | 38534 257660 504555 | 85886 717 23 | 46.103 % | 98.15/98.26 c =============================================================================== 98.15/98.26 c New solution: 246 98.15/98.26 o 246 98.15/98.26 c Elapsed CPU time: 98.0361 s Remaining CPU time: 81.9639 s 98.15/98.26 c =============================================================================== 98.15/98.26 c | 2103 | 38292 257661 504855 | 85887 728 23 | 46.103 % | 98.25/98.33 c | 2204 | 38285 257661 504855 | 94475 829 23 | 47.764 % | 98.25/98.39 c =============================================================================== 98.25/98.39 c New solution: 245 98.25/98.39 o 245 98.25/98.39 c Elapsed CPU time: 98.1581 s Remaining CPU time: 81.8419 s 98.25/98.39 c =============================================================================== 98.25/98.39 c | 2211 | 38050 257662 505155 | 85887 836 23 | 47.764 % | 98.35/98.44 c =============================================================================== 98.35/98.44 c New solution: 244 98.35/98.44 o 244 98.35/98.44 c Elapsed CPU time: 98.2091 s Remaining CPU time: 81.7909 s 98.35/98.44 c =============================================================================== 98.35/98.44 c | 2224 | 37808 257663 505455 | 85887 641 22 | 47.764 % | 98.46/98.50 c =============================================================================== 98.46/98.50 c New solution: 243 98.46/98.50 o 243 98.46/98.50 c Elapsed CPU time: 98.2721 s Remaining CPU time: 81.7279 s 98.46/98.50 c =============================================================================== 98.46/98.50 c | 2289 | 37566 257664 505755 | 85888 706 22 | 47.764 % | 98.46/98.57 c | 2391 | 37554 257664 505755 | 94476 808 24 | 48.760 % | 98.56/98.63 c =============================================================================== 98.56/98.63 c New solution: 242 98.56/98.63 o 242 98.56/98.63 c Elapsed CPU time: 98.397 s Remaining CPU time: 81.603 s 98.56/98.63 c =============================================================================== 98.56/98.63 c | 2419 | 37324 257665 506055 | 85888 836 24 | 48.760 % | 98.56/98.68 c =============================================================================== 98.56/98.68 c New solution: 241 98.56/98.68 o 241 98.56/98.68 c Elapsed CPU time: 98.451 s Remaining CPU time: 81.549 s 98.56/98.68 c =============================================================================== 98.56/98.68 c | 2445 | 37082 257666 506355 | 85888 862 23 | 48.760 % | 98.66/98.76 c =============================================================================== 98.66/98.76 c New solution: 240 98.66/98.76 o 240 98.66/98.76 c Elapsed CPU time: 98.521 s Remaining CPU time: 81.479 s 98.66/98.76 c =============================================================================== 98.66/98.76 c | 2491 | 36840 257667 506655 | 85889 908 23 | 48.760 % | 98.76/98.82 c =============================================================================== 98.76/98.82 c New solution: 239 98.76/98.82 o 239 98.76/98.82 c Elapsed CPU time: 98.586 s Remaining CPU time: 81.414 s 98.76/98.82 c =============================================================================== 98.76/98.82 c | 2510 | 36598 257668 506955 | 85889 927 23 | 48.760 % | 98.76/98.89 c =============================================================================== 98.76/98.89 c New solution: 238 98.76/98.89 o 238 98.76/98.89 c Elapsed CPU time: 98.652 s Remaining CPU time: 81.348 s 98.76/98.89 c =============================================================================== 98.76/98.89 c | 2517 | 36356 257669 507255 | 85889 934 23 | 48.760 % | 98.86/98.93 c =============================================================================== 98.86/98.93 c New solution: 237 98.86/98.93 o 237 98.86/98.93 c Elapsed CPU time: 98.697 s Remaining CPU time: 81.303 s 98.86/98.93 c =============================================================================== 98.86/98.93 c | 2520 | 36114 257670 507555 | 85890 937 23 | 48.760 % | 98.86/99.00 c =============================================================================== 98.86/99.00 c New solution: 236 98.86/99.00 o 236 98.86/99.00 c Elapsed CPU time: 98.761 s Remaining CPU time: 81.239 s 98.86/99.00 c =============================================================================== 98.86/99.00 c | 2523 | 35872 257671 507855 | 85890 512 19 | 48.760 % | 98.96/99.05 c =============================================================================== 98.96/99.05 c New solution: 235 98.96/99.05 o 235 98.96/99.05 c Elapsed CPU time: 98.811 s Remaining CPU time: 81.189 s 98.96/99.05 c =============================================================================== 98.96/99.05 c | 2536 | 35630 257672 508155 | 85890 525 19 | 48.760 % | 99.05/99.10 c =============================================================================== 99.05/99.10 c New solution: 234 99.05/99.10 o 234 99.05/99.10 c Elapsed CPU time: 98.867 s Remaining CPU time: 81.133 s 99.05/99.10 c =============================================================================== 99.05/99.10 c | 2553 | 35388 257673 508455 | 85891 542 19 | 48.760 % | 99.05/99.17 c =============================================================================== 99.05/99.17 c New solution: 233 99.05/99.17 o 233 99.05/99.17 c Elapsed CPU time: 98.932 s Remaining CPU time: 81.068 s 99.05/99.17 c =============================================================================== 99.05/99.17 c | 2598 | 35146 257674 508755 | 85891 587 19 | 48.760 % | 99.15/99.25 c =============================================================================== 99.15/99.25 c New solution: 232 99.15/99.25 o 232 99.15/99.25 c Elapsed CPU time: 99.0119 s Remaining CPU time: 80.9881 s 99.15/99.25 c =============================================================================== 99.15/99.25 c | 2620 | 34902 257675 509055 | 85891 609 19 | 48.760 % | 99.25/99.31 c =============================================================================== 99.25/99.31 c New solution: 231 99.25/99.31 o 231 99.25/99.31 c Elapsed CPU time: 99.0759 s Remaining CPU time: 80.9241 s 99.25/99.31 c =============================================================================== 99.25/99.31 c | 2642 | 34662 257676 509355 | 85892 631 19 | 48.760 % | 99.25/99.38 c | 2743 | 34658 257676 509355 | 94481 732 23 | 52.747 % | 99.35/99.43 c =============================================================================== 99.35/99.43 c New solution: 230 99.35/99.43 o 230 99.35/99.43 c Elapsed CPU time: 99.1939 s Remaining CPU time: 80.8061 s 99.35/99.43 c =============================================================================== 99.35/99.43 c | 2760 | 34420 257677 509655 | 85892 749 23 | 52.747 % | 99.35/99.49 c =============================================================================== 99.35/99.49 c New solution: 229 99.35/99.49 o 229 99.35/99.49 c Elapsed CPU time: 99.2479 s Remaining CPU time: 80.7521 s 99.35/99.49 c =============================================================================== 99.35/99.49 c | 2771 | 34178 257678 509955 | 85892 760 23 | 52.747 % | 99.45/99.53 c =============================================================================== 99.45/99.53 c New solution: 228 99.45/99.53 o 228 99.45/99.53 c Elapsed CPU time: 99.2969 s Remaining CPU time: 80.7031 s 99.45/99.53 c =============================================================================== 99.45/99.53 c | 2777 | 33936 257679 510255 | 85893 547 23 | 52.747 % | 99.45/99.58 c =============================================================================== 99.45/99.58 c New solution: 227 99.45/99.58 o 227 99.45/99.58 c Elapsed CPU time: 99.3429 s Remaining CPU time: 80.6571 s 99.45/99.58 c =============================================================================== 99.45/99.58 c | 2783 | 33694 257680 510555 | 85893 553 23 | 52.747 % | 99.55/99.65 c =============================================================================== 99.55/99.65 c New solution: 226 99.55/99.65 o 226 99.55/99.65 c Elapsed CPU time: 99.4059 s Remaining CPU time: 80.5941 s 99.55/99.65 c =============================================================================== 99.55/99.65 c | 2828 | 33452 257681 510855 | 85893 598 23 | 52.747 % | 99.65/99.75 c =============================================================================== 99.65/99.75 c New solution: 225 99.65/99.75 o 225 99.65/99.75 c Elapsed CPU time: 99.5099 s Remaining CPU time: 80.4901 s 99.65/99.75 c =============================================================================== 99.65/99.75 c | 2923 | 33210 257682 511155 | 85894 693 24 | 52.747 % | 99.75/99.80 c =============================================================================== 99.75/99.80 c New solution: 224 99.75/99.80 o 224 99.75/99.80 c Elapsed CPU time: 99.5599 s Remaining CPU time: 80.4401 s 99.75/99.80 c =============================================================================== 99.75/99.80 c | 2933 | 32968 257683 511455 | 85894 703 24 | 52.747 % | 99.75/99.85 c =============================================================================== 99.75/99.85 c New solution: 223 99.75/99.85 o 223 99.75/99.85 c Elapsed CPU time: 99.6069 s Remaining CPU time: 80.3931 s 99.75/99.85 c =============================================================================== 99.75/99.85 c | 2943 | 32726 257684 511755 | 85894 713 24 | 52.747 % | 99.75/99.89 c =============================================================================== 99.75/99.89 c New solution: 222 99.75/99.89 o 222 99.75/99.89 c Elapsed CPU time: 99.6518 s Remaining CPU time: 80.3482 s 99.75/99.89 c =============================================================================== 99.75/99.89 c | 2952 | 32484 257685 512055 | 85895 722 24 | 52.747 % | 99.86/99.94 c | 3052 | 32452 257685 512055 | 94484 822 24 | 55.737 % | 99.96/100.03 c | 3202 | 32452 257685 512055 | 103932 972 24 | 55.737 % | 100.07/100.14 c =============================================================================== 100.07/100.14 c New solution: 221 100.07/100.14 o 221 100.07/100.14 c Elapsed CPU time: 99.8918 s Remaining CPU time: 80.1082 s 100.07/100.14 c =============================================================================== 100.07/100.14 c | 3317 | 32242 257686 512355 | 85895 911 23 | 55.737 % | 100.16/100.22 c =============================================================================== 100.16/100.22 c New solution: 220 100.16/100.22 o 220 100.16/100.22 c Elapsed CPU time: 99.9728 s Remaining CPU time: 80.0272 s 100.16/100.22 c =============================================================================== 100.16/100.22 c | 3368 | 32000 257687 512655 | 85895 962 24 | 55.737 % | 100.16/100.27 c =============================================================================== 100.16/100.27 c New solution: 219 100.16/100.27 o 219 100.16/100.27 c Elapsed CPU time: 100.025 s Remaining CPU time: 79.9752 s 100.16/100.27 c =============================================================================== 100.16/100.27 c | 3374 | 31758 257688 512955 | 85896 968 24 | 55.737 % | 100.26/100.32 c =============================================================================== 100.26/100.32 c New solution: 218 100.26/100.32 o 218 100.26/100.32 c Elapsed CPU time: 100.077 s Remaining CPU time: 79.9232 s 100.26/100.32 c =============================================================================== 100.26/100.32 c | 3387 | 31516 257689 513255 | 85896 981 23 | 55.737 % | 100.26/100.37 c =============================================================================== 100.26/100.37 c New solution: 217 100.26/100.37 o 217 100.26/100.37 c Elapsed CPU time: 100.13 s Remaining CPU time: 79.8702 s 100.26/100.37 c =============================================================================== 100.26/100.37 c | 3398 | 31274 257690 513555 | 85896 992 23 | 55.737 % | 100.36/100.43 c =============================================================================== 100.36/100.43 c New solution: 216 100.36/100.43 o 216 100.36/100.43 c Elapsed CPU time: 100.187 s Remaining CPU time: 79.8132 s 100.36/100.43 c =============================================================================== 100.36/100.43 c | 3406 | 31032 257691 513855 | 85897 1000 23 | 55.737 % | 100.46/100.50 c =============================================================================== 100.46/100.50 c New solution: 215 100.46/100.50 o 215 100.46/100.50 c Elapsed CPU time: 100.257 s Remaining CPU time: 79.7432 s 100.46/100.50 c =============================================================================== 100.46/100.50 c | 3470 | 30790 257692 514155 | 85897 1064 24 | 55.737 % | 100.46/100.55 c | 3571 | 30786 257692 514155 | 94487 1165 24 | 58.063 % | 100.55/100.65 c | 3722 | 30782 257692 514155 | 103935 1316 26 | 58.063 % | 100.65/100.71 c =============================================================================== 100.65/100.71 c New solution: 214 100.65/100.71 o 214 100.65/100.71 c Elapsed CPU time: 100.466 s Remaining CPU time: 79.5343 s 100.65/100.71 c =============================================================================== 100.65/100.71 c | 3746 | 30540 257693 514455 | 85897 948 26 | 58.063 % | 100.65/100.76 c =============================================================================== 100.65/100.76 c New solution: 213 100.65/100.76 o 213 100.65/100.76 c Elapsed CPU time: 100.513 s Remaining CPU time: 79.4873 s 100.65/100.76 c =============================================================================== 100.65/100.76 c | 3756 | 30306 257694 514755 | 85898 958 25 | 58.063 % | 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.567 s Remaining CPU time: 79.4333 s 100.75/100.82 c =============================================================================== 100.75/100.82 c | 3776 | 30064 257695 515055 | 85898 978 25 | 58.063 % | 100.75/100.87 c =============================================================================== 100.75/100.87 c New solution: 211 100.75/100.87 o 211 100.75/100.87 c Elapsed CPU time: 100.625 s Remaining CPU time: 79.3753 s 100.75/100.87 c =============================================================================== 100.75/100.87 c | 3786 | 29822 257696 515355 | 85898 988 25 | 58.063 % | 100.85/100.93 c | 3886 | 29791 257696 515355 | 94488 1088 27 | 59.392 % | 100.95/101.04 c | 4036 | 29790 257696 515355 | 103937 1238 27 | 59.403 % | 100.95/101.08 c =============================================================================== 100.95/101.08 c New solution: 210 100.95/101.08 o 210 100.95/101.08 c Elapsed CPU time: 100.834 s Remaining CPU time: 79.1663 s 100.95/101.08 c =============================================================================== 100.95/101.08 c | 4038 | 29572 257697 515655 | 85899 1240 27 | 59.403 % | 101.07/101.13 c =============================================================================== 101.07/101.13 c New solution: 209 101.07/101.13 o 209 101.07/101.13 c Elapsed CPU time: 100.879 s Remaining CPU time: 79.1213 s 101.07/101.13 c =============================================================================== 101.07/101.13 c | 4045 | 29334 257698 515955 | 85899 1247 27 | 59.403 % | 101.07/101.18 c =============================================================================== 101.07/101.18 c New solution: 208 101.07/101.18 o 208 101.07/101.18 c Elapsed CPU time: 100.93 s Remaining CPU time: 79.0703 s 101.07/101.18 c =============================================================================== 101.07/101.18 c | 4048 | 29096 257699 516255 | 85899 1250 27 | 59.403 % | 101.17/101.24 c =============================================================================== 101.17/101.24 c New solution: 207 101.17/101.24 o 207 101.17/101.24 c Elapsed CPU time: 100.989 s Remaining CPU time: 79.0114 s 101.17/101.24 c =============================================================================== 101.17/101.24 c | 4104 | 28854 257700 516555 | 85900 1306 27 | 59.403 % | 101.26/101.31 c =============================================================================== 101.26/101.31 c New solution: 206 101.26/101.31 o 206 101.26/101.31 c Elapsed CPU time: 101.057 s Remaining CPU time: 78.9434 s 101.26/101.31 c =============================================================================== 101.26/101.31 c | 4142 | 28612 257701 516855 | 85900 853 26 | 59.403 % | 101.26/101.37 c =============================================================================== 101.26/101.37 c New solution: 205 101.26/101.37 o 205 101.26/101.37 c Elapsed CPU time: 101.119 s Remaining CPU time: 78.8814 s 101.26/101.37 c =============================================================================== 101.26/101.37 c | 4153 | 28370 257702 517155 | 85900 864 25 | 59.403 % | 101.36/101.42 c =============================================================================== 101.36/101.42 c New solution: 204 101.36/101.42 o 204 101.36/101.42 c Elapsed CPU time: 101.168 s Remaining CPU time: 78.8324 s 101.36/101.42 c =============================================================================== 101.36/101.42 c | 4159 | 28128 257703 517455 | 85901 870 25 | 59.403 % | 101.36/101.47 c =============================================================================== 101.36/101.47 c New solution: 203 101.36/101.47 o 203 101.36/101.47 c Elapsed CPU time: 101.212 s Remaining CPU time: 78.7884 s 101.36/101.47 c =============================================================================== 101.36/101.47 c | 4167 | 27886 257704 517755 | 85901 878 25 | 59.403 % | 101.45/101.52 c =============================================================================== 101.45/101.52 c New solution: 202 101.45/101.52 o 202 101.45/101.52 c Elapsed CPU time: 101.263 s Remaining CPU time: 78.7374 s 101.45/101.52 c =============================================================================== 101.45/101.52 c | 4200 | 27644 257705 518055 | 85901 911 25 | 59.403 % | 101.45/101.59 c | 4301 | 27638 257705 518055 | 94491 1012 26 | 62.382 % | 101.55/101.63 c =============================================================================== 101.55/101.63 c New solution: 201 101.55/101.63 o 201 101.55/101.63 c Elapsed CPU time: 101.369 s Remaining CPU time: 78.6314 s 101.55/101.63 c =============================================================================== 101.55/101.63 c | 4309 | 27402 257706 518355 | 85902 1020 25 | 62.382 % | 101.55/101.67 c =============================================================================== 101.55/101.67 c New solution: 200 101.55/101.67 o 200 101.55/101.67 c Elapsed CPU time: 101.41 s Remaining CPU time: 78.5904 s 101.55/101.67 c =============================================================================== 101.55/101.67 c | 4311 | 27160 257707 518655 | 85902 1022 25 | 62.382 % | 101.65/101.72 c =============================================================================== 101.65/101.72 c New solution: 199 101.65/101.72 o 199 101.65/101.72 c Elapsed CPU time: 101.459 s Remaining CPU time: 78.5414 s 101.65/101.72 c =============================================================================== 101.65/101.72 c | 4319 | 26918 257708 518955 | 85902 1030 25 | 62.382 % | 101.65/101.77 c =============================================================================== 101.65/101.77 c New solution: 198 101.65/101.77 o 198 101.65/101.77 c Elapsed CPU time: 101.506 s Remaining CPU time: 78.4944 s 101.65/101.77 c =============================================================================== 101.65/101.77 c | 4326 | 26660 257709 519255 | 85903 1037 25 | 62.382 % | 101.75/101.81 c =============================================================================== 101.75/101.81 c New solution: 197 101.75/101.81 o 197 101.75/101.81 c Elapsed CPU time: 101.552 s Remaining CPU time: 78.4484 s 101.75/101.81 c =============================================================================== 101.75/101.81 c | 4336 | 26426 257710 519555 | 85903 1047 25 | 62.382 % | 101.75/101.86 c =============================================================================== 101.75/101.86 c New solution: 196 101.75/101.86 o 196 101.75/101.86 c Elapsed CPU time: 101.597 s Remaining CPU time: 78.4034 s 101.75/101.86 c =============================================================================== 101.75/101.86 c | 4345 | 26192 257711 519855 | 85903 1056 25 | 62.382 % | 101.85/101.90 c =============================================================================== 101.85/101.90 c New solution: 195 101.85/101.90 o 195 101.85/101.90 c Elapsed CPU time: 101.644 s Remaining CPU time: 78.3565 s 101.85/101.90 c =============================================================================== 101.85/101.90 c | 4364 | 25950 257712 520155 | 85904 1075 25 | 62.382 % | 101.85/101.98 c | 4465 | 25708 257712 520155 | 94494 657 24 | 64.707 % | 101.95/102.04 c =============================================================================== 101.95/102.04 c New solution: 194 101.95/102.04 o 194 101.95/102.04 c Elapsed CPU time: 101.778 s Remaining CPU time: 78.2225 s 101.95/102.04 c =============================================================================== 101.95/102.04 c | 4483 | 25708 257713 520455 | 85904 675 24 | 64.707 % | 101.95/102.09 c =============================================================================== 101.95/102.09 c New solution: 193 101.95/102.09 o 193 101.95/102.09 c Elapsed CPU time: 101.825 s Remaining CPU time: 78.1755 s 101.95/102.09 c =============================================================================== 101.95/102.09 c | 4492 | 25466 257714 520755 | 85904 684 24 | 64.707 % | 102.05/102.13 c =============================================================================== 102.05/102.13 c New solution: 192 102.05/102.13 o 192 102.05/102.13 c Elapsed CPU time: 101.868 s Remaining CPU time: 78.1325 s 102.05/102.13 c =============================================================================== 102.05/102.13 c | 4503 | 25224 257715 521055 | 85905 695 24 | 64.707 % | 102.05/102.17 c =============================================================================== 102.05/102.17 c New solution: 191 102.05/102.17 o 191 102.05/102.17 c Elapsed CPU time: 101.913 s Remaining CPU time: 78.0875 s 102.05/102.17 c =============================================================================== 102.05/102.17 c | 4518 | 24982 257716 521355 | 85905 710 23 | 64.707 % | 102.16/102.23 c | 4618 | 24980 257716 521355 | 94495 810 24 | 66.036 % | 102.16/102.28 c =============================================================================== 102.16/102.28 c New solution: 190 102.16/102.28 o 190 102.16/102.28 c Elapsed CPU time: 102.015 s Remaining CPU time: 77.9845 s 102.16/102.28 c =============================================================================== 102.16/102.28 c | 4637 | 24740 257717 521655 | 85905 829 24 | 66.036 % | 102.27/102.32 c =============================================================================== 102.27/102.32 c New solution: 189 102.27/102.32 o 189 102.27/102.32 c Elapsed CPU time: 102.058 s Remaining CPU time: 77.9415 s 102.27/102.32 c =============================================================================== 102.27/102.32 c | 4656 | 24498 257718 521955 | 85906 848 23 | 66.036 % | 102.27/102.38 c =============================================================================== 102.27/102.38 c New solution: 188 102.27/102.38 o 188 102.27/102.38 c Elapsed CPU time: 102.118 s Remaining CPU time: 77.8815 s 102.27/102.38 c =============================================================================== 102.27/102.38 c | 4716 | 24256 257719 522255 | 85906 908 24 | 66.036 % | 102.36/102.43 c =============================================================================== 102.36/102.43 c New solution: 187 102.36/102.43 o 187 102.36/102.43 c Elapsed CPU time: 102.17 s Remaining CPU time: 77.8295 s 102.36/102.43 c =============================================================================== 102.36/102.43 c | 4733 | 24014 257720 522555 | 85906 925 24 | 66.036 % | 102.36/102.47 c =============================================================================== 102.36/102.47 c New solution: 186 102.36/102.47 o 186 102.36/102.47 c Elapsed CPU time: 102.208 s Remaining CPU time: 77.7915 s 102.36/102.47 c =============================================================================== 102.36/102.47 c | 4738 | 23772 257721 522855 | 85907 930 24 | 66.036 % | 102.46/102.53 c =============================================================================== 102.46/102.53 c New solution: 185 102.46/102.53 o 185 102.46/102.53 c Elapsed CPU time: 102.263 s Remaining CPU time: 77.7365 s 102.46/102.53 c =============================================================================== 102.46/102.53 c | 4780 | 23530 257722 523155 | 85907 972 23 | 66.036 % | 102.46/102.58 c | 4881 | 23288 257722 523155 | 94498 638 21 | 68.029 % | 102.56/102.64 c =============================================================================== 102.56/102.64 c New solution: 184 102.56/102.64 o 184 102.56/102.64 c Elapsed CPU time: 102.371 s Remaining CPU time: 77.6286 s 102.56/102.64 c =============================================================================== 102.56/102.64 c | 4915 | 23288 257723 523455 | 85907 672 21 | 68.029 % | 102.56/102.68 c =============================================================================== 102.56/102.68 c New solution: 183 102.56/102.68 o 183 102.56/102.68 c Elapsed CPU time: 102.413 s Remaining CPU time: 77.5866 s 102.56/102.68 c =============================================================================== 102.56/102.68 c | 4928 | 23046 257724 523755 | 85908 685 21 | 68.029 % | 102.65/102.74 c | 5029 | 23035 257724 523755 | 94498 786 23 | 68.694 % | 102.75/102.82 c | 5179 | 23032 257724 523755 | 103948 936 24 | 68.694 % | 102.75/102.88 c =============================================================================== 102.75/102.88 c New solution: 182 102.75/102.88 o 182 102.75/102.88 c Elapsed CPU time: 102.612 s Remaining CPU time: 77.3876 s 102.75/102.88 c =============================================================================== 102.75/102.88 c | 5220 | 22804 257725 524055 | 85908 977 24 | 68.694 % | 102.85/102.92 c =============================================================================== 102.85/102.92 c New solution: 181 102.85/102.92 o 181 102.85/102.92 c Elapsed CPU time: 102.651 s Remaining CPU time: 77.3486 s 102.85/102.92 c =============================================================================== 102.85/102.92 c | 5225 | 22562 257726 524355 | 85908 982 23 | 68.694 % | 102.85/102.97 c =============================================================================== 102.85/102.97 c New solution: 180 102.85/102.97 o 180 102.85/102.97 c Elapsed CPU time: 102.7 s Remaining CPU time: 77.2996 s 102.85/102.97 c =============================================================================== 102.85/102.97 c | 5251 | 22320 257727 524655 | 85909 1008 23 | 68.694 % | 102.95/103.01 c =============================================================================== 102.95/103.01 c New solution: 179 102.95/103.01 o 179 102.95/103.01 c Elapsed CPU time: 102.745 s Remaining CPU time: 77.2546 s 102.95/103.01 c =============================================================================== 102.95/103.01 c | 5259 | 22078 257728 524955 | 85909 1016 23 | 68.694 % | 102.95/103.06 c =============================================================================== 102.95/103.06 c New solution: 178 102.95/103.06 o 178 102.95/103.06 c Elapsed CPU time: 102.791 s Remaining CPU time: 77.2086 s 102.95/103.06 c =============================================================================== 102.95/103.06 c | 5265 | 21836 257729 525255 | 85909 1022 23 | 68.694 % | 103.05/103.13 c =============================================================================== 103.05/103.13 c New solution: 177 103.05/103.13 o 177 103.05/103.13 c Elapsed CPU time: 102.858 s Remaining CPU time: 77.1416 s 103.05/103.13 c =============================================================================== 103.05/103.13 c | 5355 | 21594 257730 525555 | 85910 777 23 | 68.694 % | 103.15/103.20 c | 5456 | 21589 257730 525555 | 94501 878 23 | 70.687 % | 103.15/103.25 c =============================================================================== 103.15/103.25 c New solution: 176 103.15/103.25 o 176 103.15/103.25 c Elapsed CPU time: 102.972 s Remaining CPU time: 77.0277 s 103.15/103.25 c =============================================================================== 103.15/103.25 c | 5476 | 21352 257731 525855 | 85910 898 23 | 70.687 % | 103.15/103.28 c | 5576 | 21335 257731 525855 | 94501 998 24 | 71.019 % | 103.26/103.40 c | 5726 | 21333 257731 525855 | 103951 1148 24 | 71.019 % | 103.37/103.46 c =============================================================================== 103.37/103.46 c New solution: 175 103.37/103.46 o 175 103.37/103.46 c Elapsed CPU time: 103.185 s Remaining CPU time: 76.8147 s 103.37/103.46 c =============================================================================== 103.37/103.46 c | 5762 | 21110 257732 526155 | 85910 1184 24 | 71.019 % | 103.46/103.52 c | 5862 | 21104 257732 526155 | 94501 1284 25 | 71.352 % | 103.46/103.56 c =============================================================================== 103.46/103.56 c New solution: 174 103.46/103.56 o 174 103.46/103.56 c Elapsed CPU time: 103.283 s Remaining CPU time: 76.7167 s 103.46/103.56 c =============================================================================== 103.46/103.56 c | 5866 | 20868 257733 526455 | 85911 1288 24 | 71.352 % | 103.56/103.60 c =============================================================================== 103.56/103.60 c New solution: 173 103.56/103.60 o 173 103.56/103.60 c Elapsed CPU time: 103.32 s Remaining CPU time: 76.6797 s 103.56/103.60 c =============================================================================== 103.56/103.60 c | 5869 | 20626 257734 526755 | 85911 1291 24 | 71.352 % | 103.56/103.63 c =============================================================================== 103.56/103.63 c New solution: 172 103.56/103.63 o 172 103.56/103.63 c Elapsed CPU time: 103.358 s Remaining CPU time: 76.6417 s 103.56/103.63 c =============================================================================== 103.56/103.63 c | 5880 | 20384 257735 527055 | 85911 1302 24 | 71.352 % | 103.56/103.68 c =============================================================================== 103.56/103.68 c New solution: 171 103.56/103.68 o 171 103.56/103.68 c Elapsed CPU time: 103.404 s Remaining CPU time: 76.5957 s 103.56/103.68 c =============================================================================== 103.56/103.68 c | 5894 | 20142 257736 527355 | 85912 960 23 | 71.352 % | 103.65/103.72 c =============================================================================== 103.65/103.72 c New solution: 170 103.65/103.72 o 170 103.65/103.72 c Elapsed CPU time: 103.439 s Remaining CPU time: 76.5607 s 103.65/103.72 c =============================================================================== 103.65/103.72 c | 5899 | 19900 257737 527655 | 85912 965 23 | 71.352 % | 103.65/103.75 c =============================================================================== 103.65/103.75 c New solution: 169 103.65/103.75 o 169 103.65/103.75 c Elapsed CPU time: 103.476 s Remaining CPU time: 76.5237 s 103.65/103.75 c =============================================================================== 103.65/103.75 c | 5905 | 19658 257738 527955 | 85912 971 23 | 71.352 % | 103.65/103.80 c =============================================================================== 103.65/103.80 c New solution: 168 103.65/103.80 o 168 103.65/103.80 c Elapsed CPU time: 103.518 s Remaining CPU time: 76.4817 s 103.65/103.80 c =============================================================================== 103.65/103.80 c | 5920 | 19416 257739 528255 | 85913 986 22 | 71.352 % | 103.75/103.86 c =============================================================================== 103.75/103.86 c New solution: 167 103.75/103.86 o 167 103.75/103.86 c Elapsed CPU time: 103.578 s Remaining CPU time: 76.4217 s 103.75/103.86 c =============================================================================== 103.75/103.86 c | 5962 | 19174 257740 528555 | 85913 1028 22 | 71.352 % | 103.75/103.89 c =============================================================================== 103.75/103.89 c New solution: 166 103.75/103.89 o 166 103.75/103.89 c Elapsed CPU time: 103.614 s Remaining CPU time: 76.3858 s 103.75/103.89 c =============================================================================== 103.75/103.89 c | 5968 | 18932 257741 528855 | 85913 1034 22 | 71.352 % | 103.85/103.94 c =============================================================================== 103.85/103.94 c New solution: 165 103.85/103.94 o 165 103.85/103.94 c Elapsed CPU time: 103.662 s Remaining CPU time: 76.3378 s 103.85/103.94 c =============================================================================== 103.85/103.94 c | 6002 | 18690 257742 529155 | 85914 1068 22 | 71.352 % | 103.85/103.98 c =============================================================================== 103.85/103.98 c New solution: 164 103.85/103.98 o 164 103.85/103.98 c Elapsed CPU time: 103.703 s Remaining CPU time: 76.2968 s 103.85/103.98 c =============================================================================== 103.85/103.98 c | 6027 | 18448 257743 529455 | 85914 1093 22 | 71.352 % | 103.95/104.05 c =============================================================================== 103.95/104.05 c New solution: 163 103.95/104.05 o 163 103.95/104.05 c Elapsed CPU time: 103.769 s Remaining CPU time: 76.2308 s 103.95/104.05 c =============================================================================== 103.95/104.05 c | 6091 | 18206 257744 529755 | 85914 1157 23 | 71.352 % | 104.05/104.10 c =============================================================================== 104.05/104.10 c New solution: 162 104.05/104.10 o 162 104.05/104.10 c Elapsed CPU time: 103.814 s Remaining CPU time: 76.1858 s 104.05/104.10 c =============================================================================== 104.05/104.10 c | 6112 | 17960 257745 530055 | 85915 1178 23 | 71.352 % | 104.05/104.13 c =============================================================================== 104.05/104.13 c New solution: 161 104.05/104.13 o 161 104.05/104.13 c Elapsed CPU time: 103.849 s Remaining CPU time: 76.1508 s 104.05/104.13 c =============================================================================== 104.05/104.13 c | 6120 | 17720 257746 530355 | 85915 1186 23 | 71.352 % | 104.05/104.17 c =============================================================================== 104.05/104.17 c New solution: 160 104.05/104.17 o 160 104.05/104.17 c Elapsed CPU time: 103.89 s Remaining CPU time: 76.1098 s 104.05/104.17 c =============================================================================== 104.05/104.17 c | 6139 | 17480 257747 530655 | 85915 1205 23 | 71.352 % | 104.16/104.23 c | 6239 | 17474 257747 530655 | 94507 1305 24 | 76.335 % | 104.16/104.29 c =============================================================================== 104.16/104.29 c New solution: 159 104.16/104.29 o 159 104.16/104.29 c Elapsed CPU time: 104.004 s Remaining CPU time: 75.9958 s 104.16/104.29 c =============================================================================== 104.16/104.29 c | 6304 | 17238 257748 530955 | 85916 1370 24 | 76.335 % | 104.26/104.33 c =============================================================================== 104.26/104.33 c New solution: 158 104.26/104.33 o 158 104.26/104.33 c Elapsed CPU time: 104.051 s Remaining CPU time: 75.9488 s 104.26/104.33 c =============================================================================== 104.26/104.33 c | 6323 | 16996 257749 531255 | 85916 1389 23 | 76.335 % | 104.26/104.37 c | 6423 | 16990 257749 531255 | 94507 1489 24 | 77.000 % | 104.36/104.44 c | 6573 | 16754 257749 531255 | 103958 971 23 | 77.000 % | 104.47/104.56 c =============================================================================== 104.47/104.56 c New solution: 157 104.47/104.56 o 157 104.47/104.56 c Elapsed CPU time: 104.281 s Remaining CPU time: 75.7189 s 104.47/104.56 c =============================================================================== 104.47/104.56 c | 6703 | 16746 257750 531555 | 85916 1101 24 | 77.000 % | 104.56/104.61 c =============================================================================== 104.56/104.61 c New solution: 156 104.56/104.61 o 156 104.56/104.61 c Elapsed CPU time: 104.329 s Remaining CPU time: 75.6709 s 104.56/104.61 c =============================================================================== 104.56/104.61 c | 6752 | 16492 257751 531855 | 85917 1150 24 | 77.000 % | 104.56/104.69 c | 6852 | 16490 257751 531855 | 94508 1250 25 | 77.672 % | 104.66/104.74 c =============================================================================== 104.66/104.74 c New solution: 155 104.66/104.74 o 155 104.66/104.74 c Elapsed CPU time: 104.46 s Remaining CPU time: 75.5399 s 104.66/104.74 c =============================================================================== 104.66/104.74 c | 6893 | 16264 257752 532155 | 85917 1291 25 | 77.672 % | 104.66/104.79 c | 6995 | 16260 257752 532155 | 94509 1393 25 | 78.002 % | 104.86/104.91 c | 7146 | 16258 257752 532155 | 103959 1544 25 | 78.002 % | 104.86/104.96 c =============================================================================== 104.86/104.96 c New solution: 154 104.86/104.96 o 154 104.86/104.96 c Elapsed CPU time: 104.672 s Remaining CPU time: 75.3279 s 104.86/104.96 c =============================================================================== 104.86/104.96 c | 7156 | 16024 257753 532455 | 85917 1433 25 | 78.002 % | 104.96/105.00 c =============================================================================== 104.96/105.00 c New solution: 153 104.96/105.00 o 153 104.96/105.00 c Elapsed CPU time: 104.715 s Remaining CPU time: 75.2849 s 104.96/105.00 c =============================================================================== 104.96/105.00 c | 7183 | 15784 257754 532755 | 85918 1460 25 | 78.002 % | 104.96/105.06 c | 7283 | 15779 257754 532755 | 94509 1560 25 | 78.661 % | 105.06/105.16 c | 7436 | 15762 257754 532755 | 103960 1713 26 | 78.803 % | 105.16/105.21 c =============================================================================== 105.16/105.21 c New solution: 152 105.16/105.21 o 152 105.16/105.21 c Elapsed CPU time: 104.922 s Remaining CPU time: 75.078 s 105.16/105.21 c =============================================================================== 105.16/105.21 c | 7462 | 15440 257755 533055 | 85918 1739 26 | 78.803 % | 105.16/105.30 c | 7562 | 15431 257755 533055 | 94510 1839 26 | 79.136 % | 105.35/105.40 c | 7713 | 15429 257755 533055 | 103961 1990 26 | 79.136 % | 105.35/105.44 c =============================================================================== 105.35/105.44 c New solution: 151 105.35/105.44 o 151 105.35/105.44 c Elapsed CPU time: 105.147 s Remaining CPU time: 74.853 s 105.35/105.44 c =============================================================================== 105.35/105.44 c | 7717 | 15198 257756 533355 | 85918 1994 26 | 79.136 % | 105.35/105.49 c =============================================================================== 105.35/105.49 c New solution: 150 105.35/105.49 o 150 105.35/105.49 c Elapsed CPU time: 105.196 s Remaining CPU time: 74.804 s 105.35/105.49 c =============================================================================== 105.35/105.49 c | 7768 | 14956 257757 533655 | 85919 2045 26 | 79.136 % | 105.46/105.59 c | 7868 | 14714 257757 533655 | 94510 1700 26 | 79.800 % | 105.56/105.65 c | 8018 | 14714 257757 533655 | 103961 1850 27 | 79.800 % | 105.66/105.77 c | 8243 | 14714 257757 533655 | 114358 2075 29 | 79.800 % | 105.96/106.03 c | 8580 | 14714 257757 533655 | 125794 2412 29 | 79.800 % | 105.96/106.09 c =============================================================================== 105.96/106.09 c New solution: 149 105.96/106.09 o 149 105.96/106.09 c Elapsed CPU time: 105.794 s Remaining CPU time: 74.2061 s 105.96/106.09 c =============================================================================== 105.96/106.09 c | 8604 | 14712 257758 533955 | 85919 2435 29 | 79.800 % | 106.06/106.16 c | 8705 | 14707 257758 533955 | 94511 2536 29 | 80.135 % | 106.16/106.23 c | 8856 | 14704 257758 533955 | 103962 2687 29 | 80.135 % | 106.36/106.44 c | 9081 | 14697 257758 533955 | 114358 2912 30 | 80.135 % | 106.45/106.50 c =============================================================================== 106.45/106.50 c New solution: 148 106.45/106.50 o 148 106.45/106.50 c Elapsed CPU time: 106.203 s Remaining CPU time: 73.7971 s 106.45/106.50 c =============================================================================== 106.45/106.50 c | 9153 | 14470 257759 534255 | 85919 2984 29 | 80.135 % | 106.45/106.57 c =============================================================================== 106.45/106.57 c New solution: 147 106.45/106.57 o 147 106.45/106.57 c Elapsed CPU time: 106.273 s Remaining CPU time: 73.7272 s 106.45/106.57 c =============================================================================== 106.45/106.57 c | 9209 | 14228 257760 534555 | 85920 3040 29 | 80.135 % | 106.56/106.62 c | 9310 | 14215 257760 534555 | 94512 3141 29 | 80.800 % | 106.66/106.72 c | 9460 | 14213 257760 534555 | 103963 3291 29 | 80.838 % | 106.75/106.82 c | 9686 | 13958 257760 534555 | 114359 3097 28 | 80.838 % | 106.95/107.06 c | 10023 | 13958 257760 534555 | 125795 3434 29 | 80.838 % | 107.05/107.11 c =============================================================================== 107.05/107.11 c New solution: 146 107.05/107.11 o 146 107.05/107.11 c Elapsed CPU time: 106.811 s Remaining CPU time: 73.1892 s 107.05/107.11 c =============================================================================== 107.05/107.11 c | 10084 | 13958 257761 534855 | 85920 3495 29 | 80.838 % | 107.05/107.19 c | 10185 | 13952 257761 534855 | 94512 3596 29 | 81.151 % | 107.16/107.26 c | 10335 | 13946 257761 534855 | 103963 3746 29 | 81.151 % | 107.36/107.42 c | 10562 | 13944 257761 534855 | 114359 3973 30 | 81.151 % | 107.46/107.54 c | 10900 | 13730 257761 534855 | 125795 4141 29 | 81.151 % | 107.85/107.94 c | 11407 | 13730 257761 534855 | 138375 4648 30 | 81.151 % | 108.36/108.40 c | 12166 | 13730 257761 534855 | 152213 5407 32 | 81.151 % | 109.05/109.13 c | 13305 | 13730 257761 534855 | 167434 6546 35 | 81.151 % | 109.05/109.19 c =============================================================================== 109.05/109.19 c New solution: 145 109.05/109.19 o 145 109.05/109.19 c Elapsed CPU time: 108.868 s Remaining CPU time: 71.1316 s 109.05/109.19 c =============================================================================== 109.05/109.19 c | 13378 | 13730 257762 535155 | 85920 6619 35 | 81.151 % | 109.25/109.30 c | 13478 | 13502 257762 535155 | 94512 6568 35 | 81.464 % | 109.25/109.36 c | 13630 | 13502 257762 535155 | 103964 6720 35 | 81.464 % | 109.46/109.51 c | 13855 | 13501 257762 535155 | 114360 6945 35 | 81.469 % | 109.66/109.78 c | 14192 | 13501 257762 535155 | 125796 7282 35 | 81.469 % | 109.76/109.86 c =============================================================================== 109.76/109.86 c New solution: 144 109.76/109.86 o 144 109.76/109.86 c Elapsed CPU time: 109.533 s Remaining CPU time: 70.4667 s 109.76/109.86 c =============================================================================== 109.76/109.86 c | 14278 | 13490 257763 535455 | 85921 7368 35 | 81.469 % | 109.86/109.95 c | 14379 | 13488 257763 535455 | 94513 7469 35 | 81.796 % | 109.96/110.04 c | 14529 | 13260 257763 535455 | 103964 7207 34 | 81.796 % | 110.15/110.26 c | 14755 | 13260 257763 535455 | 114360 7433 34 | 81.796 % | 110.25/110.32 c =============================================================================== 110.25/110.32 c New solution: 143 110.25/110.32 o 143 110.25/110.32 c Elapsed CPU time: 109.992 s Remaining CPU time: 70.0077 s 110.25/110.32 c =============================================================================== 110.25/110.32 c | 14863 | 13260 257764 535755 | 85921 7541 34 | 81.796 % | 110.35/110.44 c | 14963 | 13254 257764 535755 | 94513 7641 34 | 82.128 % | 110.35/110.49 c | 15114 | 13249 257764 535755 | 103964 7792 34 | 82.128 % | 110.56/110.67 c | 15340 | 13248 257764 535755 | 114361 8018 34 | 82.128 % | 110.86/110.91 c | 15677 | 13017 257764 535755 | 125797 8073 34 | 82.130 % | 111.25/111.34 c | 16183 | 13017 257764 535755 | 138377 8579 35 | 82.130 % | 111.55/111.64 c | 16943 | 13017 257764 535755 | 152214 9339 35 | 82.130 % | 112.25/112.32 c | 18082 | 13009 257764 535755 | 167436 10341 35 | 82.141 % | 113.75/113.88 c | 19790 | 13009 257764 535755 | 184180 12049 37 | 82.141 % | 115.25/115.30 c | 22354 | 13009 257764 535755 | 202598 14613 41 | 82.141 % | 115.36/115.49 c =============================================================================== 115.36/115.49 c New solution: 142 115.36/115.49 o 142 115.36/115.49 c Elapsed CPU time: 115.125 s Remaining CPU time: 64.8745 s 115.36/115.49 c =============================================================================== 115.36/115.49 c | 22660 | 13009 257765 536055 | 85921 14919 41 | 82.141 % | 115.55/115.60 c | 22760 | 12775 257765 536055 | 94513 14619 40 | 82.462 % | 115.55/115.68 c | 22910 | 12775 257765 536055 | 103965 14769 40 | 82.462 % | 115.85/115.91 c | 23136 | 12775 257765 536055 | 114361 14995 40 | 82.462 % | 115.85/115.97 c =============================================================================== 115.85/115.97 c New solution: 141 115.85/115.97 o 141 115.85/115.97 c Elapsed CPU time: 115.609 s Remaining CPU time: 64.3906 s 115.85/115.97 c =============================================================================== 115.85/115.97 c | 23215 | 12775 257766 536355 | 85922 15074 40 | 82.462 % | 115.95/116.05 c | 23316 | 12770 257766 536355 | 94514 15175 40 | 82.794 % | 116.05/116.13 c | 23466 | 12762 257766 536355 | 103965 15325 40 | 82.794 % | 116.25/116.38 c | 23692 | 12761 257766 536355 | 114362 15551 40 | 82.794 % | 116.46/116.53 c | 24029 | 12750 257766 536355 | 125798 15888 40 | 82.794 % | 116.95/117.00 c | 24535 | 12750 257766 536355 | 138378 16394 40 | 82.794 % | 117.35/117.47 c | 25294 | 12533 257766 536355 | 152216 16725 40 | 82.794 % | 118.35/118.49 c | 26433 | 12533 257766 536355 | 167437 17864 41 | 82.794 % | 119.35/119.40 c | 28143 | 12533 257766 536355 | 184181 19574 41 | 82.794 % | 121.85/121.94 c | 30705 | 12533 257766 536355 | 202599 22136 42 | 82.794 % | 124.95/125.09 c | 34549 | 12533 257766 536355 | 222859 25980 45 | 82.794 % | 129.45/129.53 c | 40316 | 12533 257766 536355 | 245145 31747 49 | 82.794 % | 129.84/129.90 c =============================================================================== 129.84/129.90 c New solution: 140 129.84/129.90 o 140 129.84/129.90 c Elapsed CPU time: 129.459 s Remaining CPU time: 50.5407 s 129.84/129.90 c =============================================================================== 129.84/129.90 c | 40760 | 12533 257767 536655 | 85922 32191 49 | 82.794 % | 129.94/130.03 c | 40860 | 12291 257767 536655 | 94514 31679 49 | 83.126 % | 130.14/130.22 c | 41010 | 12291 257767 536655 | 103966 31829 49 | 83.126 % | 130.34/130.42 c | 41235 | 12291 257767 536655 | 114362 32054 49 | 83.127 % | 130.64/130.76 c | 41572 | 12291 257767 536655 | 125798 32391 49 | 83.126 % | 131.24/131.38 c | 42079 | 12291 257767 536655 | 138378 32898 49 | 83.126 % | 132.15/132.24 c | 42838 | 12291 257767 536655 | 152216 33657 48 | 83.126 % | 133.05/133.11 c | 43977 | 12291 257767 536655 | 167438 34796 48 | 83.126 % | 133.74/133.80 c =============================================================================== 133.74/133.80 c New solution: 139 133.74/133.80 o 139 133.74/133.80 c Elapsed CPU time: 133.351 s Remaining CPU time: 46.6493 s 133.74/133.80 c =============================================================================== 133.74/133.80 c | 45091 | 12291 257768 536955 | 85922 35910 48 | 83.126 % | 133.84/133.97 c | 45191 | 12049 257768 536955 | 94514 33746 48 | 83.459 % | 134.06/134.11 c | 45341 | 12049 257768 536955 | 103966 33896 48 | 83.459 % | 134.35/134.42 c | 45567 | 12049 257768 536955 | 114363 34122 47 | 83.459 % | 134.75/134.82 c | 45904 | 12049 257768 536955 | 125799 34459 47 | 83.459 % | 135.15/135.24 c | 46413 | 12048 257768 536955 | 138379 34968 47 | 83.492 % | 136.05/136.10 c | 47173 | 12047 257768 536955 | 152217 35728 47 | 83.503 % | 137.24/137.31 c | 48312 | 12047 257768 536955 | 167438 36867 47 | 83.503 % | 139.44/139.55 c | 50021 | 12017 257768 536955 | 184182 38527 47 | 83.503 % | 142.44/142.55 c | 52583 | 12017 257768 536955 | 202601 41089 48 | 83.503 % | 142.64/142.71 c =============================================================================== 142.64/142.71 c New solution: 138 142.64/142.71 o 138 142.64/142.71 c Elapsed CPU time: 142.221 s Remaining CPU time: 37.7786 s 142.64/142.71 c =============================================================================== 142.64/142.71 c | 52670 | 12017 257769 537255 | 85923 41176 48 | 83.503 % | 142.85/142.90 c | 52770 | 11783 257769 537255 | 94515 40470 48 | 83.824 % | 142.95/143.02 c | 52920 | 11783 257769 537255 | 103966 40620 48 | 83.824 % | 143.35/143.41 c | 53145 | 11783 257769 537255 | 114363 40845 48 | 83.824 % | 143.65/143.76 c | 53483 | 11783 257769 537255 | 125799 41183 48 | 83.824 % | 144.14/144.23 c | 53989 | 11783 257769 537255 | 138379 41689 48 | 83.824 % | 145.06/145.16 c | 54749 | 11783 257769 537255 | 152217 42449 48 | 83.824 % | 146.44/146.57 c | 55889 | 11783 257769 537255 | 167439 43589 48 | 83.824 % | 148.14/148.27 c | 57597 | 11783 257769 537255 | 184183 45297 48 | 83.824 % | 150.44/150.58 c | 60160 | 11783 257769 537255 | 202601 47860 48 | 83.824 % | 155.44/155.50 c | 64004 | 11783 257769 537255 | 222862 51704 48 | 83.824 % | 160.83/160.96 c | 69770 | 11783 257769 537255 | 245148 57470 49 | 83.824 % | 165.14/165.29 c =============================================================================== 165.14/165.29 c New solution: 137 165.14/165.29 o 137 165.14/165.29 c Elapsed CPU time: 164.704 s Remaining CPU time: 15.296 s 165.14/165.29 c =============================================================================== 165.14/165.29 c | 73275 | 11763 257770 537555 | 85923 60973 49 | 83.824 % | 165.34/165.47 c | 73375 | 11760 257770 537555 | 94515 61073 49 | 84.184 % | 165.64/165.70 c | 73525 | 11760 257770 537555 | 103967 61223 49 | 84.184 % | 165.83/165.94 c | 73750 | 11751 257770 537555 | 114363 61448 49 | 84.208 % | 166.43/166.56 c | 74087 | 11747 257770 537555 | 125800 61785 49 | 84.208 % | 166.94/167.01 c | 74593 | 11732 257770 537555 | 138380 62291 49 | 84.208 % | 167.74/167.87 c =============================================================================== 167.74/167.87 c New solution: 136 167.74/167.87 o 136 167.74/167.87 c Elapsed CPU time: 167.27 s Remaining CPU time: 12.7304 s 167.74/167.87 c =============================================================================== 167.74/167.87 c | 75351 | 11503 257771 537855 | 85923 63049 49 | 84.208 % | 167.94/168.04 c | 75451 | 11495 257771 537855 | 94516 63149 49 | 84.527 % | 168.14/168.20 c | 75601 | 11492 257771 537855 | 103967 63299 48 | 84.527 % | 168.43/168.51 c | 75827 | 11491 257771 537855 | 114364 63525 48 | 84.527 % | 168.73/168.84 c | 76166 | 11491 257771 537855 | 125800 63864 48 | 84.527 % | 169.44/169.51 c | 76672 | 11478 257771 537855 | 138380 64370 48 | 84.527 % | 170.63/170.72 c | 77432 | 11478 257771 537855 | 152219 65130 48 | 84.527 % | 171.94/172.05 c | 78573 | 11477 257771 537855 | 167440 66271 48 | 84.527 % | 173.84/173.96 c | 80282 | 11271 257771 537855 | 184185 62912 47 | 84.527 % | 176.83/176.91 c | 82846 | 11270 257771 537855 | 202603 65476 47 | 84.553 % | 180.53/180.66 c There are 61592 assigned variables. 275 in cost function. 181.34/181.46 c core #1 181.34/181.46 c core #2 181.34/181.46 c core #3 181.34/181.46 c core #4 181.34/181.46 c ============================[ Search Statistics ]============================== 181.34/181.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.34/181.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.34/181.46 c =============================================================================== 181.34/181.46 c | 0 | 4838 93530 80796 | 31176 0 nan | 0.000 % | 181.34/181.47 c =============================================================================== 181.53/181.61 c core #5 181.53/181.61 c ============================[ Search Statistics ]============================== 181.53/181.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.53/181.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.53/181.61 c =============================================================================== 181.53/181.61 c | 0 | 6388 93551 82917 | 31183 0 nan | 0.000 % | 181.53/181.63 c =============================================================================== 181.63/181.76 c core #6 181.63/181.76 c ============================[ Search Statistics ]============================== 181.63/181.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.63/181.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.63/181.76 c =============================================================================== 181.63/181.76 c | 0 | 6718 93571 83056 | 31190 0 nan | 0.000 % | 181.73/181.81 c =============================================================================== 181.83/181.94 c core #7 181.83/181.94 c ============================[ Search Statistics ]============================== 181.83/181.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.94 c =============================================================================== 181.83/181.94 c | 0 | 6998 93591 83176 | 31197 0 nan | 0.000 % | 181.93/182.00 c | 100 | 6985 93591 83176 | 34316 100 16 | 91.339 % | 181.93/182.05 c =============================================================================== 182.03/182.18 c core #8 182.03/182.18 c ============================[ Search Statistics ]============================== 182.03/182.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.18 c =============================================================================== 182.03/182.18 c | 0 | 7278 93609 83293 | 31203 0 nan | 0.000 % | 182.13/182.25 c | 100 | 7278 93609 83293 | 34323 100 20 | 90.032 % | 182.23/182.32 c | 250 | 7025 93609 83293 | 37755 238 20 | 90.589 % | 182.23/182.38 c =============================================================================== 182.44/182.52 c core #9 182.44/182.52 c ============================[ Search Statistics ]============================== 182.44/182.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.52 c =============================================================================== 182.44/182.52 c | 0 | 7576 93626 83400 | 31208 0 nan | 0.000 % | 182.44/182.58 c | 100 | 7576 93626 83400 | 34329 100 19 | 89.626 % | 182.54/182.67 c | 251 | 7411 93626 83400 | 37762 250 22 | 90.081 % | 182.73/182.82 c | 476 | 7228 93626 83400 | 41538 472 25 | 90.193 % | 182.83/182.98 c =============================================================================== 183.03/183.12 c core #10 183.03/183.12 c ============================[ Search Statistics ]============================== 183.03/183.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.12 c =============================================================================== 183.03/183.12 c | 0 | 7838 93644 83507 | 31214 0 nan | 0.000 % | 183.03/183.19 c | 100 | 7838 93644 83507 | 34336 100 20 | 89.270 % | 183.13/183.28 c | 250 | 7838 93644 83507 | 37769 250 22 | 89.270 % | 183.23/183.39 c | 477 | 7838 93644 83507 | 41546 477 21 | 89.270 % | 183.43/183.57 c | 814 | 7539 93644 83507 | 45701 715 22 | 89.726 % | 183.73/183.85 c | 1320 | 7315 93644 83507 | 50271 1179 25 | 89.986 % | 184.03/184.10 c =============================================================================== 184.13/184.23 c core #11 184.13/184.23 c ============================[ Search Statistics ]============================== 184.13/184.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.23 c =============================================================================== 184.13/184.23 c | 0 | 8098 93663 83621 | 31221 0 nan | 0.000 % | 184.23/184.30 c | 100 | 8098 93663 83621 | 34343 100 19 | 88.916 % | 184.23/184.39 c | 252 | 8098 93663 83621 | 37777 252 23 | 88.916 % | 184.33/184.50 c | 477 | 7942 93663 83621 | 41555 476 22 | 89.130 % | 184.63/184.71 c | 815 | 7942 93663 83621 | 45710 814 24 | 89.130 % | 184.93/185.00 c | 1321 | 7926 93663 83621 | 50281 1319 24 | 89.152 % | 185.33/185.47 c | 2081 | 7926 93663 83621 | 55309 2079 28 | 89.152 % | 186.13/186.20 c | 3220 | 7920 93663 83621 | 60840 3217 29 | 89.160 % | 187.03/187.13 c =============================================================================== 187.13/187.26 c core #12 187.13/187.26 c ============================[ Search Statistics ]============================== 187.13/187.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.13/187.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.13/187.26 c =============================================================================== 187.13/187.26 c | 0 | 8354 93686 83751 | 31228 0 nan | 0.000 % | 187.23/187.32 c | 101 | 8354 93686 83751 | 34351 101 17 | 88.568 % | 187.33/187.41 c | 252 | 8198 93686 83751 | 37786 251 19 | 88.803 % | 187.43/187.51 c | 478 | 8182 93686 83751 | 41565 476 20 | 88.803 % | 187.53/187.69 c | 816 | 8160 93686 83751 | 45721 811 21 | 88.834 % | 187.83/187.95 c | 1323 | 8160 93686 83751 | 50294 1318 23 | 88.834 % | 188.23/188.36 c | 2083 | 8125 93686 83751 | 55323 1901 25 | 88.881 % | 188.83/188.93 c | 3222 | 8121 93686 83751 | 60855 3039 25 | 88.892 % | 189.83/189.98 c | 4930 | 8121 93686 83751 | 66941 4747 27 | 88.892 % | 191.63/191.73 c | 7495 | 8113 93686 83751 | 73635 7308 31 | 88.898 % | 194.23/194.38 c =============================================================================== 194.42/194.51 c core #13 194.42/194.51 c ============================[ Search Statistics ]============================== 194.42/194.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.42/194.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.42/194.51 c =============================================================================== 194.42/194.51 c | 0 | 8609 93704 83862 | 31234 0 nan | 0.000 % | 194.42/194.57 c | 100 | 8609 93704 83862 | 34358 100 18 | 88.221 % | 194.53/194.66 c | 253 | 8592 93704 83862 | 37793 252 22 | 88.265 % | 194.63/194.78 c | 478 | 8577 93704 83862 | 41573 476 31 | 88.265 % | 194.83/194.93 c | 815 | 8577 93704 83862 | 45730 813 29 | 88.265 % | 195.13/195.20 c | 1322 | 8567 93704 83862 | 50303 1318 28 | 88.279 % | 195.53/195.63 c | 2081 | 8567 93704 83862 | 55334 2077 31 | 88.279 % | 196.23/196.37 c | 3221 | 8567 93704 83862 | 60867 3217 31 | 88.279 % | 197.22/197.36 c | 4931 | 8411 93704 83862 | 66954 4925 34 | 88.492 % | 198.83/198.96 c | 7493 | 8411 93704 83862 | 73649 7487 35 | 88.492 % | 201.73/201.80 c | 11338 | 8250 93704 83862 | 81014 11000 35 | 88.712 % | 206.92/207.06 c | 17104 | 8250 93704 83862 | 89116 16766 37 | 88.712 % | 212.92/213.09 c =============================================================================== 213.12/213.24 c core #14 213.12/213.24 c ============================[ Search Statistics ]============================== 213.12/213.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.12/213.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.12/213.24 c =============================================================================== 213.12/213.24 c | 0 | 8863 93735 84007 | 31245 0 nan | 0.000 % | 213.22/213.30 c | 100 | 8863 93735 84007 | 34369 100 21 | 87.876 % | 213.22/213.39 c | 250 | 8847 93735 84007 | 37806 249 23 | 87.898 % | 213.42/213.50 c | 476 | 8847 93735 84007 | 41587 475 25 | 87.898 % | 213.52/213.68 c | 813 | 8847 93735 84007 | 45745 812 27 | 87.898 % | 213.82/213.91 c | 1319 | 8841 93735 84007 | 50320 1317 28 | 87.906 % | 214.22/214.36 c | 2079 | 8827 93735 84007 | 55352 2074 31 | 88.114 % | 214.82/214.95 c | 3219 | 8820 93735 84007 | 60887 3214 34 | 88.114 % | 215.92/216.02 c | 4927 | 8689 93735 84007 | 66976 4921 35 | 88.114 % | 217.82/217.99 c | 7489 | 8689 93735 84007 | 73674 7483 40 | 88.114 % | 220.72/220.81 c | 11335 | 8683 93735 84007 | 81041 11327 41 | 88.141 % | 225.72/225.83 c | 17102 | 8669 93735 84007 | 89145 17093 43 | 88.141 % | 233.61/233.78 c | 25751 | 8619 93735 84007 | 98060 25617 45 | 88.558 % | 250.51/250.67 c | 38725 | 8601 93735 84007 | 107866 38591 48 | 88.558 % | 281.00/281.11 c | 58186 | 8206 93735 84007 | 118652 43254 48 | 88.774 % | 285.80/285.96 c =============================================================================== 286.01/286.14 c core #15 286.01/286.14 c ============================[ Search Statistics ]============================== 286.01/286.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 286.01/286.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 286.01/286.14 c =============================================================================== 286.01/286.14 c | 0 | 9116 93770 84165 | 31256 0 nan | 0.000 % | 286.11/286.20 c | 100 | 9116 93770 84165 | 34382 100 18 | 87.531 % | 286.11/286.27 c | 250 | 9100 93770 84165 | 37820 249 20 | 87.553 % | 286.30/286.40 c | 475 | 9100 93770 84165 | 41602 474 27 | 87.553 % | 286.40/286.56 c | 813 | 9100 93770 84165 | 45762 812 29 | 87.553 % | 286.60/286.78 c | 1319 | 9100 93770 84165 | 50339 1318 28 | 87.553 % | 287.01/287.17 c | 2078 | 8952 93770 84165 | 55373 2076 28 | 87.756 % | 287.71/287.87 c | 3217 | 8952 93770 84165 | 60910 3215 32 | 87.756 % | 288.70/288.85 c | 4925 | 8952 93770 84165 | 67001 4923 34 | 87.756 % | 290.31/290.44 c | 7487 | 8952 93770 84165 | 73701 7485 36 | 87.756 % | 292.80/292.97 c | 11332 | 8942 93770 84165 | 81071 11323 38 | 87.769 % | 298.20/298.36 c | 17099 | 8942 93770 84165 | 89178 17090 42 | 87.769 % | 306.49/306.69 c | 25748 | 8942 93770 84165 | 98096 25739 44 | 87.769 % | 323.39/323.55 c | 38723 | 8942 93770 84165 | 107906 38714 46 | 87.769 % | 355.78/355.93 c | 58186 | 8942 93770 84165 | 118697 58177 48 | 87.769 % | 416.96/417.14 c | 87384 | 8575 93770 84165 | 130566 76599 49 | 88.314 % | 526.93/527.19 c | 131173 | 7591 93770 84165 | 143623 43136 30 | 89.679 % | 531.53/531.75 c =============================================================================== 531.73/531.99 c core #16 531.73/531.99 c ============================[ Search Statistics ]============================== 531.73/531.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 531.73/531.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 531.73/531.99 c =============================================================================== 531.73/531.99 c | 0 | 9368 93828 84391 | 31276 0 nan | 0.000 % | 531.83/532.04 c | 100 | 9368 93828 84391 | 34403 100 19 | 87.189 % | 531.92/532.14 c | 250 | 9368 93828 84391 | 37843 250 30 | 87.189 % | 532.02/532.24 c | 475 | 9368 93828 84391 | 41628 475 28 | 87.189 % | 532.23/532.42 c | 815 | 9352 93828 84391 | 45791 814 28 | 87.210 % | 532.42/532.62 c | 1321 | 9336 93828 84391 | 50370 1319 28 | 87.232 % | 532.82/533.05 c | 2080 | 9336 93828 84391 | 55407 2078 32 | 87.232 % | 533.43/533.68 c | 3220 | 9333 93828 84391 | 60948 3216 35 | 87.236 % | 534.33/534.60 c | 4929 | 9333 93828 84391 | 67042 4925 37 | 87.236 % | 535.83/536.06 c | 7491 | 9333 93828 84391 | 73747 7487 39 | 87.236 % | 538.84/539.07 c | 11335 | 9333 93828 84391 | 81121 11331 42 | 87.236 % | 543.02/543.23 c | 17103 | 9333 93828 84391 | 89234 17099 43 | 87.236 % | 551.93/552.18 c | 25753 | 9333 93828 84391 | 98157 25749 46 | 87.236 % | 565.92/566.12 c | 38727 | 9307 93828 84391 | 107973 38722 47 | 87.272 % | 596.31/596.57 c | 58188 | 9027 93828 84391 | 118770 49051 47 | 87.655 % | 650.09/650.38 c | 87380 | 9027 93828 84391 | 130647 78243 53 | 87.655 % | 752.96/753.28 c | 131171 | 9023 93828 84391 | 143712 122033 52 | 87.660 % | 964.50/964.83 c | 196855 | 8985 93828 84391 | 158083 171251 54 | 87.712 % | 1280.60/1281.04 c | 295382 | 8979 93828 84391 | 173891 69157 60 | 87.793 % | 1345.79/1346.23 c =============================================================================== 1346.19/1346.60 c core #17 1346.19/1346.60 c ============================[ Search Statistics ]============================== 1346.19/1346.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1346.19/1346.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1346.19/1346.60 c =============================================================================== 1346.19/1346.60 c | 0 | 9619 93934 84760 | 31311 0 nan | 0.000 % | 1346.19/1346.67 c | 100 | 9619 93934 84760 | 34442 100 21 | 86.847 % | 1346.28/1346.77 c | 250 | 9619 93934 84760 | 37886 250 29 | 86.847 % | 1346.38/1346.88 c | 476 | 9603 93934 84760 | 41675 475 29 | 86.869 % | 1346.59/1347.06 c | 813 | 9603 93934 84760 | 45842 812 29 | 86.869 % | 1346.89/1347.30 c | 1320 | 9603 93934 84760 | 50427 1319 31 | 86.869 % | 1347.19/1347.69 c | 2080 | 9519 93934 84760 | 55469 2077 30 | 86.984 % | 1347.79/1348.24 c | 3219 | 9519 93934 84760 | 61016 3216 33 | 86.984 % | 1348.79/1349.27 c | 4927 | 9513 93934 84760 | 67118 4923 36 | 86.992 % | 1350.49/1350.92 c | 7489 | 9513 93934 84760 | 73830 7485 38 | 86.992 % | 1352.88/1353.39 c | 11334 | 9493 93934 84760 | 81213 11325 41 | 87.019 % | 1357.38/1357.88 c | 17100 | 9493 93934 84760 | 89334 17091 44 | 87.019 % | 1364.78/1365.24 c | 25749 | 9493 93934 84760 | 98268 25740 44 | 87.019 % | 1379.88/1380.34 c | 38723 | 9493 93934 84760 | 108095 38714 50 | 87.019 % | 1408.77/1409.25 c | 58184 | 9384 93934 84760 | 118904 55364 49 | 87.168 % | 1461.75/1462.24 c | 87376 | 9383 93934 84760 | 130795 84556 51 | 87.175 % | 1575.22/1575.75 c | 131165 | 9379 93934 84760 | 143874 128344 57 | 87.175 % |
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-2686918-1278444130/watcher-2686918-1278444130 -o /tmp/evaluation-result-2686918-1278444130/solver-2686918-1278444130 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686918-1278444130.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.01 1.00 1.00 3/106 21423 /proc/meminfo: memFree=1866552/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=10436 CPUtime=0 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 329 0 0 0 0 0 0 0 19 0 1 0 12620200 10686464 248 1992294400 134512640 135751879 4291894640 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 2609 248 140 303 0 375 0 [startup+0.0600481 s] /proc/loadavg: 1.01 1.00 1.00 3/106 21423 /proc/meminfo: memFree=1866552/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=13736 CPUtime=0.05 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 1099 0 0 0 5 0 0 0 19 0 1 0 12620200 14065664 1018 1992294400 134512640 135751879 4291894640 18446744073709551615 135203952 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 3434 1019 220 303 0 1200 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13736 [startup+0.101051 s] /proc/loadavg: 1.01 1.00 1.00 3/106 21423 /proc/meminfo: memFree=1866552/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=15484 CPUtime=0.09 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 1600 0 0 0 9 0 0 0 19 0 1 0 12620200 15855616 1519 1992294400 134512640 135751879 4291894640 18446744073709551615 134562175 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 3871 1520 285 303 0 1637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15484 [startup+0.301073 s] /proc/loadavg: 1.01 1.00 1.00 3/106 21423 /proc/meminfo: memFree=1866552/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=19756 CPUtime=0.29 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 2943 0 0 0 29 0 0 0 20 0 1 0 12620200 20230144 2829 1992294400 134512640 135751879 4291894640 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 4939 2829 593 303 0 2705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19756 [startup+0.701116 s] /proc/loadavg: 1.01 1.00 1.00 3/106 21423 /proc/meminfo: memFree=1866552/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=24892 CPUtime=0.69 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 4779 0 0 0 68 1 0 0 21 0 1 0 12620200 25489408 4625 1992294400 134512640 135751879 4291894640 18446744073709551615 135225260 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 6223 4625 1207 303 0 3989 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24892 [startup+1.5012 s] /proc/loadavg: 1.01 1.00 1.00 2/107 21424 /proc/meminfo: memFree=1847324/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=48000 CPUtime=1.49 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 13128 0 0 0 145 4 0 0 23 0 1 0 12620200 49152000 10706 1992294400 134512640 135751879 4291894640 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 12000 10708 145 303 0 11695 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48000 [startup+3.10137 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21424 /proc/meminfo: memFree=1817316/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=55876 CPUtime=3.09 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 15129 0 0 0 304 5 0 0 25 0 1 0 12620200 57217024 12707 1992294400 134512640 135751879 4291894640 18446744073709551615 134526859 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 13969 12707 146 303 0 13664 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55876 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21424 /proc/meminfo: memFree=1808760/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=64720 CPUtime=6.29 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 17367 0 0 0 623 6 0 0 25 0 1 0 12620200 66273280 14945 1992294400 134512640 135751879 4291894640 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 16180 14945 146 303 0 15875 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64720 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21424 /proc/meminfo: memFree=1795864/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=77128 CPUtime=12.68 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 20443 0 0 0 1261 7 0 0 25 0 1 0 12620200 78979072 18021 1992294400 134512640 135751879 4291894640 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 19282 18021 146 303 0 18977 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 77128 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21425 /proc/meminfo: memFree=1777636/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=94816 CPUtime=25.48 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 24861 0 0 0 2539 9 0 0 25 0 1 0 12620200 97091584 22439 1992294400 134512640 135751879 4291894640 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 23704 22439 146 303 0 23399 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 94816 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21426 /proc/meminfo: memFree=1752216/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=120424 CPUtime=51.07 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 31278 0 0 0 5095 12 0 0 25 0 1 0 12620200 123314176 28856 1992294400 134512640 135751879 4291894640 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 30106 28856 146 303 0 29801 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 120424 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21427 /proc/meminfo: memFree=1724316/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=146384 CPUtime=102.27 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 39217 0 0 0 10204 23 0 0 25 0 1 0 12620200 149897216 35483 1992294400 134512640 135751879 4291894640 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 36596 35483 147 303 0 36291 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 146384 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21428 /proc/meminfo: memFree=1724316/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=146384 CPUtime=162.24 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 39217 0 0 0 16172 52 0 0 25 0 1 0 12620200 149897216 35483 1992294400 134512640 135751879 4291894640 18446744073709551615 134604666 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 36596 35483 147 303 0 36291 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 146384 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21430 /proc/meminfo: memFree=1733740/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=134396 CPUtime=222.22 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42218 0 0 0 22143 79 0 0 25 0 1 0 12620200 137621504 33116 1992294400 134512640 135751879 4291894640 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 33599 33116 151 303 0 33294 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 134396 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 3/107 21432 /proc/meminfo: memFree=1733616/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=134396 CPUtime=282.2 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42218 0 0 0 28124 96 0 0 25 0 1 0 12620200 137621504 33116 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 33599 33116 151 303 0 33294 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 134396 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21434 /proc/meminfo: memFree=1732500/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=136828 CPUtime=342.18 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42647 0 0 0 34104 114 0 0 25 0 1 0 12620200 140111872 33545 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 34207 33545 151 303 0 33902 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 136828 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21435 /proc/meminfo: memFree=1732376/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=136828 CPUtime=402.17 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42647 0 0 0 40087 130 0 0 25 0 1 0 12620200 140111872 33545 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 34207 33545 151 303 0 33902 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 136828 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21436 /proc/meminfo: memFree=1732376/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=136828 CPUtime=462.15 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42647 0 0 0 46072 143 0 0 25 0 1 0 12620200 140111872 33545 1992294400 134512640 135751879 4291894640 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 34207 33545 151 303 0 33902 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 136828 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21438 /proc/meminfo: memFree=1732376/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=136828 CPUtime=522.13 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42647 0 0 0 52060 153 0 0 25 0 1 0 12620200 140111872 33545 1992294400 134512640 135751879 4291894640 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 34207 33545 151 303 0 33902 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 136828 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21440 /proc/meminfo: memFree=1733368/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=134396 CPUtime=582.11 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42647 0 0 0 58040 171 0 0 25 0 1 0 12620200 137621504 33116 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 33599 33116 151 303 0 33294 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 134396 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21442 /proc/meminfo: memFree=1733368/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=134396 CPUtime=642.11 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42658 0 0 0 64026 185 0 0 25 0 1 0 12620200 137621504 33127 1992294400 134512640 135751879 4291894640 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 33599 33127 151 303 0 33294 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 134396 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21446 /proc/meminfo: memFree=1733120/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=134396 CPUtime=822.05 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42658 0 0 0 81985 220 0 0 25 0 1 0 12620200 137621504 33127 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 33599 33127 151 303 0 33294 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 134396 [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21448 /proc/meminfo: memFree=1733120/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=134396 CPUtime=882.02 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42658 0 0 0 87971 231 0 0 25 0 1 0 12620200 137621504 33127 1992294400 134512640 135751879 4291894640 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 33599 33127 151 303 0 33294 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 134396 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21449 /proc/meminfo: memFree=1733120/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=134396 CPUtime=942.01 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 42658 0 0 0 93960 241 0 0 25 0 1 0 12620200 137621504 33127 1992294400 134512640 135751879 4291894640 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 33599 33127 151 303 0 33294 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 134396 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21451 /proc/meminfo: memFree=1731136/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=136976 CPUtime=1001.99 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 43266 0 0 0 99948 251 0 0 25 0 1 0 12620200 140263424 33735 1992294400 134512640 135751879 4291894640 18446744073709551615 134605138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 34244 33735 151 303 0 33939 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 136976 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21452 /proc/meminfo: memFree=1726796/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=141348 CPUtime=1061.97 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 44357 0 0 0 105937 260 0 0 25 0 1 0 12620200 144740352 34826 1992294400 134512640 135751879 4291894640 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 35337 34826 151 303 0 35032 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 141348 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21454 /proc/meminfo: memFree=1721960/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=146400 CPUtime=1121.95 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 45508 0 0 0 111925 270 0 0 25 0 1 0 12620200 149913600 35977 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 36600 35977 151 303 0 36295 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 146400 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21456 /proc/meminfo: memFree=1718488/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=149836 CPUtime=1181.94 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 46390 0 0 0 117916 278 0 0 25 0 1 0 12620200 153432064 36859 1992294400 134512640 135751879 4291894640 18446744073709551615 134604814 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 37459 36859 151 303 0 37154 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 149836 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21457 /proc/meminfo: memFree=1710180/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=158020 CPUtime=1241.92 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 48431 0 0 0 123898 294 0 0 25 0 1 0 12620200 161812480 38900 1992294400 134512640 135751879 4291894640 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 39505 38900 151 303 0 39200 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 158020 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21459 /proc/meminfo: memFree=1700632/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=167396 CPUtime=1301.9 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 50773 0 0 0 129881 309 0 0 25 0 1 0 12620200 171413504 41242 1992294400 134512640 135751879 4291894640 18446744073709551615 134604797 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 41849 41242 151 303 0 41544 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 167396 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21460 /proc/meminfo: memFree=1684388/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=184540 CPUtime=1361.88 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 54880 0 0 0 135857 331 0 0 25 0 1 0 12620200 188968960 45129 1992294400 134512640 135751879 4291894640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 46135 45129 151 303 0 45830 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 184540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21462 /proc/meminfo: memFree=1684388/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=184540 CPUtime=1421.87 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 54901 0 0 0 141834 353 0 0 25 0 1 0 12620200 188968960 45150 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 46135 45150 151 303 0 45830 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 184540 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21464 /proc/meminfo: memFree=1680544/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=189048 CPUtime=1481.85 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 55967 0 0 0 147817 368 0 0 25 0 1 0 12620200 193585152 46216 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 47262 46216 151 303 0 46957 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 189048 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21466 /proc/meminfo: memFree=1672980/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=196596 CPUtime=1541.83 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 57868 0 0 0 153800 383 0 0 25 0 1 0 12620200 201314304 48117 1992294400 134512640 135751879 4291894640 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 49149 48117 151 303 0 48844 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 196596 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21467 /proc/meminfo: memFree=1667028/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=202460 CPUtime=1601.81 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 59350 0 0 0 159784 397 0 0 25 0 1 0 12620200 207319040 49599 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 50615 49599 151 303 0 50310 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 202460 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21468 /proc/meminfo: memFree=1661696/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=208012 CPUtime=1661.79 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 60697 0 0 0 165769 410 0 0 25 0 1 0 12620200 213004288 50946 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 52003 50946 151 303 0 51698 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 208012 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21470 /proc/meminfo: memFree=1656612/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=212896 CPUtime=1721.77 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 61935 0 0 0 171757 420 0 0 25 0 1 0 12620200 218005504 52184 1992294400 134512640 135751879 4291894640 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 53224 52184 151 303 0 52919 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 212896 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21472 /proc/meminfo: memFree=1652272/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=217000 CPUtime=1781.75 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 62959 0 0 0 177745 430 0 0 25 0 1 0 12620200 222208000 53208 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 54250 53208 151 303 0 53945 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 217000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21472 /proc/meminfo: memFree=1651032/2059040 swapFree=4165016/4192956 [pid=21423] ppid=21421 vsize=218204 CPUtime=1800.07 /proc/21423/stat : 21423 (wbo1.4b) R 21421 21423 19102 0 -1 4202496 63260 0 0 0 179573 434 0 0 25 0 1 0 12620200 223440896 53509 1992294400 134512640 135751879 4291894640 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21423/statm: 54551 53509 151 303 0 54246 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 218204 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.09 CPU user time (s): 1795.73 CPU system time (s): 4.36334 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 218204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.73 system time used= 4.36334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63260 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= 66 involuntary context switches= 4355 runsolver used 2.76658 second user time and 8.75167 second system time The end
Begin job on node047 at 2010-07-06 21:22:10 IDJOB=2686918 IDBENCH=77174 IDSOLVER=1161 FILE ID=node047/2686918-1278444130 PBS_JOBID= 11233481 Free space on /tmp= 62468 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12047_2.std.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686918-1278444130/watcher-2686918-1278444130 -o /tmp/evaluation-result-2686918-1278444130/solver-2686918-1278444130 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686918-1278444130.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3d3e67c51070a852e8117f97ab577e7c RANDOM SEED=1066300849 node047.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.248 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.49 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.248 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1867928 kB Buffers: 3488 kB Cached: 81824 kB SwapCached: 16 kB Active: 18544 kB Inactive: 98768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1867928 kB SwapTotal: 4192956 kB SwapFree: 4165016 kB Dirty: 10340 kB Writeback: 0 kB AnonPages: 31988 kB Mapped: 13400 kB Slab: 51916 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180452 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-2686918-1278444130.opb Free space on /tmp at the end= 62468 MiB End job on node047 at 2010-07-06 21:52:13