| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb |
| MD5SUM | e808e428ddeed4827e7f6cc4dcf60aa4 |
| 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.160974 |
| 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 | 189 |
| Total number of constraints | 15 |
| 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 | 15 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 567 |
| Sum of products size (including duplicates) | 1134 |
| Number of different products | 567 |
| Sum of products size | 1134 |
0.00/0.00 c 2016-06-18T18:42:57+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-4106241-1466268177.opb"] 0.00/0.01 c use --random-gen="1225842564 2296357457 2056744849 2279508866 3875797047 3701098951 2420807822 98747369 1378481257 2066847608 3779212190 3935570071 3807569206 1392480968 19350292 595274068 3906645689 1735865587 3703773792 2935642914 257340650 1466401265 3511715954 3103812307 333942081 3550218638 1593402105 4144365967 3531250778 2825795844 2574399688 3347871517 152400002 833237741 3157006889 1818368863 183145654 3044470172 3241446063 2271618743 2926936355 4155359167 3997224912 952512704 3695538747 1769592488 739744579 1902839175 61984536 3025386379 2381571668 3222799939 2969259825 2088302830 2944672146 494023001 2876946903 2598112244 2299804387 3958462948 2053456527 3848667336 2345866751 821494798 1218685690 1751069955 1963598213 1390393996 3906163604 603050754 3979002183 38058078 445322311 1864244030 544725471 1396644135 3882261308 2342751814 7509992 1542004386 1450429585 450621346 3545811690 936208852 3271999558 1801679735 1017835953 1905861100 1547591944 3825736247 3284624330 3301803289 2495701516 305580200 3736011575 522694152 3257581759 3075652626 3304931395 3369349095 3422613459 1144258756 4292433899 1928836459 2753663943 2582615195 3356203513 3495593160 3183778565 1515149462 3388790969 4120614544 2217311882 606360108 721143091 128628542 3737810978 123520006 1238542657 3217473243 437897561 3770787326 1550901142 2259841295 2546553747 2090049091 1595035198 4004562238 545841563 3264599297 918336050 952166636 1272766441 2431203769 513786281 3640645210 119129159 717955936 2635752083 3311755656 3736182522 4056773029 1370251025 4089819022 2317627338 3955792166 486023202 386171396 3266589795 3361912240 3446733124 864077863 142103063 296466123 2557097358 1779457788 123433435 2876680743 1034038499 3709428870 3281022041 3401606064 3626922439 2049140091 232676394 1666946234 4232910333 2070481877 4258251535 1488150635 2579883060 2679126221 3119535746 1142663530 3029123432 3560581864 4246155610 100983759 1997167148 1559714188 4169066801 1233082651 1449580772 2060869096 4153412985 4288734100 451721322 1804079853 488646553 3914547321 2206347504 1595652684 963892132 1631761299 3561680431 933921816 3266305982 415453150 4245065950 3504265755 1630093354 1230378970 2455824672 1855073574 4157557427 509514515 3092414835 3234570527 3712796649 2081434633 3893822161 488618714 3802362602 1300681251 207141680 2756274864 3066619465 873754456 2619016404 911276679 2417521300 319830563 2286687090 4185764366 238646020 3756131959 2726129317 2622637636 1285171330 1137112664 4072451274 2652982432 2200728009 3472759160 483502833 1824281891 677371810 3341251137 891527958 2205801313 1134615628 4181600885 1481087186 2992198312 2523369196 549080098 1143250677 1276812710 3148027935 3189202925 3752290695 3544314191 3078719571 1245244824 1127925686 2314400958 255 362436" option to reproduce the execution 0.00/0.01 c #vars 189 0.00/0.01 c #constraints 15 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 | 826 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 112 | 100 | 826 0 | 0 | 0 0.08/0.10 c 0.1s | 2 | 273 | 250 | 909 0 | 0 | 0 0.08/0.16 c 0.1s | 3 | 515 | 475 | 1000 0 | 0 | 0 0.19/0.27 c 0.2s | 4 | 902 | 813 | 1100 0 | 0 | 0 0.39/0.43 c 0.4s | 5 | 1493 | 1320 | 1210 0 | 0 | 0 0.89/0.93 c 0.9s | 6 | 2391 | 2081 | 1465 1 | 0 | 0 1.38/1.47 c 1.4s | 7 | 3693 | 3223 | 1612 2 | 0 | 0 2.69/2.76 c 2.7s | 8 | 5647 | 4936 | 1774 4 | 0 | 0 3.29/3.39 c 3.4s | 9 | 8372 | 7506 | 1952 7 | 0 | 0 4.88/4.92 c 4.9s | 10 | 12538 | 11361 | 2148 10 | 0 | 0 6.69/6.72 c 6.7s | 11 | 18552 | 17144 | 2363 14 | 0 | 0 8.18/8.21 c 8.2s | 11 | 25338 | 23648 | 2363 19 | 0 | 0 8.18/8.21 c #cpu_time = 8.161s 8.18/8.21 c #wall_clock_time = 8.183s 8.18/8.21 c #decision = 25338 8.18/8.21 c #random_decision = 115 8.18/8.21 c #conflict = 23648 8.18/8.21 c #restart = 11 8.18/8.21 o 501 8.18/8.21 c BCD2: updating upper bound: 511 -> 500 8.18/8.21 c BCD2: 0 <= obj <= 500 8.18/8.21 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 8.18/8.21 c BCD2: #sat=1 #unsat=1 bias=1/2 8.18/8.23 c Solving starts ... 8.18/8.23 c ============================[ Search Statistics ]============================ 8.18/8.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.18/8.23 c | | | | Limit GC | Var | Constra 8.18/8.23 c ============================================================================= 8.18/8.23 c 0.0s | 0 | 0 | 0 | 2363 0 | 0 | 0 8.18/8.23 c 0.0s | 0 | 7 | 0 | 2363 0 | 0 | 0 8.18/8.23 c #cpu_time = 0.005s 8.18/8.23 c #wall_clock_time = 0.005s 8.18/8.23 c #decision = 7 8.18/8.23 c #random_decision = 0 8.18/8.23 c #conflict = 0 8.18/8.23 c #restart = 0 8.18/8.23 c BCD2: found a new core of size 8: cost of the new core is >=2 8.18/8.23 c lower bound updated to 2 8.18/8.23 c BCD2: 2 <= obj <= 500 8.18/8.23 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 8.18/8.23 c BCD2: #sat=1 #unsat=2 bias=2/3 8.18/8.23 c Solving starts ... 8.18/8.23 c ============================[ Search Statistics ]============================ 8.18/8.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.18/8.23 c | | | | Limit GC | Var | Constra 8.18/8.23 c ============================================================================= 8.18/8.23 c 0.0s | 0 | 0 | 0 | 2363 0 | 0 | 0 8.38/8.41 c 0.2s | 1 | 182 | 100 | 2363 0 | 0 | 0 8.38/8.44 c 0.2s | 2 | 346 | 250 | 2363 0 | 0 | 0 8.38/8.49 c 0.3s | 3 | 589 | 475 | 2363 1 | 0 | 0 8.48/8.56 c 0.3s | 4 | 941 | 813 | 2363 1 | 0 | 0 8.58/8.67 c 0.5s | 5 | 1465 | 1320 | 2363 1 | 0 | 0 9.08/9.11 c 0.9s | 6 | 2550 | 2081 | 2600 1 | 0 | 0 9.38/9.48 c 1.3s | 7 | 3772 | 3223 | 2600 2 | 0 | 0 9.89/9.92 c 1.7s | 8 | 5668 | 4936 | 2600 3 | 0 | 0 11.18/11.27 c 3.1s | 9 | 8613 | 7506 | 2600 5 | 0 | 0 12.68/12.77 c 4.6s | 10 | 12636 | 11361 | 2600 8 | 0 | 0 14.78/14.81 c 6.6s | 10 | 16696 | 15061 | 2861 10 | 0 | 0 15.58/15.65 c 7.4s | 11 | 18844 | 17144 | 2861 12 | 0 | 0 17.59/17.65 c 9.4s | 11 | 25157 | 23244 | 2861 15 | 0 | 0 18.48/18.51 c 10.3s | 12 | 27782 | 25819 | 2861 17 | 0 | 0 20.48/20.51 c 12.3s | 12 | 33293 | 31019 | 2861 20 | 0 | 0 22.48/22.57 c 14.4s | 12 | 39081 | 36619 | 3148 23 | 0 | 0 23.38/23.48 c 15.3s | 13 | 41576 | 38832 | 3148 25 | 0 | 0 25.49/25.50 c 17.3s | 13 | 49034 | 45932 | 3148 28 | 0 | 0 27.49/27.53 c 19.3s | 13 | 56529 | 53232 | 3148 32 | 0 | 0 28.99/29.05 c 20.8s | 14 | 61890 | 58352 | 3148 35 | 0 | 0 30.99/31.07 c 22.9s | 14 | 68756 | 64752 | 3463 39 | 0 | 0 32.99/33.08 c 24.9s | 14 | 75176 | 70952 | 3463 42 | 0 | 0 35.09/35.11 c 26.9s | 14 | 80114 | 75152 | 3463 44 | 0 | 0 37.09/37.12 c 28.9s | 14 | 87065 | 81552 | 3463 47 | 0 | 0 39.09/39.16 c 30.9s | 14 | 91075 | 84752 | 3463 49 | 0 | 0 40.39/40.49 c 32.3s | 15 | 94366 | 87632 | 3463 50 | 0 | 0 42.48/42.52 c 34.3s | 15 | 101947 | 94532 | 3463 54 | 0 | 0 44.48/44.53 c 36.3s | 15 | 108132 | 100032 | 3463 56 | 0 | 0 46.48/46.57 c 38.4s | 15 | 115006 | 105932 | 3463 59 | 0 | 0 48.49/48.59 c 40.4s | 15 | 121302 | 111632 | 3810 62 | 0 | 0 50.48/50.60 c 42.4s | 15 | 127843 | 117432 | 3810 65 | 0 | 0 52.58/52.61 c 44.4s | 15 | 133890 | 122632 | 3810 67 | 0 | 0 54.58/54.64 c 46.4s | 15 | 139594 | 127832 | 3810 70 | 0 | 0 56.09/56.15 c 47.9s | 16 | 143549 | 131552 | 3810 71 | 0 | 0 58.08/58.18 c 50.0s | 16 | 150487 | 138252 | 3810 75 | 0 | 0 60.08/60.18 c 52.0s | 16 | 157219 | 144852 | 3810 78 | 0 | 0 62.08/62.20 c 54.0s | 16 | 164361 | 151852 | 3810 81 | 0 | 0 64.18/64.21 c 56.0s | 16 | 171155 | 158452 | 3810 85 | 0 | 0 66.18/66.22 c 58.0s | 16 | 178001 | 165152 | 3810 88 | 0 | 0 68.19/68.25 c 60.0s | 16 | 184929 | 171952 | 3810 92 | 0 | 0 70.18/70.27 c 62.1s | 16 | 190883 | 177852 | 4191 94 | 0 | 0 72.18/72.29 c 64.1s | 16 | 197273 | 184152 | 4191 97 | 0 | 0 74.28/74.31 c 66.1s | 16 | 203279 | 190052 | 4191 100 | 0 | 0 76.28/76.33 c 68.1s | 16 | 209264 | 195952 | 4191 102 | 0 | 0 76.68/76.76 c 68.5s | 17 | 210754 | 197432 | 4191 103 | 0 | 0 78.68/78.78 c 70.6s | 17 | 217561 | 203932 | 4191 106 | 0 | 0 80.78/80.82 c 72.6s | 17 | 224060 | 210332 | 4191 109 | 0 | 0 82.78/82.84 c 74.6s | 17 | 230789 | 216932 | 4191 111 | 0 | 0 84.79/84.86 c 76.6s | 17 | 236803 | 222832 | 4191 114 | 0 | 0 86.78/86.88 c 78.7s | 17 | 242060 | 228032 | 4191 116 | 0 | 0 88.88/88.91 c 80.7s | 17 | 247612 | 233532 | 4191 118 | 0 | 0 90.88/90.91 c 82.7s | 17 | 252231 | 237932 | 4191 120 | 0 | 0 92.88/92.94 c 84.7s | 17 | 254949 | 240432 | 4191 121 | 0 | 0 94.88/94.95 c 86.7s | 17 | 259209 | 244532 | 4191 123 | 0 | 0 96.88/96.99 c 88.8s | 17 | 263961 | 249132 | 4191 125 | 0 | 0 98.98/99.02 c 90.8s | 17 | 269145 | 254032 | 4191 127 | 0 | 0 100.97/101.02 c 92.8s | 17 | 275209 | 259932 | 4191 129 | 0 | 0 102.97/103.02 c 94.8s | 17 | 280629 | 265132 | 4191 132 | 0 | 0 104.97/105.05 c 96.8s | 17 | 286476 | 270832 | 4611 134 | 0 | 0 106.97/107.06 c 98.8s | 17 | 292499 | 276632 | 4611 136 | 0 | 0 108.98/109.08 c 100s | 17 | 297801 | 281832 | 4611 138 | 0 | 0 110.97/111.09 c 102s | 17 | 302895 | 286832 | 4611 140 | 0 | 0 113.07/113.10 c 104s | 17 | 307710 | 291532 | 4611 142 | 0 | 0 114.97/115.02 c 106s | 18 | 312507 | 296252 | 4611 144 | 0 | 0 116.97/117.03 c 108s | 18 | 316827 | 300152 | 4611 145 | 0 | 0 118.97/119.08 c 110s | 18 | 321467 | 304652 | 4611 147 | 0 | 0 121.07/121.10 c 112s | 18 | 323980 | 306952 | 4611 148 | 0 | 0 123.07/123.12 c 114s | 18 | 329786 | 312552 | 4611 150 | 0 | 0 125.07/125.13 c 116s | 18 | 335889 | 318452 | 4611 153 | 0 | 0 127.06/127.14 c 118s | 18 | 341334 | 323752 | 4611 155 | 0 | 0 129.06/129.16 c 120s | 18 | 346429 | 328652 | 4611 157 | 0 | 0 131.06/131.19 c 122s | 18 | 350928 | 333052 | 4611 159 | 0 | 0 133.17/133.20 c 124s | 18 | 356135 | 338052 | 4611 161 | 0 | 0 135.16/135.24 c 127s | 18 | 361456 | 343252 | 4611 163 | 0 | 0 137.16/137.25 c 129s | 18 | 367162 | 348752 | 4611 165 | 0 | 0 139.16/139.26 c 131s | 18 | 371828 | 353252 | 4611 167 | 0 | 0 141.16/141.29 c 133s | 18 | 376177 | 357352 | 4611 168 | 0 | 0 143.26/143.30 c 135s | 18 | 380839 | 361852 | 4611 170 | 0 | 0 145.27/145.38 c 137s | 18 | 385689 | 366452 | 4611 172 | 0 | 0 147.36/147.42 c 139s | 18 | 389595 | 370152 | 4611 174 | 0 | 0 149.36/149.45 c 141s | 18 | 394122 | 374452 | 4611 175 | 0 | 0 151.36/151.46 c 143s | 18 | 397964 | 377852 | 4611 177 | 0 | 0 153.46/153.55 c 145s | 18 | 402863 | 382552 | 4611 179 | 0 | 0 155.56/155.60 c 147s | 18 | 408346 | 387652 | 4611 181 | 0 | 0 157.66/157.70 c 149s | 18 | 413620 | 392452 | 4611 183 | 0 | 0 159.66/159.75 c 151s | 18 | 417842 | 396352 | 4611 184 | 0 | 0 161.66/161.80 c 153s | 18 | 422383 | 400752 | 4611 186 | 0 | 0 163.75/163.81 c 155s | 18 | 427144 | 405452 | 4611 188 | 0 | 0 165.75/165.82 c 157s | 18 | 432037 | 410252 | 4611 190 | 0 | 0 167.75/167.85 c 159s | 18 | 437553 | 415652 | 4611 192 | 0 | 0 169.75/169.87 c 161s | 18 | 442775 | 420752 | 5073 194 | 0 | 0 171.85/171.90 c 163s | 18 | 448363 | 426152 | 5073 196 | 0 | 0 173.85/173.91 c 165s | 18 | 453193 | 430652 | 5073 197 | 0 | 0 175.85/175.93 c 167s | 18 | 457981 | 435352 | 5073 199 | 0 | 0 177.85/177.94 c 169s | 18 | 462898 | 440152 | 5073 201 | 0 | 0 179.64/179.78 c 171s | 19 | 467497 | 444482 | 5073 202 | 0 | 0 181.74/181.80 c 173s | 19 | 474632 | 451182 | 5073 205 | 0 | 0 183.75/183.84 c 175s | 19 | 479527 | 455882 | 5073 206 | 0 | 0 185.74/185.89 c 177s | 19 | 484124 | 460182 | 5073 208 | 0 | 0 187.84/187.92 c 179s | 19 | 489230 | 465082 | 5073 210 | 0 | 0 189.84/189.97 c 181s | 19 | 494416 | 469982 | 5073 211 | 0 | 0 191.94/192.01 c 183s | 19 | 499159 | 474482 | 5073 213 | 0 | 0 193.94/194.03 c 185s | 19 | 503481 | 478382 | 5073 214 | 0 | 0 195.94/196.07 c 187s | 19 | 508687 | 483382 | 5073 216 | 0 | 0 197.95/198.09 c 189s | 19 | 513423 | 487982 | 5073 218 | 0 | 0 199.94/200.09 c 191s | 19 | 518514 | 492882 | 5073 220 | 0 | 0 202.04/202.11 c 193s | 19 | 523528 | 497782 | 5073 221 | 0 | 0 204.04/204.12 c 195s | 19 | 529010 | 503182 | 5073 223 | 0 | 0 206.05/206.12 c 197s | 19 | 534412 | 508382 | 5073 225 | 0 | 0 208.05/208.16 c 199s | 19 | 540194 | 513882 | 5073 227 | 0 | 0 210.05/210.16 c 201s | 19 | 545620 | 519082 | 5073 229 | 0 | 0 212.05/212.18 c 203s | 19 | 550516 | 523782 | 5073 231 | 0 | 0 214.04/214.18 c 205s | 19 | 555751 | 528882 | 5073 232 | 0 | 0 216.14/216.20 c 207s | 19 | 560904 | 533782 | 5073 234 | 0 | 0 218.14/218.23 c 210s | 19 | 565827 | 538482 | 5073 236 | 0 | 0 220.14/220.29 c 212s | 19 | 570950 | 543282 | 5073 238 | 0 | 0 222.25/222.31 c 214s | 19 | 575977 | 548182 | 5073 239 | 0 | 0 224.24/224.34 c 216s | 19 | 580912 | 552982 | 5073 241 | 0 | 0 226.24/226.35 c 218s | 19 | 585782 | 557682 | 5073 243 | 0 | 0 228.24/228.36 c 220s | 19 | 590680 | 562382 | 5073 244 | 0 | 0 230.24/230.39 c 222s | 19 | 595298 | 566882 | 5073 246 | 0 | 0 232.34/232.43 c 224s | 19 | 600650 | 572082 | 5073 248 | 0 | 0 234.34/234.44 c 226s | 19 | 605468 | 576682 | 5073 249 | 0 | 0 236.34/236.45 c 228s | 19 | 611065 | 582082 | 5073 251 | 0 | 0 238.34/238.48 c 230s | 19 | 616717 | 587482 | 5073 253 | 0 | 0 240.44/240.52 c 232s | 19 | 622159 | 592582 | 5073 255 | 0 | 0 242.44/242.53 c 234s | 19 | 627531 | 597682 | 5073 257 | 0 | 0 244.43/244.54 c 236s | 19 | 631916 | 601882 | 5073 258 | 0 | 0 246.44/246.56 c 238s | 19 | 636192 | 605982 | 5073 260 | 0 | 0 248.43/248.60 c 240s | 19 | 641014 | 610382 | 5073 261 | 0 | 0 250.53/250.63 c 242s | 19 | 644981 | 613982 | 5073 263 | 0 | 0 252.53/252.64 c 244s | 19 | 649275 | 617782 | 5073 264 | 0 | 0 254.53/254.65 c 246s | 19 | 654644 | 622982 | 5073 266 | 0 | 0 256.53/256.68 c 248s | 19 | 659725 | 627982 | 5073 268 | 0 | 0 258.63/258.70 c 250s | 19 | 664658 | 632882 | 5073 269 | 0 | 0 260.63/260.74 c 252s | 19 | 669864 | 637982 | 5073 271 | 0 | 0 262.63/262.75 c 254s | 19 | 674826 | 642582 | 5581 273 | 0 | 0 264.62/264.76 c 256s | 19 | 680298 | 647882 | 5581 274 | 0 | 0 266.62/266.79 c 258s | 19 | 685222 | 652682 | 5581 276 | 0 | 0 268.72/268.85 c 260s | 19 | 690447 | 657782 | 5581 278 | 0 | 0 270.72/270.87 c 262s | 19 | 696255 | 663382 | 5581 279 | 0 | 0 272.52/272.60 c 264s | 20 | 699863 | 666827 | 5581 281 | 0 | 0 274.52/274.61 c 266s | 20 | 703086 | 669727 | 5581 282 | 0 | 0 276.52/276.68 c 268s | 20 | 708213 | 674627 | 5581 283 | 0 | 0 278.62/278.71 c 270s | 20 | 712825 | 679127 | 5581 285 | 0 | 0 280.62/280.75 c 272s | 20 | 717373 | 683527 | 5581 286 | 0 | 0 282.63/282.77 c 274s | 20 | 721468 | 687427 | 5581 287 | 0 | 0 284.61/284.78 c 276s | 20 | 726153 | 691927 | 5581 289 | 0 | 0 286.61/286.79 c 278s | 20 | 730408 | 695927 | 5581 290 | 0 | 0 288.71/288.81 c 280s | 20 | 734177 | 699527 | 5581 292 | 0 | 0 290.71/290.86 c 282s | 20 | 738148 | 703227 | 5581 293 | 0 | 0 292.71/292.89 c 284s | 20 | 742666 | 707627 | 5581 294 | 0 | 0 294.82/294.91 c 286s | 20 | 747151 | 711927 | 5581 296 | 0 | 0 296.81/296.93 c 288s | 20 | 751533 | 716127 | 5581 297 | 0 | 0 298.81/298.97 c 290s | 20 | 755671 | 720127 | 5581 298 | 0 | 0 300.91/301.01 c 292s | 20 | 759891 | 724227 | 5581 300 | 0 | 0 302.91/303.03 c 294s | 20 | 763703 | 727727 | 5581 301 | 0 | 0 304.91/305.04 c 296s | 20 | 767537 | 731327 | 5581 302 | 0 | 0 306.91/307.04 c 298s | 20 | 771040 | 734527 | 5581 303 | 0 | 0 308.91/309.05 c 300s | 20 | 775020 | 738227 | 5581 305 | 0 | 0 310.91/311.08 c 302s | 20 | 779597 | 742627 | 5581 306 | 0 | 0 313.01/313.12 c 304s | 20 | 783885 | 746627 | 5581 307 | 0 | 0 315.00/315.13 c 306s | 20 | 788082 | 750727 | 5581 309 | 0 | 0 317.01/317.19 c 308s | 20 | 792618 | 754927 | 5581 310 | 0 | 0 319.11/319.22 c 311s | 20 | 797382 | 759527 | 5581 312 | 0 | 0 321.12/321.25 c 313s | 20 | 801357 | 763327 | 5581 313 | 0 | 0 323.21/323.31 c 315s | 20 | 805500 | 767327 | 5581 314 | 0 | 0 325.21/325.34 c 317s | 20 | 810355 | 772027 | 5581 316 | 0 | 0 327.21/327.39 c 319s | 20 | 814803 | 776327 | 5581 317 | 0 | 0 329.31/329.42 c 321s | 20 | 818660 | 780027 | 5581 319 | 0 | 0 331.31/331.44 c 323s | 20 | 823113 | 784227 | 5581 320 | 0 | 0 333.31/333.45 c 325s | 20 | 827206 | 788027 | 5581 321 | 0 | 0 335.30/335.48 c 327s | 20 | 831275 | 791927 | 5581 323 | 0 | 0 337.40/337.51 c 329s | 20 | 835297 | 795627 | 5581 324 | 0 | 0 339.40/339.54 c 331s | 20 | 839770 | 799727 | 5581 325 | 0 | 0 341.40/341.55 c 333s | 20 | 843782 | 803527 | 5581 326 | 0 | 0 343.50/343.60 c 335s | 20 | 847248 | 806727 | 5581 328 | 0 | 0 345.50/345.60 c 337s | 20 | 850863 | 810227 | 5581 329 | 0 | 0 347.50/347.62 c 339s | 20 | 854127 | 813327 | 5581 330 | 0 | 0 349.50/349.63 c 341s | 20 | 858212 | 817027 | 5581 331 | 0 | 0 351.50/351.65 c 343s | 20 | 862723 | 821427 | 5581 332 | 0 | 0 353.50/353.68 c 345s | 20 | 867542 | 826127 | 5581 334 | 0 | 0 355.49/355.68 c 347s | 20 | 872278 | 830827 | 5581 336 | 0 | 0 357.59/357.71 c 349s | 20 | 877224 | 835427 | 5581 337 | 0 | 0 359.60/359.74 c 351s | 20 | 881667 | 839627 | 5581 339 | 0 | 0 361.59/361.75 c 353s | 20 | 886595 | 844427 | 5581 340 | 0 | 0 363.59/363.76 c 355s | 20 | 890846 | 848227 | 5581 341 | 0 | 0 365.59/365.79 c 357s | 20 | 894239 | 851127 | 5581 342 | 0 | 0 367.69/367.82 c 359s | 20 | 898640 | 855427 | 5581 344 | 0 | 0 369.69/369.85 c 361s | 20 | 903017 | 859727 | 5581 345 | 0 | 0 371.69/371.86 c 363s | 20 | 907747 | 864327 | 5581 347 | 0 | 0 373.69/373.86 c 365s | 20 | 911519 | 868027 | 5581 348 | 0 | 0 375.68/375.89 c 367s | 20 | 916373 | 872727 | 5581 350 | 0 | 0 377.78/377.91 c 369s | 20 | 920719 | 877027 | 5581 351 | 0 | 0 379.78/379.93 c 371s | 20 | 925550 | 881727 | 5581 353 | 0 | 0 381.78/381.95 c 373s | 20 | 930362 | 886327 | 5581 354 | 0 | 0 383.79/383.99 c 375s | 20 | 935290 | 891127 | 5581 356 | 0 | 0 385.88/386.01 c 377s | 20 | 940505 | 896127 | 5581 358 | 0 | 0 387.88/388.04 c 379s | 20 | 945229 | 900327 | 5581 359 | 0 | 0 389.88/390.07 c 381s | 20 | 949962 | 904927 | 5581 361 | 0 | 0 391.98/392.10 c 383s | 20 | 955110 | 909927 | 5581 362 | 0 | 0 393.97/394.17 c 385s | 20 | 959592 | 914327 | 5581 364 | 0 | 0 396.07/396.22 c 388s | 20 | 964338 | 918527 | 5581 365 | 0 | 0 398.08/398.25 c 390s | 20 | 969078 | 923027 | 5581 367 | 0 | 0 400.07/400.29 c 392s | 20 | 974515 | 928327 | 5581 368 | 0 | 0 402.17/402.30 c 394s | 20 | 979380 | 933027 | 5581 370 | 0 | 0 404.18/404.32 c 396s | 20 | 983873 | 937427 | 5581 371 | 0 | 0 406.18/406.33 c 398s | 20 | 989099 | 942327 | 5581 373 | 0 | 0 408.17/408.37 c 400s | 20 | 994221 | 947227 | 5581 375 | 0 | 0 410.28/410.41 c 402s | 20 | 998540 | 951427 | 5581 376 | 0 | 0 412.27/412.42 c 404s | 20 | 1003646 | 956227 | 5581 378 | 0 | 0 414.27/414.44 c 406s | 20 | 1007875 | 960127 | 5581 379 | 0 | 0 416.27/416.45 c 408s | 20 | 1012202 | 964027 | 5581 380 | 0 | 0 418.27/418.46 c 410s | 20 | 1017098 | 968827 | 5581 382 | 0 | 0 420.37/420.50 c 412s | 20 | 1021857 | 973327 | 6140 383 | 0 | 0 422.38/422.55 c 414s | 20 | 1026632 | 977927 | 6140 385 | 0 | 0 424.37/424.59 c 416s | 20 | 1031351 | 982327 | 6140 386 | 0 | 0 426.47/426.63 c 418s | 20 | 1035718 | 986427 | 6140 387 | 0 | 0 428.47/428.63 c 420s | 20 | 1040074 | 990627 | 6140 389 | 0 | 0 430.47/430.66 c 422s | 20 | 1045240 | 995527 | 6140 390 | 0 | 0 432.46/432.68 c 424s | 20 | 1049756 | 999727 | 6140 391 | 0 | 0 432.86/433.00 c 424s | 21 | 1050406 | 1000345 | 6140 392 | 0 | 0 434.86/435.00 c 426s | 21 | 1057487 | 1007045 | 6140 394 | 0 | 0 436.86/437.01 c 428s | 21 | 1063389 | 1012545 | 6140 395 | 0 | 0 438.87/439.03 c 430s | 21 | 1068626 | 1017445 | 6140 397 | 0 | 0 440.86/441.04 c 432s | 21 | 1073784 | 1022345 | 6140 398 | 0 | 0 442.86/443.07 c 434s | 21 | 1078571 | 1026945 | 6140 400 | 0 | 0 444.86/445.09 c 436s | 21 | 1084014 | 1032045 | 6140 401 | 0 | 0 446.96/447.11 c 438s | 21 | 1090045 | 1037845 | 6140 403 | 0 | 0 448.96/449.13 c 440s | 21 | 1096368 | 1043845 | 6140 405 | 0 | 0 450.97/451.14 c 442s | 21 | 1102382 | 1049545 | 6140 406 | 0 | 0 452.96/453.16 c 444s | 21 | 1108035 | 1054945 | 6140 408 | 0 | 0 454.95/455.17 c 446s | 21 | 1112977 | 1059645 | 6140 409 | 0 | 0 456.95/457.17 c 448s | 21 | 1118563 | 1064945 | 6140 411 | 0 | 0 458.95/459.19 c 450s | 21 | 1124146 | 1070245 | 6140 413 | 0 | 0 461.05/461.20 c 452s | 21 | 1129893 | 1075745 | 6140 414 | 0 | 0 463.06/463.23 c 455s | 21 | 1135464 | 1080945 | 6140 416 | 0 | 0 465.05/465.23 c 457s | 21 | 1140853 | 1086045 | 6140 418 | 0 | 0 467.05/467.23 c 459s | 21 | 1146595 | 1091545 | 6140 419 | 0 | 0 469.05/469.24 c 461s | 21 | 1152050 | 1096745 | 6140 421 | 0 | 0 471.05/471.28 c 463s | 21 | 1157835 | 1102245 | 6140 422 | 0 | 0 473.05/473.29 c 465s | 21 | 1163564 | 1107745 | 6140 424 | 0 | 0 475.16/475.31 c 467s | 21 | 1168662 | 1112645 | 6140 426 | 0 | 0 477.15/477.33 c 469s | 21 | 1174098 | 1117945 | 6140 427 | 0 | 0 479.15/479.37 c 471s | 21 | 1179031 | 1122745 | 6140 429 | 0 | 0 481.25/481.40 c 473s | 21 | 1184584 | 1127945 | 6140 430 | 0 | 0 483.25/483.43 c 475s | 21 | 1190293 | 1133245 | 6140 432 | 0 | 0 485.25/485.46 c 477s | 21 | 1195744 | 1138445 | 6140 433 | 0 | 0 487.25/487.47 c 479s | 21 | 1201117 | 1143545 | 6140 435 | 0 | 0 489.24/489.50 c 481s | 21 | 1206260 | 1148445 | 6140 436 | 0 | 0 491.34/491.52 c 483s | 21 | 1211267 | 1153245 | 6140 438 | 0 | 0 493.34/493.53 c 485s | 21 | 1216122 | 1157845 | 6140 439 | 0 | 0 495.34/495.55 c 487s | 21 | 1222032 | 1163545 | 6140 441 | 0 | 0 497.34/497.57 c 489s | 21 | 1227584 | 1168945 | 6140 443 | 0 | 0 499.44/499.61 c 491s | 21 | 1233558 | 1174745 | 6140 444 | 0 | 0 501.45/501.65 c 493s | 21 | 1239685 | 1180645 | 6140 446 | 0 | 0 503.44/503.68 c 495s | 21 | 1244906 | 1185745 | 6140 448 | 0 | 0 505.54/505.70 c 497s | 21 | 1250437 | 1191145 | 6140 449 | 0 | 0 507.54/507.71 c 499s | 21 | 1256335 | 1196845 | 6140 451 | 0 | 0 509.53/509.75 c 501s | 21 | 1261960 | 1202245 | 6140 453 | 0 | 0 511.53/511.77 c 503s | 21 | 1267548 | 1207545 | 6140 454 | 0 | 0 513.54/513.80 c 505s | 21 | 1272991 | 1212745 | 6140 456 | 0 | 0 515.63/515.85 c 507s | 21 | 1278073 | 1217645 | 6140 458 | 0 | 0 517.63/517.87 c 509s | 21 | 1283767 | 1223145 | 6140 459 | 0 | 0 519.63/519.88 c 511s | 21 | 1289532 | 1228645 | 6140 461 | 0 | 0 521.73/521.92 c 513s | 21 | 1295209 | 1234045 | 6140 463 | 0 | 0 523.73/523.93 c 515s | 21 | 1300831 | 1239445 | 6140 464 | 0 | 0 525.73/525.93 c 517s | 21 | 1306435 | 1244845 | 6140 466 | 0 | 0 527.72/527.93 c 519s | 21 | 1312374 | 1250545 | 6140 468 | 0 | 0 529.72/529.94 c 521s | 21 | 1318079 | 1256045 | 6140 469 | 0 | 0 531.72/531.94 c 523s | 21 | 1323727 | 1261445 | 6140 471 | 0 | 0 533.72/533.97 c 525s | 21 | 1329573 | 1267045 | 6140 473 | 0 | 0 535.72/535.97 c 527s | 21 | 1335435 | 1272645 | 6140 474 | 0 | 0 537.82/538.01 c 529s | 21 | 1340976 | 1277945 | 6140 476 | 0 | 0 539.82/540.02 c 531s | 21 | 1346264 | 1283045 | 6140 477 | 0 | 0 541.82/542.03 c 533s | 21 | 1351832 | 1288345 | 6140 479 | 0 | 0 543.82/544.05 c 535s | 21 | 1357371 | 1293545 | 6140 481 | 0 | 0 545.81/546.07 c 537s | 21 | 1362684 | 1298545 | 6140 482 | 0 | 0 547.91/548.10 c 539s | 21 | 1367691 | 1303345 | 6140 484 | 0 | 0 549.92/550.11 c 541s | 21 | 1373256 | 1308645 | 6140 485 | 0 | 0 551.91/552.14 c 543s | 21 | 1378453 | 1313645 | 6140 487 | 0 | 0 553.91/554.16 c 545s | 21 | 1384000 | 1318945 | 6140 488 | 0 | 0 555.91/556.16 c 547s | 21 | 1389738 | 1324345 | 6140 490 | 0 | 0 557.91/558.17 c 549s | 21 | 1394910 | 1329245 | 6140 492 | 0 | 0 559.91/560.18 c 551s | 21 | 1400628 | 1334545 | 6140 493 | 0 | 0 562.01/562.24 c 554s | 21 | 1407981 | 1341545 | 6140 495 | 0 | 0 564.00/564.25 c 556s | 21 | 1414014 | 1347345 | 6140 497 | 0 | 0 566.00/566.25 c 558s | 21 | 1420164 | 1353245 | 6140 499 | 0 | 0 568.00/568.26 c 560s | 21 | 1426205 | 1358945 | 6140 500 | 0 | 0 570.00/570.26 c 562s | 21 | 1432100 | 1364545 | 6140 502 | 0 | 0 572.00/572.27 c 564s | 21 | 1437814 | 1370045 | 6140 504 | 0 | 0 574.00/574.28 c 566s | 21 | 1444120 | 1375945 | 6140 506 | 0 | 0 576.09/576.31 c 568s | 21 | 1450262 | 1381745 | 6140 507 | 0 | 0 578.09/578.34 c 570s | 21 | 1456948 | 1388145 | 6140 509 | 0 | 0 580.09/580.37 c 572s | 21 | 1462392 | 1393245 | 6140 511 | 0 | 0 582.19/582.40 c 574s | 21 | 1467861 | 1398345 | 6140 512 | 0 | 0 584.20/584.44 c 576s | 21 | 1474029 | 1404045 | 6140 514 | 0 | 0 586.20/586.46 c 578s | 21 | 1480068 | 1409645 | 6140 516 | 0 | 0 588.20/588.48 c 580s | 21 | 1486344 | 1415645 | 6140 518 | 0 | 0 590.30/590.51 c 582s | 21 | 1492325 | 1421245 | 6140 519 | 0 | 0 592.30/592.53 c 584s | 21 | 1497153 | 1425845 | 6140 521 | 0 | 0 594.29/594.57 c 586s | 21 | 1503097 | 1431545 | 6140 522 | 0 | 0 596.29/596.58 c 588s | 21 | 1508797 | 1436945 | 6140 524 | 0 | 0 598.39/598.63 c 590s | 21 | 1514270 | 1442145 | 6140 526 | 0 | 0 600.40/600.65 c 592s | 21 | 1520148 | 1447745 | 6140 527 | 0 | 0 602.39/602.65 c 594s | 21 | 1525240 | 1452645 | 6140 529 | 0 | 0 604.39/604.68 c 596s | 21 | 1530230 | 1457345 | 6140 530 | 0 | 0 606.49/606.70 c 598s | 21 | 1536728 | 1463545 | 6140 532 | 0 | 0 608.49/608.72 c 600s | 21 | 1542769 | 1469245 | 6755 534 | 0 | 0 610.49/610.75 c 602s | 21 | 1548660 | 1474945 | 6755 535 | 0 | 0 612.49/612.79 c 604s | 21 | 1553584 | 1479645 | 6755 536 | 0 | 0 614.58/614.82 c 606s | 21 | 1558080 | 1483945 | 6755 537 | 0 | 0 616.58/616.86 c 608s | 21 | 1562540 | 1488145 | 6755 539 | 0 | 0 618.58/618.87 c 610s | 21 | 1567575 | 1492945 | 6755 540 | 0 | 0 620.68/620.92 c 612s | 21 | 1572245 | 1497445 | 6755 541 | 0 | 0 622.18/622.45 c 614s | 22 | 1575636 | 1500622 | 6755 542 | 0 | 0 624.17/624.47 c 616s | 22 | 1582542 | 1507322 | 6755 544 | 0 | 0 626.17/626.48 c 618s | 22 | 1587715 | 1512422 | 6755 545 | 0 | 0 628.27/628.51 c 620s | 22 | 1592406 | 1517022 | 6755 547 | 0 | 0 630.27/630.52 c 622s | 22 | 1596734 | 1521322 | 6755 548 | 0 | 0 632.28/632.55 c 624s | 22 | 1601158 | 1525722 | 6755 549 | 0 | 0 634.27/634.58 c 626s | 22 | 1605400 | 1529922 | 6755 550 | 0 | 0 636.27/636.59 c 628s | 22 | 1610542 | 1534922 | 6755 552 | 0 | 0 638.36/638.62 c 630s | 22 | 1615848 | 1539822 | 6755 553 | 0 | 0 640.36/640.63 c 632s | 22 | 1620610 | 1544522 | 6755 554 | 0 | 0 642.36/642.64 c 634s | 22 | 1625944 | 1549822 | 6755 556 | 0 | 0 644.37/644.66 c 636s | 22 | 1631445 | 1555222 | 6755 557 | 0 | 0 646.36/646.69 c 638s | 22 | 1636831 | 1560522 | 6755 559 | 0 | 0 648.36/648.69 c 640s | 22 | 1642046 | 1565422 | 6755 560 | 0 | 0 650.45/650.76 c 642s | 22 | 1645627 | 1568822 | 6755 561 | 0 | 0 652.45/652.79 c 644s | 22 | 1649269 | 1572322 | 6755 562 | 0 | 0 654.55/654.85 c 646s | 22 | 1653158 | 1576022 | 6755 563 | 0 | 0 656.57/656.88 c 648s | 22 | 1656903 | 1579622 | 6755 564 | 0 | 0 658.56/658.90 c 650s | 22 | 1660619 | 1583122 | 6755 565 | 0 | 0 660.66/660.92 c 652s | 22 | 1663161 | 1585622 | 6755 566 | 0 | 0 662.66/662.92 c 654s | 22 | 1667463 | 1589722 | 6755 567 | 0 | 0 664.65/664.97 c 656s | 22 | 1671197 | 1593322 | 6755 568 | 0 | 0 666.75/667.00 c 658s | 22 | 1676083 | 1598122 | 6755 569 | 0 | 0 668.75/669.05 c 660s | 22 | 1681561 | 1603522 | 6755 571 | 0 | 0 670.76/671.07 c 662s | 22 | 1688552 | 1610222 | 6755 572 | 0 | 0 672.75/673.09 c 664s | 22 | 1694102 | 1615522 | 6755 574 | 0 | 0 674.85/675.12 c 666s | 22 | 1699926 | 1621222 | 6755 575 | 0 | 0 676.85/677.12 c 668s | 22 | 1704926 | 1626122 | 6755 577 | 0 | 0 678.85/679.13 c 670s | 22 | 1710494 | 1631622 | 6755 578 | 0 | 0 680.85/681.15 c 672s | 22 | 1716232 | 1637122 | 6755 580 | 0 | 0 682.85/683.19 c 674s | 22 | 1722496 | 1643122 | 6755 582 | 0 | 0 684.94/685.21 c 676s | 22 | 1728630 | 1649122 | 6755 583 | 0 | 0 686.94/687.22 c 679s | 22 | 1734043 | 1654422 | 6755 585 | 0 | 0 688.94/689.24 c 681s | 22 | 1739366 | 1659622 | 6755 586 | 0 | 0 690.94/691.24 c 683s | 22 | 1745696 | 1665722 | 6755 588 | 0 | 0 692.94/693.27 c 685s | 22 | 1751228 | 1671022 | 6755 589 | 0 | 0 695.04/695.33 c 687s | 22 | 1756042 | 1675622 | 6755 591 | 0 | 0 697.14/697.45 c 689s | 22 | 1758773 | 1678222 | 6755 591 | 0 | 0 699.13/699.49 c 691s | 22 | 1763098 | 1682322 | 6755 592 | 0 | 0 701.23/701.53 c 693s | 22 | 1767107 | 1686022 | 6755 593 | 0 | 0 703.23/703.54 c 695s | 22 | 1772165 | 1690622 | 6755 595 | 0 | 0 705.23/705.57 c 697s | 22 | 1776877 | 1694822 | 6755 596 | 0 | 0 707.23/707.59 c 699s | 22 | 1781190 | 1698822 | 6755 597 | 0 | 0 709.34/709.62 c 701s | 22 | 1786541 | 1704022 | 6755 598 | 0 | 0 711.33/711.62 c 703s | 22 | 1791291 | 1708422 | 6755 600 | 0 | 0 713.33/713.65 c 705s | 22 | 1795360 | 1712122 | 6755 601 | 0 | 0 715.43/715.71 c 707s | 22 | 1800473 | 1716922 | 6755 602 | 0 | 0 717.42/717.72 c 709s | 22 | 1805394 | 1721422 | 6755 603 | 0 | 0 719.42/719.75 c 711s | 22 | 1809724 | 1725322 | 6755 604 | 0 | 0 721.43/721.76 c 713s | 22 | 1814087 | 1729422 | 6755 605 | 0 | 0 723.43/723.80 c 715s | 22 | 1818674 | 1733822 | 6755 607 | 0 | 0 725.53/725.85 c 717s | 22 | 1823731 | 1738122 | 6755 608 | 0 | 0 727.53/727.87 c 719s | 22 | 1828315 | 1742622 | 6755 609 | 0 | 0 729.63/729.97 c 721s | 22 | 1832894 | 1746922 | 6755 610 | 0 | 0 731.63/731.99 c 723s | 22 | 1837178 | 1751022 | 6755 611 | 0 | 0 733.73/734.01 c 725s | 22 | 1840419 | 1754222 | 6755 612 | 0 | 0 735.73/736.01 c 727s | 22 | 1844068 | 1757322 | 6755 613 | 0 | 0 737.83/738.12 c 729s | 22 | 1848128 | 1761122 | 6755 614 | 0 | 0 739.82/740.13 c 731s | 22 | 1851911 | 1764622 | 6755 615 | 0 | 0 741.82/742.13 c 733s | 22 | 1856010 | 1768422 | 6755 616 | 0 | 0 743.82/744.15 c 735s | 22 | 1861255 | 1773422 | 6755 618 | 0 | 0 745.81/746.17 c 737s | 22 | 1866200 | 1778122 | 6755 619 | 0 | 0 747.82/748.19 c 739s | 22 | 1871308 | 1782822 | 6755 620 | 0 | 0 749.92/750.23 c 742s | 22 | 1876069 | 1786822 | 6755 621 | 0 | 0 751.91/752.23 c 744s | 22 | 1880709 | 1791222 | 6755 623 | 0 | 0 753.91/754.25 c 746s | 22 | 1885100 | 1795122 | 6755 624 | 0 | 0 755.91/756.27 c 748s | 22 | 1890377 | 1799122 | 6755 625 | 0 | 0 758.01/758.32 c 750s | 22 | 1895056 | 1803322 | 6755 626 | 0 | 0 760.01/760.34 c 752s | 22 | 1899773 | 1807322 | 6755 627 | 0 | 0 762.02/762.36 c 754s | 22 | 1905267 | 1812622 | 6755 628 | 0 | 0 764.00/764.37 c 756s | 22 | 1910046 | 1817022 | 6755 630 | 0 | 0 766.00/766.39 c 758s | 22 | 1915380 | 1822022 | 6755 631 | 0 | 0 768.10/768.45 c 760s | 22 | 1920309 | 1826522 | 6755 632 | 0 | 0 770.10/770.49 c 762s | 22 | 1924580 | 1830522 | 6755 633 | 0 | 0 772.20/772.51 c 764s | 22 | 1928992 | 1834822 | 6755 635 | 0 | 0 774.21/774.54 c 766s | 22 | 1933450 | 1839222 | 6755 636 | 0 | 0 776.20/776.57 c 768s | 22 | 1937779 | 1843422 | 6755 637 | 0 | 0 778.20/778.58 c 770s | 22 | 1942051 | 1847522 | 6755 638 | 0 | 0 780.30/780.61 c 772s | 22 | 1946826 | 1852222 | 6755 639 | 0 | 0 782.30/782.62 c 774s | 22 | 1951048 | 1856222 | 6755 641 | 0 | 0 784.30/784.66 c 776s | 22 | 1954902 | 1859922 | 6755 642 | 0 | 0 786.31/786.68 c 778s | 22 | 1959575 | 1864422 | 6755 643 | 0 | 0 788.41/788.70 c 780s | 22 | 1964352 | 1868922 | 6755 644 | 0 | 0 790.40/790.73 c 782s | 22 | 1968806 | 1873022 | 6755 645 | 0 | 0 792.40/792.76 c 784s | 22 | 1973930 | 1878022 | 6755 647 | 0 | 0 794.40/794.79 c 786s | 22 | 1978584 | 1882222 | 6755 648 | 0 | 0 796.50/796.81 c 788s | 22 | 1983230 | 1886522 | 6755 649 | 0 | 0 798.50/798.83 c 790s | 22 | 1987810 | 1890722 | 6755 650 | 0 | 0 800.50/800.85 c 792s | 22 | 1992787 | 1895322 | 6755 651 | 0 | 0 802.50/802.88 c 794s | 22 | 1997859 | 1900122 | 6755 653 | 0 | 0 804.60/804.90 c 796s | 22 | 2002348 | 1904322 | 6755 654 | 0 | 0 806.60/806.91 c 798s | 22 | 2007099 | 1908822 | 6755 655 | 0 | 0 808.70/809.01 c 800s | 22 | 2012589 | 1913922 | 6755 657 | 0 | 0 810.69/811.05 c 802s | 22 | 2017076 | 1917922 | 6755 658 | 0 | 0 812.70/813.08 c 804s | 22 | 2021166 | 1921522 | 6755 659 | 0 | 0 814.80/815.11 c 806s | 22 | 2025689 | 1925522 | 6755 660 | 0 | 0 816.79/817.14 c 808s | 22 | 2029408 | 1929122 | 6755 661 | 0 | 0 818.79/819.15 c 810s | 22 | 2034459 | 1933822 | 6755 662 | 0 | 0 820.79/821.16 c 812s | 22 | 2039524 | 1938622 | 6755 663 | 0 | 0 822.79/823.19 c 814s | 22 | 2042885 | 1941822 | 6755 664 | 0 | 0 824.89/825.21 c 816s | 22 | 2047182 | 1945722 | 6755 665 | 0 | 0 826.90/827.23 c 819s | 22 | 2051549 | 1949822 | 6755 666 | 0 | 0 828.89/829.23 c 821s | 22 | 2055750 | 1953622 | 6755 668 | 0 | 0 830.89/831.24 c 823s | 22 | 2060360 | 1957922 | 6755 669 | 0 | 0 832.99/833.33 c 825s | 22 | 2065023 | 1962322 | 6755 670 | 0 | 0 834.99/835.34 c 827s | 22 | 2068855 | 1966022 | 6755 671 | 0 | 0 836.99/837.36 c 829s | 22 | 2073707 | 1970422 | 6755 672 | 0 | 0 839.00/839.40 c 831s | 22 | 2078930 | 1975422 | 6755 674 | 0 | 0 841.09/841.41 c 833s | 22 | 2084431 | 1980722 | 6755 675 | 0 | 0 843.09/843.43 c 835s | 22 | 2089179 | 1985222 | 6755 676 | 0 | 0 845.09/845.47 c 837s | 22 | 2093033 | 1988722 | 6755 677 | 0 | 0 847.09/847.48 c 839s | 22 | 2097424 | 1992922 | 6755 678 | 0 | 0 849.19/849.51 c 841s | 22 | 2101800 | 1997022 | 6755 680 | 0 | 0 851.19/851.57 c 843s | 22 | 2105994 | 2001022 | 6755 681 | 0 | 0 853.19/853.59 c 845s | 22 | 2110126 | 2004922 | 6755 682 | 0 | 0 855.29/855.60 c 847s | 22 | 2113416 | 2007722 | 6755 682 | 0 | 0 857.28/857.61 c 849s | 22 | 2118260 | 2012122 | 6755 684 | 0 | 0 859.29/859.63 c 851s | 22 | 2122940 | 2016522 | 6755 685 | 0 | 0 861.29/861.63 c 853s | 22 | 2127899 | 2021122 | 6755 686 | 0 | 0 863.30/863.65 c 855s | 22 | 2132121 | 2025122 | 6755 687 | 0 | 0 865.29/865.70 c 857s | 22 | 2135542 | 2028322 | 6755 688 | 0 | 0 867.39/867.73 c 859s | 22 | 2139331 | 2031822 | 6755 689 | 0 | 0 869.39/869.77 c 861s | 22 | 2143957 | 2036022 | 6755 690 | 0 | 0 871.49/871.80 c 863s | 22 | 2147555 | 2039522 | 6755 691 | 0 | 0 873.49/873.83 c 865s | 22 | 2151265 | 2043022 | 6755 692 | 0 | 0 875.49/875.84 c 867s | 22 | 2156056 | 2047322 | 6755 693 | 0 | 0 877.60/877.91 c 869s | 22 | 2160862 | 2051822 | 6755 695 | 0 | 0 879.70/880.00 c 871s | 22 | 2165695 | 2056422 | 6755 696 | 0 | 0 881.69/882.02 c 873s | 22 | 2169933 | 2060522 | 6755 697 | 0 | 0 883.69/884.05 c 875s | 22 | 2174620 | 2064922 | 6755 698 | 0 | 0 885.69/886.07 c 877s | 22 | 2178838 | 2068922 | 6755 699 | 0 | 0 887.69/888.08 c 879s | 22 | 2182540 | 2072122 | 6755 700 | 0 | 0 889.79/890.11 c 881s | 22 | 2186465 | 2075822 | 6755 701 | 0 | 0 891.79/892.14 c 883s | 22 | 2191094 | 2080122 | 6755 703 | 0 | 0 893.89/894.20 c 885s | 22 | 2194957 | 2083422 | 6755 703 | 0 | 0 895.89/896.22 c 888s | 22 | 2200070 | 2088322 | 6755 705 | 0 | 0 897.89/898.24 c 890s | 22 | 2204484 | 2092622 | 6755 706 | 0 | 0 899.88/900.27 c 892s | 22 | 2209056 | 2097022 | 6755 707 | 0 | 0 901.98/902.38 c 894s | 22 | 2212736 | 2100422 | 6755 708 | 0 | 0 903.99/904.39 c 896s | 22 | 2217590 | 2104922 | 6755 709 | 0 | 0 906.09/906.41 c 898s | 22 | 2222345 | 2109522 | 6755 711 | 0 | 0 908.08/908.46 c 900s | 22 | 2227531 | 2114122 | 6755 712 | 0 | 0 910.08/910.49 c 902s | 22 | 2232203 | 2118122 | 6755 713 | 0 | 0 912.18/912.52 c 904s | 22 | 2236700 | 2121922 | 6755 714 | 0 | 0 914.18/914.54 c 906s | 22 | 2241289 | 2126322 | 6755 715 | 0 | 0 916.18/916.59 c 908s | 22 | 2245187 | 2130022 | 6755 716 | 0 | 0 918.19/918.59 c 910s | 22 | 2249460 | 2133922 | 6755 717 | 0 | 0 920.28/920.64 c 912s | 22 | 2252551 | 2136622 | 6755 718 | 0 | 0 922.38/922.76 c 914s | 22 | 2255377 | 2139222 | 6755 719 | 0 | 0 924.38/924.77 c 916s | 22 | 2259717 | 2143322 | 6755 720 | 0 | 0 926.48/926.81 c 918s | 22 | 2264642 | 2148122 | 6755 721 | 0 | 0 928.48/928.87 c 920s | 22 | 2269312 | 2152622 | 6755 723 | 0 | 0 930.48/930.87 c 922s | 22 | 2274116 | 2157222 | 6755 724 | 0 | 0 932.49/932.89 c 924s | 22 | 2279506 | 2162422 | 6755 725 | 0 | 0 934.58/934.91 c 926s | 22 | 2283650 | 2166122 | 6755 726 | 0 | 0 936.58/936.92 c 928s | 22 | 2288762 | 2170922 | 6755 728 | 0 | 0 938.58/938.95 c 930s | 22 | 2293692 | 2175722 | 6755 729 | 0 | 0 940.58/940.96 c 932s | 22 | 2297934 | 2179822 | 6755 730 | 0 | 0 942.68/943.01 c 934s | 22 | 2303461 | 2185022 | 6755 732 | 0 | 0 944.68/945.02 c 936s | 22 | 2308059 | 2189222 | 6755 733 | 0 | 0 946.68/947.04 c 938s | 22 | 2313306 | 2194222 | 6755 734 | 0 | 0 948.68/949.09 c 940s | 22 | 2317942 | 2198222 | 6755 735 | 0 | 0 950.78/951.14 c 942s | 22 | 2323586 | 2203422 | 6755 737 | 0 | 0 952.88/953.20 c 944s | 22 | 2327447 | 2207022 | 6755 738 | 0 | 0 954.87/955.22 c 946s | 22 | 2331195 | 2210522 | 6755 739 | 0 | 0 956.87/957.22 c 948s | 22 | 2335004 | 2214122 | 7431 739 | 0 | 0 958.88/959.23 c 951s | 22 | 2338880 | 2217622 | 7431 740 | 0 | 0 960.87/961.25 c 953s | 22 | 2344188 | 2222722 | 7431 742 | 0 | 0 962.87/963.27 c 955s | 22 | 2349581 | 2227922 | 7431 743 | 0 | 0 964.97/965.31 c 957s | 22 | 2354078 | 2232122 | 7431 744 | 0 | 0 966.97/967.34 c 959s | 22 | 2359323 | 2237122 | 7431 745 | 0 | 0 968.97/969.38 c 961s | 22 | 2363828 | 2241422 | 7431 746 | 0 | 0 970.98/971.38 c 963s | 22 | 2368017 | 2245422 | 7431 747 | 0 | 0 973.07/973.40 c 965s | 22 | 2372745 | 2249622 | 7431 748 | 0 | 0 973.67/974.07 c 965s | 23 | 2374291 | 2251038 | 7431 749 | 0 | 0 975.67/976.09 c 967s | 23 | 2381138 | 2257538 | 7431 750 | 0 | 0 977.77/978.12 c 969s | 23 | 2387199 | 2263438 | 7431 752 | 0 | 0 979.78/980.13 c 971s | 23 | 2392462 | 2268538 | 7431 753 | 0 | 0 981.77/982.17 c 973s | 23 | 2397768 | 2273738 | 7431 755 | 0 | 0 983.87/984.21 c 975s | 23 | 2403654 | 2279438 | 7431 756 | 0 | 0 985.87/986.22 c 978s | 23 | 2408997 | 2284638 | 7431 757 | 0 | 0 987.87/988.26 c 980s | 23 | 2413798 | 2289338 | 7431 758 | 0 | 0 989.87/990.26 c 982s | 23 | 2419669 | 2294938 | 7431 760 | 0 | 0 991.88/992.29 c 984s | 23 | 2425194 | 2300238 | 7431 761 | 0 | 0 993.97/994.32 c 986s | 23 | 2430512 | 2305238 | 7431 762 | 0 | 0 995.97/996.32 c 988s | 23 | 2435582 | 2310038 | 7431 764 | 0 | 0 997.97/998.34 c 990s | 23 | 2441013 | 2315038 | 7431 765 | 0 | 0 999.97/1000.34 c 992s | 23 | 2445828 | 2319738 | 7431 766 | 0 | 0 1001.97/1002.34 c 994s | 23 | 2450542 | 2324138 | 7431 767 | 0 | 0 1003.97/1004.34 c 996s | 23 | 2455708 | 2328838 | 7431 768 | 0 | 0 1005.97/1006.36 c 998s | 23 | 2460566 | 2333238 | 7431 769 | 0 | 0 1007.97/1008.39 c 1000s | 23 | 2466231 | 2338538 | 7431 771 | 0 | 0 1009.97/1010.39 c 1002s | 23 | 2471107 | 2343238 | 7431 772 | 0 | 0 1012.07/1012.43 c 1004s | 23 | 2476405 | 2348038 | 7431 773 | 0 | 0 1014.06/1014.48 c 1006s | 23 | 2480382 | 2351838 | 7431 774 | 0 | 0 1016.07/1016.50 c 1008s | 23 | 2485068 | 2356038 | 7431 775 | 0 | 0 1018.16/1018.51 c 1010s | 23 | 2489397 | 2359838 | 7431 776 | 0 | 0 1020.16/1020.53 c 1012s | 23 | 2493318 | 2363638 | 7431 777 | 0 | 0 1022.16/1022.55 c 1014s | 23 | 2498706 | 2368738 | 7431 778 | 0 | 0 1024.16/1024.59 c 1016s | 23 | 2504119 | 2373938 | 7431 780 | 0 | 0 1026.26/1026.63 c 1018s | 23 | 2509244 | 2378738 | 7431 781 | 0 | 0 1028.27/1028.66 c 1020s | 23 | 2513972 | 2383238 | 7431 782 | 0 | 0 1030.26/1030.67 c 1022s | 23 | 2518996 | 2388038 | 7431 783 | 0 | 0 1032.26/1032.68 c 1024s | 23 | 2524166 | 2392738 | 7431 784 | 0 | 0 1034.36/1034.71 c 1026s | 23 | 2528800 | 2396738 | 7431 785 | 0 | 0 1036.36/1036.77 c 1028s | 23 | 2533457 | 2400738 | 7431 786 | 0 | 0 1038.46/1038.80 c 1030s | 23 | 2538714 | 2405738 | 7431 787 | 0 | 0 1040.46/1040.81 c 1032s | 23 | 2543762 | 2410438 | 7431 789 | 0 | 0 1042.46/1042.83 c 1034s | 23 | 2549008 | 2415338 | 7431 790 | 0 | 0 1044.46/1044.85 c 1036s | 23 | 2553917 | 2420138 | 7431 791 | 0 | 0 1046.56/1046.90 c 1038s | 23 | 2557673 | 2423638 | 7431 792 | 0 | 0 1048.56/1048.93 c 1040s | 23 | 2562030 | 2427838 | 7431 793 | 0 | 0 1050.56/1050.93 c 1042s | 23 | 2567431 | 2433038 | 7431 794 | 0 | 0 1052.56/1052.95 c 1044s | 23 | 2572635 | 2438038 | 7431 795 | 0 | 0 1054.57/1054.98 c 1046s | 23 | 2577036 | 2442238 | 7431 797 | 0 | 0 1056.56/1056.99 c 1048s | 23 | 2581644 | 2446638 | 7431 798 | 0 | 0 1058.66/1059.02 c 1050s | 23 | 2586395 | 2450738 | 7431 799 | 0 | 0 1060.66/1061.04 c 1052s | 23 | 2591118 | 2455238 | 7431 800 | 0 | 0 1062.66/1063.08 c 1054s | 23 | 2595022 | 2458938 | 7431 801 | 0 | 0 1064.76/1065.10 c 1056s | 23 | 2599822 | 2463438 | 7431 802 | 0 | 0 1066.77/1067.11 c 1058s | 23 | 2603932 | 2467438 | 7431 803 | 0 | 0 1068.76/1069.13 c 1060s | 23 | 2608581 | 2471938 | 7431 804 | 0 | 0 1070.76/1071.18 c 1062s | 23 | 2613001 | 2476138 | 7431 805 | 0 | 0 1072.76/1073.19 c 1064s | 23 | 2617379 | 2480338 | 7431 806 | 0 | 0 1074.76/1075.19 c 1066s | 23 | 2621061 | 2483938 | 7431 807 | 0 | 0 1076.86/1077.20 c 1068s | 23 | 2625794 | 2488538 | 7431 808 | 0 | 0 1078.87/1079.24 c 1071s | 23 | 2630790 | 2493138 | 7431 809 | 0 | 0 1080.86/1081.29 c 1073s | 23 | 2634745 | 2496838 | 7431 810 | 0 | 0 1082.96/1083.32 c 1075s | 23 | 2639494 | 2501238 | 7431 811 | 0 | 0 1084.96/1085.35 c 1077s | 23 | 2644277 | 2505838 | 7431 812 | 0 | 0 1086.96/1087.36 c 1079s | 23 | 2649065 | 2510438 | 7431 814 | 0 | 0 1088.96/1089.37 c 1081s | 23 | 2654206 | 2515338 | 7431 815 | 0 | 0 1091.06/1091.41 c 1083s | 23 | 2658308 | 2519338 | 7431 816 | 0 | 0 1093.06/1093.43 c 1085s | 23 | 2663062 | 2523838 | 7431 817 | 0 | 0 1095.06/1095.47 c 1087s | 23 | 2668134 | 2528638 | 7431 818 | 0 | 0 1097.16/1097.53 c 1089s | 23 | 2673200 | 2533538 | 7431 819 | 0 | 0 1099.15/1099.55 c 1091s | 23 | 2677699 | 2537838 | 7431 820 | 0 | 0 1101.15/1101.59 c 1093s | 23 | 2681949 | 2541838 | 7431 821 | 0 | 0 1103.15/1103.59 c 1095s | 23 | 2686411 | 2545938 | 7431 822 | 0 | 0 1105.26/1105.63 c 1097s | 23 | 2691411 | 2550638 | 7431 824 | 0 | 0 1107.25/1107.63 c 1099s | 23 | 2695920 | 2554738 | 7431 825 | 0 | 0 1109.25/1109.66 c 1101s | 23 | 2699691 | 2558138 | 7431 825 | 0 | 0 1111.35/1111.71 c 1103s | 23 | 2704921 | 2562938 | 7431 827 | 0 | 0 1113.35/1113.73 c 1105s | 23 | 2708445 | 2566238 | 7431 827 | 0 | 0 1115.35/1115.76 c 1107s | 23 | 2712204 | 2569838 | 7431 828 | 0 | 0 1117.36/1117.78 c 1109s | 23 | 2715529 | 2573038 | 7431 829 | 0 | 0 1119.35/1119.80 c 1111s | 23 | 2719870 | 2577138 | 7431 830 | 0 | 0 1121.45/1121.83 c 1113s | 23 | 2724626 | 2581638 | 7431 831 | 0 | 0 1123.45/1123.85 c 1115s | 23 | 2729993 | 2586638 | 7431 833 | 0 | 0 1125.45/1125.86 c 1117s | 23 | 2735183 | 2591538 | 7431 834 | 0 | 0 1127.45/1127.88 c 1119s | 23 | 2740437 | 2596638 | 7431 835 | 0 | 0 1129.45/1129.89 c 1121s | 23 | 2745345 | 2601338 | 7431 836 | 0 | 0 1131.45/1131.90 c 1123s | 23 | 2750209 | 2605838 | 7431 837 | 0 | 0 1133.55/1133.90 c 1125s | 23 | 2754546 | 2609838 | 7431 838 | 0 | 0 1135.65/1136.00 c 1127s | 23 | 2759452 | 2614538 | 7431 840 | 0 | 0 1137.65/1138.01 c 1129s | 23 | 2764449 | 2619338 | 7431 841 | 0 | 0 1139.64/1140.02 c 1131s | 23 | 2769079 | 2623738 | 7431 842 | 0 | 0 1141.64/1142.04 c 1133s | 23 | 2773848 | 2628338 | 7431 843 | 0 | 0 1143.65/1144.06 c 1135s | 23 | 2778035 | 2632338 | 7431 844 | 0 | 0 1145.74/1146.14 c 1137s | 23 | 2781726 | 2635938 | 7431 845 | 0 | 0 1147.74/1148.16 c 1139s | 23 | 2785368 | 2639438 | 7431 846 | 0 | 0 1149.74/1150.18 c 1141s | 23 | 2789955 | 2643938 | 7431 847 | 0 | 0 1151.74/1152.18 c 1143s | 23 | 2795055 | 2648838 | 7431 848 | 0 | 0 1153.74/1154.18 c 1145s | 23 | 2799449 | 2652938 | 7431 849 | 0 | 0 1155.85/1156.25 c 1148s | 23 | 2803834 | 2657038 | 7431 850 | 0 | 0 1157.84/1158.28 c 1150s | 23 | 2808576 | 2661638 | 7431 851 | 0 | 0 1159.94/1160.31 c 1152s | 23 | 2813112 | 2665938 | 7431 852 | 0 | 0 1161.94/1162.31 c 1154s | 23 | 2817376 | 2670038 | 7431 853 | 0 | 0 1163.94/1164.32 c 1156s | 23 | 2822333 | 2674838 | 7431 855 | 0 | 0 1165.94/1166.32 c 1158s | 23 | 2827281 | 2679638 | 7431 856 | 0 | 0 1167.95/1168.34 c 1160s | 23 | 2831707 | 2683838 | 7431 857 | 0 | 0 1169.94/1170.37 c 1162s | 23 | 2836432 | 2688238 | 7431 858 | 0 | 0 1172.04/1172.43 c 1164s | 23 | 2841375 | 2692938 | 7431 859 | 0 | 0 1174.04/1174.44 c 1166s | 23 | 2845563 | 2697038 | 7431 860 | 0 | 0 1176.04/1176.47 c 1168s | 23 | 2849745 | 2701038 | 7431 861 | 0 | 0 1178.14/1178.51 c 1170s | 23 | 2854656 | 2705638 | 7431 862 | 0 | 0 1180.14/1180.54 c 1172s | 23 | 2859413 | 2710138 | 7431 863 | 0 | 0 1182.14/1182.60 c 1174s | 23 | 2864792 | 2715238 | 7431 865 | 0 | 0 1184.24/1184.64 c 1176s | 23 | 2870158 | 2720338 | 7431 866 | 0 | 0 1186.23/1186.65 c 1178s | 23 | 2875039 | 2724938 | 7431 867 | 0 | 0 1188.33/1188.70 c 1180s | 23 | 2880083 | 2729438 | 7431 868 | 0 | 0 1190.33/1190.72 c 1182s | 23 | 2885850 | 2735038 | 7431 870 | 0 | 0 1192.33/1192.73 c 1184s | 23 | 2890816 | 2739738 | 7431 871 | 0 | 0 1194.34/1194.74 c 1186s | 23 | 2896506 | 2745138 | 7431 872 | 0 | 0 1196.33/1196.78 c 1188s | 23 | 2901125 | 2749438 | 7431 873 | 0 | 0 1198.33/1198.79 c 1190s | 23 | 2906426 | 2754438 | 7431 874 | 0 | 0 1200.43/1200.83 c 1192s | 23 | 2911500 | 2759238 | 7431 876 | 0 | 0 1202.43/1202.85 c 1194s | 23 | 2916917 | 2764238 | 7431 877 | 0 | 0 1204.43/1204.87 c 1196s | 23 | 2921967 | 2768938 | 7431 878 | 0 | 0 1206.53/1206.90 c 1198s | 23 | 2926771 | 2773538 | 7431 879 | 0 | 0 1208.54/1208.95 c 1200s | 23 | 2932371 | 2778938 | 7431 881 | 0 | 0 1210.53/1210.96 c 1202s | 23 | 2937033 | 2783138 | 7431 882 | 0 | 0 1212.63/1213.00 c 1204s | 23 | 2941939 | 2787538 | 7431 883 | 0 | 0 1214.64/1215.00 c 1206s | 23 | 2946727 | 2792038 | 7431 884 | 0 | 0 1216.64/1217.04 c 1208s | 23 | 2951205 | 2796238 | 7431 885 | 0 | 0 1218.64/1219.04 c 1210s | 23 | 2956028 | 2800938 | 7431 886 | 0 | 0 1220.64/1221.06 c 1212s | 23 | 2960738 | 2805538 | 7431 887 | 0 | 0 1222.64/1223.08 c 1214s | 23 | 2965518 | 2810238 | 7431 888 | 0 | 0 1224.74/1225.10 c 1216s | 23 | 2969870 | 2814438 | 7431 889 | 0 | 0 1226.74/1227.12 c 1218s | 23 | 2974396 | 2818738 | 7431 890 | 0 | 0 1228.74/1229.15 c 1220s | 23 | 2978814 | 2823038 | 7431 892 | 0 | 0 1230.74/1231.19 c 1222s | 23 | 2982881 | 2827038 | 7431 893 | 0 | 0 1232.84/1233.20 c 1224s | 23 | 2987996 | 2831938 | 7431 894 | 0 | 0 1234.83/1235.21 c 1226s | 23 | 2993258 | 2836938 | 7431 895 | 0 | 0 1236.83/1237.27 c 1229s | 23 | 2998065 | 2841538 | 7431 896 | 0 | 0 1238.83/1239.28 c 1231s | 23 | 3003028 | 2846338 | 7431 897 | 0 | 0 1240.93/1241.31 c 1233s | 23 | 3007829 | 2850938 | 7431 899 | 0 | 0 1242.93/1243.33 c 1235s | 23 | 3012976 | 2855938 | 7431 900 | 0 | 0 1244.94/1245.33 c 1237s | 23 | 3018361 | 2861138 | 7431 901 | 0 | 0 1246.93/1247.36 c 1239s | 23 | 3023265 | 2865838 | 7431 902 | 0 | 0 1248.93/1249.37 c 1241s | 23 | 3027655 | 2870138 | 7431 903 | 0 | 0 1250.93/1251.39 c 1243s | 23 | 3032146 | 2874238 | 7431 904 | 0 | 0 1253.03/1253.43 c 1245s | 23 | 3037137 | 2879038 | 7431 906 | 0 | 0 1255.03/1255.44 c 1247s | 23 | 3041892 | 2883538 | 7431 907 | 0 | 0 1257.04/1257.45 c 1249s | 23 | 3045963 | 2887438 | 7431 908 | 0 | 0 1259.03/1259.46 c 1251s | 23 | 3051171 | 2892238 | 7431 909 | 0 | 0 1261.03/1261.47 c 1253s | 23 | 3056271 | 2897138 | 7431 910 | 0 | 0 1263.03/1263.48 c 1255s | 23 | 3061070 | 2901738 | 7431 911 | 0 | 0 1265.13/1265.50 c 1257s | 23 | 3065591 | 2906138 | 7431 912 | 0 | 0 1267.13/1267.53 c 1259s | 23 | 3070477 | 2910538 | 7431 913 | 0 | 0 1269.23/1269.60 c 1261s | 23 | 3074998 | 2914938 | 7431 915 | 0 | 0 1271.23/1271.63 c 1263s | 23 | 3080260 | 2919838 | 7431 916 | 0 | 0 1273.23/1273.63 c 1265s | 23 | 3085462 | 2924738 | 7431 917 | 0 | 0 1275.23/1275.65 c 1267s | 23 | 3090846 | 2929938 | 7431 918 | 0 | 0 1277.33/1277.70 c 1269s | 23 | 3095768 | 2934638 | 7431 919 | 0 | 0 1279.32/1279.73 c 1271s | 23 | 3100916 | 2939738 | 7431 921 | 0 | 0 1281.32/1281.76 c 1273s | 23 | 3105895 | 2944538 | 7431 922 | 0 | 0 1283.33/1283.79 c 1275s | 23 | 3110945 | 2949438 | 7431 923 | 0 | 0 1285.42/1285.82 c 1277s | 23 | 3115795 | 2954038 | 7431 924 | 0 | 0 1287.42/1287.83 c 1279s | 23 | 3120779 | 2958538 | 7431 925 | 0 | 0 1289.42/1289.88 c 1281s | 23 | 3124892 | 2962438 | 7431 926 | 0 | 0 1291.42/1291.88 c 1283s | 23 | 3129596 | 2966938 | 7431 928 | 0 | 0 1293.42/1293.89 c 1285s | 23 | 3134037 | 2970938 | 7431 929 | 0 | 0 1295.53/1295.92 c 1287s | 23 | 3138529 | 2975238 | 7431 930 | 0 | 0 1297.52/1297.92 c 1289s | 23 | 3143747 | 2980238 | 7431 931 | 0 | 0 1299.52/1299.93 c 1291s | 23 | 3148917 | 2985138 | 7431 932 | 0 | 0 1301.52/1301.96 c 1293s | 23 | 3153815 | 2989738 | 7431 933 | 0 | 0 1303.52/1303.98 c 1295s | 23 | 3158384 | 2993938 | 7431 934 | 0 | 0 1305.62/1306.01 c 1297s | 23 | 3162774 | 2998238 | 7431 935 | 0 | 0 1307.62/1308.03 c 1299s | 23 | 3167642 | 3002938 | 7431 937 | 0 | 0 1309.62/1310.04 c 1301s | 23 | 3172392 | 3007438 | 7431 938 | 0 | 0 1311.62/1312.07 c 1303s | 23 | 3177106 | 3011938 | 7431 939 | 0 | 0 1313.72/1314.10 c 1305s | 23 | 3181703 | 3016238 | 7431 940 | 0 | 0 1315.72/1316.13 c 1307s | 23 | 3185861 | 3020238 | 7431 941 | 0 | 0 1317.71/1318.15 c 1309s | 23 | 3190549 | 3024738 | 7431 942 | 0 | 0 1319.73/1320.19 c 1311s | 23 | 3195120 | 3029138 | 7431 943 | 0 | 0 1321.83/1322.22 c 1314s | 23 | 3199759 | 3033438 | 7431 944 | 0 | 0 1323.82/1324.25 c 1316s | 23 | 3204462 | 3037938 | 7431 945 | 0 | 0 1325.82/1326.26 c 1318s | 23 | 3209703 | 3042838 | 7431 946 | 0 | 0 1327.82/1328.29 c 1320s | 23 | 3214476 | 3047238 | 7431 948 | 0 | 0 1329.92/1330.34 c 1322s | 23 | 3219424 | 3052038 | 7431 949 | 0 | 0 1331.92/1332.36 c 1324s | 23 | 3224326 | 3056738 | 7431 950 | 0 | 0 1333.93/1334.37 c 1326s | 23 | 3228701 | 3060838 | 7431 951 | 0 | 0 1335.92/1336.37 c 1328s | 23 | 3233292 | 3065038 | 7431 952 | 0 | 0 1338.02/1338.40 c 1330s | 23 | 3237009 | 3068638 | 7431 953 | 0 | 0 1340.02/1340.41 c 1332s | 23 | 3241746 | 3073138 | 7431 954 | 0 | 0 1342.02/1342.44 c 1334s | 23 | 3246316 | 3077538 | 7431 955 | 0 | 0 1344.02/1344.46 c 1336s | 23 | 3251289 | 3082338 | 7431 956 | 0 | 0 1346.02/1346.50 c 1338s | 23 | 3256164 | 3086938 | 7431 957 | 0 | 0 1348.12/1348.52 c 1340s | 23 | 3261049 | 3091538 | 7431 959 | 0 | 0 1350.12/1350.52 c 1342s | 23 | 3266010 | 3096138 | 7431 960 | 0 | 0 1352.12/1352.55 c 1344s | 23 | 3270734 | 3100638 | 7431 961 | 0 | 0 1354.12/1354.56 c 1346s | 23 | 3274924 | 3104638 | 7431 962 | 0 | 0 1356.12/1356.57 c 1348s | 23 | 3279314 | 3108838 | 7431 963 | 0 | 0 1358.12/1358.58 c 1350s | 23 | 3283792 | 3113138 | 7431 964 | 0 | 0 1360.12/1360.58 c 1352s | 23 | 3288532 | 3117638 | 7431 965 | 0 | 0 1362.21/1362.63 c 1354s | 23 | 3293055 | 3121938 | 7431 966 | 0 | 0 1364.21/1364.66 c 1356s | 23 | 3298557 | 3127238 | 7431 967 | 0 | 0 1366.21/1366.68 c 1358s | 23 | 3303284 | 3131838 | 7431 969 | 0 | 0 1368.31/1368.73 c 1360s | 23 | 3308508 | 3136638 | 7431 970 | 0 | 0 1370.32/1370.76 c 1362s | 23 | 3313383 | 3141138 | 7431 971 | 0 | 0 1372.31/1372.77 c 1364s | 23 | 3317464 | 3145038 | 7431 972 | 0 | 0 1374.41/1374.81 c 1366s | 23 | 3321741 | 3149038 | 7431 973 | 0 | 0 1376.41/1376.84 c 1368s | 23 | 3326558 | 3153638 | 7431 974 | 0 | 0 1378.41/1378.86 c 1370s | 23 | 3331728 | 3158638 | 7431 975 | 0 | 0 1380.41/1380.87 c 1372s | 23 | 3336828 | 3163138 | 7431 976 | 0 | 0 1382.51/1382.91 c 1374s | 23 | 3340869 | 3166738 | 7431 977 | 0 | 0 1384.52/1384.93 c 1376s | 23 | 3344815 | 3170538 | 7431 978 | 0 | 0 1386.51/1386.93 c 1378s | 23 | 3349224 | 3174638 | 7431 979 | 0 | 0 1388.51/1388.97 c 1380s | 23 | 3353753 | 3178838 | 7431 980 | 0 | 0 1390.51/1390.97 c 1382s | 23 | 3358240 | 3183038 | 7431 981 | 0 | 0 1392.61/1393.00 c 1384s | 23 | 3363420 | 3188038 | 7431 983 | 0 | 0 1394.61/1395.02 c 1386s | 23 | 3368533 | 3193038 | 7431 984 | 0 | 0 1396.61/1397.05 c 1388s | 23 | 3373913 | 3198138 | 7431 985 | 0 | 0 1398.61/1399.07 c 1390s | 23 | 3378415 | 3202438 | 7431 986 | 0 | 0 1400.61/1401.08 c 1392s | 23 | 3383173 | 3206838 | 7431 987 | 0 | 0 1402.60/1403.08 c 1394s | 23 | 3387790 | 3211338 | 7431 988 | 0 | 0 1404.60/1405.08 c 1396s | 23 | 3392823 | 3216238 | 7431 990 | 0 | 0 1406.61/1407.09 c 1398s | 23 | 3398009 | 3221138 | 7431 991 | 0 | 0 1408.60/1409.10 c 1400s | 23 | 3402812 | 3225738 | 7431 992 | 0 | 0 1410.70/1411.13 c 1402s | 23 | 3407811 | 3230538 | 7431 993 | 0 | 0 1412.70/1413.14 c 1404s | 23 | 3412956 | 3235438 | 7431 994 | 0 | 0 1414.70/1415.15 c 1406s | 23 | 3417891 | 3240238 | 7431 996 | 0 | 0 1416.70/1417.16 c 1408s | 23 | 3422867 | 3244738 | 7431 997 | 0 | 0 1418.71/1419.19 c 1410s | 23 | 3428435 | 3250138 | 7431 998 | 0 | 0 1420.81/1421.21 c 1412s | 23 | 3433667 | 3255138 | 7431 999 | 0 | 0 1422.80/1423.23 c 1415s | 23 | 3438313 | 3259438 | 7431 1000 | 0 | 0 1424.80/1425.27 c 1417s | 23 | 3443159 | 3263938 | 7431 1001 | 0 | 0 1426.80/1427.29 c 1419s | 23 | 3448038 | 3268438 | 7431 1003 | 0 | 0 1428.91/1429.30 c 1421s | 23 | 3453197 | 3273438 | 7431 1004 | 0 | 0 1430.91/1431.34 c 1423s | 23 | 3457950 | 3277838 | 7431 1005 | 0 | 0 1432.91/1433.36 c 1425s | 23 | 3462067 | 3281638 | 7431 1006 | 0 | 0 1434.91/1435.36 c 1427s | 23 | 3466774 | 3286138 | 7431 1007 | 0 | 0 1436.91/1437.37 c 1429s | 23 | 3471149 | 3290238 | 7431 1008 | 0 | 0 1438.90/1439.37 c 1431s | 23 | 3475835 | 3294738 | 7431 1009 | 0 | 0 1441.00/1441.40 c 1433s | 23 | 3479612 | 3298438 | 7431 1010 | 0 | 0 1443.00/1443.41 c 1435s | 23 | 3483913 | 3302538 | 7431 1011 | 0 | 0 1445.01/1445.42 c 1437s | 23 | 3488301 | 3306438 | 7431 1012 | 0 | 0 1447.00/1447.44 c 1439s | 23 | 3492993 | 3310938 | 7431 1013 | 0 | 0 1449.00/1449.45 c 1441s | 23 | 3497780 | 3315538 | 7431 1014 | 0 | 0 1451.10/1451.50 c 1443s | 23 | 3502624 | 3320238 | 7431 1016 | 0 | 0 1453.10/1453.51 c 1445s | 23 | 3507158 | 3324238 | 7431 1017 | 0 | 0 1455.10/1455.53 c 1447s | 23 | 3511604 | 3328338 | 7431 1018 | 0 | 0 1457.21/1457.60 c 1449s | 23 | 3516372 | 3332938 | 8175 1019 | 0 | 0 1459.20/1459.62 c 1451s | 23 | 3520816 | 3337238 | 8175 1020 | 0 | 0 1461.20/1461.64 c 1453s | 23 | 3525536 | 3341738 | 8175 1021 | 0 | 0 1463.20/1463.65 c 1455s | 23 | 3529662 | 3345438 | 8175 1021 | 0 | 0 1465.20/1465.67 c 1457s | 23 | 3534309 | 3349938 | 8175 1022 | 0 | 0 1467.20/1467.68 c 1459s | 23 | 3539034 | 3354538 | 8175 1023 | 0 | 0 1469.30/1469.72 c 1461s | 23 | 3543667 | 3359038 | 8175 1024 | 0 | 0 1471.30/1471.72 c 1463s | 23 | 3548212 | 3363438 | 8175 1025 | 0 | 0 1473.30/1473.73 c 1465s | 23 | 3552617 | 3367638 | 8175 1026 | 0 | 0 1475.29/1475.78 c 1467s | 23 | 3557451 | 3372238 | 8175 1027 | 0 | 0 1477.29/1477.76 c 1469s | 24 | 3561993 | 3376662 | 8175 1028 | 0 | 0 1479.29/1479.76 c 1471s | 24 | 3566532 | 3380762 | 8175 1029 | 0 | 0 1481.40/1481.81 c 1473s | 24 | 3570358 | 3384362 | 8175 1030 | 0 | 0 1483.39/1483.84 c 1475s | 24 | 3575349 | 3388762 | 8175 1031 | 0 | 0 1485.39/1485.87 c 1477s | 24 | 3578205 | 3390962 | 8175 1032 | 0 | 0 1487.49/1487.95 c 1479s | 24 | 3581200 | 3392962 | 8175 1032 | 0 | 0 1489.49/1489.98 c 1481s | 24 | 3585718 | 3395762 | 8175 1033 | 0 | 0 1491.59/1492.03 c 1483s | 24 | 3590428 | 3400262 | 8175 1034 | 0 | 0 1493.59/1494.04 c 1485s | 24 | 3593933 | 3403462 | 8175 1035 | 0 | 0 1495.60/1496.05 c 1487s | 24 | 3597376 | 3406662 | 8175 1035 | 0 | 0 1497.69/1498.10 c 1489s | 24 | 3601270 | 3410462 | 8175 1036 | 0 | 0 1499.69/1500.14 c 1491s | 24 | 3604607 | 3413562 | 8175 1037 | 0 | 0 1501.69/1502.16 c 1493s | 24 | 3607345 | 3416062 | 8175 1038 | 0 | 0 1503.69/1504.16 c 1495s | 24 | 3610440 | 3419062 | 8175 1038 | 0 | 0 1505.79/1506.23 c 1498s | 24 | 3613607 | 3422162 | 8175 1039 | 0 | 0 1507.79/1508.26 c 1500s | 24 | 3616485 | 3424962 | 8175 1040 | 0 | 0 1509.79/1510.29 c 1502s | 24 | 3619338 | 3427762 | 8175 1040 | 0 | 0 1511.89/1512.30 c 1504s | 24 | 3622598 | 3430962 | 8175 1041 | 0 | 0 1513.89/1514.35 c 1506s | 24 | 3625479 | 3433762 | 8175 1042 | 0 | 0 1515.98/1516.42 c 1508s | 24 | 3627954 | 3436162 | 8175 1042 | 0 | 0 1517.99/1518.45 c 1510s | 24 | 3631205 | 3439362 | 8175 1043 | 0 | 0 1519.99/1520.49 c 1512s | 24 | 3634819 | 3442862 | 8175 1044 | 0 | 0 1522.19/1522.60 c 1514s | 24 | 3637781 | 3445762 | 8175 1045 | 0 | 0 1524.20/1524.62 c 1516s | 24 | 3640678 | 3448562 | 8175 1045 | 0 | 0 1526.19/1526.65 c 1518s | 24 | 3643424 | 3451262 | 8175 1046 | 0 | 0 1528.19/1528.66 c 1520s | 24 | 3645993 | 3453562 | 8175 1046 | 0 | 0 1530.19/1530.67 c 1522s | 24 | 3649284 | 3456762 | 8175 1047 | 0 | 0 1532.29/1532.71 c 1524s | 24 | 3652377 | 3459762 | 8175 1048 | 0 | 0 1534.29/1534.72 c 1526s | 24 | 3655503 | 3462862 | 8175 1048 | 0 | 0 1536.30/1536.74 c 1528s | 24 | 3659002 | 3466262 | 8175 1049 | 0 | 0 1538.29/1538.77 c 1530s | 24 | 3662117 | 3469262 | 8175 1050 | 0 | 0 1540.39/1540.81 c 1532s | 24 | 3665340 | 3472362 | 8175 1051 | 0 | 0 1542.39/1542.82 c 1534s | 24 | 3668504 | 3475462 | 8175 1051 | 0 | 0 1544.39/1544.84 c 1536s | 24 | 3670252 | 3477162 | 8175 1052 | 0 | 0 1546.39/1546.88 c 1538s | 24 | 3672510 | 3479362 | 8175 1052 | 0 | 0 1548.49/1548.95 c 1540s | 24 | 3674942 | 3481762 | 8175 1053 | 0 | 0 1550.49/1550.97 c 1542s | 24 | 3678333 | 3485062 | 8175 1054 | 0 | 0 1552.49/1552.97 c 1544s | 24 | 3682260 | 3488762 | 8175 1054 | 0 | 0 1554.59/1555.02 c 1546s | 24 | 3686020 | 3492362 | 8175 1055 | 0 | 0 1556.59/1557.05 c 1548s | 24 | 3690357 | 3496462 | 8175 1056 | 0 | 0 1558.59/1559.07 c 1550s | 24 | 3692356 | 3498262 | 8175 1057 | 0 | 0 1560.68/1561.10 c 1552s | 24 | 3696335 | 3502062 | 8175 1058 | 0 | 0 1562.69/1563.11 c 1554s | 24 | 3700238 | 3505862 | 8175 1058 | 0 | 0 1564.68/1565.12 c 1556s | 24 | 3703012 | 3508262 | 8175 1059 | 0 | 0 1566.78/1567.21 c 1558s | 24 | 3706652 | 3511662 | 8175 1060 | 0 | 0 1568.78/1569.25 c 1561s | 24 | 3709867 | 3514662 | 8175 1060 | 0 | 0 1570.78/1571.28 c 1563s | 24 | 3712329 | 3516862 | 8175 1061 | 0 | 0 1572.88/1573.31 c 1565s | 24 | 3715816 | 3520262 | 8175 1062 | 0 | 0 1574.89/1575.33 c 1567s | 24 | 3718820 | 3523162 | 8175 1062 | 0 | 0 1576.88/1577.34 c 1569s | 24 | 3721973 | 3526262 | 8175 1063 | 0 | 0 1578.88/1579.36 c 1571s | 24 | 3724687 | 3528862 | 8175 1064 | 0 | 0 1580.98/1581.42 c 1573s | 24 | 3728011 | 3532062 | 8175 1064 | 0 | 0 1582.98/1583.45 c 1575s | 24 | 3731148 | 3535062 | 8175 1065 | 0 | 0 1584.98/1585.48 c 1577s | 24 | 3733954 | 3537662 | 8175 1066 | 0 | 0 1587.08/1587.54 c 1579s | 24 | 3736670 | 3539862 | 8175 1066 | 0 | 0 1589.08/1589.56 c 1581s | 24 | 3741311 | 3544362 | 8175 1067 | 0 | 0 1591.08/1591.58 c 1583s | 24 | 3745235 | 3548162 | 8175 1068 | 0 | 0 1593.08/1593.58 c 1585s | 24 | 3749308 | 3552162 | 8175 1069 | 0 | 0 1595.08/1595.58 c 1587s | 24 | 3753234 | 3556062 | 8175 1070 | 0 | 0 1597.18/1597.61 c 1589s | 24 | 3756840 | 3559562 | 8175 1071 | 0 | 0 1599.18/1599.63 c 1591s | 24 | 3760801 | 3563462 | 8175 1072 | 0 | 0 1601.18/1601.64 c 1593s | 24 | 3764102 | 3566662 | 8175 1073 | 0 | 0 1603.18/1603.65 c 1595s | 24 | 3767722 | 3570162 | 8175 1073 | 0 | 0 1605.18/1605.69 c 1597s | 24 | 3771649 | 3573962 | 8175 1074 | 0 | 0 1607.27/1607.75 c 1599s | 24 | 3775509 | 3577762 | 8175 1075 | 0 | 0 1609.27/1609.78 c 1601s | 24 | 3779479 | 3581562 | 8175 1076 | 0 | 0 1611.37/1611.82 c 1603s | 24 | 3783146 | 3585062 | 8175 1077 | 0 | 0 1613.38/1613.85 c 1605s | 24 | 3786795 | 3588562 | 8175 1078 | 0 | 0 1615.48/1615.92 c 1607s | 24 | 3791108 | 3592662 | 8175 1079 | 0 | 0 1617.47/1617.97 c 1609s | 24 | 3794980 | 3596362 | 8175 1079 | 0 | 0 1619.57/1620.01 c 1611s | 24 | 3799389 | 3600662 | 8175 1080 | 0 | 0 1621.57/1622.06 c 1613s | 24 | 3803011 | 3603962 | 8175 1081 | 0 | 0 1623.67/1624.11 c 1615s | 24 | 3807266 | 3608062 | 8175 1082 | 0 | 0 1625.67/1626.14 c 1617s | 24 | 3811435 | 3612162 | 8175 1083 | 0 | 0 1627.68/1628.17 c 1619s | 24 | 3816123 | 3616662 | 8175 1084 | 0 | 0 1629.78/1630.21 c 1621s | 24 | 3819482 | 3619862 | 8175 1085 | 0 | 0 1631.77/1632.24 c 1624s | 24 | 3823129 | 3623462 | 8175 1086 | 0 | 0 1633.87/1634.30 c 1626s | 24 | 3826988 | 3627262 | 8175 1087 | 0 | 0 1635.87/1636.33 c 1628s | 24 | 3830965 | 3631162 | 8175 1087 | 0 | 0 1637.87/1638.36 c 1630s | 24 | 3835098 | 3634962 | 8175 1088 | 0 | 0 1639.87/1640.37 c 1632s | 24 | 3839357 | 3638962 | 8175 1089 | 0 | 0 1641.87/1642.40 c 1634s | 24 | 3843504 | 3643062 | 8175 1090 | 0 | 0 1643.97/1644.40 c 1636s | 24 | 3847185 | 3646362 | 8175 1091 | 0 | 0 1645.97/1646.45 c 1638s | 24 | 3849696 | 3648662 | 8175 1091 | 0 | 0 1647.97/1648.49 c 1640s | 24 | 3853769 | 3652562 | 8175 1092 | 0 | 0 1650.07/1650.51 c 1642s | 24 | 3857465 | 3656062 | 8175 1093 | 0 | 0 1652.07/1652.53 c 1644s | 24 | 3861046 | 3659462 | 8175 1094 | 0 | 0 1654.07/1654.56 c 1646s | 24 | 3866033 | 3664262 | 8175 1095 | 0 | 0 1656.06/1656.59 c 1648s | 24 | 3870314 | 3668362 | 8175 1096 | 0 | 0 1658.17/1658.61 c 1650s | 24 | 3874390 | 3672262 | 8175 1097 | 0 | 0 1660.17/1660.63 c 1652s | 24 | 3878749 | 3676362 | 8175 1098 | 0 | 0 1662.17/1662.65 c 1654s | 24 | 3882551 | 3679862 | 8175 1099 | 0 | 0 1664.17/1664.66 c 1656s | 24 | 3886297 | 3683462 | 8175 1100 | 0 | 0 1666.18/1666.68 c 1658s | 24 | 3890655 | 3687662 | 8175 1101 | 0 | 0 1668.28/1668.76 c 1660s | 24 | 3894442 | 3691162 | 8175 1101 | 0 | 0 1670.37/1670.81 c 1662s | 24 | 3897564 | 3694162 | 8175 1102 | 0 | 0 1672.47/1672.90 c 1664s | 24 | 3901784 | 3698262 | 8175 1103 | 0 | 0 1674.47/1674.92 c 1666s | 24 | 3906277 | 3702562 | 8175 1104 | 0 | 0 1676.47/1676.92 c 1668s | 24 | 3910599 | 3706762 | 8175 1105 | 0 | 0 1678.47/1678.94 c 1670s | 24 | 3914755 | 3710762 | 8175 1106 | 0 | 0 1680.47/1680.99 c 1672s | 24 | 3918292 | 3714162 | 8175 1107 | 0 | 0 1682.57/1683.02 c 1674s | 24 | 3921829 | 3717562 | 8175 1107 | 0 | 0 1684.56/1685.03 c 1676s | 24 | 3925520 | 3721062 | 8175 1108 | 0 | 0 1686.56/1687.06 c 1678s | 24 | 3928806 | 3724262 | 8175 1109 | 0 | 0 1688.66/1689.10 c 1680s | 24 | 3933116 | 3728462 | 8175 1110 | 0 | 0 1690.66/1691.15 c 1682s | 24 | 3937238 | 3732362 | 8175 1111 | 0 | 0 1692.66/1693.15 c 1684s | 24 | 3940872 | 3735862 | 8175 1112 | 0 | 0 1694.67/1695.18 c 1686s | 24 | 3944591 | 3739462 | 8175 1112 | 0 | 0 1696.76/1697.21 c 1688s | 24 | 3949354 | 3744062 | 8175 1114 | 0 | 0 1698.86/1699.34 c 1691s | 24 | 3953647 | 3748162 | 8175 1115 | 0 | 0 1700.86/1701.38 c 1693s | 24 | 3958017 | 3752362 | 8175 1115 | 0 | 0 1702.96/1703.40 c 1695s | 24 | 3961859 | 3755962 | 8175 1116 | 0 | 0 1704.96/1705.43 c 1697s | 24 | 3966238 | 3760062 | 8175 1117 | 0 | 0 1706.96/1707.43 c 1699s | 24 | 3969921 | 3763662 | 8175 1118 | 0 | 0 1708.97/1709.44 c 1701s | 24 | 3974607 | 3768162 | 8175 1119 | 0 | 0 1710.96/1711.48 c 1703s | 24 | 3978717 | 3772062 | 8175 1120 | 0 | 0 1713.06/1713.54 c 1705s | 24 | 3982056 | 3775262 | 8175 1121 | 0 | 0 1715.06/1715.56 c 1707s | 24 | 3985457 | 3778562 | 8175 1122 | 0 | 0 1717.06/1717.59 c 1709s | 24 | 3989567 | 3782562 | 8175 1122 | 0 | 0 1719.16/1719.61 c 1711s | 24 | 3993272 | 3786162 | 8175 1123 | 0 | 0 1721.16/1721.65 c 1713s | 24 | 3996648 | 3789362 | 8175 1124 | 0 | 0 1723.16/1723.66 c 1715s | 24 | 3999057 | 3791662 | 8175 1125 | 0 | 0 1725.16/1725.69 c 1717s | 24 | 4002592 | 3795062 | 8175 1125 | 0 | 0 1727.26/1727.70 c 1719s | 24 | 4006476 | 3798562 | 8175 1126 | 0 | 0 1729.26/1729.79 c 1721s | 24 | 4009411 | 3801362 | 8175 1127 | 0 | 0 1731.35/1731.81 c 1723s | 24 | 4013712 | 3805562 | 8175 1128 | 0 | 0 1733.35/1733.84 c 1725s | 24 | 4018227 | 3809862 | 8175 1129 | 0 | 0 1735.36/1735.85 c 1727s | 24 | 4022468 | 3813962 | 8175 1130 | 0 | 0 1737.35/1737.89 c 1729s | 24 | 4026661 | 3817862 | 8175 1131 | 0 | 0 1739.45/1739.92 c 1731s | 24 | 4031171 | 3822162 | 8175 1132 | 0 | 0 1741.45/1741.95 c 1733s | 24 | 4035485 | 3826362 | 8175 1133 | 0 | 0 1743.45/1743.99 c 1735s | 24 | 4039345 | 3830162 | 8175 1134 | 0 | 0 1745.55/1746.01 c 1737s | 24 | 4043445 | 3834062 | 8175 1134 | 0 | 0 1747.56/1748.02 c 1739s | 24 | 4047625 | 3838062 | 8175 1135 | 0 | 0 1749.55/1750.03 c 1741s | 24 | 4051407 | 3841662 | 8175 1136 | 0 | 0 1751.55/1752.04 c 1743s | 24 | 4055098 | 3845162 | 8175 1137 | 0 | 0 1753.55/1754.06 c 1745s | 24 | 4058512 | 3848362 | 8175 1138 | 0 | 0 1755.55/1756.06 c 1747s | 24 | 4062733 | 3852462 | 8175 1139 | 0 | 0 1757.55/1758.09 c 1749s | 24 | 4066897 | 3856462 | 8175 1140 | 0 | 0 1759.66/1760.12 c 1751s | 24 | 4070437 | 3859862 | 8175 1140 | 0 | 0 1761.65/1762.15 c 1753s | 24 | 4074032 | 3863362 | 8175 1141 | 0 | 0 1763.65/1764.18 c 1755s | 24 | 4078043 | 3867262 | 8175 1142 | 0 | 0 1765.75/1766.21 c 1757s | 24 | 4081764 | 3870762 | 8175 1143 | 0 | 0 1767.75/1768.21 c 1759s | 24 | 4085887 | 3874762 | 8175 1144 | 0 | 0 1769.75/1770.24 c 1762s | 24 | 4089534 | 3878262 | 8175 1145 | 0 | 0 1771.75/1772.29 c 1764s | 24 | 4093458 | 3882062 | 8175 1146 | 0 | 0 1773.85/1774.32 c 1766s | 24 | 4097244 | 3885662 | 8175 1146 | 0 | 0 1775.85/1776.37 c 1768s | 24 | 4101523 | 3889462 | 8175 1147 | 0 | 0 1777.85/1778.37 c 1770s | 24 | 4105367 | 3892962 | 8175 1148 | 0 | 0 1779.85/1780.39 c 1772s | 24 | 4108725 | 3896162 | 8175 1149 | 0 | 0 1781.95/1782.42 c 1774s | 24 | 4112977 | 3900262 | 8175 1150 | 0 | 0 1783.94/1784.46 c 1776s | 24 | 4116208 | 3903362 | 8175 1150 | 0 | 0 1786.05/1786.51 c 1778s | 24 | 4120629 | 3907562 | 8175 1151 | 0 | 0 1788.04/1788.55 c 1780s | 24 | 4125250 | 3912062 | 8175 1152 | 0 | 0 1790.04/1790.56 c 1782s | 24 | 4129743 | 3916462 | 8175 1154 | 0 | 0 1792.04/1792.58 c 1784s | 24 | 4134044 | 3920662 | 8175 1154 | 0 | 0 1794.14/1794.62 c 1786s | 24 | 4138404 | 3924862 | 8175 1155 | 0 | 0 1796.14/1796.65 c 1788s | 24 | 4142411 | 3928662 | 8175 1156 | 0 | 0 1798.15/1798.66 c 1790s | 24 | 4146501 | 3932662 | 8175 1157 | 0 | 0
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-4106241-1466268177/watcher-4106241-1466268177 -o /tmp/evaluation-result-4106241-1466268177/solver-4106241-1466268177 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106241-1466268177.opb pid=14037 running on 4 cores: 1,3,5,7 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.39 2.22 2.10 3/179 14040 /proc/meminfo: memFree=30097012/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=728508 CPUtime=0 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 2721 0 0 0 0 0 0 0 20 0 4 0 28866944 745992192 2570 33554432000 4194304 16246674 140736011094528 140736011093952 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 182895 2580 441 2943 0 179789 0 [pid=14040/tid=14041] ppid=14037 vsize=746940 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 764866560 2642 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=752060 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 770109440 2658 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28866944 773255168 2674 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.39 2.22 2.10 3/179 14040 /proc/meminfo: memFree=30097012/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 22133 0 0 0 6 2 0 0 20 0 4 0 28866944 1247350784 21970 33554432000 4194304 16246674 140736011094528 140736011093952 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 304529 21981 758 2943 0 301423 0 [pid=14040/tid=14041] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 21984 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 21987 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 21988 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200528 s] /proc/loadavg: 2.39 2.22 2.10 3/179 14040 /proc/meminfo: memFree=30097012/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 39384 0 0 0 14 5 0 0 20 0 4 0 28866944 1247350784 39222 33554432000 4194304 16246674 140736011094528 140736011093952 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 304529 39230 758 2943 0 301423 0 [pid=14040/tid=14041] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 39235 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 39236 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 39241 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300496 s] /proc/loadavg: 2.39 2.22 2.10 3/179 14040 /proc/meminfo: memFree=30097012/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 58036 0 0 0 22 7 0 0 20 0 4 0 28866944 1247350784 57873 33554432000 4194304 16246674 140736011094528 140736011076416 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 304529 57883 758 2943 0 301423 0 [pid=14040/tid=14041] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 57890 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 57894 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 57899 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700404 s] /proc/loadavg: 2.39 2.22 2.10 3/179 14040 /proc/meminfo: memFree=30097012/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 124708 0 0 0 53 16 0 0 20 0 4 0 28866944 1247350784 124545 33554432000 4194304 16246674 140736011094528 140736011076416 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 304529 124553 765 2943 0 301423 0 [pid=14040/tid=14041] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 124556 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 124559 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28866944 1247350784 124562 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50036 s] /proc/loadavg: 2.39 2.22 2.10 3/183 14044 /proc/meminfo: memFree=29346548/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 246248 0 0 0 118 31 0 0 20 0 4 0 28866944 1250496512 246062 33554432000 4194304 16246674 140736011094528 140736011093840 13760162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 305297 246062 831 2943 0 302191 0 [pid=14040/tid=14041] ppid=14037 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1250496512 246062 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1250496512 246062 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1250496512 246062 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10042 s] /proc/loadavg: 2.39 2.22 2.10 3/183 14044 /proc/meminfo: memFree=29113536/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1302084 CPUtime=3.09 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 266536 0 0 0 275 34 0 0 20 0 4 0 28866944 1333334016 266350 33554432000 4194304 16246674 140736011094528 140736011076416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 325521 266350 831 2943 0 322415 0 [pid=14040/tid=14041] ppid=14037 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1333334016 266350 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1333334016 266350 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1333334016 266350 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1302084 [startup+6.30042 s] /proc/loadavg: 2.36 2.22 2.10 3/183 14044 /proc/meminfo: memFree=29026348/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1308228 CPUtime=6.28 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 267910 0 0 0 594 34 0 0 20 0 4 0 28866944 1339625472 267724 33554432000 4194304 16246674 140736011094528 140736011076416 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 327057 267724 832 2943 0 323951 0 [pid=14040/tid=14041] ppid=14037 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1339625472 267724 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1339625472 267724 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1339625472 267724 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7003 s] /proc/loadavg: 2.33 2.21 2.09 4/183 14044 /proc/meminfo: memFree=29023560/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1310276 CPUtime=12.68 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 268667 0 0 0 1234 34 0 0 20 0 4 0 28866944 1341722624 268481 33554432000 4194304 16246674 140736011094528 140736011076416 5712656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 327569 268481 852 2943 0 324463 0 [pid=14040/tid=14041] ppid=14037 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1341722624 268481 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1341722624 268481 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1341722624 268481 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 2.39 2.23 2.10 3/183 14044 /proc/meminfo: memFree=29016544/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1317444 CPUtime=25.49 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 270301 0 0 0 2514 35 0 0 20 0 4 0 28866944 1349062656 270115 33554432000 4194304 16246674 140736011094528 140736011076416 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 329361 270115 852 2943 0 326255 0 [pid=14040/tid=14041] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270115 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270115 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270115 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1317444 [startup+51.1005 s] /proc/loadavg: 2.33 2.23 2.10 3/183 14044 /proc/meminfo: memFree=29016636/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1317444 CPUtime=51.08 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 270460 0 0 0 5073 35 0 0 20 0 4 0 28866944 1349062656 270274 33554432000 4194304 16246674 140736011094528 140736011076416 5546111 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 329361 270274 853 2943 0 326255 0 [pid=14040/tid=14041] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270274 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270274 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270274 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1317444 [startup+102.3 s] /proc/loadavg: 2.34 2.25 2.11 4/183 14192 /proc/meminfo: memFree=29025804/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1317444 CPUtime=102.28 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 270460 0 0 0 10193 35 0 0 20 0 4 0 28866944 1349062656 270274 33554432000 4194304 16246674 140736011094528 140736011076416 6012131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 329361 270274 853 2943 0 326255 0 [pid=14040/tid=14041] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270274 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270274 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1349062656 270274 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1334852 [startup+1362.3 s] /proc/loadavg: 2.13 2.18 2.15 3/183 14440 /proc/meminfo: memFree=28981436/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1361.92 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 136146 46 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 5823877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1334852 [startup+1422.3 s] /proc/loadavg: 2.25 2.21 2.16 3/183 14442 /proc/meminfo: memFree=28981804/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1421.91 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 142145 46 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1334852 [startup+1482.3 s] /proc/loadavg: 2.14 2.18 2.15 3/183 14443 /proc/meminfo: memFree=28981220/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1481.89 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 148142 47 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1334852 [startup+1542.31 s] /proc/loadavg: 2.09 2.16 2.14 4/183 14444 /proc/meminfo: memFree=28981420/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1541.9 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 154142 48 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1334852 [startup+1602.3 s] /proc/loadavg: 2.23 2.19 2.15 3/183 14445 /proc/meminfo: memFree=28979316/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1601.88 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 160140 48 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 5546093 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1334852 [startup+1662.3 s] /proc/loadavg: 2.13 2.17 2.15 3/184 14449 /proc/meminfo: memFree=28979328/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1661.87 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 166138 49 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 5545984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1334852 [startup+1722.3 s] /proc/loadavg: 2.14 2.16 2.15 3/183 14451 /proc/meminfo: memFree=28979336/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1721.86 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 172137 49 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 12483303 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1334852 [startup+1782.3 s] /proc/loadavg: 2.19 2.18 2.15 4/183 14452 /proc/meminfo: memFree=28979088/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1781.85 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 178136 49 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1334852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.21 2.18 2.15 3/183 14452 /proc/meminfo: memFree=28979212/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1800.04 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 179955 49 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 6842338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1334852 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 14040 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.21 2.18 2.15 3/183 14452 /proc/meminfo: memFree=28979212/32872528 swapFree=681964/737152 [pid=14040] ppid=14037 vsize=1334852 CPUtime=1800.04 cores=1,3,5,7 /proc/14040/stat : 14040 (toysat) R 14037 14040 13233 0 -1 4202496 275159 0 0 0 179955 49 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140736011076416 6842338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14040/statm: 333713 274884 855 2943 0 330607 0 [pid=14040/tid=14041] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14041/stat : 14041 (toysat) S 14037 14040 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693371596016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14040/tid=14042] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14042/stat : 14042 (toysat) S 14037 14040 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693361106160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14040/tid=14043] ppid=14037 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/14040/task/14043/stat : 14043 (toysat) S 14037 14040 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28866944 1366888448 274884 33554432000 4194304 16246674 140736011094528 140693350632624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1334852 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.56 CPU system time (s): 0.498924 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1334852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.498924 maximum resident set size= 1099536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275159 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= 356 involuntary context switches= 2133 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.47686 second user time and 9.47456 second system time The end
Begin job on node112 at 2016-06-18 18:42:57 IDJOB=4106241 IDBENCH=47986 IDSOLVER=2542 FILE ID=node112/4106241-1466268177 RUNJOBID= node112-1466264161-13250 PBS_JOBID= 19918218 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106241-1466268177/watcher-4106241-1466268177 -o /tmp/evaluation-result-4106241-1466268177/solver-4106241-1466268177 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106241-1466268177.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e808e428ddeed4827e7f6cc4dcf60aa4 RANDOM SEED=138927716 node112.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 : 2666.734 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 : 5333.46 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 : 2666.734 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 : 2666.734 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 : 5321.48 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 : 2666.734 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.55 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 : 2666.734 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 : 2666.734 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.55 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 : 2666.734 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.55 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 : 2666.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30097632 kB Buffers: 63244 kB Cached: 155216 kB SwapCached: 2028 kB Active: 1175320 kB Inactive: 127076 kB Active(anon): 1084212 kB Inactive(anon): 2096 kB Active(file): 91108 kB Inactive(file): 124980 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 16512 kB Writeback: 0 kB AnonPages: 1822688 kB Mapped: 10408 kB Shmem: 0 kB Slab: 602164 kB SReclaimable: 45664 kB SUnreclaim: 556500 kB KernelStack: 1520 kB PageTables: 7428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1965464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 581632 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= 71680 MiB End job on node112 at 2016-06-18 19:12:58