Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.08 | 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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2686929-1278444367.opb. 0.00/0.00 c Instance file HOME/instance-2686929-1278444367.opb 0.00/0.00 c File size is 7900934 bytes. 1.39/1.46 c Highest Coefficient sum: 383 1.39/1.46 c ============================[ Problem Statistics ]============================= 1.39/1.46 c | | 1.39/1.46 c | Parsing time: 1.43 s | 1.39/1.46 c | Number Variables: 72842 | 1.39/1.46 c | Number Clauses: 255120 | 1.39/1.46 c | Number Cardinality: 0 | 1.39/1.46 c | Number PB Constraints: 1200 | 93.96/94.04 c ============================[ Search Statistics ]============================== 93.96/94.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 93.96/94.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 93.96/94.04 c =============================================================================== 93.96/94.04 c | 0 | 50717 257606 488355 | 85440 0 nan | 0.000 % | 94.06/94.13 c =============================================================================== 94.06/94.13 c New solution: 300 94.06/94.13 o 300 94.06/94.13 c Elapsed CPU time: 93.9277 s Remaining CPU time: 86.0723 s 94.06/94.13 c =============================================================================== 94.06/94.13 c | 3 | 50717 257607 488655 | 85869 3 77 | 0.000 % | 94.17/94.21 c | 103 | 50712 257607 488655 | 94455 103 33 | 30.540 % | 94.17/94.29 c =============================================================================== 94.17/94.29 c New solution: 299 94.17/94.29 o 299 94.17/94.29 c Elapsed CPU time: 94.0897 s Remaining CPU time: 85.9103 s 94.17/94.29 c =============================================================================== 94.17/94.29 c | 132 | 50592 257608 488955 | 85869 132 28 | 30.540 % | 94.27/94.35 c =============================================================================== 94.27/94.35 c New solution: 298 94.27/94.35 o 298 94.27/94.35 c Elapsed CPU time: 94.1447 s Remaining CPU time: 85.8553 s 94.27/94.35 c =============================================================================== 94.27/94.35 c | 137 | 50461 257609 489255 | 85869 137 28 | 30.540 % | 94.36/94.42 c =============================================================================== 94.36/94.42 c New solution: 297 94.36/94.42 o 297 94.36/94.42 c Elapsed CPU time: 94.2147 s Remaining CPU time: 85.7853 s 94.36/94.42 c =============================================================================== 94.36/94.42 c | 149 | 50314 257610 489555 | 85870 149 26 | 30.540 % | 94.36/94.48 c | 251 | 50310 257610 489555 | 94457 251 30 | 31.147 % | 94.47/94.56 c =============================================================================== 94.47/94.56 c New solution: 296 94.47/94.56 o 296 94.47/94.56 c Elapsed CPU time: 94.3537 s Remaining CPU time: 85.6463 s 94.47/94.56 c =============================================================================== 94.47/94.56 c | 317 | 50154 257611 489855 | 85870 313 29 | 31.147 % | 94.57/94.62 c =============================================================================== 94.57/94.62 c New solution: 295 94.57/94.62 o 295 94.57/94.62 c Elapsed CPU time: 94.4066 s Remaining CPU time: 85.5934 s 94.57/94.62 c =============================================================================== 94.57/94.62 c | 322 | 49981 257612 490155 | 85870 318 29 | 31.147 % | 94.57/94.67 c =============================================================================== 94.57/94.67 c New solution: 294 94.57/94.67 o 294 94.57/94.67 c Elapsed CPU time: 94.4626 s Remaining CPU time: 85.5374 s 94.57/94.67 c =============================================================================== 94.57/94.67 c | 337 | 49794 257613 490455 | 85871 333 29 | 31.147 % | 94.66/94.79 c =============================================================================== 94.66/94.79 c New solution: 293 94.66/94.79 o 293 94.66/94.79 c Elapsed CPU time: 94.5746 s Remaining CPU time: 85.4254 s 94.66/94.79 c =============================================================================== 94.66/94.79 c | 435 | 49598 257614 490755 | 85871 431 31 | 31.147 % | 94.76/94.84 c =============================================================================== 94.76/94.84 c New solution: 292 94.76/94.84 o 292 94.76/94.84 c Elapsed CPU time: 94.6306 s Remaining CPU time: 85.3694 s 94.76/94.84 c =============================================================================== 94.76/94.84 c | 445 | 49392 257615 491055 | 85871 441 31 | 31.147 % | 94.86/94.91 c =============================================================================== 94.86/94.91 c New solution: 291 94.86/94.91 o 291 94.86/94.91 c Elapsed CPU time: 94.7016 s Remaining CPU time: 85.2984 s 94.86/94.91 c =============================================================================== 94.86/94.91 c | 453 | 49173 257616 491355 | 85872 449 30 | 31.147 % | 94.86/94.97 c =============================================================================== 94.86/94.97 c New solution: 290 94.86/94.97 o 290 94.86/94.97 c Elapsed CPU time: 94.7536 s Remaining CPU time: 85.2464 s 94.86/94.97 c =============================================================================== 94.86/94.97 c | 460 | 48940 257617 491655 | 85872 456 30 | 31.147 % | 94.96/95.04 c =============================================================================== 94.96/95.04 c New solution: 289 94.96/95.04 o 289 94.96/95.04 c Elapsed CPU time: 94.8276 s Remaining CPU time: 85.1724 s 94.96/95.04 c =============================================================================== 94.96/95.04 c | 469 | 48698 257618 491955 | 85872 209 26 | 31.147 % | 95.06/95.10 c =============================================================================== 95.06/95.10 c New solution: 288 95.06/95.10 o 288 95.06/95.10 c Elapsed CPU time: 94.8906 s Remaining CPU time: 85.1094 s 95.06/95.10 c =============================================================================== 95.06/95.10 c | 484 | 48456 257619 492255 | 85873 224 25 | 31.147 % | 95.06/95.18 c =============================================================================== 95.06/95.18 c New solution: 287 95.06/95.18 o 287 95.06/95.18 c Elapsed CPU time: 94.9716 s Remaining CPU time: 85.0284 s 95.06/95.18 c =============================================================================== 95.06/95.18 c | 496 | 48214 257620 492555 | 85873 236 25 | 31.147 % | 95.16/95.25 c =============================================================================== 95.16/95.25 c New solution: 286 95.16/95.25 o 286 95.16/95.25 c Elapsed CPU time: 95.0426 s Remaining CPU time: 84.9574 s 95.16/95.25 c =============================================================================== 95.16/95.25 c | 502 | 47972 257621 492855 | 85873 242 24 | 31.147 % | 95.26/95.32 c =============================================================================== 95.26/95.32 c New solution: 285 95.26/95.32 o 285 95.26/95.32 c Elapsed CPU time: 95.1105 s Remaining CPU time: 84.8895 s 95.26/95.32 c =============================================================================== 95.26/95.32 c | 527 | 47730 257622 493155 | 85874 267 23 | 31.147 % | 95.36/95.40 c =============================================================================== 95.36/95.40 c New solution: 284 95.36/95.40 o 284 95.36/95.40 c Elapsed CPU time: 95.1915 s Remaining CPU time: 84.8085 s 95.36/95.40 c =============================================================================== 95.36/95.40 c | 584 | 47488 257623 493455 | 85874 324 24 | 31.147 % | 95.36/95.47 c | 684 | 47485 257623 493455 | 94461 424 28 | 35.139 % | 95.46/95.53 c =============================================================================== 95.46/95.53 c New solution: 283 95.46/95.53 o 283 95.46/95.53 c Elapsed CPU time: 95.3125 s Remaining CPU time: 84.6875 s 95.46/95.53 c =============================================================================== 95.46/95.53 c | 692 | 47246 257624 493755 | 85874 303 26 | 35.139 % | 95.46/95.58 c =============================================================================== 95.46/95.58 c New solution: 282 95.46/95.58 o 282 95.46/95.58 c Elapsed CPU time: 95.3655 s Remaining CPU time: 84.6345 s 95.46/95.58 c =============================================================================== 95.46/95.58 c | 700 | 47004 257625 494055 | 85875 311 26 | 35.139 % | 95.57/95.63 c =============================================================================== 95.57/95.63 c New solution: 281 95.57/95.63 o 281 95.57/95.63 c Elapsed CPU time: 95.4185 s Remaining CPU time: 84.5815 s 95.57/95.63 c =============================================================================== 95.57/95.63 c | 708 | 46762 257626 494355 | 85875 319 25 | 35.139 % | 95.67/95.72 c =============================================================================== 95.67/95.72 c New solution: 280 95.67/95.72 o 280 95.67/95.72 c Elapsed CPU time: 95.5045 s Remaining CPU time: 84.4955 s 95.67/95.72 c =============================================================================== 95.67/95.72 c | 718 | 46520 257627 494655 | 85875 329 25 | 35.139 % | 95.77/95.80 c =============================================================================== 95.77/95.80 c New solution: 279 95.77/95.80 o 279 95.77/95.80 c Elapsed CPU time: 95.5875 s Remaining CPU time: 84.4125 s 95.77/95.80 c =============================================================================== 95.77/95.80 c | 761 | 46278 257628 494955 | 85876 372 26 | 35.139 % | 95.77/95.87 c =============================================================================== 95.77/95.87 c New solution: 278 95.77/95.87 o 278 95.77/95.87 c Elapsed CPU time: 95.6545 s Remaining CPU time: 84.3455 s 95.77/95.87 c =============================================================================== 95.77/95.87 c | 809 | 46036 257629 495255 | 85876 420 26 | 35.139 % | 95.87/95.95 c | 909 | 46031 257629 495255 | 94463 520 26 | 37.132 % | 95.97/96.02 c =============================================================================== 95.97/96.02 c New solution: 277 95.97/96.02 o 277 95.97/96.02 c Elapsed CPU time: 95.8064 s Remaining CPU time: 84.1936 s 95.97/96.02 c =============================================================================== 95.97/96.02 c | 932 | 45794 257630 495555 | 85876 396 22 | 37.132 % | 95.97/96.08 c =============================================================================== 95.97/96.08 c New solution: 276 95.97/96.08 o 276 95.97/96.08 c Elapsed CPU time: 95.8654 s Remaining CPU time: 84.1346 s 95.97/96.08 c =============================================================================== 95.97/96.08 c | 945 | 45552 257631 495855 | 85877 409 22 | 37.132 % | 96.07/96.14 c =============================================================================== 96.07/96.14 c New solution: 275 96.07/96.14 o 275 96.07/96.14 c Elapsed CPU time: 95.9224 s Remaining CPU time: 84.0776 s 96.07/96.14 c =============================================================================== 96.07/96.14 c | 950 | 45310 257632 496155 | 85877 414 22 | 37.132 % | 96.17/96.20 c =============================================================================== 96.17/96.20 c New solution: 274 96.17/96.20 o 274 96.17/96.20 c Elapsed CPU time: 95.9864 s Remaining CPU time: 84.0136 s 96.17/96.20 c =============================================================================== 96.17/96.20 c | 958 | 45068 257633 496455 | 85877 422 22 | 37.132 % | 96.17/96.26 c =============================================================================== 96.17/96.26 c New solution: 273 96.17/96.26 o 273 96.17/96.26 c Elapsed CPU time: 96.0474 s Remaining CPU time: 83.9526 s 96.17/96.26 c =============================================================================== 96.17/96.26 c | 962 | 44826 257634 496755 | 85878 426 22 | 37.132 % | 96.27/96.33 c =============================================================================== 96.27/96.33 c New solution: 272 96.27/96.33 o 272 96.27/96.33 c Elapsed CPU time: 96.1134 s Remaining CPU time: 83.8866 s 96.27/96.33 c =============================================================================== 96.27/96.33 c | 969 | 44584 257635 497055 | 85878 433 21 | 37.132 % | 96.27/96.39 c =============================================================================== 96.27/96.39 c New solution: 271 96.27/96.39 o 271 96.27/96.39 c Elapsed CPU time: 96.1694 s Remaining CPU time: 83.8306 s 96.27/96.39 c =============================================================================== 96.27/96.39 c | 987 | 44342 257636 497355 | 85878 451 21 | 37.132 % | 96.36/96.48 c =============================================================================== 96.36/96.48 c New solution: 270 96.36/96.48 o 270 96.36/96.48 c Elapsed CPU time: 96.2554 s Remaining CPU time: 83.7446 s 96.36/96.48 c =============================================================================== 96.36/96.48 c | 1058 | 44100 257637 497655 | 85879 522 22 | 37.132 % | 96.46/96.55 c =============================================================================== 96.46/96.55 c New solution: 269 96.46/96.55 o 269 96.46/96.55 c Elapsed CPU time: 96.3324 s Remaining CPU time: 83.6676 s 96.46/96.55 c =============================================================================== 96.46/96.55 c | 1081 | 43858 257638 497955 | 85879 389 21 | 37.132 % | 96.56/96.60 c =============================================================================== 96.56/96.60 c New solution: 268 96.56/96.60 o 268 96.56/96.60 c Elapsed CPU time: 96.3833 s Remaining CPU time: 83.6167 s 96.56/96.60 c =============================================================================== 96.56/96.60 c | 1092 | 43616 257639 498255 | 85879 400 21 | 37.132 % | 96.56/96.67 c =============================================================================== 96.56/96.67 c New solution: 267 96.56/96.67 o 267 96.56/96.67 c Elapsed CPU time: 96.4443 s Remaining CPU time: 83.5557 s 96.56/96.67 c =============================================================================== 96.56/96.67 c | 1109 | 43374 257640 498555 | 85880 417 20 | 37.132 % | 96.67/96.72 c | 1209 | 43371 257640 498555 | 94468 517 23 | 40.787 % | 96.77/96.83 c =============================================================================== 96.77/96.83 c New solution: 266 96.77/96.83 o 266 96.77/96.83 c Elapsed CPU time: 96.6063 s Remaining CPU time: 83.3937 s 96.77/96.83 c =============================================================================== 96.77/96.83 c | 1291 | 43132 257641 498855 | 85880 599 23 | 40.787 % | 96.77/96.88 c =============================================================================== 96.77/96.88 c New solution: 265 96.77/96.88 o 265 96.77/96.88 c Elapsed CPU time: 96.6583 s Remaining CPU time: 83.3417 s 96.77/96.88 c =============================================================================== 96.77/96.88 c | 1303 | 42890 257642 499155 | 85880 611 23 | 40.787 % | 96.86/96.95 c =============================================================================== 96.86/96.95 c New solution: 264 96.86/96.95 o 264 96.86/96.95 c Elapsed CPU time: 96.7213 s Remaining CPU time: 83.2787 s 96.86/96.95 c =============================================================================== 96.86/96.95 c | 1335 | 42648 257643 499455 | 85881 643 23 | 40.787 % | 96.96/97.03 c | 1435 | 42406 257643 499455 | 94469 589 23 | 41.784 % | 96.96/97.09 c =============================================================================== 96.96/97.09 c New solution: 263 96.96/97.09 o 263 96.96/97.09 c Elapsed CPU time: 96.8613 s Remaining CPU time: 83.1387 s 96.96/97.09 c =============================================================================== 96.96/97.09 c | 1449 | 42406 257644 499755 | 85881 603 23 | 41.784 % | 97.06/97.15 c =============================================================================== 97.06/97.15 c New solution: 262 97.06/97.15 o 262 97.06/97.15 c Elapsed CPU time: 96.9243 s Remaining CPU time: 83.0757 s 97.06/97.15 c =============================================================================== 97.06/97.15 c | 1464 | 42164 257645 500055 | 85881 618 22 | 41.784 % | 97.16/97.22 c | 1564 | 42157 257645 500055 | 94469 718 24 | 42.448 % | 97.16/97.28 c =============================================================================== 97.16/97.28 c New solution: 261 97.16/97.28 o 261 97.16/97.28 c Elapsed CPU time: 97.0592 s Remaining CPU time: 82.9408 s 97.16/97.28 c =============================================================================== 97.16/97.28 c | 1592 | 41922 257646 500355 | 85882 746 24 | 42.448 % | 97.26/97.33 c =============================================================================== 97.26/97.33 c New solution: 260 97.26/97.33 o 260 97.26/97.33 c Elapsed CPU time: 97.1092 s Remaining CPU time: 82.8908 s 97.26/97.33 c =============================================================================== 97.26/97.33 c | 1603 | 41680 257647 500655 | 85882 757 24 | 42.448 % | 97.37/97.41 c =============================================================================== 97.37/97.41 c New solution: 259 97.37/97.41 o 259 97.37/97.41 c Elapsed CPU time: 97.1822 s Remaining CPU time: 82.8178 s 97.37/97.41 c =============================================================================== 97.37/97.41 c | 1670 | 41438 257648 500955 | 85882 824 25 | 42.448 % | 97.37/97.46 c | 1770 | 41196 257648 500955 | 94470 730 24 | 43.445 % | 97.47/97.52 c =============================================================================== 97.47/97.52 c New solution: 258 97.47/97.52 o 258 97.47/97.52 c Elapsed CPU time: 97.2952 s Remaining CPU time: 82.7048 s 97.47/97.52 c =============================================================================== 97.47/97.52 c | 1772 | 41196 257649 501255 | 85883 732 24 | 43.445 % | 97.47/97.57 c =============================================================================== 97.47/97.57 c New solution: 257 97.47/97.57 o 257 97.47/97.57 c Elapsed CPU time: 97.3452 s Remaining CPU time: 82.6548 s 97.47/97.57 c =============================================================================== 97.47/97.57 c | 1775 | 40954 257650 501555 | 85883 735 24 | 43.445 % | 97.56/97.63 c =============================================================================== 97.56/97.63 c New solution: 256 97.56/97.63 o 256 97.56/97.63 c Elapsed CPU time: 97.4012 s Remaining CPU time: 82.5988 s 97.56/97.63 c =============================================================================== 97.56/97.63 c | 1782 | 40712 257651 501855 | 85883 742 24 | 43.445 % | 97.56/97.69 c | 1882 | 40700 257651 501855 | 94472 842 25 | 44.441 % | 97.66/97.77 c =============================================================================== 97.66/97.77 c New solution: 255 97.66/97.77 o 255 97.66/97.77 c Elapsed CPU time: 97.5452 s Remaining CPU time: 82.4548 s 97.66/97.77 c =============================================================================== 97.66/97.77 c | 1918 | 40470 257652 502155 | 85884 878 25 | 44.441 % | 97.77/97.83 c =============================================================================== 97.77/97.83 c New solution: 254 97.77/97.83 o 254 97.77/97.83 c Elapsed CPU time: 97.6042 s Remaining CPU time: 82.3958 s 97.77/97.83 c =============================================================================== 97.77/97.83 c | 1921 | 40228 257653 502455 | 85884 881 25 | 44.441 % | 97.77/97.89 c =============================================================================== 97.77/97.89 c New solution: 253 97.77/97.89 o 253 97.77/97.89 c Elapsed CPU time: 97.6612 s Remaining CPU time: 82.3388 s 97.77/97.89 c =============================================================================== 97.77/97.89 c | 1923 | 39986 257654 502755 | 85884 883 25 | 44.441 % | 97.87/97.95 c =============================================================================== 97.87/97.95 c New solution: 252 97.87/97.95 o 252 97.87/97.95 c Elapsed CPU time: 97.7181 s Remaining CPU time: 82.2819 s 97.87/97.95 c =============================================================================== 97.87/97.95 c | 1931 | 39744 257655 503055 | 85885 891 25 | 44.441 % | 97.96/98.01 c =============================================================================== 97.96/98.01 c New solution: 251 97.96/98.01 o 251 97.96/98.01 c Elapsed CPU time: 97.7731 s Remaining CPU time: 82.2269 s 97.96/98.01 c =============================================================================== 97.96/98.01 c | 1950 | 39502 257656 503355 | 85885 575 21 | 44.441 % | 97.96/98.07 c | 2050 | 39491 257656 503355 | 94473 675 24 | 46.103 % | 98.06/98.13 c =============================================================================== 98.06/98.13 c New solution: 250 98.06/98.13 o 250 98.06/98.13 c Elapsed CPU time: 97.8921 s Remaining CPU time: 82.1079 s 98.06/98.13 c =============================================================================== 98.06/98.13 c | 2069 | 39260 257657 503655 | 85885 694 24 | 46.103 % | 98.06/98.18 c =============================================================================== 98.06/98.18 c New solution: 249 98.06/98.18 o 249 98.06/98.18 c Elapsed CPU time: 97.9441 s Remaining CPU time: 82.0559 s 98.06/98.18 c =============================================================================== 98.06/98.18 c | 2073 | 39018 257658 503955 | 85886 698 24 | 46.103 % | 98.16/98.23 c =============================================================================== 98.16/98.23 c New solution: 248 98.16/98.23 o 248 98.16/98.23 c Elapsed CPU time: 97.9941 s Remaining CPU time: 82.0059 s 98.16/98.23 c =============================================================================== 98.16/98.23 c | 2081 | 38776 257659 504255 | 85886 706 23 | 46.103 % | 98.16/98.28 c =============================================================================== 98.16/98.28 c New solution: 247 98.16/98.28 o 247 98.16/98.28 c Elapsed CPU time: 98.0431 s Remaining CPU time: 81.9569 s 98.16/98.28 c =============================================================================== 98.16/98.28 c | 2092 | 38534 257660 504555 | 85886 717 23 | 46.103 % | 98.26/98.34 c =============================================================================== 98.26/98.34 c New solution: 246 98.26/98.34 o 246 98.26/98.34 c Elapsed CPU time: 98.1061 s Remaining CPU time: 81.8939 s 98.26/98.34 c =============================================================================== 98.26/98.34 c | 2103 | 38292 257661 504855 | 85887 728 23 | 46.103 % | 98.36/98.41 c | 2204 | 38285 257661 504855 | 94475 829 23 | 47.764 % | 98.36/98.47 c =============================================================================== 98.36/98.47 c New solution: 245 98.36/98.47 o 245 98.36/98.47 c Elapsed CPU time: 98.2311 s Remaining CPU time: 81.7689 s 98.36/98.47 c =============================================================================== 98.36/98.47 c | 2211 | 38050 257662 505155 | 85887 836 23 | 47.764 % | 98.46/98.52 c =============================================================================== 98.46/98.52 c New solution: 244 98.46/98.52 o 244 98.46/98.52 c Elapsed CPU time: 98.2841 s Remaining CPU time: 81.7159 s 98.46/98.52 c =============================================================================== 98.46/98.52 c | 2224 | 37808 257663 505455 | 85887 641 22 | 47.764 % | 98.46/98.58 c =============================================================================== 98.46/98.58 c New solution: 243 98.46/98.58 o 243 98.46/98.58 c Elapsed CPU time: 98.347 s Remaining CPU time: 81.653 s 98.46/98.58 c =============================================================================== 98.46/98.58 c | 2289 | 37566 257664 505755 | 85888 706 22 | 47.764 % | 98.57/98.65 c | 2391 | 37554 257664 505755 | 94476 808 24 | 48.760 % | 98.67/98.71 c =============================================================================== 98.67/98.71 c New solution: 242 98.67/98.71 o 242 98.67/98.71 c Elapsed CPU time: 98.475 s Remaining CPU time: 81.525 s 98.67/98.71 c =============================================================================== 98.67/98.71 c | 2419 | 37324 257665 506055 | 85888 836 24 | 48.760 % | 98.67/98.76 c =============================================================================== 98.67/98.76 c New solution: 241 98.67/98.76 o 241 98.67/98.76 c Elapsed CPU time: 98.529 s Remaining CPU time: 81.471 s 98.67/98.76 c =============================================================================== 98.67/98.76 c | 2445 | 37082 257666 506355 | 85888 862 23 | 48.760 % | 98.77/98.84 c =============================================================================== 98.77/98.84 c New solution: 240 98.77/98.84 o 240 98.77/98.84 c Elapsed CPU time: 98.601 s Remaining CPU time: 81.399 s 98.77/98.84 c =============================================================================== 98.77/98.84 c | 2491 | 36840 257667 506655 | 85889 908 23 | 48.760 % | 98.77/98.89 c =============================================================================== 98.77/98.89 c New solution: 239 98.77/98.89 o 239 98.77/98.89 c Elapsed CPU time: 98.657 s Remaining CPU time: 81.343 s 98.77/98.89 c =============================================================================== 98.77/98.89 c | 2510 | 36598 257668 506955 | 85889 927 23 | 48.760 % | 98.87/98.96 c =============================================================================== 98.87/98.96 c New solution: 238 98.87/98.96 o 238 98.87/98.96 c Elapsed CPU time: 98.725 s Remaining CPU time: 81.275 s 98.87/98.96 c =============================================================================== 98.87/98.96 c | 2517 | 36356 257669 507255 | 85889 934 23 | 48.760 % | 98.97/99.01 c =============================================================================== 98.97/99.01 c New solution: 237 98.97/99.01 o 237 98.97/99.01 c Elapsed CPU time: 98.771 s Remaining CPU time: 81.229 s 98.97/99.01 c =============================================================================== 98.97/99.01 c | 2520 | 36114 257670 507555 | 85890 937 23 | 48.760 % | 98.97/99.06 c =============================================================================== 98.97/99.06 c New solution: 236 98.97/99.06 o 236 98.97/99.06 c Elapsed CPU time: 98.824 s Remaining CPU time: 81.176 s 98.97/99.06 c =============================================================================== 98.97/99.06 c | 2523 | 35872 257671 507855 | 85890 512 19 | 48.760 % | 99.06/99.12 c =============================================================================== 99.06/99.12 c New solution: 235 99.06/99.12 o 235 99.06/99.12 c Elapsed CPU time: 98.878 s Remaining CPU time: 81.122 s 99.06/99.12 c =============================================================================== 99.06/99.12 c | 2536 | 35630 257672 508155 | 85890 525 19 | 48.760 % | 99.06/99.17 c =============================================================================== 99.06/99.17 c New solution: 234 99.06/99.17 o 234 99.06/99.17 c Elapsed CPU time: 98.935 s Remaining CPU time: 81.065 s 99.06/99.17 c =============================================================================== 99.06/99.17 c | 2553 | 35388 257673 508455 | 85891 542 19 | 48.760 % | 99.16/99.24 c =============================================================================== 99.16/99.24 c New solution: 233 99.16/99.24 o 233 99.16/99.24 c Elapsed CPU time: 98.9999 s Remaining CPU time: 81.0001 s 99.16/99.24 c =============================================================================== 99.16/99.24 c | 2598 | 35146 257674 508755 | 85891 587 19 | 48.760 % | 99.26/99.32 c =============================================================================== 99.26/99.32 c New solution: 232 99.26/99.32 o 232 99.26/99.32 c Elapsed CPU time: 99.0799 s Remaining CPU time: 80.9201 s 99.26/99.32 c =============================================================================== 99.26/99.32 c | 2620 | 34902 257675 509055 | 85891 609 19 | 48.760 % | 99.26/99.38 c =============================================================================== 99.26/99.38 c New solution: 231 99.26/99.38 o 231 99.26/99.38 c Elapsed CPU time: 99.1439 s Remaining CPU time: 80.8561 s 99.26/99.38 c =============================================================================== 99.26/99.38 c | 2642 | 34662 257676 509355 | 85892 631 19 | 48.760 % | 99.36/99.45 c | 2743 | 34658 257676 509355 | 94481 732 23 | 52.747 % | 99.46/99.50 c =============================================================================== 99.46/99.50 c New solution: 230 99.46/99.50 o 230 99.46/99.50 c Elapsed CPU time: 99.2629 s Remaining CPU time: 80.7371 s 99.46/99.50 c =============================================================================== 99.46/99.50 c | 2760 | 34420 257677 509655 | 85892 749 23 | 52.747 % | 99.46/99.56 c =============================================================================== 99.46/99.56 c New solution: 229 99.46/99.56 o 229 99.46/99.56 c Elapsed CPU time: 99.3179 s Remaining CPU time: 80.6821 s 99.46/99.56 c =============================================================================== 99.46/99.56 c | 2771 | 34178 257678 509955 | 85892 760 23 | 52.747 % | 99.56/99.61 c =============================================================================== 99.56/99.61 c New solution: 228 99.56/99.61 o 228 99.56/99.61 c Elapsed CPU time: 99.3669 s Remaining CPU time: 80.6331 s 99.56/99.61 c =============================================================================== 99.56/99.61 c | 2777 | 33936 257679 510255 | 85893 547 23 | 52.747 % | 99.56/99.65 c =============================================================================== 99.56/99.65 c New solution: 227 99.56/99.65 o 227 99.56/99.65 c Elapsed CPU time: 99.4139 s Remaining CPU time: 80.5861 s 99.56/99.65 c =============================================================================== 99.56/99.65 c | 2783 | 33694 257680 510555 | 85893 553 23 | 52.747 % | 99.66/99.72 c =============================================================================== 99.66/99.72 c New solution: 226 99.66/99.72 o 226 99.66/99.72 c Elapsed CPU time: 99.4789 s Remaining CPU time: 80.5211 s 99.66/99.72 c =============================================================================== 99.66/99.72 c | 2828 | 33452 257681 510855 | 85893 598 23 | 52.747 % | 99.76/99.82 c =============================================================================== 99.76/99.82 c New solution: 225 99.76/99.82 o 225 99.76/99.82 c Elapsed CPU time: 99.5829 s Remaining CPU time: 80.4171 s 99.76/99.82 c =============================================================================== 99.76/99.82 c | 2923 | 33210 257682 511155 | 85894 693 24 | 52.747 % | 99.76/99.87 c =============================================================================== 99.76/99.87 c New solution: 224 99.76/99.87 o 224 99.76/99.87 c Elapsed CPU time: 99.6319 s Remaining CPU time: 80.3681 s 99.76/99.87 c =============================================================================== 99.76/99.87 c | 2933 | 32968 257683 511455 | 85894 703 24 | 52.747 % | 99.86/99.92 c =============================================================================== 99.86/99.92 c New solution: 223 99.86/99.92 o 223 99.86/99.92 c Elapsed CPU time: 99.6818 s Remaining CPU time: 80.3182 s 99.86/99.92 c =============================================================================== 99.86/99.92 c | 2943 | 32726 257684 511755 | 85894 713 24 | 52.747 % | 99.86/99.97 c =============================================================================== 99.86/99.97 c New solution: 222 99.86/99.97 o 222 99.86/99.97 c Elapsed CPU time: 99.7278 s Remaining CPU time: 80.2722 s 99.86/99.97 c =============================================================================== 99.86/99.97 c | 2952 | 32484 257685 512055 | 85895 722 24 | 52.747 % | 99.97/100.02 c | 3052 | 32452 257685 512055 | 94484 822 24 | 55.737 % | 99.97/100.10 c | 3202 | 32452 257685 512055 | 103932 972 24 | 55.737 % | 100.17/100.21 c =============================================================================== 100.17/100.21 c New solution: 221 100.17/100.21 o 221 100.17/100.21 c Elapsed CPU time: 99.9658 s Remaining CPU time: 80.0342 s 100.17/100.21 c =============================================================================== 100.17/100.21 c | 3317 | 32242 257686 512355 | 85895 911 23 | 55.737 % | 100.17/100.29 c =============================================================================== 100.17/100.29 c New solution: 220 100.17/100.29 o 220 100.17/100.29 c Elapsed CPU time: 100.048 s Remaining CPU time: 79.9522 s 100.17/100.29 c =============================================================================== 100.17/100.29 c | 3368 | 32000 257687 512655 | 85895 962 24 | 55.737 % | 100.27/100.35 c =============================================================================== 100.27/100.35 c New solution: 219 100.27/100.35 o 219 100.27/100.35 c Elapsed CPU time: 100.102 s Remaining CPU time: 79.8982 s 100.27/100.35 c =============================================================================== 100.27/100.35 c | 3374 | 31758 257688 512955 | 85896 968 24 | 55.737 % | 100.37/100.40 c =============================================================================== 100.37/100.40 c New solution: 218 100.37/100.40 o 218 100.37/100.40 c Elapsed CPU time: 100.153 s Remaining CPU time: 79.8472 s 100.37/100.40 c =============================================================================== 100.37/100.40 c | 3387 | 31516 257689 513255 | 85896 981 23 | 55.737 % | 100.37/100.45 c =============================================================================== 100.37/100.45 c New solution: 217 100.37/100.45 o 217 100.37/100.45 c Elapsed CPU time: 100.207 s Remaining CPU time: 79.7932 s 100.37/100.45 c =============================================================================== 100.37/100.45 c | 3398 | 31274 257690 513555 | 85896 992 23 | 55.737 % | 100.46/100.51 c =============================================================================== 100.46/100.51 c New solution: 216 100.46/100.51 o 216 100.46/100.51 c Elapsed CPU time: 100.264 s Remaining CPU time: 79.7362 s 100.46/100.51 c =============================================================================== 100.46/100.51 c | 3406 | 31032 257691 513855 | 85897 1000 23 | 55.737 % | 100.46/100.58 c =============================================================================== 100.46/100.58 c New solution: 215 100.46/100.58 o 215 100.46/100.58 c Elapsed CPU time: 100.332 s Remaining CPU time: 79.6683 s 100.46/100.58 c =============================================================================== 100.46/100.58 c | 3470 | 30790 257692 514155 | 85897 1064 24 | 55.737 % | 100.56/100.63 c | 3571 | 30786 257692 514155 | 94487 1165 24 | 58.063 % | 100.66/100.73 c | 3722 | 30782 257692 514155 | 103935 1316 26 | 58.063 % | 100.66/100.80 c =============================================================================== 100.66/100.80 c New solution: 214 100.66/100.80 o 214 100.66/100.80 c Elapsed CPU time: 100.544 s Remaining CPU time: 79.4563 s 100.66/100.80 c =============================================================================== 100.66/100.80 c | 3746 | 30540 257693 514455 | 85897 948 26 | 58.063 % | 100.76/100.84 c =============================================================================== 100.76/100.84 c New solution: 213 100.76/100.84 o 213 100.76/100.84 c Elapsed CPU time: 100.592 s Remaining CPU time: 79.4083 s 100.76/100.84 c =============================================================================== 100.76/100.84 c | 3756 | 30306 257694 514755 | 85898 958 25 | 58.063 % | 100.86/100.90 c =============================================================================== 100.86/100.90 c New solution: 212 100.86/100.90 o 212 100.86/100.90 c Elapsed CPU time: 100.648 s Remaining CPU time: 79.3523 s 100.86/100.90 c =============================================================================== 100.86/100.90 c | 3776 | 30064 257695 515055 | 85898 978 25 | 58.063 % | 100.86/100.96 c =============================================================================== 100.86/100.96 c New solution: 211 100.86/100.96 o 211 100.86/100.96 c Elapsed CPU time: 100.706 s Remaining CPU time: 79.2943 s 100.86/100.96 c =============================================================================== 100.86/100.96 c | 3786 | 29822 257696 515355 | 85898 988 25 | 58.063 % | 100.96/101.02 c | 3886 | 29791 257696 515355 | 94488 1088 27 | 59.392 % | 101.06/101.13 c | 4036 | 29790 257696 515355 | 103937 1238 27 | 59.403 % | 101.06/101.17 c =============================================================================== 101.06/101.17 c New solution: 210 101.06/101.17 o 210 101.06/101.17 c Elapsed CPU time: 100.916 s Remaining CPU time: 79.0843 s 101.06/101.17 c =============================================================================== 101.06/101.17 c | 4038 | 29572 257697 515655 | 85899 1240 27 | 59.403 % | 101.17/101.22 c =============================================================================== 101.17/101.22 c New solution: 209 101.17/101.22 o 209 101.17/101.22 c Elapsed CPU time: 100.962 s Remaining CPU time: 79.0383 s 101.17/101.22 c =============================================================================== 101.17/101.22 c | 4045 | 29334 257698 515955 | 85899 1247 27 | 59.403 % | 101.17/101.26 c =============================================================================== 101.17/101.26 c New solution: 208 101.17/101.26 o 208 101.17/101.26 c Elapsed CPU time: 101.006 s Remaining CPU time: 78.9944 s 101.17/101.26 c =============================================================================== 101.17/101.26 c | 4048 | 29096 257699 516255 | 85899 1250 27 | 59.403 % | 101.27/101.32 c =============================================================================== 101.27/101.32 c New solution: 207 101.27/101.32 o 207 101.27/101.32 c Elapsed CPU time: 101.066 s Remaining CPU time: 78.9344 s 101.27/101.32 c =============================================================================== 101.27/101.32 c | 4104 | 28854 257700 516555 | 85900 1306 27 | 59.403 % | 101.27/101.39 c =============================================================================== 101.27/101.39 c New solution: 206 101.27/101.39 o 206 101.27/101.39 c Elapsed CPU time: 101.134 s Remaining CPU time: 78.8664 s 101.27/101.39 c =============================================================================== 101.27/101.39 c | 4142 | 28612 257701 516855 | 85900 853 26 | 59.403 % | 101.36/101.45 c =============================================================================== 101.36/101.45 c New solution: 205 101.36/101.45 o 205 101.36/101.45 c Elapsed CPU time: 101.187 s Remaining CPU time: 78.8134 s 101.36/101.45 c =============================================================================== 101.36/101.45 c | 4153 | 28370 257702 517155 | 85900 864 25 | 59.403 % | 101.46/101.50 c =============================================================================== 101.46/101.50 c New solution: 204 101.46/101.50 o 204 101.46/101.50 c Elapsed CPU time: 101.238 s Remaining CPU time: 78.7624 s 101.46/101.50 c =============================================================================== 101.46/101.50 c | 4159 | 28128 257703 517455 | 85901 870 25 | 59.403 % | 101.46/101.54 c =============================================================================== 101.46/101.54 c New solution: 203 101.46/101.54 o 203 101.46/101.54 c Elapsed CPU time: 101.282 s Remaining CPU time: 78.7184 s 101.46/101.54 c =============================================================================== 101.46/101.54 c | 4167 | 27886 257704 517755 | 85901 878 25 | 59.403 % | 101.46/101.59 c =============================================================================== 101.46/101.60 c New solution: 202 101.46/101.60 o 202 101.46/101.60 c Elapsed CPU time: 101.333 s Remaining CPU time: 78.6674 s 101.46/101.60 c =============================================================================== 101.46/101.60 c | 4200 | 27644 257705 518055 | 85901 911 25 | 59.403 % | 101.56/101.66 c | 4301 | 27638 257705 518055 | 94491 1012 26 | 62.382 % | 101.66/101.70 c =============================================================================== 101.66/101.70 c New solution: 201 101.66/101.70 o 201 101.66/101.70 c Elapsed CPU time: 101.44 s Remaining CPU time: 78.5604 s 101.66/101.70 c =============================================================================== 101.66/101.70 c | 4309 | 27402 257706 518355 | 85902 1020 25 | 62.382 % | 101.66/101.74 c =============================================================================== 101.66/101.74 c New solution: 200 101.66/101.74 o 200 101.66/101.74 c Elapsed CPU time: 101.481 s Remaining CPU time: 78.5194 s 101.66/101.74 c =============================================================================== 101.66/101.74 c | 4311 | 27160 257707 518655 | 85902 1022 25 | 62.382 % | 101.66/101.79 c =============================================================================== 101.66/101.79 c New solution: 199 101.66/101.79 o 199 101.66/101.79 c Elapsed CPU time: 101.522 s Remaining CPU time: 78.4784 s 101.66/101.79 c =============================================================================== 101.66/101.79 c | 4319 | 26918 257708 518955 | 85902 1030 25 | 62.382 % | 101.76/101.84 c =============================================================================== 101.76/101.84 c New solution: 198 101.76/101.84 o 198 101.76/101.84 c Elapsed CPU time: 101.572 s Remaining CPU time: 78.4284 s 101.76/101.84 c =============================================================================== 101.76/101.84 c | 4326 | 26660 257709 519255 | 85903 1037 25 | 62.382 % | 101.76/101.88 c =============================================================================== 101.76/101.88 c New solution: 197 101.76/101.88 o 197 101.76/101.88 c Elapsed CPU time: 101.618 s Remaining CPU time: 78.3824 s 101.76/101.88 c =============================================================================== 101.76/101.88 c | 4336 | 26426 257710 519555 | 85903 1047 25 | 62.382 % | 101.86/101.93 c =============================================================================== 101.86/101.93 c New solution: 196 101.86/101.93 o 196 101.86/101.93 c Elapsed CPU time: 101.664 s Remaining CPU time: 78.3365 s 101.86/101.93 c =============================================================================== 101.86/101.93 c | 4345 | 26192 257711 519855 | 85903 1056 25 | 62.382 % | 101.86/101.97 c =============================================================================== 101.86/101.97 c New solution: 195 101.86/101.97 o 195 101.86/101.97 c Elapsed CPU time: 101.711 s Remaining CPU time: 78.2895 s 101.86/101.97 c =============================================================================== 101.86/101.97 c | 4364 | 25950 257712 520155 | 85904 1075 25 | 62.382 % | 101.96/102.06 c | 4465 | 25708 257712 520155 | 94494 657 24 | 64.707 % | 102.06/102.11 c =============================================================================== 102.06/102.11 c New solution: 194 102.06/102.11 o 194 102.06/102.11 c Elapsed CPU time: 101.846 s Remaining CPU time: 78.1545 s 102.06/102.11 c =============================================================================== 102.06/102.11 c | 4483 | 25708 257713 520455 | 85904 675 24 | 64.707 % | 102.06/102.15 c =============================================================================== 102.06/102.15 c New solution: 193 102.06/102.15 o 193 102.06/102.15 c Elapsed CPU time: 101.888 s Remaining CPU time: 78.1125 s 102.06/102.15 c =============================================================================== 102.06/102.15 c | 4492 | 25466 257714 520755 | 85904 684 24 | 64.707 % | 102.06/102.19 c =============================================================================== 102.06/102.19 c New solution: 192 102.06/102.19 o 192 102.06/102.19 c Elapsed CPU time: 101.93 s Remaining CPU time: 78.0705 s 102.06/102.19 c =============================================================================== 102.06/102.19 c | 4503 | 25224 257715 521055 | 85905 695 24 | 64.707 % | 102.16/102.24 c =============================================================================== 102.16/102.24 c New solution: 191 102.16/102.24 o 191 102.16/102.24 c Elapsed CPU time: 101.974 s Remaining CPU time: 78.0255 s 102.16/102.24 c =============================================================================== 102.16/102.24 c | 4518 | 24982 257716 521355 | 85905 710 23 | 64.707 % | 102.16/102.30 c | 4618 | 24980 257716 521355 | 94495 810 24 | 66.036 % | 102.26/102.34 c =============================================================================== 102.26/102.34 c New solution: 190 102.26/102.34 o 190 102.26/102.34 c Elapsed CPU time: 102.078 s Remaining CPU time: 77.9215 s 102.26/102.34 c =============================================================================== 102.26/102.34 c | 4637 | 24740 257717 521655 | 85905 829 24 | 66.036 % | 102.26/102.39 c =============================================================================== 102.26/102.39 c New solution: 189 102.26/102.39 o 189 102.26/102.39 c Elapsed CPU time: 102.121 s Remaining CPU time: 77.8785 s 102.26/102.39 c =============================================================================== 102.26/102.39 c | 4656 | 24498 257718 521955 | 85906 848 23 | 66.036 % | 102.37/102.45 c =============================================================================== 102.37/102.45 c New solution: 188 102.37/102.45 o 188 102.37/102.45 c Elapsed CPU time: 102.18 s Remaining CPU time: 77.8195 s 102.37/102.45 c =============================================================================== 102.37/102.45 c | 4716 | 24256 257719 522255 | 85906 908 24 | 66.036 % | 102.46/102.50 c =============================================================================== 102.46/102.50 c New solution: 187 102.46/102.50 o 187 102.46/102.50 c Elapsed CPU time: 102.232 s Remaining CPU time: 77.7675 s 102.46/102.50 c =============================================================================== 102.46/102.50 c | 4733 | 24014 257720 522555 | 85906 925 24 | 66.036 % | 102.46/102.54 c =============================================================================== 102.46/102.54 c New solution: 186 102.46/102.54 o 186 102.46/102.54 c Elapsed CPU time: 102.271 s Remaining CPU time: 77.7285 s 102.46/102.54 c =============================================================================== 102.46/102.54 c | 4738 | 23772 257721 522855 | 85907 930 24 | 66.036 % | 102.46/102.60 c =============================================================================== 102.46/102.60 c New solution: 185 102.46/102.60 o 185 102.46/102.60 c Elapsed CPU time: 102.323 s Remaining CPU time: 77.6766 s 102.46/102.60 c =============================================================================== 102.46/102.60 c | 4780 | 23530 257722 523155 | 85907 972 23 | 66.036 % | 102.56/102.65 c | 4881 | 23288 257722 523155 | 94498 638 21 | 68.029 % | 102.66/102.71 c =============================================================================== 102.66/102.71 c New solution: 184 102.66/102.71 o 184 102.66/102.71 c Elapsed CPU time: 102.434 s Remaining CPU time: 77.5656 s 102.66/102.71 c =============================================================================== 102.66/102.71 c | 4915 | 23288 257723 523455 | 85907 672 21 | 68.029 % | 102.66/102.75 c =============================================================================== 102.66/102.75 c New solution: 183 102.66/102.75 o 183 102.66/102.75 c Elapsed CPU time: 102.477 s Remaining CPU time: 77.5226 s 102.66/102.75 c =============================================================================== 102.66/102.75 c | 4928 | 23046 257724 523755 | 85908 685 21 | 68.029 % | 102.76/102.81 c | 5029 | 23035 257724 523755 | 94498 786 23 | 68.694 % | 102.76/102.89 c | 5179 | 23032 257724 523755 | 103948 936 24 | 68.694 % | 102.87/102.95 c =============================================================================== 102.87/102.95 c New solution: 182 102.87/102.95 o 182 102.87/102.95 c Elapsed CPU time: 102.675 s Remaining CPU time: 77.3246 s 102.87/102.95 c =============================================================================== 102.87/102.95 c | 5220 | 22804 257725 524055 | 85908 977 24 | 68.694 % | 102.87/102.99 c =============================================================================== 102.87/102.99 c New solution: 181 102.87/102.99 o 181 102.87/102.99 c Elapsed CPU time: 102.715 s Remaining CPU time: 77.2846 s 102.87/102.99 c =============================================================================== 102.87/102.99 c | 5225 | 22562 257726 524355 | 85908 982 23 | 68.694 % | 102.96/103.04 c =============================================================================== 102.96/103.04 c New solution: 180 102.96/103.04 o 180 102.96/103.04 c Elapsed CPU time: 102.764 s Remaining CPU time: 77.2356 s 102.96/103.04 c =============================================================================== 102.96/103.04 c | 5251 | 22320 257727 524655 | 85909 1008 23 | 68.694 % | 102.96/103.09 c =============================================================================== 102.96/103.09 c New solution: 179 102.96/103.09 o 179 102.96/103.09 c Elapsed CPU time: 102.81 s Remaining CPU time: 77.1896 s 102.96/103.09 c =============================================================================== 102.96/103.09 c | 5259 | 22078 257728 524955 | 85909 1016 23 | 68.694 % | 103.06/103.13 c =============================================================================== 103.06/103.13 c New solution: 178 103.06/103.13 o 178 103.06/103.13 c Elapsed CPU time: 102.851 s Remaining CPU time: 77.1486 s 103.06/103.13 c =============================================================================== 103.06/103.13 c | 5265 | 21836 257729 525255 | 85909 1022 23 | 68.694 % | 103.16/103.20 c =============================================================================== 103.16/103.20 c New solution: 177 103.16/103.20 o 177 103.16/103.20 c Elapsed CPU time: 102.92 s Remaining CPU time: 77.0796 s 103.16/103.20 c =============================================================================== 103.16/103.20 c | 5355 | 21594 257730 525555 | 85910 777 23 | 68.694 % | 103.16/103.27 c | 5456 | 21589 257730 525555 | 94501 878 23 | 70.687 % | 103.27/103.32 c =============================================================================== 103.27/103.32 c New solution: 176 103.27/103.32 o 176 103.27/103.32 c Elapsed CPU time: 103.037 s Remaining CPU time: 76.9627 s 103.27/103.32 c =============================================================================== 103.27/103.32 c | 5476 | 21352 257731 525855 | 85910 898 23 | 70.687 % | 103.27/103.36 c | 5576 | 21335 257731 525855 | 94501 998 24 | 71.019 % | 103.37/103.47 c | 5726 | 21333 257731 525855 | 103951 1148 24 | 71.019 % | 103.46/103.53 c =============================================================================== 103.46/103.53 c New solution: 175 103.46/103.53 o 175 103.46/103.53 c Elapsed CPU time: 103.249 s Remaining CPU time: 76.7507 s 103.46/103.53 c =============================================================================== 103.46/103.53 c | 5762 | 21110 257732 526155 | 85910 1184 24 | 71.019 % | 103.46/103.59 c | 5862 | 21104 257732 526155 | 94501 1284 25 | 71.352 % | 103.56/103.63 c =============================================================================== 103.56/103.63 c New solution: 174 103.56/103.63 o 174 103.56/103.63 c Elapsed CPU time: 103.349 s Remaining CPU time: 76.6507 s 103.56/103.63 c =============================================================================== 103.56/103.63 c | 5866 | 20868 257733 526455 | 85911 1288 24 | 71.352 % | 103.56/103.67 c =============================================================================== 103.56/103.67 c New solution: 173 103.56/103.67 o 173 103.56/103.67 c Elapsed CPU time: 103.386 s Remaining CPU time: 76.6137 s 103.56/103.67 c =============================================================================== 103.56/103.67 c | 5869 | 20626 257734 526755 | 85911 1291 24 | 71.352 % | 103.66/103.71 c =============================================================================== 103.66/103.71 c New solution: 172 103.66/103.71 o 172 103.66/103.71 c Elapsed CPU time: 103.424 s Remaining CPU time: 76.5757 s 103.66/103.71 c =============================================================================== 103.66/103.71 c | 5880 | 20384 257735 527055 | 85911 1302 24 | 71.352 % | 103.66/103.75 c =============================================================================== 103.66/103.75 c New solution: 171 103.66/103.75 o 171 103.66/103.75 c Elapsed CPU time: 103.47 s Remaining CPU time: 76.5297 s 103.66/103.75 c =============================================================================== 103.66/103.75 c | 5894 | 20142 257736 527355 | 85912 960 23 | 71.352 % | 103.76/103.80 c =============================================================================== 103.76/103.80 c New solution: 170 103.76/103.80 o 170 103.76/103.80 c Elapsed CPU time: 103.513 s Remaining CPU time: 76.4867 s 103.76/103.80 c =============================================================================== 103.76/103.80 c | 5899 | 19900 257737 527655 | 85912 965 23 | 71.352 % | 103.76/103.84 c =============================================================================== 103.76/103.84 c New solution: 169 103.76/103.84 o 169 103.76/103.84 c Elapsed CPU time: 103.557 s Remaining CPU time: 76.4427 s 103.76/103.84 c =============================================================================== 103.76/103.84 c | 5905 | 19658 257738 527955 | 85912 971 23 | 71.352 % | 103.76/103.88 c =============================================================================== 103.76/103.88 c New solution: 168 103.76/103.88 o 168 103.76/103.88 c Elapsed CPU time: 103.598 s Remaining CPU time: 76.4018 s 103.76/103.88 c =============================================================================== 103.76/103.88 c | 5920 | 19416 257739 528255 | 85913 986 22 | 71.352 % | 103.86/103.94 c =============================================================================== 103.86/103.94 c New solution: 167 103.86/103.94 o 167 103.86/103.94 c Elapsed CPU time: 103.659 s Remaining CPU time: 76.3408 s 103.86/103.94 c =============================================================================== 103.86/103.94 c | 5962 | 19174 257740 528555 | 85913 1028 22 | 71.352 % | 103.86/103.99 c =============================================================================== 103.86/103.99 c New solution: 166 103.86/103.99 o 166 103.86/103.99 c Elapsed CPU time: 103.699 s Remaining CPU time: 76.3008 s 103.86/103.99 c =============================================================================== 103.86/103.99 c | 5968 | 18932 257741 528855 | 85913 1034 22 | 71.352 % | 103.96/104.03 c =============================================================================== 103.96/104.03 c New solution: 165 103.96/104.03 o 165 103.96/104.03 c Elapsed CPU time: 103.747 s Remaining CPU time: 76.2528 s 103.96/104.03 c =============================================================================== 103.96/104.03 c | 6002 | 18690 257742 529155 | 85914 1068 22 | 71.352 % | 103.96/104.07 c =============================================================================== 103.96/104.07 c New solution: 164 103.96/104.07 o 164 103.96/104.07 c Elapsed CPU time: 103.787 s Remaining CPU time: 76.2128 s 103.96/104.07 c =============================================================================== 103.96/104.07 c | 6027 | 18448 257743 529455 | 85914 1093 22 | 71.352 % | 104.06/104.14 c =============================================================================== 104.06/104.14 c New solution: 163 104.06/104.14 o 163 104.06/104.14 c Elapsed CPU time: 103.857 s Remaining CPU time: 76.1428 s 104.06/104.14 c =============================================================================== 104.06/104.14 c | 6091 | 18206 257744 529755 | 85914 1157 23 | 71.352 % | 104.06/104.19 c =============================================================================== 104.06/104.19 c New solution: 162 104.06/104.19 o 162 104.06/104.19 c Elapsed CPU time: 103.904 s Remaining CPU time: 76.0958 s 104.06/104.19 c =============================================================================== 104.06/104.19 c | 6112 | 17960 257745 530055 | 85915 1178 23 | 71.352 % | 104.16/104.23 c =============================================================================== 104.16/104.23 c New solution: 161 104.16/104.23 o 161 104.16/104.23 c Elapsed CPU time: 103.94 s Remaining CPU time: 76.0598 s 104.16/104.23 c =============================================================================== 104.16/104.23 c | 6120 | 17720 257746 530355 | 85915 1186 23 | 71.352 % | 104.16/104.27 c =============================================================================== 104.16/104.27 c New solution: 160 104.16/104.27 o 160 104.16/104.27 c Elapsed CPU time: 103.981 s Remaining CPU time: 76.0188 s 104.16/104.27 c =============================================================================== 104.16/104.27 c | 6139 | 17480 257747 530655 | 85915 1205 23 | 71.352 % | 104.26/104.32 c | 6239 | 17474 257747 530655 | 94507 1305 24 | 76.335 % | 104.26/104.38 c =============================================================================== 104.26/104.38 c New solution: 159 104.26/104.38 o 159 104.26/104.38 c Elapsed CPU time: 104.096 s Remaining CPU time: 75.9038 s 104.26/104.38 c =============================================================================== 104.26/104.38 c | 6304 | 17238 257748 530955 | 85916 1370 24 | 76.335 % | 104.37/104.43 c =============================================================================== 104.37/104.43 c New solution: 158 104.37/104.43 o 158 104.37/104.43 c Elapsed CPU time: 104.144 s Remaining CPU time: 75.8558 s 104.37/104.43 c =============================================================================== 104.37/104.43 c | 6323 | 16996 257749 531255 | 85916 1389 23 | 76.335 % | 104.37/104.47 c | 6423 | 16990 257749 531255 | 94507 1489 24 | 77.000 % | 104.47/104.54 c | 6573 | 16754 257749 531255 | 103958 971 23 | 77.000 % | 104.56/104.67 c =============================================================================== 104.56/104.67 c New solution: 157 104.56/104.67 o 157 104.56/104.67 c Elapsed CPU time: 104.374 s Remaining CPU time: 75.6259 s 104.56/104.67 c =============================================================================== 104.56/104.67 c | 6703 | 16746 257750 531555 | 85916 1101 24 | 77.000 % | 104.66/104.72 c =============================================================================== 104.66/104.72 c New solution: 156 104.66/104.72 o 156 104.66/104.72 c Elapsed CPU time: 104.424 s Remaining CPU time: 75.5759 s 104.66/104.72 c =============================================================================== 104.66/104.72 c | 6752 | 16492 257751 531855 | 85917 1150 24 | 77.000 % | 104.66/104.80 c | 6852 | 16490 257751 531855 | 94508 1250 25 | 77.672 % | 104.76/104.85 c =============================================================================== 104.76/104.85 c New solution: 155 104.76/104.85 o 155 104.76/104.85 c Elapsed CPU time: 104.556 s Remaining CPU time: 75.4439 s 104.76/104.85 c =============================================================================== 104.76/104.85 c | 6893 | 16264 257752 532155 | 85917 1291 25 | 77.672 % | 104.76/104.89 c | 6995 | 16260 257752 532155 | 94509 1393 25 | 78.002 % | 104.96/105.02 c | 7146 | 16258 257752 532155 | 103959 1544 25 | 78.002 % | 104.96/105.06 c =============================================================================== 104.96/105.06 c New solution: 154 104.96/105.06 o 154 104.96/105.06 c Elapsed CPU time: 104.768 s Remaining CPU time: 75.2319 s 104.96/105.06 c =============================================================================== 104.96/105.06 c | 7156 | 16024 257753 532455 | 85917 1433 25 | 78.002 % | 105.06/105.11 c =============================================================================== 105.06/105.11 c New solution: 153 105.06/105.11 o 153 105.06/105.11 c Elapsed CPU time: 104.811 s Remaining CPU time: 75.1889 s 105.06/105.11 c =============================================================================== 105.06/105.11 c | 7183 | 15784 257754 532755 | 85918 1460 25 | 78.002 % | 105.06/105.16 c | 7283 | 15779 257754 532755 | 94509 1560 25 | 78.661 % | 105.16/105.27 c | 7436 | 15762 257754 532755 | 103960 1713 26 | 78.803 % | 105.26/105.32 c =============================================================================== 105.26/105.32 c New solution: 152 105.26/105.32 o 152 105.26/105.32 c Elapsed CPU time: 105.018 s Remaining CPU time: 74.982 s 105.26/105.32 c =============================================================================== 105.26/105.32 c | 7462 | 15440 257755 533055 | 85918 1739 26 | 78.803 % | 105.36/105.40 c | 7562 | 15431 257755 533055 | 94510 1839 26 | 79.136 % | 105.47/105.51 c | 7713 | 15429 257755 533055 | 103961 1990 26 | 79.136 % | 105.47/105.55 c =============================================================================== 105.47/105.55 c New solution: 151 105.47/105.55 o 151 105.47/105.55 c Elapsed CPU time: 105.248 s Remaining CPU time: 74.752 s 105.47/105.55 c =============================================================================== 105.47/105.55 c | 7717 | 15198 257756 533355 | 85918 1994 26 | 79.136 % | 105.47/105.60 c =============================================================================== 105.47/105.60 c New solution: 150 105.47/105.60 o 150 105.47/105.60 c Elapsed CPU time: 105.297 s Remaining CPU time: 74.703 s 105.47/105.60 c =============================================================================== 105.47/105.60 c | 7768 | 14956 257757 533655 | 85919 2045 26 | 79.136 % | 105.66/105.70 c | 7868 | 14714 257757 533655 | 94510 1700 26 | 79.800 % | 105.66/105.76 c | 8018 | 14714 257757 533655 | 103961 1850 27 | 79.800 % | 105.76/105.89 c | 8243 | 14714 257757 533655 | 114358 2075 29 | 79.800 % | 106.06/106.15 c | 8580 | 14714 257757 533655 | 125794 2412 29 | 79.800 % | 106.16/106.21 c =============================================================================== 106.16/106.21 c New solution: 149 106.16/106.21 o 149 106.16/106.21 c Elapsed CPU time: 105.902 s Remaining CPU time: 74.0981 s 106.16/106.21 c =============================================================================== 106.16/106.21 c | 8604 | 14712 257758 533955 | 85919 2435 29 | 79.800 % | 106.16/106.28 c | 8705 | 14707 257758 533955 | 94511 2536 29 | 80.135 % | 106.26/106.35 c | 8856 | 14704 257758 533955 | 103962 2687 29 | 80.135 % | 106.46/106.56 c | 9081 | 14697 257758 533955 | 114358 2912 30 | 80.135 % | 106.56/106.62 c =============================================================================== 106.56/106.62 c New solution: 148 106.56/106.62 o 148 106.56/106.62 c Elapsed CPU time: 106.318 s Remaining CPU time: 73.6822 s 106.56/106.62 c =============================================================================== 106.56/106.62 c | 9153 | 14470 257759 534255 | 85919 2984 29 | 80.135 % | 106.56/106.69 c =============================================================================== 106.56/106.69 c New solution: 147 106.56/106.69 o 147 106.56/106.69 c Elapsed CPU time: 106.388 s Remaining CPU time: 73.6122 s 106.56/106.69 c =============================================================================== 106.56/106.69 c | 9209 | 14228 257760 534555 | 85920 3040 29 | 80.135 % | 106.66/106.74 c | 9310 | 14215 257760 534555 | 94512 3141 29 | 80.800 % | 106.76/106.85 c | 9460 | 14213 257760 534555 | 103963 3291 29 | 80.838 % | 106.86/106.95 c | 9686 | 13958 257760 534555 | 114359 3097 28 | 80.838 % | 107.06/107.19 c | 10023 | 13958 257760 534555 | 125795 3434 29 | 80.838 % | 107.16/107.24 c =============================================================================== 107.16/107.24 c New solution: 146 107.16/107.24 o 146 107.16/107.24 c Elapsed CPU time: 106.931 s Remaining CPU time: 73.0693 s 107.16/107.24 c =============================================================================== 107.16/107.24 c | 10084 | 13958 257761 534855 | 85920 3495 29 | 80.838 % | 107.26/107.32 c | 10185 | 13952 257761 534855 | 94512 3596 29 | 81.151 % | 107.26/107.39 c | 10335 | 13946 257761 534855 | 103963 3746 29 | 81.151 % | 107.46/107.55 c | 10562 | 13944 257761 534855 | 114359 3973 30 | 81.151 % | 107.56/107.67 c | 10900 | 13730 257761 534855 | 125795 4141 29 | 81.151 % | 107.96/108.08 c | 11407 | 13730 257761 534855 | 138375 4648 30 | 81.151 % | 108.46/108.53 c | 12166 | 13730 257761 534855 | 152213 5407 32 | 81.151 % | 109.16/109.27 c | 13305 | 13730 257761 534855 | 167434 6546 35 | 81.151 % | 109.26/109.33 c =============================================================================== 109.26/109.33 c New solution: 145 109.26/109.33 o 145 109.26/109.33 c Elapsed CPU time: 109.009 s Remaining CPU time: 70.9906 s 109.26/109.33 c =============================================================================== 109.26/109.33 c | 13378 | 13730 257762 535155 | 85920 6619 35 | 81.151 % | 109.36/109.44 c | 13478 | 13502 257762 535155 | 94512 6568 35 | 81.464 % | 109.46/109.50 c | 13630 | 13502 257762 535155 | 103964 6720 35 | 81.464 % | 109.56/109.65 c | 13855 | 13501 257762 535155 | 114360 6945 35 | 81.469 % | 109.86/109.93 c | 14192 | 13501 257762 535155 | 125796 7282 35 | 81.469 % | 109.96/110.01 c =============================================================================== 109.96/110.01 c New solution: 144 109.96/110.01 o 144 109.96/110.01 c Elapsed CPU time: 109.679 s Remaining CPU time: 70.3207 s 109.96/110.01 c =============================================================================== 109.96/110.01 c | 14278 | 13490 257763 535455 | 85921 7368 35 | 81.469 % | 110.06/110.10 c | 14379 | 13488 257763 535455 | 94513 7469 35 | 81.796 % | 110.06/110.19 c | 14529 | 13260 257763 535455 | 103964 7207 34 | 81.796 % | 110.35/110.40 c | 14755 | 13260 257763 535455 | 114360 7433 34 | 81.796 % | 110.35/110.47 c =============================================================================== 110.35/110.47 c New solution: 143 110.35/110.47 o 143 110.35/110.47 c Elapsed CPU time: 110.145 s Remaining CPU time: 69.8547 s 110.35/110.47 c =============================================================================== 110.35/110.47 c | 14863 | 13260 257764 535755 | 85921 7541 34 | 81.796 % | 110.46/110.59 c | 14963 | 13254 257764 535755 | 94513 7641 34 | 82.128 % | 110.56/110.64 c | 15114 | 13249 257764 535755 | 103964 7792 34 | 82.128 % | 110.76/110.83 c | 15340 | 13248 257764 535755 | 114361 8018 34 | 82.128 % | 110.97/111.06 c | 15677 | 13017 257764 535755 | 125797 8073 34 | 82.130 % | 111.46/111.50 c | 16183 | 13017 257764 535755 | 138377 8579 35 | 82.130 % | 111.76/111.80 c | 16943 | 13017 257764 535755 | 152214 9339 35 | 82.130 % | 112.36/112.48 c | 18082 | 13009 257764 535755 | 167436 10341 35 | 82.141 % | 113.96/114.06 c | 19790 | 13009 257764 535755 | 184180 12049 37 | 82.141 % | 115.37/115.49 c | 22354 | 13009 257764 535755 | 202598 14613 41 | 82.141 % | 115.56/115.68 c =============================================================================== 115.56/115.68 c New solution: 142 115.56/115.68 o 142 115.56/115.68 c Elapsed CPU time: 115.325 s Remaining CPU time: 64.6745 s 115.56/115.68 c =============================================================================== 115.56/115.68 c | 22660 | 13009 257765 536055 | 85921 14919 41 | 82.141 % | 115.66/115.79 c | 22760 | 12775 257765 536055 | 94513 14619 40 | 82.462 % | 115.76/115.87 c | 22910 | 12775 257765 536055 | 103965 14769 40 | 82.462 % | 116.06/116.10 c | 23136 | 12775 257765 536055 | 114361 14995 40 | 82.462 % | 116.06/116.17 c =============================================================================== 116.06/116.17 c New solution: 141 116.06/116.17 o 141 116.06/116.17 c Elapsed CPU time: 115.811 s Remaining CPU time: 64.1886 s 116.06/116.17 c =============================================================================== 116.06/116.17 c | 23215 | 12775 257766 536355 | 85922 15074 40 | 82.462 % | 116.16/116.24 c | 23316 | 12770 257766 536355 | 94514 15175 40 | 82.794 % | 116.26/116.32 c | 23466 | 12762 257766 536355 | 103965 15325 40 | 82.794 % | 116.46/116.57 c | 23692 | 12761 257766 536355 | 114362 15551 40 | 82.794 % | 116.65/116.73 c | 24029 | 12750 257766 536355 | 125798 15888 40 | 82.794 % | 117.15/117.20 c | 24535 | 12750 257766 536355 | 138378 16394 40 | 82.794 % | 117.56/117.67 c | 25294 | 12533 257766 536355 | 152216 16725 40 | 82.794 % | 118.66/118.70 c | 26433 | 12533 257766 536355 | 167437 17864 41 | 82.794 % | 119.56/119.62 c | 28143 | 12533 257766 536355 | 184181 19574 41 | 82.794 % | 122.06/122.18 c | 30705 | 12533 257766 536355 | 202599 22136 42 | 82.794 % | 125.26/125.35 c | 34549 | 12533 257766 536355 | 222859 25980 45 | 82.794 % | 129.66/129.80 c | 40316 | 12533 257766 536355 | 245145 31747 49 | 82.794 % | 130.05/130.17 c =============================================================================== 130.05/130.17 c New solution: 140 130.05/130.17 o 140 130.05/130.17 c Elapsed CPU time: 129.747 s Remaining CPU time: 50.2527 s 130.05/130.17 c =============================================================================== 130.05/130.17 c | 40760 | 12533 257767 536655 | 85922 32191 49 | 82.794 % | 130.25/130.30 c | 40860 | 12291 257767 536655 | 94514 31679 49 | 83.126 % | 130.35/130.49 c | 41010 | 12291 257767 536655 | 103966 31829 49 | 83.126 % | 130.55/130.69 c | 41235 | 12291 257767 536655 | 114362 32054 49 | 83.127 % | 130.95/131.04 c | 41572 | 12291 257767 536655 | 125798 32391 49 | 83.126 % | 131.56/131.67 c | 42079 | 12291 257767 536655 | 138378 32898 49 | 83.126 % | 132.45/132.53 c | 42838 | 12291 257767 536655 | 152216 33657 48 | 83.126 % | 133.35/133.40 c | 43977 | 12291 257767 536655 | 167438 34796 48 | 83.126 % | 134.06/134.10 c =============================================================================== 134.06/134.10 c New solution: 139 134.06/134.10 o 139 134.06/134.10 c Elapsed CPU time: 133.662 s Remaining CPU time: 46.3383 s 134.06/134.10 c =============================================================================== 134.06/134.10 c | 45091 | 12291 257768 536955 | 85922 35910 48 | 83.126 % | 134.16/134.27 c | 45191 | 12049 257768 536955 | 94514 33746 48 | 83.459 % | 134.35/134.41 c | 45341 | 12049 257768 536955 | 103966 33896 48 | 83.459 % | 134.65/134.73 c | 45567 | 12049 257768 536955 | 114363 34122 47 | 83.459 % | 135.05/135.12 c | 45904 | 12049 257768 536955 | 125799 34459 47 | 83.459 % | 135.45/135.55 c | 46413 | 12048 257768 536955 | 138379 34968 47 | 83.492 % | 136.35/136.42 c | 47173 | 12047 257768 536955 | 152217 35728 47 | 83.503 % | 137.55/137.64 c | 48312 | 12047 257768 536955 | 167438 36867 47 | 83.503 % | 139.75/139.89 c | 50021 | 12017 257768 536955 | 184182 38527 47 | 83.503 % | 142.85/142.91 c | 52583 | 12017 257768 536955 | 202601 41089 48 | 83.503 % | 142.95/143.07 c =============================================================================== 142.95/143.07 c New solution: 138 142.95/143.07 o 138 142.95/143.07 c Elapsed CPU time: 142.601 s Remaining CPU time: 37.3987 s 142.95/143.07 c =============================================================================== 142.95/143.07 c | 52670 | 12017 257769 537255 | 85923 41176 48 | 83.503 % | 143.15/143.26 c | 52770 | 11783 257769 537255 | 94515 40470 48 | 83.824 % | 143.25/143.37 c | 52920 | 11783 257769 537255 | 103966 40620 48 | 83.824 % | 143.65/143.77 c | 53145 | 11783 257769 537255 | 114363 40845 48 | 83.824 % | 144.05/144.12 c | 53483 | 11783 257769 537255 | 125799 41183 48 | 83.824 % | 144.45/144.59 c | 53989 | 11783 257769 537255 | 138379 41689 48 | 83.824 % | 145.45/145.53 c | 54749 | 11783 257769 537255 | 152217 42449 48 | 83.824 % | 146.85/146.94 c | 55889 | 11783 257769 537255 | 167439 43589 48 | 83.824 % | 148.54/148.66 c | 57597 | 11783 257769 537255 | 184183 45297 48 | 83.824 % | 150.84/150.97 c | 60160 | 11783 257769 537255 | 202601 47860 48 | 83.824 % | 155.84/155.94 c | 64004 | 11783 257769 537255 | 222862 51704 48 | 83.824 % | 161.33/161.42 c | 69770 | 11783 257769 537255 | 245148 57470 49 | 83.824 % | 165.64/165.76 c =============================================================================== 165.64/165.76 c New solution: 137 165.64/165.76 o 137 165.64/165.76 c Elapsed CPU time: 165.212 s Remaining CPU time: 14.7881 s 165.64/165.76 c =============================================================================== 165.64/165.76 c | 73275 | 11763 257770 537555 | 85923 60973 49 | 83.824 % | 165.84/165.95 c | 73375 | 11760 257770 537555 | 94515 61073 49 | 84.184 % | 166.04/166.18 c | 73525 | 11760 257770 537555 | 103967 61223 49 | 84.184 % | 166.33/166.42 c | 73750 | 11751 257770 537555 | 114363 61448 49 | 84.208 % | 166.93/167.04 c | 74087 | 11747 257770 537555 | 125800 61785 49 | 84.208 % | 167.33/167.49 c | 74593 | 11732 257770 537555 | 138380 62291 49 | 84.208 % | 168.24/168.35 c =============================================================================== 168.24/168.35 c New solution: 136 168.24/168.35 o 136 168.24/168.35 c Elapsed CPU time: 167.787 s Remaining CPU time: 12.2125 s 168.24/168.35 c =============================================================================== 168.24/168.35 c | 75351 | 11503 257771 537855 | 85923 63049 49 | 84.208 % | 168.44/168.53 c | 75451 | 11495 257771 537855 | 94516 63149 49 | 84.527 % | 168.54/168.69 c | 75601 | 11492 257771 537855 | 103967 63299 48 | 84.527 % | 168.93/169.00 c | 75827 | 11491 257771 537855 | 114364 63525 48 | 84.527 % | 169.24/169.32 c | 76166 | 11491 257771 537855 | 125800 63864 48 | 84.527 % | 169.94/170.00 c | 76672 | 11478 257771 537855 | 138380 64370 48 | 84.527 % | 171.13/171.21 c | 77432 | 11478 257771 537855 | 152219 65130 48 | 84.527 % | 172.43/172.55 c | 78573 | 11477 257771 537855 | 167440 66271 48 | 84.527 % | 174.33/174.46 c | 80282 | 11271 257771 537855 | 184185 62912 47 | 84.527 % | 177.34/177.42 c | 82846 | 11270 257771 537855 | 202603 65476 47 | 84.553 % | 180.54/180.62 c There are 61592 assigned variables. 275 in cost function. 181.34/181.42 c core #1 181.34/181.42 c 181.34/181.42 c 181.34/181.42 c Core size: 50 Core Weight: 111 Total Weight: 111 181.34/181.42 c 181.34/181.42 c 181.34/181.42 c core #2 181.34/181.42 c 181.34/181.42 c 181.34/181.42 c Core size: 318 Core Weight: 1 Total Weight: 112 181.34/181.42 c 181.34/181.42 c 181.34/181.42 c core #3 181.34/181.42 c 181.34/181.42 c 181.34/181.42 c Core size: 58 Core Weight: 1 Total Weight: 113 181.34/181.42 c 181.34/181.42 c 181.34/181.42 c core #4 181.34/181.42 c 181.34/181.42 c 181.34/181.42 c Core size: 331 Core Weight: 1 Total Weight: 114 181.34/181.42 c 181.34/181.42 c 181.34/181.42 c ============================[ Search Statistics ]============================== 181.34/181.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.34/181.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.34/181.42 c =============================================================================== 181.34/181.42 c | 0 | 4838 93527 80768 | 31175 0 nan | 0.000 % | 181.34/181.43 c =============================================================================== 181.44/181.56 c core #5 181.44/181.56 c 181.44/181.56 c 181.44/181.56 c Core size: 325 Core Weight: 1 Total Weight: 115 181.44/181.56 c 181.44/181.56 c 181.44/181.56 c ============================[ Search Statistics ]============================== 181.44/181.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.44/181.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.44/181.56 c =============================================================================== 181.44/181.56 c | 0 | 6388 93548 82889 | 31182 0 nan | 0.000 % | 181.44/181.58 c =============================================================================== 181.63/181.72 c core #6 181.63/181.72 c 181.63/181.72 c 181.63/181.72 c Core size: 400 Core Weight: 1 Total Weight: 116 181.63/181.72 c 181.63/181.72 c 181.63/181.72 c ============================[ Search Statistics ]============================== 181.63/181.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.63/181.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.63/181.72 c =============================================================================== 181.63/181.72 c | 0 | 6718 93568 83025 | 31189 0 nan | 0.000 % | 181.63/181.76 c =============================================================================== 181.83/181.90 c core #7 181.83/181.90 c 181.83/181.90 c 181.83/181.90 c Core size: 325 Core Weight: 1 Total Weight: 117 181.83/181.90 c 181.83/181.90 c 181.83/181.90 c ============================[ Search Statistics ]============================== 181.83/181.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.90 c =============================================================================== 181.83/181.90 c | 0 | 6998 93588 83145 | 31196 0 nan | 0.000 % | 181.83/181.96 c | 100 | 6985 93588 83145 | 34315 100 16 | 91.339 % | 181.93/182.01 c =============================================================================== 182.03/182.14 c core #8 182.03/182.14 c 182.03/182.14 c 182.03/182.14 c Core size: 446 Core Weight: 1 Total Weight: 118 182.03/182.14 c 182.03/182.14 c 182.03/182.14 c ============================[ Search Statistics ]============================== 182.03/182.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.14 c =============================================================================== 182.03/182.14 c | 0 | 7278 93606 83262 | 31202 0 nan | 0.000 % | 182.13/182.20 c | 100 | 7278 93606 83262 | 34322 100 20 | 90.032 % | 182.13/182.28 c | 250 | 7025 93606 83262 | 37754 238 20 | 90.589 % | 182.23/182.34 c =============================================================================== 182.33/182.48 c core #9 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c Core size: 333 Core Weight: 1 Total Weight: 119 182.33/182.48 c 182.33/182.48 c 182.33/182.48 c ============================[ Search Statistics ]============================== 182.33/182.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.48 c =============================================================================== 182.33/182.48 c | 0 | 7576 93623 83369 | 31207 0 nan | 0.000 % | 182.44/182.54 c | 100 | 7576 93623 83369 | 34328 100 19 | 89.626 % | 182.54/182.64 c | 251 | 7411 93623 83369 | 37761 250 22 | 90.081 % | 182.63/182.78 c | 476 | 7228 93623 83369 | 41537 472 25 | 90.193 % | 182.83/182.94 c =============================================================================== 182.93/183.08 c core #10 182.93/183.08 c 182.93/183.08 c 182.93/183.08 c Core size: 450 Core Weight: 1 Total Weight: 120 182.93/183.08 c 182.93/183.08 c 182.93/183.08 c ============================[ Search Statistics ]============================== 182.93/183.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.08 c =============================================================================== 182.93/183.08 c | 0 | 7838 93641 83476 | 31213 0 nan | 0.000 % | 183.03/183.15 c | 100 | 7838 93641 83476 | 34335 100 20 | 89.270 % | 183.13/183.24 c | 250 | 7838 93641 83476 | 37768 250 22 | 89.270 % | 183.23/183.35 c | 477 | 7838 93641 83476 | 41545 477 21 | 89.270 % | 183.43/183.53 c | 814 | 7539 93641 83476 | 45699 715 22 | 89.726 % | 183.73/183.81 c | 1320 | 7314 93641 83476 | 50269 1179 25 | 89.989 % | 184.03/184.12 c =============================================================================== 184.13/184.26 c core #11 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 568 Core Weight: 1 Total Weight: 121 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c ============================[ Search Statistics ]============================== 184.13/184.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.26 c =============================================================================== 184.13/184.26 c | 0 | 8098 93663 83599 | 31221 0 nan | 0.000 % | 184.23/184.32 c | 100 | 8098 93663 83599 | 34343 100 19 | 88.916 % | 184.33/184.41 c | 252 | 8098 93663 83599 | 37777 252 23 | 88.916 % | 184.43/184.54 c | 477 | 7942 93663 83599 | 41555 476 22 | 89.152 % | 184.64/184.71 c | 815 | 7925 93663 83599 | 45710 813 23 | 89.160 % | 184.93/185.01 c | 1321 | 7920 93663 83599 | 50281 1317 25 | 89.160 % | 185.33/185.48 c | 2080 | 7920 93663 83599 | 55309 2076 26 | 89.160 % | 186.03/186.19 c | 3219 | 7695 93663 83599 | 60840 3203 30 | 90.096 % | 186.23/186.39 c =============================================================================== 186.43/186.52 c core #12 186.43/186.52 c 186.43/186.52 c 186.43/186.52 c Core size: 442 Core Weight: 1 Total Weight: 122 186.43/186.52 c 186.43/186.52 c 186.43/186.52 c ============================[ Search Statistics ]============================== 186.43/186.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.43/186.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.43/186.52 c =============================================================================== 186.43/186.52 c | 0 | 8354 93685 83724 | 31228 0 nan | 0.000 % | 186.43/186.59 c | 100 | 8354 93685 83724 | 34351 100 23 | 88.568 % | 186.53/186.67 c | 251 | 8338 93685 83724 | 37786 250 24 | 88.590 % | 186.63/186.79 c | 476 | 8338 93685 83724 | 41564 475 26 | 88.590 % | 186.84/186.98 c | 815 | 8330 93685 83724 | 45721 813 26 | 88.601 % | 187.13/187.20 c | 1321 | 8330 93685 83724 | 50293 1319 28 | 88.601 % | 187.43/187.56 c | 2080 | 8330 93685 83724 | 55322 2078 28 | 88.601 % | 188.13/188.25 c | 3219 | 8324 93685 83724 | 60855 3216 29 | 88.609 % | 189.14/189.25 c | 4928 | 7850 93685 83724 | 66940 4466 30 | 89.258 % | 190.83/190.91 c | 7491 | 7803 93685 83724 | 73634 6449 32 | 89.322 % | 192.13/192.21 c =============================================================================== 192.22/192.36 c core #13 192.22/192.36 c 192.22/192.36 c 192.22/192.36 c Core size: 480 Core Weight: 1 Total Weight: 123 192.22/192.36 c 192.22/192.36 c 192.22/192.36 c ============================[ Search Statistics ]============================== 192.22/192.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.22/192.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.22/192.36 c =============================================================================== 192.22/192.36 c | 0 | 8609 93705 83841 | 31235 0 nan | 0.000 % | 192.34/192.42 c | 101 | 8609 93705 83841 | 34358 101 17 | 88.221 % | 192.34/192.49 c | 252 | 8609 93705 83841 | 37794 252 21 | 88.221 % | 192.53/192.63 c | 481 | 8609 93705 83841 | 41573 481 26 | 88.221 % | 192.63/192.78 c | 819 | 8593 93705 83841 | 45731 818 29 | 88.243 % | 192.93/193.06 c | 1325 | 8429 93705 83841 | 50304 1321 29 | 88.467 % | 193.43/193.55 c | 2084 | 8429 93705 83841 | 55334 2080 32 | 88.468 % | 194.12/194.21 c | 3223 | 8419 93705 83841 | 60868 3217 32 | 88.484 % | 195.13/195.25 c | 4932 | 8377 93705 83841 | 66954 4600 33 | 88.539 % | 196.93/197.07 c | 7496 | 8377 93705 83841 | 73650 7164 36 | 88.539 % | 199.82/199.99 c | 11341 | 8377 93705 83841 | 81015 11009 39 | 88.539 % | 204.92/205.03 c | 17108 | 8377 93705 83841 | 89117 16776 42 | 88.539 % | 212.82/212.94 c | 25757 | 7091 93705 83841 | 98028 10140 32 | 90.298 % | 213.53/213.64 c =============================================================================== 213.63/213.79 c core #14 213.63/213.79 c 213.63/213.79 c 213.63/213.79 c Core size: 409 Core Weight: 1 Total Weight: 124 213.63/213.79 c 213.63/213.79 c 213.63/213.79 c ============================[ Search Statistics ]============================== 213.63/213.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.63/213.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.63/213.79 c =============================================================================== 213.63/213.79 c | 0 | 8863 93732 83975 | 31244 0 nan | 0.000 % | 213.73/213.85 c | 100 | 8863 93732 83975 | 34368 100 18 | 87.876 % | 213.82/213.93 c | 251 | 8863 93732 83975 | 37805 251 22 | 87.876 % | 213.92/214.05 c | 476 | 8855 93732 83975 | 41585 475 25 | 87.887 % | 214.12/214.20 c | 813 | 8787 93732 83975 | 45744 811 27 | 87.980 % | 214.33/214.42 c | 1319 | 8771 93732 83975 | 50318 1315 27 | 88.015 % | 214.72/214.84 c | 2079 | 8761 93732 83975 | 55350 2073 29 | 88.015 % | 215.42/215.55 c | 3218 | 8761 93732 83975 | 60885 3212 32 | 88.015 % | 216.32/216.44 c | 4926 | 8598 93732 83975 | 66974 4915 31 | 88.238 % | 218.02/218.17 c | 7488 | 8596 93732 83975 | 73671 7476 34 | 88.241 % | 220.62/220.70 c | 11334 | 8596 93732 83975 | 81038 11322 35 | 88.241 % | 225.43/225.51 c | 17100 | 8468 93732 83975 | 89142 16765 41 | 88.416 % | 233.32/233.48 c | 25750 | 8468 93732 83975 | 98057 25415 41 | 88.416 % | 250.11/250.23 c | 38725 | 8468 93732 83975 | 107862 38390 44 | 88.416 % | 282.40/282.53 c | 58189 | 8201 93732 83975 | 118649 55752 47 | 88.997 % | 286.90/287.00 c =============================================================================== 287.00/287.19 c core #15 287.00/287.19 c 287.00/287.19 c 287.00/287.19 c Core size: 370 Core Weight: 1 Total Weight: 125 287.00/287.19 c 287.00/287.19 c 287.00/287.19 c ============================[ Search Statistics ]============================== 287.00/287.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 287.00/287.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 287.00/287.19 c =============================================================================== 287.00/287.19 c | 0 | 9116 93778 84169 | 31259 0 nan | 0.000 % | 287.09/287.24 c | 101 | 9116 93778 84169 | 34385 101 19 | 87.531 % | 287.19/287.33 c | 252 | 9100 93778 84169 | 37823 251 25 | 87.553 % | 287.29/287.45 c | 478 | 9100 93778 84169 | 41606 477 25 | 87.553 % | 287.39/287.58 c | 816 | 9100 93778 84169 | 45766 815 26 | 87.553 % | 287.70/287.84 c | 1322 | 9100 93778 84169 | 50343 1321 28 | 87.553 % | 288.00/288.20 c | 2081 | 9100 93778 84169 | 55377 2080 29 | 87.553 % | 288.69/288.80 c | 3220 | 9100 93778 84169 | 60915 3219 30 | 87.553 % | 289.59/289.72 c | 4928 | 9098 93778 84169 | 67007 4926 30 | 87.556 % | 291.19/291.34 c | 7491 | 9024 93778 84169 | 73707 7487 35 | 87.657 % | 293.80/293.95 c | 11337 | 8944 93778 84169 | 81078 11331 37 | 87.767 % | 298.39/298.55 c | 17104 | 8944 93778 84169 | 89186 17098 40 | 87.767 % | 306.99/307.19 c | 25753 | 8938 93778 84169 | 98105 25746 43 | 87.775 % | 323.78/323.94 c | 38727 | 8938 93778 84169 | 107915 38720 43 | 87.775 % | 353.78/353.93 c | 58188 | 8922 93778 84169 | 118707 58180 46 | 87.797 % | 413.85/414.08 c | 87380 | 8290 93778 84169 | 130577 64396 46 | 88.750 % | 512.62/512.86 c | 131170 | 8031 93778 84169 | 143635 77532 46 | 89.015 % | 551.11/551.31 c =============================================================================== 551.31/551.54 c core #16 551.31/551.54 c 551.31/551.54 c 551.31/551.54 c Core size: 475 Core Weight: 1 Total Weight: 126 551.31/551.54 c 551.31/551.54 c 551.31/551.54 c ============================[ Search Statistics ]============================== 551.31/551.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 551.31/551.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 551.31/551.54 c =============================================================================== 551.31/551.54 c | 0 | 9368 93824 84359 | 31274 0 nan | 0.000 % | 551.41/551.60 c | 100 | 9368 93824 84359 | 34402 100 21 | 87.189 % | 551.41/551.68 c | 250 | 9368 93824 84359 | 37842 250 26 | 87.189 % | 551.61/551.80 c | 476 | 9330 93824 84359 | 41626 475 25 | 87.249 % | 551.71/551.99 c | 814 | 9324 93824 84359 | 45789 812 29 | 87.249 % | 551.92/552.19 c | 1321 | 9324 93824 84359 | 50368 1319 31 | 87.249 % | 552.31/552.57 c | 2080 | 9324 93824 84359 | 55404 2078 32 | 87.249 % | 552.91/553.11 c | 3219 | 9308 93824 84359 | 60945 3216 32 | 87.271 % | 554.01/554.21 c | 4927 | 9304 93824 84359 | 67040 4917 35 | 87.276 % | 555.60/555.88 c | 7489 | 9304 93824 84359 | 73744 7479 37 | 87.276 % | 558.00/558.26 c | 11336 | 9304 93824 84359 | 81118 11326 38 | 87.276 % | 563.31/563.54 c | 17103 | 9304 93824 84359 | 89230 17093 44 | 87.276 % | 570.61/570.88 c | 25753 | 9210 93824 84359 | 98153 25641 46 | 87.405 % | 584.50/584.79 c | 38727 | 9202 93824 84359 | 107968 38613 45 | 87.416 % | 613.30/613.56 c | 58190 | 9202 93824 84359 | 118765 58076 45 | 87.416 % | 673.17/673.43 c | 87382 | 9202 93824 84359 | 130642 87268 49 | 87.416 % | 789.44/789.79 c | 131171 | 9196 93824 84359 | 143706 131055 50 | 87.424 % | 1028.57/1028.95 c | 196858 | 9196 93824 84359 | 158076 196742 54 | 87.424 % | 1251.80/1252.28 c | 295384 | 8511 93824 84359 | 173884 79803 58 | 88.361 % | 1367.87/1368.32 c =============================================================================== 1368.27/1368.70 c core #17 1368.27/1368.70 c 1368.27/1368.70 c 1368.27/1368.70 c Core size: 380 Core Weight: 1 Total Weight: 127 1368.27/1368.70 c 1368.27/1368.70 c 1368.27/1368.70 c ============================[ Search Statistics ]============================== 1368.27/1368.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1368.27/1368.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1368.27/1368.70 c =============================================================================== 1368.27/1368.70 c | 0 | 9619 93911 84665 | 31303 0 nan | 0.000 % | 1368.27/1368.76 c | 100 | 9619 93911 84665 | 34434 100 19 | 86.847 % | 1368.37/1368.83 c | 251 | 9619 93911 84665 | 37877 251 22 | 86.847 % | 1368.47/1368.92 c | 476 | 9619 93911 84665 | 41665 476 30 | 86.847 % | 1368.57/1369.09 c | 813 | 9619 93911 84665 | 45831 813 30 | 86.847 % | 1368.86/1369.33 c | 1319 | 9601 93911 84665 | 50414 1318 29 | 87.090 % | 1369.26/1369.76 c | 2078 | 9441 93911 84665 | 55456 2074 32 | 87.090 % | 1369.87/1370.37 c | 3218 | 9425 93911 84665 | 61001 3213 32 | 87.112 % | 1370.66/1371.17 c | 4926 | 9425 93911 84665 | 67102 4921 35 | 87.112 % | 1372.37/1372.89 c | 7489 | 9425 93911 84665 | 73812 7484 39 | 87.112 % | 1374.96/1375.41 c | 11334 | 9421 93911 84665 | 81193 11327 41 | 87.118 % | 1379.26/1379.77 c | 17100 | 9421 93911 84665 | 89313 17093 43 | 87.153 % | 1386.66/1387.19 c | 25749 | 9395 93911 84665 | 98244 25741 44 | 87.153 % | 1402.06/1402.55 c | 38723 | 9395 93911 84665 | 108068 38715 49 | 87.153 % | 1429.74/1430.22 c | 58184 | 9393 93911 84665 | 118875 58175 49 | 87.156 % | 1492.93/1493.40 c | 87377 | 9393 93911 84665 | 130763 87368 54 | 87.156 % | 1596.20/1596.70 c | 131166 | 9393 93911 84665 | 143839 131157 59 | 87.156 % |
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-2686929-1278444367/watcher-2686929-1278444367 -o /tmp/evaluation-result-2686929-1278444367/solver-2686929-1278444367 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686929-1278444367.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22307 /proc/meminfo: memFree=1859768/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=10560 CPUtime=0 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 12650338 10813440 260 1992294400 134512640 135752675 4290769008 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 2640 260 139 303 0 406 0 [startup+0.078776 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22307 /proc/meminfo: memFree=1859768/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=13860 CPUtime=0.07 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 1237 0 0 0 7 0 0 0 20 0 1 0 12650338 14192640 1155 1992294400 134512640 135752675 4290769008 18446744073709551615 135188688 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 3465 1156 240 303 0 1231 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13860 [startup+0.100779 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22307 /proc/meminfo: memFree=1859768/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=15344 CPUtime=0.09 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 1528 0 0 0 9 0 0 0 20 0 1 0 12650338 15712256 1446 1992294400 134512640 135752675 4290769008 18446744073709551615 135194528 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 3836 1448 272 303 0 1602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15344 [startup+0.300802 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22307 /proc/meminfo: memFree=1859768/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=19748 CPUtime=0.29 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 2888 0 0 0 28 1 0 0 20 0 1 0 12650338 20221952 2773 1992294400 134512640 135752675 4290769008 18446744073709551615 134564720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 4937 2773 571 303 0 2703 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19748 [startup+0.700845 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22307 /proc/meminfo: memFree=1859768/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=24884 CPUtime=0.69 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 4708 0 0 0 68 1 0 0 21 0 1 0 12650338 25481216 4553 1992294400 134512640 135752675 4290769008 18446744073709551615 134633288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 6221 4553 1173 303 0 3987 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24884 [startup+1.50094 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22308 /proc/meminfo: memFree=1841036/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=40864 CPUtime=1.49 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 11358 0 0 0 145 4 0 0 23 0 1 0 12650338 41844736 8935 1992294400 134512640 135752675 4290769008 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 10216 8936 142 303 0 9911 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40864 [startup+3.10111 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22308 /proc/meminfo: memFree=1810532/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=55604 CPUtime=3.09 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 15083 0 0 0 303 6 0 0 25 0 1 0 12650338 56938496 12660 1992294400 134512640 135752675 4290769008 18446744073709551615 134697668 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 13901 12660 142 303 0 13596 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55604 [startup+6.30147 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22308 /proc/meminfo: memFree=1802348/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=64448 CPUtime=6.29 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 17276 0 0 0 622 7 0 0 25 0 1 0 12650338 65994752 14853 1992294400 134512640 135752675 4290769008 18446744073709551615 134697681 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 16112 14853 142 303 0 15807 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64448 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22308 /proc/meminfo: memFree=1789452/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=77120 CPUtime=12.69 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 20437 0 0 0 1260 9 0 0 25 0 1 0 12650338 78970880 18014 1992294400 134512640 135752675 4290769008 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 19280 18014 142 303 0 18975 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77120 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22308 /proc/meminfo: memFree=1770976/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=94808 CPUtime=25.48 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 24855 0 0 0 2537 11 0 0 25 0 1 0 12650338 97083392 22432 1992294400 134512640 135752675 4290769008 18446744073709551615 134523912 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 23702 22432 142 303 0 23397 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 94808 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22310 /proc/meminfo: memFree=1745308/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=120284 CPUtime=51.07 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 31235 0 0 0 5094 13 0 0 25 0 1 0 12650338 123170816 28812 1992294400 134512640 135752675 4290769008 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 30071 28812 142 303 0 29766 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 120284 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22310 /proc/meminfo: memFree=1717284/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=146376 CPUtime=102.26 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 39213 0 0 0 10203 23 0 0 25 0 1 0 12650338 149889024 35478 1992294400 134512640 135752675 4290769008 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 36594 35478 145 303 0 36289 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 146376 [startup+162.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 22312 /proc/meminfo: memFree=1717160/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=146376 CPUtime=162.24 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 39213 0 0 0 16175 49 0 0 25 0 1 0 12650338 149889024 35478 1992294400 134512640 135752675 4290769008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 36594 35478 145 303 0 36289 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 146376 [startup+222.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 22314 /proc/meminfo: memFree=1726584/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=134388 CPUtime=222.22 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42211 0 0 0 22146 76 0 0 25 0 1 0 12650338 137613312 33108 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33597 33108 146 303 0 33292 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 134388 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22316 /proc/meminfo: memFree=1726460/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=134388 CPUtime=282.2 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42211 0 0 0 28125 95 0 0 25 0 1 0 12650338 137613312 33108 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33597 33108 146 303 0 33292 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 134388 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22318 /proc/meminfo: memFree=1725220/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=136820 CPUtime=342.18 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42640 0 0 0 34100 118 0 0 25 0 1 0 12650338 140103680 33537 1992294400 134512640 135752675 4290769008 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 34205 33537 146 303 0 33900 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 136820 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22318 /proc/meminfo: memFree=1725220/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=136820 CPUtime=402.15 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42640 0 0 0 40083 132 0 0 25 0 1 0 12650338 140103680 33537 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 34205 33537 146 303 0 33900 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 136820 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22320 /proc/meminfo: memFree=1725220/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=136820 CPUtime=462.14 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42640 0 0 0 46069 145 0 0 25 0 1 0 12650338 140103680 33537 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 34205 33537 146 303 0 33900 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 136820 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22322 /proc/meminfo: memFree=1725096/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=136820 CPUtime=522.11 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42640 0 0 0 52056 155 0 0 25 0 1 0 12650338 140103680 33537 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 34205 33537 146 303 0 33900 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 136820 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22324 /proc/meminfo: memFree=1726088/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=134388 CPUtime=582.1 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42640 0 0 0 58033 177 0 0 25 0 1 0 12650338 137613312 33108 1992294400 134512640 135752675 4290769008 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33597 33108 146 303 0 33292 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 134388 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22326 /proc/meminfo: memFree=1726088/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=134388 CPUtime=642.09 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42640 0 0 0 64017 192 0 0 25 0 1 0 12650338 137613312 33108 1992294400 134512640 135752675 4290769008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33597 33108 146 303 0 33292 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 134388 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22330 /proc/meminfo: memFree=1725964/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=134388 CPUtime=822.03 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42651 0 0 0 81979 224 0 0 25 0 1 0 12650338 137613312 33119 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33597 33119 146 303 0 33292 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 134388 [startup+882.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 22332 /proc/meminfo: memFree=1725964/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=134388 CPUtime=882.01 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42651 0 0 0 87968 233 0 0 25 0 1 0 12650338 137613312 33119 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33597 33119 146 303 0 33292 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 134388 [startup+942.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 22334 /proc/meminfo: memFree=1725964/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=134388 CPUtime=941.99 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42651 0 0 0 93958 241 0 0 25 0 1 0 12650338 137613312 33119 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33597 33119 146 303 0 33292 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 134388 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22334 /proc/meminfo: memFree=1725964/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=134388 CPUtime=1001.97 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42651 0 0 0 99948 249 0 0 25 0 1 0 12650338 137613312 33119 1992294400 134512640 135752675 4290769008 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33597 33119 146 303 0 33292 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 134388 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22336 /proc/meminfo: memFree=1724972/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=135708 CPUtime=1061.95 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 42967 0 0 0 105936 259 0 0 25 0 1 0 12650338 138964992 33435 1992294400 134512640 135752675 4290769008 18446744073709551615 134640701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 33927 33435 146 303 0 33622 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 135708 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22338 /proc/meminfo: memFree=1720632/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=140356 CPUtime=1121.93 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 44037 0 0 0 111924 269 0 0 25 0 1 0 12650338 143724544 34505 1992294400 134512640 135752675 4290769008 18446744073709551615 134607003 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 35089 34505 146 303 0 34784 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 140356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22340 /proc/meminfo: memFree=1711456/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=149640 CPUtime=1181.92 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 46362 0 0 0 117904 288 0 0 25 0 1 0 12650338 153231360 36830 1992294400 134512640 135752675 4290769008 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 37410 36830 146 303 0 37105 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 149640 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22342 /proc/meminfo: memFree=1701660/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=159408 CPUtime=1241.9 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 48778 0 0 0 123884 306 0 0 25 0 1 0 12650338 163233792 39246 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 39852 39246 146 303 0 39547 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 159408 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22342 /proc/meminfo: memFree=1693104/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=167724 CPUtime=1301.89 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 50875 0 0 0 129872 317 0 0 25 0 1 0 12650338 171749376 41343 1992294400 134512640 135752675 4290769008 18446744073709551615 134611554 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 41931 41343 146 303 0 41626 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 167724 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22344 /proc/meminfo: memFree=1686532/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=174464 CPUtime=1361.87 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 52532 0 0 0 135854 333 0 0 25 0 1 0 12650338 178651136 43000 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 43616 43000 146 303 0 43311 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 174464 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22346 /proc/meminfo: memFree=1674876/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=186960 CPUtime=1421.86 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 55503 0 0 0 141832 354 0 0 25 0 1 0 12650338 191447040 45752 1992294400 134512640 135752675 4290769008 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 46740 45752 146 303 0 46435 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 186960 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22348 /proc/meminfo: memFree=1674876/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=186960 CPUtime=1481.82 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 55503 0 0 0 147815 367 0 0 25 0 1 0 12650338 191447040 45752 1992294400 134512640 135752675 4290769008 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 46740 45752 146 303 0 46435 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 186960 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22350 /proc/meminfo: memFree=1668304/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=194104 CPUtime=1541.81 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 57248 0 0 0 153799 382 0 0 25 0 1 0 12650338 198762496 47497 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 48526 47497 146 303 0 48221 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 194104 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22350 /proc/meminfo: memFree=1661484/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=200860 CPUtime=1601.8 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 58939 0 0 0 159786 394 0 0 25 0 1 0 12650338 205680640 49188 1992294400 134512640 135752675 4290769008 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 50215 49188 146 303 0 49910 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 200860 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22352 /proc/meminfo: memFree=1656028/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=206324 CPUtime=1661.77 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 60277 0 0 0 165772 405 0 0 25 0 1 0 12650338 211275776 50526 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 51581 50526 146 303 0 51276 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 206324 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22354 /proc/meminfo: memFree=1650448/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=211872 CPUtime=1721.75 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 61682 0 0 0 171759 416 0 0 25 0 1 0 12650338 216956928 51931 1992294400 134512640 135752675 4290769008 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 52968 51931 146 303 0 52663 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 211872 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22356 /proc/meminfo: memFree=1644124/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=217956 CPUtime=1781.74 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 63202 0 0 0 177745 429 0 0 25 0 1 0 12650338 223186944 53451 1992294400 134512640 135752675 4290769008 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 54489 53451 146 303 0 54184 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 217956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22356 /proc/meminfo: memFree=1642512/2059040 swapFree=4175860/4192956 [pid=22307] ppid=22305 vsize=219420 CPUtime=1800.05 /proc/22307/stat : 22307 (wbo1.4b) R 22305 22307 21236 0 -1 4202496 63583 0 0 0 179573 432 0 0 25 0 1 0 12650338 224686080 53832 1992294400 134512640 135752675 4290769008 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22307/statm: 54855 53832 146 303 0 54550 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 219420 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.08 CPU user time (s): 1795.74 CPU system time (s): 4.34334 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 219420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.74 system time used= 4.34334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63583 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= 39 involuntary context switches= 6201 runsolver used 2.86756 second user time and 8.63569 second system time The end
Begin job on node005 at 2010-07-06 21:26:07 IDJOB=2686929 IDBENCH=77174 IDSOLVER=1190 FILE ID=node005/2686929-1278444367 PBS_JOBID= 11233465 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b (fixed) 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 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2686929-1278444367/watcher-2686929-1278444367 -o /tmp/evaluation-result-2686929-1278444367/solver-2686929-1278444367 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2686929-1278444367.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3d3e67c51070a852e8117f97ab577e7c RANDOM SEED=431153187 node005.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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1860304 kB Buffers: 3160 kB Cached: 79076 kB SwapCached: 124 kB Active: 30552 kB Inactive: 95204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1860304 kB SwapTotal: 4192956 kB SwapFree: 4175860 kB Dirty: 10300 kB Writeback: 0 kB AnonPages: 43396 kB Mapped: 14476 kB Slab: 50952 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179752 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node005 at 2010-07-06 21:56:10