| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
| MD5SUM | cdc1e49bcf2e6b6913c93a683c821b72 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.155976 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 216 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 576 |
| Sum of products size (including duplicates) | 1152 |
| Number of different products | 576 |
| Sum of products size | 1152 |
0.00/0.00 c 2016-06-18T18:55:16+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106301-1466268916.opb"] 0.00/0.01 c use --random-gen="126473739 4029391630 598392439 1831450647 3026978356 3736579673 4023082291 3581795553 1327093220 2150649879 1569555502 2182763627 2816856293 73362825 398314696 173251671 2911631511 1851516693 3174923411 4220240123 637709019 313935006 2117603966 3216623276 998934560 1555578 2886027821 86529 2106396930 2753992288 3174992732 589463959 4093695882 985917769 2625340518 3163675547 3910743760 669125603 2778704416 4234464318 2315332377 3855573722 3057725785 2734320571 2609618569 1018041908 950096592 1905573847 312159144 656926128 1610962994 1995137057 2465504525 3102484782 2578454896 4231656854 1015244334 3939701887 1817354035 1046424688 412770720 3577422110 1519147804 3784678456 3508743014 3249806998 1949179770 3285879774 1811282987 468380236 1182744129 2988724687 2271018592 687486751 3924597086 1815268997 3798282551 1469034362 2075829887 258155880 3280765140 1801084945 2999979973 3284434189 2859113522 3254240771 2062473613 2492951981 3414588554 3408227214 1662127414 3953471404 1125832184 1252997529 2631957479 2678996652 3196782921 3057419544 1916416242 3161780278 1408868299 503189336 4128999191 2946597742 3192929185 3220717167 2586521292 1250736496 3724669079 2125408090 4201634112 3991652280 2477304398 1351497413 3959007343 394762297 3404339768 2832970758 2685231433 1795661576 1571556520 83670053 2564185255 1769091531 2717215851 2453434027 4279163301 586789206 793616197 3637711304 3890554627 2917388030 1677320461 3173430391 2114823930 1203306964 1659362780 1162444434 2618933389 2824188651 3649620103 2320027692 23643896 3442945662 2515298038 1631801904 3193156678 2989316124 1725434581 3733678177 3059171275 433761899 2025440747 3455256835 3121641536 4067732094 4071129990 3720917693 1298562439 381954925 3653572841 1269644994 1660443034 216337335 1990445959 3336237451 794917594 2736022114 3308321004 2500963528 3033645001 3312960053 242033113 451966871 3723999877 364304735 3429352387 4263379045 782329619 2220000286 2899720894 662219569 790693945 651056630 3333452437 936633056 2611859326 1150490695 2950281394 1525975189 2876990992 2053511115 183929918 1720333718 1810190061 2773256321 3549247500 1908814726 1894610262 390940935 4113367729 4055876374 3546274975 3348916612 993444338 3488483116 2802277979 4151795146 2024567044 737178546 2192146158 4013742176 2748790800 4213335220 1282415178 3891118522 330471992 2990120365 556351704 3475302305 4282398795 508739676 187240528 1827089215 1725689830 1726736302 1338452740 1938676768 399043481 406343037 2340633622 2991195598 4107112293 837686028 3553719085 3359587835 2397866383 1362568641 2856597102 2842374577 2119881200 4225999628 616632047 1116963701 1704255544 2232643957 860347720 2259144655 1694917856 2849406468 120298082 2962894880 1769215451 4216510364 4290404145 625534086 255 362436" option to reproduce the execution 0.00/0.01 c #vars 216 0.00/0.01 c #constraints 19 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 849 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 135 | 100 | 849 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 359 | 250 | 934 0 | 0 | 0 0.09/0.16 c 0.1s | 3 | 702 | 475 | 1028 0 | 0 | 0 0.28/0.35 c 0.3s | 4 | 1145 | 813 | 1131 0 | 0 | 0 0.49/0.53 c 0.5s | 5 | 1796 | 1320 | 1245 0 | 0 | 0 0.69/0.76 c 0.7s | 6 | 2610 | 2081 | 1508 1 | 0 | 0 1.10/1.13 c 1.1s | 7 | 3816 | 3223 | 1659 3 | 0 | 0 1.59/1.64 c 1.6s | 8 | 5710 | 4936 | 1825 4 | 0 | 0 2.29/2.36 c 2.3s | 9 | 8521 | 7506 | 2008 6 | 0 | 0 3.18/3.26 c 3.2s | 10 | 12876 | 11361 | 2209 9 | 0 | 0 4.78/4.82 c 4.8s | 11 | 18928 | 17144 | 2430 14 | 0 | 0 6.79/6.80 c 6.8s | 12 | 28155 | 25819 | 2673 19 | 0 | 0 8.79/8.84 c 8.8s | 12 | 35395 | 32519 | 2673 23 | 0 | 0 10.89/10.93 c 10.9s | 12 | 41052 | 37619 | 2673 27 | 0 | 0 12.09/12.14 c 12.1s | 13 | 43728 | 38832 | 2941 27 | 0 | 0 14.09/14.17 c 14.1s | 13 | 51266 | 46032 | 2941 32 | 0 | 0 16.09/16.18 c 16.1s | 13 | 58265 | 52832 | 2941 36 | 0 | 0 17.49/17.58 c 17.5s | 14 | 63945 | 58352 | 3236 39 | 0 | 0 19.48/19.58 c 19.6s | 14 | 72416 | 66352 | 3236 43 | 0 | 0 21.48/21.59 c 21.6s | 14 | 79561 | 73352 | 3236 47 | 0 | 0 23.48/23.59 c 23.6s | 14 | 86919 | 80552 | 3236 51 | 0 | 0 25.48/25.58 c 25.5s | 15 | 94124 | 87632 | 3560 55 | 0 | 0 27.49/27.59 c 27.6s | 15 | 101324 | 93732 | 3560 58 | 0 | 0 29.58/29.61 c 29.6s | 15 | 106680 | 98632 | 3560 60 | 0 | 0 31.58/31.63 c 31.6s | 15 | 111456 | 103032 | 3560 62 | 0 | 0 33.58/33.66 c 33.6s | 15 | 116012 | 107432 | 3560 64 | 0 | 0 35.58/35.66 c 35.6s | 15 | 121606 | 112932 | 3560 67 | 0 | 0 37.68/37.72 c 37.7s | 15 | 126829 | 117932 | 3560 69 | 0 | 0 39.69/39.76 c 39.7s | 15 | 132393 | 123232 | 3560 72 | 0 | 0 41.78/41.80 c 41.8s | 15 | 138440 | 128932 | 3560 75 | 0 | 0 42.88/42.91 c 42.9s | 16 | 141301 | 131552 | 3917 76 | 0 | 0 44.88/44.92 c 44.9s | 16 | 149300 | 139252 | 3917 80 | 0 | 0 46.88/46.92 c 46.9s | 16 | 156329 | 145852 | 3917 83 | 0 | 0 48.88/48.94 c 48.9s | 16 | 160884 | 150052 | 3917 85 | 0 | 0 50.88/50.98 c 50.9s | 16 | 165284 | 154252 | 3917 86 | 0 | 0 52.98/53.01 c 53.0s | 16 | 170637 | 159352 | 3917 89 | 0 | 0 54.98/55.03 c 55.0s | 16 | 176072 | 164652 | 3917 91 | 0 | 0 56.98/57.05 c 57.0s | 16 | 181351 | 169652 | 3917 93 | 0 | 0 58.98/59.07 c 59.0s | 16 | 186146 | 174152 | 3917 95 | 0 | 0 60.98/61.10 c 61.1s | 16 | 190531 | 178252 | 3917 97 | 0 | 0 63.08/63.13 c 63.1s | 16 | 194997 | 182352 | 3917 99 | 0 | 0 65.08/65.15 c 65.1s | 16 | 199464 | 186452 | 3917 100 | 0 | 0 67.08/67.18 c 67.2s | 16 | 205383 | 192152 | 3917 103 | 0 | 0 69.17/69.20 c 69.2s | 16 | 209968 | 196252 | 4309 105 | 0 | 0 69.67/69.79 c 69.8s | 17 | 211170 | 197432 | 4309 105 | 0 | 0 71.77/71.81 c 71.8s | 17 | 219152 | 204632 | 4309 108 | 0 | 0 73.78/73.84 c 73.8s | 17 | 225176 | 210432 | 4309 111 | 0 | 0 75.77/75.86 c 75.8s | 17 | 232000 | 216932 | 4309 113 | 0 | 0 77.77/77.89 c 77.9s | 17 | 238776 | 223432 | 4309 116 | 0 | 0 79.87/79.90 c 79.9s | 17 | 245485 | 229832 | 4309 119 | 0 | 0 81.87/81.91 c 81.9s | 17 | 252103 | 236132 | 4309 121 | 0 | 0 83.87/83.91 c 83.9s | 17 | 258641 | 242032 | 4309 124 | 0 | 0 85.88/85.94 c 85.9s | 17 | 265149 | 247932 | 4309 126 | 0 | 0 87.87/87.94 c 87.9s | 17 | 271233 | 253732 | 4309 129 | 0 | 0 89.87/89.95 c 89.9s | 17 | 277259 | 259432 | 4309 131 | 0 | 0 91.87/91.97 c 91.9s | 17 | 283902 | 265732 | 4309 134 | 0 | 0 93.87/93.99 c 94.0s | 17 | 289847 | 271332 | 4309 136 | 0 | 0 95.97/96.00 c 96.0s | 17 | 295667 | 276732 | 4309 138 | 0 | 0 97.98/98.06 c 98.0s | 17 | 300584 | 281432 | 4309 140 | 0 | 0 99.97/100.08 c 100s | 17 | 306296 | 286732 | 4309 142 | 0 | 0 102.07/102.12 c 102s | 17 | 311485 | 291332 | 4309 144 | 0 | 0 103.97/104.05 c 104s | 18 | 316993 | 296252 | 4740 146 | 0 | 0 105.97/106.07 c 106s | 18 | 325671 | 304252 | 4740 149 | 0 | 0 107.97/108.08 c 108s | 18 | 332184 | 310352 | 4740 151 | 0 | 0 110.07/110.11 c 110s | 18 | 339081 | 316852 | 4740 154 | 0 | 0 112.07/112.12 c 112s | 18 | 345563 | 322952 | 4740 156 | 0 | 0 114.07/114.13 c 114s | 18 | 351925 | 329052 | 4740 158 | 0 | 0 116.07/116.16 c 116s | 18 | 358088 | 334852 | 4740 160 | 0 | 0 118.07/118.16 c 118s | 18 | 364273 | 340452 | 4740 162 | 0 | 0 120.16/120.20 c 120s | 18 | 369810 | 345552 | 4740 164 | 0 | 0 122.07/122.20 c 122s | 18 | 375246 | 350452 | 4740 166 | 0 | 0 124.16/124.23 c 124s | 18 | 380948 | 355252 | 4740 168 | 0 | 0 126.16/126.24 c 126s | 18 | 386535 | 360152 | 4740 170 | 0 | 0 128.16/128.27 c 128s | 18 | 392075 | 364852 | 4740 172 | 0 | 0 130.16/130.29 c 130s | 18 | 397345 | 369352 | 4740 173 | 0 | 0 132.16/132.30 c 132s | 18 | 403114 | 374152 | 4740 175 | 0 | 0 134.27/134.33 c 134s | 18 | 408922 | 378952 | 4740 177 | 0 | 0 136.26/136.37 c 136s | 18 | 415144 | 383852 | 4740 179 | 0 | 0 138.36/138.40 c 138s | 18 | 420945 | 389352 | 4740 181 | 0 | 0 140.36/140.42 c 140s | 18 | 425707 | 393852 | 4740 183 | 0 | 0 142.36/142.45 c 142s | 18 | 430953 | 398952 | 4740 185 | 0 | 0 144.36/144.48 c 144s | 18 | 436013 | 403852 | 4740 186 | 0 | 0 146.46/146.51 c 146s | 18 | 441473 | 409152 | 4740 188 | 0 | 0 148.47/148.53 c 148s | 18 | 446645 | 414152 | 4740 190 | 0 | 0 150.46/150.55 c 150s | 18 | 451925 | 419152 | 4740 192 | 0 | 0 152.46/152.57 c 152s | 18 | 457351 | 424052 | 4740 194 | 0 | 0 154.46/154.57 c 154s | 18 | 462535 | 428752 | 4740 196 | 0 | 0 156.46/156.60 c 156s | 18 | 468530 | 434252 | 4740 198 | 0 | 0 158.56/158.60 c 158s | 18 | 473939 | 439052 | 4740 200 | 0 | 0 160.56/160.62 c 160s | 18 | 478703 | 443452 | 5214 201 | 0 | 0 160.96/161.07 c 161s | 19 | 479813 | 444482 | 5214 202 | 0 | 0 162.96/163.09 c 163s | 19 | 486644 | 450882 | 5214 204 | 0 | 0 165.07/165.11 c 165s | 19 | 492849 | 456782 | 5214 206 | 0 | 0 167.07/167.11 c 167s | 19 | 498542 | 462282 | 5214 208 | 0 | 0 169.07/169.12 c 169s | 19 | 504159 | 467682 | 5214 210 | 0 | 0 171.07/171.12 c 171s | 19 | 509676 | 472882 | 5214 212 | 0 | 0 173.07/173.15 c 173s | 19 | 515300 | 478082 | 5214 214 | 0 | 0 175.07/175.18 c 175s | 19 | 520912 | 483482 | 5214 216 | 0 | 0 177.07/177.18 c 177s | 19 | 526540 | 488882 | 5214 218 | 0 | 0 179.16/179.22 c 179s | 19 | 532533 | 494482 | 5214 220 | 0 | 0 181.16/181.24 c 181s | 19 | 537807 | 499582 | 5214 222 | 0 | 0 183.16/183.28 c 183s | 19 | 545695 | 506582 | 5214 224 | 0 | 0 185.26/185.30 c 185s | 19 | 552191 | 512582 | 5214 227 | 0 | 0 187.26/187.32 c 187s | 19 | 558628 | 518682 | 5214 229 | 0 | 0 189.27/189.33 c 189s | 19 | 566086 | 525582 | 5214 231 | 0 | 0 191.26/191.36 c 191s | 19 | 573190 | 531982 | 5214 233 | 0 | 0 193.26/193.38 c 193s | 19 | 579630 | 537982 | 5214 235 | 0 | 0 195.26/195.39 c 195s | 19 | 585728 | 543682 | 5214 237 | 0 | 0 197.36/197.42 c 197s | 19 | 592119 | 549682 | 5214 240 | 0 | 0 199.36/199.45 c 199s | 19 | 598899 | 555382 | 5214 242 | 0 | 0 201.36/201.49 c 201s | 19 | 605365 | 561182 | 5214 244 | 0 | 0 203.46/203.53 c 203s | 19 | 612224 | 567182 | 5214 246 | 0 | 0 205.46/205.54 c 205s | 19 | 619098 | 573282 | 5214 248 | 0 | 0 207.46/207.56 c 207s | 19 | 625008 | 579082 | 5214 250 | 0 | 0 209.46/209.57 c 209s | 19 | 631671 | 585382 | 5214 252 | 0 | 0 211.55/211.60 c 211s | 19 | 637958 | 591382 | 5214 254 | 0 | 0 213.55/213.61 c 213s | 19 | 643895 | 597082 | 5214 256 | 0 | 0 215.56/215.64 c 215s | 19 | 650449 | 603282 | 5214 259 | 0 | 0 217.55/217.67 c 217s | 19 | 656209 | 608882 | 5214 260 | 0 | 0 219.65/219.70 c 219s | 19 | 661539 | 613982 | 5214 262 | 0 | 0 221.65/221.70 c 221s | 19 | 667947 | 619982 | 5214 264 | 0 | 0 223.65/223.70 c 223s | 19 | 673723 | 625282 | 5214 266 | 0 | 0 225.65/225.72 c 225s | 19 | 680118 | 631182 | 5214 268 | 0 | 0 227.66/227.73 c 227s | 19 | 686180 | 637082 | 5214 270 | 0 | 0 229.65/229.75 c 229s | 19 | 692976 | 643482 | 5214 273 | 0 | 0 231.65/231.76 c 231s | 19 | 699422 | 649482 | 5214 275 | 0 | 0 233.65/233.77 c 233s | 19 | 705783 | 655482 | 5214 277 | 0 | 0 235.65/235.79 c 235s | 19 | 713098 | 662482 | 5736 279 | 0 | 0 237.15/237.26 c 237s | 20 | 717645 | 666827 | 5736 281 | 0 | 0 239.15/239.28 c 239s | 20 | 724454 | 672327 | 5736 282 | 0 | 0 241.25/241.32 c 241s | 20 | 730502 | 676027 | 5736 284 | 0 | 0 243.25/243.33 c 243s | 20 | 735894 | 680327 | 5736 285 | 0 | 0 245.25/245.37 c 245s | 20 | 740551 | 684327 | 5736 286 | 0 | 0 247.35/247.40 c 247s | 20 | 746095 | 689427 | 5736 288 | 0 | 0 249.35/249.40 c 249s | 20 | 751017 | 693727 | 5736 289 | 0 | 0 251.34/251.44 c 251s | 20 | 756744 | 698827 | 5736 291 | 0 | 0 253.34/253.49 c 253s | 20 | 761844 | 703727 | 5736 292 | 0 | 0 255.44/255.53 c 255s | 20 | 766484 | 708127 | 5736 294 | 0 | 0 257.45/257.58 c 257s | 20 | 771203 | 712627 | 5736 295 | 0 | 0 259.56/259.62 c 259s | 20 | 774659 | 715727 | 5736 296 | 0 | 0 261.55/261.64 c 261s | 20 | 780275 | 720927 | 5736 298 | 0 | 0 263.55/263.65 c 263s | 20 | 785511 | 725927 | 5736 299 | 0 | 0 265.55/265.68 c 265s | 20 | 791643 | 731727 | 5736 301 | 0 | 0 267.65/267.70 c 267s | 20 | 797447 | 737327 | 5736 303 | 0 | 0 269.65/269.71 c 269s | 20 | 803301 | 742727 | 5736 305 | 0 | 0 271.65/271.73 c 271s | 20 | 808638 | 747627 | 5736 306 | 0 | 0 273.65/273.75 c 273s | 20 | 814058 | 752327 | 5736 308 | 0 | 0 275.65/275.78 c 275s | 20 | 819515 | 757527 | 5736 310 | 0 | 0 277.75/277.80 c 277s | 20 | 825672 | 763327 | 5736 311 | 0 | 0 279.75/279.81 c 279s | 20 | 832156 | 769427 | 5736 313 | 0 | 0 281.75/281.82 c 281s | 20 | 838622 | 775527 | 5736 315 | 0 | 0 283.75/283.83 c 283s | 20 | 844667 | 781327 | 5736 317 | 0 | 0 285.75/285.84 c 285s | 20 | 851313 | 787627 | 5736 319 | 0 | 0 287.75/287.85 c 287s | 20 | 857840 | 793927 | 5736 321 | 0 | 0 289.74/289.88 c 289s | 20 | 864603 | 800227 | 5736 323 | 0 | 0 291.84/291.92 c 291s | 20 | 871617 | 806927 | 5736 325 | 0 | 0 293.84/293.94 c 293s | 20 | 877589 | 812627 | 5736 327 | 0 | 0 295.85/295.95 c 295s | 20 | 883999 | 818827 | 5736 329 | 0 | 0 297.84/297.97 c 297s | 20 | 889874 | 824427 | 5736 331 | 0 | 0 299.84/299.99 c 299s | 20 | 896030 | 830327 | 5736 333 | 0 | 0 301.84/301.99 c 301s | 20 | 901919 | 835727 | 5736 335 | 0 | 0 303.94/304.02 c 303s | 20 | 908035 | 841627 | 5736 336 | 0 | 0 305.94/306.06 c 306s | 20 | 914327 | 847527 | 5736 338 | 0 | 0 307.95/308.06 c 308s | 20 | 920519 | 853427 | 5736 340 | 0 | 0 309.94/310.07 c 310s | 20 | 926914 | 859527 | 5736 342 | 0 | 0 312.04/312.11 c 312s | 20 | 933832 | 866027 | 5736 344 | 0 | 0 314.04/314.11 c 314s | 20 | 940360 | 872127 | 5736 346 | 0 | 0 316.04/316.13 c 316s | 20 | 947115 | 878327 | 5736 348 | 0 | 0 318.04/318.16 c 318s | 20 | 953701 | 884627 | 5736 350 | 0 | 0 320.04/320.17 c 320s | 20 | 960342 | 891027 | 5736 352 | 0 | 0 322.04/322.18 c 322s | 20 | 966788 | 897227 | 5736 354 | 0 | 0 324.13/324.20 c 324s | 20 | 973549 | 903527 | 5736 356 | 0 | 0 326.13/326.22 c 326s | 20 | 980561 | 910227 | 5736 358 | 0 | 0 328.14/328.26 c 328s | 20 | 987456 | 916627 | 5736 361 | 0 | 0 330.14/330.28 c 330s | 20 | 994350 | 923127 | 5736 363 | 0 | 0 332.25/332.31 c 332s | 20 | 1000553 | 929027 | 5736 365 | 0 | 0 334.24/334.34 c 334s | 20 | 1007307 | 935427 | 5736 367 | 0 | 0 336.24/336.35 c 336s | 20 | 1013777 | 941427 | 5736 368 | 0 | 0 338.24/338.35 c 338s | 20 | 1019962 | 947327 | 5736 370 | 0 | 0 340.24/340.39 c 340s | 20 | 1023240 | 950127 | 5736 371 | 0 | 0 342.34/342.44 c 342s | 20 | 1027660 | 954227 | 5736 373 | 0 | 0 344.35/344.47 c 344s | 20 | 1033554 | 959227 | 5736 374 | 0 | 0 346.34/346.47 c 346s | 20 | 1038445 | 963627 | 5736 376 | 0 | 0 348.44/348.53 c 348s | 20 | 1043273 | 967727 | 5736 377 | 0 | 0 350.44/350.54 c 350s | 20 | 1048259 | 971827 | 5736 378 | 0 | 0 352.44/352.56 c 352s | 20 | 1052579 | 975327 | 5736 379 | 0 | 0 354.54/354.60 c 354s | 20 | 1058137 | 979627 | 5736 381 | 0 | 0 356.54/356.63 c 356s | 20 | 1063736 | 983627 | 5736 382 | 0 | 0 358.54/358.67 c 358s | 20 | 1069016 | 987027 | 5736 383 | 0 | 0 360.64/360.72 c 360s | 20 | 1074284 | 990727 | 5736 385 | 0 | 0 362.64/362.72 c 362s | 20 | 1077720 | 993227 | 6310 385 | 0 | 0 364.64/364.77 c 364s | 20 | 1081908 | 996827 | 6310 386 | 0 | 0 366.63/366.79 c 366s | 20 | 1085543 | 999827 | 6310 387 | 0 | 0 366.83/366.97 c 366s | 21 | 1086114 | 1000345 | 6310 387 | 0 | 0 368.83/368.97 c 368s | 21 | 1092495 | 1006145 | 6310 389 | 0 | 0 370.93/371.01 c 370s | 21 | 1097905 | 1011145 | 6310 390 | 0 | 0 372.94/373.03 c 373s | 21 | 1103066 | 1016045 | 6310 392 | 0 | 0 374.93/375.04 c 375s | 21 | 1107977 | 1020745 | 6310 393 | 0 | 0 376.93/377.07 c 377s | 21 | 1113441 | 1025945 | 6310 395 | 0 | 0 379.03/379.11 c 379s | 21 | 1117835 | 1030145 | 6310 396 | 0 | 0 380.43/380.52 c 380s | 21 | 1120540 | 1032581 | 6310 397 | 0 | 0 380.43/380.52 c #cpu_time = 379.517s 380.43/380.52 c #wall_clock_time = 380.488s 380.43/380.52 c #decision = 1120540 380.43/380.52 c #random_decision = 4484 380.43/380.52 c #conflict = 1032581 380.43/380.52 c #restart = 21 380.43/380.52 o 221 380.43/380.52 c BCD2: updating upper bound: 255 -> 220 380.43/380.52 c BCD2: 0 <= obj <= 220 380.43/380.52 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 380.43/380.52 c BCD2: #sat=1 #unsat=1 bias=1/2 380.43/380.52 c Solving starts ... 380.43/380.52 c ============================[ Search Statistics ]============================ 380.43/380.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 380.43/380.52 c | | | | Limit GC | Var | Constra 380.43/380.52 c ============================================================================= 380.43/380.52 c 0.0s | 0 | 0 | 0 | 6310 0 | 0 | 0 380.43/380.53 c 0.0s | 0 | 6 | 0 | 6310 0 | 0 | 0 380.43/380.53 c #cpu_time = 0.011s 380.43/380.53 c #wall_clock_time = 0.011s 380.43/380.53 c #decision = 6 380.43/380.53 c #random_decision = 0 380.43/380.53 c #conflict = 0 380.43/380.53 c #restart = 0 380.43/380.53 c BCD2: found a new core of size 7: cost of the new core is >=2 380.43/380.53 c lower bound updated to 2 380.43/380.53 c BCD2: 2 <= obj <= 220 380.43/380.53 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 380.43/380.53 c BCD2: #sat=1 #unsat=2 bias=2/3 380.43/380.53 c Solving starts ... 380.43/380.53 c ============================[ Search Statistics ]============================ 380.43/380.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 380.43/380.53 c | | | | Limit GC | Var | Constra 380.43/380.53 c ============================================================================= 380.43/380.53 c 0.0s | 0 | 0 | 0 | 6310 0 | 0 | 0 380.43/380.56 c 0.0s | 1 | 238 | 100 | 6310 0 | 0 | 0 380.54/380.67 c 0.1s | 2 | 575 | 250 | 6310 0 | 0 | 0 380.64/380.71 c 0.2s | 3 | 917 | 475 | 6310 0 | 0 | 0 380.73/380.82 c 0.3s | 4 | 1421 | 813 | 6310 0 | 0 | 0 381.23/381.30 c 0.8s | 5 | 2224 | 1320 | 6310 0 | 0 | 0 381.53/381.60 c 1.1s | 6 | 3438 | 2081 | 6310 0 | 0 | 0 382.23/382.37 c 1.8s | 7 | 4730 | 3223 | 6310 1 | 0 | 0 382.84/382.92 c 2.4s | 8 | 6611 | 4936 | 6310 1 | 0 | 0 383.53/383.66 c 3.1s | 9 | 9540 | 7506 | 6310 2 | 0 | 0 384.53/384.68 c 4.1s | 10 | 13583 | 11361 | 6310 3 | 0 | 0 386.53/386.69 c 6.2s | 10 | 19349 | 16761 | 6310 5 | 0 | 0 386.73/386.81 c 6.3s | 11 | 19741 | 17144 | 6310 5 | 0 | 0 388.73/388.86 c 8.3s | 11 | 24893 | 21544 | 6310 6 | 0 | 0 390.83/390.91 c 10.4s | 11 | 29034 | 24944 | 6310 7 | 0 | 0 391.43/391.50 c 11.0s | 12 | 30159 | 25819 | 6310 7 | 0 | 0 393.43/393.51 c 13.0s | 12 | 36391 | 31719 | 6310 9 | 0 | 0 395.42/395.53 c 15.0s | 12 | 42194 | 37119 | 6310 11 | 0 | 0 396.03/396.15 c 15.6s | 13 | 44004 | 38832 | 6310 11 | 0 | 0 398.02/398.17 c 17.6s | 13 | 50303 | 44732 | 6310 13 | 0 | 0 400.12/400.20 c 19.7s | 13 | 53890 | 47932 | 6310 14 | 0 | 0 402.12/402.23 c 21.7s | 13 | 57462 | 51132 | 6310 15 | 0 | 0 404.12/404.23 c 23.7s | 13 | 61658 | 55132 | 6310 16 | 0 | 0 405.72/405.81 c 25.3s | 14 | 65018 | 58352 | 6310 17 | 0 | 0 407.72/407.83 c 27.3s | 14 | 71037 | 63852 | 6310 18 | 0 | 0 409.72/409.85 c 29.3s | 14 | 76653 | 68752 | 6310 20 | 0 | 0 411.72/411.87 c 31.3s | 14 | 82333 | 73952 | 6310 21 | 0 | 0 413.72/413.88 c 33.3s | 14 | 86480 | 77852 | 6310 23 | 0 | 0 415.73/415.90 c 35.4s | 14 | 92148 | 82952 | 6310 24 | 0 | 0 417.52/417.64 c 37.1s | 15 | 96932 | 87632 | 6310 25 | 0 | 0 419.52/419.66 c 39.1s | 15 | 103583 | 93732 | 6310 27 | 0 | 0 421.62/421.73 c 41.2s | 15 | 108070 | 97832 | 6310 28 | 0 | 0 423.62/423.73 c 43.2s | 15 | 112633 | 101832 | 6310 30 | 0 | 0 425.63/425.79 c 45.3s | 15 | 116630 | 105532 | 6310 31 | 0 | 0 427.72/427.87 c 47.3s | 15 | 120365 | 108532 | 6310 32 | 0 | 0 429.72/429.88 c 49.3s | 15 | 125370 | 113032 | 6310 33 | 0 | 0 431.82/431.90 c 51.4s | 15 | 130699 | 117932 | 6310 34 | 0 | 0 433.82/433.95 c 53.4s | 15 | 135769 | 122632 | 6310 36 | 0 | 0 435.82/435.98 c 55.5s | 15 | 140599 | 127132 | 6310 37 | 0 | 0 437.82/437.96 c 57.4s | 16 | 145551 | 131552 | 6310 38 | 0 | 0 439.82/439.98 c 59.5s | 16 | 150534 | 136052 | 6310 40 | 0 | 0 441.92/442.01 c 61.5s | 16 | 155782 | 141052 | 6310 41 | 0 | 0 443.92/444.02 c 63.5s | 16 | 160804 | 144652 | 6310 42 | 0 | 0 445.92/446.05 c 65.5s | 16 | 165688 | 149352 | 6310 44 | 0 | 0 448.02/448.12 c 67.6s | 16 | 169765 | 152752 | 6310 45 | 0 | 0 450.02/450.15 c 69.6s | 16 | 175203 | 157052 | 6310 46 | 0 | 0 452.02/452.17 c 71.6s | 16 | 180687 | 162152 | 6310 47 | 0 | 0 454.02/454.19 c 73.7s | 16 | 186328 | 167352 | 6310 49 | 0 | 0 456.11/456.21 c 75.7s | 16 | 191774 | 172452 | 6310 51 | 0 | 0 458.11/458.25 c 77.7s | 16 | 197848 | 178252 | 6310 52 | 0 | 0 460.11/460.26 c 79.7s | 16 | 203794 | 183852 | 6310 54 | 0 | 0 462.21/462.30 c 81.8s | 16 | 208741 | 188452 | 6310 55 | 0 | 0 464.22/464.31 c 83.8s | 16 | 214110 | 193652 | 6310 57 | 0 | 0 465.51/465.67 c 85.1s | 17 | 218122 | 197432 | 6310 58 | 0 | 0 467.53/467.69 c 87.2s | 17 | 224703 | 203232 | 6310 60 | 0 | 0 469.52/469.70 c 89.2s | 17 | 229758 | 207432 | 6310 61 | 0 | 0 471.62/471.72 c 91.2s | 17 | 234931 | 211932 | 6310 62 | 0 | 0 473.62/473.74 c 93.2s | 17 | 240352 | 217032 | 6310 64 | 0 | 0 475.62/475.77 c 95.2s | 17 | 245842 | 221732 | 6310 65 | 0 | 0 477.62/477.79 c 97.3s | 17 | 250494 | 225732 | 6310 67 | 0 | 0 479.72/479.80 c 99.3s | 17 | 255439 | 230232 | 6310 68 | 0 | 0 481.72/481.86 c 101s | 17 | 260956 | 235032 | 6310 69 | 0 | 0 483.72/483.89 c 103s | 17 | 267036 | 240132 | 6310 71 | 0 | 0 485.72/485.89 c 105s | 17 | 272615 | 244732 | 6310 72 | 0 | 0 487.82/487.90 c 107s | 17 | 277758 | 248932 | 6310 74 | 0 | 0 489.82/489.93 c 109s | 17 | 283436 | 254032 | 6310 75 | 0 | 0 491.82/491.96 c 111s | 17 | 289135 | 258832 | 6310 76 | 0 | 0 493.82/493.97 c 113s | 17 | 294916 | 263732 | 6310 78 | 0 | 0 495.91/496.01 c 115s | 17 | 300407 | 268632 | 6310 79 | 0 | 0 497.91/498.03 c 117s | 17 | 305836 | 273232 | 6310 81 | 0 | 0 499.91/500.05 c 119s | 17 | 311962 | 278732 | 6310 82 | 0 | 0 501.91/502.07 c 121s | 17 | 317670 | 283832 | 6310 84 | 0 | 0 503.91/504.08 c 123s | 17 | 322222 | 287932 | 6310 85 | 0 | 0 505.92/506.08 c 125s | 17 | 327813 | 293032 | 6310 87 | 0 | 0 507.21/507.31 c 126s | 18 | 331343 | 296252 | 6310 88 | 0 | 0 509.22/509.33 c 128s | 18 | 339201 | 303752 | 6310 90 | 0 | 0 511.21/511.36 c 130s | 18 | 345966 | 310052 | 6310 92 | 0 | 0 513.21/513.39 c 132s | 18 | 352160 | 315752 | 6310 93 | 0 | 0 515.31/515.42 c 134s | 18 | 358544 | 321552 | 6310 95 | 0 | 0 517.31/517.45 c 136s | 18 | 364150 | 326152 | 6310 96 | 0 | 0 519.31/519.45 c 138s | 18 | 370066 | 330752 | 6310 98 | 0 | 0 521.31/521.47 c 140s | 18 | 375097 | 335452 | 6310 99 | 0 | 0 523.31/523.47 c 142s | 18 | 380129 | 339752 | 6310 100 | 0 | 0 525.41/525.51 c 144s | 18 | 386400 | 345452 | 6310 102 | 0 | 0 527.41/527.55 c 147s | 18 | 391762 | 350252 | 6310 104 | 0 | 0 529.41/529.55 c 149s | 18 | 397301 | 355252 | 6310 105 | 0 | 0 531.41/531.57 c 151s | 18 | 403551 | 361252 | 6310 107 | 0 | 0 533.41/533.57 c 153s | 18 | 409947 | 366852 | 6310 108 | 0 | 0 535.41/535.59 c 155s | 18 | 416857 | 373552 | 6310 110 | 0 | 0 537.51/537.60 c 157s | 18 | 423141 | 379552 | 6310 112 | 0 | 0 539.51/539.63 c 159s | 18 | 428391 | 384552 | 6310 114 | 0 | 0 541.50/541.66 c 161s | 18 | 433959 | 389952 | 6310 115 | 0 | 0 543.50/543.69 c 163s | 18 | 439545 | 395152 | 6310 117 | 0 | 0 545.61/545.70 c 165s | 18 | 445171 | 400452 | 6310 118 | 0 | 0 547.60/547.71 c 167s | 18 | 451743 | 406552 | 6310 120 | 0 | 0 549.60/549.72 c 169s | 18 | 456908 | 411352 | 6310 121 | 0 | 0 551.60/551.73 c 171s | 18 | 462308 | 416552 | 6310 123 | 0 | 0 553.60/553.74 c 173s | 18 | 467748 | 421652 | 6310 124 | 0 | 0 555.60/555.79 c 175s | 18 | 473172 | 426852 | 6310 126 | 0 | 0 557.71/557.81 c 177s | 18 | 479335 | 432652 | 6310 128 | 0 | 0 559.70/559.82 c 179s | 18 | 484937 | 438052 | 6310 129 | 0 | 0 561.70/561.83 c 181s | 18 | 490756 | 443652 | 6310 131 | 0 | 0 562.01/562.16 c 181s | 19 | 491628 | 444482 | 6310 131 | 0 | 0 564.00/564.18 c 183s | 19 | 499361 | 451682 | 6310 133 | 0 | 0 566.00/566.19 c 185s | 19 | 504751 | 456782 | 6310 135 | 0 | 0 568.10/568.23 c 187s | 19 | 509502 | 461282 | 6942 136 | 0 | 0 570.10/570.26 c 189s | 19 | 513657 | 465082 | 6942 137 | 0 | 0 572.10/572.27 c 191s | 19 | 518166 | 469282 | 6942 138 | 0 | 0 574.21/574.31 c 193s | 19 | 522246 | 472782 | 6942 139 | 0 | 0 576.20/576.33 c 195s | 19 | 527038 | 477382 | 6942 140 | 0 | 0 578.20/578.33 c 197s | 19 | 531231 | 481282 | 6942 141 | 0 | 0 580.20/580.34 c 199s | 19 | 535372 | 485082 | 6942 142 | 0 | 0 582.20/582.35 c 201s | 19 | 539442 | 488782 | 6942 143 | 0 | 0 584.20/584.38 c 203s | 19 | 543405 | 492282 | 6942 144 | 0 | 0 586.30/586.42 c 205s | 19 | 547620 | 495982 | 6942 145 | 0 | 0 588.30/588.48 c 207s | 19 | 552323 | 499782 | 6942 147 | 0 | 0 590.30/590.48 c 209s | 19 | 556464 | 503482 | 6942 148 | 0 | 0 592.40/592.52 c 211s | 19 | 561278 | 507882 | 6942 149 | 0 | 0 594.40/594.55 c 214s | 19 | 565346 | 511782 | 6942 150 | 0 | 0 596.40/596.57 c 216s | 19 | 569277 | 515582 | 6942 151 | 0 | 0 598.50/598.62 c 218s | 19 | 573455 | 519582 | 6942 152 | 0 | 0 600.50/600.67 c 220s | 19 | 577970 | 523682 | 6942 153 | 0 | 0 602.49/602.69 c 222s | 19 | 583559 | 528782 | 6942 154 | 0 | 0 604.69/604.80 c 224s | 19 | 588544 | 533282 | 6942 156 | 0 | 0 606.69/606.83 c 226s | 19 | 595586 | 538982 | 6942 157 | 0 | 0 608.69/608.88 c 228s | 19 | 601987 | 544682 | 6942 159 | 0 | 0 610.79/610.98 c 230s | 19 | 609319 | 549882 | 6942 160 | 0 | 0 612.89/613.02 c 232s | 19 | 611106 | 551282 | 6942 160 | 0 | 0 614.91/615.03 c 234s | 19 | 613643 | 553382 | 6942 161 | 0 | 0 616.90/617.03 c 236s | 19 | 617161 | 556382 | 6942 162 | 0 | 0 618.90/619.05 c 238s | 19 | 621042 | 559882 | 6942 162 | 0 | 0 621.00/621.15 c 240s | 19 | 624920 | 562882 | 6942 163 | 0 | 0 623.00/623.16 c 242s | 19 | 629942 | 567082 | 6942 164 | 0 | 0 625.00/625.18 c 244s | 19 | 635020 | 571782 | 6942 166 | 0 | 0 627.10/627.20 c 246s | 19 | 640209 | 576682 | 6942 167 | 0 | 0 629.10/629.25 c 248s | 19 | 645288 | 581382 | 6942 168 | 0 | 0 631.10/631.27 c 250s | 19 | 650323 | 586082 | 6942 169 | 0 | 0 633.19/633.32 c 252s | 19 | 654684 | 590182 | 6942 170 | 0 | 0 635.19/635.32 c 254s | 19 | 661341 | 596282 | 6942 172 | 0 | 0 637.19/637.33 c 256s | 19 | 666499 | 600982 | 6942 173 | 0 | 0 639.19/639.38 c 258s | 19 | 671599 | 605582 | 6942 175 | 0 | 0 641.20/641.39 c 260s | 19 | 677085 | 610782 | 6942 176 | 0 | 0 643.19/643.39 c 262s | 19 | 681848 | 614982 | 6942 177 | 0 | 0 645.19/645.39 c 264s | 19 | 687126 | 619982 | 6942 178 | 0 | 0 647.29/647.41 c 266s | 19 | 692080 | 624682 | 6942 180 | 0 | 0 649.29/649.46 c 268s | 19 | 697161 | 629482 | 6942 181 | 0 | 0 651.29/651.48 c 270s | 19 | 702677 | 634682 | 6942 182 | 0 | 0 653.30/653.48 c 272s | 19 | 707853 | 639682 | 6942 183 | 0 | 0 655.29/655.49 c 274s | 19 | 713855 | 645382 | 6942 185 | 0 | 0 657.39/657.51 c 276s | 19 | 719117 | 650482 | 6942 186 | 0 | 0 659.39/659.52 c 278s | 19 | 724367 | 655582 | 6942 188 | 0 | 0 661.39/661.55 c 281s | 19 | 729714 | 660782 | 6942 189 | 0 | 0 663.39/663.56 c 283s | 19 | 735007 | 665882 | 6942 190 | 0 | 0 663.79/663.97 c 283s | 20 | 735971 | 666827 | 6942 191 | 0 | 0 665.79/665.97 c 285s | 20 | 741318 | 671527 | 6942 192 | 0 | 0 667.89/668.01 c 287s | 20 | 745123 | 675127 | 6942 193 | 0 | 0 669.90/670.04 c 289s | 20 | 749032 | 678627 | 6942 194 | 0 | 0 671.89/672.05 c 291s | 20 | 753531 | 682427 | 6942 195 | 0 | 0 673.89/674.08 c 293s | 20 | 757490 | 686027 | 6942 196 | 0 | 0 675.89/676.09 c 295s | 20 | 761414 | 689627 | 6942 197 | 0 | 0 677.99/678.13 c 297s | 20 | 766377 | 694227 | 6942 198 | 0 | 0 679.99/680.16 c 299s | 20 | 771124 | 698727 | 6942 199 | 0 | 0 681.99/682.18 c 301s | 20 | 775559 | 702927 | 6942 200 | 0 | 0 684.09/684.21 c 303s | 20 | 779831 | 706827 | 6942 201 | 0 | 0 686.08/686.22 c 305s | 20 | 783773 | 710427 | 6942 202 | 0 | 0 688.08/688.25 c 307s | 20 | 788085 | 714427 | 6942 203 | 0 | 0 690.08/690.28 c 309s | 20 | 792575 | 718727 | 6942 205 | 0 | 0 692.18/692.30 c 311s | 20 | 797822 | 723527 | 6942 206 | 0 | 0 694.18/694.31 c 313s | 20 | 801555 | 727027 | 6942 207 | 0 | 0 696.19/696.34 c 315s | 20 | 805608 | 730927 | 6942 208 | 0 | 0 698.28/698.41 c 317s | 20 | 809056 | 734227 | 6942 209 | 0 | 0 700.28/700.44 c 319s | 20 | 813125 | 738127 | 6942 210 | 0 | 0 702.28/702.47 c 321s | 20 | 817677 | 742327 | 6942 211 | 0 | 0 704.38/704.50 c 323s | 20 | 822685 | 747127 | 6942 212 | 0 | 0 706.38/706.52 c 325s | 20 | 827766 | 751927 | 6942 214 | 0 | 0 708.39/708.52 c 327s | 20 | 833019 | 756827 | 6942 215 | 0 | 0 710.38/710.52 c 329s | 20 | 837749 | 761227 | 6942 216 | 0 | 0 712.38/712.53 c 332s | 20 | 842292 | 765527 | 6942 217 | 0 | 0 714.38/714.55 c 334s | 20 | 847512 | 770427 | 6942 219 | 0 | 0 716.38/716.56 c 336s | 20 | 852810 | 775527 | 6942 220 | 0 | 0 718.38/718.59 c 338s | 20 | 857929 | 780327 | 6942 221 | 0 | 0 720.39/720.60 c 340s | 20 | 863010 | 785127 | 6942 222 | 0 | 0 722.48/722.60 c 342s | 20 | 867541 | 789427 | 6942 224 | 0 | 0 724.47/724.62 c 344s | 20 | 872507 | 794027 | 6942 225 | 0 | 0 726.47/726.63 c 346s | 20 | 877069 | 798227 | 6942 226 | 0 | 0 728.47/728.66 c 348s | 20 | 881591 | 802427 | 6942 227 | 0 | 0 730.47/730.69 c 350s | 20 | 886461 | 807027 | 6942 228 | 0 | 0 732.48/732.70 c 352s | 20 | 891146 | 811427 | 6942 230 | 0 | 0 734.57/734.71 c 354s | 20 | 896092 | 816027 | 6942 231 | 0 | 0 736.57/736.73 c 356s | 20 | 901061 | 820627 | 6942 232 | 0 | 0 738.57/738.77 c 358s | 20 | 905723 | 824727 | 6942 233 | 0 | 0 740.57/740.77 c 360s | 20 | 910449 | 829327 | 6942 234 | 0 | 0 742.57/742.79 c 362s | 20 | 915099 | 833727 | 6942 236 | 0 | 0 744.67/744.80 c 364s | 20 | 919407 | 837827 | 6942 237 | 0 | 0 746.67/746.83 c 366s | 20 | 924394 | 842527 | 6942 238 | 0 | 0 748.67/748.83 c 368s | 20 | 929046 | 846927 | 6942 239 | 0 | 0 750.67/750.84 c 370s | 20 | 934154 | 851827 | 6942 240 | 0 | 0 752.67/752.85 c 372s | 20 | 939173 | 856527 | 6942 242 | 0 | 0 754.66/754.86 c 374s | 20 | 944270 | 861227 | 6942 243 | 0 | 0 756.67/756.87 c 376s | 20 | 949043 | 865527 | 6942 244 | 0 | 0 758.66/758.87 c 378s | 20 | 953604 | 869827 | 6942 245 | 0 | 0 760.66/760.87 c 380s | 20 | 957757 | 873727 | 6942 246 | 0 | 0 762.76/762.90 c 382s | 20 | 962521 | 878427 | 6942 248 | 0 | 0 764.76/764.94 c 384s | 20 | 967532 | 883227 | 6942 249 | 0 | 0 766.76/766.94 c 386s | 20 | 972808 | 888227 | 6942 250 | 0 | 0 768.76/768.96 c 388s | 20 | 977828 | 892927 | 6942 251 | 0 | 0 770.76/770.99 c 390s | 20 | 983092 | 897927 | 6942 253 | 0 | 0 772.76/772.99 c 392s | 20 | 987751 | 902327 | 6942 254 | 0 | 0 774.85/775.04 c 394s | 20 | 992563 | 907027 | 6942 255 | 0 | 0 776.85/777.05 c 396s | 20 | 997337 | 911627 | 6942 256 | 0 | 0 778.85/779.06 c 398s | 20 | 1002711 | 916827 | 6942 258 | 0 | 0 780.86/781.09 c 400s | 20 | 1007506 | 921327 | 6942 259 | 0 | 0 782.96/783.14 c 402s | 20 | 1012277 | 925827 | 6942 260 | 0 | 0 784.95/785.15 c 404s | 20 | 1017176 | 930327 | 6942 262 | 0 | 0 786.95/787.16 c 406s | 20 | 1021892 | 934827 | 6942 263 | 0 | 0 788.95/789.17 c 408s | 20 | 1026568 | 939327 | 6942 264 | 0 | 0 790.95/791.17 c 410s | 20 | 1032016 | 944327 | 6942 265 | 0 | 0 792.96/793.19 c 412s | 20 | 1036125 | 948127 | 6942 266 | 0 | 0 795.05/795.26 c 414s | 20 | 1039857 | 951627 | 6942 267 | 0 | 0 797.05/797.29 c 416s | 20 | 1043452 | 955127 | 6942 268 | 0 | 0 799.15/799.30 c 418s | 20 | 1047411 | 958927 | 6942 269 | 0 | 0 801.15/801.30 c 420s | 20 | 1052012 | 963227 | 6942 270 | 0 | 0 803.14/803.31 c 422s | 20 | 1057267 | 968227 | 6942 272 | 0 | 0 805.15/805.35 c 424s | 20 | 1062088 | 972727 | 6942 273 | 0 | 0 807.14/807.39 c 426s | 20 | 1067449 | 977927 | 6942 274 | 0 | 0 809.24/809.43 c 428s | 20 | 1072270 | 982427 | 6942 276 | 0 | 0 811.24/811.46 c 430s | 20 | 1076127 | 986027 | 6942 276 | 0 | 0 813.24/813.46 c 432s | 20 | 1080952 | 990727 | 6942 278 | 0 | 0 815.34/815.50 c 434s | 20 | 1085468 | 995027 | 6942 279 | 0 | 0 817.33/817.55 c 437s | 20 | 1089957 | 999327 | 6942 280 | 0 | 0 817.93/818.14 c 437s | 21 | 1091169 | 1000345 | 6942 280 | 0 | 0 819.93/820.15 c 439s | 21 | 1095431 | 1003845 | 6942 281 | 0 | 0 821.93/822.18 c 441s | 21 | 1100044 | 1008045 | 6942 282 | 0 | 0 824.03/824.24 c 443s | 21 | 1103704 | 1010845 | 6942 283 | 0 | 0 826.04/826.25 c 445s | 21 | 1108678 | 1015645 | 6942 284 | 0 | 0 828.03/828.27 c 447s | 21 | 1114123 | 1020845 | 6942 286 | 0 | 0 830.03/830.29 c 449s | 21 | 1117842 | 1024445 | 6942 287 | 0 | 0 832.13/832.32 c 451s | 21 | 1123283 | 1029645 | 6942 288 | 0 | 0 834.12/834.33 c 453s | 21 | 1127513 | 1033645 | 6942 289 | 0 | 0 836.22/836.40 c 455s | 21 | 1131293 | 1037145 | 6942 290 | 0 | 0 838.22/838.41 c 457s | 21 | 1134116 | 1039845 | 6942 291 | 0 | 0 840.23/840.44 c 459s | 21 | 1139829 | 1044845 | 6942 293 | 0 | 0 842.22/842.45 c 461s | 21 | 1143549 | 1048245 | 6942 293 | 0 | 0 844.22/844.45 c 463s | 21 | 1147592 | 1052145 | 6942 295 | 0 | 0 846.22/846.49 c 465s | 21 | 1152614 | 1056345 | 6942 296 | 0 | 0 848.32/848.55 c 468s | 21 | 1157360 | 1059845 | 6942 297 | 0 | 0 850.32/850.57 c 470s | 21 | 1162635 | 1063445 | 6942 298 | 0 | 0 852.33/852.59 c 472s | 21 | 1167983 | 1068545 | 6942 299 | 0 | 0 854.42/854.63 c 474s | 21 | 1173120 | 1073445 | 6942 300 | 0 | 0 856.42/856.69 c 476s | 21 | 1177651 | 1077645 | 6942 302 | 0 | 0 858.52/858.73 c 478s | 21 | 1182812 | 1082645 | 6942 303 | 0 | 0 860.52/860.75 c 480s | 21 | 1187809 | 1087445 | 6942 304 | 0 | 0 862.51/862.79 c 482s | 21 | 1192477 | 1091845 | 6942 305 | 0 | 0 864.61/864.82 c 484s | 21 | 1196306 | 1095445 | 6942 306 | 0 | 0 866.62/866.83 c 486s | 21 | 1200420 | 1099245 | 6942 307 | 0 | 0 868.61/868.84 c 488s | 21 | 1205026 | 1103645 | 6942 309 | 0 | 0 870.61/870.84 c 490s | 21 | 1209467 | 1107845 | 6942 310 | 0 | 0 872.61/872.88 c 492s | 21 | 1213360 | 1111445 | 6942 311 | 0 | 0 874.61/874.89 c 494s | 21 | 1216912 | 1114845 | 6942 312 | 0 | 0 876.71/876.91 c 496s | 21 | 1221187 | 1118845 | 6942 313 | 0 | 0 878.71/878.91 c 498s | 21 | 1226163 | 1123645 | 6942 314 | 0 | 0 880.71/880.92 c 500s | 21 | 1232858 | 1130245 | 6942 316 | 0 | 0 882.71/882.94 c 502s | 21 | 1238931 | 1136245 | 6942 318 | 0 | 0 884.70/884.94 c 504s | 21 | 1245570 | 1142345 | 6942 318 | 3 | 17 886.70/886.97 c 506s | 21 | 1251059 | 1147545 | 6942 320 | 3 | 17 888.70/889.00 c 508s | 21 | 1256073 | 1152145 | 6942 321 | 3 | 17 890.70/891.00 c 510s | 21 | 1261032 | 1156845 | 6942 322 | 3 | 17 892.80/893.03 c 512s | 21 | 1265884 | 1161345 | 6942 324 | 3 | 17 894.79/895.07 c 514s | 21 | 1270577 | 1165845 | 6942 325 | 3 | 17 896.79/897.07 c 516s | 21 | 1275215 | 1170245 | 6942 326 | 3 | 17 898.89/899.11 c 518s | 21 | 1279668 | 1174545 | 6942 327 | 3 | 17 900.89/901.15 c 520s | 21 | 1284442 | 1178945 | 6942 329 | 3 | 17 902.90/903.15 c 522s | 21 | 1288726 | 1183045 | 6942 330 | 3 | 17 904.89/905.16 c 524s | 21 | 1292917 | 1187045 | 6942 331 | 3 | 17 906.89/907.18 c 526s | 21 | 1296849 | 1190745 | 6942 332 | 3 | 17 908.99/909.21 c 528s | 21 | 1301433 | 1195145 | 6942 333 | 3 | 17 910.99/911.24 c 530s | 21 | 1306319 | 1199845 | 6942 334 | 3 | 17 912.99/913.25 c 532s | 21 | 1310904 | 1204145 | 7637 335 | 3 | 17 914.99/915.30 c 534s | 21 | 1315458 | 1208445 | 7637 336 | 3 | 17 917.08/917.33 c 536s | 21 | 1319648 | 1212445 | 7637 337 | 3 | 17 919.08/919.34 c 538s | 21 | 1324169 | 1216545 | 7637 338 | 3 | 17 921.08/921.38 c 540s | 21 | 1329110 | 1221245 | 7637 340 | 3 | 17 923.19/923.41 c 542s | 21 | 1334515 | 1226345 | 7637 341 | 3 | 17 925.19/925.44 c 544s | 21 | 1339170 | 1230845 | 7637 342 | 3 | 17 927.19/927.47 c 546s | 21 | 1344766 | 1236045 | 7637 343 | 3 | 17 929.29/929.52 c 548s | 21 | 1349787 | 1240745 | 7637 345 | 3 | 17 931.28/931.54 c 551s | 21 | 1354795 | 1245445 | 7637 346 | 3 | 17 933.28/933.56 c 553s | 21 | 1359206 | 1249445 | 7637 347 | 3 | 17 935.28/935.58 c 555s | 21 | 1363721 | 1253745 | 7637 348 | 3 | 17 937.38/937.60 c 557s | 21 | 1368915 | 1258645 | 7637 349 | 3 | 17 939.38/939.66 c 559s | 21 | 1373019 | 1262445 | 7637 350 | 3 | 17 941.38/941.66 c 561s | 21 | 1377942 | 1267145 | 7637 351 | 3 | 17 943.38/943.67 c 563s | 21 | 1382420 | 1271345 | 7637 352 | 3 | 17 945.38/945.69 c 565s | 21 | 1386938 | 1275745 | 7637 353 | 3 | 17 947.47/947.71 c 567s | 21 | 1391718 | 1280345 | 7637 354 | 3 | 17 949.47/949.72 c 569s | 21 | 1395923 | 1284445 | 7637 356 | 3 | 17 951.47/951.72 c 571s | 21 | 1401095 | 1289445 | 7637 357 | 3 | 17 953.48/953.73 c 573s | 21 | 1406341 | 1294445 | 7637 358 | 3 | 17 955.47/955.74 c 575s | 21 | 1410998 | 1298845 | 7637 359 | 3 | 17 957.47/957.75 c 577s | 21 | 1415749 | 1303245 | 7637 360 | 3 | 17 959.47/959.79 c 579s | 21 | 1420366 | 1307545 | 7637 361 | 3 | 17 961.57/961.82 c 581s | 21 | 1424647 | 1311545 | 7637 362 | 3 | 17 963.57/963.82 c 583s | 21 | 1428896 | 1315645 | 7637 363 | 3 | 17 965.57/965.83 c 585s | 21 | 1433507 | 1319945 | 7637 364 | 3 | 17 967.57/967.83 c 587s | 21 | 1437887 | 1324045 | 7637 365 | 3 | 17 969.57/969.87 c 589s | 21 | 1442210 | 1328145 | 7637 367 | 3 | 17 971.56/971.88 c 591s | 21 | 1446442 | 1332145 | 7637 368 | 3 | 17 973.66/973.95 c 593s | 21 | 1450664 | 1336045 | 7637 369 | 3 | 17 975.66/975.99 c 595s | 21 | 1455349 | 1340245 | 7637 370 | 3 | 17 977.77/978.01 c 597s | 21 | 1459490 | 1344045 | 7637 371 | 3 | 17 979.76/980.04 c 599s | 21 | 1463689 | 1347745 | 7637 371 | 3 | 17 981.76/982.06 c 601s | 21 | 1468012 | 1351845 | 7637 372 | 3 | 17 983.76/984.09 c 603s | 21 | 1472573 | 1356145 | 7637 374 | 3 | 17 985.86/986.10 c 605s | 21 | 1477016 | 1360345 | 7637 375 | 3 | 17 987.86/988.11 c 607s | 21 | 1480959 | 1364045 | 7637 376 | 3 | 17 989.86/990.15 c 609s | 21 | 1485515 | 1368345 | 7637 377 | 3 | 17 991.86/992.19 c 611s | 21 | 1490697 | 1373145 | 7637 378 | 3 | 17 993.85/994.19 c 613s | 21 | 1495145 | 1377245 | 7637 379 | 3 | 17 995.95/996.24 c 615s | 21 | 1499812 | 1381745 | 7637 380 | 3 | 17 997.95/998.27 c 617s | 21 | 1503659 | 1385245 | 7637 381 | 3 | 17 1000.05/1000.30 c 619s | 21 | 1508552 | 1389745 | 7637 382 | 3 | 17 1002.05/1002.30 c 621s | 21 | 1513095 | 1393945 | 7637 383 | 3 | 17 1004.05/1004.30 c 623s | 21 | 1518506 | 1399045 | 7637 384 | 3 | 17 1006.05/1006.31 c 625s | 21 | 1523929 | 1404145 | 7637 386 | 3 | 17 1008.05/1008.34 c 627s | 21 | 1529683 | 1409645 | 7637 387 | 3 | 17 1010.05/1010.37 c 629s | 21 | 1535003 | 1414745 | 7637 388 | 3 | 17 1012.05/1012.39 c 631s | 21 | 1540520 | 1420045 | 7637 390 | 3 | 17 1014.15/1014.40 c 633s | 21 | 1545492 | 1424745 | 7637 391 | 3 | 17 1016.15/1016.42 c 635s | 21 | 1551222 | 1430045 | 7637 392 | 3 | 17 1018.25/1018.50 c 637s | 21 | 1556574 | 1435145 | 7637 394 | 3 | 17 1020.25/1020.52 c 639s | 21 | 1561961 | 1440145 | 7637 395 | 3 | 17 1022.25/1022.59 c 642s | 21 | 1566825 | 1444745 | 7637 396 | 3 | 17 1024.34/1024.62 c 644s | 21 | 1571915 | 1449545 | 7637 397 | 3 | 17 1026.34/1026.65 c 646s | 21 | 1576462 | 1453745 | 7637 398 | 3 | 17 1028.35/1028.67 c 648s | 21 | 1581730 | 1458745 | 7637 399 | 3 | 17 1030.34/1030.70 c 650s | 21 | 1586372 | 1462945 | 7637 401 | 3 | 17 1032.44/1032.73 c 652s | 21 | 1591561 | 1467745 | 7637 402 | 3 | 17 1034.44/1034.77 c 654s | 21 | 1596170 | 1472145 | 7637 403 | 3 | 17 1036.54/1036.82 c 656s | 21 | 1600821 | 1476745 | 7637 404 | 3 | 17 1038.54/1038.85 c 658s | 21 | 1604882 | 1480745 | 7637 405 | 3 | 17 1040.64/1040.90 c 660s | 21 | 1609360 | 1485145 | 7637 406 | 3 | 17 1042.64/1042.94 c 662s | 21 | 1613608 | 1489345 | 7637 407 | 3 | 17 1044.63/1044.97 c 664s | 21 | 1618050 | 1493645 | 7637 408 | 3 | 17 1046.73/1047.01 c 666s | 21 | 1622228 | 1497745 | 7637 409 | 3 | 17 1047.93/1048.24 c 667s | 22 | 1625224 | 1500622 | 7637 410 | 3 | 17 1049.93/1050.26 c 669s | 22 | 1633328 | 1508022 | 7637 412 | 3 | 17 1051.93/1052.28 c 671s | 22 | 1639300 | 1513222 | 7637 413 | 3 | 17 1053.93/1054.29 c 673s | 22 | 1643847 | 1517122 | 7637 414 | 3 | 17 1056.03/1056.30 c 675s | 22 | 1648693 | 1521522 | 7637 415 | 3 | 17 1058.03/1058.33 c 677s | 22 | 1654526 | 1526722 | 7637 416 | 3 | 17 1060.02/1060.38 c 679s | 22 | 1660718 | 1532422 | 7637 418 | 3 | 17 1062.12/1062.41 c 681s | 22 | 1665885 | 1537122 | 7637 419 | 3 | 17 1064.12/1064.42 c 683s | 22 | 1671688 | 1542322 | 7637 420 | 3 | 17 1066.12/1066.43 c 685s | 22 | 1677086 | 1547322 | 7637 422 | 3 | 17 1068.12/1068.47 c 687s | 22 | 1682621 | 1552522 | 7637 423 | 3 | 17 1070.22/1070.50 c 689s | 22 | 1687722 | 1557222 | 7637 424 | 3 | 17 1072.23/1072.52 c 691s | 22 | 1692971 | 1562022 | 7637 425 | 3 | 17 1074.21/1074.53 c 693s | 22 | 1698018 | 1566722 | 7637 426 | 3 | 17 1076.21/1076.53 c 696s | 22 | 1703080 | 1571422 | 7637 428 | 3 | 17 1078.21/1078.54 c 698s | 22 | 1708488 | 1576422 | 7637 429 | 3 | 17 1080.21/1080.55 c 700s | 22 | 1713928 | 1581622 | 7637 430 | 3 | 17 1082.22/1082.59 c 702s | 22 | 1718728 | 1585822 | 7637 431 | 3 | 17 1084.32/1084.62 c 704s | 22 | 1723803 | 1590322 | 7637 432 | 3 | 17 1086.31/1086.66 c 706s | 22 | 1728647 | 1594822 | 7637 433 | 3 | 17 1088.31/1088.68 c 708s | 22 | 1733572 | 1599422 | 7637 435 | 3 | 17 1090.31/1090.69 c 710s | 22 | 1739756 | 1605422 | 7637 436 | 3 | 17 1092.41/1092.73 c 712s | 22 | 1743570 | 1609022 | 7637 437 | 3 | 17 1094.41/1094.74 c 714s | 22 | 1748583 | 1613522 | 7637 438 | 3 | 17 1096.41/1096.74 c 716s | 22 | 1754521 | 1618822 | 7637 439 | 3 | 17 1098.41/1098.77 c 718s | 22 | 1760225 | 1624122 | 7637 441 | 3 | 17 1100.41/1100.78 c 720s | 22 | 1764990 | 1628422 | 7637 442 | 3 | 17 1102.41/1102.79 c 722s | 22 | 1769748 | 1632422 | 7637 443 | 3 | 17 1104.50/1104.82 c 724s | 22 | 1775679 | 1637722 | 7637 444 | 3 | 17 1106.50/1106.85 c 726s | 22 | 1781357 | 1642722 | 7637 445 | 3 | 17 1108.51/1108.85 c 728s | 22 | 1786484 | 1647422 | 7637 446 | 3 | 17 1110.50/1110.87 c 730s | 22 | 1791448 | 1652322 | 7637 448 | 3 | 17 1112.50/1112.87 c 732s | 22 | 1797065 | 1657422 | 7637 449 | 3 | 17 1114.50/1114.87 c 734s | 22 | 1801915 | 1662122 | 7637 450 | 3 | 17 1116.50/1116.89 c 736s | 22 | 1807662 | 1667522 | 7637 451 | 3 | 17 1118.60/1118.91 c 738s | 22 | 1813590 | 1673022 | 7637 453 | 3 | 17 1120.61/1120.96 c 740s | 22 | 1817753 | 1676922 | 7637 454 | 3 | 17 1122.61/1122.97 c 742s | 22 | 1822778 | 1681822 | 7637 455 | 3 | 17 1124.60/1124.99 c 744s | 22 | 1827774 | 1686722 | 7637 456 | 3 | 17 1126.70/1127.04 c 746s | 22 | 1833896 | 1692722 | 7637 458 | 3 | 17 1128.70/1129.05 c 748s | 22 | 1840019 | 1698222 | 7637 459 | 3 | 17 1130.70/1131.07 c 750s | 22 | 1845363 | 1703222 | 7637 460 | 3 | 17 1132.71/1133.08 c 752s | 22 | 1849802 | 1707522 | 7637 461 | 3 | 17 1134.70/1135.09 c 754s | 22 | 1854236 | 1711822 | 7637 462 | 3 | 17 1136.80/1137.13 c 756s | 22 | 1860551 | 1718022 | 7637 464 | 3 | 17 1138.80/1139.15 c 758s | 22 | 1866572 | 1723922 | 7637 465 | 3 | 17 1140.80/1141.17 c 760s | 22 | 1870464 | 1727522 | 7637 466 | 3 | 17 1142.90/1143.22 c 762s | 22 | 1875322 | 1732022 | 7637 467 | 3 | 17 1144.90/1145.22 c 764s | 22 | 1880698 | 1737022 | 7637 469 | 3 | 17 1146.89/1147.27 c 766s | 22 | 1886024 | 1742222 | 7637 470 | 3 | 17 1148.89/1149.27 c 768s | 22 | 1890842 | 1746822 | 7637 471 | 3 | 17 1150.99/1151.31 c 770s | 22 | 1895782 | 1750922 | 7637 472 | 3 | 17 1152.99/1153.32 c 772s | 22 | 1900946 | 1755622 | 7637 473 | 3 | 17 1154.99/1155.35 c 774s | 22 | 1906272 | 1760322 | 7637 474 | 3 | 17 1156.99/1157.37 c 776s | 22 | 1911139 | 1764722 | 7637 476 | 3 | 17 1158.99/1159.38 c 778s | 22 | 1916702 | 1770122 | 7637 477 | 3 | 17 1161.09/1161.44 c 780s | 22 | 1921198 | 1774422 | 7637 478 | 3 | 17 1163.08/1163.46 c 782s | 22 | 1925943 | 1778922 | 7637 479 | 3 | 17 1165.08/1165.48 c 784s | 22 | 1930103 | 1782822 | 7637 480 | 3 | 17 1167.08/1167.49 c 786s | 22 | 1933896 | 1786322 | 7637 481 | 3 | 17 1169.18/1169.51 c 788s | 22 | 1939482 | 1791222 | 7637 482 | 3 | 17 1171.19/1171.53 c 790s | 22 | 1945008 | 1796322 | 7637 483 | 3 | 17 1173.18/1173.57 c 793s | 22 | 1950633 | 1801622 | 7637 485 | 3 | 17 1175.27/1175.60 c 795s | 22 | 1955221 | 1805922 | 7637 486 | 3 | 17 1177.27/1177.66 c 797s | 22 | 1959671 | 1810222 | 7637 487 | 3 | 17 1179.27/1179.66 c 799s | 22 | 1964536 | 1814822 | 7637 488 | 3 | 17 1181.27/1181.67 c 801s | 22 | 1968633 | 1818622 | 7637 489 | 3 | 17 1183.27/1183.69 c 803s | 22 | 1974570 | 1824322 | 7637 490 | 3 | 17 1185.37/1185.71 c 805s | 22 | 1979651 | 1829322 | 7637 492 | 3 | 17 1187.37/1187.73 c 807s | 22 | 1986031 | 1835622 | 7637 493 | 3 | 17 1189.37/1189.74 c 809s | 22 | 1991367 | 1840822 | 7637 495 | 3 | 17 1191.37/1191.77 c 811s | 22 | 1997546 | 1846422 | 7637 496 | 3 | 17 1193.46/1193.81 c 813s | 22 | 2002295 | 1850822 | 7637 497 | 3 | 17 1195.47/1195.86 c 815s | 22 | 2007578 | 1855422 | 7637 498 | 3 | 17 1197.46/1197.87 c 817s | 22 | 2012197 | 1859822 | 7637 499 | 3 | 17 1199.56/1199.90 c 819s | 22 | 2017645 | 1865022 | 7637 501 | 3 | 17 1201.56/1201.95 c 821s | 22 | 2023451 | 1870322 | 7637 502 | 3 | 17 1203.56/1203.95 c 823s | 22 | 2029369 | 1876122 | 7637 503 | 3 | 17 1205.55/1205.96 c 825s | 22 | 2033618 | 1879922 | 7637 504 | 3 | 17 1207.57/1207.99 c 827s | 22 | 2039527 | 1885622 | 7637 506 | 3 | 17 1209.56/1209.99 c 829s | 22 | 2044740 | 1890722 | 7637 507 | 3 | 17 1211.66/1212.01 c 831s | 22 | 2049998 | 1895622 | 7637 508 | 3 | 17 1213.66/1214.04 c 833s | 22 | 2055290 | 1900622 | 7637 509 | 3 | 17 1215.66/1216.06 c 835s | 22 | 2060605 | 1905422 | 7637 511 | 3 | 17 1217.76/1218.10 c 837s | 22 | 2065353 | 1909922 | 7637 512 | 3 | 17 1219.76/1220.10 c 839s | 22 | 2070340 | 1914822 | 7637 513 | 3 | 17 1221.76/1222.11 c 841s | 22 | 2076349 | 1920722 | 7637 514 | 3 | 17 1223.76/1224.14 c 843s | 22 | 2081428 | 1925722 | 7637 516 | 3 | 17 1225.75/1226.19 c 845s | 22 | 2085852 | 1930022 | 7637 517 | 3 | 17 1227.85/1228.22 c 847s | 22 | 2091000 | 1935022 | 7637 518 | 3 | 17 1229.85/1230.24 c 849s | 22 | 2096077 | 1939922 | 7637 519 | 3 | 17 1231.85/1232.25 c 851s | 22 | 2100318 | 1944122 | 7637 520 | 3 | 17 1233.85/1234.27 c 853s | 22 | 2105310 | 1948822 | 7637 521 | 3 | 17 1235.95/1236.30 c 855s | 22 | 2109894 | 1953322 | 7637 522 | 3 | 17 1237.95/1238.32 c 857s | 22 | 2115079 | 1958322 | 7637 524 | 3 | 17 1239.95/1240.34 c 859s | 22 | 2120120 | 1963022 | 7637 525 | 3 | 17 1241.95/1242.34 c 861s | 22 | 2125581 | 1968022 | 7637 526 | 3 | 17 1243.94/1244.38 c 863s | 22 | 2131335 | 1973422 | 7637 527 | 3 | 17 1246.05/1246.41 c 865s | 22 | 2135865 | 1977622 | 7637 528 | 3 | 17 1248.04/1248.42 c 867s | 22 | 2141238 | 1982822 | 7637 530 | 3 | 17 1250.04/1250.44 c 869s | 22 | 2146436 | 1987522 | 7637 531 | 3 | 17 1252.04/1252.47 c 871s | 22 | 2151243 | 1992122 | 7637 532 | 3 | 17 1254.04/1254.49 c 873s | 22 | 2156447 | 1996922 | 7637 533 | 3 | 17 1256.14/1256.52 c 875s | 22 | 2161637 | 2001622 | 7637 534 | 3 | 17 1258.14/1258.58 c 878s | 22 | 2166822 | 2006722 | 7637 536 | 3 | 17 1260.14/1260.60 c 880s | 22 | 2172774 | 2012522 | 7637 537 | 3 | 17 1262.24/1262.61 c 882s | 22 | 2177704 | 2017322 | 7637 538 | 3 | 17 1264.23/1264.68 c 884s | 22 | 2182630 | 2022122 | 7637 540 | 3 | 17 1266.23/1266.69 c 886s | 22 | 2188382 | 2027622 | 7637 541 | 3 | 17 1268.33/1268.73 c 888s | 22 | 2194215 | 2033122 | 7637 542 | 3 | 17 1270.33/1270.76 c 890s | 22 | 2199218 | 2037822 | 7637 543 | 3 | 17 1272.35/1272.78 c 892s | 22 | 2204117 | 2042522 | 7637 545 | 3 | 17 1274.44/1274.82 c 894s | 22 | 2209918 | 2047722 | 7637 546 | 3 | 17 1276.44/1276.85 c 896s | 22 | 2215323 | 2052922 | 7637 547 | 3 | 17 1278.44/1278.87 c 898s | 22 | 2220377 | 2057822 | 7637 548 | 3 | 17 1280.44/1280.88 c 900s | 22 | 2224775 | 2062022 | 7637 549 | 3 | 17 1282.54/1282.92 c 902s | 22 | 2229460 | 2066322 | 7637 550 | 3 | 17 1284.54/1284.99 c 904s | 22 | 2233837 | 2070422 | 7637 552 | 3 | 17 1286.64/1287.04 c 906s | 22 | 2239096 | 2075522 | 7637 553 | 3 | 17 1288.63/1289.06 c 908s | 22 | 2243393 | 2079622 | 7637 554 | 3 | 17 1290.73/1291.12 c 910s | 22 | 2248900 | 2084922 | 7637 555 | 3 | 17 1292.73/1293.15 c 912s | 22 | 2254061 | 2089822 | 7637 556 | 3 | 17 1294.73/1295.16 c 914s | 22 | 2258562 | 2094222 | 7637 557 | 3 | 17 1296.73/1297.17 c 916s | 22 | 2264374 | 2099922 | 7637 559 | 3 | 17 1298.73/1299.18 c 918s | 22 | 2268949 | 2104422 | 7637 560 | 3 | 17 1300.83/1301.22 c 920s | 22 | 2274064 | 2109422 | 7637 561 | 3 | 17 1302.82/1303.24 c 922s | 22 | 2281484 | 2116522 | 7637 563 | 3 | 17 1304.82/1305.29 c 924s | 22 | 2287409 | 2122222 | 7637 564 | 3 | 17 1306.92/1307.33 c 926s | 22 | 2291893 | 2126522 | 7637 565 | 3 | 17 1308.92/1309.37 c 928s | 22 | 2296851 | 2131322 | 7637 566 | 3 | 17 1311.02/1311.41 c 930s | 22 | 2301191 | 2135422 | 7637 567 | 3 | 17 1313.02/1313.41 c 932s | 22 | 2304823 | 2138622 | 7637 568 | 3 | 17 1315.01/1315.42 c 934s | 22 | 2309143 | 2142822 | 7637 569 | 3 | 17 1317.01/1317.47 c 936s | 22 | 2313769 | 2147222 | 7637 570 | 3 | 17 1319.11/1319.50 c 938s | 22 | 2317944 | 2151122 | 7637 571 | 3 | 17 1321.11/1321.53 c 941s | 22 | 2322149 | 2155022 | 7637 572 | 3 | 17 1323.11/1323.54 c 943s | 22 | 2326240 | 2158822 | 7637 573 | 3 | 17 1325.11/1325.54 c 945s | 22 | 2329806 | 2162122 | 7637 574 | 3 | 17 1327.11/1327.55 c 947s | 22 | 2333552 | 2165622 | 7637 575 | 3 | 17 1329.11/1329.57 c 949s | 22 | 2337591 | 2169422 | 7637 576 | 3 | 17 1331.21/1331.62 c 951s | 22 | 2341829 | 2173422 | 7637 577 | 3 | 17 1333.20/1333.66 c 953s | 22 | 2345801 | 2177122 | 7637 577 | 3 | 17 1335.30/1335.71 c 955s | 22 | 2350551 | 2181322 | 7637 579 | 3 | 17 1337.31/1337.71 c 957s | 22 | 2355100 | 2185722 | 7637 580 | 3 | 17 1339.30/1339.71 c 959s | 22 | 2360243 | 2190422 | 7637 581 | 3 | 17 1341.30/1341.72 c 961s | 22 | 2364714 | 2194722 | 7637 582 | 3 | 17 1343.29/1343.73 c 963s | 22 | 2369717 | 2199522 | 7637 583 | 3 | 17 1345.29/1345.74 c 965s | 22 | 2374341 | 2203922 | 7637 584 | 3 | 17 1347.29/1347.78 c 967s | 22 | 2379075 | 2208222 | 7637 585 | 3 | 17 1349.40/1349.82 c 969s | 22 | 2383834 | 2212722 | 7637 586 | 3 | 17 1351.39/1351.84 c 971s | 22 | 2387970 | 2216722 | 7637 587 | 3 | 17 1353.39/1353.86 c 973s | 22 | 2392635 | 2221122 | 7637 588 | 3 | 17 1355.39/1355.89 c 975s | 22 | 2396641 | 2224722 | 7637 589 | 3 | 17 1357.49/1357.91 c 977s | 22 | 2401295 | 2229022 | 7637 590 | 3 | 17 1359.49/1359.97 c 979s | 22 | 2405070 | 2232522 | 7637 591 | 3 | 17 1361.59/1362.04 c 981s | 22 | 2408396 | 2235622 | 7637 592 | 3 | 17 1363.59/1364.06 c 983s | 22 | 2412129 | 2239222 | 7637 592 | 3 | 17 1365.68/1366.13 c 985s | 22 | 2415107 | 2242122 | 7637 593 | 3 | 17 1367.69/1368.18 c 987s | 22 | 2418015 | 2244922 | 7637 594 | 3 | 17 1369.69/1370.19 c 989s | 22 | 2420749 | 2247522 | 7637 594 | 3 | 17 1371.79/1372.21 c 991s | 22 | 2423816 | 2250222 | 7637 595 | 3 | 17 1372.09/1372.54 c 992s | 23 | 2424790 | 2251038 | 7637 595 | 3 | 17 1374.09/1374.54 c 994s | 23 | 2431678 | 2257538 | 7637 597 | 3 | 17 1376.09/1376.56 c 996s | 23 | 2436822 | 2262538 | 7637 598 | 3 | 17 1378.19/1378.60 c 998s | 23 | 2441301 | 2266838 | 7637 599 | 3 | 17 1380.19/1380.62 c 1000s | 23 | 2445950 | 2271338 | 7637 600 | 3 | 17 1382.19/1382.64 c 1002s | 23 | 2450670 | 2275938 | 7637 601 | 3 | 17 1384.19/1384.68 c 1004s | 23 | 2455944 | 2281038 | 7637 603 | 3 | 17 1386.19/1386.69 c 1006s | 23 | 2461534 | 2286538 | 7637 604 | 3 | 17 1388.18/1388.69 c 1008s | 23 | 2465563 | 2290438 | 7637 605 | 3 | 17 1390.28/1390.71 c 1010s | 23 | 2470453 | 2295038 | 7637 606 | 3 | 17 1392.29/1392.75 c 1012s | 23 | 2475145 | 2299438 | 7637 607 | 3 | 17 1394.28/1394.78 c 1014s | 23 | 2480093 | 2304238 | 7637 608 | 3 | 17 1396.28/1396.80 c 1016s | 23 | 2485794 | 2309738 | 7637 610 | 3 | 17 1398.38/1398.81 c 1018s | 23 | 2491440 | 2314838 | 7637 611 | 3 | 17 1400.38/1400.82 c 1020s | 23 | 2497216 | 2320538 | 8401 612 | 3 | 17 1402.38/1402.84 c 1022s | 23 | 2502079 | 2325338 | 8401 613 | 3 | 17 1404.39/1404.85 c 1024s | 23 | 2506539 | 2329738 | 8401 614 | 3 | 17 1406.49/1406.92 c 1026s | 23 | 2512373 | 2335338 | 8401 616 | 3 | 17 1408.48/1408.94 c 1028s | 23 | 2517622 | 2340338 | 8401 617 | 3 | 17 1410.48/1410.96 c 1030s | 23 | 2522203 | 2344738 | 8401 618 | 3 | 17 1412.58/1413.00 c 1032s | 23 | 2526515 | 2348938 | 8401 619 | 3 | 17 1414.58/1415.02 c 1034s | 23 | 2532256 | 2354538 | 8401 620 | 3 | 17 1416.58/1417.04 c 1036s | 23 | 2537722 | 2359938 | 8401 621 | 3 | 17 1418.58/1419.04 c 1038s | 23 | 2542999 | 2365038 | 8401 622 | 3 | 17 1420.58/1421.08 c 1040s | 23 | 2548132 | 2370038 | 8401 623 | 3 | 17 1422.68/1423.12 c 1042s | 23 | 2553779 | 2375538 | 8401 624 | 3 | 17 1424.68/1425.14 c 1044s | 23 | 2558676 | 2380238 | 8401 626 | 3 | 17 1426.68/1427.18 c 1046s | 23 | 2564562 | 2385938 | 8401 627 | 3 | 17 1428.68/1429.18 c 1048s | 23 | 2569061 | 2390338 | 8401 628 | 3 | 17 1430.68/1431.20 c 1050s | 23 | 2574218 | 2395338 | 8401 629 | 3 | 17 1432.78/1433.29 c 1052s | 23 | 2579406 | 2400438 | 8401 630 | 3 | 17 1434.88/1435.30 c 1054s | 23 | 2585019 | 2405838 | 8401 631 | 3 | 17 1436.88/1437.33 c 1056s | 23 | 2590130 | 2410738 | 8401 632 | 3 | 17 1438.88/1439.36 c 1058s | 23 | 2594552 | 2415038 | 8401 633 | 3 | 17 1440.87/1441.37 c 1060s | 23 | 2599738 | 2420038 | 8401 634 | 3 | 17 1442.88/1443.37 c 1062s | 23 | 2604814 | 2425038 | 8401 636 | 3 | 17 1444.98/1445.40 c 1064s | 23 | 2609736 | 2429738 | 8401 637 | 3 | 17 1446.97/1447.41 c 1066s | 23 | 2614737 | 2434438 | 8401 638 | 3 | 17 1448.97/1449.45 c 1068s | 23 | 2620348 | 2439938 | 8401 639 | 3 | 17 1450.97/1451.49 c 1070s | 23 | 2625497 | 2445038 | 8401 640 | 3 | 17 1453.07/1453.51 c 1072s | 23 | 2630928 | 2450338 | 8401 641 | 3 | 17 1455.07/1455.53 c 1074s | 23 | 2635100 | 2454438 | 8401 642 | 3 | 17 1457.08/1457.55 c 1077s | 23 | 2639900 | 2459138 | 8401 643 | 3 | 17 1459.07/1459.59 c 1079s | 23 | 2644409 | 2463538 | 8401 644 | 3 | 17 1461.17/1461.69 c 1081s | 23 | 2649645 | 2468638 | 8401 645 | 3 | 17 1463.27/1463.71 c 1083s | 23 | 2654035 | 2472938 | 8401 646 | 3 | 17 1465.27/1465.71 c 1085s | 23 | 2658706 | 2477538 | 8401 647 | 3 | 17 1467.27/1467.76 c 1087s | 23 | 2664063 | 2482838 | 8401 649 | 3 | 17 1469.28/1469.77 c 1089s | 23 | 2668805 | 2487538 | 8401 650 | 3 | 17 1471.27/1471.78 c 1091s | 23 | 2674192 | 2492838 | 8401 651 | 3 | 17 1473.37/1473.81 c 1093s | 23 | 2678963 | 2497538 | 8401 652 | 3 | 17 1475.37/1475.84 c 1095s | 23 | 2683330 | 2501838 | 8401 653 | 3 | 17 1477.37/1477.88 c 1097s | 23 | 2687519 | 2505938 | 8401 654 | 3 | 17 1479.47/1479.90 c 1099s | 23 | 2694340 | 2512538 | 8401 655 | 3 | 17 1481.47/1481.93 c 1101s | 23 | 2699716 | 2517838 | 8401 656 | 3 | 17 1483.48/1483.94 c 1103s | 23 | 2705605 | 2523638 | 8401 658 | 3 | 17 1485.47/1485.96 c 1105s | 23 | 2711810 | 2529738 | 8401 659 | 3 | 17 1487.57/1488.00 c 1107s | 23 | 2717216 | 2535038 | 8401 660 | 3 | 17 1489.57/1490.01 c 1109s | 23 | 2721481 | 2539138 | 8401 661 | 3 | 17 1491.57/1492.01 c 1111s | 23 | 2727293 | 2544838 | 8401 663 | 3 | 17 1493.57/1494.01 c 1113s | 23 | 2732407 | 2549838 | 8401 664 | 3 | 17 1495.58/1496.05 c 1115s | 23 | 2737692 | 2555038 | 8401 665 | 3 | 17 1497.57/1498.05 c 1117s | 23 | 2742527 | 2559738 | 8401 666 | 3 | 17 1499.67/1500.10 c 1119s | 23 | 2747691 | 2564838 | 8401 667 | 3 | 17 1501.67/1502.10 c 1121s | 23 | 2752587 | 2569638 | 8401 668 | 3 | 17 1503.67/1504.11 c 1123s | 23 | 2758152 | 2574938 | 8401 669 | 3 | 17 1505.67/1506.12 c 1125s | 23 | 2763360 | 2580038 | 8401 671 | 3 | 17 1507.67/1508.14 c 1127s | 23 | 2768439 | 2585038 | 8401 672 | 3 | 17 1509.67/1510.16 c 1129s | 23 | 2773465 | 2589938 | 8401 673 | 3 | 17 1511.67/1512.18 c 1131s | 23 | 2778154 | 2594538 | 8401 674 | 3 | 17 1513.77/1514.21 c 1133s | 23 | 2782810 | 2599038 | 8401 675 | 3 | 17 1515.77/1516.23 c 1135s | 23 | 2787354 | 2603438 | 8401 676 | 3 | 17 1517.77/1518.27 c 1137s | 23 | 2792727 | 2608738 | 8401 677 | 3 | 17 1519.77/1520.28 c 1139s | 23 | 2797274 | 2613238 | 8401 678 | 3 | 17 1521.86/1522.34 c 1141s | 23 | 2802022 | 2617838 | 8401 679 | 3 | 17 1523.86/1524.36 c 1143s | 23 | 2806441 | 2622138 | 8401 680 | 3 | 17 1525.96/1526.40 c 1145s | 23 | 2811500 | 2627038 | 8401 681 | 3 | 17 1527.96/1528.40 c 1147s | 23 | 2815692 | 2631138 | 8401 682 | 3 | 17 1529.96/1530.42 c 1149s | 23 | 2819809 | 2635138 | 8401 683 | 3 | 17 1531.97/1532.43 c 1151s | 23 | 2825024 | 2640238 | 8401 684 | 3 | 17 1533.96/1534.46 c 1153s | 23 | 2830950 | 2646038 | 8401 686 | 3 | 17 1535.96/1536.49 c 1155s | 23 | 2836063 | 2651038 | 8401 687 | 3 | 17 1538.06/1538.50 c 1157s | 23 | 2841364 | 2656238 | 8401 688 | 3 | 17 1540.06/1540.52 c 1159s | 23 | 2847099 | 2661838 | 8401 689 | 3 | 17 1542.06/1542.54 c 1162s | 23 | 2852479 | 2667038 | 8401 690 | 3 | 17 1544.07/1544.57 c 1164s | 23 | 2857241 | 2671638 | 8401 691 | 3 | 17 1546.16/1546.62 c 1166s | 23 | 2861520 | 2675838 | 8401 692 | 3 | 17 1548.16/1548.63 c 1168s | 23 | 2866395 | 2680438 | 8401 693 | 3 | 17 1550.16/1550.68 c 1170s | 23 | 2871365 | 2685238 | 8401 695 | 3 | 17 1552.26/1552.70 c 1172s | 23 | 2875839 | 2689638 | 8401 696 | 3 | 17 1554.25/1554.73 c 1174s | 23 | 2881192 | 2694638 | 8401 697 | 3 | 17 1556.25/1556.75 c 1176s | 23 | 2886142 | 2699438 | 8401 698 | 3 | 17 1558.26/1558.78 c 1178s | 23 | 2890605 | 2703838 | 8401 699 | 3 | 17 1560.25/1560.78 c 1180s | 23 | 2896410 | 2709438 | 8401 700 | 3 | 17 1562.35/1562.80 c 1182s | 23 | 2901919 | 2714838 | 8401 701 | 3 | 17 1564.35/1564.82 c 1184s | 23 | 2906384 | 2719238 | 8401 702 | 3 | 17 1566.35/1566.85 c 1186s | 23 | 2910723 | 2723438 | 8401 703 | 3 | 17 1568.35/1568.88 c 1188s | 23 | 2915358 | 2727838 | 8401 704 | 3 | 17 1570.36/1570.90 c 1190s | 23 | 2920240 | 2732538 | 8401 705 | 3 | 17 1572.45/1572.90 c 1192s | 23 | 2924773 | 2736938 | 8401 706 | 3 | 17 1574.45/1574.91 c 1194s | 23 | 2930516 | 2742338 | 8401 708 | 3 | 17 1576.45/1576.93 c 1196s | 23 | 2935805 | 2747438 | 8401 709 | 3 | 17 1578.55/1579.00 c 1198s | 23 | 2940426 | 2751938 | 8401 710 | 3 | 17 1580.55/1581.03 c 1200s | 23 | 2945081 | 2756438 | 8401 711 | 3 | 17 1582.56/1583.05 c 1202s | 23 | 2949392 | 2760538 | 8401 712 | 3 | 17 1584.55/1585.07 c 1204s | 23 | 2954462 | 2765338 | 8401 713 | 3 | 17 1586.65/1587.10 c 1206s | 23 | 2958927 | 2769638 | 8401 714 | 3 | 17 1588.65/1589.13 c 1208s | 23 | 2964443 | 2774938 | 8401 715 | 3 | 17 1590.65/1591.17 c 1210s | 23 | 2969688 | 2779938 | 8401 716 | 3 | 17 1592.75/1593.22 c 1212s | 23 | 2974193 | 2784238 | 8401 717 | 3 | 17 1594.75/1595.24 c 1214s | 23 | 2978324 | 2788238 | 8401 718 | 3 | 17 1596.75/1597.26 c 1216s | 23 | 2982539 | 2792338 | 8401 719 | 3 | 17 1598.76/1599.28 c 1218s | 23 | 2988087 | 2797738 | 8401 720 | 3 | 17 1600.75/1601.29 c 1220s | 23 | 2992872 | 2802338 | 8401 721 | 3 | 17 1602.85/1603.31 c 1222s | 23 | 2996906 | 2806238 | 8401 722 | 3 | 17 1604.85/1605.34 c 1224s | 23 | 3001991 | 2811038 | 8401 723 | 3 | 17 1606.85/1607.34 c 1226s | 23 | 3006864 | 2815638 | 8401 724 | 3 | 17 1608.86/1609.35 c 1228s | 23 | 3011016 | 2819638 | 8401 725 | 3 | 17 1610.85/1611.36 c 1230s | 23 | 3016555 | 2824938 | 8401 726 | 3 | 17 1612.85/1613.38 c 1232s | 23 | 3021922 | 2830238 | 8401 728 | 3 | 17 1614.95/1615.40 c 1234s | 23 | 3026636 | 2834738 | 8401 729 | 3 | 17 1616.95/1617.41 c 1236s | 23 | 3031261 | 2839238 | 8401 730 | 3 | 17 1618.95/1619.44 c 1238s | 23 | 3036350 | 2844038 | 8401 731 | 3 | 17 1620.95/1621.46 c 1240s | 23 | 3041638 | 2849238 | 8401 732 | 3 | 17 1622.95/1623.50 c 1242s | 23 | 3046143 | 2853638 | 8401 733 | 3 | 17 1625.05/1625.51 c 1244s | 23 | 3051133 | 2858438 | 8401 734 | 3 | 17 1627.05/1627.52 c 1246s | 23 | 3056020 | 2863138 | 8401 735 | 3 | 17 1629.05/1629.55 c 1249s | 23 | 3060613 | 2867638 | 8401 736 | 3 | 17 1631.05/1631.57 c 1251s | 23 | 3065915 | 2872838 | 8401 737 | 3 | 17 1633.05/1633.58 c 1253s | 23 | 3070630 | 2877438 | 8401 738 | 3 | 17 1635.05/1635.59 c 1255s | 23 | 3075148 | 2881838 | 8401 739 | 3 | 17 1637.15/1637.64 c 1257s | 23 | 3079578 | 2886138 | 8401 740 | 3 | 17 1639.25/1639.74 c 1259s | 23 | 3084652 | 2891138 | 8401 742 | 3 | 17 1641.25/1641.77 c 1261s | 23 | 3090485 | 2896838 | 8401 743 | 3 | 17 1643.25/1643.78 c 1263s | 23 | 3096148 | 2902038 | 8401 744 | 3 | 17 1645.34/1645.81 c 1265s | 23 | 3101793 | 2907438 | 8401 745 | 3 | 17 1647.35/1647.83 c 1267s | 23 | 3106473 | 2912038 | 8401 746 | 3 | 17 1649.34/1649.84 c 1269s | 23 | 3110685 | 2916138 | 8401 747 | 3 | 17 1651.34/1651.85 c 1271s | 23 | 3115386 | 2920638 | 8401 748 | 3 | 17 1653.34/1653.89 c 1273s | 23 | 3120529 | 2925638 | 8401 749 | 3 | 17 1655.34/1655.90 c 1275s | 23 | 3125305 | 2930338 | 8401 750 | 3 | 17 1657.44/1657.91 c 1277s | 23 | 3130939 | 2935838 | 8401 752 | 3 | 17 1659.45/1659.92 c 1279s | 23 | 3136373 | 2941138 | 8401 753 | 3 | 17 1661.44/1661.93 c 1281s | 23 | 3141882 | 2946538 | 8401 754 | 3 | 17 1663.44/1663.95 c 1283s | 23 | 3147113 | 2951638 | 8401 755 | 3 | 17 1665.44/1665.97 c 1285s | 23 | 3152292 | 2956638 | 8401 756 | 3 | 17 1667.44/1667.97 c 1287s | 23 | 3157250 | 2961438 | 8401 758 | 3 | 17 1669.45/1669.98 c 1289s | 23 | 3162780 | 2966738 | 8401 759 | 3 | 17 1671.44/1672.00 c 1291s | 23 | 3167425 | 2971238 | 8401 760 | 3 | 17 1673.54/1674.02 c 1293s | 23 | 3171698 | 2975438 | 8401 761 | 3 | 17 1675.54/1676.03 c 1295s | 23 | 3177139 | 2980738 | 8401 762 | 3 | 17 1677.54/1678.08 c 1297s | 23 | 3182651 | 2986038 | 8401 763 | 3 | 17 1679.54/1680.09 c 1299s | 23 | 3188184 | 2991338 | 8401 764 | 3 | 17 1681.64/1682.11 c 1301s | 23 | 3193785 | 2996738 | 8401 766 | 3 | 17 1683.64/1684.14 c 1303s | 23 | 3198485 | 3001338 | 8401 767 | 3 | 17 1685.64/1686.17 c 1305s | 23 | 3202682 | 3005438 | 8401 768 | 3 | 17 1687.74/1688.21 c 1307s | 23 | 3207765 | 3010238 | 8401 769 | 3 | 17 1689.74/1690.28 c 1309s | 23 | 3212682 | 3014838 | 8401 770 | 3 | 17 1691.84/1692.30 c 1311s | 23 | 3218246 | 3020338 | 8401 771 | 3 | 17 1693.84/1694.32 c 1313s | 23 | 3222943 | 3024938 | 8401 772 | 3 | 17 1695.84/1696.35 c 1315s | 23 | 3228058 | 3029938 | 8401 773 | 3 | 17 1697.84/1698.40 c 1317s | 23 | 3232781 | 3034438 | 8401 774 | 3 | 17 1699.94/1700.41 c 1319s | 23 | 3237650 | 3039138 | 8401 775 | 3 | 17 1701.93/1702.42 c 1321s | 23 | 3242595 | 3044038 | 8401 776 | 3 | 17 1703.93/1704.42 c 1323s | 23 | 3248638 | 3049738 | 8401 778 | 3 | 17 1705.93/1706.44 c 1325s | 23 | 3253313 | 3054238 | 8401 779 | 3 | 17 1707.95/1708.44 c 1327s | 23 | 3258098 | 3058838 | 8401 780 | 3 | 17 1709.94/1710.47 c 1329s | 23 | 3262949 | 3063538 | 8401 781 | 3 | 17 1711.94/1712.49 c 1331s | 23 | 3267385 | 3067838 | 8401 782 | 3 | 17 1714.04/1714.50 c 1333s | 23 | 3273781 | 3073838 | 8401 783 | 3 | 17 1716.04/1716.52 c 1335s | 23 | 3278430 | 3078138 | 8401 784 | 3 | 17 1718.04/1718.53 c 1337s | 23 | 3283187 | 3082638 | 8401 785 | 3 | 17 1720.04/1720.56 c 1340s | 23 | 3288012 | 3087238 | 8401 786 | 3 | 17 1722.04/1722.58 c 1342s | 23 | 3292186 | 3091238 | 8401 787 | 3 | 17 1724.03/1724.59 c 1344s | 23 | 3296661 | 3095538 | 8401 788 | 3 | 17 1726.14/1726.61 c 1346s | 23 | 3302514 | 3101138 | 8401 789 | 3 | 17 1728.14/1728.61 c 1348s | 23 | 3307408 | 3105738 | 8401 791 | 3 | 17 1730.13/1730.67 c 1350s | 23 | 3312057 | 3109938 | 8401 791 | 3 | 17 1732.23/1732.71 c 1352s | 23 | 3316851 | 3114438 | 8401 793 | 3 | 17 1734.24/1734.74 c 1354s | 23 | 3322275 | 3119638 | 8401 794 | 3 | 17 1736.23/1736.78 c 1356s | 23 | 3327455 | 3124438 | 8401 795 | 3 | 17 1738.33/1738.80 c 1358s | 23 | 3332697 | 3129238 | 8401 796 | 3 | 17 1740.33/1740.82 c 1360s | 23 | 3338388 | 3134638 | 8401 797 | 3 | 17 1742.33/1742.84 c 1362s | 23 | 3344014 | 3139838 | 8401 798 | 3 | 17 1744.33/1744.85 c 1364s | 23 | 3349516 | 3145038 | 8401 800 | 3 | 17 1746.33/1746.85 c 1366s | 23 | 3353912 | 3149238 | 8401 800 | 3 | 17 1748.33/1748.89 c 1368s | 23 | 3358384 | 3153538 | 8401 801 | 3 | 17 1750.43/1750.90 c 1370s | 23 | 3364143 | 3159138 | 8401 803 | 3 | 17 1752.43/1752.92 c 1372s | 23 | 3369719 | 3164538 | 8401 804 | 3 | 17 1754.43/1754.93 c 1374s | 23 | 3374485 | 3169238 | 8401 805 | 3 | 17 1756.43/1756.94 c 1376s | 23 | 3380344 | 3174938 | 8401 806 | 3 | 17 1758.43/1758.95 c 1378s | 23 | 3385289 | 3179838 | 8401 807 | 3 | 17 1760.53/1761.01 c 1380s | 23 | 3390017 | 3184338 | 8401 809 | 3 | 17 1762.53/1763.03 c 1382s | 23 | 3393995 | 3188238 | 8401 809 | 3 | 17 1764.52/1765.07 c 1384s | 23 | 3398638 | 3192638 | 8401 810 | 3 | 17 1766.52/1767.09 c 1386s | 23 | 3403169 | 3197038 | 8401 811 | 3 | 17 1768.62/1769.11 c 1388s | 23 | 3407811 | 3201438 | 8401 812 | 3 | 17 1770.63/1771.12 c 1390s | 23 | 3412198 | 3205638 | 8401 813 | 3 | 17 1772.62/1773.16 c 1392s | 23 | 3416860 | 3210138 | 8401 814 | 3 | 17 1774.72/1775.20 c 1394s | 23 | 3421386 | 3214538 | 8401 815 | 3 | 17 1776.72/1777.21 c 1396s | 23 | 3425626 | 3218638 | 8401 816 | 3 | 17 1778.72/1779.23 c 1398s | 23 | 3431692 | 3224538 | 8401 818 | 3 | 17 1780.72/1781.24 c 1400s | 23 | 3437081 | 3229738 | 8401 819 | 3 | 17 1782.73/1783.26 c 1402s | 23 | 3442320 | 3234638 | 8401 820 | 3 | 17 1784.72/1785.26 c 1404s | 23 | 3446868 | 3239138 | 8401 821 | 3 | 17 1786.82/1787.32 c 1406s | 23 | 3451343 | 3243538 | 8401 822 | 3 | 17 1788.82/1789.34 c 1408s | 23 | 3455582 | 3247638 | 8401 823 | 3 | 17 1790.82/1791.35 c 1410s | 23 | 3459066 | 3251038 | 8401 824 | 3 | 17 1792.82/1793.39 c 1412s | 23 | 3464159 | 3256038 | 8401 825 | 3 | 17 1794.92/1795.41 c 1414s | 23 | 3469840 | 3261638 | 8401 826 | 3 | 17 1796.92/1797.43 c 1416s | 23 | 3474601 | 3266338 | 8401 827 | 3 | 17 1798.92/1799.47 c 1418s | 23 | 3480264 | 3271838 | 8401 829 | 3 | 17
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106301-1466268916/watcher-4106301-1466268916 -o /tmp/evaluation-result-4106301-1466268916/solver-4106301-1466268916 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106301-1466268916.opb pid=9107 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.18 2.14 3/179 9110 /proc/meminfo: memFree=30178788/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=513468 CPUtime=0 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 1878 0 0 0 0 0 0 0 20 0 4 0 28941713 525791232 2238 33554432000 4194304 16246674 140736891447168 140736891446592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 129135 2249 441 2943 0 126029 0 [pid=9110/tid=9111] ppid=9107 vsize=556476 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 569831424 2408 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=561596 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 575074304 2427 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=564668 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941713 578220032 2441 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100148 s] /proc/loadavg: 2.18 2.18 2.14 3/179 9110 /proc/meminfo: memFree=30178788/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 22172 0 0 0 6 3 0 0 20 0 4 0 28941713 1247350784 22520 33554432000 4194304 16246674 140736891447168 140736891446592 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 304529 22530 758 2943 0 301423 0 [pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 22539 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 22545 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 22549 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20048 s] /proc/loadavg: 2.18 2.18 2.14 3/179 9110 /proc/meminfo: memFree=30178788/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 40075 0 0 0 14 5 0 0 20 0 4 0 28941713 1247350784 40423 33554432000 4194304 16246674 140736891447168 140736891446592 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 304529 40432 758 2943 0 301423 0 [pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 40437 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 40443 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 40451 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300478 s] /proc/loadavg: 2.18 2.18 2.14 3/179 9110 /proc/meminfo: memFree=30178788/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 57520 0 0 0 21 7 0 0 20 0 4 0 28941713 1247350784 57868 33554432000 4194304 16246674 140736891447168 140736891446592 5828874 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 304529 57876 758 2943 0 301423 0 [pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 57879 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 57882 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 57886 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700447 s] /proc/loadavg: 2.18 2.18 2.14 3/179 9110 /proc/meminfo: memFree=30178788/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 130049 0 0 0 52 17 0 0 20 0 4 0 28941713 1247350784 130398 33554432000 4194304 16246674 140736891447168 140736891429056 12478461 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 304529 130408 765 2943 0 301423 0 [pid=9110/tid=9111] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 130415 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 130422 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28941713 1247350784 130429 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50045 s] /proc/loadavg: 2.17 2.17 2.14 3/183 9114 /proc/meminfo: memFree=29369444/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 246287 0 0 0 116 33 0 0 20 0 4 0 28941713 1250496512 246612 33554432000 4194304 16246674 140736891447168 140736891446480 13760140 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 305297 246612 832 2943 0 302191 0 [pid=9110/tid=9111] ppid=9107 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1250496512 246612 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1250496512 246612 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1250496512 246612 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10045 s] /proc/loadavg: 2.17 2.17 2.14 3/183 9114 /proc/meminfo: memFree=29176624/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1307204 CPUtime=3.08 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 267711 0 0 0 272 36 0 0 20 0 4 0 28941713 1338576896 268036 33554432000 4194304 16246674 140736891447168 140736891430168 5711355 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 326801 268036 832 2943 0 323695 0 [pid=9110/tid=9111] ppid=9107 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1338576896 268036 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1338576896 268036 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1338576896 268036 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1307204 [startup+6.30046 s] /proc/loadavg: 2.17 2.17 2.14 3/183 9114 /proc/meminfo: memFree=29106564/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1313348 CPUtime=6.29 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 269372 0 0 0 592 37 0 0 20 0 4 0 28941713 1344868352 269697 33554432000 4194304 16246674 140736891447168 140736891430168 5717604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 328337 269697 832 2943 0 325231 0 [pid=9110/tid=9111] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269697 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269697 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269697 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1313348 [startup+12.7005 s] /proc/loadavg: 2.14 2.17 2.14 3/183 9114 /proc/meminfo: memFree=29100280/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1313348 CPUtime=12.69 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 269416 0 0 0 1232 37 0 0 20 0 4 0 28941713 1344868352 269741 33554432000 4194304 16246674 140736891447168 140736891429056 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 328337 269741 835 2943 0 325231 0 [pid=9110/tid=9111] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269741 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269741 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269741 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.12 2.16 2.14 3/183 9114 /proc/meminfo: memFree=29100112/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1313348 CPUtime=25.48 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 269416 0 0 0 2511 37 0 0 20 0 4 0 28941713 1344868352 269741 33554432000 4194304 16246674 140736891447168 140736891430168 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 328337 269741 835 2943 0 325231 0 [pid=9110/tid=9111] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269741 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269741 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1344868352 269741 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.15 2.16 2.14 3/183 9114 /proc/meminfo: memFree=29099216/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1314372 CPUtime=51.08 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 269673 0 0 0 5071 37 0 0 20 0 4 0 28941713 1345916928 269998 33554432000 4194304 16246674 140736891447168 140736891429056 5711326 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 328593 269998 836 2943 0 325487 0 [pid=9110/tid=9111] ppid=9107 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1345916928 269998 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1345916928 269998 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1345916928 269998 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.13 2.15 2.13 3/183 9115 /proc/meminfo: memFree=29097088/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1316420 CPUtime=102.27 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 270185 0 0 0 10190 37 0 0 20 0 4 0 28941713 1348014080 270510 33554432000 4194304 16246674 140736891447168 140736891429056 13927434 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 329105 270510 836 2943 0 325999 0 [pid=9110/tid=9111] ppid=9107 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1348014080 270510 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1348014080 270510 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1348014080 270510 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274628 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1332804 [startup+1362.3 s] /proc/loadavg: 2.14 2.11 2.09 3/183 9315 /proc/meminfo: memFree=29107472/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1361.89 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274680 0 0 0 136141 48 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891430168 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1332804 [startup+1422.3 s] /proc/loadavg: 2.10 2.10 2.09 3/183 9414 /proc/meminfo: memFree=29103844/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1421.88 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 142139 49 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891429056 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1332804 [startup+1482.3 s] /proc/loadavg: 2.10 2.09 2.09 4/183 9415 /proc/meminfo: memFree=29102888/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1481.87 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 148137 50 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891429056 5712265 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1332804 [startup+1542.31 s] /proc/loadavg: 2.03 2.07 2.08 3/184 9419 /proc/meminfo: memFree=29103504/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1541.87 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 154137 50 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891429056 5823262 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1332804 [startup+1602.3 s] /proc/loadavg: 2.07 2.07 2.08 3/183 9469 /proc/meminfo: memFree=29100324/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1601.85 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 160134 51 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891429056 6073083 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1332804 [startup+1662.3 s] /proc/loadavg: 2.10 2.07 2.08 4/183 9470 /proc/meminfo: memFree=29099020/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1661.84 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 166133 51 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891429056 5822255 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1332804 [startup+1722.3 s] /proc/loadavg: 2.07 2.07 2.08 3/183 9472 /proc/meminfo: memFree=29097308/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1721.84 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 172132 52 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891430168 5827653 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1332804 [startup+1782.3 s] /proc/loadavg: 2.23 2.12 2.09 3/183 9473 /proc/meminfo: memFree=29095968/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1781.82 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 178130 52 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891429056 5711584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1332804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.11 2.09 3/183 9473 /proc/meminfo: memFree=29094796/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1800.02 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 179950 52 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891429056 5823013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1332804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9110 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.11 2.09 3/183 9473 /proc/meminfo: memFree=29094796/32872528 swapFree=526336/559040 [pid=9110] ppid=9107 vsize=1332804 CPUtime=1800.02 cores=0,2,4,6 /proc/9110/stat : 9110 (toysat) R 9107 9110 28898 0 -1 4202496 274686 0 0 0 179950 52 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140736891429056 5823013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9110/statm: 333201 274630 855 2943 0 330095 0 [pid=9110/tid=9111] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9111/stat : 9111 (toysat) S 9107 9110 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151101566192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9110/tid=9112] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9112/stat : 9112 (toysat) S 9107 9110 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151091076336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9110/tid=9113] ppid=9107 vsize=1332804 CPUtime=0 cores=0,2,4,6 /proc/9110/task/9113/stat : 9113 (toysat) S 9107 9110 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28941713 1364791296 274630 33554432000 4194304 16246674 140736891447168 140151080602800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1332804 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.51 CPU system time (s): 0.527919 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1332804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.527919 maximum resident set size= 1098520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274686 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= 398 involuntary context switches= 1837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.56855 second user time and 8.61769 second system time The end
Begin job on node106 at 2016-06-18 18:55:16 IDJOB=4106301 IDBENCH=48008 IDSOLVER=2542 FILE ID=node106/4106301-1466268916 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106301-1466268916/watcher-4106301-1466268916 -o /tmp/evaluation-result-4106301-1466268916/solver-4106301-1466268916 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106301-1466268916.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72 RANDOM SEED=563625071 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30179060 kB Buffers: 89176 kB Cached: 196648 kB SwapCached: 1736 kB Active: 1197776 kB Inactive: 189676 kB Active(anon): 1100392 kB Inactive(anon): 4000 kB Active(file): 97384 kB Inactive(file): 185676 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16644 kB Writeback: 8 kB AnonPages: 1660388 kB Mapped: 10596 kB Shmem: 0 kB Slab: 613388 kB SReclaimable: 56604 kB SUnreclaim: 556784 kB KernelStack: 1464 kB PageTables: 7328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1801572 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node106 at 2016-06-18 19:25:17