| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb |
| MD5SUM | 9b7cb599a49db47c0ffbf25416bcef37 |
| 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.152976 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 216 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 576 |
| Sum of products size (including duplicates) | 1152 |
| Number of different products | 576 |
| Sum of products size | 1152 |
0.00/0.00 c 2016-06-18T19:45:42+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-4106460-1466271942.opb"] 0.00/0.01 c use --random-gen="454187404 727581505 3960222955 1845173852 1966929470 2581071683 91218785 4152233825 2633435831 2496031971 495192355 2643799292 1916904808 1471950341 1486494674 3975551237 1684706009 2169525892 1079434888 2500704869 392426285 895119086 1878168833 1500363395 2014261346 4107042682 3466265296 1380472179 1439714145 3538324192 2340289314 3733545348 498622461 2650223421 3700647014 788534320 4044255333 4185292228 2318160856 1029921788 1928084322 2421216739 2736554589 602419755 2545304324 1078539015 4160599815 3640558571 3314106903 1264077515 1993988950 785058032 3326807095 2613281596 545667934 1743343548 895836731 3004577178 4180927967 3437246237 3267087660 292336342 1023220435 652964251 256193083 89585085 4173353795 3032358564 1790608775 2842341330 1097211514 3939522273 1925776125 591463652 2486770711 2957500143 140589928 3503563773 4009904506 2590558337 2065513791 426106810 850533699 2968370318 403308531 2941249174 3746158596 1106590045 3220257646 3065000889 201060470 1701358268 2956894421 3598173005 2411088332 3568332682 1617902706 2311243313 340600703 3664758198 2827934519 1550202589 3181272841 1524378201 2421935026 1045592375 239392186 3330424263 1954065505 2758730428 3917473565 3409829050 1645656154 127092182 2488885927 4162154584 519099434 762636006 4152396457 4182963070 996677904 3382415669 1141211549 1457870806 1312516544 291170742 633808626 1508175313 4069019607 231571970 3169825513 998525387 3266967757 3960536894 2583035419 160787425 4216946925 2471058777 3868595226 3915222599 1836073246 3153839566 812155164 4093034551 1675765163 849747796 3117632876 1381382741 1606401460 3308427806 876433146 2916182600 3858676795 2677352909 3476509155 1112836134 2855376413 2102696658 3676657965 3164511190 2587924755 2158702833 4226945372 1697750340 842089247 2635531594 4227567707 1124026357 3149562079 4240545630 4020415661 2059339436 3757582640 1400179360 2223542352 723300426 2171717345 3545358274 3292006994 829628323 1236935171 1834231988 2031014582 2629867549 1915261437 1656360482 61670407 1296725824 187455892 3909026124 2165367695 2583965648 676367242 1089733602 675612073 3076379829 1752347399 2991331861 2504684195 1385730306 2865598902 2874819779 2747877280 2239586885 3960870263 1062517334 2833526419 58740297 2507849141 1773653468 1348973650 1017042960 913454503 855611744 3597608683 3897423107 480684021 3189789692 3640100888 1220448234 3298436327 4094035001 3969516959 530308482 2956212816 640794088 3499148670 609632744 2226776484 711864955 2820523916 3886642385 2995038771 1913253170 1143099756 3870873378 3645731924 2080653065 336496488 2850301670 3576077463 2908037205 3572769985 1094038798 915879493 2071714773 2687193341 1387896225 3331968955 1633076272 3976166116 4105866769 338860473 2985715649 3864091803 2130757309 255 362436" option to reproduce the execution 0.00/0.01 c #vars 216 0.00/0.01 c #constraints 19 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 849 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 129 | 100 | 849 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 326 | 250 | 934 0 | 0 | 0 0.09/0.16 c 0.1s | 3 | 615 | 475 | 1028 0 | 0 | 0 0.19/0.25 c 0.2s | 4 | 1059 | 813 | 1131 0 | 0 | 0 0.39/0.44 c 0.4s | 5 | 1819 | 1320 | 1245 0 | 0 | 0 0.69/0.73 c 0.7s | 6 | 2648 | 2081 | 1508 1 | 0 | 0 1.29/1.36 c 1.3s | 7 | 3998 | 3223 | 1659 2 | 0 | 0 1.99/2.01 c 2.0s | 8 | 6690 | 4936 | 1825 4 | 0 | 0 2.49/2.57 c 2.5s | 9 | 9392 | 7506 | 2008 6 | 0 | 0 4.19/4.20 c 4.2s | 10 | 15446 | 11361 | 2209 9 | 0 | 0 4.79/4.89 c 4.9s | 10 | 18855 | 14506 | 2209 12 | 0 | 0 4.79/4.89 c #cpu_time = 4.850s 4.79/4.89 c #wall_clock_time = 4.863s 4.79/4.89 c #decision = 18855 4.79/4.89 c #random_decision = 69 4.79/4.89 c #conflict = 14506 4.79/4.89 c #restart = 10 4.79/4.89 o 247 4.79/4.89 c BCD2: updating upper bound: 255 -> 246 4.79/4.89 c BCD2: 0 <= obj <= 246 4.79/4.89 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 4.79/4.89 c BCD2: #sat=1 #unsat=1 bias=1/2 4.79/4.89 c Solving starts ... 4.79/4.89 c ============================[ Search Statistics ]============================ 4.79/4.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.89 c | | | | Limit GC | Var | Constra 4.99/5.02 c ============================================================================= 4.99/5.02 c 0.0s | 0 | 0 | 0 | 2209 0 | 0 | 0 4.99/5.02 c 0.0s | 0 | 6 | 0 | 2209 0 | 0 | 0 4.99/5.02 c #cpu_time = 0.005s 4.99/5.02 c #wall_clock_time = 0.005s 4.99/5.02 c #decision = 6 4.99/5.02 c #random_decision = 0 4.99/5.02 c #conflict = 0 4.99/5.02 c #restart = 0 4.99/5.02 c BCD2: found a new core of size 7: cost of the new core is >=2 4.99/5.02 c lower bound updated to 2 4.99/5.02 c BCD2: 2 <= obj <= 246 4.99/5.02 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 4.99/5.02 c BCD2: #sat=1 #unsat=2 bias=2/3 4.99/5.02 c Solving starts ... 4.99/5.02 c ============================[ Search Statistics ]============================ 4.99/5.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.02 c | | | | Limit GC | Var | Constra 4.99/5.02 c ============================================================================= 4.99/5.02 c 0.0s | 0 | 0 | 0 | 2209 0 | 0 | 0 4.99/5.02 c 0.0s | 1 | 234 | 100 | 2209 0 | 0 | 0 4.99/5.02 c 0.1s | 2 | 505 | 250 | 2209 0 | 0 | 0 5.19/5.28 c 0.4s | 3 | 826 | 475 | 2209 0 | 0 | 0 5.29/5.38 c 0.5s | 4 | 1408 | 813 | 2209 1 | 0 | 0 5.39/5.47 c 0.6s | 5 | 2066 | 1320 | 2209 1 | 0 | 0 5.69/5.80 c 0.9s | 6 | 2899 | 2081 | 2209 2 | 0 | 0 5.99/6.05 c 1.1s | 7 | 4099 | 3223 | 2430 2 | 0 | 0 6.49/6.50 c 1.6s | 8 | 6006 | 4936 | 2430 3 | 0 | 0 7.19/7.27 c 2.4s | 9 | 8956 | 7506 | 2430 5 | 0 | 0 8.29/8.33 c 3.4s | 10 | 13161 | 11361 | 2673 8 | 0 | 0 10.19/10.23 c 5.3s | 11 | 19245 | 17144 | 2673 12 | 0 | 0 12.19/12.24 c 7.3s | 11 | 25520 | 22844 | 2673 15 | 0 | 0 13.29/13.33 c 8.4s | 12 | 28617 | 25819 | 2941 17 | 0 | 0 15.28/15.34 c 10.4s | 12 | 36819 | 33619 | 2941 22 | 0 | 0 16.78/16.88 c 12.0s | 13 | 42303 | 38832 | 2941 25 | 0 | 0 18.79/18.89 c 14.0s | 13 | 51296 | 47232 | 3236 30 | 0 | 0 20.78/20.89 c 16.0s | 13 | 58123 | 53632 | 3236 33 | 0 | 0 22.68/22.79 c 17.9s | 14 | 63304 | 58352 | 3236 36 | 0 | 0 24.79/24.81 c 19.9s | 14 | 72411 | 67152 | 3236 41 | 0 | 0 26.79/26.83 c 21.9s | 14 | 80331 | 74952 | 3560 45 | 0 | 0 28.79/28.83 c 23.9s | 14 | 88141 | 82352 | 3560 48 | 0 | 0 30.39/30.49 c 25.6s | 15 | 93770 | 87632 | 3560 51 | 0 | 0 32.39/32.50 c 27.6s | 15 | 99815 | 93132 | 3560 54 | 0 | 0 34.48/34.54 c 29.6s | 15 | 105689 | 98732 | 3560 56 | 0 | 0 36.48/36.56 c 31.7s | 15 | 111860 | 104632 | 3560 59 | 0 | 0 38.49/38.59 c 33.7s | 15 | 118568 | 111032 | 3560 62 | 0 | 0 40.58/40.60 c 35.7s | 15 | 123837 | 116032 | 3560 64 | 0 | 0 42.58/42.62 c 37.7s | 15 | 129213 | 121032 | 3917 67 | 0 | 0 44.58/44.65 c 39.7s | 15 | 133734 | 125332 | 3917 69 | 0 | 0 46.58/46.65 c 41.8s | 15 | 137844 | 129032 | 3917 70 | 0 | 0 48.08/48.14 c 43.2s | 16 | 140542 | 131552 | 3917 71 | 0 | 0 50.08/50.17 c 45.3s | 16 | 149546 | 140152 | 3917 75 | 0 | 0 52.08/52.19 c 47.3s | 16 | 156610 | 146852 | 3917 78 | 0 | 0 54.18/54.23 c 49.3s | 16 | 163356 | 153252 | 3917 81 | 0 | 0 56.19/56.26 c 51.4s | 16 | 170131 | 159652 | 3917 84 | 0 | 0 58.18/58.29 c 53.4s | 16 | 176716 | 165952 | 3917 87 | 0 | 0 60.18/60.29 c 55.4s | 16 | 183446 | 172352 | 3917 90 | 0 | 0 62.28/62.30 c 57.4s | 16 | 190230 | 178852 | 3917 93 | 0 | 0 64.28/64.31 c 59.4s | 16 | 196143 | 184552 | 4309 96 | 0 | 0 66.28/66.33 c 61.4s | 16 | 202382 | 190552 | 4309 98 | 0 | 0 68.28/68.36 c 63.5s | 16 | 208281 | 196252 | 4309 101 | 0 | 0 68.68/68.72 c 63.8s | 17 | 209550 | 197432 | 4309 101 | 0 | 0 70.68/70.73 c 65.8s | 17 | 217871 | 205232 | 4309 105 | 0 | 0 72.68/72.73 c 67.8s | 17 | 224541 | 211732 | 4309 107 | 0 | 0 74.68/74.74 c 69.8s | 17 | 232227 | 218932 | 4309 110 | 0 | 0 76.68/76.75 c 71.8s | 17 | 238302 | 224632 | 4309 113 | 0 | 0 78.68/78.75 c 73.9s | 17 | 244063 | 230032 | 4309 115 | 0 | 0 80.67/80.78 c 75.9s | 17 | 249671 | 235332 | 4309 117 | 0 | 0 82.77/82.81 c 77.9s | 17 | 254957 | 240232 | 4309 119 | 0 | 0 84.78/84.81 c 79.9s | 17 | 261136 | 246032 | 4309 121 | 0 | 0 86.77/86.87 c 82.0s | 17 | 267153 | 251632 | 4309 124 | 0 | 0 88.87/88.91 c 84.0s | 17 | 273810 | 257932 | 4309 126 | 0 | 0 90.87/90.94 c 86.0s | 17 | 280029 | 263932 | 4309 129 | 0 | 0 92.87/92.96 c 88.1s | 17 | 286281 | 269832 | 4309 131 | 0 | 0 94.87/94.99 c 90.1s | 17 | 292690 | 275732 | 4309 133 | 0 | 0 96.97/97.01 c 92.1s | 17 | 298524 | 281232 | 4740 135 | 0 | 0 98.98/99.01 c 94.1s | 17 | 304666 | 287032 | 4740 138 | 0 | 0 100.97/101.03 c 96.1s | 17 | 310896 | 292932 | 4740 140 | 0 | 0 102.17/102.22 c 97.3s | 18 | 314353 | 296252 | 4740 141 | 0 | 0 104.17/104.24 c 99.3s | 18 | 322491 | 304052 | 4740 144 | 0 | 0 106.17/106.24 c 101s | 18 | 329409 | 310852 | 4740 147 | 0 | 0 108.17/108.25 c 103s | 18 | 336080 | 317452 | 4740 150 | 0 | 0 110.17/110.27 c 105s | 18 | 343174 | 324452 | 4740 152 | 0 | 0 112.17/112.28 c 107s | 18 | 349944 | 331052 | 4740 155 | 0 | 0 114.17/114.30 c 109s | 18 | 356487 | 337452 | 4740 158 | 0 | 0 116.27/116.33 c 111s | 18 | 363539 | 343852 | 4740 160 | 0 | 0 118.27/118.34 c 113s | 18 | 369605 | 349652 | 4740 163 | 0 | 0 120.27/120.37 c 115s | 18 | 375376 | 355252 | 4740 165 | 0 | 0 122.37/122.41 c 117s | 18 | 381968 | 361652 | 4740 168 | 0 | 0 124.38/124.41 c 119s | 18 | 388396 | 367752 | 4740 170 | 0 | 0 126.37/126.44 c 121s | 18 | 394956 | 374252 | 4740 172 | 0 | 0 128.37/128.45 c 123s | 18 | 401852 | 381052 | 4740 175 | 0 | 0 130.47/130.50 c 125s | 18 | 408769 | 387652 | 4740 178 | 0 | 0 132.47/132.53 c 127s | 18 | 415200 | 393352 | 4740 180 | 0 | 0 134.47/134.57 c 129s | 18 | 421381 | 399352 | 4740 182 | 0 | 0 136.57/136.60 c 131s | 18 | 427540 | 405352 | 4740 185 | 0 | 0 138.58/138.61 c 133s | 18 | 433227 | 410852 | 4740 187 | 0 | 0 140.57/140.63 c 135s | 18 | 440262 | 417252 | 4740 189 | 0 | 0 142.57/142.63 c 137s | 18 | 446312 | 422752 | 4740 192 | 0 | 0 144.57/144.66 c 139s | 18 | 452784 | 428452 | 5214 194 | 0 | 0 146.57/146.66 c 141s | 18 | 458226 | 433452 | 5214 196 | 0 | 0 148.58/148.66 c 143s | 18 | 465021 | 439652 | 5214 198 | 0 | 0 150.27/150.33 c 145s | 19 | 470439 | 444482 | 5214 200 | 0 | 0 152.27/152.37 c 147s | 19 | 474180 | 447682 | 5214 201 | 0 | 0 154.27/154.38 c 149s | 19 | 477684 | 450482 | 5214 202 | 0 | 0 156.27/156.39 c 151s | 19 | 482348 | 454782 | 5214 203 | 0 | 0 158.37/158.44 c 153s | 19 | 487402 | 459682 | 5214 205 | 0 | 0 160.37/160.48 c 155s | 19 | 492632 | 464482 | 5214 207 | 0 | 0 162.37/162.49 c 157s | 19 | 498105 | 469882 | 5214 208 | 0 | 0 164.47/164.55 c 159s | 19 | 502933 | 474382 | 5214 210 | 0 | 0 166.47/166.59 c 161s | 19 | 506490 | 477782 | 5214 211 | 0 | 0 168.57/168.60 c 163s | 19 | 511262 | 482182 | 5214 213 | 0 | 0 170.57/170.62 c 165s | 19 | 515082 | 485782 | 5214 214 | 0 | 0 172.56/172.63 c 167s | 19 | 519563 | 489982 | 5214 215 | 0 | 0 174.56/174.67 c 169s | 19 | 524014 | 494282 | 5214 217 | 0 | 0 176.56/176.68 c 171s | 19 | 528222 | 497982 | 5214 218 | 0 | 0 178.66/178.77 c 173s | 19 | 532049 | 501382 | 5214 219 | 0 | 0 180.66/180.78 c 175s | 19 | 535727 | 504882 | 5214 221 | 0 | 0 182.76/182.80 c 177s | 19 | 540451 | 509282 | 5214 222 | 0 | 0 184.77/184.82 c 179s | 19 | 544553 | 512882 | 5214 223 | 0 | 0 186.76/186.88 c 181s | 19 | 547521 | 515782 | 5214 224 | 0 | 0 188.86/188.91 c 184s | 19 | 551219 | 518982 | 5214 225 | 0 | 0 190.86/190.92 c 186s | 19 | 555619 | 522882 | 5214 227 | 0 | 0 192.86/192.93 c 188s | 19 | 559375 | 526182 | 5214 228 | 0 | 0 194.86/194.96 c 190s | 19 | 563406 | 529882 | 5214 229 | 0 | 0 196.97/197.05 c 192s | 19 | 567299 | 533482 | 5214 231 | 0 | 0 199.07/199.11 c 194s | 19 | 570822 | 536682 | 5214 232 | 0 | 0 201.06/201.12 c 196s | 19 | 575121 | 540782 | 5214 233 | 0 | 0 203.06/203.14 c 198s | 19 | 579230 | 544582 | 5214 234 | 0 | 0 205.16/205.21 c 200s | 19 | 583743 | 548882 | 5214 236 | 0 | 0 207.16/207.24 c 202s | 19 | 588204 | 552982 | 5214 237 | 0 | 0 209.16/209.27 c 204s | 19 | 593569 | 557882 | 5214 239 | 0 | 0 211.26/211.33 c 206s | 19 | 596715 | 560682 | 5214 240 | 0 | 0 213.25/213.34 c 208s | 19 | 599718 | 563382 | 5214 241 | 0 | 0 215.25/215.36 c 210s | 19 | 603505 | 566882 | 5214 242 | 0 | 0 217.25/217.37 c 212s | 19 | 607542 | 570682 | 5214 243 | 0 | 0 219.35/219.43 c 214s | 19 | 611218 | 573882 | 5214 244 | 0 | 0 221.35/221.47 c 216s | 19 | 615956 | 578282 | 5214 246 | 0 | 0 223.45/223.51 c 218s | 19 | 619879 | 581982 | 5214 247 | 0 | 0 225.46/225.55 c 220s | 19 | 623560 | 585182 | 5214 248 | 0 | 0 227.45/227.56 c 222s | 19 | 627573 | 588882 | 5214 250 | 0 | 0 229.55/229.63 c 224s | 19 | 630967 | 592082 | 5214 251 | 0 | 0 231.55/231.67 c 226s | 19 | 635308 | 596182 | 5214 252 | 0 | 0 233.65/233.74 c 228s | 19 | 639451 | 600082 | 5214 254 | 0 | 0 235.65/235.74 c 230s | 19 | 643920 | 604282 | 5214 255 | 0 | 0 237.66/237.76 c 232s | 19 | 647903 | 607982 | 5214 256 | 0 | 0 239.65/239.78 c 234s | 19 | 652369 | 612082 | 5214 258 | 0 | 0 241.75/241.82 c 236s | 19 | 656809 | 616382 | 5214 259 | 0 | 0 243.85/243.90 c 239s | 19 | 661529 | 620682 | 5214 261 | 0 | 0 245.85/245.93 c 241s | 19 | 664849 | 623882 | 5214 262 | 0 | 0 247.85/247.97 c 243s | 19 | 668946 | 627782 | 5214 263 | 0 | 0 249.85/249.99 c 245s | 19 | 672708 | 631182 | 5214 264 | 0 | 0 251.95/252.07 c 247s | 19 | 676340 | 634582 | 5214 266 | 0 | 0 254.05/254.11 c 249s | 19 | 680558 | 638582 | 5214 267 | 0 | 0 256.05/256.15 c 251s | 19 | 687022 | 644282 | 5214 269 | 0 | 0 258.05/258.15 c 253s | 19 | 692662 | 648982 | 5736 270 | 0 | 0 260.04/260.19 c 255s | 19 | 695339 | 651582 | 5736 271 | 0 | 0 262.14/262.25 c 257s | 19 | 697777 | 653982 | 5736 272 | 0 | 0 264.14/264.25 c 259s | 19 | 699798 | 655982 | 5736 273 | 0 | 0 266.25/266.31 c 261s | 19 | 702239 | 658382 | 5736 273 | 0 | 0 268.24/268.34 c 263s | 19 | 704371 | 660482 | 5736 274 | 0 | 0 270.24/270.38 c 265s | 19 | 706508 | 662582 | 5736 275 | 0 | 0 272.34/272.40 c 267s | 19 | 708949 | 664982 | 5736 275 | 0 | 0 273.95/274.01 c 269s | 20 | 710825 | 666827 | 5736 276 | 0 | 0 275.94/276.05 c 271s | 20 | 718025 | 673527 | 5736 278 | 0 | 0 277.94/278.07 c 273s | 20 | 724835 | 680027 | 5736 281 | 0 | 0 279.94/280.08 c 275s | 20 | 731207 | 686227 | 5736 283 | 0 | 0 281.94/282.09 c 277s | 20 | 737768 | 692427 | 5736 285 | 0 | 0 284.05/284.12 c 279s | 20 | 744479 | 698827 | 5736 287 | 0 | 0 286.06/286.15 c 281s | 20 | 751397 | 705327 | 5736 289 | 0 | 0 288.05/288.18 c 283s | 20 | 758444 | 711927 | 5736 291 | 0 | 0 290.05/290.19 c 285s | 20 | 765781 | 718727 | 5736 294 | 0 | 0 292.15/292.20 c 287s | 20 | 772623 | 725127 | 5736 296 | 0 | 0 294.15/294.23 c 289s | 20 | 779033 | 731227 | 5736 298 | 0 | 0 296.15/296.26 c 291s | 20 | 785195 | 737127 | 5736 300 | 0 | 0 298.15/298.27 c 293s | 20 | 791045 | 742627 | 5736 302 | 0 | 0 300.14/300.30 c 295s | 20 | 798106 | 749127 | 5736 304 | 0 | 0 302.24/302.35 c 297s | 20 | 804173 | 754827 | 5736 306 | 0 | 0 304.24/304.36 c 299s | 20 | 811165 | 761527 | 5736 308 | 0 | 0 306.24/306.37 c 301s | 20 | 817711 | 767827 | 5736 311 | 0 | 0 308.24/308.37 c 303s | 20 | 824261 | 774127 | 5736 313 | 0 | 0 310.34/310.40 c 305s | 20 | 831181 | 780527 | 5736 315 | 0 | 0 312.35/312.41 c 307s | 20 | 837372 | 786427 | 5736 317 | 0 | 0 314.34/314.42 c 309s | 20 | 843978 | 792827 | 5736 319 | 0 | 0 316.34/316.43 c 311s | 20 | 851127 | 799227 | 5736 321 | 0 | 0 318.34/318.45 c 313s | 20 | 857896 | 805627 | 5736 324 | 0 | 0 320.34/320.47 c 315s | 20 | 864769 | 812027 | 5736 326 | 0 | 0 322.35/322.48 c 317s | 20 | 872235 | 818927 | 5736 328 | 0 | 0 324.34/324.48 c 319s | 20 | 879235 | 825527 | 5736 330 | 0 | 0 326.34/326.49 c 321s | 20 | 885942 | 831727 | 5736 332 | 0 | 0 328.44/328.51 c 323s | 20 | 892474 | 837827 | 5736 335 | 0 | 0 330.44/330.51 c 325s | 20 | 899470 | 844327 | 5736 337 | 0 | 0 332.44/332.53 c 327s | 20 | 906544 | 851027 | 5736 339 | 0 | 0 334.45/334.55 c 329s | 20 | 913773 | 857627 | 5736 341 | 0 | 0 336.44/336.57 c 331s | 20 | 920565 | 864127 | 5736 344 | 0 | 0 338.44/338.59 c 333s | 20 | 927516 | 870827 | 5736 346 | 0 | 0 340.54/340.60 c 335s | 20 | 934608 | 877327 | 5736 348 | 0 | 0 342.54/342.62 c 337s | 20 | 941585 | 884027 | 5736 350 | 0 | 0 344.54/344.63 c 339s | 20 | 948803 | 890827 | 5736 353 | 0 | 0 346.54/346.64 c 341s | 20 | 955346 | 896927 | 5736 355 | 0 | 0 348.54/348.64 c 343s | 20 | 962638 | 903627 | 5736 357 | 0 | 0 350.53/350.68 c 345s | 20 | 969586 | 910327 | 5736 359 | 0 | 0 352.53/352.69 c 347s | 20 | 976404 | 916827 | 5736 362 | 0 | 0 354.63/354.72 c 349s | 20 | 983251 | 923427 | 5736 364 | 0 | 0 356.63/356.74 c 351s | 20 | 989606 | 929427 | 5736 366 | 0 | 0 358.64/358.76 c 353s | 20 | 995597 | 934927 | 5736 368 | 0 | 0 360.63/360.78 c 355s | 20 | 1002558 | 941427 | 5736 370 | 0 | 0 362.63/362.79 c 357s | 20 | 1008795 | 946927 | 5736 372 | 0 | 0 364.63/364.79 c 359s | 20 | 1015505 | 953227 | 5736 374 | 0 | 0 366.73/366.82 c 361s | 20 | 1022266 | 958927 | 5736 376 | 0 | 0 368.73/368.86 c 363s | 20 | 1028049 | 963827 | 5736 377 | 0 | 0 370.74/370.87 c 365s | 20 | 1034179 | 968427 | 5736 379 | 0 | 0 372.73/372.87 c 367s | 20 | 1038244 | 972227 | 5736 380 | 0 | 0 374.73/374.88 c 369s | 20 | 1042689 | 976227 | 5736 381 | 0 | 0 376.83/376.94 c 372s | 20 | 1046372 | 979727 | 6310 382 | 0 | 0 378.83/378.97 c 374s | 20 | 1051608 | 984627 | 6310 384 | 0 | 0 380.83/380.97 c 376s | 20 | 1056251 | 989027 | 6310 385 | 0 | 0 382.83/382.98 c 378s | 20 | 1061147 | 993727 | 6310 386 | 0 | 0 384.93/385.02 c 380s | 20 | 1065517 | 997927 | 6310 387 | 0 | 0 385.93/386.02 c 381s | 21 | 1068190 | 1000345 | 6310 388 | 0 | 0 387.93/388.04 c 383s | 21 | 1074151 | 1005745 | 6310 390 | 0 | 0 389.93/390.07 c 385s | 21 | 1081377 | 1012245 | 6310 392 | 0 | 0 391.93/392.09 c 387s | 21 | 1086637 | 1016945 | 6310 393 | 0 | 0 394.03/394.10 c 389s | 21 | 1092399 | 1022345 | 6310 394 | 0 | 0 396.04/396.11 c 391s | 21 | 1098173 | 1027645 | 6310 396 | 0 | 0 398.03/398.11 c 393s | 21 | 1103007 | 1032245 | 6310 397 | 0 | 0 400.03/400.12 c 395s | 21 | 1108269 | 1037245 | 6310 399 | 0 | 0 402.03/402.15 c 397s | 21 | 1113835 | 1042545 | 6310 400 | 0 | 0 404.03/404.16 c 399s | 21 | 1119137 | 1047145 | 6310 402 | 0 | 0 406.03/406.19 c 401s | 21 | 1124991 | 1052345 | 6310 403 | 0 | 0 408.14/408.22 c 403s | 21 | 1130929 | 1057945 | 6310 405 | 0 | 0 410.13/410.26 c 405s | 21 | 1136479 | 1063145 | 6310 406 | 0 | 0 412.13/412.27 c 407s | 21 | 1141552 | 1067445 | 6310 407 | 0 | 0 414.23/414.30 c 409s | 21 | 1146501 | 1072045 | 6310 409 | 0 | 0 416.23/416.33 c 411s | 21 | 1152202 | 1077445 | 6310 410 | 0 | 0 418.23/418.35 c 413s | 21 | 1157449 | 1082345 | 6310 412 | 0 | 0 420.23/420.38 c 415s | 21 | 1162793 | 1087345 | 6310 413 | 0 | 0 422.23/422.39 c 417s | 21 | 1168072 | 1092145 | 6310 414 | 0 | 0 424.33/424.42 c 419s | 21 | 1173668 | 1097045 | 6310 416 | 0 | 0 426.33/426.44 c 421s | 21 | 1179295 | 1102045 | 6310 417 | 0 | 0 428.33/428.45 c 423s | 21 | 1184368 | 1106845 | 6310 419 | 0 | 0 430.33/430.47 c 425s | 21 | 1189536 | 1111745 | 6310 420 | 0 | 0 432.43/432.50 c 427s | 21 | 1194682 | 1116445 | 6310 421 | 0 | 0 434.43/434.50 c 429s | 21 | 1200507 | 1121545 | 6310 423 | 0 | 0 436.42/436.53 c 431s | 21 | 1206223 | 1126745 | 6310 424 | 0 | 0 438.42/438.55 c 433s | 21 | 1212054 | 1132245 | 6310 426 | 0 | 0 440.52/440.61 c 435s | 21 | 1217732 | 1137145 | 6310 427 | 0 | 0 442.52/442.62 c 437s | 21 | 1222164 | 1141245 | 6310 429 | 0 | 0 444.52/444.62 c 439s | 21 | 1227556 | 1146245 | 6310 430 | 0 | 0 446.53/446.63 c 441s | 21 | 1232693 | 1151045 | 6310 431 | 0 | 0 448.52/448.66 c 443s | 21 | 1238048 | 1155945 | 6310 433 | 0 | 0 450.52/450.69 c 445s | 21 | 1243291 | 1160645 | 6310 434 | 0 | 0 452.62/452.71 c 447s | 21 | 1249756 | 1166945 | 6310 436 | 0 | 0 454.62/454.74 c 449s | 21 | 1255756 | 1172645 | 6310 438 | 0 | 0 456.62/456.76 c 451s | 21 | 1261242 | 1177845 | 6310 439 | 0 | 0 458.73/458.82 c 453s | 21 | 1266470 | 1182545 | 6310 441 | 0 | 0 460.72/460.86 c 455s | 21 | 1271686 | 1187245 | 6310 442 | 0 | 0 462.72/462.87 c 457s | 21 | 1277057 | 1191745 | 6310 443 | 0 | 0 464.72/464.89 c 459s | 21 | 1282946 | 1197245 | 6310 445 | 0 | 0 466.82/466.90 c 461s | 21 | 1288165 | 1202345 | 6310 446 | 0 | 0 468.82/468.92 c 464s | 21 | 1293266 | 1207345 | 6310 448 | 0 | 0 470.82/470.99 c 466s | 21 | 1298555 | 1212445 | 6310 449 | 0 | 0 472.92/473.03 c 468s | 21 | 1304152 | 1217745 | 6310 451 | 0 | 0 474.92/475.04 c 470s | 21 | 1309609 | 1222745 | 6310 452 | 0 | 0 476.92/477.05 c 472s | 21 | 1314563 | 1227345 | 6310 453 | 0 | 0 478.92/479.06 c 474s | 21 | 1320417 | 1232945 | 6310 455 | 0 | 0 480.92/481.09 c 476s | 21 | 1325454 | 1237745 | 6310 456 | 0 | 0 482.92/483.09 c 478s | 21 | 1331394 | 1243445 | 6310 458 | 0 | 0 485.02/485.12 c 480s | 21 | 1336491 | 1248145 | 6310 459 | 0 | 0 487.02/487.17 c 482s | 21 | 1341014 | 1252545 | 6310 461 | 0 | 0 489.11/489.22 c 484s | 21 | 1346015 | 1257345 | 6310 462 | 0 | 0 491.11/491.24 c 486s | 21 | 1350619 | 1261845 | 6310 463 | 0 | 0 493.11/493.26 c 488s | 21 | 1355919 | 1266945 | 6310 465 | 0 | 0 495.21/495.30 c 490s | 21 | 1361136 | 1271945 | 6310 466 | 0 | 0 497.22/497.32 c 492s | 21 | 1367060 | 1277645 | 6310 468 | 0 | 0 499.21/499.33 c 494s | 21 | 1372545 | 1282945 | 6310 469 | 0 | 0 501.21/501.34 c 496s | 21 | 1377247 | 1287545 | 6310 471 | 0 | 0 503.21/503.35 c 498s | 21 | 1382451 | 1292545 | 6310 472 | 0 | 0 505.21/505.38 c 500s | 21 | 1387882 | 1297845 | 6310 473 | 0 | 0 507.21/507.38 c 502s | 21 | 1393594 | 1303345 | 6310 475 | 0 | 0 509.32/509.41 c 504s | 21 | 1398640 | 1308145 | 6310 476 | 0 | 0 511.31/511.44 c 506s | 21 | 1404141 | 1313545 | 6310 478 | 0 | 0 513.41/513.50 c 508s | 21 | 1409724 | 1318945 | 6310 480 | 0 | 0 515.41/515.50 c 510s | 21 | 1414622 | 1323645 | 6310 481 | 0 | 0 517.41/517.52 c 512s | 21 | 1420379 | 1328945 | 6310 482 | 0 | 0 519.41/519.55 c 514s | 21 | 1425211 | 1333545 | 6310 484 | 0 | 0 521.41/521.58 c 516s | 21 | 1430986 | 1339045 | 6310 485 | 0 | 0 523.41/523.60 c 518s | 21 | 1436027 | 1343945 | 6310 487 | 0 | 0 525.51/525.61 c 520s | 21 | 1441110 | 1348845 | 6310 488 | 0 | 0 527.51/527.64 c 522s | 21 | 1446010 | 1353645 | 6310 489 | 0 | 0 529.51/529.66 c 524s | 21 | 1451776 | 1358945 | 6310 491 | 0 | 0 531.51/531.68 c 526s | 21 | 1457228 | 1363945 | 6310 492 | 0 | 0 533.51/533.69 c 528s | 21 | 1461852 | 1368345 | 6310 494 | 0 | 0 535.50/535.70 c 530s | 21 | 1467737 | 1374045 | 6310 495 | 0 | 0 537.60/537.71 c 532s | 21 | 1472738 | 1378845 | 6310 497 | 0 | 0 539.60/539.73 c 534s | 21 | 1478214 | 1384045 | 6310 498 | 0 | 0 541.60/541.76 c 536s | 21 | 1483633 | 1389045 | 6310 500 | 0 | 0 543.60/543.79 c 538s | 21 | 1489207 | 1394245 | 6310 501 | 0 | 0 545.70/545.83 c 540s | 21 | 1494071 | 1398945 | 6310 502 | 0 | 0 547.71/547.87 c 542s | 21 | 1498297 | 1402945 | 6310 504 | 0 | 0 549.71/549.88 c 544s | 21 | 1503524 | 1407945 | 6310 505 | 0 | 0 551.81/551.92 c 547s | 21 | 1507873 | 1412145 | 6310 506 | 0 | 0 553.81/553.93 c 549s | 21 | 1512818 | 1416745 | 6310 508 | 0 | 0 555.81/555.94 c 551s | 21 | 1517738 | 1421345 | 6310 509 | 0 | 0 557.81/557.94 c 553s | 21 | 1523772 | 1426945 | 6310 510 | 0 | 0 559.81/559.96 c 555s | 21 | 1528772 | 1431845 | 6310 512 | 0 | 0 561.81/561.97 c 557s | 21 | 1534263 | 1437245 | 6310 513 | 0 | 0 563.81/563.99 c 559s | 21 | 1539121 | 1441945 | 6310 515 | 0 | 0 565.81/565.99 c 561s | 21 | 1543652 | 1446345 | 6310 516 | 0 | 0 567.91/568.01 c 563s | 21 | 1548309 | 1450845 | 6310 517 | 0 | 0 569.91/570.02 c 565s | 21 | 1553418 | 1455645 | 6310 519 | 0 | 0 571.91/572.05 c 567s | 21 | 1558565 | 1460645 | 6310 520 | 0 | 0 574.01/574.11 c 569s | 21 | 1563731 | 1465445 | 6310 522 | 0 | 0 576.01/576.13 c 571s | 21 | 1568981 | 1470245 | 6310 523 | 0 | 0 578.01/578.13 c 573s | 21 | 1573909 | 1474845 | 6310 524 | 0 | 0 580.00/580.15 c 575s | 21 | 1579560 | 1479545 | 6942 525 | 0 | 0 582.10/582.20 c 577s | 21 | 1584563 | 1484045 | 6942 527 | 0 | 0 584.11/584.21 c 579s | 21 | 1588937 | 1488245 | 6942 528 | 0 | 0 586.10/586.22 c 581s | 21 | 1594067 | 1492745 | 6942 529 | 0 | 0 588.10/588.25 c 583s | 21 | 1599208 | 1497245 | 6942 530 | 0 | 0 589.80/589.96 c 585s | 22 | 1602923 | 1500622 | 6942 531 | 0 | 0 591.81/591.98 c 587s | 22 | 1608959 | 1506022 | 6942 532 | 0 | 0 593.91/594.00 c 589s | 22 | 1613486 | 1510122 | 6942 533 | 0 | 0 595.90/596.01 c 591s | 22 | 1618527 | 1515022 | 6942 535 | 0 | 0 597.90/598.05 c 593s | 22 | 1623158 | 1519422 | 6942 536 | 0 | 0 600.00/600.10 c 595s | 22 | 1627882 | 1523922 | 6942 537 | 0 | 0 602.00/602.15 c 597s | 22 | 1632245 | 1528022 | 6942 538 | 0 | 0 604.00/604.19 c 599s | 22 | 1637138 | 1532722 | 6942 539 | 0 | 0 606.10/606.23 c 601s | 22 | 1641775 | 1537222 | 6942 541 | 0 | 0 608.10/608.26 c 603s | 22 | 1646630 | 1541822 | 6942 542 | 0 | 0 610.10/610.29 c 605s | 22 | 1651370 | 1546322 | 6942 543 | 0 | 0 612.10/612.29 c 607s | 22 | 1655702 | 1550222 | 6942 544 | 0 | 0 614.19/614.33 c 609s | 22 | 1660157 | 1554222 | 6942 545 | 0 | 0 616.19/616.33 c 611s | 22 | 1664223 | 1558122 | 6942 546 | 0 | 0 618.20/618.37 c 613s | 22 | 1668256 | 1562022 | 6942 547 | 0 | 0 620.19/620.40 c 615s | 22 | 1672550 | 1566122 | 6942 548 | 0 | 0 622.29/622.42 c 617s | 22 | 1676559 | 1569922 | 6942 549 | 0 | 0 624.29/624.44 c 619s | 22 | 1680635 | 1573722 | 6942 550 | 0 | 0 626.29/626.45 c 621s | 22 | 1684703 | 1577522 | 6942 551 | 0 | 0 628.29/628.47 c 623s | 22 | 1688884 | 1581622 | 6942 552 | 0 | 0 630.30/630.49 c 625s | 22 | 1693853 | 1586222 | 6942 554 | 0 | 0 632.40/632.51 c 627s | 22 | 1698677 | 1590822 | 6942 555 | 0 | 0 634.39/634.52 c 629s | 22 | 1703290 | 1595222 | 6942 556 | 0 | 0 636.39/636.52 c 631s | 22 | 1708301 | 1599922 | 6942 557 | 0 | 0 638.39/638.55 c 633s | 22 | 1712795 | 1604222 | 6942 558 | 0 | 0 640.39/640.59 c 635s | 22 | 1717098 | 1608322 | 6942 559 | 0 | 0 642.49/642.61 c 637s | 22 | 1721562 | 1612422 | 6942 561 | 0 | 0 644.50/644.62 c 639s | 22 | 1726633 | 1617222 | 6942 562 | 0 | 0 646.49/646.66 c 641s | 22 | 1731536 | 1621922 | 6942 563 | 0 | 0 648.59/648.72 c 643s | 22 | 1736085 | 1626322 | 6942 564 | 0 | 0 650.59/650.77 c 645s | 22 | 1740442 | 1630522 | 6942 565 | 0 | 0 652.59/652.78 c 647s | 22 | 1744521 | 1634422 | 6942 566 | 0 | 0 654.59/654.79 c 649s | 22 | 1749186 | 1638622 | 6942 567 | 0 | 0 656.70/656.82 c 651s | 22 | 1753516 | 1642722 | 6942 569 | 0 | 0 658.69/658.83 c 653s | 22 | 1757666 | 1646722 | 6942 570 | 0 | 0 660.69/660.86 c 655s | 22 | 1762882 | 1651822 | 6942 571 | 0 | 0 662.79/662.91 c 658s | 22 | 1767966 | 1656422 | 6942 572 | 0 | 0 664.79/664.91 c 660s | 22 | 1772428 | 1660522 | 6942 573 | 0 | 0 666.79/666.92 c 662s | 22 | 1776930 | 1664822 | 6942 574 | 0 | 0 668.79/668.93 c 664s | 22 | 1781526 | 1669222 | 6942 576 | 0 | 0 670.78/670.96 c 666s | 22 | 1786118 | 1673622 | 6942 577 | 0 | 0 672.88/673.00 c 668s | 22 | 1790914 | 1678222 | 6942 578 | 0 | 0 674.88/675.09 c 670s | 22 | 1795064 | 1682122 | 6942 579 | 0 | 0 676.98/677.10 c 672s | 22 | 1799754 | 1686622 | 6942 580 | 0 | 0 678.98/679.14 c 674s | 22 | 1804297 | 1690922 | 6942 581 | 0 | 0 680.98/681.18 c 676s | 22 | 1808774 | 1695222 | 6942 582 | 0 | 0 683.09/683.22 c 678s | 22 | 1813122 | 1699422 | 6942 584 | 0 | 0 685.08/685.23 c 680s | 22 | 1818029 | 1704122 | 6942 585 | 0 | 0 687.08/687.24 c 682s | 22 | 1822974 | 1708822 | 6942 586 | 0 | 0 689.08/689.27 c 684s | 22 | 1827916 | 1713522 | 6942 587 | 0 | 0 691.18/691.30 c 686s | 22 | 1832674 | 1717922 | 6942 588 | 0 | 0 693.18/693.34 c 688s | 22 | 1837512 | 1722522 | 6942 590 | 0 | 0 695.19/695.39 c 690s | 22 | 1842308 | 1727122 | 6942 591 | 0 | 0 697.29/697.42 c 692s | 22 | 1847949 | 1732622 | 6942 592 | 0 | 0 699.28/699.44 c 694s | 22 | 1852912 | 1737522 | 6942 594 | 0 | 0 701.28/701.47 c 696s | 22 | 1858525 | 1742722 | 6942 595 | 0 | 0 703.38/703.50 c 698s | 22 | 1862671 | 1746722 | 6942 596 | 0 | 0 705.38/705.53 c 700s | 22 | 1866990 | 1750922 | 6942 597 | 0 | 0 707.39/707.54 c 702s | 22 | 1871570 | 1755222 | 6942 598 | 0 | 0 709.39/709.59 c 704s | 22 | 1876193 | 1759622 | 6942 600 | 0 | 0 711.48/711.61 c 706s | 22 | 1881336 | 1764522 | 6942 601 | 0 | 0 713.48/713.61 c 708s | 22 | 1886200 | 1768922 | 6942 602 | 0 | 0 715.48/715.65 c 710s | 22 | 1891509 | 1774022 | 6942 603 | 0 | 0 717.48/717.67 c 712s | 22 | 1895880 | 1778322 | 6942 604 | 0 | 0 719.48/719.68 c 714s | 22 | 1901185 | 1783422 | 6942 606 | 0 | 0 721.49/721.70 c 716s | 22 | 1906062 | 1787922 | 6942 607 | 0 | 0 723.58/723.71 c 718s | 22 | 1910937 | 1792422 | 6942 608 | 0 | 0 725.58/725.75 c 720s | 22 | 1915755 | 1797022 | 6942 609 | 0 | 0 727.58/727.79 c 722s | 22 | 1920729 | 1801722 | 6942 611 | 0 | 0 729.68/729.83 c 724s | 22 | 1925712 | 1806522 | 6942 612 | 0 | 0 731.68/731.87 c 726s | 22 | 1930597 | 1811222 | 6942 613 | 0 | 0 733.78/733.91 c 729s | 22 | 1935296 | 1815722 | 6942 614 | 0 | 0 735.78/735.99 c 731s | 22 | 1939878 | 1820022 | 6942 616 | 0 | 0 737.88/738.03 c 733s | 22 | 1944304 | 1824322 | 6942 617 | 0 | 0 739.88/740.03 c 735s | 22 | 1948611 | 1828422 | 6942 618 | 0 | 0 741.87/742.04 c 737s | 22 | 1952992 | 1832622 | 6942 619 | 0 | 0 743.87/744.04 c 739s | 22 | 1956781 | 1836222 | 6942 620 | 0 | 0 745.87/746.06 c 741s | 22 | 1960509 | 1839722 | 6942 621 | 0 | 0 747.88/748.06 c 743s | 22 | 1965123 | 1844222 | 6942 622 | 0 | 0 749.87/750.08 c 745s | 22 | 1969417 | 1848122 | 6942 623 | 0 | 0 751.97/752.14 c 747s | 22 | 1973243 | 1851622 | 6942 624 | 0 | 0 753.97/754.18 c 749s | 22 | 1977143 | 1855322 | 6942 625 | 0 | 0 756.07/756.22 c 751s | 22 | 1981628 | 1859522 | 6942 626 | 0 | 0 758.07/758.24 c 753s | 22 | 1986200 | 1863822 | 6942 627 | 0 | 0 760.08/760.29 c 755s | 22 | 1990571 | 1867922 | 6942 628 | 0 | 0 762.17/762.30 c 757s | 22 | 1995331 | 1872522 | 6942 629 | 0 | 0 764.17/764.32 c 759s | 22 | 2000009 | 1876922 | 6942 631 | 0 | 0 766.17/766.35 c 761s | 22 | 2005191 | 1881922 | 6942 632 | 0 | 0 768.17/768.38 c 763s | 22 | 2010202 | 1886722 | 6942 633 | 0 | 0 770.27/770.40 c 765s | 22 | 2014950 | 1891122 | 6942 634 | 0 | 0 772.26/772.43 c 767s | 22 | 2019557 | 1895622 | 6942 636 | 0 | 0 774.27/774.44 c 769s | 22 | 2024403 | 1900122 | 6942 637 | 0 | 0 776.26/776.46 c 771s | 22 | 2029264 | 1904722 | 6942 638 | 0 | 0 778.26/778.48 c 773s | 22 | 2033770 | 1908822 | 6942 639 | 0 | 0 780.36/780.50 c 775s | 22 | 2038888 | 1913522 | 6942 640 | 0 | 0 782.36/782.53 c 777s | 22 | 2043213 | 1917622 | 6942 641 | 0 | 0 784.35/784.57 c 779s | 22 | 2048036 | 1922222 | 6942 643 | 0 | 0 786.36/786.58 c 781s | 22 | 2052467 | 1926422 | 6942 644 | 0 | 0 788.45/788.61 c 783s | 22 | 2056835 | 1930622 | 6942 645 | 0 | 0 790.45/790.65 c 785s | 22 | 2061470 | 1935022 | 6942 646 | 0 | 0 792.45/792.68 c 787s | 22 | 2065615 | 1938922 | 6942 647 | 0 | 0 794.45/794.68 c 789s | 22 | 2070146 | 1943322 | 6942 648 | 0 | 0 796.45/796.70 c 791s | 22 | 2075118 | 1948222 | 6942 650 | 0 | 0 798.56/798.72 c 793s | 22 | 2080618 | 1953622 | 6942 651 | 0 | 0 800.55/800.73 c 795s | 22 | 2085830 | 1958422 | 6942 652 | 0 | 0 802.55/802.76 c 797s | 22 | 2090015 | 1962422 | 6942 653 | 0 | 0 804.65/804.82 c 799s | 22 | 2094602 | 1966822 | 6942 654 | 0 | 0 806.65/806.86 c 801s | 22 | 2099499 | 1971522 | 6942 656 | 0 | 0 808.75/808.90 c 804s | 22 | 2104271 | 1976022 | 6942 657 | 0 | 0 810.74/810.92 c 806s | 22 | 2109145 | 1980622 | 6942 658 | 0 | 0 812.75/812.92 c 808s | 22 | 2113365 | 1984522 | 6942 659 | 0 | 0 814.74/814.94 c 810s | 22 | 2117904 | 1988922 | 6942 660 | 0 | 0 816.74/816.97 c 812s | 22 | 2122233 | 1993122 | 6942 661 | 0 | 0 818.84/819.04 c 814s | 22 | 2126623 | 1997222 | 6942 663 | 0 | 0 820.84/821.08 c 816s | 22 | 2130602 | 2001022 | 6942 664 | 0 | 0 822.94/823.13 c 818s | 22 | 2135213 | 2005422 | 6942 665 | 0 | 0 824.94/825.13 c 820s | 22 | 2139450 | 2009422 | 6942 666 | 0 | 0 826.94/827.17 c 822s | 22 | 2143048 | 2012722 | 6942 667 | 0 | 0 828.94/829.17 c 824s | 22 | 2147022 | 2016522 | 6942 668 | 0 | 0 830.94/831.19 c 826s | 22 | 2152035 | 2021122 | 6942 669 | 0 | 0 833.04/833.20 c 828s | 22 | 2156863 | 2025722 | 6942 670 | 0 | 0 835.04/835.22 c 830s | 22 | 2161790 | 2030422 | 6942 671 | 0 | 0 837.04/837.27 c 832s | 22 | 2166449 | 2034822 | 6942 673 | 0 | 0 839.03/839.28 c 834s | 22 | 2170733 | 2038822 | 6942 674 | 0 | 0 841.13/841.32 c 836s | 22 | 2174912 | 2042722 | 6942 675 | 0 | 0 843.13/843.34 c 838s | 22 | 2179867 | 2047322 | 6942 676 | 0 | 0 845.13/845.36 c 840s | 22 | 2184409 | 2051522 | 6942 677 | 0 | 0 847.13/847.39 c 842s | 22 | 2189047 | 2055922 | 6942 678 | 0 | 0 849.23/849.41 c 844s | 22 | 2193353 | 2060022 | 6942 679 | 0 | 0 851.23/851.42 c 846s | 22 | 2197907 | 2064322 | 6942 680 | 0 | 0 853.22/853.46 c 848s | 22 | 2202286 | 2068322 | 6942 681 | 0 | 0 855.32/855.50 c 850s | 22 | 2206302 | 2072022 | 6942 682 | 0 | 0 857.32/857.50 c 852s | 22 | 2210205 | 2075722 | 6942 683 | 0 | 0 859.32/859.56 c 854s | 22 | 2214449 | 2079722 | 6942 684 | 0 | 0 861.42/861.61 c 856s | 22 | 2218345 | 2083322 | 6942 685 | 0 | 0 863.43/863.65 c 858s | 22 | 2222494 | 2087322 | 6942 686 | 0 | 0 865.42/865.66 c 860s | 22 | 2226601 | 2091222 | 6942 688 | 0 | 0 867.52/867.73 c 862s | 22 | 2230552 | 2094922 | 6942 689 | 0 | 0 869.53/869.73 c 864s | 22 | 2234433 | 2098622 | 6942 689 | 0 | 0 871.53/871.76 c 866s | 22 | 2238308 | 2102322 | 6942 690 | 0 | 0 873.53/873.78 c 868s | 22 | 2243389 | 2107122 | 6942 692 | 0 | 0 875.62/875.80 c 870s | 22 | 2248424 | 2111922 | 6942 693 | 0 | 0 877.63/877.82 c 872s | 22 | 2253257 | 2116422 | 6942 694 | 0 | 0 879.62/879.83 c 874s | 22 | 2257707 | 2120622 | 6942 695 | 0 | 0 881.62/881.86 c 876s | 22 | 2261752 | 2124422 | 6942 696 | 0 | 0 883.62/883.87 c 878s | 22 | 2266078 | 2128622 | 6942 697 | 0 | 0 885.62/885.89 c 880s | 22 | 2270988 | 2133222 | 6942 699 | 0 | 0 887.72/887.90 c 883s | 22 | 2275709 | 2137622 | 6942 700 | 0 | 0 889.73/889.93 c 885s | 22 | 2280755 | 2142322 | 6942 701 | 0 | 0 891.72/891.96 c 887s | 22 | 2285383 | 2146522 | 6942 702 | 0 | 0 893.72/893.96 c 889s | 22 | 2289452 | 2150122 | 6942 703 | 0 | 0 895.71/895.98 c 891s | 22 | 2293919 | 2154222 | 6942 704 | 0 | 0 897.81/898.02 c 893s | 22 | 2297995 | 2158122 | 6942 705 | 0 | 0 899.81/900.06 c 895s | 22 | 2301794 | 2161822 | 6942 706 | 0 | 0 901.82/902.08 c 897s | 22 | 2306622 | 2166422 | 6942 707 | 0 | 0 903.91/904.12 c 899s | 22 | 2312152 | 2171622 | 6942 709 | 0 | 0 905.91/906.12 c 901s | 22 | 2317594 | 2176822 | 6942 710 | 0 | 0 907.91/908.12 c 903s | 22 | 2322362 | 2181322 | 6942 711 | 0 | 0 909.91/910.13 c 905s | 22 | 2326982 | 2185622 | 6942 713 | 0 | 0 911.91/912.14 c 907s | 22 | 2331190 | 2189522 | 6942 714 | 0 | 0 913.91/914.15 c 909s | 22 | 2335722 | 2193722 | 6942 715 | 0 | 0 915.90/916.18 c 911s | 22 | 2340551 | 2198322 | 6942 716 | 0 | 0 918.00/918.21 c 913s | 22 | 2345284 | 2202722 | 6942 717 | 0 | 0 920.00/920.22 c 915s | 22 | 2350479 | 2207822 | 6942 718 | 0 | 0 922.00/922.22 c 917s | 22 | 2355018 | 2212322 | 6942 720 | 0 | 0 924.00/924.25 c 919s | 22 | 2360678 | 2217722 | 6942 721 | 0 | 0 926.01/926.26 c 921s | 22 | 2365101 | 2221722 | 7637 722 | 0 | 0 928.00/928.26 c 923s | 22 | 2369616 | 2226022 | 7637 723 | 0 | 0 930.00/930.26 c 925s | 22 | 2374025 | 2230222 | 7637 724 | 0 | 0 931.99/932.27 c 927s | 22 | 2378824 | 2234722 | 7637 725 | 0 | 0 934.09/934.30 c 929s | 22 | 2383297 | 2239022 | 7637 726 | 0 | 0 936.09/936.38 c 931s | 22 | 2388013 | 2243322 | 7637 727 | 0 | 0 938.20/938.41 c 933s | 22 | 2392985 | 2248022 | 7637 728 | 0 | 0 939.49/939.72 c 934s | 23 | 2396077 | 2251038 | 7637 729 | 0 | 0 941.49/941.74 c 936s | 23 | 2401431 | 2255938 | 7637 730 | 0 | 0 943.48/943.78 c 938s | 23 | 2405916 | 2259838 | 7637 731 | 0 | 0 945.58/945.80 c 940s | 23 | 2410165 | 2263738 | 7637 732 | 0 | 0 947.58/947.83 c 942s | 23 | 2414127 | 2267438 | 7637 733 | 0 | 0 949.58/949.86 c 944s | 23 | 2418174 | 2271238 | 7637 734 | 0 | 0 951.59/951.87 c 946s | 23 | 2422544 | 2275438 | 7637 735 | 0 | 0 953.60/953.88 c 948s | 23 | 2426531 | 2279238 | 7637 736 | 0 | 0 955.59/955.88 c 950s | 23 | 2430138 | 2282638 | 7637 737 | 0 | 0 957.69/957.90 c 953s | 23 | 2433920 | 2286338 | 7637 738 | 0 | 0 959.69/959.95 c 955s | 23 | 2438492 | 2290838 | 7637 739 | 0 | 0 961.68/962.00 c 957s | 23 | 2442302 | 2294438 | 7637 740 | 0 | 0 963.78/964.04 c 959s | 23 | 2446434 | 2298338 | 7637 741 | 0 | 0 965.78/966.06 c 961s | 23 | 2451047 | 2302338 | 7637 742 | 0 | 0 967.79/968.07 c 963s | 23 | 2455316 | 2306438 | 7637 743 | 0 | 0 969.88/970.12 c 965s | 23 | 2459622 | 2310438 | 7637 744 | 0 | 0 971.88/972.16 c 967s | 23 | 2464353 | 2314938 | 7637 745 | 0 | 0 973.88/974.17 c 969s | 23 | 2468123 | 2318438 | 7637 746 | 0 | 0 975.87/976.17 c 971s | 23 | 2472466 | 2322638 | 7637 747 | 0 | 0 977.97/978.21 c 973s | 23 | 2477089 | 2327138 | 7637 748 | 0 | 0 979.98/980.24 c 975s | 23 | 2481311 | 2330938 | 7637 749 | 0 | 0 981.97/982.27 c 977s | 23 | 2485133 | 2334338 | 7637 750 | 0 | 0 983.97/984.27 c 979s | 23 | 2488431 | 2337338 | 7637 751 | 0 | 0 986.07/986.31 c 981s | 23 | 2492204 | 2340738 | 7637 751 | 0 | 0 988.07/988.36 c 983s | 23 | 2496061 | 2344338 | 7637 752 | 0 | 0 990.16/990.40 c 985s | 23 | 2500273 | 2348438 | 7637 753 | 0 | 0 992.16/992.42 c 987s | 23 | 2504850 | 2352938 | 7637 754 | 0 | 0 994.16/994.44 c 989s | 23 | 2508562 | 2356338 | 7637 755 | 0 | 0 996.16/996.46 c 991s | 23 | 2512366 | 2360038 | 7637 756 | 0 | 0 998.16/998.46 c 993s | 23 | 2516871 | 2364438 | 7637 757 | 0 | 0 1000.26/1000.50 c 995s | 23 | 2521269 | 2368338 | 7637 758 | 0 | 0 1002.25/1002.54 c 997s | 23 | 2525769 | 2372638 | 7637 759 | 0 | 0 1004.25/1004.55 c 999s | 23 | 2530159 | 2376738 | 7637 760 | 0 | 0 1006.26/1006.55 c 1001s | 23 | 2534168 | 2380438 | 7637 761 | 0 | 0 1008.35/1008.62 c 1003s | 23 | 2538234 | 2384038 | 7637 762 | 0 | 0 1010.35/1010.66 c 1005s | 23 | 2542806 | 2388438 | 7637 763 | 0 | 0 1012.34/1012.67 c 1007s | 23 | 2547549 | 2392938 | 7637 764 | 0 | 0 1014.44/1014.71 c 1009s | 23 | 2551884 | 2396738 | 7637 765 | 0 | 0 1016.44/1016.79 c 1011s | 23 | 2555774 | 2400438 | 7637 766 | 0 | 0 1018.54/1018.86 c 1013s | 23 | 2559575 | 2403938 | 7637 767 | 0 | 0 1020.55/1020.87 c 1015s | 23 | 2563923 | 2407938 | 7637 768 | 0 | 0 1022.64/1022.93 c 1018s | 23 | 2568111 | 2411938 | 7637 769 | 0 | 0 1024.64/1024.97 c 1020s | 23 | 2571439 | 2414938 | 7637 770 | 0 | 0 1026.74/1027.02 c 1022s | 23 | 2575968 | 2419338 | 7637 771 | 0 | 0 1028.74/1029.03 c 1024s | 23 | 2579913 | 2422938 | 7637 772 | 0 | 0 1030.73/1031.06 c 1026s | 23 | 2583676 | 2426238 | 7637 773 | 0 | 0 1032.74/1033.07 c 1028s | 23 | 2587118 | 2429338 | 7637 773 | 0 | 0 1034.73/1035.10 c 1030s | 23 | 2591142 | 2433138 | 7637 774 | 0 | 0 1036.84/1037.12 c 1032s | 23 | 2595529 | 2437138 | 7637 775 | 0 | 0 1038.84/1039.17 c 1034s | 23 | 2600546 | 2441538 | 7637 776 | 0 | 0 1040.84/1041.18 c 1036s | 23 | 2604590 | 2445338 | 7637 777 | 0 | 0 1042.94/1043.22 c 1038s | 23 | 2608850 | 2449338 | 7637 778 | 0 | 0 1044.94/1045.24 c 1040s | 23 | 2613639 | 2453838 | 7637 779 | 0 | 0 1046.94/1047.27 c 1042s | 23 | 2618770 | 2458538 | 7637 780 | 0 | 0 1049.04/1049.30 c 1044s | 23 | 2623330 | 2462838 | 7637 782 | 0 | 0 1051.03/1051.34 c 1046s | 23 | 2627714 | 2467038 | 7637 783 | 0 | 0 1053.03/1053.37 c 1048s | 23 | 2632790 | 2471838 | 7637 784 | 0 | 0 1055.03/1055.38 c 1050s | 23 | 2637907 | 2476838 | 7637 785 | 0 | 0 1057.13/1057.42 c 1052s | 23 | 2643322 | 2481838 | 7637 786 | 0 | 0 1059.14/1059.47 c 1054s | 23 | 2648110 | 2486438 | 7637 787 | 0 | 0 1061.24/1061.51 c 1056s | 23 | 2653612 | 2491838 | 7637 789 | 0 | 0 1063.23/1063.54 c 1058s | 23 | 2658855 | 2496938 | 7637 790 | 0 | 0 1065.23/1065.55 c 1060s | 23 | 2664198 | 2501938 | 7637 791 | 0 | 0 1067.23/1067.58 c 1062s | 23 | 2669230 | 2506438 | 7637 792 | 0 | 0 1069.23/1069.58 c 1064s | 23 | 2674068 | 2510738 | 7637 793 | 0 | 0 1071.23/1071.59 c 1066s | 23 | 2678891 | 2515138 | 7637 794 | 0 | 0 1073.22/1073.60 c 1068s | 23 | 2682825 | 2518938 | 7637 795 | 0 | 0 1075.32/1075.62 c 1070s | 23 | 2688225 | 2524038 | 7637 796 | 0 | 0 1077.32/1077.65 c 1072s | 23 | 2693458 | 2528738 | 7637 798 | 0 | 0 1079.32/1079.69 c 1074s | 23 | 2698713 | 2533538 | 7637 799 | 0 | 0 1081.42/1081.72 c 1076s | 23 | 2704349 | 2538538 | 7637 800 | 0 | 0 1083.42/1083.74 c 1078s | 23 | 2709261 | 2543038 | 7637 801 | 0 | 0 1085.42/1085.77 c 1080s | 23 | 2714213 | 2547438 | 7637 802 | 0 | 0 1087.52/1087.80 c 1082s | 23 | 2719345 | 2552038 | 7637 803 | 0 | 0 1089.52/1089.80 c 1084s | 23 | 2724732 | 2557038 | 7637 805 | 0 | 0 1091.51/1091.82 c 1086s | 23 | 2729827 | 2561838 | 7637 806 | 0 | 0 1093.51/1093.85 c 1088s | 23 | 2734986 | 2566538 | 7637 807 | 0 | 0 1095.51/1095.87 c 1090s | 23 | 2739667 | 2570638 | 7637 808 | 0 | 0 1097.52/1097.89 c 1092s | 23 | 2744815 | 2575538 | 7637 809 | 0 | 0 1099.61/1099.92 c 1095s | 23 | 2750235 | 2580738 | 7637 811 | 0 | 0 1101.60/1101.95 c 1097s | 23 | 2755734 | 2585938 | 7637 812 | 0 | 0 1103.60/1103.96 c 1099s | 23 | 2760468 | 2590538 | 7637 813 | 0 | 0 1105.60/1105.96 c 1101s | 23 | 2765860 | 2595638 | 7637 814 | 0 | 0 1107.60/1107.97 c 1103s | 23 | 2770396 | 2600038 | 7637 815 | 0 | 0 1109.61/1109.98 c 1105s | 23 | 2775324 | 2604738 | 7637 817 | 0 | 0 1111.70/1112.01 c 1107s | 23 | 2780556 | 2609738 | 7637 818 | 0 | 0 1113.70/1114.02 c 1109s | 23 | 2785667 | 2614538 | 7637 819 | 0 | 0 1115.70/1116.03 c 1111s | 23 | 2790882 | 2619538 | 7637 820 | 0 | 0 1117.70/1118.04 c 1113s | 23 | 2795855 | 2624238 | 7637 822 | 0 | 0 1119.69/1120.07 c 1115s | 23 | 2800657 | 2628838 | 7637 823 | 0 | 0 1121.80/1122.10 c 1117s | 23 | 2806451 | 2634338 | 7637 824 | 0 | 0 1123.79/1124.13 c 1119s | 23 | 2810927 | 2638538 | 7637 825 | 0 | 0 1125.79/1126.18 c 1121s | 23 | 2815575 | 2642838 | 7637 826 | 0 | 0 1127.89/1128.23 c 1123s | 23 | 2820845 | 2647938 | 7637 827 | 0 | 0 1129.89/1130.26 c 1125s | 23 | 2826258 | 2653038 | 7637 829 | 0 | 0 1131.89/1132.28 c 1127s | 23 | 2831148 | 2657638 | 7637 830 | 0 | 0 1133.98/1134.30 c 1129s | 23 | 2836428 | 2662538 | 7637 831 | 0 | 0 1135.99/1136.31 c 1131s | 23 | 2841146 | 2666938 | 7637 832 | 0 | 0 1137.98/1138.36 c 1133s | 23 | 2845796 | 2671338 | 7637 833 | 0 | 0 1140.08/1140.40 c 1135s | 23 | 2850446 | 2675738 | 7637 834 | 0 | 0 1142.08/1142.41 c 1137s | 23 | 2855811 | 2680738 | 7637 836 | 0 | 0 1144.08/1144.45 c 1139s | 23 | 2860280 | 2684938 | 7637 837 | 0 | 0 1146.18/1146.50 c 1141s | 23 | 2865073 | 2689638 | 7637 838 | 0 | 0 1148.19/1148.53 c 1143s | 23 | 2870254 | 2694538 | 7637 839 | 0 | 0 1150.18/1150.53 c 1145s | 23 | 2875160 | 2699038 | 7637 840 | 0 | 0 1152.18/1152.55 c 1147s | 23 | 2879696 | 2703438 | 7637 841 | 0 | 0 1154.18/1154.59 c 1149s | 23 | 2884641 | 2708138 | 7637 843 | 0 | 0 1156.28/1156.60 c 1151s | 23 | 2889778 | 2712938 | 7637 844 | 0 | 0 1158.28/1158.61 c 1153s | 23 | 2894792 | 2717638 | 7637 845 | 0 | 0 1160.28/1160.64 c 1155s | 23 | 2900040 | 2722738 | 7637 846 | 0 | 0 1162.38/1162.71 c 1157s | 23 | 2905120 | 2727638 | 7637 848 | 0 | 0 1164.37/1164.77 c 1159s | 23 | 2909841 | 2732138 | 7637 849 | 0 | 0 1166.37/1166.80 c 1161s | 23 | 2915092 | 2737138 | 7637 850 | 0 | 0 1168.47/1168.83 c 1163s | 23 | 2919804 | 2741538 | 7637 851 | 0 | 0 1170.47/1170.85 c 1165s | 23 | 2924508 | 2745938 | 7637 852 | 0 | 0 1172.56/1172.96 c 1168s | 23 | 2929557 | 2750738 | 7637 853 | 0 | 0 1174.58/1174.99 c 1170s | 23 | 2934347 | 2755338 | 7637 854 | 0 | 0 1176.68/1177.01 c 1172s | 23 | 2939589 | 2760238 | 7637 856 | 0 | 0 1178.67/1179.05 c 1174s | 23 | 2944685 | 2765038 | 7637 857 | 0 | 0 1180.67/1181.05 c 1176s | 23 | 2949256 | 2769238 | 7637 858 | 0 | 0 1182.67/1183.06 c 1178s | 23 | 2953838 | 2773438 | 7637 859 | 0 | 0 1184.67/1185.07 c 1180s | 23 | 2958734 | 2778138 | 7637 860 | 0 | 0 1186.67/1187.07 c 1182s | 23 | 2963103 | 2782238 | 7637 861 | 0 | 0 1188.67/1189.09 c 1184s | 23 | 2967632 | 2786438 | 7637 862 | 0 | 0 1190.76/1191.15 c 1186s | 23 | 2972084 | 2790538 | 7637 863 | 0 | 0 1192.76/1193.18 c 1188s | 23 | 2976633 | 2794738 | 7637 864 | 0 | 0 1194.86/1195.23 c 1190s | 23 | 2981336 | 2799238 | 7637 866 | 0 | 0 1196.96/1197.31 c 1192s | 23 | 2986170 | 2803738 | 7637 867 | 0 | 0 1198.96/1199.31 c 1194s | 23 | 2990702 | 2808038 | 7637 868 | 0 | 0 1200.96/1201.31 c 1196s | 23 | 2995927 | 2813038 | 7637 869 | 0 | 0 1202.95/1203.34 c 1198s | 23 | 3001257 | 2817838 | 7637 870 | 0 | 0 1204.95/1205.38 c 1200s | 23 | 3005912 | 2822238 | 7637 871 | 0 | 0 1207.05/1207.40 c 1202s | 23 | 3010265 | 2826438 | 7637 872 | 0 | 0 1209.05/1209.50 c 1204s | 23 | 3015038 | 2831038 | 7637 873 | 0 | 0 1211.15/1211.51 c 1206s | 23 | 3020593 | 2836338 | 7637 875 | 0 | 0 1213.15/1213.54 c 1208s | 23 | 3025701 | 2841038 | 7637 876 | 0 | 0 1215.16/1215.57 c 1210s | 23 | 3030780 | 2845738 | 7637 877 | 0 | 0 1217.25/1217.61 c 1212s | 23 | 3035638 | 2850038 | 7637 878 | 0 | 0 1219.25/1219.63 c 1214s | 23 | 3040399 | 2854538 | 7637 879 | 0 | 0 1221.24/1221.65 c 1216s | 23 | 3045477 | 2859338 | 7637 881 | 0 | 0 1223.24/1223.65 c 1218s | 23 | 3050862 | 2864338 | 7637 882 | 0 | 0 1225.24/1225.69 c 1220s | 23 | 3055970 | 2869238 | 7637 883 | 0 | 0 1227.35/1227.73 c 1222s | 23 | 3060757 | 2873738 | 7637 884 | 0 | 0 1229.34/1229.73 c 1224s | 23 | 3065459 | 2878238 | 7637 885 | 0 | 0 1231.34/1231.77 c 1226s | 23 | 3070498 | 2883038 | 7637 887 | 0 | 0 1233.44/1233.81 c 1228s | 23 | 3075909 | 2888138 | 7637 888 | 0 | 0 1235.44/1235.84 c 1230s | 23 | 3081030 | 2893038 | 7637 889 | 0 | 0 1237.44/1237.87 c 1232s | 23 | 3086020 | 2897838 | 7637 890 | 0 | 0 1239.45/1239.88 c 1234s | 23 | 3090830 | 2902338 | 7637 891 | 0 | 0 1241.55/1241.92 c 1237s | 23 | 3095506 | 2906838 | 7637 893 | 0 | 0 1243.54/1243.93 c 1239s | 23 | 3100453 | 2911538 | 7637 894 | 0 | 0 1245.54/1245.95 c 1241s | 23 | 3105297 | 2916138 | 7637 895 | 0 | 0 1247.54/1247.96 c 1243s | 23 | 3110218 | 2920838 | 7637 896 | 0 | 0 1249.64/1250.00 c 1245s | 23 | 3115142 | 2925538 | 7637 897 | 0 | 0 1251.63/1252.03 c 1247s | 23 | 3119885 | 2929938 | 7637 898 | 0 | 0 1253.64/1254.06 c 1249s | 23 | 3124443 | 2934338 | 7637 899 | 0 | 0 1255.63/1256.09 c 1251s | 23 | 3129644 | 2939238 | 7637 901 | 0 | 0 1257.73/1258.10 c 1253s | 23 | 3134150 | 2943438 | 7637 902 | 0 | 0 1259.73/1260.14 c 1255s | 23 | 3139273 | 2948338 | 7637 903 | 0 | 0 1261.73/1262.14 c 1257s | 23 | 3143931 | 2952738 | 7637 904 | 0 | 0 1263.73/1264.18 c 1259s | 23 | 3148769 | 2957338 | 7637 905 | 0 | 0 1265.83/1266.21 c 1261s | 23 | 3153926 | 2962238 | 7637 906 | 0 | 0 1267.83/1268.24 c 1263s | 23 | 3158832 | 2966938 | 7637 908 | 0 | 0 1269.83/1270.27 c 1265s | 23 | 3163553 | 2971538 | 7637 909 | 0 | 0 1271.92/1272.31 c 1267s | 23 | 3169097 | 2976538 | 7637 910 | 0 | 0 1273.92/1274.36 c 1269s | 23 | 3173724 | 2980938 | 7637 911 | 0 | 0 1276.02/1276.41 c 1271s | 23 | 3178985 | 2985738 | 7637 912 | 0 | 0 1278.02/1278.43 c 1273s | 23 | 3183649 | 2990138 | 7637 913 | 0 | 0 1280.03/1280.44 c 1275s | 23 | 3188105 | 2994438 | 7637 915 | 0 | 0 1282.01/1282.45 c 1277s | 23 | 3192738 | 2998938 | 7637 916 | 0 | 0 1284.01/1284.47 c 1279s | 23 | 3197825 | 3003738 | 7637 917 | 0 | 0 1286.01/1286.47 c 1281s | 23 | 3202757 | 3008338 | 7637 918 | 0 | 0 1288.01/1288.48 c 1283s | 23 | 3207544 | 3012938 | 7637 919 | 0 | 0 1290.02/1290.49 c 1285s | 23 | 3212343 | 3017438 | 7637 920 | 0 | 0 1292.01/1292.49 c 1287s | 23 | 3216689 | 3021538 | 7637 921 | 0 | 0 1294.01/1294.49 c 1289s | 23 | 3221215 | 3025838 | 7637 922 | 0 | 0 1296.11/1296.54 c 1291s | 23 | 3225318 | 3029738 | 7637 923 | 0 | 0 1298.11/1298.59 c 1293s | 23 | 3229855 | 3034138 | 7637 924 | 0 | 0 1300.21/1300.61 c 1295s | 23 | 3234128 | 3038138 | 7637 925 | 0 | 0 1302.20/1302.65 c 1297s | 23 | 3238570 | 3042138 | 7637 927 | 0 | 0 1304.21/1304.67 c 1299s | 23 | 3244012 | 3047338 | 7637 928 | 0 | 0 1306.30/1306.71 c 1301s | 23 | 3250667 | 3053838 | 7637 929 | 0 | 0 1308.30/1308.73 c 1303s | 23 | 3255618 | 3058638 | 7637 931 | 0 | 0 1310.30/1310.77 c 1305s | 23 | 3260480 | 3063238 | 7637 932 | 0 | 0 1312.30/1312.77 c 1307s | 23 | 3263953 | 3066638 | 7637 933 | 0 | 0 1314.40/1314.81 c 1309s | 23 | 3268943 | 3071338 | 7637 934 | 0 | 0 1316.40/1316.82 c 1311s | 23 | 3273378 | 3075538 | 7637 935 | 0 | 0 1318.40/1318.86 c 1313s | 23 | 3277751 | 3079638 | 7637 936 | 0 | 0 1320.40/1320.87 c 1315s | 23 | 3281816 | 3083538 | 7637 937 | 0 | 0 1322.49/1322.92 c 1318s | 23 | 3285987 | 3087638 | 7637 938 | 0 | 0 1324.49/1324.95 c 1320s | 23 | 3290226 | 3091838 | 7637 939 | 0 | 0 1326.50/1326.98 c 1322s | 23 | 3294910 | 3096338 | 7637 940 | 0 | 0 1328.51/1328.99 c 1324s | 23 | 3300075 | 3101438 | 7637 941 | 0 | 0 1330.50/1331.00 c 1326s | 23 | 3304965 | 3106138 | 7637 943 | 0 | 0 1332.59/1333.01 c 1328s | 23 | 3309295 | 3110238 | 7637 944 | 0 | 0 1334.59/1335.05 c 1330s | 23 | 3313834 | 3114538 | 7637 945 | 0 | 0 1336.59/1337.08 c 1332s | 23 | 3317811 | 3118438 | 7637 946 | 0 | 0 1338.59/1339.08 c 1334s | 23 | 3322453 | 3123038 | 7637 947 | 0 | 0 1340.69/1341.11 c 1336s | 23 | 3328131 | 3128638 | 7637 948 | 0 | 0 1342.69/1343.16 c 1338s | 23 | 3333498 | 3133738 | 7637 950 | 0 | 0 1344.68/1345.19 c 1340s | 23 | 3338192 | 3138238 | 7637 951 | 0 | 0 1346.78/1347.20 c 1342s | 23 | 3342058 | 3142038 | 7637 952 | 0 | 0 1348.78/1349.21 c 1344s | 23 | 3347034 | 3146938 | 7637 953 | 0 | 0 1350.78/1351.21 c 1346s | 23 | 3352062 | 3151838 | 7637 954 | 0 | 0 1352.78/1353.22 c 1348s | 23 | 3357781 | 3157438 | 7637 955 | 0 | 0 1354.79/1355.23 c 1350s | 23 | 3362784 | 3162238 | 7637 957 | 0 | 0 1356.78/1357.23 c 1352s | 23 | 3367188 | 3166438 | 7637 958 | 0 | 0 1358.78/1359.24 c 1354s | 23 | 3371550 | 3170638 | 7637 959 | 0 | 0 1360.78/1361.25 c 1356s | 23 | 3375254 | 3174238 | 7637 960 | 0 | 0 1362.78/1363.27 c 1358s | 23 | 3379334 | 3178238 | 7637 961 | 0 | 0 1364.78/1365.28 c 1360s | 23 | 3383893 | 3182738 | 7637 962 | 0 | 0 1366.88/1367.32 c 1362s | 23 | 3388615 | 3187338 | 7637 963 | 0 | 0 1368.87/1369.32 c 1364s | 23 | 3393405 | 3191938 | 7637 964 | 0 | 0 1370.87/1371.33 c 1366s | 23 | 3398011 | 3196438 | 7637 965 | 0 | 0 1372.87/1373.38 c 1368s | 23 | 3402382 | 3200738 | 7637 966 | 0 | 0 1374.97/1375.41 c 1370s | 23 | 3406821 | 3205138 | 7637 967 | 0 | 0 1376.97/1377.41 c 1372s | 23 | 3411178 | 3209438 | 7637 969 | 0 | 0 1378.97/1379.43 c 1374s | 23 | 3415218 | 3213338 | 7637 970 | 0 | 0 1380.97/1381.46 c 1376s | 23 | 3419916 | 3217838 | 7637 971 | 0 | 0 1383.06/1383.50 c 1378s | 23 | 3423580 | 3221438 | 7637 972 | 0 | 0 1385.06/1385.52 c 1380s | 23 | 3427565 | 3225338 | 7637 973 | 0 | 0 1387.06/1387.55 c 1382s | 23 | 3431989 | 3229638 | 7637 974 | 0 | 0 1389.06/1389.57 c 1384s | 23 | 3437089 | 3234638 | 7637 975 | 0 | 0 1391.07/1391.58 c 1386s | 23 | 3442152 | 3239538 | 7637 976 | 0 | 0 1393.16/1393.62 c 1388s | 23 | 3447173 | 3244338 | 7637 977 | 0 | 0 1395.16/1395.63 c 1390s | 23 | 3451564 | 3248638 | 7637 978 | 0 | 0 1397.16/1397.65 c 1392s | 23 | 3455958 | 3252938 | 7637 979 | 0 | 0 1399.16/1399.66 c 1394s | 23 | 3460327 | 3257238 | 7637 981 | 0 | 0 1401.16/1401.67 c 1396s | 23 | 3465762 | 3262538 | 7637 982 | 0 | 0 1403.17/1403.68 c 1398s | 23 | 3471118 | 3267638 | 7637 983 | 0 | 0 1405.26/1405.70 c 1400s | 23 | 3475389 | 3271838 | 7637 984 | 0 | 0 1407.26/1407.72 c 1402s | 23 | 3480682 | 3277038 | 7637 985 | 0 | 0 1409.26/1409.75 c 1404s | 23 | 3485566 | 3281838 | 7637 987 | 0 | 0 1411.26/1411.78 c 1406s | 23 | 3490775 | 3286938 | 7637 988 | 0 | 0 1413.26/1413.79 c 1408s | 23 | 3495861 | 3291938 | 7637 989 | 0 | 0 1415.27/1415.79 c 1410s | 23 | 3501101 | 3297038 | 7637 991 | 0 | 0 1417.26/1417.79 c 1412s | 23 | 3506602 | 3302438 | 7637 992 | 0 | 0 1419.26/1419.79 c 1414s | 23 | 3511538 | 3307238 | 7637 993 | 0 | 0 1421.36/1421.82 c 1416s | 23 | 3516630 | 3312238 | 7637 994 | 0 | 0 1423.36/1423.86 c 1418s | 23 | 3521812 | 3317338 | 7637 996 | 0 | 0 1425.36/1425.86 c 1420s | 23 | 3527855 | 3323238 | 7637 997 | 0 | 0 1427.37/1427.86 c 1422s | 23 | 3532499 | 3327638 | 7637 998 | 0 | 0 1429.36/1429.89 c 1424s | 23 | 3537439 | 3332338 | 7637 999 | 0 | 0 1431.46/1431.92 c 1427s | 23 | 3541572 | 3336338 | 7637 1000 | 0 | 0 1433.46/1433.96 c 1429s | 23 | 3545906 | 3340538 | 8401 1001 | 0 | 0 1435.56/1436.00 c 1431s | 23 | 3551079 | 3345538 | 8401 1002 | 0 | 0 1437.56/1438.05 c 1433s | 23 | 3555644 | 3349838 | 8401 1003 | 0 | 0 1439.57/1440.08 c 1435s | 23 | 3559533 | 3353638 | 8401 1004 | 0 | 0 1441.67/1442.11 c 1437s | 23 | 3563944 | 3357838 | 8401 1005 | 0 | 0 1443.66/1444.12 c 1439s | 23 | 3568259 | 3362038 | 8401 1006 | 0 | 0 1445.66/1446.15 c 1441s | 23 | 3572829 | 3366438 | 8401 1007 | 0 | 0 1447.66/1448.18 c 1443s | 23 | 3577330 | 3370738 | 8401 1008 | 0 | 0 1449.76/1450.22 c 1445s | 23 | 3581408 | 3374638 | 8401 1009 | 0 | 0 1450.86/1451.37 c 1446s | 24 | 3583490 | 3376662 | 8401 1010 | 0 | 0 1452.96/1453.40 c 1448s | 24 | 3590406 | 3383362 | 8401 1011 | 0 | 0 1454.96/1455.42 c 1450s | 24 | 3597135 | 3389862 | 8401 1013 | 0 | 0 1456.96/1457.43 c 1452s | 24 | 3602995 | 3395662 | 8401 1014 | 0 | 0 1458.96/1459.44 c 1454s | 24 | 3607541 | 3400062 | 8401 1015 | 0 | 0 1460.95/1461.46 c 1456s | 24 | 3611725 | 3404162 | 8401 1016 | 0 | 0 1462.95/1463.49 c 1458s | 24 | 3615675 | 3408062 | 8401 1017 | 0 | 0 1465.05/1465.55 c 1460s | 24 | 3619869 | 3412162 | 8401 1018 | 0 | 0 1467.06/1467.56 c 1462s | 24 | 3624509 | 3416762 | 8401 1019 | 0 | 0 1469.05/1469.59 c 1464s | 24 | 3629946 | 3422062 | 8401 1020 | 0 | 0 1471.15/1471.69 c 1466s | 24 | 3634722 | 3426762 | 8401 1021 | 0 | 0 1473.25/1473.77 c 1468s | 24 | 3639185 | 3431162 | 8401 1022 | 0 | 0 1475.25/1475.78 c 1470s | 24 | 3643227 | 3435162 | 8401 1023 | 0 | 0 1477.25/1477.79 c 1472s | 24 | 3650033 | 3441662 | 8401 1024 | 0 | 0 1479.35/1479.81 c 1474s | 24 | 3654981 | 3446362 | 8401 1025 | 0 | 0 1481.36/1481.82 c 1476s | 24 | 3659653 | 3450862 | 8401 1026 | 0 | 0 1483.35/1483.82 c 1478s | 24 | 3663761 | 3454762 | 8401 1027 | 0 | 0 1485.35/1485.86 c 1480s | 24 | 3668655 | 3459262 | 8401 1028 | 0 | 0 1487.45/1487.90 c 1482s | 24 | 3673314 | 3463662 | 8401 1029 | 0 | 0 1489.45/1489.95 c 1485s | 24 | 3677245 | 3467462 | 8401 1030 | 0 | 0 1491.55/1492.00 c 1487s | 24 | 3683034 | 3472862 | 8401 1031 | 0 | 0 1493.55/1494.06 c 1489s | 24 | 3687659 | 3477262 | 8401 1032 | 0 | 0 1495.55/1496.07 c 1491s | 24 | 3691416 | 3480662 | 8401 1033 | 0 | 0 1497.65/1498.11 c 1493s | 24 | 3695582 | 3484462 | 8401 1034 | 0 | 0 1499.65/1500.11 c 1495s | 24 | 3700007 | 3488562 | 8401 1035 | 0 | 0 1501.64/1502.14 c 1497s | 24 | 3704173 | 3492362 | 8401 1035 | 0 | 0 1503.64/1504.17 c 1499s | 24 | 3708194 | 3496262 | 8401 1036 | 0 | 0 1505.74/1506.22 c 1501s | 24 | 3712648 | 3500662 | 8401 1037 | 0 | 0 1507.75/1508.25 c 1503s | 24 | 3717476 | 3505162 | 8401 1038 | 0 | 0 1509.74/1510.27 c 1505s | 24 | 3722937 | 3510462 | 8401 1039 | 0 | 0 1511.84/1512.35 c 1507s | 24 | 3727743 | 3515162 | 8401 1041 | 0 | 0 1513.94/1514.40 c 1509s | 24 | 3731508 | 3518862 | 8401 1041 | 0 | 0 1515.94/1516.40 c 1511s | 24 | 3735492 | 3522762 | 8401 1042 | 0 | 0 1517.94/1518.44 c 1513s | 24 | 3739487 | 3526662 | 8401 1043 | 0 | 0 1519.94/1520.46 c 1515s | 24 | 3743355 | 3530462 | 8401 1044 | 0 | 0 1521.95/1522.47 c 1517s | 24 | 3747582 | 3534562 | 8401 1045 | 0 | 0 1524.04/1524.56 c 1519s | 24 | 3750773 | 3537662 | 8401 1046 | 0 | 0 1526.04/1526.59 c 1521s | 24 | 3754843 | 3541662 | 8401 1046 | 0 | 0 1528.14/1528.61 c 1523s | 24 | 3759478 | 3546162 | 8401 1047 | 0 | 0 1530.14/1530.64 c 1525s | 24 | 3763657 | 3550262 | 8401 1048 | 0 | 0 1532.14/1532.65 c 1527s | 24 | 3768469 | 3554962 | 8401 1049 | 0 | 0 1534.15/1534.68 c 1529s | 24 | 3772963 | 3559262 | 8401 1050 | 0 | 0 1536.15/1536.70 c 1531s | 24 | 3777499 | 3563662 | 8401 1051 | 0 | 0 1538.25/1538.74 c 1533s | 24 | 3781692 | 3567762 | 8401 1052 | 0 | 0 1540.25/1540.75 c 1535s | 24 | 3786072 | 3572062 | 8401 1053 | 0 | 0 1542.25/1542.77 c 1537s | 24 | 3789663 | 3575562 | 8401 1054 | 0 | 0 1544.25/1544.79 c 1539s | 24 | 3794599 | 3580362 | 8401 1055 | 0 | 0 1546.35/1546.82 c 1541s | 24 | 3798779 | 3584462 | 8401 1056 | 0 | 0 1548.45/1548.97 c 1544s | 24 | 3801564 | 3587162 | 8401 1057 | 0 | 0 1550.44/1550.99 c 1546s | 24 | 3806202 | 3591562 | 8401 1058 | 0 | 0 1552.54/1553.01 c 1548s | 24 | 3810628 | 3595862 | 8401 1059 | 0 | 0 1554.54/1555.02 c 1550s | 24 | 3815203 | 3600262 | 8401 1059 | 0 | 0 1556.54/1557.02 c 1552s | 24 | 3819453 | 3604362 | 8401 1060 | 0 | 0 1558.54/1559.07 c 1554s | 24 | 3824466 | 3609162 | 8401 1061 | 0 | 0 1560.64/1561.10 c 1556s | 24 | 3828388 | 3612962 | 8401 1062 | 0 | 0 1562.65/1563.12 c 1558s | 24 | 3832721 | 3617162 | 8401 1063 | 0 | 0 1564.64/1565.12 c 1560s | 24 | 3837642 | 3621962 | 8401 1064 | 0 | 0 1566.64/1567.15 c 1562s | 24 | 3842025 | 3626262 | 8401 1065 | 0 | 0 1568.64/1569.17 c 1564s | 24 | 3846219 | 3630362 | 8401 1066 | 0 | 0 1570.64/1571.18 c 1566s | 24 | 3850458 | 3634462 | 8401 1067 | 0 | 0 1572.65/1573.19 c 1568s | 24 | 3855132 | 3638962 | 8401 1068 | 0 | 0 1574.75/1575.23 c 1570s | 24 | 3859656 | 3643462 | 8401 1069 | 0 | 0 1576.74/1577.23 c 1572s | 24 | 3864345 | 3647962 | 8401 1070 | 0 | 0 1578.74/1579.27 c 1574s | 24 | 3868918 | 3652462 | 8401 1071 | 0 | 0 1580.74/1581.28 c 1576s | 24 | 3873179 | 3656562 | 8401 1072 | 0 | 0 1582.84/1583.30 c 1578s | 24 | 3877833 | 3661062 | 8401 1073 | 0 | 0 1584.84/1585.30 c 1580s | 24 | 3882966 | 3666062 | 8401 1074 | 0 | 0 1586.84/1587.31 c 1582s | 24 | 3887691 | 3670562 | 8401 1075 | 0 | 0 1588.84/1589.32 c 1584s | 24 | 3893262 | 3676062 | 8401 1076 | 0 | 0 1590.84/1591.36 c 1586s | 24 | 3898005 | 3680662 | 8401 1077 | 0 | 0 1592.84/1593.39 c 1588s | 24 | 3902262 | 3684862 | 8401 1078 | 0 | 0 1594.84/1595.39 c 1590s | 24 | 3906333 | 3688762 | 8401 1079 | 0 | 0 1596.94/1597.41 c 1592s | 24 | 3911810 | 3694062 | 8401 1080 | 0 | 0 1598.94/1599.44 c 1594s | 24 | 3915932 | 3697962 | 8401 1081 | 0 | 0 1600.93/1601.45 c 1596s | 24 | 3919591 | 3701362 | 8401 1082 | 0 | 0 1602.93/1603.48 c 1598s | 24 | 3924057 | 3705562 | 8401 1083 | 0 | 0 1605.03/1605.51 c 1600s | 24 | 3928932 | 3710262 | 8401 1084 | 0 | 0 1607.03/1607.55 c 1602s | 24 | 3932994 | 3714062 | 8401 1085 | 0 | 0 1609.03/1609.59 c 1604s | 24 | 3938469 | 3719162 | 8401 1086 | 0 | 0 1611.04/1611.60 c 1606s | 24 | 3943790 | 3724362 | 8401 1087 | 0 | 0 1613.13/1613.60 c 1608s | 24 | 3948182 | 3728562 | 8401 1088 | 0 | 0 1615.13/1615.61 c 1610s | 24 | 3952626 | 3732862 | 8401 1089 | 0 | 0 1617.13/1617.64 c 1612s | 24 | 3956820 | 3736762 | 8401 1090 | 0 | 0 1619.13/1619.66 c 1614s | 24 | 3961727 | 3741362 | 8401 1091 | 0 | 0 1621.13/1621.69 c 1616s | 24 | 3966461 | 3745762 | 8401 1092 | 0 | 0 1623.24/1623.73 c 1618s | 24 | 3970842 | 3749962 | 8401 1093 | 0 | 0 1625.23/1625.74 c 1620s | 24 | 3975302 | 3754162 | 8401 1094 | 0 | 0 1627.23/1627.75 c 1622s | 24 | 3979506 | 3758062 | 8401 1095 | 0 | 0 1629.23/1629.79 c 1624s | 24 | 3984032 | 3762262 | 8401 1096 | 0 | 0 1631.33/1631.84 c 1626s | 24 | 3988256 | 3766262 | 8401 1097 | 0 | 0 1633.33/1633.86 c 1628s | 24 | 3993322 | 3771062 | 8401 1098 | 0 | 0 1635.33/1635.87 c 1630s | 24 | 3998308 | 3775762 | 8401 1099 | 0 | 0 1637.33/1637.88 c 1632s | 24 | 4002840 | 3779762 | 8401 1100 | 0 | 0 1639.43/1639.91 c 1635s | 24 | 4007464 | 3784162 | 8401 1101 | 0 | 0 1641.43/1641.96 c 1637s | 24 | 4012309 | 3788662 | 8401 1102 | 0 | 0 1643.43/1643.98 c 1639s | 24 | 4016990 | 3793162 | 8401 1103 | 0 | 0 1645.53/1646.04 c 1641s | 24 | 4021988 | 3797762 | 8401 1104 | 0 | 0 1647.53/1648.04 c 1643s | 24 | 4026532 | 3802062 | 8401 1104 | 0 | 0 1649.53/1650.06 c 1645s | 24 | 4031346 | 3806662 | 8401 1106 | 0 | 0 1651.62/1652.16 c 1647s | 24 | 4036060 | 3811062 | 8401 1107 | 0 | 0 1653.72/1654.20 c 1649s | 24 | 4040717 | 3815362 | 8401 1107 | 0 | 0 1655.72/1656.22 c 1651s | 24 | 4045068 | 3819462 | 8401 1108 | 0 | 0 1657.72/1658.28 c 1653s | 24 | 4050373 | 3824262 | 8401 1109 | 0 | 0 1659.82/1660.31 c 1655s | 24 | 4054692 | 3828262 | 8401 1110 | 0 | 0 1661.82/1662.37 c 1657s | 24 | 4060099 | 3833462 | 8401 1112 | 0 | 0 1663.83/1664.39 c 1659s | 24 | 4065737 | 3838962 | 8401 1113 | 0 | 0 1665.92/1666.40 c 1661s | 24 | 4070772 | 3843862 | 8401 1114 | 0 | 0 1667.92/1668.41 c 1663s | 24 | 4075199 | 3848062 | 8401 1115 | 0 | 0 1669.92/1670.46 c 1665s | 24 | 4079840 | 3852462 | 8401 1116 | 0 | 0 1671.92/1672.47 c 1667s | 24 | 4083784 | 3856262 | 8401 1117 | 0 | 0 1673.92/1674.48 c 1669s | 24 | 4089122 | 3861162 | 8401 1118 | 0 | 0 1675.93/1676.50 c 1671s | 24 | 4093377 | 3865162 | 8401 1119 | 0 | 0 1678.02/1678.53 c 1673s | 24 | 4097927 | 3869462 | 8401 1120 | 0 | 0 1680.02/1680.55 c 1675s | 24 | 4102622 | 3873962 | 8401 1121 | 0 | 0 1682.02/1682.57 c 1677s | 24 | 4107359 | 3878362 | 8401 1122 | 0 | 0 1684.12/1684.60 c 1679s | 24 | 4111886 | 3882762 | 8401 1123 | 0 | 0 1686.12/1686.62 c 1681s | 24 | 4116344 | 3886962 | 8401 1123 | 0 | 0 1688.13/1688.63 c 1683s | 24 | 4121374 | 3891362 | 8401 1124 | 0 | 0 1690.12/1690.66 c 1685s | 24 | 4125831 | 3895362 | 8401 1125 | 0 | 0 1692.12/1692.67 c 1687s | 24 | 4129727 | 3898962 | 8401 1126 | 0 | 0 1694.22/1694.70 c 1689s | 24 | 4133804 | 3902762 | 8401 1127 | 0 | 0 1696.22/1696.75 c 1691s | 24 | 4138579 | 3907062 | 8401 1128 | 0 | 0 1698.22/1698.77 c 1693s | 24 | 4143175 | 3911262 | 8401 1129 | 0 | 0 1700.22/1700.79 c 1695s | 24 | 4147950 | 3915762 | 8401 1130 | 0 | 0 1702.22/1702.79 c 1697s | 24 | 4152595 | 3919962 | 8401 1131 | 0 | 0 1704.32/1704.80 c 1699s | 24 | 4157423 | 3924462 | 8401 1132 | 0 | 0 1706.32/1706.81 c 1701s | 24 | 4161215 | 3928062 | 8401 1133 | 0 | 0 1708.32/1708.84 c 1703s | 24 | 4165790 | 3932462 | 8401 1134 | 0 | 0 1710.32/1710.84 c 1705s | 24 | 4170270 | 3936762 | 8401 1135 | 0 | 0 1712.32/1712.88 c 1707s | 24 | 4175386 | 3941662 | 8401 1136 | 0 | 0 1714.42/1714.91 c 1710s | 24 | 4178732 | 3944762 | 8401 1136 | 0 | 0 1716.41/1716.96 c 1712s | 24 | 4182619 | 3948262 | 8401 1137 | 0 | 0 1718.41/1718.97 c 1714s | 24 | 4185753 | 3951062 | 8401 1138 | 0 | 0 1720.51/1721.02 c 1716s | 24 | 4188939 | 3953862 | 8401 1138 | 0 | 0 1722.51/1723.03 c 1718s | 24 | 4192220 | 3956762 | 8401 1139 | 0 | 0 1724.51/1725.06 c 1720s | 24 | 4195748 | 3960062 | 8401 1140 | 0 | 0 1726.62/1727.12 c 1722s | 24 | 4199692 | 3963662 | 8401 1141 | 0 | 0 1728.61/1729.16 c 1724s | 24 | 4202792 | 3966462 | 8401 1141 | 0 | 0 1730.71/1731.24 c 1726s | 24 | 4206368 | 3969662 | 8401 1142 | 0 | 0 1732.81/1733.30 c 1728s | 24 | 4210230 | 3973062 | 8401 1143 | 0 | 0 1734.91/1735.41 c 1730s | 24 | 4213435 | 3975962 | 8401 1143 | 0 | 0 1737.01/1737.52 c 1732s | 24 | 4216587 | 3978762 | 8401 1144 | 0 | 0 1739.11/1739.63 c 1734s | 24 | 4219562 | 3981562 | 8401 1145 | 0 | 0 1741.21/1741.71 c 1736s | 24 | 4222505 | 3984162 | 8401 1145 | 0 | 0 1743.21/1743.72 c 1738s | 24 | 4224920 | 3986362 | 8401 1146 | 0 | 0 1745.21/1745.77 c 1740s | 24 | 4228899 | 3989562 | 8401 1146 | 0 | 0 1747.31/1747.87 c 1742s | 24 | 4232307 | 3992662 | 8401 1147 | 0 | 0 1749.31/1749.88 c 1744s | 24 | 4235906 | 3995962 | 8401 1148 | 0 | 0 1751.41/1751.90 c 1747s | 24 | 4239281 | 3998362 | 8401 1148 | 0 | 0 1753.40/1753.93 c 1749s | 24 | 4243553 | 4002162 | 8401 1149 | 0 | 0 1755.40/1755.97 c 1751s | 24 | 4247411 | 4005762 | 8401 1150 | 0 | 0 1757.41/1757.98 c 1753s | 24 | 4251979 | 4009962 | 8401 1151 | 0 | 0 1759.40/1760.00 c 1755s | 24 | 4257144 | 4014862 | 8401 1152 | 0 | 0 1761.50/1762.03 c 1757s | 24 | 4261132 | 4018662 | 8401 1153 | 0 | 0 1763.50/1764.07 c 1759s | 24 | 4264892 | 4022162 | 8401 1154 | 0 | 0 1765.60/1766.11 c 1761s | 24 | 4268842 | 4025862 | 8401 1154 | 0 | 0 1767.60/1768.11 c 1763s | 24 | 4272310 | 4028962 | 8401 1155 | 0 | 0 1769.60/1770.13 c 1765s | 24 | 4275283 | 4031562 | 8401 1156 | 0 | 0 1771.61/1772.17 c 1767s | 24 | 4278457 | 4034462 | 8401 1156 | 0 | 0 1773.70/1774.20 c 1769s | 24 | 4281431 | 4037162 | 8401 1157 | 0 | 0 1775.70/1776.23 c 1771s | 24 | 4284230 | 4039862 | 8401 1157 | 0 | 0 1777.70/1778.26 c 1773s | 24 | 4286908 | 4042362 | 8401 1158 | 0 | 0 1779.80/1780.33 c 1775s | 24 | 4290413 | 4045162 | 8401 1159 | 0 | 0 1781.80/1782.39 c 1777s | 24 | 4293132 | 4047562 | 8401 1159 | 0 | 0 1783.91/1784.47 c 1779s | 24 | 4294721 | 4049062 | 8401 1159 | 0 | 0 1786.02/1786.50 c 1781s | 24 | 4297948 | 4051462 | 8401 1160 | 0 | 0 1788.01/1788.51 c 1783s | 24 | 4300230 | 4053562 | 8401 1160 | 0 | 0 1790.01/1790.55 c 1785s | 24 | 4303463 | 4055962 | 8401 1161 | 0 | 0 1792.01/1792.56 c 1787s | 24 | 4307335 | 4059562 | 8401 1162 | 0 | 0 1794.11/1794.60 c 1789s | 24 | 4311701 | 4063062 | 8401 1163 | 0 | 0 1796.11/1796.63 c 1791s | 24 | 4315171 | 4066162 | 8401 1163 | 0 | 0 1798.11/1798.63 c 1793s | 24 | 4319462 | 4069862 | 8401 1164 | 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-4106460-1466271942/watcher-4106460-1466271942 -o /tmp/evaluation-result-4106460-1466271942/solver-4106460-1466271942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106460-1466271942.opb pid=14834 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.11 2.09 2.09 3/179 14837 /proc/meminfo: memFree=30090632/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=561596 CPUtime=0 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 2064 0 0 0 0 0 0 0 20 0 4 0 29243459 575074304 2936 33554432000 4194304 16246674 140735844708032 140735844707456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 141167 2946 441 2943 0 138061 0 [pid=14837/tid=14838] ppid=14834 vsize=579004 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 592900096 3004 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=583100 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 597094400 3020 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=588220 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29243459 602337280 3038 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100065 s] /proc/loadavg: 2.11 2.09 2.09 3/179 14837 /proc/meminfo: memFree=30090632/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 22012 0 0 0 6 3 0 0 20 0 4 0 29243459 1247350784 22872 33554432000 4194304 16246674 140735844708032 140735844707456 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 304529 22878 758 2943 0 301423 0 [pid=14837/tid=14838] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 22880 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 22885 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 22889 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200477 s] /proc/loadavg: 2.11 2.09 2.09 3/179 14837 /proc/meminfo: memFree=30090632/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 40240 0 0 0 14 5 0 0 20 0 4 0 29243459 1247350784 41101 33554432000 4194304 16246674 140735844708032 140735844689920 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 304529 41105 758 2943 0 301423 0 [pid=14837/tid=14838] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 41108 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 41112 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 41119 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300479 s] /proc/loadavg: 2.11 2.09 2.09 3/179 14837 /proc/meminfo: memFree=30090632/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 58552 0 0 0 21 8 0 0 20 0 4 0 29243459 1247350784 59413 33554432000 4194304 16246674 140735844708032 140735844689920 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 304529 59419 758 2943 0 301423 0 [pid=14837/tid=14838] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 59427 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 59434 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 59444 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700355 s] /proc/loadavg: 2.11 2.09 2.09 3/179 14837 /proc/meminfo: memFree=30090632/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 127341 0 0 0 50 19 0 0 20 0 4 0 29243459 1247350784 128201 33554432000 4194304 16246674 140735844708032 140735844689920 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 304529 128206 765 2943 0 301423 0 [pid=14837/tid=14838] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 128208 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 128210 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29243459 1247350784 128211 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.11 2.09 2.09 3/183 14841 /proc/meminfo: memFree=29287960/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1222212 CPUtime=1.49 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 246349 0 0 0 111 38 0 0 20 0 4 0 29243459 1251545088 247186 33554432000 4194304 16246674 140735844708032 140735844707344 12478365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 305553 247186 832 2943 0 302447 0 [pid=14837/tid=14838] ppid=14834 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1251545088 247186 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1251545088 247186 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1251545088 247186 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1222212 [startup+3.1004 s] /proc/loadavg: 2.11 2.09 2.09 3/183 14841 /proc/meminfo: memFree=29081368/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1302084 CPUtime=3.09 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 266446 0 0 0 268 41 0 0 20 0 4 0 29243459 1333334016 267283 33554432000 4194304 16246674 140735844708032 140735844689920 5827686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 325521 267283 832 2943 0 322415 0 [pid=14837/tid=14838] ppid=14834 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1333334016 267283 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1333334016 267283 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1333334016 267283 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.10 2.09 2.09 3/183 14841 /proc/meminfo: memFree=29015016/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 268114 0 0 0 588 41 0 0 20 0 4 0 29243459 1339625472 268951 33554432000 4194304 16246674 140735844708032 140735844689920 5523652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 327057 268951 850 2943 0 323951 0 [pid=14837/tid=14838] ppid=14834 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1339625472 268951 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1339625472 268951 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1339625472 268951 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.09 2.09 2.09 3/183 14841 /proc/meminfo: memFree=29015436/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 268149 0 0 0 1228 41 0 0 20 0 4 0 29243459 1339625472 268986 33554432000 4194304 16246674 140735844708032 140735844689920 5546072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 327057 268986 853 2943 0 323951 0 [pid=14837/tid=14838] ppid=14834 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1339625472 268986 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1339625472 268986 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1339625472 268986 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.07 2.08 2.09 3/183 14841 /proc/meminfo: memFree=29010680/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1313348 CPUtime=25.49 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 269429 0 0 0 2507 42 0 0 20 0 4 0 29243459 1344868352 270266 33554432000 4194304 16246674 140735844708032 140735844689920 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 328337 270266 853 2943 0 325231 0 [pid=14837/tid=14838] ppid=14834 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1344868352 270266 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1344868352 270266 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1344868352 270266 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.17 2.11 2.09 3/183 14842 /proc/meminfo: memFree=29003284/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1320516 CPUtime=51.08 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 271221 0 0 0 5066 42 0 0 20 0 4 0 29243459 1352208384 272058 33554432000 4194304 16246674 140735844708032 140735844689920 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 330129 272058 853 2943 0 327023 0 [pid=14837/tid=14838] ppid=14834 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1352208384 272058 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1352208384 272058 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1352208384 272058 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1320516 [startup+102.3 s] /proc/loadavg: 2.17 2.12 2.09 4/183 14843 /proc/meminfo: memFree=29000996/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 271733 0 0 0 10186 42 0 0 20 0 4 0 29243459 1354305536 272570 33554432000 4194304 16246674 140735844708032 140735844689920 5823631 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 330641 272570 853 2943 0 327535 0 [pid=14837/tid=14838] ppid=14834 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1354305536 272570 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1354305536 272570 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1354305536 272570 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276146 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1336900 [startup+1362.3 s] /proc/loadavg: 2.28 2.26 2.16 3/183 14898 /proc/meminfo: memFree=28977336/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1361.88 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275710 0 0 0 136136 52 0 0 20 0 4 0 29243459 1368985600 276148 33554432000 4194304 16246674 140735844708032 140735844689920 5717660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276148 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276148 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276148 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276148 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1336900 [startup+1422.3 s] /proc/loadavg: 2.14 2.23 2.15 3/183 14899 /proc/meminfo: memFree=28978028/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1421.87 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 142134 53 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1336900 [startup+1482.3 s] /proc/loadavg: 2.33 2.26 2.16 3/184 14903 /proc/meminfo: memFree=28978212/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1481.85 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 148132 53 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 6021741 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1336900 [startup+1542.31 s] /proc/loadavg: 2.33 2.27 2.17 3/183 14904 /proc/meminfo: memFree=28977844/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1541.85 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 154131 54 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1336900 [startup+1602.3 s] /proc/loadavg: 2.27 2.26 2.18 3/183 14906 /proc/meminfo: memFree=28977720/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1601.83 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 160129 54 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1336900 [startup+1662.3 s] /proc/loadavg: 2.13 2.23 2.17 3/183 14956 /proc/meminfo: memFree=28982916/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1661.82 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 166128 54 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1336900 [startup+1722.3 s] /proc/loadavg: 2.05 2.18 2.16 3/183 14957 /proc/meminfo: memFree=28980996/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1721.81 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 172127 54 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 5710684 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1336900 [startup+1782.3 s] /proc/loadavg: 2.13 2.18 2.16 3/183 14958 /proc/meminfo: memFree=28979392/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1781.8 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 178126 54 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1336900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.23 2.20 2.17 3/183 14958 /proc/meminfo: memFree=28979640/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1800.01 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 179946 55 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 5722849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1336900 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 14837 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.23 2.20 2.17 3/183 14958 /proc/meminfo: memFree=28979640/32872528 swapFree=681964/737152 [pid=14837] ppid=14834 vsize=1336900 CPUtime=1800.01 cores=0,2,4,6 /proc/14837/stat : 14837 (toysat) R 14834 14837 13233 0 -1 4202496 275735 0 0 0 179946 55 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140735844689920 5722849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/14837/statm: 334225 276161 855 2943 0 331119 0 [pid=14837/tid=14838] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14838/stat : 14838 (toysat) S 14834 14837 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424175922416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=14837/tid=14839] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14839/stat : 14839 (toysat) S 14834 14837 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424089939184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=14837/tid=14840] ppid=14834 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/14837/task/14840/stat : 14840 (toysat) S 14834 14837 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29243459 1368985600 276161 33554432000 4194304 16246674 140735844708032 140424079465648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1336900 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.47 CPU system time (s): 0.550916 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1336900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.550916 maximum resident set size= 1104644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275735 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= 429 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53731 second user time and 7.00593 second system time The end
Begin job on node112 at 2016-06-18 19:45:42 IDJOB=4106460 IDBENCH=48068 IDSOLVER=2542 FILE ID=node112/4106460-1466271942 RUNJOBID= node112-1466264161-13249 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=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106460-1466271942/watcher-4106460-1466271942 -o /tmp/evaluation-result-4106460-1466271942/solver-4106460-1466271942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106460-1466271942.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b7cb599a49db47c0ffbf25416bcef37 RANDOM SEED=2111176272 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: 30091176 kB Buffers: 69664 kB Cached: 156360 kB SwapCached: 2028 kB Active: 1174392 kB Inactive: 134008 kB Active(anon): 1082528 kB Inactive(anon): 2096 kB Active(file): 91864 kB Inactive(file): 131912 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 16316 kB Writeback: 0 kB AnonPages: 1818552 kB Mapped: 10496 kB Shmem: 0 kB Slab: 602220 kB SReclaimable: 45932 kB SUnreclaim: 556288 kB KernelStack: 1520 kB PageTables: 6952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1960344 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 59392 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 20:15:43