| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb |
| MD5SUM | 80881c7fbc3c10cf38784c74294061e5 |
| 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.149976 |
| 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-18T17:12:36+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-4106031-1466262756.opb"] 0.00/0.01 c use --random-gen="3804890248 1657771289 821228385 772128550 2261076690 638843758 853328638 2457477583 2277186182 49615598 1701932129 3518520736 3965812640 1357582416 1138038852 3610657599 2632481434 3599626599 3098710557 2761929664 2229249733 551172492 1825919532 4255125713 3648971119 562102001 3701846856 1116890341 181997778 3704905300 2352624886 3697918482 1587202731 2102646133 605204403 311440755 3971028065 2502854548 4223816587 3802006627 2547400608 1202298563 1654218127 3475308537 419215101 2099994269 2685464798 2883226019 885725131 479967190 2957103351 853348124 2054681087 1728447628 3433081172 2400908933 3962915101 300766373 1119878727 1636135659 2396785889 4244434822 5235506 797951098 1641540201 513564408 2943367344 2139821296 2081837038 401111584 1886330205 2391680860 2329788630 725929282 3504644998 2453519728 852853600 392600347 1841112626 515024367 610041652 1294095892 4270355514 3976215332 1819538441 3238036584 3270609216 531829189 918688744 2990817160 2199673968 2160140277 2288264691 2999215920 2277590409 2657388358 477928183 3770744094 3555263894 1965077724 2434315988 1330440642 1196020401 1049994244 3822887236 873997762 615754053 2388573508 1625076857 3146560360 69435756 1482588958 1229158896 2964810722 818689483 2913030274 3044725490 997185468 1642784713 1910724889 2683427208 3224685276 1427305807 1656358120 27338139 220956423 3041247305 3078654354 2850039269 4065078086 1690948222 2156043129 1746834484 560501318 3549841411 2265236394 4244661633 3865052382 1555572715 1097307506 2325865973 1431079844 2962827486 3306634449 3120531679 3247752556 1030738957 4142708880 1674510567 4172437109 1401293215 4206997799 4238350593 1973742262 1276874241 459327583 4254040048 3739628014 4254000838 3115266744 2847636711 1082870585 1675838459 265704467 1097340670 2003488151 2232146897 2665397411 3717334996 3985378748 4061279634 3637743022 3823349769 3685901896 55633384 3165423318 2573676302 2536578473 1548408125 900019222 618966754 3426028679 842504728 873674485 1675685159 4280004176 4021828919 444388923 2322940301 2362624617 315864456 3451491339 787787162 2084651307 1067571586 210960951 1331543105 3099435371 3099427971 501388668 882749803 4274648575 211873920 4164568528 1348547207 2245966042 3158772054 723826814 1058184797 887769847 151932749 2387134771 4248638735 1477267798 3843299186 1702305587 1524555932 1167128272 1716430224 1814136976 4155033287 2518902729 2885594824 1497877928 1270004028 2803839552 211712578 2307618394 655137291 2235586619 4192983305 795328433 1541326985 1422782694 3397631034 2794800024 1551555327 2333718937 949941308 1531831056 20923954 3385513601 547784479 4081273353 3587120045 3136381750 2800897394 3499277039 1942860520 4016925488 1353740332 3975441169 3674530613 1812213659 2364765686 2174287838 255 362436" option to reproduce the execution 0.00/0.01 c #vars 162 0.00/0.01 c #constraints 13 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 708 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 111 | 100 | 708 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 274 | 250 | 779 0 | 0 | 0 0.09/0.16 c 0.1s | 3 | 540 | 475 | 857 0 | 0 | 0 0.19/0.29 c 0.3s | 4 | 1031 | 813 | 943 0 | 0 | 0 0.49/0.54 c 0.5s | 5 | 1630 | 1320 | 1038 1 | 0 | 0 0.69/0.76 c 0.7s | 6 | 2412 | 2081 | 1257 2 | 0 | 0 1.10/1.18 c 1.2s | 7 | 3630 | 3223 | 1383 3 | 0 | 0 1.39/1.44 c 1.4s | 7 | 4591 | 4084 | 1383 4 | 0 | 0 1.39/1.44 c #cpu_time = 1.415s 1.39/1.44 c #wall_clock_time = 1.415s 1.39/1.44 c #decision = 4591 1.39/1.44 c #random_decision = 26 1.39/1.44 c #conflict = 4084 1.39/1.44 c #restart = 7 1.39/1.44 o 477 1.39/1.44 c BCD2: updating upper bound: 511 -> 476 1.39/1.44 c BCD2: 0 <= obj <= 476 1.39/1.44 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 1.39/1.44 c BCD2: #sat=1 #unsat=1 bias=1/2 1.39/1.44 c Solving starts ... 1.39/1.44 c ============================[ Search Statistics ]============================ 1.39/1.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.44 c | | | | Limit GC | Var | Constra 1.39/1.44 c ============================================================================= 1.39/1.44 c 0.0s | 0 | 0 | 0 | 1383 0 | 0 | 0 1.39/1.44 c 0.0s | 0 | 7 | 0 | 1383 0 | 0 | 0 1.39/1.44 c #cpu_time = 0.003s 1.39/1.44 c #wall_clock_time = 0.003s 1.39/1.44 c #decision = 7 1.39/1.44 c #random_decision = 0 1.39/1.44 c #conflict = 0 1.39/1.44 c #restart = 0 1.39/1.44 c BCD2: found a new core of size 8: cost of the new core is >=2 1.39/1.44 c lower bound updated to 2 1.39/1.44 c BCD2: 2 <= obj <= 476 1.39/1.44 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 1.39/1.44 c BCD2: #sat=1 #unsat=2 bias=2/3 1.39/1.44 c Solving starts ... 1.39/1.44 c ============================[ Search Statistics ]============================ 1.39/1.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.44 c | | | | Limit GC | Var | Constra 1.39/1.44 c ============================================================================= 1.39/1.44 c 0.0s | 0 | 0 | 0 | 1383 0 | 0 | 0 1.59/1.61 c 0.2s | 1 | 192 | 100 | 1383 0 | 0 | 0 1.59/1.68 c 0.2s | 2 | 466 | 250 | 1383 0 | 0 | 0 1.69/1.72 c 0.3s | 3 | 711 | 475 | 1383 1 | 0 | 0 1.69/1.79 c 0.3s | 4 | 1063 | 813 | 1383 1 | 0 | 0 1.79/1.89 c 0.4s | 5 | 1728 | 1320 | 1522 1 | 0 | 0 2.39/2.45 c 1.0s | 6 | 2531 | 2081 | 1522 2 | 0 | 0 2.68/2.74 c 1.3s | 7 | 3768 | 3223 | 1522 4 | 0 | 0 3.18/3.21 c 1.8s | 8 | 5584 | 4936 | 1675 5 | 0 | 0 4.08/4.11 c 2.7s | 9 | 8485 | 7506 | 1843 7 | 0 | 0 5.88/5.92 c 4.5s | 10 | 12747 | 11361 | 1843 11 | 0 | 0 7.88/7.91 c 6.5s | 11 | 18971 | 17144 | 2028 16 | 0 | 0 9.90/9.92 c 8.5s | 11 | 23302 | 21244 | 2028 19 | 0 | 0 11.39/11.40 c 10.0s | 12 | 27979 | 25819 | 2231 23 | 0 | 0 13.39/13.41 c 12.0s | 12 | 36116 | 33719 | 2231 28 | 0 | 0 14.89/14.94 c 13.5s | 13 | 41308 | 38832 | 2455 32 | 0 | 0 16.89/16.94 c 15.5s | 13 | 46884 | 44032 | 2455 35 | 0 | 0 18.89/18.97 c 17.5s | 13 | 52919 | 49832 | 2455 39 | 0 | 0 20.89/20.98 c 19.5s | 13 | 59406 | 56032 | 2701 43 | 0 | 0 21.69/21.73 c 20.3s | 14 | 61810 | 58352 | 2701 44 | 0 | 0 23.69/23.75 c 22.3s | 14 | 68441 | 64752 | 2701 49 | 0 | 0 25.69/25.76 c 24.3s | 14 | 74237 | 70452 | 2701 52 | 0 | 0 27.78/27.80 c 26.4s | 14 | 80162 | 76152 | 2701 56 | 0 | 0 29.79/29.83 c 28.4s | 14 | 86273 | 82052 | 2701 60 | 0 | 0 31.78/31.80 c 30.4s | 15 | 92079 | 87632 | 2972 63 | 0 | 0 33.78/33.82 c 32.4s | 15 | 99216 | 94232 | 2972 67 | 0 | 0 35.78/35.82 c 34.4s | 15 | 105496 | 100132 | 2972 71 | 0 | 0 37.78/37.83 c 36.4s | 15 | 111980 | 106332 | 2972 74 | 0 | 0 39.78/39.84 c 38.4s | 15 | 118451 | 112732 | 2972 78 | 0 | 0 41.79/41.86 c 40.4s | 15 | 124839 | 119032 | 2972 82 | 0 | 0 43.78/43.89 c 42.4s | 15 | 131479 | 125532 | 2972 86 | 0 | 0 45.68/45.76 c 44.3s | 16 | 137578 | 131552 | 3270 89 | 0 | 0 47.78/47.83 c 46.4s | 16 | 145860 | 139552 | 3270 94 | 0 | 0 49.78/49.85 c 48.4s | 16 | 150494 | 143952 | 3270 96 | 0 | 0 51.78/51.88 c 50.4s | 16 | 155700 | 148852 | 3270 98 | 0 | 0 53.78/53.90 c 52.5s | 16 | 158941 | 151852 | 3270 100 | 0 | 0 55.88/55.93 c 54.5s | 16 | 164996 | 157752 | 3270 103 | 0 | 0 57.88/57.99 c 56.5s | 16 | 169345 | 161952 | 3270 105 | 0 | 0 59.97/60.01 c 58.6s | 16 | 173122 | 165652 | 3270 107 | 0 | 0 61.97/62.06 c 60.6s | 16 | 176554 | 168952 | 3270 109 | 0 | 0 63.97/64.07 c 62.6s | 16 | 179101 | 171352 | 3270 110 | 0 | 0 66.08/66.11 c 64.7s | 16 | 183347 | 175352 | 3270 112 | 0 | 0 68.07/68.12 c 66.7s | 16 | 189732 | 181552 | 3270 115 | 0 | 0 70.07/70.13 c 68.7s | 16 | 194661 | 186052 | 3270 118 | 0 | 0 72.07/72.13 c 70.7s | 16 | 199868 | 191052 | 3270 120 | 0 | 0 74.07/74.15 c 72.7s | 16 | 203950 | 194952 | 3598 122 | 0 | 0 75.27/75.33 c 73.9s | 17 | 206597 | 197432 | 3598 123 | 0 | 0 77.27/77.34 c 75.9s | 17 | 214365 | 204932 | 3598 127 | 0 | 0 79.28/79.37 c 77.9s | 17 | 220993 | 211532 | 3598 130 | 0 | 0 81.27/81.37 c 79.9s | 17 | 227341 | 217832 | 3598 133 | 0 | 0 83.37/83.40 c 82.0s | 17 | 233552 | 223932 | 3598 136 | 0 | 0 85.37/85.41 c 84.0s | 17 | 239722 | 230032 | 3598 139 | 0 | 0 87.37/87.43 c 86.0s | 17 | 246437 | 236632 | 3598 142 | 0 | 0 89.37/89.44 c 88.0s | 17 | 252242 | 242332 | 3598 145 | 0 | 0 91.37/91.44 c 90.0s | 17 | 258206 | 248232 | 3598 148 | 0 | 0 93.36/93.46 c 92.0s | 17 | 264181 | 254132 | 3598 151 | 0 | 0 95.36/95.47 c 94.0s | 17 | 270130 | 260032 | 3598 154 | 0 | 0 97.46/97.52 c 96.1s | 17 | 275854 | 265732 | 3598 157 | 0 | 0 99.46/99.55 c 98.1s | 17 | 281520 | 271332 | 3598 159 | 0 | 0 101.46/101.58 c 100s | 17 | 287933 | 277632 | 3598 162 | 0 | 0 103.47/103.58 c 102s | 17 | 293800 | 283432 | 3598 165 | 0 | 0 105.57/105.61 c 104s | 17 | 299979 | 289532 | 3598 168 | 0 | 0 107.56/107.64 c 106s | 17 | 305395 | 294932 | 3958 170 | 0 | 0 108.06/108.18 c 106s | 18 | 306730 | 296252 | 3958 171 | 0 | 0 110.16/110.21 c 108s | 18 | 311564 | 300952 | 3958 173 | 0 | 0 112.16/112.26 c 110s | 18 | 316447 | 305752 | 3958 175 | 0 | 0 114.16/114.27 c 112s | 18 | 320149 | 309352 | 3958 177 | 0 | 0 116.26/116.30 c 114s | 18 | 324399 | 313552 | 3958 179 | 0 | 0 118.26/118.33 c 116s | 18 | 328888 | 317952 | 3958 181 | 0 | 0 120.26/120.36 c 118s | 18 | 332518 | 321452 | 3958 183 | 0 | 0 122.25/122.36 c 120s | 18 | 337310 | 326152 | 3958 185 | 0 | 0 124.26/124.40 c 122s | 18 | 342145 | 330752 | 3958 187 | 0 | 0 126.35/126.44 c 124s | 18 | 346657 | 335152 | 3958 189 | 0 | 0 128.35/128.47 c 127s | 18 | 350487 | 338852 | 3958 191 | 0 | 0 130.35/130.49 c 129s | 18 | 354369 | 342652 | 3958 192 | 0 | 0 132.35/132.49 c 131s | 18 | 358212 | 346452 | 3958 194 | 0 | 0 134.46/134.55 c 133s | 18 | 362632 | 350752 | 3958 196 | 0 | 0 136.46/136.55 c 135s | 18 | 366788 | 354852 | 3958 198 | 0 | 0 138.46/138.59 c 137s | 18 | 371334 | 359352 | 3958 200 | 0 | 0 140.56/140.62 c 139s | 18 | 376106 | 364052 | 3958 202 | 0 | 0 142.55/142.66 c 141s | 18 | 380188 | 368052 | 3958 204 | 0 | 0 144.55/144.68 c 143s | 18 | 384453 | 372252 | 3958 206 | 0 | 0 146.65/146.71 c 145s | 18 | 388378 | 376152 | 3958 208 | 0 | 0 148.65/148.72 c 147s | 18 | 393252 | 380952 | 3958 210 | 0 | 0 150.66/150.75 c 149s | 18 | 398040 | 385652 | 3958 212 | 0 | 0 152.65/152.79 c 151s | 18 | 402856 | 390252 | 3958 214 | 0 | 0 154.75/154.80 c 153s | 18 | 405875 | 393152 | 3958 216 | 0 | 0 156.75/156.84 c 155s | 18 | 409860 | 396852 | 3958 217 | 0 | 0 158.75/158.85 c 157s | 18 | 413714 | 400452 | 3958 219 | 0 | 0 160.75/160.88 c 159s | 18 | 417303 | 403652 | 3958 221 | 0 | 0 162.75/162.89 c 161s | 18 | 421559 | 407852 | 3958 223 | 0 | 0 164.84/164.90 c 163s | 18 | 425578 | 411652 | 3958 224 | 0 | 0 166.84/166.92 c 165s | 18 | 430365 | 416352 | 3958 226 | 0 | 0 168.84/168.93 c 167s | 18 | 435148 | 421052 | 3958 229 | 0 | 0 170.84/170.95 c 169s | 18 | 440032 | 425852 | 3958 231 | 0 | 0 172.84/172.96 c 171s | 18 | 444388 | 430152 | 3958 233 | 0 | 0 174.85/174.97 c 173s | 18 | 449376 | 435052 | 3958 235 | 0 | 0 176.94/177.01 c 175s | 18 | 454283 | 439852 | 4354 237 | 0 | 0 178.94/179.04 c 177s | 18 | 458548 | 443952 | 4354 239 | 0 | 0 179.14/179.30 c 177s | 19 | 459100 | 444482 | 4354 239 | 0 | 0 181.24/181.32 c 179s | 19 | 466014 | 451182 | 4354 242 | 0 | 0 183.24/183.32 c 181s | 19 | 472230 | 457282 | 4354 245 | 0 | 0 185.24/185.34 c 183s | 19 | 478938 | 463882 | 4354 248 | 0 | 0 187.24/187.37 c 185s | 19 | 485935 | 470682 | 4354 251 | 0 | 0 189.34/189.40 c 187s | 19 | 492535 | 477182 | 4354 253 | 0 | 0 191.34/191.41 c 189s | 19 | 499346 | 483882 | 4354 256 | 0 | 0 193.33/193.43 c 191s | 19 | 505744 | 490182 | 4354 259 | 0 | 0 195.33/195.44 c 193s | 19 | 512553 | 496882 | 4354 262 | 0 | 0 197.33/197.44 c 195s | 19 | 520134 | 504182 | 4354 265 | 0 | 0 199.33/199.46 c 198s | 19 | 526469 | 510282 | 4354 268 | 0 | 0 201.33/201.46 c 200s | 19 | 532728 | 516482 | 4354 270 | 0 | 0 203.32/203.48 c 202s | 19 | 539312 | 522982 | 4354 273 | 0 | 0 205.43/205.52 c 204s | 19 | 545744 | 529282 | 4354 276 | 0 | 0 207.43/207.55 c 206s | 19 | 552160 | 535582 | 4354 278 | 0 | 0 209.43/209.55 c 208s | 19 | 558544 | 541882 | 4354 281 | 0 | 0 211.43/211.56 c 210s | 19 | 564763 | 547982 | 4354 284 | 0 | 0 213.43/213.59 c 212s | 19 | 571521 | 554582 | 4354 286 | 0 | 0 215.53/215.63 c 214s | 19 | 577841 | 560782 | 4354 289 | 0 | 0 217.52/217.64 c 216s | 19 | 584225 | 567082 | 4354 292 | 0 | 0 219.52/219.64 c 218s | 19 | 590006 | 572782 | 4354 294 | 0 | 0 221.52/221.68 c 220s | 19 | 596048 | 578482 | 4354 296 | 0 | 0 223.62/223.71 c 222s | 19 | 603003 | 585282 | 4354 299 | 0 | 0 225.62/225.72 c 224s | 19 | 609274 | 591382 | 4354 302 | 0 | 0 227.63/227.73 c 226s | 19 | 615225 | 597082 | 4354 304 | 0 | 0 229.62/229.73 c 228s | 19 | 620956 | 602682 | 4354 307 | 0 | 0 231.62/231.75 c 230s | 19 | 627336 | 608982 | 4354 309 | 0 | 0 233.62/233.76 c 232s | 19 | 633127 | 614582 | 4354 312 | 0 | 0 235.62/235.79 c 234s | 19 | 639489 | 620782 | 4354 314 | 0 | 0 237.72/237.87 c 236s | 19 | 645125 | 626182 | 4354 317 | 0 | 0 239.72/239.88 c 238s | 19 | 651032 | 631782 | 4354 319 | 0 | 0 241.82/241.94 c 240s | 19 | 656370 | 636882 | 4354 321 | 0 | 0 243.81/243.98 c 242s | 19 | 661714 | 641882 | 4354 323 | 0 | 0 245.81/245.98 c 244s | 19 | 667781 | 647782 | 4354 326 | 0 | 0 247.91/248.01 c 246s | 19 | 673800 | 653682 | 4354 328 | 0 | 0 249.91/250.08 c 248s | 19 | 679811 | 659382 | 4790 331 | 0 | 0 251.92/252.09 c 250s | 19 | 686257 | 665682 | 4790 333 | 0 | 0 252.31/252.46 c 251s | 20 | 687424 | 666827 | 4790 333 | 0 | 0 254.31/254.47 c 253s | 20 | 694465 | 673527 | 4790 336 | 0 | 0 256.41/256.50 c 255s | 20 | 701169 | 679927 | 4790 338 | 0 | 0 258.42/258.52 c 257s | 20 | 707632 | 685827 | 4790 341 | 0 | 0 260.41/260.55 c 259s | 20 | 714120 | 691927 | 4790 343 | 0 | 0 262.41/262.56 c 261s | 20 | 720588 | 697927 | 4790 345 | 0 | 0 264.51/264.60 c 263s | 20 | 726920 | 703927 | 4790 347 | 0 | 0 266.51/266.65 c 265s | 20 | 732949 | 709627 | 4790 350 | 0 | 0 268.51/268.66 c 267s | 20 | 738941 | 715427 | 4790 352 | 0 | 0 270.51/270.66 c 269s | 20 | 744546 | 720827 | 4790 354 | 0 | 0 272.60/272.71 c 271s | 20 | 749557 | 725627 | 4790 356 | 0 | 0 274.60/274.72 c 273s | 20 | 755393 | 731127 | 4790 358 | 0 | 0 276.60/276.75 c 275s | 20 | 762547 | 738027 | 4790 360 | 0 | 0 278.70/278.80 c 277s | 20 | 769286 | 744327 | 4790 363 | 0 | 0 280.70/280.82 c 279s | 20 | 775696 | 750427 | 4790 365 | 0 | 0 282.71/282.83 c 281s | 20 | 782410 | 756827 | 4790 367 | 0 | 0 284.70/284.87 c 283s | 20 | 788763 | 762727 | 4790 369 | 0 | 0 286.70/286.87 c 285s | 20 | 794661 | 768327 | 4790 372 | 0 | 0 288.70/288.87 c 287s | 20 | 800563 | 773927 | 4790 374 | 0 | 0 290.80/290.91 c 289s | 20 | 806720 | 779727 | 4790 376 | 0 | 0 292.79/292.94 c 291s | 20 | 812718 | 785427 | 4790 378 | 0 | 0 294.80/294.96 c 293s | 20 | 818727 | 791127 | 4790 380 | 0 | 0 296.79/296.96 c 295s | 20 | 825113 | 797127 | 4790 382 | 0 | 0 298.89/299.00 c 297s | 20 | 831124 | 802827 | 4790 385 | 0 | 0 300.89/301.01 c 299s | 20 | 837039 | 808527 | 4790 387 | 0 | 0 302.89/303.02 c 301s | 20 | 842780 | 813927 | 4790 389 | 0 | 0 304.89/305.05 c 303s | 20 | 848874 | 819727 | 4790 391 | 0 | 0 306.89/307.06 c 305s | 20 | 854956 | 825427 | 4790 393 | 0 | 0 308.89/309.08 c 307s | 20 | 861080 | 831027 | 4790 395 | 0 | 0 310.99/311.11 c 309s | 20 | 867469 | 837027 | 4790 397 | 0 | 0 312.98/313.14 c 311s | 20 | 874105 | 843227 | 4790 400 | 0 | 0 314.98/315.15 c 313s | 20 | 879810 | 848627 | 4790 402 | 0 | 0 316.98/317.16 c 315s | 20 | 885950 | 854427 | 4790 404 | 0 | 0 318.99/319.16 c 317s | 20 | 892084 | 860227 | 4790 406 | 0 | 0 320.98/321.17 c 319s | 20 | 898094 | 865927 | 4790 408 | 0 | 0 322.98/323.17 c 321s | 20 | 903933 | 871527 | 4790 410 | 0 | 0 324.98/325.19 c 323s | 20 | 910103 | 877227 | 4790 413 | 0 | 0 327.08/327.20 c 325s | 20 | 917147 | 883927 | 4790 415 | 0 | 0 329.08/329.23 c 327s | 20 | 923995 | 890427 | 4790 417 | 0 | 0 331.08/331.26 c 329s | 20 | 930705 | 896827 | 4790 420 | 0 | 0 333.07/333.27 c 331s | 20 | 936860 | 902727 | 4790 422 | 0 | 0 335.07/335.28 c 333s | 20 | 942989 | 908627 | 4790 424 | 0 | 0 337.17/337.30 c 335s | 20 | 949154 | 914427 | 4790 427 | 0 | 0 339.17/339.33 c 337s | 20 | 955508 | 920527 | 4790 429 | 0 | 0 341.17/341.33 c 339s | 20 | 962022 | 926627 | 4790 431 | 0 | 0 343.17/343.34 c 341s | 20 | 968437 | 932727 | 4790 433 | 0 | 0 345.17/345.35 c 343s | 20 | 975014 | 939127 | 4790 436 | 0 | 0 347.17/347.38 c 345s | 20 | 980925 | 944927 | 4790 438 | 0 | 0 349.16/349.39 c 347s | 20 | 987497 | 951327 | 4790 440 | 0 | 0 351.26/351.43 c 349s | 20 | 993640 | 957027 | 4790 443 | 0 | 0 353.26/353.43 c 351s | 20 | 999287 | 962427 | 4790 445 | 0 | 0 355.27/355.44 c 353s | 20 | 1005579 | 968427 | 4790 447 | 0 | 0 357.26/357.48 c 356s | 20 | 1012344 | 974927 | 4790 449 | 0 | 0 359.36/359.51 c 358s | 20 | 1019271 | 981527 | 4790 452 | 0 | 0 361.36/361.52 c 360s | 20 | 1025934 | 987927 | 4790 454 | 0 | 0 363.37/363.55 c 362s | 20 | 1032302 | 994127 | 5269 456 | 0 | 0 365.37/365.56 c 364s | 20 | 1037990 | 999627 | 5269 458 | 0 | 0 365.67/365.85 c 364s | 21 | 1038729 | 1000345 | 5269 458 | 0 | 0 367.77/367.90 c 366s | 21 | 1042244 | 1003245 | 5269 459 | 0 | 0 369.77/369.95 c 368s | 21 | 1046395 | 1007145 | 5269 461 | 0 | 0 371.86/372.03 c 370s | 21 | 1051381 | 1011845 | 5269 463 | 0 | 0 373.87/374.03 c 372s | 21 | 1055007 | 1015245 | 5269 464 | 0 | 0 375.86/376.06 c 374s | 21 | 1059334 | 1019345 | 5269 465 | 0 | 0 377.86/378.10 c 376s | 21 | 1063384 | 1023245 | 5269 467 | 0 | 0 379.96/380.13 c 378s | 21 | 1068071 | 1027745 | 5269 468 | 0 | 0 382.06/382.20 c 380s | 21 | 1071917 | 1031245 | 5269 469 | 0 | 0 384.06/384.24 c 382s | 21 | 1075224 | 1034345 | 5269 471 | 0 | 0 386.07/386.28 c 384s | 21 | 1079589 | 1038345 | 5269 472 | 0 | 0 388.16/388.31 c 386s | 21 | 1083757 | 1042345 | 5269 473 | 0 | 0 390.16/390.32 c 388s | 21 | 1088081 | 1046345 | 5269 475 | 0 | 0 392.15/392.38 c 390s | 21 | 1092339 | 1050345 | 5269 476 | 0 | 0 394.15/394.39 c 392s | 21 | 1096246 | 1053545 | 5269 477 | 0 | 0 396.15/396.39 c 394s | 21 | 1099904 | 1056845 | 5269 479 | 0 | 0 398.25/398.46 c 397s | 21 | 1104244 | 1060945 | 5269 480 | 0 | 0 400.26/400.48 c 399s | 21 | 1108298 | 1064845 | 5269 481 | 0 | 0 402.35/402.50 c 401s | 21 | 1112177 | 1068545 | 5269 483 | 0 | 0 404.35/404.51 c 403s | 21 | 1115805 | 1072045 | 5269 484 | 0 | 0 406.35/406.58 c 405s | 21 | 1119409 | 1075345 | 5269 485 | 0 | 0 408.34/408.59 c 407s | 21 | 1122220 | 1077945 | 5269 486 | 0 | 0 410.44/410.63 c 409s | 21 | 1125935 | 1081445 | 5269 487 | 0 | 0 412.45/412.65 c 411s | 21 | 1129441 | 1084545 | 5269 488 | 0 | 0 414.44/414.65 c 413s | 21 | 1133678 | 1088245 | 5269 490 | 0 | 0 416.44/416.68 c 415s | 21 | 1137711 | 1092045 | 5269 491 | 0 | 0 418.54/418.73 c 417s | 21 | 1142223 | 1096345 | 5269 493 | 0 | 0 420.54/420.80 c 419s | 21 | 1145737 | 1099545 | 5269 494 | 0 | 0 422.63/422.85 c 421s | 21 | 1148657 | 1102245 | 5269 495 | 0 | 0 424.63/424.88 c 423s | 21 | 1153166 | 1106645 | 5269 496 | 0 | 0 426.74/426.91 c 425s | 21 | 1156585 | 1109645 | 5269 497 | 0 | 0 428.73/428.92 c 427s | 21 | 1159869 | 1112845 | 5269 498 | 0 | 0 430.73/430.97 c 429s | 21 | 1164733 | 1117545 | 5269 500 | 0 | 0 432.73/432.98 c 431s | 21 | 1169578 | 1122145 | 5269 502 | 0 | 0 434.83/435.02 c 433s | 21 | 1174081 | 1126445 | 5269 503 | 0 | 0 436.83/437.03 c 435s | 21 | 1177969 | 1129945 | 5269 504 | 0 | 0 438.84/439.04 c 437s | 21 | 1181399 | 1132845 | 5269 505 | 0 | 0 440.83/441.07 c 439s | 21 | 1185227 | 1136545 | 5269 507 | 0 | 0 442.93/443.13 c 441s | 21 | 1189463 | 1140645 | 5269 508 | 0 | 0 444.93/445.16 c 443s | 21 | 1193385 | 1144245 | 5269 510 | 0 | 0 447.03/447.20 c 445s | 21 | 1197056 | 1147645 | 5269 511 | 0 | 0 449.03/449.27 c 447s | 21 | 1201159 | 1151445 | 5269 512 | 0 | 0 451.13/451.32 c 449s | 21 | 1205204 | 1155245 | 5269 513 | 0 | 0 453.13/453.34 c 451s | 21 | 1208722 | 1158545 | 5269 515 | 0 | 0 455.12/455.35 c 453s | 21 | 1212342 | 1161845 | 5269 516 | 0 | 0 457.12/457.36 c 455s | 21 | 1216302 | 1165645 | 5269 517 | 0 | 0 459.12/459.38 c 457s | 21 | 1220290 | 1169545 | 5269 519 | 0 | 0 461.22/461.40 c 459s | 21 | 1224033 | 1173245 | 5269 520 | 0 | 0 463.22/463.43 c 461s | 21 | 1227785 | 1176945 | 5269 521 | 0 | 0 465.22/465.47 c 464s | 21 | 1232677 | 1181745 | 5269 523 | 0 | 0 467.22/467.49 c 466s | 21 | 1237696 | 1186645 | 5269 525 | 0 | 0 469.22/469.49 c 468s | 21 | 1242907 | 1191745 | 5269 526 | 0 | 0 471.32/471.51 c 470s | 21 | 1248764 | 1197445 | 5269 528 | 0 | 0 473.31/473.56 c 472s | 21 | 1254802 | 1203245 | 5269 530 | 0 | 0 475.41/475.60 c 474s | 21 | 1258726 | 1206745 | 5269 532 | 0 | 0 477.41/477.65 c 476s | 21 | 1263449 | 1211245 | 5269 533 | 0 | 0 479.43/479.66 c 478s | 21 | 1266980 | 1214145 | 5269 534 | 0 | 0 481.52/481.72 c 480s | 21 | 1270917 | 1217845 | 5269 536 | 0 | 0 483.52/483.73 c 482s | 21 | 1274636 | 1221145 | 5269 537 | 0 | 0 485.52/485.76 c 484s | 21 | 1278387 | 1224545 | 5269 538 | 0 | 0 487.52/487.78 c 486s | 21 | 1282483 | 1228545 | 5269 539 | 0 | 0 489.62/489.81 c 488s | 21 | 1286912 | 1232745 | 5269 541 | 0 | 0 491.62/491.81 c 490s | 21 | 1290456 | 1235945 | 5269 542 | 0 | 0 493.61/493.81 c 492s | 21 | 1294777 | 1240145 | 5269 544 | 0 | 0 495.61/495.84 c 494s | 21 | 1299245 | 1244245 | 5269 545 | 0 | 0 497.61/497.89 c 496s | 21 | 1302314 | 1247045 | 5269 546 | 0 | 0 499.71/499.92 c 498s | 21 | 1306409 | 1250945 | 5269 547 | 0 | 0 501.71/501.93 c 500s | 21 | 1311214 | 1255645 | 5269 549 | 0 | 0 503.71/503.94 c 502s | 21 | 1315287 | 1259645 | 5269 551 | 0 | 0 505.71/505.94 c 504s | 21 | 1319976 | 1264145 | 5269 552 | 0 | 0 507.71/507.95 c 506s | 21 | 1324877 | 1268945 | 5269 554 | 0 | 0 509.71/509.97 c 508s | 21 | 1329354 | 1273245 | 5269 555 | 0 | 0 511.70/511.99 c 510s | 21 | 1333709 | 1277345 | 5269 557 | 0 | 0 513.80/514.01 c 512s | 21 | 1337581 | 1280845 | 5269 558 | 0 | 0 515.81/516.03 c 514s | 21 | 1341809 | 1284945 | 5269 560 | 0 | 0 517.80/518.07 c 516s | 21 | 1345722 | 1288345 | 5269 561 | 0 | 0 519.80/520.09 c 518s | 21 | 1349205 | 1291645 | 5269 562 | 0 | 0 521.90/522.13 c 520s | 21 | 1352389 | 1294445 | 5269 563 | 0 | 0 523.90/524.17 c 522s | 21 | 1355584 | 1297345 | 5269 564 | 0 | 0 526.00/526.21 c 524s | 21 | 1358927 | 1300445 | 5269 565 | 0 | 0 527.99/528.24 c 526s | 21 | 1362623 | 1303845 | 5269 566 | 0 | 0 530.00/530.26 c 528s | 21 | 1366357 | 1307445 | 5269 568 | 0 | 0 532.09/532.32 c 530s | 21 | 1370549 | 1311145 | 5269 569 | 0 | 0 534.09/534.37 c 532s | 21 | 1374524 | 1314845 | 5269 570 | 0 | 0 536.19/536.44 c 534s | 21 | 1378294 | 1318445 | 5269 572 | 0 | 0 538.19/538.44 c 536s | 21 | 1381958 | 1322045 | 5269 573 | 0 | 0 540.19/540.47 c 539s | 21 | 1386140 | 1326145 | 5269 574 | 0 | 0 542.19/542.49 c 541s | 21 | 1390110 | 1330045 | 5269 576 | 0 | 0 544.19/544.50 c 543s | 21 | 1394418 | 1334245 | 5269 577 | 0 | 0 546.29/546.53 c 545s | 21 | 1398587 | 1338345 | 5269 579 | 0 | 0 548.29/548.55 c 547s | 21 | 1403085 | 1342745 | 5269 580 | 0 | 0 550.29/550.56 c 549s | 21 | 1407454 | 1347045 | 5269 582 | 0 | 0 552.28/552.56 c 551s | 21 | 1412144 | 1351645 | 5269 583 | 0 | 0 554.29/554.59 c 553s | 21 | 1417220 | 1356545 | 5269 585 | 0 | 0 556.39/556.62 c 555s | 21 | 1421999 | 1361145 | 5269 587 | 0 | 0 558.48/558.72 c 557s | 21 | 1426042 | 1365045 | 5269 588 | 0 | 0 560.48/560.75 c 559s | 21 | 1430002 | 1368945 | 5269 590 | 0 | 0 562.48/562.76 c 561s | 21 | 1434049 | 1372945 | 5269 591 | 0 | 0 564.48/564.79 c 563s | 21 | 1437716 | 1376545 | 5269 592 | 0 | 0 566.58/566.80 c 565s | 21 | 1441869 | 1380645 | 5269 594 | 0 | 0 568.58/568.83 c 567s | 21 | 1446579 | 1385145 | 5269 595 | 0 | 0 570.58/570.87 c 569s | 21 | 1452462 | 1390845 | 5269 597 | 0 | 0 572.58/572.88 c 571s | 21 | 1457194 | 1395445 | 5269 599 | 0 | 0 574.57/574.89 c 573s | 21 | 1462323 | 1400245 | 5269 601 | 0 | 0 576.67/576.91 c 575s | 21 | 1467514 | 1405145 | 5269 602 | 0 | 0 578.67/578.94 c 577s | 21 | 1472805 | 1410245 | 5269 604 | 0 | 0 580.68/580.97 c 579s | 21 | 1478154 | 1415245 | 5269 606 | 0 | 0 582.67/582.99 c 581s | 21 | 1482953 | 1419945 | 5269 607 | 0 | 0 584.77/585.05 c 583s | 21 | 1488357 | 1425145 | 5269 609 | 0 | 0 586.77/587.06 c 585s | 21 | 1493817 | 1430345 | 5269 611 | 0 | 0 588.77/589.08 c 587s | 21 | 1498666 | 1435045 | 5269 613 | 0 | 0 590.77/591.09 c 589s | 21 | 1503825 | 1440045 | 5269 614 | 0 | 0 592.87/593.14 c 591s | 21 | 1508209 | 1444245 | 5269 616 | 0 | 0 594.87/595.17 c 593s | 21 | 1513141 | 1449045 | 5269 618 | 0 | 0 596.87/597.19 c 595s | 21 | 1517690 | 1453245 | 5269 619 | 0 | 0 598.97/599.20 c 597s | 21 | 1523746 | 1459045 | 5269 621 | 0 | 0 600.97/601.21 c 599s | 21 | 1529104 | 1464245 | 5269 623 | 0 | 0 602.96/603.21 c 601s | 21 | 1534828 | 1469845 | 5269 625 | 0 | 0 604.96/605.22 c 603s | 21 | 1540578 | 1475445 | 5269 627 | 0 | 0 606.97/607.25 c 605s | 21 | 1546473 | 1481145 | 5269 629 | 0 | 0 608.96/609.27 c 607s | 21 | 1551451 | 1485745 | 5269 630 | 0 | 0 611.06/611.30 c 609s | 21 | 1557226 | 1491345 | 5796 632 | 0 | 0 613.06/613.31 c 611s | 21 | 1562519 | 1496445 | 5796 634 | 0 | 0 614.46/614.76 c 613s | 22 | 1566806 | 1500622 | 5796 635 | 0 | 0 616.46/616.77 c 615s | 22 | 1574346 | 1507922 | 5796 637 | 0 | 0 618.56/618.82 c 617s | 22 | 1580059 | 1513422 | 5796 639 | 0 | 0 620.56/620.82 c 619s | 22 | 1585994 | 1518922 | 5796 641 | 0 | 0 622.55/622.85 c 621s | 22 | 1592426 | 1525122 | 5796 643 | 0 | 0 624.56/624.87 c 623s | 22 | 1598711 | 1531122 | 5796 645 | 0 | 0 626.55/626.87 c 625s | 22 | 1604545 | 1536822 | 5796 646 | 0 | 0 628.66/628.91 c 627s | 22 | 1610995 | 1543022 | 5796 648 | 0 | 0 630.66/630.91 c 629s | 22 | 1617451 | 1549222 | 5796 650 | 0 | 0 632.65/632.93 c 631s | 22 | 1623531 | 1555022 | 5796 652 | 0 | 0 634.65/634.96 c 633s | 22 | 1629348 | 1560522 | 5796 654 | 0 | 0 636.66/636.97 c 635s | 22 | 1634616 | 1565522 | 5796 655 | 0 | 0 638.65/638.99 c 637s | 22 | 1640088 | 1570622 | 5796 657 | 0 | 0 640.75/641.01 c 639s | 22 | 1645428 | 1575722 | 5796 659 | 0 | 0 642.75/643.01 c 641s | 22 | 1652210 | 1582322 | 5796 661 | 0 | 0 644.75/645.03 c 643s | 22 | 1657907 | 1587822 | 5796 663 | 0 | 0 646.75/647.05 c 645s | 22 | 1663161 | 1592822 | 5796 664 | 0 | 0 648.75/649.08 c 647s | 22 | 1668839 | 1598222 | 5796 666 | 0 | 0 650.85/651.12 c 649s | 22 | 1674597 | 1603722 | 5796 668 | 0 | 0 652.84/653.14 c 651s | 22 | 1679543 | 1608422 | 5796 669 | 0 | 0 654.84/655.15 c 653s | 22 | 1685416 | 1614122 | 5796 671 | 0 | 0 656.84/657.16 c 655s | 22 | 1691189 | 1619822 | 5796 673 | 0 | 0 658.84/659.18 c 657s | 22 | 1697836 | 1626322 | 5796 675 | 0 | 0 660.84/661.20 c 659s | 22 | 1704004 | 1632222 | 5796 677 | 0 | 0 662.93/663.23 c 661s | 22 | 1709786 | 1637822 | 5796 678 | 0 | 0 664.93/665.24 c 663s | 22 | 1715337 | 1643222 | 5796 680 | 0 | 0 666.93/667.25 c 665s | 22 | 1721329 | 1648922 | 5796 682 | 0 | 0 668.93/669.26 c 667s | 22 | 1726120 | 1653522 | 5796 684 | 0 | 0 670.93/671.27 c 669s | 22 | 1732819 | 1660022 | 5796 686 | 0 | 0 672.93/673.30 c 671s | 22 | 1738642 | 1665622 | 5796 687 | 0 | 0 675.03/675.32 c 673s | 22 | 1744588 | 1671322 | 5796 689 | 0 | 0 677.03/677.33 c 675s | 22 | 1750440 | 1677022 | 5796 691 | 0 | 0 679.03/679.34 c 677s | 22 | 1756233 | 1682622 | 5796 693 | 0 | 0 681.03/681.38 c 679s | 22 | 1761554 | 1687622 | 5796 694 | 0 | 0 683.03/683.39 c 681s | 22 | 1767218 | 1693022 | 5796 696 | 0 | 0 685.03/685.40 c 683s | 22 | 1772927 | 1698522 | 5796 698 | 0 | 0 687.12/687.41 c 685s | 22 | 1779327 | 1704722 | 5796 700 | 0 | 0 689.12/689.44 c 687s | 22 | 1785251 | 1710422 | 5796 702 | 0 | 0 691.12/691.48 c 690s | 22 | 1791265 | 1716322 | 5796 703 | 0 | 0 693.22/693.50 c 692s | 22 | 1797383 | 1722222 | 5796 705 | 0 | 0 695.22/695.52 c 694s | 22 | 1803347 | 1727922 | 5796 707 | 0 | 0 697.23/697.55 c 696s | 22 | 1809874 | 1734222 | 5796 709 | 0 | 0 699.22/699.59 c 698s | 22 | 1815566 | 1739722 | 5796 711 | 0 | 0 701.32/701.62 c 700s | 22 | 1821204 | 1745122 | 5796 713 | 0 | 0 703.32/703.65 c 702s | 22 | 1827955 | 1751522 | 5796 715 | 0 | 0 705.32/705.67 c 704s | 22 | 1833504 | 1756922 | 5796 716 | 0 | 0 707.32/707.69 c 706s | 22 | 1839013 | 1762322 | 5796 718 | 0 | 0 709.43/709.71 c 708s | 22 | 1844972 | 1768122 | 5796 720 | 0 | 0 711.43/711.74 c 710s | 22 | 1851418 | 1774422 | 5796 722 | 0 | 0 713.43/713.74 c 712s | 22 | 1856296 | 1779122 | 5796 723 | 0 | 0 715.43/715.78 c 714s | 22 | 1861349 | 1783922 | 5796 725 | 0 | 0 717.53/717.80 c 716s | 22 | 1866416 | 1788822 | 5796 726 | 0 | 0 719.53/719.81 c 718s | 22 | 1872835 | 1794922 | 5796 728 | 0 | 0 721.53/721.82 c 720s | 22 | 1879124 | 1800922 | 5796 730 | 0 | 0 723.53/723.84 c 722s | 22 | 1884887 | 1806422 | 5796 732 | 0 | 0 725.52/725.87 c 724s | 22 | 1890660 | 1812022 | 5796 734 | 0 | 0 727.52/727.89 c 726s | 22 | 1895882 | 1817022 | 5796 735 | 0 | 0 729.62/729.90 c 728s | 22 | 1902134 | 1823122 | 5796 737 | 0 | 0 731.62/731.91 c 730s | 22 | 1908505 | 1829122 | 5796 739 | 0 | 0 733.62/733.92 c 732s | 22 | 1914539 | 1835022 | 5796 741 | 0 | 0 735.63/735.96 c 734s | 22 | 1920504 | 1840822 | 5796 743 | 0 | 0 737.62/737.96 c 736s | 22 | 1925879 | 1846022 | 5796 745 | 0 | 0 739.62/739.97 c 738s | 22 | 1930959 | 1850922 | 5796 746 | 0 | 0 741.62/741.98 c 740s | 22 | 1936424 | 1856222 | 5796 748 | 0 | 0 743.72/744.00 c 742s | 22 | 1942065 | 1861722 | 5796 750 | 0 | 0 745.72/746.04 c 744s | 22 | 1947263 | 1866822 | 5796 751 | 0 | 0 747.73/748.04 c 746s | 22 | 1952793 | 1872122 | 5796 753 | 0 | 0 749.72/750.06 c 748s | 22 | 1958582 | 1877722 | 5796 755 | 0 | 0 751.72/752.07 c 750s | 22 | 1964295 | 1883222 | 5796 756 | 0 | 0 753.72/754.07 c 752s | 22 | 1970912 | 1889522 | 5796 758 | 0 | 0 755.72/756.08 c 754s | 22 | 1977263 | 1895722 | 5796 760 | 0 | 0 757.73/758.09 c 756s | 22 | 1982515 | 1900822 | 5796 762 | 0 | 0 759.72/760.09 c 758s | 22 | 1987686 | 1905722 | 5796 764 | 0 | 0 761.72/762.09 c 760s | 22 | 1993370 | 1911122 | 5796 765 | 0 | 0 763.72/764.09 c 762s | 22 | 1998763 | 1916322 | 5796 767 | 0 | 0 765.82/766.11 c 764s | 22 | 2004169 | 1921522 | 5796 769 | 0 | 0 767.82/768.13 c 766s | 22 | 2009938 | 1927022 | 5796 770 | 0 | 0 769.82/770.15 c 768s | 22 | 2015723 | 1932622 | 5796 772 | 0 | 0 771.81/772.18 c 770s | 22 | 2021426 | 1938222 | 5796 774 | 0 | 0 773.91/774.20 c 772s | 22 | 2026036 | 1942722 | 5796 775 | 0 | 0 775.91/776.22 c 774s | 22 | 2031818 | 1948422 | 5796 777 | 0 | 0 777.91/778.25 c 776s | 22 | 2037209 | 1953722 | 5796 779 | 0 | 0 779.91/780.26 c 778s | 22 | 2042340 | 1958722 | 5796 780 | 0 | 0 781.92/782.28 c 780s | 22 | 2047529 | 1963822 | 5796 782 | 0 | 0 784.02/784.32 c 782s | 22 | 2052489 | 1968722 | 5796 784 | 0 | 0 786.01/786.35 c 784s | 22 | 2057716 | 1973822 | 5796 785 | 0 | 0 788.01/788.35 c 786s | 22 | 2063590 | 1979622 | 5796 787 | 0 | 0 790.01/790.37 c 788s | 22 | 2068575 | 1984522 | 5796 789 | 0 | 0 792.11/792.43 c 790s | 22 | 2073865 | 1989622 | 5796 790 | 0 | 0 794.11/794.46 c 793s | 22 | 2079015 | 1994622 | 5796 792 | 0 | 0 796.11/796.48 c 795s | 22 | 2084966 | 2000422 | 5796 794 | 0 | 0 798.21/798.50 c 797s | 22 | 2090921 | 2006122 | 5796 795 | 0 | 0 800.21/800.51 c 799s | 22 | 2096195 | 2011122 | 5796 797 | 0 | 0 802.21/802.54 c 801s | 22 | 2102806 | 2017522 | 5796 799 | 0 | 0 804.21/804.57 c 803s | 22 | 2109269 | 2023822 | 5796 801 | 0 | 0 806.21/806.58 c 805s | 22 | 2114235 | 2028722 | 5796 803 | 0 | 0 808.31/808.62 c 807s | 22 | 2119525 | 2033922 | 5796 804 | 0 | 0 810.31/810.63 c 809s | 22 | 2123918 | 2038222 | 5796 806 | 0 | 0 812.31/812.67 c 811s | 22 | 2129753 | 2043922 | 5796 807 | 0 | 0 814.31/814.67 c 813s | 22 | 2136478 | 2050522 | 5796 809 | 0 | 0 816.40/816.70 c 815s | 22 | 2141158 | 2055122 | 5796 811 | 0 | 0 818.40/818.71 c 817s | 22 | 2146785 | 2060622 | 5796 813 | 0 | 0 820.41/820.71 c 819s | 22 | 2151808 | 2065522 | 5796 814 | 0 | 0 822.40/822.73 c 821s | 22 | 2156733 | 2070322 | 5796 816 | 0 | 0 824.40/824.77 c 823s | 22 | 2162724 | 2076022 | 5796 818 | 0 | 0 826.40/826.79 c 825s | 22 | 2167901 | 2081022 | 5796 819 | 0 | 0 828.50/828.81 c 827s | 22 | 2173589 | 2086422 | 5796 821 | 0 | 0 830.50/830.83 c 829s | 22 | 2179210 | 2091922 | 5796 823 | 0 | 0 832.51/832.83 c 831s | 22 | 2184897 | 2097422 | 5796 824 | 0 | 0 834.50/834.84 c 833s | 22 | 2190695 | 2102822 | 5796 826 | 0 | 0 836.50/836.84 c 835s | 22 | 2196183 | 2108122 | 5796 828 | 0 | 0 838.50/838.84 c 837s | 22 | 2202016 | 2113722 | 5796 830 | 0 | 0 840.50/840.85 c 839s | 22 | 2207355 | 2118822 | 5796 831 | 0 | 0 842.50/842.86 c 841s | 22 | 2213347 | 2124622 | 5796 833 | 0 | 0 844.51/844.88 c 843s | 22 | 2219085 | 2130222 | 5796 835 | 0 | 0 846.60/846.91 c 845s | 22 | 2224249 | 2135222 | 5796 836 | 0 | 0 848.60/848.92 c 847s | 22 | 2228883 | 2139722 | 5796 838 | 0 | 0 850.60/850.94 c 849s | 22 | 2233740 | 2144422 | 5796 839 | 0 | 0 852.60/852.97 c 851s | 22 | 2239951 | 2150522 | 5796 841 | 0 | 0 854.60/854.98 c 853s | 22 | 2244477 | 2154922 | 5796 843 | 0 | 0 856.70/857.01 c 855s | 22 | 2249890 | 2160122 | 5796 844 | 0 | 0 858.70/859.04 c 857s | 22 | 2256232 | 2166222 | 5796 846 | 0 | 0 860.70/861.07 c 859s | 22 | 2261993 | 2171822 | 5796 848 | 0 | 0 862.70/863.07 c 861s | 22 | 2267773 | 2177322 | 5796 850 | 0 | 0 864.69/865.07 c 863s | 22 | 2272930 | 2182222 | 5796 851 | 0 | 0 866.79/867.11 c 865s | 22 | 2278970 | 2188022 | 5796 853 | 0 | 0 868.80/869.12 c 867s | 22 | 2284464 | 2193322 | 5796 855 | 0 | 0 870.79/871.14 c 869s | 22 | 2289990 | 2198622 | 5796 857 | 0 | 0 872.79/873.17 c 871s | 22 | 2295780 | 2204122 | 5796 858 | 0 | 0 874.79/875.18 c 873s | 22 | 2301260 | 2209222 | 5796 860 | 0 | 0 876.89/877.20 c 875s | 22 | 2307619 | 2215422 | 5796 862 | 0 | 0 878.89/879.23 c 877s | 22 | 2313278 | 2220922 | 5796 864 | 0 | 0 880.91/881.25 c 879s | 22 | 2318069 | 2225622 | 5796 865 | 0 | 0 882.90/883.29 c 881s | 22 | 2323049 | 2230522 | 5796 867 | 0 | 0 885.00/885.30 c 883s | 22 | 2328331 | 2235622 | 6376 868 | 0 | 0 887.00/887.32 c 885s | 22 | 2333549 | 2240722 | 6376 870 | 0 | 0 889.00/889.34 c 887s | 22 | 2338841 | 2245922 | 6376 871 | 0 | 0 890.71/891.09 c 889s | 23 | 2344074 | 2251038 | 6376 873 | 0 | 0 892.80/893.11 c 891s | 23 | 2349507 | 2256038 | 6376 874 | 0 | 0 894.80/895.15 c 893s | 23 | 2354515 | 2260738 | 6376 875 | 0 | 0 896.80/897.17 c 895s | 23 | 2358548 | 2264638 | 6376 877 | 0 | 0 898.90/899.21 c 897s | 23 | 2364037 | 2270038 | 6376 878 | 0 | 0 900.90/901.25 c 899s | 23 | 2368387 | 2274038 | 6376 879 | 0 | 0 902.90/903.27 c 901s | 23 | 2372388 | 2277938 | 6376 881 | 0 | 0 904.90/905.27 c 903s | 23 | 2376402 | 2281738 | 6376 882 | 0 | 0 906.90/907.29 c 905s | 23 | 2380807 | 2285838 | 6376 883 | 0 | 0 909.00/909.31 c 907s | 23 | 2384668 | 2289238 | 6376 884 | 0 | 0 911.00/911.32 c 909s | 23 | 2388308 | 2292738 | 6376 885 | 0 | 0 913.00/913.34 c 911s | 23 | 2392086 | 2296238 | 6376 886 | 0 | 0 915.00/915.38 c 913s | 23 | 2396554 | 2300638 | 6376 887 | 0 | 0 916.99/917.38 c 915s | 23 | 2400500 | 2304538 | 6376 888 | 0 | 0 918.99/919.39 c 917s | 23 | 2404812 | 2308638 | 6376 890 | 0 | 0 921.09/921.41 c 919s | 23 | 2408942 | 2312738 | 6376 891 | 0 | 0 923.09/923.43 c 921s | 23 | 2412765 | 2316438 | 6376 892 | 0 | 0 925.09/925.43 c 923s | 23 | 2417050 | 2320538 | 6376 893 | 0 | 0 927.10/927.45 c 926s | 23 | 2420964 | 2324338 | 6376 894 | 0 | 0 929.09/929.47 c 928s | 23 | 2425204 | 2328438 | 6376 895 | 0 | 0 931.09/931.47 c 930s | 23 | 2429072 | 2332238 | 6376 897 | 0 | 0 933.09/933.48 c 932s | 23 | 2433764 | 2336838 | 6376 898 | 0 | 0 935.19/935.50 c 934s | 23 | 2438024 | 2340738 | 6376 899 | 0 | 0 937.19/937.55 c 936s | 23 | 2442207 | 2344838 | 6376 900 | 0 | 0 939.20/939.57 c 938s | 23 | 2446484 | 2349038 | 6376 902 | 0 | 0 941.19/941.60 c 940s | 23 | 2450817 | 2353238 | 6376 903 | 0 | 0 943.29/943.65 c 942s | 23 | 2455253 | 2357238 | 6376 904 | 0 | 0 945.29/945.69 c 944s | 23 | 2459397 | 2361338 | 6376 905 | 0 | 0 947.29/947.69 c 946s | 23 | 2463485 | 2365338 | 6376 906 | 0 | 0 949.39/949.71 c 948s | 23 | 2467919 | 2369638 | 6376 908 | 0 | 0 951.39/951.74 c 950s | 23 | 2472004 | 2373638 | 6376 909 | 0 | 0 953.39/953.75 c 952s | 23 | 2476104 | 2377538 | 6376 910 | 0 | 0 955.39/955.79 c 954s | 23 | 2480248 | 2381138 | 6376 911 | 0 | 0 957.49/957.80 c 956s | 23 | 2484311 | 2385138 | 6376 912 | 0 | 0 959.49/959.83 c 958s | 23 | 2488785 | 2389438 | 6376 914 | 0 | 0 961.48/961.85 c 960s | 23 | 2492842 | 2393338 | 6376 915 | 0 | 0 963.58/963.91 c 962s | 23 | 2496671 | 2397038 | 6376 916 | 0 | 0 965.59/965.95 c 964s | 23 | 2500716 | 2400838 | 6376 917 | 0 | 0 967.58/967.96 c 966s | 23 | 2504663 | 2404738 | 6376 918 | 0 | 0 969.68/970.01 c 968s | 23 | 2508537 | 2408438 | 6376 919 | 0 | 0 971.68/972.05 c 970s | 23 | 2512894 | 2412738 | 6376 920 | 0 | 0 973.68/974.09 c 972s | 23 | 2517224 | 2416838 | 6376 922 | 0 | 0 975.78/976.13 c 974s | 23 | 2521175 | 2420738 | 6376 923 | 0 | 0 977.78/978.16 c 976s | 23 | 2525459 | 2424938 | 6376 924 | 0 | 0 979.79/980.19 c 978s | 23 | 2529529 | 2428938 | 6376 925 | 0 | 0 981.88/982.22 c 980s | 23 | 2533866 | 2433138 | 6376 927 | 0 | 0 983.88/984.24 c 982s | 23 | 2538284 | 2437238 | 6376 928 | 0 | 0 985.88/986.28 c 984s | 23 | 2542470 | 2441238 | 6376 929 | 0 | 0 987.98/988.33 c 986s | 23 | 2546504 | 2445138 | 6376 930 | 0 | 0 989.98/990.35 c 988s | 23 | 2550332 | 2448738 | 6376 931 | 0 | 0 991.99/992.38 c 990s | 23 | 2554431 | 2452638 | 6376 932 | 0 | 0 993.98/994.39 c 992s | 23 | 2557977 | 2456038 | 6376 933 | 0 | 0 996.08/996.42 c 994s | 23 | 2561668 | 2459638 | 6376 934 | 0 | 0 998.08/998.49 c 997s | 23 | 2566437 | 2464338 | 6376 936 | 0 | 0 1000.18/1000.52 c 999s | 23 | 2570826 | 2468638 | 6376 937 | 0 | 0 1002.18/1002.52 c 1001s | 23 | 2575082 | 2472738 | 6376 938 | 0 | 0 1004.18/1004.52 c 1003s | 23 | 2579715 | 2477238 | 6376 940 | 0 | 0 1006.18/1006.56 c 1005s | 23 | 2584181 | 2481638 | 6376 941 | 0 | 0 1008.17/1008.57 c 1007s | 23 | 2588376 | 2485738 | 6376 942 | 0 | 0 1010.17/1010.59 c 1009s | 23 | 2592824 | 2490038 | 6376 943 | 0 | 0 1012.27/1012.60 c 1011s | 23 | 2597053 | 2494138 | 6376 945 | 0 | 0 1014.27/1014.62 c 1013s | 23 | 2600660 | 2497638 | 6376 946 | 0 | 0 1016.27/1016.66 c 1015s | 23 | 2604662 | 2501238 | 6376 947 | 0 | 0 1018.28/1018.67 c 1017s | 23 | 2608128 | 2504438 | 6376 948 | 0 | 0 1020.37/1020.71 c 1019s | 23 | 2610953 | 2506938 | 6376 948 | 0 | 0 1022.37/1022.72 c 1021s | 23 | 2614297 | 2509638 | 6376 949 | 0 | 0 1024.37/1024.73 c 1023s | 23 | 2617296 | 2512138 | 6376 950 | 0 | 0 1026.37/1026.76 c 1025s | 23 | 2620740 | 2515338 | 6376 951 | 0 | 0 1028.37/1028.79 c 1027s | 23 | 2624496 | 2518938 | 6376 952 | 0 | 0 1030.48/1030.82 c 1029s | 23 | 2628808 | 2523138 | 6376 953 | 0 | 0 1032.47/1032.83 c 1031s | 23 | 2632743 | 2527038 | 6376 954 | 0 | 0 1034.47/1034.85 c 1033s | 23 | 2636758 | 2530938 | 6376 956 | 0 | 0 1036.47/1036.86 c 1035s | 23 | 2641237 | 2535338 | 6376 957 | 0 | 0 1038.48/1038.88 c 1037s | 23 | 2645492 | 2539438 | 6376 958 | 0 | 0 1040.58/1040.93 c 1039s | 23 | 2649859 | 2543738 | 6376 959 | 0 | 0 1042.58/1042.94 c 1041s | 23 | 2654037 | 2547838 | 6376 961 | 0 | 0 1044.58/1044.97 c 1043s | 23 | 2657989 | 2551738 | 6376 962 | 0 | 0 1046.57/1046.97 c 1045s | 23 | 2662727 | 2556438 | 6376 963 | 0 | 0 1048.57/1048.98 c 1047s | 23 | 2665586 | 2559038 | 6376 964 | 0 | 0 1050.67/1051.02 c 1049s | 23 | 2669591 | 2562838 | 6376 965 | 0 | 0 1052.67/1053.02 c 1051s | 23 | 2672956 | 2565938 | 6376 966 | 0 | 0 1054.68/1055.03 c 1053s | 23 | 2676902 | 2569738 | 6376 967 | 0 | 0 1056.67/1057.03 c 1055s | 23 | 2680844 | 2573638 | 6376 968 | 0 | 0 1058.67/1059.04 c 1057s | 23 | 2684993 | 2577738 | 6376 969 | 0 | 0 1060.67/1061.04 c 1059s | 23 | 2689116 | 2581738 | 6376 971 | 0 | 0 1062.67/1063.06 c 1061s | 23 | 2692427 | 2584738 | 6376 971 | 0 | 0 1064.67/1065.09 c 1063s | 23 | 2696738 | 2588938 | 6376 973 | 0 | 0 1066.78/1067.12 c 1065s | 23 | 2701951 | 2593838 | 6376 974 | 0 | 0 1068.77/1069.13 c 1067s | 23 | 2704628 | 2596438 | 6376 975 | 0 | 0 1070.77/1071.18 c 1069s | 23 | 2708767 | 2600238 | 6376 976 | 0 | 0 1072.87/1073.21 c 1071s | 23 | 2712622 | 2603438 | 6376 977 | 0 | 0 1074.87/1075.22 c 1073s | 23 | 2716092 | 2606638 | 6376 978 | 0 | 0 1076.87/1077.22 c 1075s | 23 | 2720382 | 2610338 | 6376 979 | 0 | 0 1078.88/1079.27 c 1077s | 23 | 2724489 | 2614138 | 6376 980 | 0 | 0 1080.87/1081.30 c 1079s | 23 | 2728475 | 2617938 | 6376 981 | 0 | 0 1082.97/1083.31 c 1081s | 23 | 2732721 | 2621938 | 6376 982 | 0 | 0 1084.97/1085.34 c 1083s | 23 | 2737438 | 2626338 | 6376 984 | 0 | 0 1086.97/1087.36 c 1085s | 23 | 2741807 | 2630538 | 6376 985 | 0 | 0 1089.07/1089.40 c 1087s | 23 | 2745858 | 2634338 | 6376 986 | 0 | 0 1091.07/1091.49 c 1090s | 23 | 2749583 | 2637838 | 6376 987 | 0 | 0 1093.07/1093.49 c 1092s | 23 | 2752936 | 2640538 | 6376 988 | 0 | 0 1095.16/1095.50 c 1094s | 23 | 2756842 | 2644338 | 6376 989 | 0 | 0 1097.16/1097.55 c 1096s | 23 | 2760710 | 2648038 | 6376 990 | 0 | 0 1099.26/1099.60 c 1098s | 23 | 2764283 | 2651438 | 6376 991 | 0 | 0 1101.26/1101.60 c 1100s | 23 | 2768109 | 2654838 | 6376 992 | 0 | 0 1103.26/1103.63 c 1102s | 23 | 2772086 | 2658638 | 6376 993 | 0 | 0 1105.27/1105.65 c 1104s | 23 | 2776123 | 2662438 | 6376 995 | 0 | 0 1107.26/1107.67 c 1106s | 23 | 2779821 | 2666038 | 6376 996 | 0 | 0 1109.26/1109.68 c 1108s | 23 | 2783552 | 2669738 | 6376 997 | 0 | 0 1111.46/1111.80 c 1110s | 23 | 2787653 | 2673738 | 6376 998 | 0 | 0 1113.46/1113.82 c 1112s | 23 | 2790301 | 2676138 | 6376 999 | 0 | 0 1115.46/1115.82 c 1114s | 23 | 2793983 | 2679438 | 6376 1000 | 0 | 0 1117.46/1117.82 c 1116s | 23 | 2798339 | 2683738 | 6376 1001 | 0 | 0 1119.46/1119.83 c 1118s | 23 | 2803110 | 2688438 | 6376 1002 | 0 | 0 1121.46/1121.83 c 1120s | 23 | 2807674 | 2692938 | 6376 1004 | 0 | 0 1123.56/1123.95 c 1122s | 23 | 2811841 | 2697038 | 6376 1005 | 0 | 0 1125.56/1125.95 c 1124s | 23 | 2814922 | 2699838 | 6376 1006 | 0 | 0 1127.56/1127.96 c 1126s | 23 | 2818867 | 2703738 | 6376 1007 | 0 | 0 1129.56/1129.99 c 1128s | 23 | 2823531 | 2708338 | 6376 1008 | 0 | 0 1131.56/1132.00 c 1130s | 23 | 2828059 | 2712638 | 6376 1009 | 0 | 0 1133.66/1134.04 c 1132s | 23 | 2832267 | 2716438 | 6376 1010 | 0 | 0 1135.66/1136.08 c 1134s | 23 | 2836256 | 2720238 | 6376 1012 | 0 | 0 1137.76/1138.10 c 1136s | 23 | 2840752 | 2724638 | 6376 1013 | 0 | 0 1139.76/1140.11 c 1138s | 23 | 2844947 | 2728638 | 6376 1014 | 0 | 0 1141.76/1142.13 c 1140s | 23 | 2848748 | 2732138 | 6376 1015 | 0 | 0 1143.76/1144.16 c 1142s | 23 | 2852585 | 2735638 | 6376 1016 | 0 | 0 1145.75/1146.20 c 1144s | 23 | 2856578 | 2739438 | 6376 1017 | 0 | 0 1147.85/1148.26 c 1146s | 23 | 2860547 | 2743338 | 6376 1018 | 0 | 0 1149.85/1150.27 c 1148s | 23 | 2864790 | 2747538 | 6376 1020 | 0 | 0 1151.95/1152.31 c 1150s | 23 | 2869122 | 2751838 | 6376 1021 | 0 | 0 1153.95/1154.34 c 1152s | 23 | 2873033 | 2755638 | 6376 1022 | 0 | 0 1156.05/1156.40 c 1154s | 23 | 2876839 | 2759138 | 6376 1023 | 0 | 0 1158.06/1158.41 c 1156s | 23 | 2881628 | 2763738 | 6376 1025 | 0 | 0 1160.05/1160.42 c 1158s | 23 | 2885270 | 2767338 | 6376 1026 | 0 | 0 1162.05/1162.43 c 1160s | 23 | 2888908 | 2770938 | 6376 1027 | 0 | 0 1164.05/1164.44 c 1162s | 23 | 2892770 | 2774738 | 6376 1028 | 0 | 0 1166.05/1166.47 c 1165s | 23 | 2896873 | 2778738 | 6376 1029 | 0 | 0 1168.15/1168.50 c 1167s | 23 | 2900845 | 2782638 | 6376 1030 | 0 | 0 1170.16/1170.52 c 1169s | 23 | 2905086 | 2786838 | 6376 1031 | 0 | 0 1172.15/1172.57 c 1171s | 23 | 2908932 | 2790638 | 6376 1032 | 0 | 0 1174.15/1174.59 c 1173s | 23 | 2912673 | 2794338 | 6376 1034 | 0 | 0 1176.25/1176.61 c 1175s | 23 | 2917654 | 2799238 | 6376 1035 | 0 | 0 1178.26/1178.61 c 1177s | 23 | 2921730 | 2803238 | 6376 1036 | 0 | 0 1180.25/1180.62 c 1179s | 23 | 2926041 | 2807438 | 6376 1037 | 0 | 0 1182.26/1182.63 c 1181s | 23 | 2930848 | 2812138 | 6376 1039 | 0 | 0 1184.25/1184.67 c 1183s | 23 | 2935364 | 2816538 | 6376 1040 | 0 | 0 1186.35/1186.70 c 1185s | 23 | 2939667 | 2820738 | 6376 1041 | 0 | 0 1188.35/1188.72 c 1187s | 23 | 2943729 | 2824738 | 6376 1043 | 0 | 0 1190.35/1190.74 c 1189s | 23 | 2948119 | 2829038 | 6376 1044 | 0 | 0 1192.35/1192.78 c 1191s | 23 | 2952176 | 2833038 | 6376 1045 | 0 | 0 1194.36/1194.79 c 1193s | 23 | 2956111 | 2836838 | 6376 1046 | 0 | 0 1196.46/1196.83 c 1195s | 23 | 2959858 | 2840138 | 6376 1047 | 0 | 0 1198.45/1198.88 c 1197s | 23 | 2964341 | 2844438 | 6376 1048 | 0 | 0 1200.45/1200.89 c 1199s | 23 | 2968153 | 2848038 | 6376 1050 | 0 | 0 1202.55/1202.93 c 1201s | 23 | 2971963 | 2851738 | 6376 1051 | 0 | 0 1204.55/1204.94 c 1203s | 23 | 2975080 | 2854538 | 6376 1051 | 0 | 0 1206.65/1207.05 c 1205s | 23 | 2979003 | 2858038 | 6376 1052 | 0 | 0 1208.66/1209.08 c 1207s | 23 | 2982627 | 2861338 | 6376 1053 | 0 | 0 1210.76/1211.12 c 1209s | 23 | 2986645 | 2865238 | 6376 1055 | 0 | 0 1212.75/1213.12 c 1211s | 23 | 2990758 | 2869238 | 6376 1056 | 0 | 0 1214.75/1215.17 c 1213s | 23 | 2994654 | 2872738 | 6376 1057 | 0 | 0 1216.75/1217.17 c 1215s | 23 | 2998888 | 2876838 | 6376 1058 | 0 | 0 1218.75/1219.19 c 1217s | 23 | 3002963 | 2880738 | 6376 1059 | 0 | 0 1220.85/1221.21 c 1219s | 23 | 3006584 | 2884038 | 6376 1060 | 0 | 0 1222.85/1223.23 c 1221s | 23 | 3010852 | 2887938 | 6376 1061 | 0 | 0 1224.85/1225.24 c 1223s | 23 | 3015385 | 2892238 | 6376 1063 | 0 | 0 1226.85/1227.24 c 1225s | 23 | 3019093 | 2895738 | 6376 1064 | 0 | 0 1228.95/1229.30 c 1227s | 23 | 3022478 | 2898538 | 6376 1064 | 0 | 0 1230.95/1231.33 c 1229s | 23 | 3025101 | 2900438 | 6376 1065 | 0 | 0 1233.05/1233.40 c 1231s | 23 | 3028844 | 2903738 | 6376 1066 | 0 | 0 1235.05/1235.47 c 1234s | 23 | 3034078 | 2908738 | 6376 1067 | 0 | 0 1237.05/1237.47 c 1236s | 23 | 3038562 | 2912938 | 6376 1069 | 0 | 0 1239.14/1239.50 c 1238s | 23 | 3042800 | 2916938 | 6376 1070 | 0 | 0 1241.14/1241.52 c 1240s | 23 | 3047586 | 2921538 | 6376 1071 | 0 | 0 1243.14/1243.58 c 1242s | 23 | 3052137 | 2925838 | 6376 1072 | 0 | 0 1245.14/1245.59 c 1244s | 23 | 3056132 | 2929638 | 6376 1073 | 0 | 0 1247.24/1247.62 c 1246s | 23 | 3060873 | 2934138 | 6376 1075 | 0 | 0 1249.25/1249.62 c 1248s | 23 | 3064833 | 2937638 | 6376 1076 | 0 | 0 1251.24/1251.62 c 1250s | 23 | 3069986 | 2942638 | 6376 1077 | 0 | 0 1253.24/1253.63 c 1252s | 23 | 3074885 | 2947238 | 6376 1079 | 0 | 0 1255.24/1255.65 c 1254s | 23 | 3079363 | 2951438 | 6376 1080 | 0 | 0 1257.24/1257.67 c 1256s | 23 | 3084116 | 2955738 | 6376 1081 | 0 | 0 1259.34/1259.75 c 1258s | 23 | 3087496 | 2958938 | 6376 1082 | 0 | 0 1261.35/1261.79 c 1260s | 23 | 3091848 | 2963138 | 6376 1083 | 0 | 0 1263.44/1263.81 c 1262s | 23 | 3096471 | 2967538 | 6376 1085 | 0 | 0 1265.44/1265.84 c 1264s | 23 | 3100861 | 2971638 | 6376 1086 | 0 | 0 1267.44/1267.84 c 1266s | 23 | 3105779 | 2976238 | 6376 1087 | 0 | 0 1269.44/1269.88 c 1268s | 23 | 3109433 | 2979538 | 6376 1088 | 0 | 0 1271.54/1271.91 c 1270s | 23 | 3113468 | 2983338 | 6376 1089 | 0 | 0 1273.55/1273.91 c 1272s | 23 | 3118099 | 2987838 | 6376 1090 | 0 | 0 1275.54/1275.94 c 1274s | 23 | 3122582 | 2992038 | 6376 1092 | 0 | 0 1277.64/1278.00 c 1276s | 23 | 3127681 | 2996838 | 6376 1093 | 0 | 0 1279.64/1280.06 c 1278s | 23 | 3132785 | 3001838 | 6376 1095 | 0 | 0 1281.64/1282.08 c 1280s | 23 | 3137666 | 3006538 | 6376 1096 | 0 | 0 1283.74/1284.10 c 1282s | 23 | 3142141 | 3010938 | 6376 1097 | 0 | 0 1285.74/1286.12 c 1284s | 23 | 3146950 | 3015638 | 6376 1099 | 0 | 0 1287.74/1288.15 c 1286s | 23 | 3151361 | 3019938 | 6376 1100 | 0 | 0 1289.74/1290.19 c 1288s | 23 | 3155648 | 3024138 | 6376 1101 | 0 | 0 1291.84/1292.22 c 1290s | 23 | 3160239 | 3028538 | 6376 1102 | 0 | 0 1293.84/1294.24 c 1292s | 23 | 3164496 | 3032538 | 6376 1104 | 0 | 0 1295.84/1296.25 c 1294s | 23 | 3167958 | 3035838 | 6376 1104 | 0 | 0 1297.83/1298.28 c 1296s | 23 | 3171858 | 3039438 | 6376 1106 | 0 | 0 1299.84/1300.29 c 1298s | 23 | 3176381 | 3043838 | 6376 1107 | 0 | 0 1301.93/1302.30 c 1300s | 23 | 3180356 | 3047738 | 6376 1108 | 0 | 0 1303.93/1304.33 c 1302s | 23 | 3184899 | 3052038 | 6376 1109 | 0 | 0 1305.93/1306.34 c 1304s | 23 | 3189575 | 3056538 | 6376 1111 | 0 | 0 1307.93/1308.38 c 1306s | 23 | 3194087 | 3060838 | 6376 1112 | 0 | 0 1310.03/1310.42 c 1308s | 23 | 3198780 | 3065338 | 6376 1113 | 0 | 0 1312.04/1312.44 c 1310s | 23 | 3203391 | 3069838 | 6376 1114 | 0 | 0 1314.03/1314.47 c 1313s | 23 | 3207928 | 3074138 | 6376 1116 | 0 | 0 1316.03/1316.48 c 1315s | 23 | 3211707 | 3077638 | 6376 1117 | 0 | 0 1318.13/1318.52 c 1317s | 23 | 3215529 | 3081338 | 6376 1118 | 0 | 0 1320.13/1320.55 c 1319s | 23 | 3218690 | 3084338 | 6376 1119 | 0 | 0 1322.23/1322.61 c 1321s | 23 | 3222103 | 3087538 | 6376 1120 | 0 | 0 1324.23/1324.63 c 1323s | 23 | 3225876 | 3091138 | 6376 1121 | 0 | 0 1326.24/1326.65 c 1325s | 23 | 3230664 | 3095738 | 6376 1122 | 0 | 0 1328.23/1328.66 c 1327s | 23 | 3236014 | 3100938 | 6376 1123 | 0 | 0 1330.23/1330.67 c 1329s | 23 | 3240932 | 3105638 | 6376 1125 | 0 | 0 1332.23/1332.67 c 1331s | 23 | 3245421 | 3109938 | 6376 1126 | 0 | 0 1334.23/1334.69 c 1333s | 23 | 3249539 | 3113838 | 6376 1127 | 0 | 0 1336.33/1336.70 c 1335s | 23 | 3254933 | 3119038 | 6376 1129 | 0 | 0 1338.33/1338.73 c 1337s | 23 | 3258865 | 3122838 | 6376 1130 | 0 | 0 1340.33/1340.75 c 1339s | 23 | 3263178 | 3127038 | 6376 1131 | 0 | 0 1342.33/1342.77 c 1341s | 23 | 3267790 | 3131538 | 6376 1132 | 0 | 0 1344.33/1344.78 c 1343s | 23 | 3272636 | 3136238 | 6376 1134 | 0 | 0 1346.43/1346.81 c 1345s | 23 | 3277049 | 3140438 | 6376 1135 | 0 | 0 1348.43/1348.84 c 1347s | 23 | 3280872 | 3143838 | 6376 1136 | 0 | 0 1350.43/1350.86 c 1349s | 23 | 3285082 | 3147838 | 6376 1137 | 0 | 0 1352.43/1352.87 c 1351s | 23 | 3289457 | 3152138 | 6376 1138 | 0 | 0 1354.53/1354.90 c 1353s | 23 | 3294131 | 3156738 | 6376 1140 | 0 | 0 1356.52/1356.90 c 1355s | 23 | 3298509 | 3161038 | 6376 1141 | 0 | 0 1358.52/1358.92 c 1357s | 23 | 3302523 | 3164938 | 6376 1142 | 0 | 0 1360.52/1360.92 c 1359s | 23 | 3306654 | 3168938 | 6376 1143 | 0 | 0 1362.53/1362.95 c 1361s | 23 | 3311327 | 3173338 | 6376 1145 | 0 | 0 1364.52/1364.98 c 1363s | 23 | 3315481 | 3177338 | 6376 1146 | 0 | 0 1366.52/1366.98 c 1365s | 23 | 3319892 | 3181538 | 6376 1147 | 0 | 0 1368.62/1369.02 c 1367s | 23 | 3324464 | 3185838 | 6376 1148 | 0 | 0 1370.62/1371.05 c 1369s | 23 | 3329190 | 3190438 | 6376 1150 | 0 | 0 1372.62/1373.08 c 1371s | 23 | 3333838 | 3194938 | 6376 1151 | 0 | 0 1374.63/1375.09 c 1373s | 23 | 3337921 | 3198838 | 6376 1152 | 0 | 0 1376.72/1377.13 c 1375s | 23 | 3342729 | 3203538 | 6376 1153 | 0 | 0 1378.72/1379.18 c 1377s | 23 | 3346272 | 3206938 | 6376 1154 | 0 | 0 1380.72/1381.19 c 1379s | 23 | 3349866 | 3210438 | 6376 1155 | 0 | 0 1382.82/1383.24 c 1381s | 23 | 3353324 | 3213838 | 6376 1156 | 0 | 0 1384.82/1385.24 c 1383s | 23 | 3358646 | 3218938 | 6376 1158 | 0 | 0 1386.83/1387.27 c 1385s | 23 | 3363053 | 3223038 | 6376 1159 | 0 | 0 1388.92/1389.31 c 1387s | 23 | 3367583 | 3227338 | 6376 1160 | 0 | 0 1390.92/1391.34 c 1389s | 23 | 3371967 | 3231538 | 6376 1162 | 0 | 0 1392.92/1393.37 c 1391s | 23 | 3376672 | 3236138 | 6376 1163 | 0 | 0 1395.02/1395.43 c 1393s | 23 | 3380730 | 3240038 | 6376 1164 | 0 | 0 1397.02/1397.46 c 1396s | 23 | 3385155 | 3244338 | 6376 1165 | 0 | 0 1399.02/1399.48 c 1398s | 23 | 3390223 | 3249238 | 6376 1167 | 0 | 0 1401.02/1401.50 c 1400s | 23 | 3394568 | 3253338 | 6376 1168 | 0 | 0 1403.11/1403.55 c 1402s | 23 | 3398341 | 3257038 | 6376 1169 | 0 | 0 1405.11/1405.55 c 1404s | 23 | 3402804 | 3261438 | 6376 1170 | 0 | 0 1407.11/1407.59 c 1406s | 23 | 3407188 | 3265538 | 6376 1172 | 0 | 0 1409.11/1409.59 c 1408s | 23 | 3411338 | 3269538 | 6376 1173 | 0 | 0 1411.21/1411.62 c 1410s | 23 | 3414602 | 3272738 | 6376 1174 | 0 | 0 1413.22/1413.66 c 1412s | 23 | 3419693 | 3277738 | 6376 1175 | 0 | 0 1415.21/1415.69 c 1414s | 23 | 3423676 | 3281538 | 6376 1176 | 0 | 0 1417.31/1417.71 c 1416s | 23 | 3428416 | 3286138 | 6376 1178 | 0 | 0 1419.31/1419.72 c 1418s | 23 | 3433401 | 3290938 | 6376 1179 | 0 | 0 1421.31/1421.75 c 1420s | 23 | 3438124 | 3295538 | 6376 1180 | 0 | 0 1423.31/1423.77 c 1422s | 23 | 3442594 | 3299938 | 6376 1182 | 0 | 0 1425.32/1425.78 c 1424s | 23 | 3446345 | 3303538 | 6376 1183 | 0 | 0 1427.31/1427.80 c 1426s | 23 | 3450142 | 3307238 | 6376 1184 | 0 | 0 1429.41/1429.84 c 1428s | 23 | 3453724 | 3310738 | 6376 1185 | 0 | 0 1431.41/1431.88 c 1430s | 23 | 3457020 | 3313938 | 6376 1186 | 0 | 0 1433.41/1433.88 c 1432s | 23 | 3460923 | 3317738 | 6376 1187 | 0 | 0 1435.51/1435.95 c 1434s | 23 | 3464874 | 3321438 | 6376 1188 | 0 | 0 1437.62/1438.02 c 1436s | 23 | 3468580 | 3324738 | 6376 1189 | 0 | 0 1439.62/1440.04 c 1438s | 23 | 3472730 | 3328238 | 6376 1190 | 0 | 0 1441.62/1442.08 c 1440s | 23 | 3476658 | 3332038 | 6376 1191 | 0 | 0 1443.71/1444.10 c 1442s | 23 | 3481078 | 3335938 | 6376 1192 | 0 | 0 1445.71/1446.15 c 1444s | 23 | 3484683 | 3339138 | 6376 1193 | 0 | 0 1447.71/1448.18 c 1446s | 23 | 3488123 | 3342338 | 6376 1194 | 0 | 0 1449.71/1450.19 c 1448s | 23 | 3492043 | 3346138 | 6376 1195 | 0 | 0 1451.81/1452.28 c 1450s | 23 | 3495250 | 3349038 | 7014 1196 | 0 | 0 1453.92/1454.32 c 1452s | 23 | 3499923 | 3353638 | 7014 1197 | 0 | 0 1455.91/1456.40 c 1454s | 23 | 3503269 | 3356638 | 7014 1198 | 0 | 0 1458.01/1458.40 c 1456s | 23 | 3507148 | 3360238 | 7014 1199 | 0 | 0 1460.01/1460.43 c 1458s | 23 | 3511511 | 3364438 | 7014 1200 | 0 | 0 1462.01/1462.45 c 1461s | 23 | 3515737 | 3368538 | 7014 1201 | 0 | 0 1464.01/1464.49 c 1463s | 23 | 3519913 | 3372638 | 7014 1202 | 0 | 0 1466.11/1466.51 c 1465s | 23 | 3523809 | 3376438 | 7014 1203 | 0 | 0 1466.11/1466.59 c 1465s | 24 | 3524041 | 3376662 | 7014 1203 | 0 | 0 1468.22/1468.61 c 1467s | 24 | 3530791 | 3382962 | 7014 1205 | 0 | 0 1470.21/1470.62 c 1469s | 24 | 3535393 | 3387362 | 7014 1206 | 0 | 0 1472.21/1472.69 c 1471s | 24 | 3540700 | 3392462 | 7014 1208 | 0 | 0 1474.21/1474.69 c 1473s | 24 | 3545498 | 3397062 | 7014 1209 | 0 | 0 1476.31/1476.71 c 1475s | 24 | 3550758 | 3401962 | 7014 1210 | 0 | 0 1478.31/1478.74 c 1477s | 24 | 3555831 | 3406562 | 7014 1211 | 0 | 0 1480.31/1480.75 c 1479s | 24 | 3560824 | 3411262 | 7014 1213 | 0 | 0 1482.31/1482.78 c 1481s | 24 | 3566314 | 3416262 | 7014 1214 | 0 | 0 1484.31/1484.79 c 1483s | 24 | 3571201 | 3420862 | 7014 1215 | 0 | 0 1486.41/1486.81 c 1485s | 24 | 3576332 | 3425662 | 7014 1216 | 0 | 0 1488.40/1488.82 c 1487s | 24 | 3581037 | 3430062 | 7014 1218 | 0 | 0 1490.40/1490.83 c 1489s | 24 | 3586526 | 3435262 | 7014 1219 | 0 | 0 1492.41/1492.84 c 1491s | 24 | 3591923 | 3440262 | 7014 1220 | 0 | 0 1494.40/1494.86 c 1493s | 24 | 3598029 | 3446062 | 7014 1222 | 0 | 0 1496.40/1496.87 c 1495s | 24 | 3603606 | 3451262 | 7014 1223 | 0 | 0 1498.40/1498.87 c 1497s | 24 | 3609066 | 3456562 | 7014 1225 | 0 | 0 1500.40/1500.90 c 1499s | 24 | 3614984 | 3462262 | 7014 1226 | 0 | 0 1502.50/1502.90 c 1501s | 24 | 3620221 | 3467262 | 7014 1227 | 0 | 0 1504.51/1504.93 c 1503s | 24 | 3624941 | 3471662 | 7014 1229 | 0 | 0 1506.50/1506.96 c 1505s | 24 | 3630403 | 3476862 | 7014 1230 | 0 | 0 1508.50/1508.97 c 1507s | 24 | 3635696 | 3481862 | 7014 1231 | 0 | 0 1510.60/1511.00 c 1509s | 24 | 3640752 | 3486762 | 7014 1233 | 0 | 0 1512.60/1513.02 c 1511s | 24 | 3646124 | 3491762 | 7014 1234 | 0 | 0 1514.60/1515.06 c 1513s | 24 | 3651422 | 3496862 | 7014 1235 | 0 | 0 1516.60/1517.09 c 1515s | 24 | 3657027 | 3502162 | 7014 1237 | 0 | 0 1518.70/1519.11 c 1517s | 24 | 3662609 | 3507362 | 7014 1238 | 0 | 0 1520.70/1521.11 c 1519s | 24 | 3667451 | 3511762 | 7014 1239 | 0 | 0 1522.70/1523.14 c 1521s | 24 | 3672638 | 3516762 | 7014 1241 | 0 | 0 1524.70/1525.16 c 1523s | 24 | 3677258 | 3521162 | 7014 1242 | 0 | 0 1526.69/1527.19 c 1525s | 24 | 3682573 | 3526162 | 7014 1243 | 0 | 0 1528.79/1529.20 c 1527s | 24 | 3687436 | 3530662 | 7014 1244 | 0 | 0 1530.69/1531.20 c 1529s | 24 | 3692609 | 3535662 | 7014 1246 | 0 | 0 1532.79/1533.22 c 1531s | 24 | 3698067 | 3540662 | 7014 1247 | 0 | 0 1534.79/1535.24 c 1533s | 24 | 3703043 | 3545462 | 7014 1248 | 0 | 0 1536.79/1537.28 c 1535s | 24 | 3708414 | 3550462 | 7014 1249 | 0 | 0 1538.89/1539.32 c 1537s | 24 | 3713678 | 3555362 | 7014 1251 | 0 | 0 1540.89/1541.34 c 1539s | 24 | 3718750 | 3560162 | 7014 1252 | 0 | 0 1542.91/1543.35 c 1541s | 24 | 3724078 | 3565262 | 7014 1253 | 0 | 0 1544.90/1545.37 c 1543s | 24 | 3729673 | 3570562 | 7014 1255 | 0 | 0 1547.00/1547.41 c 1545s | 24 | 3735028 | 3575762 | 7014 1256 | 0 | 0 1549.00/1549.42 c 1547s | 24 | 3740502 | 3580962 | 7014 1258 | 0 | 0 1551.00/1551.45 c 1550s | 24 | 3745651 | 3585962 | 7014 1259 | 0 | 0 1553.00/1553.47 c 1552s | 24 | 3751245 | 3591262 | 7014 1260 | 0 | 0 1555.00/1555.48 c 1554s | 24 | 3756639 | 3596362 | 7014 1262 | 0 | 0 1557.10/1557.50 c 1556s | 24 | 3762296 | 3601862 | 7014 1263 | 0 | 0 1559.10/1559.56 c 1558s | 24 | 3767678 | 3606962 | 7014 1265 | 0 | 0 1561.20/1561.60 c 1560s | 24 | 3772459 | 3611562 | 7014 1266 | 0 | 0 1563.20/1563.62 c 1562s | 24 | 3778143 | 3616862 | 7014 1267 | 0 | 0 1565.20/1565.65 c 1564s | 24 | 3782732 | 3621062 | 7014 1268 | 0 | 0 1567.20/1567.70 c 1566s | 24 | 3787715 | 3625862 | 7014 1270 | 0 | 0 1569.20/1569.70 c 1568s | 24 | 3792993 | 3630862 | 7014 1271 | 0 | 0 1571.30/1571.73 c 1570s | 24 | 3797821 | 3635562 | 7014 1272 | 0 | 0 1573.30/1573.75 c 1572s | 24 | 3803016 | 3640562 | 7014 1273 | 0 | 0 1575.30/1575.77 c 1574s | 24 | 3808433 | 3645562 | 7014 1275 | 0 | 0 1577.30/1577.79 c 1576s | 24 | 3813241 | 3650162 | 7014 1276 | 0 | 0 1579.30/1579.79 c 1578s | 24 | 3818560 | 3655262 | 7014 1277 | 0 | 0 1581.40/1581.81 c 1580s | 24 | 3823461 | 3659962 | 7014 1279 | 0 | 0 1583.39/1583.85 c 1582s | 24 | 3828926 | 3665162 | 7014 1280 | 0 | 0 1585.39/1585.88 c 1584s | 24 | 3833737 | 3669662 | 7014 1281 | 0 | 0 1587.49/1587.94 c 1586s | 24 | 3838977 | 3674762 | 7014 1283 | 0 | 0 1589.49/1589.98 c 1588s | 24 | 3844722 | 3680262 | 7014 1284 | 0 | 0 1591.59/1592.02 c 1590s | 24 | 3850247 | 3685562 | 7014 1285 | 0 | 0 1593.60/1594.04 c 1592s | 24 | 3855551 | 3690262 | 7014 1287 | 0 | 0 1595.59/1596.07 c 1594s | 24 | 3860294 | 3694762 | 7014 1288 | 0 | 0 1597.59/1598.07 c 1596s | 24 | 3865316 | 3699162 | 7014 1289 | 0 | 0 1599.69/1600.10 c 1598s | 24 | 3870104 | 3703462 | 7014 1290 | 0 | 0 1601.69/1602.12 c 1600s | 24 | 3875321 | 3708562 | 7014 1292 | 0 | 0 1603.69/1604.13 c 1602s | 24 | 3881018 | 3714062 | 7014 1293 | 0 | 0 1605.70/1606.13 c 1604s | 24 | 3886446 | 3719262 | 7014 1294 | 0 | 0 1607.69/1608.16 c 1606s | 24 | 3891458 | 3724062 | 7014 1296 | 0 | 0 1609.69/1610.18 c 1608s | 24 | 3896909 | 3729162 | 7014 1297 | 0 | 0 1611.79/1612.24 c 1610s | 24 | 3902436 | 3734462 | 7014 1298 | 0 | 0 1613.79/1614.25 c 1612s | 24 | 3907619 | 3739362 | 7014 1300 | 0 | 0 1615.79/1616.28 c 1614s | 24 | 3912439 | 3743962 | 7014 1301 | 0 | 0 1617.79/1618.28 c 1616s | 24 | 3917321 | 3748462 | 7014 1302 | 0 | 0 1619.79/1620.28 c 1618s | 24 | 3922368 | 3753362 | 7014 1303 | 0 | 0 1621.89/1622.33 c 1620s | 24 | 3926791 | 3757562 | 7014 1305 | 0 | 0 1623.89/1624.34 c 1622s | 24 | 3932269 | 3762762 | 7014 1306 | 0 | 0 1625.88/1626.36 c 1624s | 24 | 3937968 | 3768262 | 7014 1307 | 0 | 0 1627.88/1628.37 c 1626s | 24 | 3942920 | 3773062 | 7014 1309 | 0 | 0 1629.89/1630.38 c 1628s | 24 | 3948045 | 3778062 | 7014 1310 | 0 | 0 1631.88/1632.39 c 1630s | 24 | 3953102 | 3782762 | 7014 1311 | 0 | 0 1633.98/1634.42 c 1632s | 24 | 3958260 | 3787662 | 7014 1313 | 0 | 0 1635.98/1636.45 c 1635s | 24 | 3964275 | 3793362 | 7014 1314 | 0 | 0 1637.98/1638.47 c 1637s | 24 | 3969764 | 3798562 | 7014 1315 | 0 | 0 1639.98/1640.47 c 1639s | 24 | 3975239 | 3803562 | 7014 1317 | 0 | 0 1641.99/1642.48 c 1641s | 24 | 3980800 | 3808762 | 7014 1318 | 0 | 0 1644.09/1644.50 c 1643s | 24 | 3986046 | 3813662 | 7014 1319 | 0 | 0 1646.08/1646.53 c 1645s | 24 | 3991931 | 3819362 | 7014 1321 | 0 | 0 1648.08/1648.57 c 1647s | 24 | 3996955 | 3824162 | 7014 1322 | 0 | 0 1650.08/1650.58 c 1649s | 24 | 4002119 | 3829062 | 7014 1324 | 0 | 0 1652.18/1652.62 c 1651s | 24 | 4007382 | 3834062 | 7014 1325 | 0 | 0 1654.18/1654.65 c 1653s | 24 | 4012569 | 3839062 | 7014 1326 | 0 | 0 1656.18/1656.66 c 1655s | 24 | 4017828 | 3843962 | 7014 1327 | 0 | 0 1658.18/1658.69 c 1657s | 24 | 4023489 | 3849262 | 7014 1329 | 0 | 0 1660.28/1660.73 c 1659s | 24 | 4028849 | 3854262 | 7014 1330 | 0 | 0 1662.28/1662.74 c 1661s | 24 | 4034059 | 3859262 | 7014 1332 | 0 | 0 1664.28/1664.78 c 1663s | 24 | 4039697 | 3864562 | 7014 1333 | 0 | 0 1666.38/1666.83 c 1665s | 24 | 4044821 | 3869362 | 7014 1334 | 0 | 0 1668.38/1668.83 c 1667s | 24 | 4049869 | 3874162 | 7014 1336 | 0 | 0 1670.38/1670.84 c 1669s | 24 | 4055946 | 3879862 | 7014 1337 | 0 | 0 1672.38/1672.89 c 1671s | 24 | 4061043 | 3884762 | 7014 1338 | 0 | 0 1674.48/1674.91 c 1673s | 24 | 4066186 | 3889662 | 7014 1340 | 0 | 0 1676.48/1676.95 c 1675s | 24 | 4070803 | 3894062 | 7014 1341 | 0 | 0 1678.47/1678.96 c 1677s | 24 | 4076141 | 3899262 | 7014 1342 | 0 | 0 1680.57/1681.01 c 1679s | 24 | 4081228 | 3904162 | 7014 1344 | 0 | 0 1682.58/1683.04 c 1681s | 24 | 4086504 | 3909162 | 7014 1345 | 0 | 0 1684.57/1685.08 c 1683s | 24 | 4091789 | 3914162 | 7014 1346 | 0 | 0 1686.67/1687.12 c 1685s | 24 | 4096755 | 3918862 | 7014 1347 | 0 | 0 1688.77/1689.21 c 1687s | 24 | 4101254 | 3923162 | 7014 1349 | 0 | 0 1690.77/1691.23 c 1689s | 24 | 4107356 | 3928862 | 7014 1350 | 0 | 0 1692.77/1693.29 c 1691s | 24 | 4112797 | 3934062 | 7014 1351 | 0 | 0 1694.87/1695.33 c 1693s | 24 | 4117829 | 3938862 | 7014 1353 | 0 | 0 1696.88/1697.39 c 1695s | 24 | 4122741 | 3943462 | 7014 1354 | 0 | 0 1698.87/1699.39 c 1697s | 24 | 4127612 | 3948062 | 7014 1355 | 0 | 0 1700.97/1701.40 c 1699s | 24 | 4131889 | 3952162 | 7014 1356 | 0 | 0 1702.97/1703.46 c 1702s | 24 | 4136677 | 3956862 | 7014 1358 | 0 | 0 1704.97/1705.48 c 1704s | 24 | 4142220 | 3962162 | 7014 1359 | 0 | 0 1707.07/1707.52 c 1706s | 24 | 4147318 | 3967062 | 7014 1360 | 0 | 0 1709.08/1709.53 c 1708s | 24 | 4152360 | 3971862 | 7014 1362 | 0 | 0 1711.07/1711.55 c 1710s | 24 | 4157574 | 3976862 | 7014 1363 | 0 | 0 1713.07/1713.58 c 1712s | 24 | 4162859 | 3981962 | 7014 1364 | 0 | 0 1715.17/1715.64 c 1714s | 24 | 4167792 | 3986762 | 7014 1365 | 0 | 0 1717.17/1717.66 c 1716s | 24 | 4172579 | 3991462 | 7014 1367 | 0 | 0 1719.17/1719.67 c 1718s | 24 | 4178194 | 3996762 | 7014 1368 | 0 | 0 1721.17/1721.68 c 1720s | 24 | 4183204 | 4001562 | 7014 1369 | 0 | 0 1723.17/1723.68 c 1722s | 24 | 4188305 | 4006362 | 7014 1371 | 0 | 0 1725.27/1725.71 c 1724s | 24 | 4194177 | 4012062 | 7014 1372 | 0 | 0 1727.27/1727.75 c 1726s | 24 | 4199937 | 4017662 | 7014 1374 | 0 | 0 1729.27/1729.76 c 1728s | 24 | 4205379 | 4022962 | 7014 1375 | 0 | 0 1731.26/1731.78 c 1730s | 24 | 4210545 | 4027962 | 7014 1376 | 0 | 0 1733.27/1733.79 c 1732s | 24 | 4215316 | 4032562 | 7014 1378 | 0 | 0 1735.26/1735.80 c 1734s | 24 | 4219293 | 4036362 | 7014 1379 | 0 | 0 1737.36/1737.81 c 1736s | 24 | 4223955 | 4040762 | 7014 1380 | 0 | 0 1739.36/1739.82 c 1738s | 24 | 4229118 | 4045762 | 7014 1381 | 0 | 0 1741.36/1741.85 c 1740s | 24 | 4234561 | 4050962 | 7014 1383 | 0 | 0 1743.36/1743.86 c 1742s | 24 | 4239999 | 4056262 | 7014 1384 | 0 | 0 1745.46/1745.90 c 1744s | 24 | 4245088 | 4061162 | 7014 1385 | 0 | 0 1747.47/1747.93 c 1746s | 24 | 4250128 | 4066062 | 7014 1387 | 0 | 0 1749.46/1749.95 c 1748s | 24 | 4255584 | 4071262 | 7014 1388 | 0 | 0 1751.46/1751.98 c 1750s | 24 | 4260758 | 4075962 | 7014 1389 | 0 | 0 1753.46/1753.99 c 1752s | 24 | 4266139 | 4081162 | 7014 1391 | 0 | 0 1755.46/1756.00 c 1754s | 24 | 4271785 | 4086562 | 7014 1392 | 0 | 0 1757.57/1758.00 c 1756s | 24 | 4276556 | 4091162 | 7014 1393 | 0 | 0 1759.57/1760.01 c 1758s | 24 | 4281866 | 4096262 | 7014 1395 | 0 | 0 1761.57/1762.02 c 1760s | 24 | 4286898 | 4101062 | 7014 1396 | 0 | 0 1763.57/1764.04 c 1762s | 24 | 4292399 | 4106062 | 7014 1397 | 0 | 0 1765.57/1766.05 c 1764s | 24 | 4297830 | 4111262 | 7014 1399 | 0 | 0 1767.57/1768.05 c 1766s | 24 | 4302452 | 4115762 | 7014 1400 | 0 | 0 1769.57/1770.09 c 1768s | 24 | 4307685 | 4120862 | 7014 1401 | 0 | 0 1771.57/1772.09 c 1770s | 24 | 4313000 | 4125862 | 7014 1402 | 0 | 0 1773.67/1774.11 c 1772s | 24 | 4317831 | 4130462 | 7014 1404 | 0 | 0 1775.67/1776.14 c 1774s | 24 | 4322700 | 4135162 | 7014 1405 | 0 | 0 1777.66/1778.17 c 1776s | 24 | 4327457 | 4139762 | 7014 1406 | 0 | 0 1779.66/1780.18 c 1778s | 24 | 4332545 | 4144662 | 7014 1407 | 0 | 0 1781.67/1782.19 c 1780s | 24 | 4337248 | 4149262 | 7014 1409 | 0 | 0 1783.77/1784.20 c 1782s | 24 | 4342250 | 4154162 | 7014 1410 | 0 | 0 1785.76/1786.21 c 1784s | 24 | 4347242 | 4158962 | 7014 1411 | 0 | 0 1787.76/1788.26 c 1786s | 24 | 4352051 | 4163562 | 7014 1413 | 0 | 0 1789.76/1790.26 c 1788s | 24 | 4356932 | 4168162 | 7014 1414 | 0 | 0 1791.86/1792.30 c 1790s | 24 | 4362051 | 4173162 | 7014 1415 | 0 | 0 1793.86/1794.33 c 1792s | 24 | 4367280 | 4178262 | 7014 1416 | 0 | 0 1795.87/1796.34 c 1794s | 24 | 4372664 | 4183362 | 7014 1418 | 0 | 0 1797.86/1798.35 c 1796s | 24 | 4377444 | 4187762 | 7014 1419 | 0 | 0 1799.86/1800.39 c 1798s | 24 | 4381730 | 4191862 | 7014 1420 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106031-1466262756/watcher-4106031-1466262756 -o /tmp/evaluation-result-4106031-1466262756/solver-4106031-1466262756 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106031-1466262756.opb pid=26438 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.07 2.03 3/179 26441 /proc/meminfo: memFree=30582060/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=784828 CPUtime=0 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 2939 0 0 0 0 0 0 0 20 0 4 0 28325505 803663872 2790 33554432000 4194304 16246674 140737193985024 140737193984448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 196719 2800 441 2943 0 193613 0 [pid=26441/tid=26442] ppid=26438 vsize=802236 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 821489664 2858 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=806332 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 825683968 2875 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=810428 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28325505 829878272 2890 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100207 s] /proc/loadavg: 2.06 2.07 2.03 3/179 26441 /proc/meminfo: memFree=30582060/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 21952 0 0 0 5 4 0 0 20 0 4 0 28325505 1247350784 21790 33554432000 4194304 16246674 140737193985024 140737193984448 5675010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 304529 21793 759 2943 0 301423 0 [pid=26441/tid=26442] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 21797 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 21802 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 21807 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200507 s] /proc/loadavg: 2.06 2.07 2.03 3/179 26441 /proc/meminfo: memFree=30582060/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 39768 0 0 0 13 6 0 0 20 0 4 0 28325505 1247350784 39606 33554432000 4194304 16246674 140737193985024 140737193984448 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 304529 39615 759 2943 0 301423 0 [pid=26441/tid=26442] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 39619 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 39622 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 39625 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300455 s] /proc/loadavg: 2.06 2.07 2.03 3/179 26441 /proc/meminfo: memFree=30582060/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 57043 0 0 0 21 8 0 0 20 0 4 0 28325505 1247350784 56881 33554432000 4194304 16246674 140737193985024 140737193984448 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 304529 56886 759 2943 0 301423 0 [pid=26441/tid=26442] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 56887 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 56891 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 56895 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700385 s] /proc/loadavg: 2.06 2.07 2.03 3/179 26441 /proc/meminfo: memFree=30582060/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 126200 0 0 0 51 18 0 0 20 0 4 0 28325505 1247350784 126038 33554432000 4194304 16246674 140737193985024 140737193966912 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 304529 126041 766 2943 0 301423 0 [pid=26441/tid=26442] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 126043 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 126046 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28325505 1247350784 126049 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50038 s] /proc/loadavg: 2.06 2.07 2.03 3/183 26445 /proc/meminfo: memFree=29808012/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 246188 0 0 0 116 33 0 0 20 0 4 0 28325505 1250496512 246003 33554432000 4194304 16246674 140737193985024 140737193984336 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 305297 246003 851 2943 0 302191 0 [pid=26441/tid=26442] ppid=26438 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1250496512 246003 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1250496512 246003 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1250496512 246003 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10041 s] /proc/loadavg: 2.05 2.07 2.03 3/183 26445 /proc/meminfo: memFree=29598692/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1303108 CPUtime=3.08 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 266666 0 0 0 273 35 0 0 20 0 4 0 28325505 1334382592 266481 33554432000 4194304 16246674 140737193985024 140737193966912 13001408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 325777 266481 851 2943 0 322671 0 [pid=26441/tid=26442] ppid=26438 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1334382592 266481 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1334382592 266481 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1334382592 266481 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1303108 [startup+6.3004 s] /proc/loadavg: 2.05 2.07 2.03 3/183 26445 /proc/meminfo: memFree=29511420/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1308228 CPUtime=6.28 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 268157 0 0 0 593 35 0 0 20 0 4 0 28325505 1339625472 267972 33554432000 4194304 16246674 140737193985024 140737193966912 5523120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 327057 267972 852 2943 0 323951 0 [pid=26441/tid=26442] ppid=26438 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1339625472 267972 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1339625472 267972 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1339625472 267972 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.12 2.08 2.03 3/183 26445 /proc/meminfo: memFree=29509680/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1309252 CPUtime=12.69 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 268415 0 0 0 1233 36 0 0 20 0 4 0 28325505 1340674048 268230 33554432000 4194304 16246674 140737193985024 140737193966912 5712536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 327313 268230 854 2943 0 324207 0 [pid=26441/tid=26442] ppid=26438 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1340674048 268230 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1340674048 268230 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1340674048 268230 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.10 2.08 2.03 3/183 26445 /proc/meminfo: memFree=29507052/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1312324 CPUtime=25.49 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 269044 0 0 0 2513 36 0 0 20 0 4 0 28325505 1343819776 268858 33554432000 4194304 16246674 140737193985024 140737193966912 5676117 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 328081 268858 854 2943 0 324975 0 [pid=26441/tid=26442] ppid=26438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1343819776 268858 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1343819776 268858 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1343819776 268858 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 2.06 2.07 2.03 3/183 26446 /proc/meminfo: memFree=29504544/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1314372 CPUtime=51.08 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 269698 0 0 0 5072 36 0 0 20 0 4 0 28325505 1345916928 269510 33554432000 4194304 16246674 140737193985024 140737193966912 13191360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 328593 269510 854 2943 0 325487 0 [pid=26441/tid=26442] ppid=26438 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1345916928 269510 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1345916928 269510 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1345916928 269510 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.02 2.06 2.02 3/183 26447 /proc/meminfo: memFree=29502024/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1316420 CPUtime=102.27 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 270229 0 0 0 10191 36 0 0 20 0 4 0 28325505 1348014080 270022 33554432000 4194304 16246674 140737193985024 140737193968024 5673957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 329105 270022 854 2943 0 325999 0 [pid=26441/tid=26442] ppid=26438 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1348014080 270022 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1348014080 270022 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1348014080 270022 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.10 2.12 2.09 3/183 26575 /proc/meminfo: memFree=29494944/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1361.92 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273637 0 0 0 136147 45 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 140737193966912 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273095 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.06 2.11 2.09 3/183 26576 /proc/meminfo: memFree=29495180/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1421.92 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273637 0 0 0 142147 45 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 140737193966912 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273095 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.08 2.10 2.09 3/183 26577 /proc/meminfo: memFree=29494936/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1481.91 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273637 0 0 0 148145 46 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 140737193966912 5822536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273095 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273095 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.06 2.10 2.09 3/183 26578 /proc/meminfo: memFree=29491800/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1541.9 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273638 0 0 0 154144 46 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 140737193968024 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273351 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.02 2.08 2.08 3/183 26580 /proc/meminfo: memFree=29491808/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1601.89 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273638 0 0 0 160142 47 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 140737193966912 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273351 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.08 2.07 2.08 3/184 26584 /proc/meminfo: memFree=29491692/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1661.88 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273638 0 0 0 166141 47 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 140737193966912 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273351 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.07 2.07 2.08 3/183 26585 /proc/meminfo: memFree=29491948/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1721.87 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273638 0 0 0 172140 47 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 140737193966912 5659404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273351 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.18 2.10 2.09 3/183 26586 /proc/meminfo: memFree=29491584/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1781.86 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273638 0 0 0 178138 48 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 140737193984120 5673957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273351 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.10 2.09 3/183 26587 /proc/meminfo: memFree=29491456/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1800.06 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273638 0 0 0 179958 48 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 140737193966912 5712690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273351 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1328708 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 26441 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.14 2.10 2.09 3/183 26587 /proc/meminfo: memFree=29491456/32872528 swapFree=163656/177964 [pid=26441] ppid=26438 vsize=1328708 CPUtime=1800.06 cores=0,2,4,6 /proc/26441/stat : 26441 (toysat) R 26438 26441 20760 0 -1 4202496 273638 0 0 0 179958 48 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 140737193966912 5712690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/26441/statm: 332177 273351 855 2943 0 329071 0 [pid=26441/tid=26442] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26442/stat : 26442 (toysat) S 26438 26441 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692872805616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=26441/tid=26443] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26443/stat : 26443 (toysat) S 26438 26441 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692862315760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=26441/tid=26444] ppid=26438 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/26441/task/26444/stat : 26444 (toysat) S 26438 26441 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28325505 1360596992 273351 33554432000 4194304 16246674 140737193985024 139692851842224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1328708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.59 CPU system time (s): 0.483926 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.483926 maximum resident set size= 1093404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273638 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= 371 involuntary context switches= 1959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.37233 second user time and 7.16991 second system time The end
Begin job on node105 at 2016-06-18 17:12:36 IDJOB=4106031 IDBENCH=47899 IDSOLVER=2542 FILE ID=node105/4106031-1466262756 RUNJOBID= node105-1466229502-20776 PBS_JOBID= 19918174 Free space on /tmp= 71732 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=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106031-1466262756/watcher-4106031-1466262756 -o /tmp/evaluation-result-4106031-1466262756/solver-4106031-1466262756 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106031-1466262756.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 80881c7fbc3c10cf38784c74294061e5 RANDOM SEED=500150479 node105.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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.561 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.54 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.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30582440 kB Buffers: 80856 kB Cached: 203692 kB SwapCached: 1684 kB Active: 1185536 kB Inactive: 188912 kB Active(anon): 1087328 kB Inactive(anon): 4944 kB Active(file): 98208 kB Inactive(file): 183968 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 16452 kB Writeback: 28 kB AnonPages: 1269296 kB Mapped: 10528 kB Shmem: 0 kB Slab: 604928 kB SReclaimable: 48472 kB SUnreclaim: 556456 kB KernelStack: 1480 kB PageTables: 6736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1411612 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1097728 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= 71716 MiB End job on node105 at 2016-06-18 17:42:36