| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.12 | 1800.53 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb |
| MD5SUM | d6ad4e57f9bd4d3660efa4691d3e45da |
| 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.150976 |
| 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 | 162 |
| Total number of constraints | 13 |
| 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 | 13 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 486 |
| Sum of products size (including duplicates) | 972 |
| Number of different products | 486 |
| Sum of products size | 972 |
0.00/0.00 c 2016-06-18T19:25:59+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-4106403-1466270758.opb"] 0.00/0.01 c use --random-gen="3332914177 1717780417 832216274 2015116522 910539103 199878539 722817044 753783302 619361821 2474241533 3739491939 174556202 4155674656 2763747255 2681836644 1115366407 3336880613 3555018215 2089551405 2596307532 531220950 2011127452 765870349 3388738481 3251541063 1498075224 2263120304 1667077219 1730820018 552331169 2794559825 2669330092 2551015636 3405076796 432993489 2259872971 444261235 2549468563 1608733207 2510522354 2449681215 454034871 4026223149 3063843932 2187338454 926135244 3811667476 1930016624 2853400006 1673412083 2015716170 2959784832 3151387962 3969037712 24388378 281127126 4163618742 3397502923 2169326997 906039313 378386929 442853748 4192299288 1602674042 2754753272 1790677496 469433218 615331785 886406062 4171517022 2959393346 2882904614 2192236267 3118040572 3768588811 2616014333 273834598 4253165910 765924723 957554216 3833635925 2145476953 274641173 128360390 2302579326 1428329187 2343899893 1232837313 252598613 3523113149 2566454670 580471470 4114751645 162080438 1112663007 3215687583 3635565394 3039075939 1253516797 3014654935 1295157561 3644076455 1925075754 4143533564 2221099229 3691195151 564603763 3398616960 1978401307 3081701564 3953224762 2723399714 4262554711 1784302362 1853764201 1084598550 905285580 2921285041 2982205454 4121036735 1255440925 2567174422 1008799229 998435625 4038552103 1892909629 1316484862 3625877423 3527794615 316470560 2032019371 2337715440 1157684982 413024320 1500675854 3657328370 3991629866 2314403410 2227297680 2013234232 988210584 3448226756 1473362211 2743031680 2781681728 2290955847 2946615394 3856240221 506257204 304694574 374954522 1311270571 3717881506 2375178963 30035921 2704684189 982614370 21109675 3429680670 2017760806 3885520898 2911263884 4234339892 2919275125 2881419951 2275275244 1786191670 1813936429 2873330756 528442467 2933481361 2047934095 3801589927 3283092247 1536904006 3629534025 784779319 2557646992 1608165921 3284092511 711686653 4280877149 4205735853 2272194329 1349837744 558288928 1298277089 773721891 1485626391 4162234486 3615806952 2702752682 3276147868 3803416316 4012060040 2387514027 3801906704 2927677268 2811929639 1701255817 2684866908 3262653141 742963954 2871839454 423556739 143560165 1029535919 856109990 1410144995 1328083032 513485696 1085679241 3761982265 1477984192 35762082 2060357218 2483077863 3840094794 1321771875 3182008847 1874603853 147881957 94617467 2262181825 1185913686 4213135774 2903580144 4126180792 1770312327 93514411 3297268140 544096931 3128157009 2952912258 280536542 1012735320 4294295850 3253338953 1329499558 3142737530 480646778 2994932717 2619836281 1647940582 1091051428 3419506386 2235231262 3799341893 2422636464 2316727270 314218959 2921104127 449526000 553038670 4207847705 3774416949 255 362436" option to reproduce the execution 0.00/0.01 c #vars 162 0.00/0.01 c #constraints 13 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 | 708 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 141 | 100 | 708 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 358 | 250 | 779 0 | 0 | 0 0.09/0.17 c 0.1s | 3 | 664 | 475 | 857 0 | 0 | 0 0.29/0.37 c 0.3s | 4 | 1113 | 813 | 943 0 | 0 | 0 0.59/0.69 c 0.7s | 5 | 1726 | 1320 | 1038 1 | 0 | 0 1.09/1.17 c 1.1s | 6 | 2579 | 2081 | 1257 1 | 0 | 0 1.69/1.76 c 1.7s | 7 | 3830 | 3223 | 1383 3 | 0 | 0 1.99/2.09 c 2.1s | 8 | 5638 | 4936 | 1522 5 | 0 | 0 3.29/3.36 c 3.3s | 9 | 8380 | 7506 | 1675 7 | 0 | 0 4.39/4.46 c 4.4s | 10 | 12469 | 11361 | 1843 11 | 0 | 0 6.39/6.48 c 6.5s | 10 | 17494 | 16161 | 1843 16 | 0 | 0 6.79/6.87 c 6.8s | 11 | 18507 | 17144 | 2028 16 | 0 | 0 7.18/7.26 c 7.2s | 11 | 20260 | 18736 | 2028 18 | 0 | 0 7.18/7.26 c #cpu_time = 7.236s 7.18/7.26 c #wall_clock_time = 7.236s 7.18/7.26 c #decision = 20260 7.18/7.26 c #random_decision = 80 7.18/7.26 c #conflict = 18736 7.18/7.26 c #restart = 11 7.18/7.26 o 159 7.18/7.26 c BCD2: hardening fixes 1 literals 7.18/7.26 c BCD2: updating upper bound: 511 -> 158 7.18/7.26 c BCD2: 0 <= obj <= 158 7.18/7.26 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 7.18/7.26 c BCD2: #sat=1 #unsat=1 bias=1/2 7.18/7.26 c Solving starts ... 7.18/7.26 c ============================[ Search Statistics ]============================ 7.18/7.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.18/7.26 c | | | | Limit GC | Var | Constra 7.18/7.26 c ============================================================================= 7.18/7.26 c 0.0s | 0 | 0 | 0 | 2028 0 | 11 | 0 7.18/7.27 c 0.0s | 0 | 6 | 0 | 2028 0 | 11 | 27 7.18/7.27 c #cpu_time = 0.004s 7.18/7.27 c #wall_clock_time = 0.004s 7.18/7.27 c #decision = 6 7.18/7.27 c #random_decision = 0 7.18/7.27 c #conflict = 0 7.18/7.27 c #restart = 0 7.18/7.27 c BCD2: found a new core of size 7: cost of the new core is >=2 7.18/7.27 c lower bound updated to 2 7.18/7.27 c BCD2: 2 <= obj <= 158 7.18/7.27 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 7.18/7.27 c BCD2: #sat=1 #unsat=2 bias=2/3 7.18/7.27 c Solving starts ... 7.18/7.27 c ============================[ Search Statistics ]============================ 7.18/7.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.18/7.27 c | | | | Limit GC | Var | Constra 7.18/7.27 c ============================================================================= 7.18/7.27 c 0.0s | 0 | 0 | 0 | 2028 0 | 11 | 27 7.18/7.29 c 0.0s | 1 | 136 | 100 | 2028 0 | 11 | 27 7.38/7.41 c 0.1s | 2 | 365 | 250 | 2028 0 | 11 | 27 7.38/7.49 c 0.2s | 3 | 684 | 475 | 2028 0 | 11 | 27 7.88/7.93 c 0.7s | 4 | 1119 | 813 | 2028 0 | 11 | 27 8.18/8.22 c 1.0s | 5 | 1773 | 1320 | 2028 1 | 11 | 27 8.59/8.60 c 1.3s | 6 | 2795 | 2081 | 2028 2 | 11 | 27 8.80/8.88 c 1.6s | 7 | 4205 | 3223 | 2028 2 | 11 | 27 9.69/9.76 c 2.5s | 8 | 6236 | 4936 | 2028 4 | 11 | 27 10.49/10.56 c 3.3s | 9 | 8967 | 7506 | 2231 6 | 11 | 27 11.99/12.00 c 4.7s | 10 | 13021 | 11361 | 2231 9 | 11 | 27 13.79/13.83 c 6.6s | 11 | 19086 | 17144 | 2231 13 | 11 | 27 15.79/15.83 c 8.6s | 11 | 24967 | 22744 | 2455 17 | 11 | 27 16.79/16.89 c 9.6s | 12 | 28123 | 25819 | 2455 19 | 11 | 27 18.89/18.91 c 11.6s | 12 | 36347 | 33719 | 2455 25 | 11 | 27 20.39/20.46 c 13.2s | 13 | 41602 | 38832 | 2455 28 | 11 | 27 22.49/22.52 c 15.3s | 13 | 43300 | 40332 | 2701 29 | 11 | 27 24.49/24.56 c 17.3s | 13 | 46937 | 43732 | 2701 31 | 11 | 27 26.49/26.59 c 19.3s | 13 | 50535 | 47232 | 2701 33 | 11 | 27 28.59/28.62 c 21.4s | 13 | 54494 | 51132 | 2701 36 | 11 | 27 30.58/30.63 c 23.4s | 13 | 59695 | 56232 | 2701 39 | 11 | 27 31.28/31.38 c 24.1s | 14 | 61892 | 58352 | 2701 40 | 11 | 27 33.38/33.40 c 26.1s | 14 | 67769 | 63952 | 2701 44 | 11 | 27 35.38/35.40 c 28.1s | 14 | 73399 | 69452 | 2972 47 | 11 | 27 37.39/37.43 c 30.2s | 14 | 78498 | 74352 | 2972 50 | 11 | 27 39.38/39.44 c 32.2s | 14 | 83846 | 79552 | 2972 53 | 11 | 27 41.38/41.47 c 34.2s | 14 | 89404 | 84952 | 2972 56 | 11 | 27 42.38/42.46 c 35.2s | 15 | 92271 | 87632 | 2972 58 | 11 | 27 44.38/44.47 c 37.2s | 15 | 96903 | 91732 | 2972 60 | 11 | 27 46.38/46.49 c 39.2s | 15 | 102393 | 96932 | 2972 63 | 11 | 27 48.49/48.51 c 41.2s | 15 | 108228 | 102532 | 2972 67 | 11 | 27 50.48/50.53 c 43.3s | 15 | 114000 | 107932 | 2972 70 | 11 | 27 52.48/52.54 c 45.3s | 15 | 120877 | 114432 | 3270 74 | 11 | 27 54.48/54.54 c 47.3s | 15 | 127784 | 121132 | 3270 77 | 11 | 27 56.48/56.56 c 49.3s | 15 | 133633 | 126532 | 3270 80 | 11 | 27 58.18/58.24 c 51.0s | 16 | 138874 | 131552 | 3270 83 | 11 | 27 60.18/60.27 c 53.0s | 16 | 145764 | 138152 | 3270 86 | 11 | 27 62.18/62.27 c 55.0s | 16 | 151980 | 144352 | 3270 90 | 11 | 27 64.18/64.27 c 57.0s | 16 | 158756 | 150952 | 3270 93 | 11 | 27 66.28/66.31 c 59.0s | 16 | 165147 | 157152 | 3270 96 | 11 | 27 68.28/68.33 c 61.1s | 16 | 171282 | 163152 | 3270 99 | 11 | 27 70.28/70.36 c 63.1s | 16 | 176983 | 168652 | 3270 102 | 11 | 27 72.28/72.38 c 65.1s | 16 | 182586 | 174152 | 3270 105 | 11 | 27 74.37/74.41 c 67.1s | 16 | 188697 | 180052 | 3598 108 | 11 | 27 76.37/76.43 c 69.2s | 16 | 195069 | 186152 | 3598 111 | 11 | 27 78.38/78.47 c 71.2s | 16 | 201094 | 191852 | 3598 114 | 11 | 27 80.38/80.43 c 73.2s | 17 | 206831 | 197432 | 3598 116 | 11 | 27 82.37/82.46 c 75.2s | 17 | 212928 | 203032 | 3598 119 | 11 | 27 84.37/84.46 c 77.2s | 17 | 217201 | 206932 | 3598 121 | 11 | 27 86.47/86.52 c 79.2s | 17 | 221928 | 211432 | 3598 124 | 11 | 27 88.47/88.55 c 81.3s | 17 | 226837 | 216032 | 3598 126 | 11 | 27 90.47/90.56 c 83.3s | 17 | 231239 | 220132 | 3598 128 | 11 | 27 92.48/92.58 c 85.3s | 17 | 235041 | 223732 | 3598 130 | 11 | 27 94.47/94.58 c 87.3s | 17 | 239629 | 227932 | 3598 132 | 11 | 27 96.47/96.59 c 89.3s | 17 | 244901 | 232832 | 3598 134 | 11 | 27 98.57/98.61 c 91.3s | 17 | 250004 | 237832 | 3598 137 | 11 | 27 100.57/100.65 c 93.4s | 17 | 255089 | 242832 | 3598 139 | 11 | 27 102.57/102.67 c 95.4s | 17 | 260572 | 248032 | 3598 142 | 11 | 27 104.58/104.68 c 97.4s | 17 | 266065 | 253332 | 3598 145 | 11 | 27 106.57/106.69 c 99.4s | 17 | 271550 | 258432 | 3598 147 | 11 | 27 108.67/108.71 c 101s | 17 | 276550 | 262932 | 3598 149 | 11 | 27 110.67/110.72 c 103s | 17 | 281314 | 267432 | 3598 152 | 11 | 27 112.67/112.75 c 105s | 17 | 286040 | 271832 | 3598 154 | 11 | 27 114.67/114.80 c 107s | 17 | 290785 | 276332 | 3958 156 | 11 | 27 116.77/116.80 c 109s | 17 | 295397 | 280632 | 3958 158 | 11 | 27 118.77/118.87 c 111s | 17 | 300542 | 285532 | 3958 160 | 11 | 27 120.77/120.88 c 113s | 17 | 305858 | 290632 | 3958 163 | 11 | 27 122.87/122.91 c 115s | 17 | 311716 | 296232 | 3958 165 | 11 | 27 122.87/122.92 c 115s | 18 | 311741 | 296252 | 3958 165 | 11 | 27 124.87/124.93 c 117s | 18 | 318711 | 302952 | 3958 168 | 11 | 27 126.87/126.94 c 119s | 18 | 324702 | 308852 | 3958 171 | 11 | 27 128.87/128.96 c 121s | 18 | 330256 | 314352 | 3958 173 | 11 | 27 130.88/130.96 c 123s | 18 | 336819 | 320752 | 3958 176 | 11 | 27 132.87/132.99 c 125s | 18 | 342602 | 326352 | 3958 179 | 11 | 27 134.97/135.03 c 127s | 18 | 348490 | 332052 | 3958 181 | 11 | 27 136.97/137.05 c 129s | 18 | 354795 | 338052 | 3958 184 | 11 | 27 138.97/139.07 c 131s | 18 | 361010 | 344152 | 3958 187 | 11 | 27 140.97/141.09 c 133s | 18 | 367109 | 350152 | 3958 190 | 11 | 27 143.07/143.11 c 135s | 18 | 373433 | 356352 | 3958 192 | 11 | 27 145.07/145.13 c 137s | 18 | 379173 | 362052 | 3958 195 | 11 | 27 147.07/147.17 c 139s | 18 | 385462 | 368152 | 3958 198 | 11 | 27 149.16/149.20 c 141s | 18 | 391718 | 374152 | 3958 201 | 11 | 27 151.16/151.21 c 143s | 18 | 397746 | 379952 | 3958 203 | 11 | 27 153.16/153.22 c 145s | 18 | 404560 | 386552 | 3958 206 | 11 | 27 155.17/155.22 c 147s | 18 | 410842 | 392652 | 3958 209 | 11 | 27 157.16/157.23 c 149s | 18 | 416907 | 398452 | 3958 212 | 11 | 27 159.16/159.25 c 151s | 18 | 423472 | 404852 | 3958 215 | 11 | 27 161.16/161.29 c 154s | 18 | 429477 | 410652 | 3958 218 | 11 | 27 163.26/163.30 c 156s | 18 | 435454 | 416452 | 3958 220 | 11 | 27 165.26/165.32 c 158s | 18 | 441466 | 422252 | 3958 223 | 11 | 27 167.27/167.34 c 160s | 18 | 447562 | 428052 | 4354 225 | 11 | 27 169.26/169.36 c 162s | 18 | 453388 | 433552 | 4354 228 | 11 | 27 171.26/171.36 c 164s | 18 | 459563 | 439452 | 4354 230 | 11 | 27 172.96/173.07 c 165s | 19 | 464795 | 444482 | 4354 232 | 11 | 27 174.97/175.08 c 167s | 19 | 466716 | 446282 | 4354 233 | 11 | 27 176.96/177.09 c 169s | 19 | 470143 | 449182 | 4354 234 | 11 | 27 179.06/179.13 c 171s | 19 | 474319 | 453182 | 4354 236 | 11 | 27 181.06/181.17 c 173s | 19 | 478210 | 456982 | 4354 237 | 11 | 27 183.06/183.19 c 175s | 19 | 483201 | 461782 | 4354 239 | 11 | 27 185.16/185.26 c 177s | 19 | 487510 | 465882 | 4354 241 | 11 | 27 187.26/187.33 c 180s | 19 | 491554 | 469782 | 4354 242 | 11 | 27 189.26/189.36 c 182s | 19 | 495957 | 473982 | 4354 244 | 11 | 27 191.26/191.39 c 184s | 19 | 500917 | 478782 | 4354 246 | 11 | 27 193.36/193.40 c 186s | 19 | 505251 | 482982 | 4354 248 | 11 | 27 195.36/195.49 c 188s | 19 | 509607 | 487182 | 4354 250 | 11 | 27 197.46/197.52 c 190s | 19 | 514358 | 491782 | 4354 251 | 11 | 27 199.45/199.57 c 192s | 19 | 518836 | 496082 | 4354 253 | 11 | 27 201.55/201.61 c 194s | 19 | 522591 | 499682 | 4354 255 | 11 | 27 203.57/203.66 c 196s | 19 | 526652 | 503582 | 4354 256 | 11 | 27 205.56/205.66 c 198s | 19 | 530300 | 506882 | 4354 258 | 11 | 27 207.56/207.67 c 200s | 19 | 534179 | 510682 | 4354 259 | 11 | 27 209.56/209.68 c 202s | 19 | 538949 | 515182 | 4354 261 | 11 | 27 211.66/211.70 c 204s | 19 | 542404 | 518382 | 4354 262 | 11 | 27 213.66/213.72 c 206s | 19 | 546660 | 522482 | 4354 264 | 11 | 27 215.67/215.74 c 208s | 19 | 551460 | 527082 | 4354 266 | 11 | 27 217.66/217.77 c 210s | 19 | 556088 | 531482 | 4354 268 | 11 | 27 219.66/219.79 c 212s | 19 | 559574 | 534782 | 4354 269 | 11 | 27 221.76/221.80 c 214s | 19 | 564307 | 539382 | 4354 271 | 11 | 27 223.76/223.82 c 216s | 19 | 569218 | 544182 | 4354 273 | 11 | 27 225.86/225.91 c 218s | 19 | 573950 | 548782 | 4354 275 | 11 | 27 227.86/227.96 c 220s | 19 | 578161 | 552882 | 4354 276 | 11 | 27 229.86/229.98 c 222s | 19 | 581977 | 556582 | 4354 278 | 11 | 27 231.95/232.02 c 224s | 19 | 586131 | 560582 | 4354 279 | 11 | 27 233.95/234.03 c 226s | 19 | 589043 | 563382 | 4354 280 | 11 | 27 235.95/236.04 c 228s | 19 | 593205 | 567382 | 4354 282 | 11 | 27 237.95/238.05 c 230s | 19 | 597835 | 571782 | 4354 284 | 11 | 27 240.15/240.20 c 232s | 19 | 600770 | 574582 | 4354 285 | 11 | 27 242.15/242.22 c 234s | 19 | 604500 | 578082 | 4354 286 | 11 | 27 244.16/244.27 c 237s | 19 | 609518 | 582782 | 4354 288 | 11 | 27 246.25/246.39 c 239s | 19 | 612775 | 585682 | 4354 290 | 11 | 27 248.35/248.40 c 241s | 19 | 617381 | 590082 | 4354 291 | 11 | 27 250.35/250.46 c 243s | 19 | 621589 | 594082 | 4354 293 | 11 | 27 252.35/252.48 c 245s | 19 | 625425 | 597382 | 4354 294 | 11 | 27 254.45/254.50 c 247s | 19 | 630417 | 601982 | 4354 296 | 11 | 27 256.45/256.56 c 249s | 19 | 635412 | 606782 | 4354 298 | 11 | 27 258.45/258.58 c 251s | 19 | 639864 | 610882 | 4354 300 | 11 | 27 260.55/260.69 c 253s | 19 | 642877 | 613782 | 4354 301 | 11 | 27 262.65/262.73 c 255s | 19 | 646749 | 617482 | 4354 302 | 11 | 27 264.65/264.74 c 257s | 19 | 650761 | 621082 | 4354 304 | 11 | 27 266.65/266.78 c 259s | 19 | 654914 | 624882 | 4354 305 | 11 | 27 268.75/268.80 c 261s | 19 | 659100 | 628982 | 4354 307 | 11 | 27 270.75/270.84 c 263s | 19 | 663085 | 632782 | 4354 309 | 11 | 27 272.75/272.86 c 265s | 19 | 667126 | 636582 | 4354 310 | 11 | 27 274.84/274.90 c 267s | 19 | 670580 | 639782 | 4354 312 | 11 | 27 276.84/276.92 c 269s | 19 | 674280 | 643282 | 4354 313 | 11 | 27 278.84/278.93 c 271s | 19 | 678246 | 647082 | 4790 314 | 11 | 27 280.84/280.94 c 273s | 19 | 682504 | 651282 | 4790 316 | 11 | 27 282.94/283.03 c 275s | 19 | 686529 | 655082 | 4790 317 | 11 | 27 284.95/285.04 c 277s | 19 | 689177 | 657682 | 4790 318 | 11 | 27 286.94/287.05 c 279s | 19 | 692331 | 660582 | 4790 319 | 11 | 27 289.04/289.18 c 281s | 19 | 694893 | 662982 | 4790 320 | 11 | 27 291.14/291.21 c 283s | 19 | 697803 | 665582 | 4790 321 | 11 | 27 291.74/291.88 c 284s | 20 | 699114 | 666827 | 4790 322 | 11 | 27 293.84/293.91 c 286s | 20 | 706127 | 673627 | 4790 324 | 11 | 27 295.86/295.94 c 288s | 20 | 712400 | 679827 | 4790 327 | 11 | 27 297.85/297.94 c 290s | 20 | 718365 | 685727 | 4790 329 | 11 | 27 299.85/299.97 c 292s | 20 | 724341 | 691627 | 4790 331 | 11 | 27 301.95/302.00 c 294s | 20 | 730501 | 697727 | 4790 334 | 11 | 27 303.95/304.01 c 296s | 20 | 736372 | 703527 | 4790 336 | 11 | 27 305.95/306.02 c 298s | 20 | 742114 | 709227 | 4790 338 | 11 | 27 307.95/308.02 c 300s | 20 | 747658 | 714727 | 4790 340 | 11 | 27 309.95/310.04 c 302s | 20 | 753639 | 720627 | 4790 342 | 11 | 27 311.95/312.08 c 304s | 20 | 759043 | 725927 | 4790 344 | 11 | 27 314.05/314.10 c 306s | 20 | 764567 | 731327 | 4790 346 | 11 | 27 316.05/316.13 c 308s | 20 | 770170 | 736827 | 4790 349 | 11 | 27 318.05/318.13 c 310s | 20 | 775863 | 742427 | 4790 351 | 11 | 27 320.05/320.14 c 312s | 20 | 780967 | 747427 | 4790 353 | 11 | 27 322.04/322.15 c 314s | 20 | 787177 | 753427 | 4790 355 | 11 | 27 324.04/324.15 c 316s | 20 | 794091 | 760227 | 4790 358 | 11 | 27 326.04/326.16 c 318s | 20 | 800824 | 766827 | 4790 360 | 11 | 27 328.04/328.19 c 320s | 20 | 807627 | 773427 | 4790 363 | 11 | 27 330.14/330.24 c 322s | 20 | 812801 | 778427 | 4790 364 | 11 | 27 332.15/332.26 c 324s | 20 | 818490 | 783827 | 4790 366 | 11 | 27 334.14/334.27 c 326s | 20 | 824616 | 789727 | 4790 369 | 11 | 27 336.14/336.28 c 329s | 20 | 829759 | 794627 | 4790 371 | 11 | 27 338.24/338.33 c 331s | 20 | 834742 | 799527 | 4790 372 | 11 | 27 340.24/340.34 c 333s | 20 | 840764 | 805327 | 4790 375 | 11 | 27 342.24/342.39 c 335s | 20 | 846513 | 810927 | 4790 377 | 11 | 27 344.25/344.40 c 337s | 20 | 852154 | 816427 | 4790 379 | 11 | 27 346.34/346.42 c 339s | 20 | 858242 | 822327 | 4790 381 | 11 | 27 348.34/348.43 c 341s | 20 | 863778 | 827627 | 4790 383 | 11 | 27 350.34/350.44 c 343s | 20 | 868863 | 832427 | 4790 385 | 11 | 27 352.33/352.45 c 345s | 20 | 874962 | 838327 | 4790 387 | 11 | 27 354.33/354.47 c 347s | 20 | 881091 | 844127 | 4790 389 | 11 | 27 356.34/356.50 c 349s | 20 | 886408 | 849227 | 4790 391 | 11 | 27 358.43/358.54 c 351s | 20 | 892463 | 854927 | 4790 393 | 11 | 27 360.43/360.56 c 353s | 20 | 898451 | 860727 | 4790 395 | 11 | 27 362.43/362.58 c 355s | 20 | 904238 | 866327 | 4790 398 | 11 | 27 364.43/364.59 c 357s | 20 | 909813 | 871727 | 4790 400 | 11 | 27 366.53/366.63 c 359s | 20 | 915122 | 876827 | 4790 402 | 11 | 27 368.54/368.65 c 361s | 20 | 920812 | 882227 | 4790 404 | 11 | 27 370.53/370.69 c 363s | 20 | 927028 | 888027 | 4790 406 | 11 | 27 372.63/372.71 c 365s | 20 | 933325 | 894027 | 4790 408 | 11 | 27 374.63/374.72 c 367s | 20 | 938934 | 899427 | 4790 410 | 11 | 27 376.63/376.76 c 369s | 20 | 945029 | 905327 | 4790 412 | 11 | 27 378.63/378.77 c 371s | 20 | 950649 | 910727 | 4790 414 | 11 | 27 380.73/380.82 c 373s | 20 | 956373 | 916227 | 4790 416 | 11 | 27 382.73/382.83 c 375s | 20 | 962138 | 921827 | 4790 418 | 11 | 27 384.73/384.85 c 377s | 20 | 967928 | 927327 | 4790 421 | 11 | 27 386.73/386.86 c 379s | 20 | 974015 | 933127 | 4790 423 | 11 | 27 388.73/388.89 c 381s | 20 | 980020 | 938927 | 4790 425 | 11 | 27 390.83/390.91 c 383s | 20 | 986334 | 944927 | 4790 427 | 11 | 27 392.83/392.92 c 385s | 20 | 992098 | 950527 | 4790 429 | 11 | 27 394.83/394.95 c 387s | 20 | 997525 | 955727 | 4790 431 | 11 | 27 396.83/396.95 c 389s | 20 | 1003417 | 961427 | 4790 433 | 11 | 27 398.92/399.00 c 391s | 20 | 1009120 | 966927 | 4790 436 | 11 | 27 400.92/401.00 c 393s | 20 | 1014727 | 972327 | 4790 438 | 11 | 27 402.92/403.00 c 395s | 20 | 1020272 | 977627 | 5269 439 | 11 | 27 404.92/405.00 c 397s | 20 | 1026105 | 983227 | 5269 441 | 11 | 27 406.93/407.08 c 399s | 20 | 1031572 | 988527 | 5269 443 | 11 | 27 409.02/409.11 c 401s | 20 | 1037323 | 994027 | 5269 445 | 11 | 27 411.02/411.12 c 403s | 20 | 1042843 | 999327 | 5269 447 | 11 | 27 411.33/411.46 c 404s | 21 | 1043897 | 1000345 | 5269 447 | 11 | 27 413.32/413.49 c 406s | 21 | 1049747 | 1005945 | 5269 449 | 11 | 27 415.42/415.52 c 408s | 21 | 1054338 | 1010245 | 5269 451 | 11 | 27 417.42/417.53 c 410s | 21 | 1059038 | 1014845 | 5269 452 | 11 | 27 419.43/419.56 c 412s | 21 | 1064036 | 1019745 | 5269 454 | 11 | 27 421.43/421.58 c 414s | 21 | 1069091 | 1024645 | 5269 456 | 11 | 27 423.54/423.62 c 416s | 21 | 1074378 | 1029845 | 5269 458 | 11 | 27 425.53/425.65 c 418s | 21 | 1077503 | 1032945 | 5269 459 | 11 | 27 427.53/427.67 c 420s | 21 | 1083702 | 1039045 | 5269 461 | 11 | 27 429.53/429.68 c 422s | 21 | 1089086 | 1044345 | 5269 463 | 11 | 27 431.63/431.71 c 424s | 21 | 1094782 | 1049945 | 5269 465 | 11 | 27 433.63/433.75 c 426s | 21 | 1100500 | 1055545 | 5269 467 | 11 | 27 435.63/435.77 c 428s | 21 | 1105021 | 1059945 | 5269 468 | 11 | 27 437.63/437.77 c 430s | 21 | 1108921 | 1063145 | 5269 470 | 11 | 27 439.73/439.81 c 432s | 21 | 1114813 | 1068745 | 5269 472 | 11 | 27 441.72/441.83 c 434s | 21 | 1119495 | 1073145 | 5269 473 | 11 | 27 443.72/443.84 c 436s | 21 | 1123720 | 1077245 | 5269 474 | 11 | 27 445.72/445.85 c 438s | 21 | 1128968 | 1082345 | 5269 476 | 11 | 27 447.73/447.88 c 440s | 21 | 1134181 | 1087445 | 5269 478 | 11 | 27 449.72/449.90 c 442s | 21 | 1139244 | 1092345 | 5269 480 | 11 | 27 451.82/451.93 c 444s | 21 | 1143989 | 1096845 | 5269 481 | 11 | 27 453.82/453.94 c 446s | 21 | 1149290 | 1101945 | 5269 483 | 11 | 27 455.92/456.00 c 448s | 21 | 1154261 | 1106545 | 5269 485 | 11 | 27 457.92/458.03 c 450s | 21 | 1158165 | 1110145 | 5269 486 | 11 | 27 459.92/460.07 c 452s | 21 | 1162764 | 1114645 | 5269 487 | 11 | 27 462.03/462.12 c 454s | 21 | 1168267 | 1119945 | 5269 489 | 11 | 27 464.02/464.14 c 456s | 21 | 1173197 | 1124645 | 5269 491 | 11 | 27 466.02/466.18 c 458s | 21 | 1177956 | 1129245 | 5269 492 | 11 | 27 468.12/468.22 c 460s | 21 | 1182907 | 1133945 | 5269 494 | 11 | 27 470.12/470.23 c 462s | 21 | 1187351 | 1138145 | 5269 496 | 11 | 27 472.12/472.26 c 464s | 21 | 1190953 | 1141645 | 5269 497 | 11 | 27 474.22/474.30 c 467s | 21 | 1196244 | 1146745 | 5269 499 | 11 | 27 476.22/476.31 c 469s | 21 | 1200715 | 1151045 | 5269 500 | 11 | 27 478.22/478.34 c 471s | 21 | 1205154 | 1155345 | 5269 501 | 11 | 27 480.22/480.39 c 473s | 21 | 1209485 | 1159545 | 5269 503 | 11 | 27 482.31/482.43 c 475s | 21 | 1214482 | 1164345 | 5269 505 | 11 | 27 484.31/484.47 c 477s | 21 | 1218546 | 1168045 | 5269 506 | 11 | 27 486.31/486.48 c 479s | 21 | 1222746 | 1172145 | 5269 507 | 11 | 27 488.42/488.52 c 481s | 21 | 1227808 | 1177045 | 5269 509 | 11 | 27 490.41/490.54 c 483s | 21 | 1232093 | 1181245 | 5269 510 | 11 | 27 492.41/492.57 c 485s | 21 | 1236760 | 1185745 | 5269 512 | 11 | 27 494.41/494.59 c 487s | 21 | 1241604 | 1190445 | 5269 514 | 11 | 27 496.51/496.63 c 489s | 21 | 1246683 | 1195345 | 5269 515 | 11 | 27 498.51/498.66 c 491s | 21 | 1250900 | 1199345 | 5269 517 | 11 | 27 500.52/500.68 c 493s | 21 | 1255513 | 1203845 | 5269 518 | 11 | 27 502.62/502.72 c 495s | 21 | 1259799 | 1208045 | 5269 520 | 11 | 27 504.61/504.75 c 497s | 21 | 1264137 | 1212245 | 5269 521 | 11 | 27 506.61/506.76 c 499s | 21 | 1268121 | 1216145 | 5269 523 | 11 | 27 508.71/508.80 c 501s | 21 | 1272810 | 1220645 | 5269 524 | 11 | 27 510.71/510.83 c 503s | 21 | 1276745 | 1224245 | 5269 525 | 11 | 27 512.71/512.83 c 505s | 21 | 1280648 | 1227845 | 5269 527 | 11 | 27 514.71/514.85 c 507s | 21 | 1285101 | 1232145 | 5269 528 | 11 | 27 516.81/516.90 c 509s | 21 | 1289326 | 1236245 | 5269 529 | 11 | 27 518.81/518.94 c 511s | 21 | 1294734 | 1241345 | 5269 531 | 11 | 27 520.81/520.94 c 513s | 21 | 1299176 | 1245645 | 5269 533 | 11 | 27 522.81/522.94 c 515s | 21 | 1303188 | 1249345 | 5269 534 | 11 | 27 524.81/524.98 c 517s | 21 | 1307314 | 1253245 | 5269 535 | 11 | 27 526.82/526.99 c 519s | 21 | 1311774 | 1257545 | 5269 537 | 11 | 27 528.91/529.00 c 521s | 21 | 1315852 | 1261445 | 5269 538 | 11 | 27 530.91/531.01 c 523s | 21 | 1320414 | 1265845 | 5269 540 | 11 | 27 532.91/533.06 c 525s | 21 | 1325330 | 1270545 | 5269 541 | 11 | 27 535.01/535.13 c 527s | 21 | 1329039 | 1273845 | 5269 543 | 11 | 27 537.01/537.14 c 529s | 21 | 1334333 | 1278845 | 5269 544 | 11 | 27 539.02/539.15 c 531s | 21 | 1339256 | 1283545 | 5269 546 | 11 | 27 541.01/541.19 c 533s | 21 | 1344398 | 1288545 | 5269 548 | 11 | 27 543.11/543.22 c 535s | 21 | 1349362 | 1293345 | 5269 549 | 11 | 27 545.11/545.25 c 537s | 21 | 1353467 | 1297345 | 5269 551 | 11 | 27 547.11/547.26 c 539s | 21 | 1358174 | 1301845 | 5269 552 | 11 | 27 549.21/549.30 c 542s | 21 | 1362735 | 1306245 | 5269 554 | 11 | 27 551.21/551.31 c 544s | 21 | 1367210 | 1310545 | 5269 555 | 11 | 27 553.21/553.32 c 546s | 21 | 1371939 | 1315145 | 5269 557 | 11 | 27 555.21/555.33 c 548s | 21 | 1376438 | 1319245 | 5269 558 | 11 | 27 557.21/557.34 c 550s | 21 | 1380581 | 1323245 | 5269 560 | 11 | 27 559.21/559.35 c 552s | 21 | 1384951 | 1327345 | 5269 561 | 11 | 27 561.20/561.37 c 554s | 21 | 1388730 | 1331045 | 5269 562 | 11 | 27 563.21/563.37 c 556s | 21 | 1392897 | 1335145 | 5269 564 | 11 | 27 565.20/565.38 c 558s | 21 | 1397266 | 1339345 | 5269 565 | 11 | 27 567.20/567.38 c 560s | 21 | 1401912 | 1343845 | 5269 567 | 11 | 27 569.30/569.40 c 562s | 21 | 1406513 | 1348245 | 5269 568 | 11 | 27 571.30/571.42 c 564s | 21 | 1410830 | 1352445 | 5269 570 | 11 | 27 573.30/573.45 c 566s | 21 | 1415291 | 1356745 | 5269 571 | 11 | 27 575.31/575.46 c 568s | 21 | 1419990 | 1361345 | 5269 573 | 11 | 27 577.30/577.48 c 570s | 21 | 1424635 | 1365545 | 5269 574 | 11 | 27 579.40/579.50 c 572s | 21 | 1429756 | 1370345 | 5269 576 | 11 | 27 581.40/581.55 c 574s | 21 | 1434136 | 1374445 | 5269 577 | 11 | 27 583.40/583.57 c 576s | 21 | 1438885 | 1379045 | 5269 579 | 11 | 27 585.50/585.60 c 578s | 21 | 1443284 | 1383245 | 5269 580 | 11 | 27 587.50/587.62 c 580s | 21 | 1447644 | 1387345 | 5269 582 | 11 | 27 589.50/589.65 c 582s | 21 | 1452330 | 1391845 | 5269 583 | 11 | 27 591.50/591.68 c 584s | 21 | 1457206 | 1396545 | 5269 585 | 11 | 27 593.60/593.70 c 586s | 21 | 1461796 | 1400845 | 5269 586 | 11 | 27 595.59/595.71 c 588s | 21 | 1465735 | 1404545 | 5269 588 | 11 | 27 597.59/597.73 c 590s | 21 | 1469963 | 1408545 | 5269 589 | 11 | 27 599.59/599.78 c 592s | 21 | 1474144 | 1412245 | 5269 590 | 11 | 27 601.70/601.84 c 594s | 21 | 1477919 | 1415845 | 5269 592 | 11 | 27 603.69/603.89 c 596s | 21 | 1481640 | 1419445 | 5269 593 | 11 | 27 605.80/605.93 c 598s | 21 | 1486494 | 1424045 | 5269 595 | 11 | 27 607.80/607.95 c 600s | 21 | 1492031 | 1429245 | 5269 596 | 11 | 27 609.80/609.96 c 602s | 21 | 1497843 | 1434845 | 5269 598 | 11 | 27 611.80/611.98 c 604s | 21 | 1503664 | 1440345 | 5269 600 | 11 | 27 613.81/613.98 c 606s | 21 | 1509086 | 1445445 | 5269 602 | 11 | 27 615.91/616.01 c 608s | 21 | 1514627 | 1450845 | 5269 604 | 11 | 27 617.90/618.01 c 610s | 21 | 1520217 | 1456145 | 5269 606 | 11 | 27 619.90/620.01 c 612s | 21 | 1525777 | 1461445 | 5269 608 | 11 | 27 621.90/622.02 c 614s | 21 | 1531994 | 1467345 | 5269 610 | 11 | 27 623.90/624.06 c 616s | 21 | 1538139 | 1473345 | 5796 612 | 11 | 27 625.90/626.07 c 618s | 21 | 1543833 | 1478845 | 5796 613 | 11 | 27 627.90/628.10 c 620s | 21 | 1549474 | 1484345 | 5796 615 | 11 | 27 629.99/630.11 c 622s | 21 | 1554768 | 1489445 | 5796 617 | 11 | 27 631.99/632.12 c 624s | 21 | 1560011 | 1494445 | 5796 618 | 11 | 27 633.99/634.15 c 626s | 21 | 1565827 | 1500045 | 5796 620 | 11 | 27 634.19/634.37 c 627s | 22 | 1566427 | 1500622 | 5796 620 | 11 | 27 636.29/636.42 c 629s | 22 | 1573566 | 1507122 | 5796 622 | 11 | 27 638.29/638.44 c 631s | 22 | 1578902 | 1512122 | 5796 624 | 11 | 27 640.29/640.45 c 633s | 22 | 1584536 | 1517522 | 5796 626 | 11 | 27 642.30/642.49 c 635s | 22 | 1589801 | 1522422 | 5796 627 | 11 | 27 644.39/644.51 c 637s | 22 | 1595095 | 1527322 | 5796 629 | 11 | 27 646.39/646.53 c 639s | 22 | 1599657 | 1531522 | 5796 630 | 11 | 27 648.39/648.56 c 641s | 22 | 1604718 | 1536422 | 5796 632 | 11 | 27 650.39/650.57 c 643s | 22 | 1610451 | 1542022 | 5796 633 | 11 | 27 652.39/652.57 c 645s | 22 | 1614662 | 1546022 | 5796 635 | 11 | 27 654.40/654.58 c 647s | 22 | 1618699 | 1549922 | 5796 636 | 11 | 27 656.39/656.59 c 649s | 22 | 1623689 | 1554722 | 5796 637 | 11 | 27 658.49/658.61 c 651s | 22 | 1628833 | 1559722 | 5796 639 | 11 | 27 660.49/660.66 c 653s | 22 | 1634034 | 1564622 | 5796 640 | 11 | 27 662.49/662.69 c 655s | 22 | 1639362 | 1569822 | 5796 642 | 11 | 27 664.59/664.73 c 657s | 22 | 1644083 | 1574322 | 5796 644 | 11 | 27 666.59/666.75 c 659s | 22 | 1649278 | 1579322 | 5796 645 | 11 | 27 668.58/668.76 c 661s | 22 | 1654250 | 1584122 | 5796 647 | 11 | 27 670.58/670.77 c 663s | 22 | 1659394 | 1589122 | 5796 648 | 11 | 27 672.58/672.79 c 665s | 22 | 1664370 | 1593822 | 5796 650 | 11 | 27 674.68/674.81 c 667s | 22 | 1669479 | 1598422 | 5796 651 | 11 | 27 676.68/676.81 c 669s | 22 | 1674315 | 1603122 | 5796 653 | 11 | 27 678.69/678.82 c 671s | 22 | 1679614 | 1608122 | 5796 654 | 11 | 27 680.68/680.83 c 673s | 22 | 1684790 | 1613022 | 5796 656 | 11 | 27 682.68/682.87 c 675s | 22 | 1689858 | 1617822 | 5796 657 | 11 | 27 684.68/684.87 c 677s | 22 | 1694924 | 1622622 | 5796 659 | 11 | 27 686.68/686.89 c 679s | 22 | 1700138 | 1627622 | 5796 660 | 11 | 27 688.78/688.93 c 681s | 22 | 1705065 | 1632122 | 5796 662 | 11 | 27 690.79/690.94 c 683s | 22 | 1709647 | 1636222 | 5796 663 | 11 | 27 692.78/692.97 c 685s | 22 | 1715470 | 1641822 | 5796 665 | 11 | 27 694.78/694.98 c 687s | 22 | 1720098 | 1646122 | 5796 666 | 11 | 27 696.88/697.02 c 689s | 22 | 1724370 | 1650022 | 5796 668 | 11 | 27 698.88/699.05 c 691s | 22 | 1729601 | 1654822 | 5796 669 | 11 | 27 700.98/701.10 c 693s | 22 | 1734707 | 1659622 | 5796 671 | 11 | 27 702.98/703.11 c 695s | 22 | 1739397 | 1663922 | 5796 672 | 11 | 27 704.98/705.12 c 697s | 22 | 1744354 | 1668622 | 5796 673 | 11 | 27 706.99/707.14 c 699s | 22 | 1749590 | 1673422 | 5796 675 | 11 | 27 709.09/709.21 c 701s | 22 | 1755003 | 1678522 | 5796 677 | 11 | 27 711.08/711.22 c 703s | 22 | 1760379 | 1683522 | 5796 678 | 11 | 27 713.08/713.27 c 706s | 22 | 1765229 | 1687822 | 5796 679 | 11 | 27 715.08/715.28 c 708s | 22 | 1770287 | 1692222 | 5796 681 | 11 | 27 717.19/717.31 c 710s | 22 | 1775651 | 1697022 | 5796 682 | 11 | 27 719.18/719.34 c 712s | 22 | 1781074 | 1701822 | 5796 684 | 11 | 27 721.18/721.34 c 714s | 22 | 1786094 | 1706222 | 5796 685 | 11 | 27 723.18/723.36 c 716s | 22 | 1791158 | 1711022 | 5796 687 | 11 | 27 725.18/725.37 c 718s | 22 | 1796383 | 1716122 | 5796 688 | 11 | 27 727.28/727.40 c 720s | 22 | 1801429 | 1720922 | 5796 690 | 11 | 27 729.29/729.42 c 722s | 22 | 1806578 | 1725822 | 5796 691 | 11 | 27 731.28/731.43 c 724s | 22 | 1811838 | 1730822 | 5796 693 | 11 | 27 733.28/733.44 c 726s | 22 | 1817418 | 1736222 | 5796 695 | 11 | 27 735.28/735.48 c 728s | 22 | 1822248 | 1741022 | 5796 696 | 11 | 27 737.28/737.49 c 730s | 22 | 1827082 | 1745822 | 5796 698 | 11 | 27 739.38/739.51 c 732s | 22 | 1833437 | 1752022 | 5796 700 | 11 | 27 741.39/741.55 c 734s | 22 | 1837977 | 1756422 | 5796 701 | 11 | 27 743.48/743.60 c 736s | 22 | 1842143 | 1760522 | 5796 702 | 11 | 27 745.48/745.64 c 738s | 22 | 1847241 | 1765522 | 5796 704 | 11 | 27 747.48/747.68 c 740s | 22 | 1851931 | 1770122 | 5796 705 | 11 | 27 749.58/749.70 c 742s | 22 | 1857129 | 1775222 | 5796 707 | 11 | 27 751.57/751.72 c 744s | 22 | 1861852 | 1779822 | 5796 709 | 11 | 27 753.58/753.75 c 746s | 22 | 1867514 | 1785122 | 5796 710 | 11 | 27 755.58/755.78 c 748s | 22 | 1872069 | 1789422 | 5796 712 | 11 | 27 757.67/757.86 c 750s | 22 | 1877304 | 1794322 | 5796 713 | 11 | 27 759.67/759.88 c 752s | 22 | 1882922 | 1799422 | 5796 715 | 11 | 27 761.67/761.88 c 754s | 22 | 1888239 | 1804522 | 5796 716 | 11 | 27 763.67/763.88 c 756s | 22 | 1893200 | 1809222 | 5796 718 | 11 | 27 765.77/765.93 c 758s | 22 | 1898354 | 1814122 | 5796 719 | 11 | 27 767.78/767.94 c 760s | 22 | 1903360 | 1818822 | 5796 721 | 11 | 27 769.77/769.95 c 762s | 22 | 1907989 | 1823122 | 5796 722 | 11 | 27 771.77/771.96 c 764s | 22 | 1913120 | 1828022 | 5796 724 | 11 | 27 773.77/773.97 c 766s | 22 | 1918454 | 1833122 | 5796 725 | 11 | 27 775.77/775.99 c 768s | 22 | 1923373 | 1837722 | 5796 727 | 11 | 27 777.87/778.01 c 770s | 22 | 1928228 | 1842222 | 5796 728 | 11 | 27 779.87/780.04 c 772s | 22 | 1933065 | 1846622 | 5796 730 | 11 | 27 781.87/782.06 c 774s | 22 | 1938368 | 1851422 | 5796 731 | 11 | 27 783.86/784.07 c 776s | 22 | 1943174 | 1855822 | 5796 733 | 11 | 27 785.87/786.08 c 778s | 22 | 1948160 | 1860522 | 5796 734 | 11 | 27 787.87/788.08 c 780s | 22 | 1952935 | 1865022 | 5796 736 | 11 | 27 789.97/790.11 c 782s | 22 | 1958006 | 1869522 | 5796 737 | 11 | 27 791.98/792.13 c 784s | 22 | 1962929 | 1874222 | 5796 738 | 11 | 27 793.97/794.16 c 786s | 22 | 1968162 | 1879022 | 5796 740 | 11 | 27 796.07/796.21 c 788s | 22 | 1973092 | 1883522 | 5796 741 | 11 | 27 798.07/798.25 c 790s | 22 | 1978052 | 1888122 | 5796 743 | 11 | 27 800.07/800.27 c 793s | 22 | 1982809 | 1892622 | 5796 744 | 11 | 27 802.17/802.31 c 795s | 22 | 1988192 | 1897622 | 5796 746 | 11 | 27 804.17/804.35 c 797s | 22 | 1993171 | 1902422 | 5796 747 | 11 | 27 806.18/806.35 c 799s | 22 | 1998069 | 1907022 | 5796 749 | 11 | 27 808.17/808.36 c 801s | 22 | 2002878 | 1911622 | 5796 750 | 11 | 27 810.17/810.36 c 803s | 22 | 2007780 | 1916322 | 5796 752 | 11 | 27 812.17/812.37 c 805s | 22 | 2013449 | 1921722 | 5796 754 | 11 | 27 814.17/814.39 c 807s | 22 | 2018405 | 1926522 | 5796 755 | 11 | 27 816.27/816.44 c 809s | 22 | 2023607 | 1931422 | 5796 757 | 11 | 27 818.27/818.47 c 811s | 22 | 2028894 | 1936522 | 5796 758 | 11 | 27 820.27/820.48 c 813s | 22 | 2033776 | 1940922 | 5796 760 | 11 | 27 822.27/822.48 c 815s | 22 | 2039499 | 1946322 | 5796 761 | 11 | 27 824.37/824.51 c 817s | 22 | 2044640 | 1951322 | 5796 763 | 11 | 27 826.37/826.52 c 819s | 22 | 2049464 | 1956022 | 5796 764 | 11 | 27 828.37/828.54 c 821s | 22 | 2054561 | 1960922 | 5796 766 | 11 | 27 830.37/830.59 c 823s | 22 | 2059543 | 1965822 | 5796 768 | 11 | 27 832.46/832.62 c 825s | 22 | 2064614 | 1970722 | 5796 769 | 11 | 27 834.46/834.64 c 827s | 22 | 2069587 | 1975522 | 5796 771 | 11 | 27 836.46/836.66 c 829s | 22 | 2074660 | 1980422 | 5796 772 | 11 | 27 838.46/838.68 c 831s | 22 | 2079870 | 1985422 | 5796 774 | 11 | 27 840.56/840.71 c 833s | 22 | 2085620 | 1991022 | 5796 775 | 11 | 27 842.57/842.74 c 835s | 22 | 2090385 | 1995622 | 5796 777 | 11 | 27 844.56/844.76 c 837s | 22 | 2095439 | 2000522 | 5796 779 | 11 | 27 846.56/846.78 c 839s | 22 | 2100566 | 2005422 | 5796 780 | 11 | 27 848.56/848.78 c 841s | 22 | 2105795 | 2010522 | 5796 782 | 11 | 27 850.66/850.81 c 843s | 22 | 2110785 | 2015222 | 5796 783 | 11 | 27 852.66/852.82 c 845s | 22 | 2115726 | 2020022 | 5796 785 | 11 | 27 854.67/854.85 c 847s | 22 | 2121070 | 2025222 | 5796 786 | 11 | 27 856.66/856.88 c 849s | 22 | 2125905 | 2029822 | 5796 788 | 11 | 27 858.66/858.88 c 851s | 22 | 2130788 | 2034522 | 5796 789 | 11 | 27 860.76/860.91 c 853s | 22 | 2136015 | 2039522 | 5796 791 | 11 | 27 862.76/862.94 c 855s | 22 | 2140828 | 2044222 | 5796 792 | 11 | 27 864.76/864.95 c 857s | 22 | 2145994 | 2049222 | 5796 794 | 11 | 27 866.86/867.02 c 859s | 22 | 2151192 | 2054322 | 5796 796 | 11 | 27 868.86/869.04 c 861s | 22 | 2156171 | 2059122 | 5796 797 | 11 | 27 870.85/871.06 c 863s | 22 | 2160810 | 2063522 | 5796 798 | 11 | 27 872.86/873.07 c 865s | 22 | 2165839 | 2068422 | 5796 800 | 11 | 27 874.85/875.09 c 867s | 22 | 2170689 | 2073222 | 5796 801 | 11 | 27 876.85/877.09 c 869s | 22 | 2175522 | 2077922 | 5796 803 | 11 | 27 878.95/879.11 c 871s | 22 | 2180166 | 2082422 | 5796 804 | 11 | 27 880.96/881.15 c 873s | 22 | 2185000 | 2087122 | 5796 806 | 11 | 27 882.95/883.16 c 875s | 22 | 2190006 | 2092022 | 5796 807 | 11 | 27 885.05/885.20 c 877s | 22 | 2194991 | 2096922 | 5796 809 | 11 | 27 887.05/887.25 c 879s | 22 | 2200040 | 2101822 | 5796 811 | 11 | 27 889.05/889.27 c 882s | 22 | 2204889 | 2106522 | 5796 812 | 11 | 27 891.05/891.29 c 884s | 22 | 2210434 | 2111922 | 5796 814 | 11 | 27 893.06/893.29 c 886s | 22 | 2215393 | 2116722 | 5796 815 | 11 | 27 895.05/895.30 c 888s | 22 | 2220412 | 2121522 | 5796 817 | 11 | 27 897.15/897.31 c 890s | 22 | 2225661 | 2126522 | 5796 818 | 11 | 27 899.15/899.33 c 892s | 22 | 2230309 | 2131022 | 5796 820 | 11 | 27 901.15/901.35 c 894s | 22 | 2235699 | 2136022 | 5796 821 | 11 | 27 903.25/903.41 c 896s | 22 | 2241114 | 2141122 | 5796 823 | 11 | 27 905.26/905.43 c 898s | 22 | 2246205 | 2145822 | 5796 824 | 11 | 27 907.25/907.45 c 900s | 22 | 2251211 | 2150622 | 5796 826 | 11 | 27 909.25/909.45 c 902s | 22 | 2256568 | 2155822 | 5796 828 | 11 | 27 911.25/911.47 c 904s | 22 | 2262094 | 2161122 | 5796 829 | 11 | 27 913.35/913.50 c 906s | 22 | 2267675 | 2166522 | 5796 831 | 11 | 27 915.34/915.52 c 908s | 22 | 2273093 | 2171622 | 5796 833 | 11 | 27 917.35/917.54 c 910s | 22 | 2278198 | 2176522 | 5796 834 | 11 | 27 919.34/919.55 c 912s | 22 | 2283656 | 2181722 | 5796 836 | 11 | 27 921.35/921.57 c 914s | 22 | 2289018 | 2186822 | 5796 837 | 11 | 27 923.34/923.59 c 916s | 22 | 2294241 | 2191822 | 5796 839 | 11 | 27 925.44/925.63 c 918s | 22 | 2299324 | 2196722 | 5796 841 | 11 | 27 927.44/927.65 c 920s | 22 | 2304649 | 2201822 | 5796 842 | 11 | 27 929.45/929.67 c 922s | 22 | 2309395 | 2206322 | 5796 844 | 11 | 27 931.44/931.69 c 924s | 22 | 2314835 | 2211522 | 5796 845 | 11 | 27 933.44/933.69 c 926s | 22 | 2320056 | 2216522 | 6376 847 | 11 | 27 935.55/935.71 c 928s | 22 | 2325192 | 2221422 | 6376 848 | 11 | 27 937.55/937.75 c 930s | 22 | 2330152 | 2226222 | 6376 850 | 11 | 27 939.55/939.78 c 932s | 22 | 2335642 | 2231422 | 6376 851 | 11 | 27 941.65/941.81 c 934s | 22 | 2340724 | 2236222 | 6376 853 | 11 | 27 943.66/943.84 c 936s | 22 | 2345626 | 2240922 | 6376 854 | 11 | 27 945.65/945.86 c 938s | 22 | 2350617 | 2245722 | 6376 855 | 11 | 27 947.65/947.89 c 940s | 22 | 2355391 | 2250322 | 6376 857 | 11 | 27 947.95/948.19 c 940s | 23 | 2356172 | 2251038 | 6376 857 | 11 | 27 950.05/950.20 c 942s | 23 | 2362470 | 2256838 | 6376 859 | 11 | 27 952.05/952.22 c 944s | 23 | 2366950 | 2260938 | 6376 860 | 11 | 27 954.05/954.27 c 947s | 23 | 2371183 | 2265038 | 6376 861 | 11 | 27 956.05/956.28 c 949s | 23 | 2375947 | 2269638 | 6376 862 | 11 | 27 958.15/958.30 c 951s | 23 | 2380205 | 2273738 | 6376 864 | 11 | 27 960.05/960.30 c 953s | 23 | 2383794 | 2277138 | 6376 865 | 11 | 27 962.15/962.31 c 955s | 23 | 2387725 | 2280838 | 6376 866 | 11 | 27 964.15/964.31 c 957s | 23 | 2391104 | 2284138 | 6376 867 | 11 | 27 966.15/966.35 c 959s | 23 | 2394910 | 2287738 | 6376 868 | 11 | 27 968.15/968.38 c 961s | 23 | 2398894 | 2291438 | 6376 869 | 11 | 27 970.24/970.40 c 963s | 23 | 2403357 | 2295538 | 6376 870 | 11 | 27 972.25/972.42 c 965s | 23 | 2407874 | 2299838 | 6376 871 | 11 | 27 974.24/974.42 c 967s | 23 | 2412666 | 2304338 | 6376 873 | 11 | 27 976.24/976.47 c 969s | 23 | 2416995 | 2308438 | 6376 874 | 11 | 27 978.24/978.49 c 971s | 23 | 2421077 | 2312338 | 6376 875 | 11 | 27 980.34/980.54 c 973s | 23 | 2425426 | 2316338 | 6376 876 | 11 | 27 982.34/982.55 c 975s | 23 | 2429269 | 2320038 | 6376 877 | 11 | 27 984.35/984.59 c 977s | 23 | 2433755 | 2324438 | 6376 879 | 11 | 27 986.44/986.61 c 979s | 23 | 2438635 | 2329138 | 6376 880 | 11 | 27 988.44/988.65 c 981s | 23 | 2443415 | 2333638 | 6376 881 | 11 | 27 990.44/990.68 c 983s | 23 | 2447877 | 2337738 | 6376 883 | 11 | 27 992.54/992.76 c 985s | 23 | 2451674 | 2341338 | 6376 884 | 11 | 27 994.64/994.82 c 987s | 23 | 2456202 | 2345738 | 6376 885 | 11 | 27 996.64/996.86 c 989s | 23 | 2460132 | 2349538 | 6376 886 | 11 | 27 998.64/998.87 c 991s | 23 | 2463814 | 2352938 | 6376 887 | 11 | 27 1000.74/1000.91 c 993s | 23 | 2468266 | 2357038 | 6376 888 | 11 | 27 1002.74/1002.94 c 995s | 23 | 2471780 | 2360438 | 6376 889 | 11 | 27 1004.74/1004.96 c 997s | 23 | 2475632 | 2364038 | 6376 890 | 11 | 27 1006.84/1007.01 c 999s | 23 | 2479023 | 2367338 | 6376 891 | 11 | 27 1008.84/1009.02 c 1001s | 23 | 2483137 | 2371238 | 6376 892 | 11 | 27 1010.84/1011.05 c 1003s | 23 | 2486882 | 2374838 | 6376 893 | 11 | 27 1012.83/1013.08 c 1005s | 23 | 2490479 | 2378338 | 6376 895 | 11 | 27 1014.93/1015.14 c 1007s | 23 | 2494995 | 2382538 | 6376 896 | 11 | 27 1016.93/1017.15 c 1009s | 23 | 2498740 | 2386038 | 6376 897 | 11 | 27 1018.93/1019.17 c 1011s | 23 | 2503018 | 2390138 | 6376 898 | 11 | 27 1021.03/1021.21 c 1013s | 23 | 2506911 | 2393838 | 6376 899 | 11 | 27 1023.03/1023.24 c 1015s | 23 | 2510517 | 2397338 | 6376 900 | 11 | 27 1025.04/1025.24 c 1017s | 23 | 2514365 | 2401038 | 6376 901 | 11 | 27 1027.03/1027.27 c 1020s | 23 | 2518805 | 2405338 | 6376 902 | 11 | 27 1029.13/1029.31 c 1022s | 23 | 2523692 | 2410038 | 6376 904 | 11 | 27 1031.13/1031.32 c 1024s | 23 | 2528160 | 2414438 | 6376 905 | 11 | 27 1033.13/1033.33 c 1026s | 23 | 2532220 | 2418438 | 6376 906 | 11 | 27 1035.13/1035.33 c 1028s | 23 | 2535828 | 2421938 | 6376 907 | 11 | 27 1037.13/1037.36 c 1030s | 23 | 2539636 | 2425638 | 6376 909 | 11 | 27 1039.23/1039.40 c 1032s | 23 | 2544307 | 2430038 | 6376 910 | 11 | 27 1041.23/1041.41 c 1034s | 23 | 2547501 | 2432938 | 6376 911 | 11 | 27 1043.23/1043.44 c 1036s | 23 | 2552026 | 2437338 | 6376 912 | 11 | 27 1045.33/1045.53 c 1038s | 23 | 2556022 | 2441238 | 6376 913 | 11 | 27 1047.33/1047.53 c 1040s | 23 | 2560001 | 2445038 | 6376 914 | 11 | 27 1049.33/1049.57 c 1042s | 23 | 2563957 | 2448838 | 6376 915 | 11 | 27 1051.33/1051.60 c 1044s | 23 | 2567917 | 2452638 | 6376 916 | 11 | 27 1053.42/1053.62 c 1046s | 23 | 2571772 | 2456338 | 6376 918 | 11 | 27 1055.42/1055.63 c 1048s | 23 | 2575819 | 2460238 | 6376 919 | 11 | 27 1057.42/1057.63 c 1050s | 23 | 2580131 | 2464338 | 6376 920 | 11 | 27 1059.42/1059.63 c 1052s | 23 | 2584058 | 2468038 | 6376 921 | 11 | 27 1061.43/1061.68 c 1054s | 23 | 2587808 | 2471638 | 6376 922 | 11 | 27 1063.42/1063.70 c 1056s | 23 | 2591852 | 2475538 | 6376 923 | 11 | 27 1065.52/1065.70 c 1058s | 23 | 2595838 | 2479338 | 6376 924 | 11 | 27 1067.53/1067.72 c 1060s | 23 | 2599540 | 2482738 | 6376 925 | 11 | 27 1069.53/1069.74 c 1062s | 23 | 2603871 | 2486838 | 6376 927 | 11 | 27 1071.53/1071.74 c 1064s | 23 | 2607731 | 2490538 | 6376 928 | 11 | 27 1073.54/1073.77 c 1066s | 23 | 2611831 | 2494438 | 6376 929 | 11 | 27 1075.53/1075.77 c 1068s | 23 | 2616023 | 2498538 | 6376 930 | 11 | 27 1077.63/1077.81 c 1070s | 23 | 2620230 | 2502438 | 6376 931 | 11 | 27 1079.63/1079.85 c 1072s | 23 | 2623920 | 2505838 | 6376 932 | 11 | 27 1081.73/1081.91 c 1074s | 23 | 2628377 | 2510038 | 6376 933 | 11 | 27 1083.73/1083.93 c 1076s | 23 | 2632836 | 2514238 | 6376 935 | 11 | 27 1085.73/1085.95 c 1078s | 23 | 2636464 | 2517738 | 6376 936 | 11 | 27 1087.73/1087.98 c 1080s | 23 | 2640123 | 2521138 | 6376 937 | 11 | 27 1089.72/1089.98 c 1082s | 23 | 2643521 | 2524338 | 6376 938 | 11 | 27 1091.82/1092.00 c 1084s | 23 | 2647022 | 2527738 | 6376 939 | 11 | 27 1093.82/1094.02 c 1086s | 23 | 2651643 | 2532238 | 6376 940 | 11 | 27 1095.82/1096.02 c 1088s | 23 | 2655593 | 2535838 | 6376 941 | 11 | 27 1097.82/1098.03 c 1090s | 23 | 2660256 | 2540038 | 6376 942 | 11 | 27 1099.83/1100.06 c 1092s | 23 | 2664300 | 2543938 | 6376 943 | 11 | 27 1101.82/1102.08 c 1094s | 23 | 2668497 | 2547938 | 6376 945 | 11 | 27 1103.92/1104.11 c 1096s | 23 | 2672568 | 2551838 | 6376 946 | 11 | 27 1105.92/1106.12 c 1098s | 23 | 2676403 | 2555438 | 6376 947 | 11 | 27 1107.92/1108.14 c 1100s | 23 | 2681705 | 2560538 | 6376 948 | 11 | 27 1109.92/1110.15 c 1102s | 23 | 2686060 | 2564638 | 6376 950 | 11 | 27 1111.92/1112.19 c 1104s | 23 | 2690460 | 2568738 | 6376 951 | 11 | 27 1114.02/1114.20 c 1106s | 23 | 2695076 | 2573138 | 6376 952 | 11 | 27 1116.02/1116.23 c 1108s | 23 | 2699881 | 2577738 | 6376 953 | 11 | 27 1118.02/1118.24 c 1110s | 23 | 2704413 | 2582138 | 6376 955 | 11 | 27 1120.02/1120.27 c 1113s | 23 | 2708368 | 2585838 | 6376 956 | 11 | 27 1122.02/1122.29 c 1115s | 23 | 2712799 | 2589838 | 6376 957 | 11 | 27 1124.12/1124.32 c 1117s | 23 | 2717533 | 2594438 | 6376 958 | 11 | 27 1126.12/1126.34 c 1119s | 23 | 2721407 | 2598138 | 6376 960 | 11 | 27 1128.12/1128.35 c 1121s | 23 | 2725467 | 2602038 | 6376 961 | 11 | 27 1130.12/1130.39 c 1123s | 23 | 2729824 | 2606138 | 6376 962 | 11 | 27 1132.21/1132.44 c 1125s | 23 | 2734390 | 2610338 | 6376 963 | 11 | 27 1134.21/1134.46 c 1127s | 23 | 2737932 | 2613738 | 6376 964 | 11 | 27 1136.22/1136.48 c 1129s | 23 | 2742099 | 2617638 | 6376 965 | 11 | 27 1138.32/1138.51 c 1131s | 23 | 2746129 | 2621438 | 6376 966 | 11 | 27 1140.31/1140.56 c 1133s | 23 | 2750161 | 2625238 | 6376 968 | 11 | 27 1142.41/1142.65 c 1135s | 23 | 2753336 | 2628238 | 6376 968 | 11 | 27 1144.41/1144.66 c 1137s | 23 | 2757525 | 2632138 | 6376 970 | 11 | 27 1146.41/1146.66 c 1139s | 23 | 2761618 | 2636038 | 6376 971 | 11 | 27 1148.41/1148.69 c 1141s | 23 | 2765389 | 2639438 | 6376 972 | 11 | 27 1150.52/1150.73 c 1143s | 23 | 2770982 | 2644838 | 6376 973 | 11 | 27 1152.51/1152.75 c 1145s | 23 | 2776447 | 2650138 | 6376 975 | 11 | 27 1154.51/1154.76 c 1147s | 23 | 2780674 | 2654238 | 6376 976 | 11 | 27 1156.51/1156.77 c 1149s | 23 | 2785600 | 2659038 | 6376 977 | 11 | 27 1158.61/1158.80 c 1151s | 23 | 2790490 | 2663638 | 6376 979 | 11 | 27 1160.61/1160.83 c 1153s | 23 | 2794387 | 2667438 | 6376 980 | 11 | 27 1162.62/1162.85 c 1155s | 23 | 2798988 | 2671938 | 6376 981 | 11 | 27 1164.62/1164.87 c 1157s | 23 | 2804191 | 2676738 | 6376 983 | 11 | 27 1166.62/1166.90 c 1159s | 23 | 2809735 | 2682038 | 6376 984 | 11 | 27 1168.72/1168.92 c 1161s | 23 | 2815057 | 2687138 | 6376 986 | 11 | 27 1170.72/1170.96 c 1163s | 23 | 2820045 | 2691838 | 6376 987 | 11 | 27 1172.81/1173.00 c 1165s | 23 | 2824159 | 2695838 | 6376 988 | 11 | 27 1174.81/1175.04 c 1167s | 23 | 2828845 | 2700438 | 6376 989 | 11 | 27 1176.82/1177.07 c 1169s | 23 | 2834224 | 2705738 | 6376 991 | 11 | 27 1178.81/1179.08 c 1171s | 23 | 2839848 | 2711238 | 6376 993 | 11 | 27 1180.81/1181.09 c 1173s | 23 | 2845863 | 2717138 | 6376 994 | 11 | 27 1182.91/1183.12 c 1175s | 23 | 2850926 | 2722138 | 6376 996 | 11 | 27 1184.91/1185.16 c 1177s | 23 | 2855791 | 2726938 | 6376 997 | 11 | 27 1186.91/1187.18 c 1179s | 23 | 2861180 | 2732238 | 6376 999 | 11 | 27 1188.92/1189.19 c 1181s | 23 | 2865931 | 2736938 | 6376 1000 | 11 | 27 1191.12/1191.32 c 1184s | 23 | 2870690 | 2741538 | 6376 1002 | 11 | 27 1193.10/1193.35 c 1186s | 23 | 2876341 | 2746938 | 6376 1003 | 11 | 27 1195.10/1195.37 c 1188s | 23 | 2881079 | 2751538 | 6376 1005 | 11 | 27 1197.10/1197.39 c 1190s | 23 | 2886176 | 2756438 | 6376 1006 | 11 | 27 1199.20/1199.40 c 1192s | 23 | 2891954 | 2762138 | 6376 1008 | 11 | 27 1201.20/1201.43 c 1194s | 23 | 2896581 | 2766538 | 6376 1009 | 11 | 27 1203.21/1203.43 c 1196s | 23 | 2902323 | 2772138 | 6376 1011 | 11 | 27 1205.20/1205.46 c 1198s | 23 | 2907928 | 2777538 | 6376 1012 | 11 | 27 1207.30/1207.51 c 1200s | 23 | 2913794 | 2783038 | 6376 1014 | 11 | 27 1209.30/1209.54 c 1202s | 23 | 2918189 | 2787138 | 6376 1015 | 11 | 27 1211.30/1211.55 c 1204s | 23 | 2924368 | 2792438 | 6376 1017 | 11 | 27 1213.30/1213.57 c 1206s | 23 | 2930289 | 2798038 | 6376 1018 | 11 | 27 1215.31/1215.57 c 1208s | 23 | 2935789 | 2803338 | 6376 1020 | 11 | 27 1217.30/1217.60 c 1210s | 23 | 2941135 | 2808538 | 6376 1021 | 11 | 27 1219.41/1219.60 c 1212s | 23 | 2946434 | 2813738 | 6376 1023 | 11 | 27 1221.41/1221.69 c 1214s | 23 | 2952561 | 2819738 | 6376 1025 | 11 | 27 1223.51/1223.71 c 1216s | 23 | 2958231 | 2825238 | 6376 1026 | 11 | 27 1225.51/1225.72 c 1218s | 23 | 2962981 | 2829838 | 6376 1028 | 11 | 27 1227.51/1227.73 c 1220s | 23 | 2967426 | 2834138 | 6376 1029 | 11 | 27 1229.51/1229.75 c 1222s | 23 | 2972372 | 2838938 | 6376 1030 | 11 | 27 1231.50/1231.77 c 1224s | 23 | 2977474 | 2843838 | 6376 1032 | 11 | 27 1233.50/1233.79 c 1226s | 23 | 2982753 | 2849038 | 6376 1033 | 11 | 27 1235.60/1235.80 c 1228s | 23 | 2988347 | 2854438 | 6376 1035 | 11 | 27 1237.60/1237.82 c 1230s | 23 | 2993206 | 2859238 | 6376 1036 | 11 | 27 1239.61/1239.85 c 1232s | 23 | 2998272 | 2864138 | 6376 1038 | 11 | 27 1241.60/1241.87 c 1234s | 23 | 3003122 | 2868838 | 6376 1039 | 11 | 27 1243.70/1243.90 c 1236s | 23 | 3007898 | 2873538 | 6376 1040 | 11 | 27 1245.70/1245.93 c 1238s | 23 | 3012246 | 2877838 | 6376 1042 | 11 | 27 1247.70/1247.93 c 1240s | 23 | 3016690 | 2882238 | 6376 1043 | 11 | 27 1249.70/1249.96 c 1242s | 23 | 3021950 | 2887338 | 6376 1044 | 11 | 27 1251.71/1251.99 c 1244s | 23 | 3024839 | 2890138 | 6376 1045 | 11 | 27 1253.81/1254.03 c 1246s | 23 | 3030094 | 2895138 | 6376 1047 | 11 | 27 1255.80/1256.04 c 1248s | 23 | 3033629 | 2898538 | 6376 1048 | 11 | 27 1257.80/1258.05 c 1250s | 23 | 3039266 | 2904038 | 6376 1049 | 11 | 27 1259.80/1260.05 c 1252s | 23 | 3044315 | 2909038 | 6376 1051 | 11 | 27 1261.80/1262.08 c 1254s | 23 | 3049277 | 2913938 | 6376 1052 | 11 | 27 1263.80/1264.09 c 1256s | 23 | 3054447 | 2919038 | 6376 1053 | 11 | 27 1265.90/1266.12 c 1258s | 23 | 3059306 | 2923838 | 6376 1055 | 11 | 27 1267.90/1268.17 c 1260s | 23 | 3065186 | 2929638 | 6376 1057 | 11 | 27 1269.99/1270.20 c 1262s | 23 | 3071021 | 2935338 | 6376 1058 | 11 | 27 1271.99/1272.21 c 1264s | 23 | 3075928 | 2940138 | 6376 1060 | 11 | 27 1273.99/1274.24 c 1266s | 23 | 3082451 | 2946538 | 6376 1061 | 12 | 36 1275.99/1276.28 c 1269s | 23 | 3086928 | 2950938 | 6376 1063 | 12 | 36 1278.10/1278.32 c 1271s | 23 | 3091756 | 2955638 | 6376 1064 | 12 | 36 1280.09/1280.35 c 1273s | 23 | 3096285 | 2960038 | 6376 1065 | 12 | 36 1282.09/1282.38 c 1275s | 23 | 3100912 | 2964538 | 6376 1067 | 12 | 36 1284.09/1284.38 c 1277s | 23 | 3105848 | 2969338 | 6376 1068 | 12 | 36 1286.19/1286.40 c 1279s | 23 | 3110919 | 2974138 | 6376 1069 | 12 | 36 1288.19/1288.41 c 1281s | 23 | 3115029 | 2978138 | 6376 1071 | 12 | 36 1290.20/1290.44 c 1283s | 23 | 3120543 | 2983538 | 6376 1072 | 12 | 36 1292.19/1292.48 c 1285s | 23 | 3125539 | 2988438 | 6376 1074 | 12 | 36 1294.29/1294.51 c 1287s | 23 | 3130331 | 2993138 | 6376 1075 | 12 | 36 1296.29/1296.52 c 1289s | 23 | 3134675 | 2997338 | 6376 1076 | 12 | 36 1298.29/1298.58 c 1291s | 23 | 3139550 | 3002138 | 6376 1078 | 12 | 36 1300.29/1300.59 c 1293s | 23 | 3144270 | 3006738 | 6376 1079 | 12 | 36 1302.39/1302.62 c 1295s | 23 | 3149476 | 3011838 | 6376 1080 | 12 | 36 1304.39/1304.67 c 1297s | 23 | 3153689 | 3015938 | 6376 1082 | 12 | 36 1306.49/1306.70 c 1299s | 23 | 3158208 | 3020238 | 6376 1083 | 12 | 36 1308.49/1308.75 c 1301s | 23 | 3162160 | 3024038 | 6376 1084 | 12 | 36 1310.48/1310.78 c 1303s | 23 | 3166610 | 3028338 | 6376 1085 | 12 | 36 1312.59/1312.82 c 1305s | 23 | 3171417 | 3033038 | 6376 1086 | 12 | 36 1314.59/1314.85 c 1307s | 23 | 3176036 | 3037538 | 6376 1088 | 12 | 36 1316.59/1316.85 c 1309s | 23 | 3180358 | 3041638 | 6376 1089 | 12 | 36 1318.58/1318.86 c 1311s | 23 | 3185469 | 3046538 | 6376 1090 | 12 | 36 1320.68/1320.90 c 1313s | 23 | 3190468 | 3051438 | 6376 1092 | 12 | 36 1322.68/1322.91 c 1315s | 23 | 3195536 | 3056338 | 6376 1093 | 12 | 36 1324.68/1324.94 c 1317s | 23 | 3200317 | 3060938 | 6376 1095 | 12 | 36 1326.68/1326.97 c 1319s | 23 | 3205144 | 3065638 | 6376 1096 | 12 | 36 1328.69/1328.97 c 1321s | 23 | 3209928 | 3070338 | 6376 1097 | 12 | 36 1330.68/1331.00 c 1323s | 23 | 3214544 | 3074638 | 6376 1099 | 12 | 36 1332.78/1333.03 c 1325s | 23 | 3219038 | 3078938 | 6376 1100 | 12 | 36 1334.78/1335.07 c 1327s | 23 | 3223330 | 3083138 | 6376 1101 | 12 | 36 1336.88/1337.10 c 1329s | 23 | 3228124 | 3087738 | 6376 1102 | 12 | 36 1338.88/1339.12 c 1331s | 23 | 3232825 | 3092338 | 6376 1104 | 12 | 36 1340.88/1341.15 c 1333s | 23 | 3237164 | 3096538 | 6376 1105 | 12 | 36 1342.89/1343.16 c 1335s | 23 | 3241501 | 3100738 | 6376 1106 | 12 | 36 1344.98/1345.20 c 1337s | 23 | 3246366 | 3105338 | 6376 1107 | 12 | 36 1346.98/1347.23 c 1339s | 23 | 3250370 | 3109038 | 6376 1108 | 12 | 36 1348.98/1349.25 c 1341s | 23 | 3255507 | 3114038 | 6376 1110 | 12 | 36 1350.98/1351.27 c 1344s | 23 | 3259987 | 3118338 | 6376 1111 | 12 | 36 1353.08/1353.30 c 1346s | 23 | 3264714 | 3122938 | 6376 1113 | 12 | 36 1355.09/1355.31 c 1348s | 23 | 3269262 | 3127338 | 6376 1114 | 12 | 36 1357.08/1357.35 c 1350s | 23 | 3273383 | 3131238 | 6376 1115 | 12 | 36 1359.08/1359.38 c 1352s | 23 | 3277923 | 3135638 | 6376 1116 | 12 | 36 1361.18/1361.43 c 1354s | 23 | 3282144 | 3139638 | 6376 1117 | 12 | 36 1363.18/1363.45 c 1356s | 23 | 3286660 | 3143838 | 6376 1119 | 12 | 36 1365.18/1365.48 c 1358s | 23 | 3291132 | 3147938 | 6376 1120 | 12 | 36 1367.28/1367.52 c 1360s | 23 | 3295840 | 3152238 | 6376 1121 | 12 | 36 1369.28/1369.53 c 1362s | 23 | 3299702 | 3155838 | 6376 1122 | 12 | 36 1371.28/1371.54 c 1364s | 23 | 3304009 | 3159838 | 6376 1123 | 12 | 36 1373.28/1373.58 c 1366s | 23 | 3308450 | 3164138 | 6376 1124 | 12 | 36 1375.37/1375.61 c 1368s | 23 | 3312390 | 3167938 | 6376 1126 | 12 | 36 1377.37/1377.62 c 1370s | 23 | 3317220 | 3172538 | 6376 1127 | 12 | 36 1379.37/1379.63 c 1372s | 23 | 3321379 | 3176538 | 6376 1128 | 12 | 36 1381.38/1381.67 c 1374s | 23 | 3325845 | 3180838 | 6376 1129 | 12 | 36 1383.37/1383.69 c 1376s | 23 | 3330023 | 3184838 | 6376 1130 | 12 | 36 1385.47/1385.74 c 1378s | 23 | 3334687 | 3189338 | 6376 1132 | 12 | 36 1387.47/1387.76 c 1380s | 23 | 3339201 | 3193638 | 6376 1133 | 12 | 36 1389.47/1389.77 c 1382s | 23 | 3343606 | 3197838 | 6376 1134 | 12 | 36 1391.47/1391.77 c 1384s | 23 | 3348009 | 3202038 | 6376 1135 | 12 | 36 1393.48/1393.78 c 1386s | 23 | 3352617 | 3206438 | 6376 1137 | 12 | 36 1395.57/1395.80 c 1388s | 23 | 3356809 | 3210538 | 6376 1138 | 12 | 36 1397.58/1397.82 c 1390s | 23 | 3361552 | 3215138 | 6376 1139 | 12 | 36 1399.58/1399.87 c 1392s | 23 | 3365846 | 3219238 | 6376 1140 | 12 | 36 1401.68/1401.91 c 1394s | 23 | 3370408 | 3223538 | 6376 1142 | 12 | 36 1403.67/1403.95 c 1396s | 23 | 3375154 | 3228038 | 6376 1143 | 12 | 36 1405.68/1405.98 c 1398s | 23 | 3379361 | 3232038 | 6376 1144 | 12 | 36 1407.67/1407.99 c 1400s | 23 | 3383647 | 3236138 | 6376 1145 | 12 | 36 1409.77/1410.04 c 1402s | 23 | 3387598 | 3239938 | 6376 1146 | 12 | 36 1411.77/1412.06 c 1404s | 23 | 3392064 | 3244238 | 6376 1148 | 12 | 36 1413.77/1414.09 c 1406s | 23 | 3396625 | 3248438 | 6376 1149 | 12 | 36 1415.87/1416.11 c 1408s | 23 | 3401114 | 3252738 | 6376 1150 | 12 | 36 1417.87/1418.16 c 1410s | 23 | 3405010 | 3256438 | 6376 1151 | 12 | 36 1419.87/1420.17 c 1412s | 23 | 3409528 | 3260838 | 6376 1152 | 12 | 36 1421.87/1422.18 c 1414s | 23 | 3413838 | 3264938 | 6376 1154 | 12 | 36 1423.97/1424.21 c 1416s | 23 | 3418083 | 3269038 | 6376 1155 | 12 | 36 1425.97/1426.25 c 1418s | 23 | 3422199 | 3272838 | 6376 1156 | 12 | 36 1427.96/1428.27 c 1420s | 23 | 3426688 | 3277038 | 6376 1157 | 12 | 36 1429.96/1430.28 c 1423s | 23 | 3430736 | 3280938 | 6376 1158 | 12 | 36 1432.07/1432.30 c 1425s | 23 | 3434859 | 3284938 | 6376 1159 | 12 | 36 1434.06/1434.32 c 1427s | 23 | 3438963 | 3288838 | 6376 1161 | 12 | 36 1436.06/1436.36 c 1429s | 23 | 3443195 | 3292938 | 6376 1162 | 12 | 36 1438.06/1438.38 c 1431s | 23 | 3447106 | 3296638 | 6376 1163 | 12 | 36 1440.16/1440.41 c 1433s | 23 | 3451112 | 3300538 | 6376 1164 | 12 | 36 1442.16/1442.42 c 1435s | 23 | 3453795 | 3303138 | 6376 1165 | 12 | 36 1444.17/1444.46 c 1437s | 23 | 3457349 | 3306638 | 6376 1166 | 12 | 36 1446.26/1446.52 c 1439s | 23 | 3461234 | 3310438 | 6376 1167 | 12 | 36 1448.26/1448.57 c 1441s | 23 | 3465408 | 3314538 | 6376 1168 | 12 | 36 1450.26/1450.57 c 1443s | 23 | 3469116 | 3318138 | 6376 1169 | 12 | 36 1452.25/1452.58 c 1445s | 23 | 3473172 | 3322138 | 6376 1170 | 12 | 36 1454.35/1454.63 c 1447s | 23 | 3477574 | 3326438 | 6376 1172 | 12 | 36 1456.35/1456.66 c 1449s | 23 | 3482415 | 3331138 | 6376 1173 | 12 | 36 1458.35/1458.67 c 1451s | 23 | 3486713 | 3335238 | 7014 1174 | 12 | 36 1460.45/1460.70 c 1453s | 23 | 3491168 | 3339438 | 7014 1175 | 12 | 36 1462.45/1462.74 c 1455s | 23 | 3494986 | 3343138 | 7014 1176 | 12 | 36 1464.44/1464.75 c 1457s | 23 | 3499222 | 3347138 | 7014 1177 | 12 | 36 1466.44/1466.78 c 1459s | 23 | 3503370 | 3351038 | 7014 1178 | 12 | 36 1468.54/1468.84 c 1461s | 23 | 3507109 | 3354638 | 7014 1179 | 12 | 36 1470.55/1470.85 c 1463s | 23 | 3510974 | 3358338 | 7014 1180 | 12 | 36 1472.54/1472.88 c 1465s | 23 | 3515734 | 3362938 | 7014 1181 | 12 | 36 1474.64/1474.91 c 1467s | 23 | 3519909 | 3366938 | 7014 1182 | 12 | 36 1476.64/1476.94 c 1469s | 23 | 3524192 | 3371138 | 7014 1183 | 12 | 36 1478.64/1478.96 c 1471s | 23 | 3528400 | 3375238 | 7014 1185 | 12 | 36 1479.25/1479.53 c 1472s | 24 | 3529861 | 3376662 | 7014 1185 | 12 | 36 1481.24/1481.55 c 1474s | 24 | 3536964 | 3383462 | 7014 1187 | 12 | 36 1483.24/1483.57 c 1476s | 24 | 3542291 | 3388562 | 7014 1188 | 12 | 36 1485.24/1485.57 c 1478s | 24 | 3548074 | 3394262 | 7014 1190 | 12 | 36 1487.33/1487.60 c 1480s | 24 | 3552653 | 3398762 | 7014 1191 | 12 | 36 1489.33/1489.63 c 1482s | 24 | 3557144 | 3403162 | 7014 1192 | 12 | 36 1491.34/1491.66 c 1484s | 24 | 3562078 | 3407962 | 7014 1193 | 12 | 36 1493.33/1493.67 c 1486s | 24 | 3567092 | 3412862 | 7014 1195 | 12 | 36 1495.33/1495.68 c 1488s | 24 | 3572223 | 3417762 | 7014 1196 | 12 | 36 1497.33/1497.68 c 1490s | 24 | 3576872 | 3422262 | 7014 1197 | 12 | 36 1499.43/1499.72 c 1492s | 24 | 3581781 | 3427062 | 7014 1198 | 12 | 36 1501.43/1501.74 c 1494s | 24 | 3586804 | 3431862 | 7014 1200 | 12 | 36 1503.43/1503.78 c 1496s | 24 | 3591733 | 3436662 | 7014 1201 | 12 | 36 1505.42/1505.79 c 1498s | 24 | 3597148 | 3441962 | 7014 1202 | 12 | 36 1507.52/1507.81 c 1500s | 24 | 3601876 | 3446462 | 7014 1204 | 12 | 36 1509.53/1509.82 c 1502s | 24 | 3606933 | 3451362 | 7014 1205 | 12 | 36 1511.53/1511.82 c 1504s | 24 | 3611716 | 3456062 | 7014 1206 | 12 | 36 1513.53/1513.85 c 1506s | 24 | 3616557 | 3460762 | 7014 1208 | 12 | 36 1515.53/1515.86 c 1508s | 24 | 3621079 | 3465162 | 7014 1209 | 12 | 36 1517.63/1517.90 c 1510s | 24 | 3625753 | 3469762 | 7014 1210 | 12 | 36 1519.63/1519.92 c 1512s | 24 | 3630863 | 3474762 | 7014 1211 | 12 | 36 1521.63/1521.95 c 1514s | 24 | 3635573 | 3479362 | 7014 1213 | 12 | 36 1523.62/1523.98 c 1516s | 24 | 3640811 | 3484362 | 7014 1214 | 12 | 36 1525.62/1525.99 c 1518s | 24 | 3645282 | 3488662 | 7014 1215 | 12 | 36 1527.73/1528.03 c 1520s | 24 | 3650047 | 3493262 | 7014 1216 | 12 | 36 1529.72/1530.08 c 1522s | 24 | 3654818 | 3497862 | 7014 1218 | 12 | 36 1531.82/1532.10 c 1524s | 24 | 3660777 | 3503462 | 7014 1219 | 12 | 36 1533.82/1534.10 c 1526s | 24 | 3666153 | 3508562 | 7014 1220 | 12 | 36 1535.82/1536.13 c 1528s | 24 | 3670891 | 3513162 | 7014 1222 | 12 | 36 1537.82/1538.16 c 1530s | 24 | 3676541 | 3518462 | 7014 1223 | 12 | 36 1539.82/1540.17 c 1532s | 24 | 3681899 | 3523562 | 7014 1224 | 12 | 36 1541.81/1542.19 c 1534s | 24 | 3686858 | 3528362 | 7014 1226 | 12 | 36 1543.91/1544.21 c 1536s | 24 | 3691720 | 3532862 | 7014 1227 | 12 | 36 1545.91/1546.23 c 1538s | 24 | 3696382 | 3537362 | 7014 1228 | 12 | 36 1547.91/1548.23 c 1540s | 24 | 3700809 | 3541562 | 7014 1229 | 12 | 36 1549.91/1550.24 c 1542s | 24 | 3705105 | 3545762 | 7014 1230 | 12 | 36 1551.92/1552.25 c 1544s | 24 | 3709812 | 3550262 | 7014 1232 | 12 | 36 1553.90/1554.27 c 1547s | 24 | 3714886 | 3555062 | 7014 1233 | 12 | 36 1555.90/1556.27 c 1549s | 24 | 3719308 | 3559262 | 7014 1234 | 12 | 36 1557.90/1558.28 c 1551s | 24 | 3724094 | 3563662 | 7014 1235 | 12 | 36 1560.00/1560.31 c 1553s | 24 | 3728803 | 3568262 | 7014 1237 | 12 | 36 1562.00/1562.34 c 1555s | 24 | 3734646 | 3573862 | 7014 1238 | 12 | 36 1564.01/1564.37 c 1557s | 24 | 3739311 | 3578362 | 7014 1239 | 12 | 36 1566.00/1566.39 c 1559s | 24 | 3744220 | 3582962 | 7014 1240 | 12 | 36 1568.10/1568.42 c 1561s | 24 | 3749071 | 3587562 | 7014 1242 | 12 | 36 1570.10/1570.45 c 1563s | 24 | 3754090 | 3591862 | 7014 1243 | 12 | 36 1572.10/1572.45 c 1565s | 24 | 3759155 | 3596362 | 7014 1244 | 12 | 36 1574.19/1574.50 c 1567s | 24 | 3764008 | 3600862 | 7014 1245 | 12 | 36 1576.19/1576.51 c 1569s | 24 | 3768837 | 3605562 | 7014 1247 | 12 | 36 1578.20/1578.52 c 1571s | 24 | 3774014 | 3610362 | 7014 1248 | 12 | 36 1580.19/1580.56 c 1573s | 24 | 3778776 | 3614862 | 7014 1249 | 12 | 36 1582.19/1582.57 c 1575s | 24 | 3784033 | 3619962 | 7014 1250 | 12 | 36 1584.29/1584.61 c 1577s | 24 | 3788474 | 3624162 | 7014 1252 | 12 | 36 1586.29/1586.63 c 1579s | 24 | 3792941 | 3628262 | 7014 1253 | 12 | 36 1588.29/1588.64 c 1581s | 24 | 3797527 | 3632562 | 7014 1254 | 12 | 36 1590.29/1590.66 c 1583s | 24 | 3802115 | 3636962 | 7014 1255 | 12 | 36 1592.29/1592.68 c 1585s | 24 | 3806749 | 3641362 | 7014 1256 | 12 | 36 1594.38/1594.71 c 1587s | 24 | 3812032 | 3646462 | 7014 1257 | 12 | 36 1596.38/1596.77 c 1589s | 24 | 3816969 | 3650962 | 7014 1259 | 12 | 36 1598.38/1598.78 c 1591s | 24 | 3821754 | 3655362 | 7014 1260 | 12 | 36 1600.48/1600.82 c 1593s | 24 | 3827110 | 3660362 | 7014 1261 | 12 | 36 1602.49/1602.84 c 1595s | 24 | 3832256 | 3664962 | 7014 1262 | 12 | 36 1604.48/1604.86 c 1597s | 24 | 3837189 | 3669462 | 7014 1264 | 12 | 36 1606.48/1606.88 c 1599s | 24 | 3842161 | 3674262 | 7014 1265 | 12 | 36 1608.48/1608.89 c 1601s | 24 | 3847925 | 3679762 | 7014 1266 | 12 | 36 1610.58/1610.91 c 1603s | 24 | 3853377 | 3684962 | 7014 1268 | 12 | 36 1612.58/1612.93 c 1605s | 24 | 3858457 | 3689762 | 7014 1269 | 12 | 36 1614.58/1614.94 c 1607s | 24 | 3862735 | 3693762 | 7014 1270 | 12 | 36 1616.57/1616.97 c 1609s | 24 | 3867769 | 3698462 | 7014 1271 | 12 | 36 1618.57/1618.98 c 1611s | 24 | 3872848 | 3703162 | 7014 1273 | 12 | 36 1620.67/1621.00 c 1613s | 24 | 3878853 | 3708662 | 7014 1274 | 12 | 36 1622.67/1623.04 c 1615s | 24 | 3883923 | 3713262 | 7014 1275 | 12 | 36 1624.67/1625.08 c 1617s | 24 | 3889481 | 3718362 | 7014 1277 | 12 | 36 1626.77/1627.12 c 1619s | 24 | 3894339 | 3723062 | 7014 1278 | 12 | 36 1628.78/1629.13 c 1621s | 24 | 3899041 | 3727562 | 7014 1279 | 12 | 36 1630.77/1631.16 c 1623s | 24 | 3903857 | 3732162 | 7014 1280 | 12 | 36 1632.87/1633.21 c 1625s | 24 | 3909595 | 3737662 | 7014 1282 | 12 | 36 1634.87/1635.22 c 1627s | 24 | 3915620 | 3743462 | 7014 1283 | 12 | 36 1636.87/1637.23 c 1629s | 24 | 3921318 | 3748862 | 7014 1285 | 12 | 36 1638.87/1639.25 c 1631s | 24 | 3927062 | 3754262 | 7014 1286 | 12 | 36 1640.87/1641.27 c 1634s | 24 | 3932889 | 3759862 | 7014 1288 | 12 | 36 1642.86/1643.28 c 1636s | 24 | 3938097 | 3764762 | 7014 1289 | 12 | 36 1644.96/1645.30 c 1638s | 24 | 3943137 | 3769562 | 7014 1291 | 12 | 36 1646.96/1647.30 c 1640s | 24 | 3949502 | 3775362 | 7014 1292 | 12 | 36 1648.96/1649.35 c 1642s | 24 | 3954613 | 3780062 | 7014 1293 | 12 | 36 1650.96/1651.38 c 1644s | 24 | 3959750 | 3784862 | 7014 1295 | 12 | 36 1652.96/1653.38 c 1646s | 24 | 3964445 | 3789162 | 7014 1296 | 12 | 36 1655.06/1655.41 c 1648s | 24 | 3969981 | 3794562 | 7014 1297 | 12 | 36 1657.06/1657.43 c 1650s | 24 | 3975456 | 3799562 | 7014 1299 | 12 | 36 1659.06/1659.43 c 1652s | 24 | 3980245 | 3803962 | 7014 1300 | 12 | 36 1661.06/1661.46 c 1654s | 24 | 3985249 | 3808662 | 7014 1301 | 12 | 36 1663.15/1663.50 c 1656s | 24 | 3990016 | 3813062 | 7014 1302 | 12 | 36 1665.16/1665.53 c 1658s | 24 | 3994738 | 3817462 | 7014 1303 | 12 | 36 1667.15/1667.53 c 1660s | 24 | 3999564 | 3821862 | 7014 1305 | 12 | 36 1669.15/1669.57 c 1662s | 24 | 4004700 | 3826662 | 7014 1306 | 12 | 36 1671.25/1671.62 c 1664s | 24 | 4009756 | 3831362 | 7014 1307 | 12 | 36 1673.25/1673.64 c 1666s | 24 | 4015143 | 3836462 | 7014 1308 | 12 | 36 1675.25/1675.65 c 1668s | 24 | 4019711 | 3840662 | 7014 1310 | 12 | 36 1677.25/1677.66 c 1670s | 24 | 4023253 | 3844062 | 7014 1310 | 12 | 36 1679.24/1679.68 c 1672s | 24 | 4028752 | 3849362 | 7014 1312 | 12 | 36 1681.34/1681.73 c 1674s | 24 | 4033024 | 3853462 | 7014 1313 | 12 | 36 1683.34/1683.74 c 1676s | 24 | 4037776 | 3857962 | 7014 1314 | 12 | 36 1685.34/1685.78 c 1678s | 24 | 4041876 | 3861862 | 7014 1315 | 12 | 36 1687.44/1687.84 c 1680s | 24 | 4046603 | 3866262 | 7014 1316 | 12 | 36 1689.44/1689.85 c 1682s | 24 | 4051092 | 3870462 | 7014 1318 | 12 | 36 1691.44/1691.88 c 1684s | 24 | 4055746 | 3874662 | 7014 1319 | 12 | 36 1693.44/1693.88 c 1686s | 24 | 4060256 | 3878962 | 7014 1320 | 12 | 36 1695.54/1695.92 c 1688s | 24 | 4064831 | 3883262 | 7014 1321 | 12 | 36 1697.54/1697.95 c 1690s | 24 | 4069331 | 3887462 | 7014 1322 | 12 | 36 1699.54/1699.97 c 1692s | 24 | 4073899 | 3891862 | 7014 1323 | 12 | 36 1701.64/1702.02 c 1694s | 24 | 4078350 | 3896062 | 7014 1324 | 12 | 36 1703.65/1704.02 c 1696s | 24 | 4082682 | 3900162 | 7014 1326 | 12 | 36 1705.64/1706.04 c 1698s | 24 | 4087105 | 3904462 | 7014 1327 | 12 | 36 1707.64/1708.07 c 1700s | 24 | 4091931 | 3908962 | 7014 1328 | 12 | 36 1709.74/1710.11 c 1702s | 24 | 4096382 | 3913162 | 7014 1329 | 12 | 36 1711.73/1712.13 c 1704s | 24 | 4102244 | 3918862 | 7014 1331 | 12 | 36 1713.73/1714.16 c 1706s | 24 | 4107615 | 3924062 | 7014 1332 | 12 | 36 1715.74/1716.17 c 1708s | 24 | 4112542 | 3928762 | 7014 1333 | 12 | 36 1717.84/1718.21 c 1710s | 24 | 4117262 | 3933362 | 7014 1334 | 12 | 36 1719.83/1720.24 c 1712s | 24 | 4122693 | 3938362 | 7014 1336 | 12 | 36 1721.83/1722.26 c 1714s | 24 | 4127857 | 3943262 | 7014 1337 | 12 | 36 1723.93/1724.32 c 1717s | 24 | 4133142 | 3948362 | 7014 1339 | 12 | 36 1725.92/1726.32 c 1719s | 24 | 4137939 | 3953062 | 7014 1340 | 12 | 36 1727.92/1728.37 c 1721s | 24 | 4142581 | 3957462 | 7014 1341 | 12 | 36 1729.93/1730.40 c 1723s | 24 | 4147678 | 3962262 | 7014 1342 | 12 | 36 1732.02/1732.40 c 1725s | 24 | 4152012 | 3966362 | 7014 1343 | 12 | 36 1734.02/1734.44 c 1727s | 24 | 4156249 | 3970362 | 7014 1344 | 12 | 36 1736.02/1736.48 c 1729s | 24 | 4160559 | 3974462 | 7014 1345 | 12 | 36 1738.12/1738.52 c 1731s | 24 | 4164671 | 3978462 | 7014 1347 | 12 | 36 1740.12/1740.57 c 1733s | 24 | 4169722 | 3982962 | 7014 1348 | 12 | 36 1742.12/1742.59 c 1735s | 24 | 4174339 | 3987362 | 7014 1349 | 12 | 36 1744.12/1744.59 c 1737s | 24 | 4177887 | 3990662 | 7014 1350 | 12 | 36 1746.22/1746.61 c 1739s | 24 | 4183174 | 3995562 | 7014 1351 | 12 | 36 1748.22/1748.66 c 1741s | 24 | 4187755 | 3999562 | 7014 1352 | 12 | 36 1750.22/1750.67 c 1743s | 24 | 4192531 | 4004262 | 7014 1353 | 12 | 36 1752.21/1752.68 c 1745s | 24 | 4196879 | 4008362 | 7014 1355 | 12 | 36 1754.31/1754.74 c 1747s | 24 | 4202101 | 4013162 | 7014 1356 | 12 | 36 1756.31/1756.76 c 1749s | 24 | 4207034 | 4017862 | 7014 1357 | 12 | 36 1758.40/1758.80 c 1751s | 24 | 4211741 | 4022362 | 7014 1358 | 12 | 36 1760.40/1760.81 c 1753s | 24 | 4216777 | 4027262 | 7014 1360 | 12 | 36 1762.40/1762.83 c 1755s | 24 | 4222075 | 4032162 | 7014 1361 | 12 | 36 1764.39/1764.84 c 1757s | 24 | 4226852 | 4036662 | 7014 1362 | 12 | 36 1766.49/1766.90 c 1759s | 24 | 4231795 | 4041462 | 7014 1364 | 12 | 36 1768.50/1768.94 c 1761s | 24 | 4237241 | 4046562 | 7014 1365 | 12 | 36 1770.49/1770.96 c 1763s | 24 | 4241855 | 4050962 | 7014 1366 | 12 | 36 1772.49/1772.97 c 1765s | 24 | 4246715 | 4055662 | 7014 1367 | 12 | 36 1774.49/1774.98 c 1767s | 24 | 4252481 | 4061162 | 7014 1369 | 12 | 36 1776.49/1776.99 c 1769s | 24 | 4257200 | 4065462 | 7014 1370 | 12 | 36 1778.49/1778.99 c 1771s | 24 | 4261994 | 4069962 | 7014 1371 | 12 | 36 1780.60/1781.01 c 1773s | 24 | 4266932 | 4074562 | 7014 1372 | 12 | 36 1782.60/1783.01 c 1775s | 24 | 4271696 | 4078962 | 7014 1374 | 12 | 36 1784.59/1785.05 c 1777s | 24 | 4277129 | 4083762 | 7014 1375 | 12 | 36 1786.69/1787.14 c 1779s | 24 | 4281937 | 4088062 | 7014 1376 | 12 | 36 1788.69/1789.15 c 1781s | 24 | 4287097 | 4092862 | 7014 1377 | 12 | 36 1790.69/1791.16 c 1783s | 24 | 4292253 | 4097562 | 7014 1379 | 12 | 36 1792.69/1793.18 c 1785s | 24 | 4297565 | 4102562 | 7014 1380 | 12 | 36 1794.79/1795.22 c 1787s | 24 | 4302956 | 4107562 | 7014 1381 | 12 | 36 1796.78/1797.23 c 1789s | 24 | 4307479 | 4111862 | 7014 1382 | 12 | 36 1798.78/1799.25 c 1791s | 24 | 4313256 | 4117262 | 7014 1384 | 12 | 36
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-4106403-1466270758/watcher-4106403-1466270758 -o /tmp/evaluation-result-4106403-1466270758/solver-4106403-1466270758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106403-1466270758.opb pid=26026 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.29 2.27 2.27 3/179 26029 /proc/meminfo: memFree=28944344/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=744004 CPUtime=0 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 2785 0 0 0 0 0 0 0 20 0 4 0 29121581 761860096 2634 33554432000 4194304 16246674 140737314231328 140737314230752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 186769 2644 442 2943 0 183663 0 [pid=26029/tid=26030] ppid=26026 vsize=762436 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 780734464 2704 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=766532 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 784928768 2722 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=770628 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121581 789123072 2738 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.29 2.27 2.27 3/179 26029 /proc/meminfo: memFree=28944344/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 22961 0 0 0 6 3 0 0 20 0 4 0 29121581 1247350784 22799 33554432000 4194304 16246674 140737314231328 140737314230752 6010521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 304529 22805 760 2943 0 301423 0 [pid=26029/tid=26030] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 22810 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 22815 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 22820 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200534 s] /proc/loadavg: 2.29 2.27 2.27 3/179 26029 /proc/meminfo: memFree=28944344/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 41611 0 0 0 13 6 0 0 20 0 4 0 29121581 1247350784 41449 33554432000 4194304 16246674 140737314231328 140737314214320 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 304529 41456 760 2943 0 301423 0 [pid=26029/tid=26030] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 41460 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 41466 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 41474 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300495 s] /proc/loadavg: 2.29 2.27 2.27 3/179 26029 /proc/meminfo: memFree=28944344/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 59921 0 0 0 21 8 0 0 20 0 4 0 29121581 1247350784 59758 33554432000 4194304 16246674 140737314231328 140737314214320 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 304529 59767 760 2943 0 301423 0 [pid=26029/tid=26030] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 59772 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 59777 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 59782 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700412 s] /proc/loadavg: 2.29 2.27 2.27 3/179 26029 /proc/meminfo: memFree=28944344/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 122914 0 0 0 53 16 0 0 20 0 4 0 29121581 1247350784 122752 33554432000 4194304 16246674 140737314231328 140737314214320 5531957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 304529 122759 767 2943 0 301423 0 [pid=26029/tid=26030] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 122762 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 122764 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29121581 1247350784 122769 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.29 2.27 2.27 3/183 26033 /proc/meminfo: memFree=28191112/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 246169 0 0 0 115 34 0 0 20 0 4 0 29121581 1250496512 245983 33554432000 4194304 16246674 140737314231328 140737314230640 5712698 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 305297 245983 833 2943 0 302191 0 [pid=26029/tid=26030] ppid=26026 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1250496512 245983 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1250496512 245983 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1250496512 245983 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10043 s] /proc/loadavg: 2.29 2.27 2.27 3/183 26033 /proc/meminfo: memFree=27960844/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1303108 CPUtime=3.09 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 266702 0 0 0 273 36 0 0 20 0 4 0 29121581 1334382592 266516 33554432000 4194304 16246674 140737314231328 140737314214328 13927423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 325777 266516 833 2943 0 322671 0 [pid=26029/tid=26030] ppid=26026 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1334382592 266516 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1334382592 266516 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1334382592 266516 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30043 s] /proc/loadavg: 2.35 2.28 2.27 3/183 26033 /proc/meminfo: memFree=27874148/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 267827 0 0 0 593 36 0 0 20 0 4 0 29121581 1338576896 267641 33554432000 4194304 16246674 140737314231328 140737314213248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 326801 267641 833 2943 0 323695 0 [pid=26029/tid=26030] ppid=26026 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1338576896 267641 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1338576896 267641 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1338576896 267641 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.32 2.28 2.27 3/183 26033 /proc/meminfo: memFree=27871044/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1310276 CPUtime=12.69 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 268674 0 0 0 1232 37 0 0 20 0 4 0 29121581 1341722624 268488 33554432000 4194304 16246674 140737314231328 140737314213248 5545984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 327569 268488 856 2943 0 324463 0 [pid=26029/tid=26030] ppid=26026 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1341722624 268488 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1341722624 268488 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1341722624 268488 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 2.33 2.28 2.27 3/183 26033 /proc/meminfo: memFree=27866104/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1313348 CPUtime=25.49 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 269442 0 0 0 2512 37 0 0 20 0 4 0 29121581 1344868352 269256 33554432000 4194304 16246674 140737314231328 140737314213248 5710394 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 328337 269256 856 2943 0 325231 0 [pid=26029/tid=26030] ppid=26026 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1344868352 269256 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1344868352 269256 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1344868352 269256 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.21 2.26 2.26 3/183 26033 /proc/meminfo: memFree=27865860/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1313348 CPUtime=51.08 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 269442 0 0 0 5071 37 0 0 20 0 4 0 29121581 1344868352 269256 33554432000 4194304 16246674 140737314231328 140737314213248 5823751 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 328337 269256 856 2943 0 325231 0 [pid=26029/tid=26030] ppid=26026 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1344868352 269256 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1344868352 269256 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1344868352 269256 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1313348 [startup+102.301 s] /proc/loadavg: 2.25 2.26 2.27 3/183 26034 /proc/meminfo: memFree=27864588/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1314372 CPUtime=102.28 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 269698 0 0 0 10191 37 0 0 20 0 4 0 29121581 1345916928 269512 33554432000 4194304 16246674 140737314231328 140737314213248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 328593 269512 856 2943 0 325487 0 [pid=26029/tid=26030] ppid=26026 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1345916928 269512 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1345916928 269512 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1345916928 269512 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273353 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.34 2.30 2.27 3/183 26065 /proc/meminfo: memFree=27828956/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1362.08 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273539 0 0 0 136159 49 0 0 20 0 4 0 29121581 1361645568 273353 33554432000 4194304 16246674 140737314231328 140737314213248 6845864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 332433 273353 857 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273353 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273353 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273353 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.31 2.31 2.27 4/183 26067 /proc/meminfo: memFree=27828616/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1422.07 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273560 0 0 0 142157 50 0 0 20 0 4 0 29121581 1361645568 273609 33554432000 4194304 16246674 140737314231328 140737314213248 5712461 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 332433 273609 857 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273609 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273609 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273609 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1329732 [startup+1482.3 s] /proc/loadavg: 2.37 2.32 2.28 3/184 26071 /proc/meminfo: memFree=27827872/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1482.04 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273593 0 0 0 148154 50 0 0 20 0 4 0 29121581 1361645568 273609 33554432000 4194304 16246674 140737314231328 140737314213248 12477716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 332433 273609 857 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273609 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273609 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273609 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 1329732 [startup+1542.31 s] /proc/loadavg: 2.39 2.34 2.28 3/183 26072 /proc/meminfo: memFree=27828148/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1542.02 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273630 0 0 0 154151 51 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140737314213248 5828593 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 332433 273610 858 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 1329732 [startup+1602.3 s] /proc/loadavg: 2.45 2.36 2.29 4/183 26073 /proc/meminfo: memFree=27828036/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1601.98 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273672 0 0 0 160147 51 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140737314213248 5523032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26029/statm: 332433 273610 858 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 1329732 [startup+1662.3 s] /proc/loadavg: 2.36 2.35 2.29 3/183 26074 /proc/meminfo: memFree=27828168/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1661.96 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273709 0 0 0 166145 51 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140737314213248 5861500 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26029/statm: 332433 273610 858 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 1329732 [startup+1722.3 s] /proc/loadavg: 2.39 2.36 2.29 3/183 26076 /proc/meminfo: memFree=27827536/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1721.93 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273752 0 0 0 172141 52 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140737314214320 5710385 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26029/statm: 332433 273610 858 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 1329732 [startup+1782.3 s] /proc/loadavg: 2.33 2.35 2.29 4/183 26223 /proc/meminfo: memFree=27857836/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1781.9 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273789 0 0 0 178136 54 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140737314213248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26029/statm: 332433 273610 858 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1329732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.30 2.35 2.29 3/183 26223 /proc/meminfo: memFree=27855256/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1800.08 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273803 0 0 0 179954 54 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140737314213248 5677833 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26029/statm: 332433 273610 858 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1329732 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 26029 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.30 2.35 2.29 3/183 26223 /proc/meminfo: memFree=27855256/32872528 swapFree=1499884/1696108 [pid=26029] ppid=26026 vsize=1329732 CPUtime=1800.08 cores=1,3,5,7 /proc/26029/stat : 26029 (toysat) R 26026 26029 24910 0 -1 4202496 273803 0 0 0 179954 54 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140737314213248 5677833 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26029/statm: 332433 273610 858 2943 0 329327 0 [pid=26029/tid=26030] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26030/stat : 26030 (toysat) S 26026 26029 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105632165104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26029/tid=26031] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26031/stat : 26031 (toysat) S 26026 26029 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105621675248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26029/tid=26032] ppid=26026 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/26029/task/26032/stat : 26032 (toysat) S 26026 26029 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29121581 1361645568 273610 33554432000 4194304 16246674 140737314231328 140105611201712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1329732 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.12 CPU user time (s): 1799.55 CPU system time (s): 0.562914 CPU usage (%): 99.9769 Max. virtual memory (cumulated for all children) (KiB): 1329732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.562914 maximum resident set size= 1094440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273803 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= 276 involuntary context switches= 2005 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.7411 second user time and 16.6035 second system time The end
Begin job on node137 at 2016-06-18 19:25:58 IDJOB=4106403 IDBENCH=48048 IDSOLVER=2542 FILE ID=node137/4106403-1466270758 RUNJOBID= node137-1466264772-24927 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106403-1466270758/watcher-4106403-1466270758 -o /tmp/evaluation-result-4106403-1466270758/solver-4106403-1466270758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106403-1466270758.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d6ad4e57f9bd4d3660efa4691d3e45da RANDOM SEED=705882959 node137.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.486 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 : 5332.97 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.486 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.486 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.486 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.486 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.38 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.486 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.56 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.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28944344 kB Buffers: 149944 kB Cached: 256376 kB SwapCached: 1268 kB Active: 1234412 kB Inactive: 255500 kB Active(anon): 1084808 kB Inactive(anon): 1028 kB Active(file): 149604 kB Inactive(file): 254472 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 16316 kB Writeback: 0 kB AnonPages: 2779056 kB Mapped: 10536 kB Shmem: 0 kB Slab: 607612 kB SReclaimable: 51372 kB SUnreclaim: 556240 kB KernelStack: 1456 kB PageTables: 9436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2921468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 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= 71672 MiB End job on node137 at 2016-06-18 19:55:59