| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb |
| MD5SUM | 616d60d0b9e17d59a77d69efb2609a49 |
| 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.091985 |
| 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 | 108 |
| Total number of constraints | 9 |
| 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 | 9 |
| 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) | 324 |
| Sum of products size (including duplicates) | 648 |
| Number of different products | 324 |
| Sum of products size | 648 |
0.00/0.00 c 2016-06-18T17:34:41+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-4106043-1466264081.opb"] 0.00/0.01 c use --random-gen="2162731897 3792850623 3784548819 724659764 3711505176 1432857222 1905782117 573389503 3801879693 2529683957 1342414898 2396294230 21932694 59103059 151708581 1274791085 2869029418 944882108 717686242 3426556980 2000060258 3405940411 3666819696 2282692674 1273997191 1960035751 914652713 805824540 466151485 258282479 3984027016 1397737712 1380016804 217725580 1425122583 1882076317 1869366674 803757926 2488572248 610239588 2979430174 4143201483 3769362761 2704227349 2271744595 38624631 3688078 1042719931 109109513 3302248856 4286123933 2473018948 1844842224 1783574011 868294546 1490317587 4194230448 3933385363 4023224164 305331679 1371831125 3428882198 827860146 342290433 1822983050 787776156 651258543 2556801809 4269571707 3730729044 320973468 1880665542 345172122 1410692948 2401685263 7801891 1019534058 4199904469 112204259 3757624837 1312731608 1859886609 1710710697 1932038059 1026919964 3383490814 463207991 4168372155 2288134158 2972791888 3611168067 1613664675 2448414746 509113609 1273445582 1373741976 1905573859 165249850 885286516 4229356713 2056971679 657785305 1529666244 4175341869 939155503 1844675455 3212904851 142918633 1932558129 2379703915 665415333 279050719 3787824859 4113588069 1399173781 1435508466 3266723868 2818309744 1789022158 763244835 416566463 2803278029 1647221923 1801746498 2088439199 3631206659 394223349 1651061070 3080461911 2615834207 1777260911 4181525333 2688181682 2742382325 4179405746 3578648735 2700093129 3874472217 811237675 499768390 1059040723 3916345889 897449674 1085560438 4039817101 2490175445 4154432847 1528176779 4159970568 2110067643 3320849080 1048104214 3524579408 857808356 2089408618 537056176 1710747933 1350259408 3692857110 1439412080 852773621 86750657 1631657272 3997626903 3741132329 3826438144 1338841041 1465050602 4143310611 1294703212 754001069 1225187361 1443714453 62437718 3486442276 114877066 4045140648 1831587081 3196015158 530712664 4027799366 3430308625 595271151 3337380978 1510798984 4291509840 3107033581 2103073082 3356926334 2147566545 457392628 1185455311 1218455251 3556455912 1058221714 3320858058 3231631982 2025089380 3071004362 1677596218 4282870453 2192651960 825708102 2848587578 183020808 1697657520 1177187338 1269523572 763681514 3675280139 3736924235 3978156996 2671999787 2778832442 4242101891 912466825 844121470 3581649277 2727109104 1072498352 3869260439 142034158 3158659936 3567529286 1136687311 3793915826 1359038411 4195007764 1677668783 3686673722 1217390498 3941151128 3482746041 1396200905 1656186892 4198412891 916212705 1749471000 2638095822 1401220275 3518755416 1865519741 1591589186 1989888201 1244125108 2796258785 823058622 3768896820 541709181 795991863 382050098 499225161 493975600 3378485409 2425394254 1315122049 255 362436" option to reproduce the execution 0.00/0.01 c #vars 108 0.00/0.01 c #constraints 9 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.02 c 0.0s | 0 | 0 | 0 | 472 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 111 | 100 | 472 0 | 0 | 0 0.00/0.09 c 0.1s | 2 | 280 | 250 | 520 0 | 0 | 0 0.09/0.15 c 0.1s | 3 | 522 | 475 | 572 0 | 0 | 0 0.19/0.23 c 0.2s | 4 | 898 | 813 | 630 1 | 0 | 0 0.29/0.36 c 0.3s | 5 | 1450 | 1320 | 693 2 | 0 | 0 0.59/0.60 c 0.6s | 6 | 2298 | 2081 | 840 3 | 0 | 0 0.89/0.93 c 0.9s | 7 | 3509 | 3223 | 925 5 | 0 | 0 2.49/2.50 c 2.5s | 8 | 5323 | 4936 | 1018 8 | 0 | 0 3.09/3.13 c 3.1s | 9 | 8053 | 7506 | 1120 12 | 0 | 0 3.79/3.82 c 3.8s | 9 | 10853 | 10199 | 1120 16 | 0 | 0 3.79/3.82 c #cpu_time = 3.800s 3.79/3.82 c #wall_clock_time = 3.800s 3.79/3.82 c #decision = 10853 3.79/3.82 c #random_decision = 31 3.79/3.82 c #conflict = 10199 3.79/3.82 c #restart = 9 3.79/3.82 o 177 3.79/3.82 c BCD2: hardening fixes 1 literals 3.79/3.82 c BCD2: updating upper bound: 511 -> 176 3.79/3.82 c BCD2: 0 <= obj <= 176 3.79/3.82 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 3.79/3.82 c BCD2: #sat=1 #unsat=1 bias=1/2 3.79/3.82 c Solving starts ... 3.79/3.82 c ============================[ Search Statistics ]============================ 3.79/3.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.82 c | | | | Limit GC | Var | Constra 3.79/3.82 c ============================================================================= 3.79/3.82 c 0.0s | 0 | 0 | 0 | 1120 0 | 11 | 0 3.79/3.83 c 0.0s | 0 | 6 | 0 | 1120 1 | 11 | 27 3.79/3.83 c #cpu_time = 0.009s 3.79/3.83 c #wall_clock_time = 0.009s 3.79/3.83 c #decision = 6 3.79/3.83 c #random_decision = 0 3.79/3.83 c #conflict = 0 3.79/3.83 c #restart = 0 3.79/3.83 c BCD2: found a new core of size 7: cost of the new core is >=2 3.79/3.83 c lower bound updated to 2 3.79/3.83 c BCD2: 2 <= obj <= 176 3.79/3.83 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 3.79/3.83 c BCD2: #sat=1 #unsat=2 bias=2/3 3.79/3.83 c Solving starts ... 3.79/3.83 c ============================[ Search Statistics ]============================ 3.79/3.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.83 c | | | | Limit GC | Var | Constra 3.79/3.83 c ============================================================================= 3.79/3.83 c 0.0s | 0 | 0 | 0 | 1120 0 | 11 | 27 3.79/3.85 c 0.0s | 1 | 144 | 100 | 1120 0 | 11 | 27 3.99/4.00 c 0.2s | 2 | 342 | 250 | 1120 0 | 11 | 27 3.99/4.04 c 0.2s | 3 | 588 | 475 | 1120 0 | 11 | 27 4.09/4.16 c 0.3s | 4 | 948 | 813 | 1120 1 | 11 | 27 4.19/4.21 c 0.4s | 5 | 1475 | 1320 | 1232 2 | 11 | 27 4.29/4.37 c 0.5s | 6 | 2262 | 2081 | 1232 3 | 11 | 27 4.69/4.73 c 0.9s | 7 | 3514 | 3223 | 1232 4 | 11 | 27 5.19/5.23 c 1.4s | 8 | 5333 | 4936 | 1232 7 | 11 | 27 5.79/5.84 c 2.0s | 9 | 7982 | 7506 | 1356 10 | 11 | 27 7.09/7.19 c 3.4s | 10 | 12025 | 11361 | 1356 14 | 11 | 27 8.79/8.85 c 5.0s | 11 | 17963 | 17144 | 1492 21 | 11 | 27 10.79/10.86 c 7.0s | 11 | 24497 | 23444 | 1492 28 | 11 | 27 11.49/11.59 c 7.8s | 12 | 26966 | 25819 | 1492 30 | 11 | 27 13.49/13.60 c 9.8s | 12 | 33767 | 32319 | 1642 37 | 11 | 27 15.40/15.48 c 11.7s | 13 | 40417 | 38832 | 1642 44 | 11 | 27 17.39/17.48 c 13.7s | 13 | 46227 | 44032 | 1642 49 | 11 | 27 19.39/19.49 c 15.7s | 13 | 54357 | 51932 | 1807 56 | 11 | 27 21.39/21.42 c 17.6s | 14 | 61003 | 58352 | 1807 62 | 11 | 27 23.39/23.42 c 19.6s | 14 | 69161 | 66152 | 1807 70 | 11 | 27 25.40/25.45 c 21.6s | 14 | 76604 | 73452 | 1807 76 | 11 | 27 27.39/27.46 c 23.6s | 14 | 83621 | 80252 | 1988 83 | 11 | 27 29.39/29.49 c 25.7s | 14 | 90082 | 86552 | 1988 88 | 11 | 27 29.80/29.85 c 26.0s | 15 | 91240 | 87632 | 1988 89 | 11 | 27 31.79/31.87 c 28.0s | 15 | 97974 | 94032 | 1988 94 | 11 | 27 33.79/33.89 c 30.1s | 15 | 104246 | 100132 | 1988 99 | 11 | 27 35.79/35.90 c 32.1s | 15 | 110395 | 106232 | 1988 105 | 11 | 27 37.89/37.90 c 34.1s | 15 | 116541 | 112132 | 1988 110 | 11 | 27 39.89/39.92 c 36.1s | 15 | 122424 | 117932 | 1988 115 | 11 | 27 41.89/41.95 c 38.1s | 15 | 128725 | 124032 | 2187 119 | 11 | 27 43.89/43.97 c 40.1s | 15 | 134878 | 129832 | 2187 124 | 11 | 27 44.39/44.49 c 40.7s | 16 | 136629 | 131552 | 2187 125 | 11 | 27 46.39/46.49 c 42.7s | 16 | 143728 | 138152 | 2187 131 | 11 | 27 48.39/48.49 c 44.7s | 16 | 150221 | 144552 | 2187 136 | 11 | 27 50.49/50.51 c 46.7s | 16 | 156952 | 151152 | 2187 141 | 11 | 27 52.49/52.51 c 48.7s | 16 | 163792 | 157852 | 2187 146 | 11 | 27 54.48/54.54 c 50.7s | 16 | 170953 | 164652 | 2187 152 | 11 | 27 56.48/56.56 c 52.7s | 16 | 177724 | 170852 | 2187 157 | 11 | 27 58.48/58.59 c 54.8s | 16 | 184327 | 177152 | 2187 162 | 11 | 27 60.49/60.60 c 56.8s | 16 | 191465 | 183852 | 2187 167 | 11 | 27 62.58/62.60 c 58.8s | 16 | 199648 | 191852 | 2406 173 | 11 | 27 63.98/64.08 c 60.3s | 17 | 205358 | 197432 | 2406 177 | 11 | 27 65.99/66.10 c 62.3s | 17 | 212186 | 203832 | 2406 182 | 11 | 27 68.08/68.12 c 64.3s | 17 | 219112 | 210432 | 2406 186 | 11 | 27 70.08/70.14 c 66.3s | 17 | 225939 | 217032 | 2406 191 | 11 | 27 72.08/72.17 c 68.3s | 17 | 232470 | 223232 | 2406 196 | 11 | 27 74.08/74.19 c 70.4s | 17 | 238922 | 229632 | 2406 200 | 11 | 27 76.18/76.21 c 72.4s | 17 | 245568 | 236132 | 2406 205 | 11 | 27 78.19/78.21 c 74.4s | 17 | 252848 | 243232 | 2406 210 | 11 | 27 80.18/80.22 c 76.4s | 17 | 260203 | 250132 | 2406 215 | 11 | 27 82.18/82.23 c 78.4s | 17 | 267119 | 256732 | 2406 220 | 11 | 27 84.18/84.26 c 80.4s | 17 | 273382 | 262632 | 2406 224 | 11 | 27 86.17/86.28 c 82.4s | 17 | 280207 | 269132 | 2406 229 | 11 | 27 88.27/88.30 c 84.5s | 17 | 287670 | 276432 | 2406 234 | 11 | 27 90.28/90.32 c 86.5s | 17 | 294638 | 283232 | 2406 239 | 11 | 27 92.28/92.32 c 88.5s | 17 | 301789 | 290132 | 2647 244 | 11 | 27 94.08/94.13 c 90.3s | 18 | 308074 | 296252 | 2647 248 | 11 | 27 96.08/96.14 c 92.3s | 18 | 316467 | 304352 | 2647 253 | 11 | 27 98.08/98.16 c 94.3s | 18 | 323980 | 311352 | 2647 258 | 11 | 27 100.08/100.18 c 96.3s | 18 | 331000 | 317952 | 2647 263 | 11 | 27 102.08/102.19 c 98.4s | 18 | 338083 | 324952 | 2647 267 | 11 | 27 104.18/104.20 c 100s | 18 | 344668 | 331352 | 2647 272 | 11 | 27 106.18/106.21 c 102s | 18 | 351581 | 337952 | 2647 276 | 11 | 27 108.18/108.22 c 104s | 18 | 358077 | 344252 | 2647 280 | 11 | 27 110.18/110.23 c 106s | 18 | 364980 | 351052 | 2647 285 | 11 | 27 112.18/112.23 c 108s | 18 | 371636 | 357552 | 2647 289 | 11 | 27 114.18/114.25 c 110s | 18 | 378202 | 363852 | 2647 293 | 11 | 27 116.17/116.26 c 112s | 18 | 384986 | 370452 | 2647 298 | 11 | 27 118.17/118.28 c 114s | 18 | 391705 | 376952 | 2647 302 | 11 | 27 120.27/120.30 c 116s | 18 | 398437 | 383452 | 2647 307 | 11 | 27 122.27/122.33 c 118s | 18 | 405286 | 390052 | 2647 311 | 11 | 27 124.28/124.33 c 120s | 18 | 411842 | 396452 | 2647 315 | 11 | 27 126.27/126.34 c 122s | 18 | 418318 | 402652 | 2647 319 | 11 | 27 128.27/128.36 c 124s | 18 | 425177 | 409352 | 2647 324 | 11 | 27 130.27/130.38 c 126s | 18 | 431794 | 415852 | 2647 328 | 11 | 27 132.27/132.39 c 128s | 18 | 438364 | 422252 | 2647 333 | 11 | 27 134.37/134.42 c 130s | 18 | 444717 | 428352 | 2647 337 | 11 | 27 136.37/136.46 c 132s | 18 | 450820 | 434352 | 2912 341 | 11 | 27 138.37/138.47 c 134s | 18 | 457164 | 440552 | 2912 344 | 11 | 27 139.67/139.78 c 135s | 19 | 461250 | 444482 | 2912 347 | 11 | 27 141.77/141.80 c 137s | 19 | 467335 | 450082 | 2912 350 | 11 | 27 143.77/143.82 c 139s | 19 | 474088 | 456682 | 2912 354 | 11 | 27 145.76/145.88 c 142s | 19 | 478854 | 461182 | 2912 357 | 11 | 27 147.86/147.91 c 144s | 19 | 483416 | 465482 | 2912 360 | 11 | 27 149.86/149.95 c 146s | 19 | 488999 | 470782 | 2912 363 | 11 | 27 151.87/151.99 c 148s | 19 | 494688 | 476282 | 2912 366 | 11 | 27 153.86/154.00 c 150s | 19 | 499853 | 481182 | 2912 369 | 11 | 27 155.96/156.00 c 152s | 19 | 505304 | 486482 | 2912 373 | 11 | 27 157.96/158.01 c 154s | 19 | 511154 | 492182 | 2912 376 | 11 | 27 159.96/160.05 c 156s | 19 | 516904 | 497682 | 2912 380 | 11 | 27 161.96/162.07 c 158s | 19 | 522975 | 503582 | 2912 383 | 11 | 27 163.96/164.09 c 160s | 19 | 528725 | 509182 | 2912 387 | 11 | 27 166.06/166.11 c 162s | 19 | 534219 | 514382 | 2912 390 | 11 | 27 168.06/168.14 c 164s | 19 | 539494 | 519382 | 2912 393 | 11 | 27 170.05/170.15 c 166s | 19 | 544089 | 523682 | 2912 396 | 11 | 27 172.05/172.17 c 168s | 19 | 549206 | 528682 | 2912 399 | 11 | 27 174.15/174.22 c 170s | 19 | 554876 | 534182 | 2912 402 | 11 | 27 176.15/176.22 c 172s | 19 | 560414 | 539582 | 2912 405 | 11 | 27 178.16/178.25 c 174s | 19 | 565366 | 544282 | 2912 408 | 11 | 27 180.15/180.27 c 176s | 19 | 570713 | 549482 | 2912 411 | 11 | 27 182.15/182.28 c 178s | 19 | 576442 | 554982 | 2912 415 | 11 | 27 184.25/184.32 c 180s | 19 | 582178 | 560382 | 2912 418 | 11 | 27 186.25/186.33 c 182s | 19 | 588013 | 565782 | 2912 421 | 11 | 27 188.25/188.35 c 184s | 19 | 593529 | 571082 | 2912 425 | 11 | 27 190.25/190.38 c 186s | 19 | 599435 | 576682 | 2912 428 | 11 | 27 192.34/192.40 c 188s | 19 | 605003 | 582082 | 2912 431 | 11 | 27 194.34/194.41 c 190s | 19 | 610184 | 587082 | 2912 435 | 11 | 27 196.34/196.44 c 192s | 19 | 615086 | 591782 | 2912 437 | 11 | 27 198.34/198.45 c 194s | 19 | 619794 | 596282 | 2912 440 | 11 | 27 200.34/200.47 c 196s | 19 | 625409 | 601682 | 2912 444 | 11 | 27 202.34/202.49 c 198s | 19 | 631309 | 607282 | 2912 447 | 11 | 27 204.43/204.51 c 200s | 19 | 636799 | 612582 | 2912 450 | 11 | 27 206.43/206.55 c 202s | 19 | 642548 | 618182 | 2912 454 | 11 | 27 208.43/208.56 c 204s | 19 | 647851 | 623282 | 2912 457 | 11 | 27 210.43/210.57 c 206s | 19 | 652766 | 628082 | 2912 460 | 11 | 27 212.53/212.60 c 208s | 19 | 658301 | 633482 | 2912 464 | 11 | 27 214.53/214.62 c 210s | 19 | 663218 | 638182 | 2912 467 | 11 | 27 216.53/216.64 c 212s | 19 | 668040 | 642682 | 2912 469 | 11 | 27 218.52/218.65 c 214s | 19 | 673709 | 648082 | 2912 473 | 11 | 27 220.52/220.68 c 216s | 19 | 679784 | 653882 | 3204 476 | 11 | 27 222.62/222.70 c 218s | 19 | 685476 | 659382 | 3204 479 | 11 | 27 224.62/224.72 c 220s | 19 | 690781 | 664382 | 3204 482 | 11 | 27 225.53/225.69 c 221s | 20 | 693310 | 666827 | 3204 483 | 11 | 27 227.52/227.70 c 223s | 20 | 700945 | 673927 | 3204 487 | 11 | 27 229.62/229.70 c 225s | 20 | 707384 | 679927 | 3204 491 | 11 | 27 231.62/231.71 c 227s | 20 | 713959 | 686227 | 3204 494 | 11 | 27 233.63/233.72 c 229s | 20 | 720075 | 692127 | 3204 498 | 11 | 27 235.62/235.73 c 231s | 20 | 726152 | 698127 | 3204 501 | 11 | 27 237.63/237.75 c 233s | 20 | 732418 | 704227 | 3204 505 | 11 | 27 239.62/239.77 c 235s | 20 | 738499 | 710027 | 3204 508 | 11 | 27 241.62/241.78 c 237s | 20 | 744432 | 715827 | 3204 511 | 11 | 27 243.62/243.78 c 239s | 20 | 750088 | 721327 | 3204 514 | 11 | 27 245.72/245.81 c 241s | 20 | 755744 | 726827 | 3204 517 | 11 | 27 247.72/247.82 c 243s | 20 | 761628 | 732527 | 3204 521 | 11 | 27 249.72/249.83 c 246s | 20 | 767647 | 738327 | 3204 524 | 11 | 27 251.71/251.86 c 248s | 20 | 773941 | 744327 | 3204 527 | 11 | 27 253.71/253.88 c 250s | 20 | 780555 | 750727 | 3204 531 | 11 | 27 255.71/255.89 c 252s | 20 | 787561 | 757427 | 3204 535 | 11 | 27 257.81/257.91 c 254s | 20 | 793732 | 763427 | 3204 538 | 11 | 27 259.81/259.92 c 256s | 20 | 800109 | 769327 | 3204 542 | 11 | 27 261.81/261.93 c 258s | 20 | 806963 | 775827 | 3204 545 | 11 | 27 263.80/263.95 c 260s | 20 | 813287 | 781827 | 3204 549 | 11 | 27 265.80/265.96 c 262s | 20 | 819545 | 787627 | 3204 552 | 11 | 27 267.80/267.98 c 264s | 20 | 825992 | 793827 | 3204 555 | 11 | 27 269.90/270.00 c 266s | 20 | 832530 | 800127 | 3204 559 | 11 | 27 271.90/272.01 c 268s | 20 | 839090 | 806427 | 3204 563 | 11 | 27 273.91/274.02 c 270s | 20 | 845525 | 812627 | 3204 566 | 11 | 27 275.90/276.04 c 272s | 20 | 851913 | 818627 | 3204 570 | 11 | 27 277.90/278.06 c 274s | 20 | 857854 | 824127 | 3204 573 | 11 | 27 279.89/280.07 c 276s | 20 | 864199 | 830227 | 3204 576 | 11 | 27 281.89/282.09 c 278s | 20 | 870339 | 836127 | 3204 580 | 11 | 27 283.89/284.09 c 280s | 20 | 876545 | 842127 | 3204 583 | 11 | 27 286.00/286.12 c 282s | 20 | 882791 | 848127 | 3204 586 | 11 | 27 287.99/288.13 c 284s | 20 | 889066 | 854227 | 3204 590 | 11 | 27 289.99/290.15 c 286s | 20 | 895518 | 860527 | 3204 593 | 11 | 27 292.00/292.18 c 288s | 20 | 901659 | 866427 | 3204 597 | 11 | 27 294.10/294.21 c 290s | 20 | 908157 | 872627 | 3204 600 | 11 | 27 296.10/296.23 c 292s | 20 | 914612 | 878827 | 3204 604 | 11 | 27 298.10/298.23 c 294s | 20 | 921050 | 885027 | 3204 607 | 11 | 27 300.09/300.25 c 296s | 20 | 927265 | 891027 | 3204 611 | 11 | 27 302.09/302.26 c 298s | 20 | 933397 | 896927 | 3204 614 | 11 | 27 304.09/304.28 c 300s | 20 | 940058 | 903427 | 3204 618 | 11 | 27 306.19/306.30 c 302s | 20 | 946103 | 909327 | 3204 621 | 11 | 27 308.19/308.31 c 304s | 20 | 952226 | 915327 | 3204 625 | 11 | 27 310.19/310.32 c 306s | 20 | 958564 | 921527 | 3204 628 | 11 | 27 312.18/312.33 c 308s | 20 | 965101 | 927927 | 3204 632 | 11 | 27 314.18/314.33 c 310s | 20 | 971578 | 934227 | 3204 635 | 11 | 27 316.18/316.34 c 312s | 20 | 978204 | 940627 | 3204 639 | 11 | 27 318.18/318.34 c 314s | 20 | 984607 | 946827 | 3204 643 | 11 | 27 320.18/320.36 c 316s | 20 | 990935 | 952927 | 3204 646 | 11 | 27 322.18/322.37 c 318s | 20 | 996953 | 958727 | 3204 649 | 11 | 27 324.28/324.40 c 320s | 20 | 1003631 | 965127 | 3204 653 | 11 | 27 326.28/326.41 c 322s | 20 | 1010296 | 971427 | 3204 656 | 11 | 27 328.28/328.44 c 324s | 20 | 1016099 | 977027 | 3204 660 | 11 | 27 330.27/330.45 c 326s | 20 | 1022179 | 982627 | 3204 663 | 11 | 27 332.27/332.48 c 328s | 20 | 1027932 | 988127 | 3525 666 | 11 | 27 334.28/334.49 c 330s | 20 | 1033618 | 993527 | 3525 668 | 11 | 27 336.37/336.51 c 332s | 20 | 1039476 | 999127 | 3525 671 | 11 | 27 336.77/336.90 c 333s | 21 | 1040716 | 1000345 | 3525 672 | 11 | 27 338.77/338.91 c 335s | 21 | 1047307 | 1006645 | 3525 675 | 11 | 27 340.76/340.93 c 337s | 21 | 1052757 | 1011745 | 3525 678 | 11 | 27 342.76/342.93 c 339s | 21 | 1059168 | 1017945 | 3525 681 | 11 | 27 344.76/344.94 c 341s | 21 | 1064570 | 1023045 | 3525 684 | 11 | 27 346.76/346.98 c 343s | 21 | 1069454 | 1027745 | 3525 686 | 11 | 27 348.76/348.98 c 345s | 21 | 1074280 | 1032345 | 3525 688 | 11 | 27 350.76/350.99 c 347s | 21 | 1080441 | 1038345 | 3525 692 | 11 | 27 352.86/353.03 c 349s | 21 | 1086435 | 1044145 | 3525 695 | 11 | 27 354.86/355.05 c 351s | 21 | 1092520 | 1050045 | 3525 698 | 11 | 27 356.86/357.06 c 353s | 21 | 1099487 | 1056945 | 3525 701 | 11 | 27 358.86/359.06 c 355s | 21 | 1106809 | 1064145 | 3525 705 | 11 | 27 360.86/361.08 c 357s | 21 | 1111524 | 1068445 | 3525 707 | 11 | 27 362.96/363.12 c 359s | 21 | 1118256 | 1074945 | 3525 711 | 11 | 27 364.96/365.15 c 361s | 21 | 1124246 | 1080745 | 3525 714 | 11 | 27 366.96/367.16 c 363s | 21 | 1129765 | 1085945 | 3525 716 | 11 | 27 368.95/369.18 c 365s | 21 | 1136392 | 1092245 | 3525 720 | 11 | 27 371.05/371.21 c 367s | 21 | 1142160 | 1097845 | 3525 723 | 11 | 27 373.05/373.21 c 369s | 21 | 1148415 | 1103945 | 3525 726 | 11 | 27 375.06/375.24 c 371s | 21 | 1154430 | 1109845 | 3525 729 | 11 | 27 377.05/377.27 c 373s | 21 | 1160609 | 1115845 | 3525 732 | 11 | 27 379.05/379.27 c 375s | 21 | 1167246 | 1122345 | 3525 735 | 11 | 27 381.05/381.27 c 377s | 21 | 1174221 | 1129245 | 3525 739 | 11 | 27 383.15/383.32 c 379s | 21 | 1181335 | 1136245 | 3525 743 | 11 | 27 385.15/385.34 c 381s | 21 | 1188350 | 1143145 | 3525 746 | 11 | 27 387.15/387.36 c 383s | 21 | 1194331 | 1149045 | 3525 749 | 11 | 27 389.14/389.38 c 385s | 21 | 1200123 | 1154745 | 3525 752 | 11 | 27 391.24/391.41 c 387s | 21 | 1205829 | 1160345 | 3525 755 | 11 | 27 393.24/393.43 c 389s | 21 | 1211637 | 1166045 | 3525 758 | 11 | 27 395.24/395.43 c 391s | 21 | 1216862 | 1170945 | 3525 761 | 11 | 27 397.24/397.45 c 393s | 21 | 1222265 | 1176145 | 3525 764 | 11 | 27 399.24/399.48 c 395s | 21 | 1228697 | 1182445 | 3525 767 | 11 | 27 401.23/401.48 c 397s | 21 | 1234357 | 1187845 | 3525 770 | 11 | 27 403.33/403.51 c 399s | 21 | 1240017 | 1193345 | 3525 773 | 11 | 27 405.33/405.52 c 401s | 21 | 1245470 | 1198645 | 3525 776 | 11 | 27 407.33/407.55 c 403s | 21 | 1251307 | 1204145 | 3525 778 | 11 | 27 409.33/409.55 c 405s | 21 | 1257918 | 1210545 | 3525 782 | 11 | 27 411.33/411.58 c 407s | 21 | 1263667 | 1216045 | 3525 785 | 11 | 27 413.33/413.60 c 409s | 21 | 1268945 | 1220845 | 3525 787 | 11 | 27 415.42/415.61 c 411s | 21 | 1274284 | 1226045 | 3525 790 | 11 | 27 417.42/417.63 c 413s | 21 | 1280364 | 1231945 | 3525 793 | 11 | 27 419.42/419.65 c 415s | 21 | 1286148 | 1237645 | 3525 796 | 11 | 27 421.42/421.68 c 417s | 21 | 1291305 | 1242545 | 3525 799 | 11 | 27 423.52/423.72 c 419s | 21 | 1296380 | 1247445 | 3525 801 | 11 | 27 425.53/425.77 c 421s | 21 | 1301209 | 1251945 | 3525 804 | 11 | 27 427.62/427.81 c 423s | 21 | 1304581 | 1255145 | 3525 805 | 11 | 27 429.61/429.82 c 425s | 21 | 1307648 | 1258045 | 3525 807 | 11 | 27 431.61/431.85 c 428s | 21 | 1313181 | 1263345 | 3525 810 | 11 | 27 433.71/433.90 c 430s | 21 | 1318872 | 1268945 | 3525 813 | 11 | 27 435.71/435.96 c 432s | 21 | 1323400 | 1273345 | 3525 815 | 11 | 27 437.72/437.98 c 434s | 21 | 1329188 | 1278945 | 3525 818 | 11 | 27 439.71/440.00 c 436s | 21 | 1335515 | 1285145 | 3525 821 | 11 | 27 441.81/442.00 c 438s | 21 | 1340953 | 1290445 | 3525 824 | 11 | 27 443.81/444.02 c 440s | 21 | 1346259 | 1295545 | 3525 826 | 11 | 27 445.81/446.06 c 442s | 21 | 1351235 | 1300345 | 3525 829 | 11 | 27 447.81/448.07 c 444s | 21 | 1356960 | 1305845 | 3525 832 | 11 | 27 449.81/450.07 c 446s | 21 | 1362081 | 1310845 | 3525 835 | 11 | 27 451.80/452.08 c 448s | 21 | 1366699 | 1315345 | 3525 837 | 11 | 27 453.90/454.11 c 450s | 21 | 1371906 | 1320445 | 3525 840 | 11 | 27 455.90/456.11 c 452s | 21 | 1377348 | 1325745 | 3525 842 | 11 | 27 457.90/458.13 c 454s | 21 | 1383056 | 1331345 | 3525 845 | 11 | 27 459.90/460.16 c 456s | 21 | 1388245 | 1336245 | 3525 848 | 11 | 27 461.90/462.18 c 458s | 21 | 1393170 | 1341045 | 3525 850 | 11 | 27 464.00/464.21 c 460s | 21 | 1398185 | 1345945 | 3525 853 | 11 | 27 466.00/466.27 c 462s | 21 | 1402862 | 1350545 | 3525 855 | 11 | 27 468.00/468.28 c 464s | 21 | 1407690 | 1355145 | 3525 858 | 11 | 27 469.99/470.29 c 466s | 21 | 1411636 | 1358845 | 3525 860 | 11 | 27 472.09/472.33 c 468s | 21 | 1416265 | 1363345 | 3525 862 | 11 | 27 474.09/474.35 c 470s | 21 | 1420768 | 1367745 | 3525 864 | 11 | 27 476.10/476.36 c 472s | 21 | 1425402 | 1372245 | 3525 867 | 11 | 27 478.09/478.39 c 474s | 21 | 1430619 | 1377345 | 3525 870 | 11 | 27 480.09/480.39 c 476s | 21 | 1434900 | 1381545 | 3525 872 | 11 | 27 482.09/482.39 c 478s | 21 | 1439777 | 1386345 | 3525 874 | 11 | 27 484.19/484.43 c 480s | 21 | 1443616 | 1390045 | 3525 876 | 11 | 27 486.20/486.44 c 482s | 21 | 1448581 | 1394845 | 3525 879 | 11 | 27 488.20/488.50 c 484s | 21 | 1453489 | 1399545 | 3525 881 | 11 | 27 490.29/490.58 c 486s | 21 | 1459115 | 1405045 | 3525 884 | 11 | 27 492.39/492.65 c 488s | 21 | 1464233 | 1410045 | 3525 887 | 11 | 27 494.39/494.65 c 490s | 21 | 1469150 | 1414845 | 3525 889 | 11 | 27 496.39/496.67 c 492s | 21 | 1473940 | 1419445 | 3525 891 | 11 | 27 498.39/498.68 c 494s | 21 | 1478774 | 1424045 | 3525 894 | 11 | 27 500.48/500.72 c 496s | 21 | 1484348 | 1429445 | 3525 897 | 11 | 27 502.49/502.73 c 498s | 21 | 1490556 | 1435545 | 3525 900 | 11 | 27 504.48/504.75 c 500s | 21 | 1496610 | 1441445 | 3525 903 | 11 | 27 506.48/506.78 c 502s | 21 | 1502024 | 1446545 | 3525 905 | 11 | 27 508.58/508.81 c 504s | 21 | 1507595 | 1452045 | 3525 908 | 11 | 27 510.58/510.82 c 506s | 21 | 1513825 | 1458145 | 3525 911 | 11 | 27 512.58/512.83 c 509s | 21 | 1519950 | 1464145 | 3525 914 | 11 | 27 514.58/514.89 c 511s | 21 | 1525518 | 1469345 | 3525 917 | 11 | 27 516.68/516.90 c 513s | 21 | 1531009 | 1474445 | 3525 920 | 11 | 27 518.68/518.90 c 515s | 21 | 1536414 | 1479645 | 3525 922 | 11 | 27 520.67/520.92 c 517s | 21 | 1542102 | 1485145 | 3878 925 | 11 | 27 522.67/522.92 c 519s | 21 | 1547968 | 1490645 | 3878 928 | 11 | 27 524.67/524.93 c 521s | 21 | 1553546 | 1496045 | 3878 930 | 11 | 27 526.57/526.82 c 522s | 22 | 1558365 | 1500622 | 3878 932 | 11 | 27 528.57/528.83 c 525s | 22 | 1565467 | 1507522 | 3878 935 | 11 | 27 530.57/530.86 c 527s | 22 | 1571857 | 1513722 | 3878 938 | 11 | 27 532.57/532.89 c 529s | 22 | 1578075 | 1519822 | 3878 941 | 11 | 27 534.67/534.90 c 531s | 22 | 1584569 | 1526122 | 3878 944 | 11 | 27 536.67/536.93 c 533s | 22 | 1590172 | 1531622 | 3878 947 | 11 | 27 538.67/538.95 c 535s | 22 | 1596488 | 1537822 | 3878 950 | 11 | 27 540.66/540.97 c 537s | 22 | 1602346 | 1543522 | 3878 953 | 11 | 27 542.76/543.00 c 539s | 22 | 1608595 | 1549622 | 3878 956 | 11 | 27 544.76/545.02 c 541s | 22 | 1614464 | 1555322 | 3878 958 | 11 | 27 546.76/547.05 c 543s | 22 | 1620898 | 1561622 | 3878 961 | 11 | 27 548.76/549.07 c 545s | 22 | 1627674 | 1568222 | 3878 964 | 11 | 27 550.75/551.09 c 547s | 22 | 1634483 | 1574822 | 3878 967 | 11 | 27 552.85/553.10 c 549s | 22 | 1640632 | 1580822 | 3878 970 | 11 | 27 554.85/555.12 c 551s | 22 | 1646422 | 1586422 | 3878 973 | 11 | 27 556.85/557.13 c 553s | 22 | 1652108 | 1592022 | 3878 976 | 11 | 27 558.85/559.16 c 555s | 22 | 1658924 | 1598722 | 3878 979 | 11 | 27 560.85/561.18 c 557s | 22 | 1664823 | 1604422 | 3878 982 | 11 | 27 562.85/563.18 c 559s | 22 | 1670662 | 1610122 | 3878 984 | 11 | 27 564.85/565.19 c 561s | 22 | 1676652 | 1615922 | 3878 987 | 11 | 27 566.85/567.19 c 563s | 22 | 1682445 | 1621522 | 3878 990 | 11 | 27 568.94/569.20 c 565s | 22 | 1688640 | 1627522 | 3878 993 | 11 | 27 570.94/571.23 c 567s | 22 | 1695290 | 1634022 | 3878 996 | 11 | 27 572.95/573.25 c 569s | 22 | 1701054 | 1639622 | 3878 998 | 11 | 27 574.94/575.27 c 571s | 22 | 1707059 | 1645522 | 3878 1001 | 11 | 27 576.94/577.28 c 573s | 22 | 1713053 | 1651322 | 3878 1004 | 11 | 27 579.03/579.31 c 575s | 22 | 1718142 | 1656322 | 3878 1006 | 11 | 27 581.03/581.32 c 577s | 22 | 1723485 | 1661522 | 3878 1009 | 11 | 27 583.03/583.35 c 579s | 22 | 1729581 | 1667322 | 3878 1011 | 11 | 27 585.04/585.38 c 581s | 22 | 1734813 | 1672222 | 3878 1014 | 11 | 27 587.03/587.38 c 583s | 22 | 1739440 | 1676622 | 3878 1016 | 11 | 27 589.13/589.41 c 585s | 22 | 1744109 | 1681122 | 3878 1018 | 11 | 27 591.13/591.42 c 587s | 22 | 1749897 | 1686822 | 3878 1021 | 11 | 27 593.13/593.45 c 589s | 22 | 1755629 | 1692422 | 3878 1023 | 11 | 27 595.13/595.45 c 591s | 22 | 1761506 | 1698122 | 3878 1026 | 11 | 27 597.13/597.46 c 593s | 22 | 1767250 | 1703722 | 3878 1029 | 11 | 27 599.12/599.50 c 595s | 22 | 1772758 | 1709122 | 3878 1031 | 11 | 27 601.22/601.51 c 597s | 22 | 1779177 | 1715322 | 3878 1034 | 11 | 27 603.22/603.54 c 599s | 22 | 1785157 | 1721122 | 3878 1037 | 11 | 27 605.22/605.57 c 601s | 22 | 1789703 | 1725522 | 3878 1039 | 11 | 27 607.32/607.60 c 603s | 22 | 1794393 | 1730022 | 3878 1041 | 11 | 27 609.32/609.62 c 605s | 22 | 1799764 | 1735222 | 3878 1044 | 11 | 27 611.33/611.64 c 607s | 22 | 1804951 | 1740222 | 3878 1046 | 11 | 27 613.32/613.64 c 609s | 22 | 1810303 | 1745422 | 3878 1048 | 11 | 27 615.32/615.64 c 611s | 22 | 1815166 | 1750222 | 3878 1051 | 11 | 27 617.32/617.65 c 613s | 22 | 1820493 | 1755322 | 3878 1053 | 11 | 27 619.31/619.66 c 615s | 22 | 1826489 | 1761222 | 3878 1056 | 11 | 27 621.32/621.67 c 617s | 22 | 1832298 | 1766922 | 3878 1059 | 11 | 27 623.31/623.69 c 619s | 22 | 1838268 | 1772722 | 3878 1061 | 11 | 27 625.31/625.69 c 621s | 22 | 1843533 | 1777822 | 3878 1064 | 11 | 27 627.41/627.72 c 623s | 22 | 1849701 | 1783822 | 3878 1067 | 11 | 27 629.41/629.72 c 625s | 22 | 1855726 | 1789722 | 3878 1070 | 11 | 27 631.41/631.73 c 627s | 22 | 1861829 | 1795522 | 3878 1072 | 11 | 27 633.42/633.74 c 629s | 22 | 1867615 | 1801122 | 3878 1075 | 11 | 27 635.41/635.76 c 631s | 22 | 1873594 | 1806922 | 3878 1078 | 11 | 27 637.41/637.76 c 633s | 22 | 1879580 | 1812722 | 3878 1080 | 11 | 27 639.40/639.77 c 635s | 22 | 1885516 | 1818522 | 3878 1083 | 11 | 27 641.40/641.78 c 637s | 22 | 1891671 | 1824522 | 3878 1086 | 11 | 27 643.50/643.80 c 639s | 22 | 1897374 | 1830122 | 3878 1089 | 11 | 27 645.41/645.80 c 641s | 22 | 1902535 | 1835122 | 3878 1091 | 11 | 27 647.50/647.81 c 643s | 22 | 1907727 | 1840122 | 3878 1093 | 11 | 27 649.49/649.83 c 645s | 22 | 1913832 | 1846122 | 3878 1096 | 11 | 27 651.49/651.85 c 648s | 22 | 1917988 | 1850122 | 3878 1098 | 11 | 27 653.59/653.90 c 650s | 22 | 1922457 | 1854322 | 3878 1100 | 11 | 27 655.59/655.92 c 652s | 22 | 1927188 | 1858822 | 3878 1102 | 11 | 27 657.60/657.95 c 654s | 22 | 1931855 | 1863422 | 3878 1105 | 11 | 27 659.59/659.96 c 656s | 22 | 1936940 | 1868422 | 3878 1107 | 11 | 27 661.59/661.96 c 658s | 22 | 1943104 | 1874422 | 3878 1110 | 11 | 27 663.59/663.99 c 660s | 22 | 1949011 | 1880222 | 3878 1113 | 11 | 27 665.69/666.01 c 662s | 22 | 1955336 | 1886422 | 3878 1115 | 11 | 27 667.69/668.06 c 664s | 22 | 1961027 | 1892022 | 3878 1118 | 11 | 27 669.69/670.07 c 666s | 22 | 1966669 | 1897522 | 3878 1121 | 11 | 27 671.68/672.09 c 668s | 22 | 1973401 | 1904022 | 3878 1124 | 11 | 27 673.78/674.10 c 670s | 22 | 1978711 | 1909222 | 3878 1126 | 11 | 27 675.78/676.13 c 672s | 22 | 1984216 | 1914622 | 3878 1129 | 11 | 27 677.78/678.14 c 674s | 22 | 1990164 | 1920422 | 3878 1132 | 11 | 27 679.77/680.15 c 676s | 22 | 1995859 | 1925822 | 3878 1134 | 11 | 27 681.78/682.18 c 678s | 22 | 2000732 | 1930522 | 3878 1136 | 11 | 27 683.77/684.19 c 680s | 22 | 2006262 | 1935922 | 3878 1139 | 11 | 27 685.77/686.19 c 682s | 22 | 2012392 | 1941922 | 3878 1142 | 11 | 27 687.87/688.21 c 684s | 22 | 2017694 | 1947122 | 3878 1144 | 11 | 27 689.88/690.23 c 686s | 22 | 2022325 | 1951622 | 3878 1146 | 11 | 27 691.87/692.23 c 688s | 22 | 2026989 | 1956022 | 3878 1149 | 11 | 27 693.88/694.25 c 690s | 22 | 2031474 | 1960322 | 3878 1151 | 11 | 27 695.87/696.26 c 692s | 22 | 2036269 | 1964722 | 3878 1153 | 11 | 27 697.87/698.29 c 694s | 22 | 2040775 | 1968922 | 3878 1155 | 11 | 27 699.97/700.32 c 696s | 22 | 2045828 | 1973822 | 3878 1157 | 11 | 27 701.97/702.36 c 698s | 22 | 2051112 | 1978922 | 3878 1159 | 11 | 27 703.97/704.37 c 700s | 22 | 2055883 | 1983622 | 3878 1162 | 11 | 27 705.97/706.38 c 702s | 22 | 2061191 | 1988822 | 3878 1164 | 11 | 27 708.07/708.42 c 704s | 22 | 2066851 | 1994422 | 3878 1167 | 11 | 27 710.06/710.44 c 706s | 22 | 2072103 | 1999622 | 3878 1169 | 11 | 27 712.06/712.46 c 708s | 22 | 2076673 | 2004122 | 3878 1171 | 11 | 27 714.06/714.48 c 710s | 22 | 2081607 | 2008922 | 3878 1174 | 11 | 27 716.16/716.50 c 712s | 22 | 2088438 | 2015622 | 3878 1177 | 11 | 27 718.16/718.53 c 714s | 22 | 2094642 | 2021722 | 3878 1180 | 11 | 27 720.16/720.53 c 716s | 22 | 2100137 | 2027122 | 3878 1182 | 11 | 27 722.16/722.58 c 718s | 22 | 2106777 | 2033622 | 3878 1186 | 11 | 27 724.15/724.58 c 720s | 22 | 2112478 | 2039222 | 3878 1188 | 11 | 27 726.15/726.59 c 722s | 22 | 2118086 | 2044722 | 3878 1191 | 11 | 27 728.15/728.59 c 724s | 22 | 2123628 | 2050122 | 3878 1193 | 11 | 27 730.25/730.60 c 726s | 22 | 2129697 | 2056022 | 3878 1196 | 11 | 27 732.25/732.62 c 728s | 22 | 2135564 | 2061822 | 3878 1199 | 11 | 27 734.25/734.63 c 730s | 22 | 2141382 | 2067522 | 3878 1202 | 11 | 27 736.25/736.66 c 732s | 22 | 2147196 | 2073222 | 3878 1204 | 11 | 27 738.25/738.69 c 734s | 22 | 2153803 | 2079722 | 3878 1207 | 11 | 27 740.34/740.70 c 736s | 22 | 2160137 | 2085822 | 3878 1210 | 11 | 27 742.34/742.73 c 738s | 22 | 2166888 | 2092322 | 3878 1213 | 11 | 27 744.35/744.74 c 740s | 22 | 2172887 | 2098222 | 3878 1216 | 11 | 27 746.34/746.76 c 742s | 22 | 2178834 | 2104022 | 3878 1219 | 11 | 27 748.34/748.78 c 744s | 22 | 2184883 | 2109922 | 3878 1222 | 11 | 27 750.34/750.79 c 746s | 22 | 2191078 | 2115922 | 3878 1225 | 11 | 27 752.34/752.79 c 748s | 22 | 2197391 | 2122122 | 3878 1228 | 11 | 27 754.44/754.83 c 751s | 22 | 2203404 | 2128022 | 3878 1230 | 11 | 27 756.44/756.83 c 753s | 22 | 2209527 | 2134022 | 3878 1233 | 11 | 27 758.44/758.84 c 755s | 22 | 2215552 | 2139922 | 3878 1236 | 11 | 27 760.43/760.87 c 757s | 22 | 2221360 | 2145622 | 3878 1239 | 11 | 27 762.53/762.90 c 759s | 22 | 2227506 | 2151622 | 3878 1242 | 11 | 27 764.53/764.92 c 761s | 22 | 2233752 | 2157722 | 3878 1245 | 11 | 27 766.53/766.93 c 763s | 22 | 2239919 | 2163722 | 3878 1247 | 11 | 27 768.54/768.95 c 765s | 22 | 2245736 | 2169422 | 3878 1250 | 11 | 27 770.52/770.97 c 767s | 22 | 2251949 | 2175522 | 3878 1253 | 11 | 27 772.52/772.98 c 769s | 22 | 2257673 | 2181122 | 3878 1256 | 11 | 27 774.62/775.00 c 771s | 22 | 2262906 | 2186122 | 3878 1258 | 11 | 27 776.62/777.03 c 773s | 22 | 2268666 | 2191722 | 3878 1261 | 11 | 27 778.62/779.04 c 775s | 22 | 2274930 | 2197822 | 3878 1264 | 11 | 27 780.62/781.04 c 777s | 22 | 2280842 | 2203622 | 3878 1266 | 11 | 27 782.62/783.06 c 779s | 22 | 2286327 | 2209022 | 3878 1269 | 11 | 27 784.62/785.07 c 781s | 22 | 2291770 | 2214322 | 3878 1271 | 11 | 27 786.72/787.10 c 783s | 22 | 2297562 | 2220022 | 3878 1274 | 11 | 27 788.72/789.12 c 785s | 22 | 2303136 | 2225522 | 4266 1276 | 11 | 27 790.71/791.16 c 787s | 22 | 2308744 | 2231022 | 4266 1279 | 11 | 27 792.72/793.16 c 789s | 22 | 2314043 | 2236222 | 4266 1281 | 11 | 27 794.71/795.20 c 791s | 22 | 2319142 | 2241222 | 4266 1283 | 11 | 27 796.81/797.21 c 793s | 22 | 2324901 | 2246822 | 4266 1286 | 11 | 27 798.51/798.94 c 795s | 23 | 2329213 | 2251038 | 4266 1288 | 11 | 27 800.52/800.98 c 797s | 23 | 2335112 | 2256638 | 4266 1290 | 11 | 27 802.51/802.98 c 799s | 23 | 2339696 | 2260838 | 4266 1292 | 11 | 27 804.51/804.99 c 801s | 23 | 2344969 | 2265738 | 4266 1294 | 11 | 27 806.61/807.01 c 803s | 23 | 2350442 | 2270938 | 4266 1296 | 11 | 27 808.61/809.04 c 805s | 23 | 2355095 | 2275338 | 4266 1298 | 11 | 27 810.61/811.04 c 807s | 23 | 2359160 | 2279238 | 4266 1300 | 11 | 27 812.62/813.05 c 809s | 23 | 2364438 | 2284338 | 4266 1302 | 11 | 27 814.61/815.07 c 811s | 23 | 2369434 | 2289138 | 4266 1304 | 11 | 27 816.62/817.08 c 813s | 23 | 2374820 | 2294338 | 4266 1306 | 11 | 27 818.72/819.11 c 815s | 23 | 2380223 | 2299538 | 4266 1309 | 11 | 27 820.72/821.12 c 817s | 23 | 2384930 | 2304138 | 4266 1311 | 11 | 27 822.72/823.15 c 819s | 23 | 2389512 | 2308638 | 4266 1312 | 11 | 27 824.72/825.17 c 821s | 23 | 2393775 | 2312738 | 4266 1314 | 11 | 27 826.82/827.21 c 823s | 23 | 2397568 | 2316238 | 4266 1316 | 11 | 27 828.82/829.23 c 825s | 23 | 2402146 | 2320738 | 4266 1318 | 11 | 27 830.92/831.31 c 827s | 23 | 2406632 | 2324838 | 4266 1319 | 11 | 27 832.92/833.34 c 829s | 23 | 2410769 | 2328738 | 4266 1321 | 11 | 27 834.92/835.36 c 831s | 23 | 2415568 | 2333438 | 4266 1323 | 11 | 27 836.92/837.36 c 833s | 23 | 2419502 | 2337238 | 4266 1325 | 11 | 27 838.92/839.38 c 835s | 23 | 2424637 | 2342238 | 4266 1327 | 11 | 27 841.01/841.42 c 837s | 23 | 2428813 | 2346238 | 4266 1329 | 11 | 27 843.01/843.46 c 839s | 23 | 2433085 | 2350438 | 4266 1331 | 11 | 27 845.01/845.47 c 841s | 23 | 2437330 | 2354438 | 4266 1332 | 11 | 27 847.01/847.48 c 843s | 23 | 2441464 | 2358338 | 4266 1334 | 11 | 27 849.11/849.50 c 845s | 23 | 2446445 | 2363138 | 4266 1336 | 11 | 27 851.12/851.50 c 847s | 23 | 2451776 | 2368338 | 4266 1338 | 11 | 27 853.11/853.50 c 849s | 23 | 2456874 | 2373238 | 4266 1340 | 11 | 27 855.11/855.52 c 851s | 23 | 2460789 | 2377038 | 4266 1342 | 11 | 27 857.11/857.56 c 853s | 23 | 2465377 | 2381538 | 4266 1344 | 11 | 27 859.11/859.57 c 855s | 23 | 2470473 | 2386538 | 4266 1346 | 11 | 27 861.21/861.60 c 857s | 23 | 2475283 | 2391238 | 4266 1348 | 11 | 27 863.22/863.61 c 859s | 23 | 2479768 | 2395538 | 4266 1350 | 11 | 27 865.21/865.65 c 861s | 23 | 2483918 | 2399538 | 4266 1352 | 11 | 27 867.21/867.65 c 863s | 23 | 2488396 | 2403738 | 4266 1354 | 11 | 27 869.21/869.68 c 865s | 23 | 2492832 | 2408038 | 4266 1356 | 11 | 27 871.31/871.74 c 867s | 23 | 2496847 | 2411938 | 4266 1357 | 11 | 27 873.31/873.76 c 869s | 23 | 2500665 | 2415538 | 4266 1359 | 11 | 27 875.32/875.77 c 871s | 23 | 2504507 | 2419138 | 4266 1360 | 11 | 27 877.41/877.80 c 873s | 23 | 2508423 | 2422938 | 4266 1362 | 11 | 27 879.41/879.81 c 875s | 23 | 2512310 | 2426738 | 4266 1364 | 11 | 27 881.41/881.85 c 878s | 23 | 2516115 | 2430438 | 4266 1365 | 11 | 27 883.40/883.85 c 880s | 23 | 2519986 | 2434238 | 4266 1367 | 11 | 27 885.50/885.94 c 882s | 23 | 2523946 | 2437938 | 4266 1368 | 11 | 27 887.60/888.00 c 884s | 23 | 2527493 | 2441138 | 4266 1370 | 11 | 27 889.61/890.03 c 886s | 23 | 2531016 | 2444538 | 4266 1371 | 11 | 27 891.60/892.05 c 888s | 23 | 2534610 | 2447938 | 4266 1373 | 11 | 27 893.60/894.08 c 890s | 23 | 2538530 | 2451638 | 4266 1374 | 11 | 27 895.70/896.11 c 892s | 23 | 2542861 | 2455738 | 4266 1376 | 11 | 27 897.70/898.12 c 894s | 23 | 2547498 | 2460238 | 4266 1378 | 11 | 27 899.70/900.15 c 896s | 23 | 2552715 | 2465138 | 4266 1380 | 11 | 27 901.80/902.21 c 898s | 23 | 2556949 | 2469238 | 4266 1382 | 11 | 27 903.81/904.23 c 900s | 23 | 2562360 | 2474338 | 4266 1384 | 11 | 27 905.80/906.26 c 902s | 23 | 2568301 | 2480138 | 4266 1387 | 11 | 27 907.80/908.27 c 904s | 23 | 2573457 | 2485038 | 4266 1389 | 11 | 27 909.80/910.28 c 906s | 23 | 2577820 | 2489138 | 4266 1391 | 11 | 27 911.80/912.28 c 908s | 23 | 2582891 | 2494038 | 4266 1393 | 11 | 27 913.90/914.33 c 910s | 23 | 2587481 | 2498338 | 4266 1395 | 11 | 27 915.91/916.33 c 912s | 23 | 2591714 | 2502338 | 4266 1396 | 11 | 27 917.90/918.36 c 914s | 23 | 2596498 | 2506738 | 4266 1398 | 11 | 27 919.90/920.38 c 916s | 23 | 2601755 | 2511738 | 4266 1401 | 11 | 27 922.00/922.43 c 918s | 23 | 2606233 | 2516038 | 4266 1402 | 11 | 27 924.00/924.47 c 920s | 23 | 2611207 | 2520838 | 4266 1404 | 11 | 27 926.10/926.51 c 922s | 23 | 2616168 | 2525538 | 4266 1407 | 11 | 27 928.10/928.53 c 924s | 23 | 2621331 | 2530438 | 4266 1409 | 11 | 27 930.10/930.57 c 926s | 23 | 2625918 | 2534838 | 4266 1411 | 11 | 27 932.10/932.59 c 928s | 23 | 2629817 | 2538538 | 4266 1412 | 11 | 27 934.20/934.66 c 930s | 23 | 2634581 | 2542938 | 4266 1414 | 11 | 27 936.30/936.72 c 932s | 23 | 2637771 | 2545938 | 4266 1415 | 11 | 27 938.30/938.76 c 934s | 23 | 2641512 | 2549538 | 4266 1417 | 11 | 27 940.30/940.79 c 936s | 23 | 2646112 | 2553938 | 4266 1419 | 11 | 27 942.30/942.80 c 938s | 23 | 2651010 | 2558538 | 4266 1421 | 11 | 27 944.39/944.85 c 941s | 23 | 2654880 | 2562338 | 4266 1423 | 11 | 27 946.39/946.88 c 943s | 23 | 2660275 | 2567638 | 4266 1425 | 11 | 27 948.49/948.90 c 945s | 23 | 2665355 | 2572638 | 4266 1427 | 11 | 27 950.49/950.94 c 947s | 23 | 2670414 | 2577538 | 4266 1429 | 11 | 27 952.49/952.96 c 949s | 23 | 2674993 | 2582038 | 4266 1431 | 11 | 27 954.50/954.99 c 951s | 23 | 2679532 | 2586438 | 4266 1433 | 11 | 27 956.60/957.01 c 953s | 23 | 2684127 | 2590938 | 4266 1435 | 11 | 27 958.59/959.05 c 955s | 23 | 2689303 | 2595938 | 4266 1437 | 11 | 27 960.59/961.09 c 957s | 23 | 2694579 | 2601038 | 4266 1439 | 11 | 27 962.69/963.14 c 959s | 23 | 2699399 | 2605738 | 4266 1441 | 11 | 27 964.69/965.18 c 961s | 23 | 2704441 | 2610538 | 4266 1443 | 11 | 27 966.79/967.23 c 963s | 23 | 2709567 | 2615538 | 4266 1446 | 11 | 27 968.79/969.26 c 965s | 23 | 2714481 | 2620238 | 4266 1448 | 11 | 27 970.79/971.28 c 967s | 23 | 2719265 | 2624838 | 4266 1450 | 11 | 27 972.90/973.30 c 969s | 23 | 2724034 | 2629438 | 4266 1452 | 11 | 27 974.90/975.34 c 971s | 23 | 2729184 | 2634438 | 4266 1454 | 11 | 27 976.90/977.37 c 973s | 23 | 2734384 | 2639438 | 4266 1456 | 11 | 27 978.90/979.39 c 975s | 23 | 2739004 | 2643938 | 4266 1458 | 11 | 27 980.99/981.42 c 977s | 23 | 2744091 | 2648738 | 4266 1460 | 11 | 27 983.00/983.44 c 979s | 23 | 2749036 | 2653438 | 4266 1462 | 11 | 27 984.99/985.45 c 981s | 23 | 2754825 | 2658838 | 4266 1464 | 11 | 27 986.99/987.46 c 983s | 23 | 2760879 | 2664738 | 4266 1467 | 11 | 27 988.99/989.47 c 985s | 23 | 2766364 | 2670038 | 4266 1469 | 11 | 27 991.09/991.50 c 987s | 23 | 2771615 | 2675038 | 4266 1472 | 11 | 27 993.09/993.52 c 989s | 23 | 2776978 | 2680138 | 4266 1474 | 11 | 27 995.10/995.53 c 991s | 23 | 2781403 | 2684538 | 4266 1476 | 11 | 27 997.09/997.54 c 993s | 23 | 2786056 | 2689038 | 4266 1478 | 11 | 27 999.19/999.61 c 995s | 23 | 2791738 | 2694538 | 4266 1480 | 11 | 27 1001.19/1001.62 c 997s | 23 | 2795764 | 2698138 | 4266 1481 | 11 | 27 1003.19/1003.64 c 999s | 23 | 2801124 | 2703238 | 4266 1484 | 11 | 27 1005.19/1005.65 c 1001s | 23 | 2806181 | 2707838 | 4266 1486 | 11 | 27 1007.20/1007.66 c 1003s | 23 | 2811186 | 2712638 | 4266 1488 | 11 | 27 1009.19/1009.67 c 1005s | 23 | 2815374 | 2716738 | 4266 1490 | 11 | 27 1011.19/1011.68 c 1007s | 23 | 2820465 | 2721638 | 4266 1492 | 11 | 27 1013.19/1013.69 c 1009s | 23 | 2825707 | 2726738 | 4266 1494 | 11 | 27 1015.29/1015.71 c 1011s | 23 | 2830585 | 2731438 | 4266 1496 | 11 | 27 1017.29/1017.72 c 1013s | 23 | 2836331 | 2737038 | 4266 1498 | 11 | 27 1019.30/1019.75 c 1015s | 23 | 2842081 | 2742738 | 4266 1501 | 11 | 27 1021.29/1021.76 c 1017s | 23 | 2847836 | 2748438 | 4266 1503 | 11 | 27 1023.29/1023.79 c 1019s | 23 | 2853453 | 2754038 | 4266 1506 | 11 | 27 1025.39/1025.82 c 1021s | 23 | 2859103 | 2759638 | 4266 1508 | 11 | 27 1027.39/1027.82 c 1023s | 23 | 2865233 | 2765538 | 4266 1511 | 12 | 36 1029.39/1029.83 c 1026s | 23 | 2871222 | 2771238 | 4266 1513 | 12 | 36 1031.39/1031.84 c 1028s | 23 | 2876838 | 2776538 | 4266 1516 | 12 | 36 1033.38/1033.84 c 1030s | 23 | 2882373 | 2781838 | 4266 1518 | 12 | 36 1035.38/1035.86 c 1032s | 23 | 2888102 | 2787238 | 4266 1520 | 12 | 36 1037.38/1037.87 c 1034s | 23 | 2893576 | 2792438 | 4266 1523 | 12 | 36 1039.38/1039.88 c 1036s | 23 | 2899630 | 2798238 | 4266 1525 | 12 | 36 1041.48/1041.91 c 1038s | 23 | 2905228 | 2803638 | 4266 1527 | 12 | 36 1043.49/1043.93 c 1040s | 23 | 2910829 | 2809038 | 4266 1530 | 12 | 36 1045.48/1045.95 c 1042s | 23 | 2916655 | 2814538 | 4266 1532 | 12 | 36 1047.48/1047.98 c 1044s | 23 | 2922356 | 2819938 | 4266 1534 | 12 | 36 1049.58/1050.03 c 1046s | 23 | 2928212 | 2825538 | 4266 1537 | 12 | 36 1051.58/1052.03 c 1048s | 23 | 2934156 | 2831238 | 4266 1539 | 12 | 36 1053.58/1054.03 c 1050s | 23 | 2939901 | 2836738 | 4266 1542 | 12 | 36 1055.59/1056.07 c 1052s | 23 | 2945194 | 2841838 | 4266 1544 | 12 | 36 1057.58/1058.07 c 1054s | 23 | 2950796 | 2847238 | 4266 1546 | 12 | 36 1059.68/1060.11 c 1056s | 23 | 2955996 | 2852238 | 4266 1549 | 12 | 36 1061.68/1062.14 c 1058s | 23 | 2962062 | 2858038 | 4266 1551 | 12 | 36 1063.68/1064.14 c 1060s | 23 | 2967612 | 2863338 | 4266 1553 | 12 | 36 1065.68/1066.16 c 1062s | 23 | 2972940 | 2868438 | 4266 1556 | 12 | 36 1067.68/1068.18 c 1064s | 23 | 2978495 | 2873738 | 4266 1558 | 12 | 36 1069.68/1070.18 c 1066s | 23 | 2983784 | 2878738 | 4266 1560 | 12 | 36 1071.78/1072.21 c 1068s | 23 | 2989563 | 2884338 | 4266 1562 | 12 | 36 1073.78/1074.23 c 1070s | 23 | 2994814 | 2889438 | 4266 1565 | 12 | 36 1075.77/1076.25 c 1072s | 23 | 3001101 | 2895538 | 4266 1567 | 12 | 36 1077.77/1078.26 c 1074s | 23 | 3006908 | 2901138 | 4266 1570 | 12 | 36 1079.78/1080.27 c 1076s | 23 | 3012511 | 2906638 | 4266 1572 | 12 | 36 1081.77/1082.29 c 1078s | 23 | 3018061 | 2911938 | 4266 1575 | 12 | 36 1083.87/1084.30 c 1080s | 23 | 3023379 | 2917038 | 4266 1577 | 12 | 36 1085.87/1086.32 c 1082s | 23 | 3028493 | 2921938 | 4266 1579 | 12 | 36 1087.87/1088.34 c 1084s | 23 | 3033649 | 2926638 | 4266 1581 | 12 | 36 1089.87/1090.36 c 1086s | 23 | 3038966 | 2931638 | 4266 1583 | 12 | 36 1091.88/1092.37 c 1088s | 23 | 3044523 | 2936938 | 4266 1585 | 12 | 36 1093.97/1094.41 c 1090s | 23 | 3049762 | 2941938 | 4266 1588 | 12 | 36 1095.98/1096.43 c 1092s | 23 | 3055249 | 2947038 | 4266 1590 | 12 | 36 1097.98/1098.47 c 1094s | 23 | 3060690 | 2952238 | 4266 1592 | 12 | 36 1100.08/1100.51 c 1096s | 23 | 3066581 | 2957738 | 4266 1594 | 12 | 36 1102.08/1102.55 c 1098s | 23 | 3071479 | 2962338 | 4266 1596 | 12 | 36 1104.18/1104.60 c 1100s | 23 | 3076485 | 2967038 | 4266 1599 | 12 | 36 1106.18/1106.61 c 1102s | 23 | 3081522 | 2971738 | 4266 1601 | 12 | 36 1108.17/1108.64 c 1104s | 23 | 3086969 | 2976938 | 4266 1603 | 12 | 36 1110.17/1110.66 c 1106s | 23 | 3092203 | 2981838 | 4266 1605 | 12 | 36 1112.17/1112.67 c 1108s | 23 | 3097207 | 2986438 | 4266 1607 | 12 | 36 1114.17/1114.67 c 1110s | 23 | 3102154 | 2991138 | 4266 1609 | 12 | 36 1116.18/1116.68 c 1112s | 23 | 3107628 | 2996338 | 4266 1611 | 12 | 36 1118.17/1118.69 c 1114s | 23 | 3112790 | 3001138 | 4266 1613 | 12 | 36 1120.27/1120.70 c 1116s | 23 | 3118432 | 3006538 | 4266 1616 | 12 | 36 1122.27/1122.70 c 1118s | 23 | 3124542 | 3012438 | 4266 1618 | 12 | 36 1124.27/1124.72 c 1120s | 23 | 3129926 | 3017638 | 4266 1621 | 12 | 36 1126.27/1126.72 c 1122s | 23 | 3134887 | 3022338 | 4266 1623 | 12 | 36 1128.28/1128.73 c 1124s | 23 | 3140122 | 3027138 | 4266 1625 | 12 | 36 1130.27/1130.75 c 1126s | 23 | 3145902 | 3032638 | 4266 1627 | 12 | 36 1132.27/1132.79 c 1128s | 23 | 3152036 | 3038438 | 4266 1630 | 12 | 36 1134.37/1134.81 c 1130s | 23 | 3157136 | 3043338 | 4266 1632 | 12 | 36 1136.37/1136.85 c 1133s | 23 | 3162678 | 3048738 | 4266 1634 | 12 | 36 1138.47/1138.90 c 1135s | 23 | 3168467 | 3054338 | 4266 1637 | 12 | 36 1140.47/1140.92 c 1137s | 23 | 3173702 | 3059438 | 4266 1639 | 12 | 36 1142.47/1142.95 c 1139s | 23 | 3179867 | 3065438 | 4266 1641 | 12 | 36 1144.47/1144.96 c 1141s | 23 | 3185417 | 3070738 | 4266 1644 | 12 | 36 1146.47/1146.99 c 1143s | 23 | 3191015 | 3076138 | 4266 1646 | 12 | 36 1148.57/1149.04 c 1145s | 23 | 3195990 | 3080738 | 4266 1648 | 12 | 36 1150.57/1151.06 c 1147s | 23 | 3201498 | 3085838 | 4266 1650 | 12 | 36 1152.56/1153.06 c 1149s | 23 | 3206959 | 3090738 | 4266 1652 | 12 | 36 1154.57/1155.10 c 1151s | 23 | 3212855 | 3096338 | 4266 1655 | 12 | 36 1156.66/1157.13 c 1153s | 23 | 3218145 | 3101338 | 4266 1657 | 12 | 36 1158.66/1159.14 c 1155s | 23 | 3223625 | 3106638 | 4266 1659 | 12 | 36 1160.66/1161.15 c 1157s | 23 | 3228727 | 3111638 | 4266 1662 | 12 | 36 1162.66/1163.16 c 1159s | 23 | 3234503 | 3117238 | 4266 1664 | 12 | 36 1164.66/1165.19 c 1161s | 23 | 3240235 | 3122838 | 4266 1666 | 12 | 36 1166.77/1167.20 c 1163s | 23 | 3245902 | 3128338 | 4266 1669 | 12 | 36 1168.76/1169.21 c 1165s | 23 | 3251562 | 3133738 | 4266 1671 | 12 | 36 1170.76/1171.23 c 1167s | 23 | 3257107 | 3139038 | 4266 1673 | 12 | 36 1172.76/1173.25 c 1169s | 23 | 3262816 | 3144538 | 4266 1676 | 12 | 36 1174.76/1175.27 c 1171s | 23 | 3268493 | 3150038 | 4266 1678 | 12 | 36 1176.76/1177.29 c 1173s | 23 | 3274238 | 3155638 | 4266 1681 | 12 | 36 1178.86/1179.30 c 1175s | 23 | 3279785 | 3160838 | 4266 1683 | 12 | 36 1180.86/1181.31 c 1177s | 23 | 3285028 | 3165938 | 4266 1685 | 12 | 36 1182.86/1183.34 c 1179s | 23 | 3290605 | 3171338 | 4266 1688 | 12 | 36 1184.86/1185.36 c 1181s | 23 | 3296245 | 3176738 | 4266 1690 | 12 | 36 1186.86/1187.37 c 1183s | 23 | 3301763 | 3181938 | 4266 1692 | 12 | 36 1188.96/1189.40 c 1185s | 23 | 3307335 | 3187338 | 4266 1695 | 12 | 36 1190.96/1191.43 c 1187s | 23 | 3313200 | 3192938 | 4266 1697 | 12 | 36 1192.95/1193.44 c 1189s | 23 | 3318774 | 3198338 | 4266 1699 | 12 | 36 1194.95/1195.45 c 1191s | 23 | 3324137 | 3203438 | 4266 1701 | 12 | 36 1196.95/1197.45 c 1193s | 23 | 3329474 | 3208638 | 4266 1704 | 12 | 36 1198.95/1199.46 c 1195s | 23 | 3335364 | 3214238 | 4266 1706 | 12 | 36 1200.95/1201.48 c 1197s | 23 | 3340694 | 3219238 | 4266 1708 | 12 | 36 1202.96/1203.50 c 1199s | 23 | 3346297 | 3224638 | 4266 1711 | 12 | 36 1205.06/1205.52 c 1201s | 23 | 3352555 | 3230738 | 4266 1713 | 12 | 36 1207.06/1207.54 c 1203s | 23 | 3359072 | 3237038 | 4266 1716 | 12 | 36 1209.06/1209.57 c 1205s | 23 | 3364557 | 3242338 | 4266 1718 | 12 | 36 1211.06/1211.57 c 1207s | 23 | 3370212 | 3247638 | 4266 1721 | 12 | 36 1213.06/1213.59 c 1209s | 23 | 3375920 | 3253138 | 4266 1723 | 12 | 36 1215.17/1215.61 c 1211s | 23 | 3382014 | 3259038 | 4266 1726 | 12 | 36 1217.16/1217.63 c 1213s | 23 | 3387905 | 3264738 | 4266 1728 | 12 | 36 1219.16/1219.63 c 1215s | 23 | 3393781 | 3270438 | 4266 1731 | 12 | 36 1221.16/1221.66 c 1217s | 23 | 3399830 | 3276238 | 4266 1733 | 12 | 36 1223.16/1223.68 c 1219s | 23 | 3405426 | 3281638 | 4266 1736 | 12 | 36 1225.26/1225.70 c 1221s | 23 | 3411115 | 3287138 | 4266 1738 | 12 | 36 1227.26/1227.71 c 1223s | 23 | 3416921 | 3292738 | 4266 1740 | 12 | 36 1229.26/1229.73 c 1225s | 23 | 3421999 | 3297638 | 4266 1743 | 12 | 36 1231.26/1231.75 c 1227s | 23 | 3427823 | 3303138 | 4266 1745 | 12 | 36 1233.26/1233.77 c 1229s | 23 | 3433454 | 3308538 | 4266 1747 | 12 | 36 1235.26/1235.77 c 1231s | 23 | 3439139 | 3314038 | 4266 1750 | 12 | 36 1237.25/1237.79 c 1233s | 23 | 3444705 | 3319338 | 4266 1752 | 12 | 36 1239.26/1239.79 c 1235s | 23 | 3450447 | 3324838 | 4266 1754 | 12 | 36 1241.35/1241.80 c 1237s | 23 | 3456105 | 3330238 | 4266 1757 | 12 | 36 1243.35/1243.82 c 1239s | 23 | 3461647 | 3335538 | 4266 1759 | 12 | 36 1245.35/1245.84 c 1242s | 23 | 3467249 | 3340938 | 4266 1761 | 12 | 36 1247.35/1247.85 c 1244s | 23 | 3472757 | 3346238 | 4693 1763 | 12 | 36 1249.35/1249.88 c 1246s | 23 | 3478237 | 3351438 | 4693 1766 | 12 | 36 1251.36/1251.89 c 1248s | 23 | 3483407 | 3356138 | 4693 1767 | 12 | 36 1253.45/1253.93 c 1250s | 23 | 3488695 | 3361338 | 4693 1770 | 12 | 36 1255.45/1255.97 c 1252s | 23 | 3494167 | 3366638 | 4693 1772 | 12 | 36 1257.45/1257.99 c 1254s | 23 | 3499064 | 3371438 | 4693 1774 | 12 | 36 1259.55/1260.01 c 1256s | 23 | 3504160 | 3376438 | 4693 1775 | 12 | 36 1259.65/1260.11 c 1256s | 24 | 3504390 | 3376662 | 4693 1776 | 12 | 36 1261.65/1262.14 c 1258s | 24 | 3510567 | 3382662 | 4693 1778 | 12 | 36 1263.65/1264.18 c 1260s | 24 | 3514292 | 3386262 | 4693 1779 | 12 | 36 1265.66/1266.19 c 1262s | 24 | 3517721 | 3389662 | 4693 1781 | 12 | 36 1267.75/1268.23 c 1264s | 24 | 3521554 | 3393462 | 4693 1782 | 12 | 36 1269.75/1270.27 c 1266s | 24 | 3525902 | 3397662 | 4693 1784 | 12 | 36 1271.85/1272.31 c 1268s | 24 | 3530456 | 3402062 | 4693 1786 | 12 | 36 1273.85/1274.36 c 1270s | 24 | 3534806 | 3406262 | 4693 1788 | 12 | 36 1275.85/1276.37 c 1272s | 24 | 3540273 | 3411162 | 4693 1790 | 12 | 36 1277.94/1278.41 c 1274s | 24 | 3545621 | 3416262 | 4693 1792 | 12 | 36 1279.95/1280.44 c 1276s | 24 | 3551251 | 3421662 | 4693 1794 | 12 | 36 1281.94/1282.48 c 1278s | 24 | 3555543 | 3425662 | 4693 1795 | 12 | 36 1283.94/1284.48 c 1280s | 24 | 3558728 | 3428762 | 4693 1797 | 12 | 36 1285.94/1286.49 c 1282s | 24 | 3564853 | 3434762 | 4693 1799 | 12 | 36 1288.04/1288.52 c 1284s | 24 | 3570050 | 3439562 | 4693 1801 | 12 | 36 1290.04/1290.56 c 1286s | 24 | 3575601 | 3444762 | 4693 1803 | 12 | 36 1292.05/1292.58 c 1288s | 24 | 3579674 | 3448062 | 4693 1805 | 12 | 36 1294.14/1294.60 c 1290s | 24 | 3584220 | 3452362 | 4693 1806 | 12 | 36 1296.14/1296.60 c 1292s | 24 | 3590277 | 3458162 | 4693 1809 | 12 | 36 1298.14/1298.64 c 1294s | 24 | 3596442 | 3463662 | 4693 1811 | 12 | 36 1300.14/1300.67 c 1296s | 24 | 3601311 | 3468262 | 4693 1813 | 12 | 36 1302.14/1302.69 c 1298s | 24 | 3606247 | 3472962 | 4693 1815 | 12 | 36 1304.25/1304.71 c 1300s | 24 | 3610209 | 3476662 | 4693 1816 | 12 | 36 1306.24/1306.71 c 1302s | 24 | 3614572 | 3480962 | 4693 1818 | 12 | 36 1308.24/1308.74 c 1304s | 24 | 3619470 | 3485762 | 4693 1820 | 12 | 36 1310.24/1310.75 c 1306s | 24 | 3624303 | 3490462 | 4693 1822 | 12 | 36 1312.24/1312.77 c 1308s | 24 | 3628798 | 3494862 | 4693 1824 | 12 | 36 1314.24/1314.78 c 1310s | 24 | 3633543 | 3499362 | 4693 1825 | 12 | 36 1316.24/1316.80 c 1312s | 24 | 3637645 | 3503362 | 4693 1827 | 12 | 36 1318.34/1318.84 c 1315s | 24 | 3641778 | 3507462 | 4693 1829 | 12 | 36 1320.34/1320.85 c 1317s | 24 | 3645777 | 3511362 | 4693 1830 | 12 | 36 1322.34/1322.89 c 1319s | 24 | 3649538 | 3515062 | 4693 1832 | 12 | 36 1324.43/1324.92 c 1321s | 24 | 3653486 | 3518962 | 4693 1833 | 12 | 36 1326.43/1326.93 c 1323s | 24 | 3657515 | 3522962 | 4693 1835 | 12 | 36 1328.44/1328.96 c 1325s | 24 | 3661352 | 3526762 | 4693 1837 | 12 | 36 1330.43/1331.00 c 1327s | 24 | 3665373 | 3530762 | 4693 1838 | 12 | 36 1332.53/1333.00 c 1329s | 24 | 3669208 | 3534562 | 4693 1840 | 12 | 36 1334.53/1335.02 c 1331s | 24 | 3673276 | 3538562 | 4693 1841 | 12 | 36 1336.53/1337.04 c 1333s | 24 | 3677322 | 3542562 | 4693 1843 | 12 | 36 1338.54/1339.04 c 1335s | 24 | 3681131 | 3546262 | 4693 1845 | 12 | 36 1340.55/1341.08 c 1337s | 24 | 3684987 | 3550062 | 4693 1846 | 12 | 36 1342.65/1343.12 c 1339s | 24 | 3688940 | 3553962 | 4693 1848 | 12 | 36 1344.64/1345.16 c 1341s | 24 | 3693004 | 3557962 | 4693 1849 | 12 | 36 1346.64/1347.18 c 1343s | 24 | 3696871 | 3561762 | 4693 1851 | 12 | 36 1348.74/1349.23 c 1345s | 24 | 3700880 | 3565662 | 4693 1853 | 12 | 36 1350.74/1351.25 c 1347s | 24 | 3704855 | 3569562 | 4693 1854 | 12 | 36 1352.74/1353.28 c 1349s | 24 | 3709319 | 3573962 | 4693 1856 | 12 | 36 1354.84/1355.31 c 1351s | 24 | 3713603 | 3578162 | 4693 1858 | 12 | 36 1356.83/1357.34 c 1353s | 24 | 3718108 | 3582562 | 4693 1860 | 12 | 36 1358.83/1359.38 c 1355s | 24 | 3722499 | 3586862 | 4693 1861 | 12 | 36 1360.93/1361.40 c 1357s | 24 | 3726670 | 3590962 | 4693 1863 | 12 | 36 1362.93/1363.40 c 1359s | 24 | 3731040 | 3595262 | 4693 1865 | 12 | 36 1364.93/1365.44 c 1361s | 24 | 3735105 | 3599262 | 4693 1866 | 12 | 36 1366.94/1367.47 c 1363s | 24 | 3739610 | 3603662 | 4693 1868 | 12 | 36 1368.93/1369.48 c 1365s | 24 | 3745350 | 3609162 | 4693 1870 | 12 | 36 1370.93/1371.48 c 1367s | 24 | 3750838 | 3614562 | 4693 1873 | 12 | 36 1372.93/1373.49 c 1369s | 24 | 3754808 | 3618262 | 4693 1874 | 12 | 36 1375.03/1375.52 c 1371s | 24 | 3758953 | 3622262 | 4693 1876 | 12 | 36 1377.03/1377.55 c 1373s | 24 | 3762738 | 3625962 | 4693 1877 | 12 | 36 1379.13/1379.62 c 1375s | 24 | 3766121 | 3629262 | 4693 1879 | 12 | 36 1381.14/1381.62 c 1377s | 24 | 3769845 | 3632862 | 4693 1880 | 12 | 36 1383.13/1383.65 c 1379s | 24 | 3773652 | 3636462 | 4693 1881 | 12 | 36 1385.13/1385.66 c 1381s | 24 | 3777291 | 3639762 | 4693 1883 | 12 | 36 1387.23/1387.70 c 1383s | 24 | 3780324 | 3642362 | 4693 1884 | 12 | 36 1389.23/1389.73 c 1385s | 24 | 3782960 | 3644962 | 4693 1885 | 12 | 36 1391.23/1391.76 c 1387s | 24 | 3787598 | 3649362 | 4693 1887 | 12 | 36 1393.33/1393.81 c 1389s | 24 | 3792384 | 3653662 | 4693 1888 | 12 | 36 1395.32/1395.81 c 1391s | 24 | 3796968 | 3657962 | 4693 1890 | 12 | 36 1397.32/1397.86 c 1394s | 24 | 3801662 | 3662262 | 4693 1892 | 12 | 36 1399.42/1399.91 c 1396s | 24 | 3806171 | 3666262 | 4693 1894 | 12 | 36 1401.42/1401.95 c 1398s | 24 | 3810829 | 3670362 | 4693 1895 | 12 | 36 1403.42/1403.99 c 1400s | 24 | 3815244 | 3674662 | 4693 1897 | 12 | 36 1405.52/1406.03 c 1402s | 24 | 3819380 | 3678662 | 4693 1899 | 12 | 36 1407.53/1408.04 c 1404s | 24 | 3823347 | 3682562 | 4693 1900 | 12 | 36 1409.52/1410.08 c 1406s | 24 | 3827388 | 3686562 | 4693 1902 | 12 | 36 1411.52/1412.09 c 1408s | 24 | 3832049 | 3691162 | 4693 1904 | 12 | 36 1413.52/1414.10 c 1410s | 24 | 3837045 | 3696062 | 4693 1906 | 12 | 36 1415.62/1416.17 c 1412s | 24 | 3841926 | 3700862 | 4693 1908 | 12 | 36 1417.72/1418.20 c 1414s | 24 | 3846667 | 3705362 | 4693 1909 | 12 | 36 1419.73/1420.24 c 1416s | 24 | 3851415 | 3709962 | 4693 1911 | 12 | 36 1421.72/1422.26 c 1418s | 24 | 3856881 | 3715262 | 4693 1913 | 12 | 36 1423.72/1424.28 c 1420s | 24 | 3862940 | 3721062 | 4693 1916 | 12 | 36 1425.82/1426.30 c 1422s | 24 | 3868331 | 3726362 | 4693 1918 | 12 | 36 1427.82/1428.32 c 1424s | 24 | 3874037 | 3731862 | 4693 1920 | 12 | 36 1429.82/1430.35 c 1426s | 24 | 3879607 | 3737362 | 4693 1922 | 12 | 36 1431.83/1432.37 c 1428s | 24 | 3886896 | 3744362 | 4693 1925 | 12 | 36 1433.82/1434.38 c 1430s | 24 | 3892683 | 3750062 | 4693 1928 | 12 | 36 1435.92/1436.41 c 1432s | 24 | 3898247 | 3755462 | 4693 1930 | 12 | 36 1437.92/1438.45 c 1434s | 24 | 3904052 | 3761062 | 4693 1932 | 12 | 36 1439.92/1440.48 c 1436s | 24 | 3910162 | 3766962 | 4693 1934 | 12 | 36 1441.92/1442.49 c 1438s | 24 | 3916096 | 3772762 | 4693 1937 | 12 | 36 1444.02/1444.51 c 1440s | 24 | 3921430 | 3777962 | 4693 1939 | 12 | 36 1446.02/1446.52 c 1442s | 24 | 3927025 | 3783462 | 4693 1941 | 12 | 36 1448.02/1448.58 c 1444s | 24 | 3933013 | 3789262 | 4693 1944 | 12 | 36 1450.12/1450.60 c 1446s | 24 | 3938516 | 3794562 | 4693 1946 | 12 | 36 1452.12/1452.62 c 1448s | 24 | 3943988 | 3799862 | 4693 1948 | 12 | 36 1454.12/1454.66 c 1450s | 24 | 3949453 | 3804862 | 4693 1950 | 12 | 36 1456.11/1456.67 c 1452s | 24 | 3955664 | 3810862 | 4693 1952 | 12 | 36 1458.12/1458.69 c 1454s | 24 | 3961293 | 3816362 | 4693 1955 | 12 | 36 1460.21/1460.70 c 1456s | 24 | 3965697 | 3820462 | 4693 1956 | 12 | 36 1462.21/1462.74 c 1458s | 24 | 3969814 | 3824362 | 4693 1958 | 12 | 36 1464.21/1464.78 c 1460s | 24 | 3973881 | 3828162 | 4693 1959 | 12 | 36 1466.31/1466.82 c 1462s | 24 | 3978315 | 3832362 | 4693 1961 | 12 | 36 1468.31/1468.84 c 1465s | 24 | 3982661 | 3836562 | 4693 1963 | 12 | 36 1470.33/1470.87 c 1467s | 24 | 3987086 | 3840862 | 4693 1965 | 12 | 36 1472.43/1472.95 c 1469s | 24 | 3991576 | 3845062 | 4693 1966 | 12 | 36 1474.52/1475.01 c 1471s | 24 | 3994519 | 3847662 | 4693 1967 | 12 | 36 1476.52/1477.06 c 1473s | 24 | 3997355 | 3850162 | 4693 1968 | 12 | 36 1478.62/1479.13 c 1475s | 24 | 4000597 | 3853162 | 4693 1970 | 12 | 36 1480.62/1481.16 c 1477s | 24 | 4003288 | 3855762 | 4693 1971 | 12 | 36 1482.72/1483.23 c 1479s | 24 | 4005980 | 3858262 | 4693 1972 | 12 | 36 1484.72/1485.26 c 1481s | 24 | 4009619 | 3861362 | 4693 1973 | 12 | 36 1486.73/1487.27 c 1483s | 24 | 4013646 | 3865362 | 4693 1974 | 12 | 36 1488.82/1489.30 c 1485s | 24 | 4016685 | 3868162 | 4693 1976 | 12 | 36 1490.82/1491.35 c 1487s | 24 | 4020268 | 3871662 | 4693 1977 | 12 | 36 1492.82/1493.35 c 1489s | 24 | 4024024 | 3875362 | 4693 1978 | 12 | 36 1494.82/1495.37 c 1491s | 24 | 4028230 | 3879362 | 4693 1980 | 12 | 36 1496.92/1497.40 c 1493s | 24 | 4032091 | 3883162 | 4693 1982 | 12 | 36 1498.92/1499.42 c 1495s | 24 | 4036230 | 3887262 | 4693 1983 | 12 | 36 1500.92/1501.47 c 1497s | 24 | 4040396 | 3891362 | 4693 1985 | 12 | 36 1503.01/1503.51 c 1499s | 24 | 4044121 | 3894962 | 4693 1986 | 12 | 36 1505.01/1505.52 c 1501s | 24 | 4048115 | 3898862 | 4693 1988 | 12 | 36 1507.01/1507.53 c 1503s | 24 | 4052060 | 3902762 | 4693 1990 | 12 | 36 1509.01/1509.55 c 1505s | 24 | 4055836 | 3906462 | 4693 1991 | 12 | 36 1511.02/1511.57 c 1507s | 24 | 4059472 | 3910062 | 4693 1992 | 12 | 36 1513.12/1513.61 c 1509s | 24 | 4063548 | 3914062 | 4693 1994 | 12 | 36 1515.11/1515.66 c 1511s | 24 | 4067516 | 3917962 | 4693 1996 | 12 | 36 1517.11/1517.69 c 1513s | 24 | 4071479 | 3921862 | 4693 1997 | 12 | 36 1519.21/1519.70 c 1515s | 24 | 4075620 | 3925962 | 4693 1999 | 12 | 36 1521.21/1521.73 c 1517s | 24 | 4079268 | 3929562 | 4693 2000 | 12 | 36 1523.21/1523.76 c 1519s | 24 | 4083435 | 3933662 | 4693 2002 | 12 | 36 1525.31/1525.81 c 1521s | 24 | 4087495 | 3937662 | 4693 2004 | 12 | 36 1527.31/1527.82 c 1523s | 24 | 4091735 | 3941762 | 4693 2005 | 12 | 36 1529.31/1529.87 c 1526s | 24 | 4095864 | 3945762 | 4693 2007 | 12 | 36 1531.31/1531.87 c 1528s | 24 | 4100146 | 3949962 | 4693 2009 | 12 | 36 1533.30/1533.88 c 1530s | 24 | 4104537 | 3954262 | 4693 2010 | 12 | 36 1535.40/1535.97 c 1532s | 24 | 4108304 | 3957962 | 4693 2012 | 12 | 36 1537.41/1537.97 c 1534s | 24 | 4111999 | 3961562 | 4693 2013 | 12 | 36 1539.40/1539.99 c 1536s | 24 | 4116053 | 3965462 | 4693 2015 | 12 | 36 1541.40/1541.99 c 1538s | 24 | 4119978 | 3969262 | 4693 2016 | 12 | 36 1543.50/1544.02 c 1540s | 24 | 4123840 | 3973062 | 4693 2018 | 12 | 36 1545.50/1546.06 c 1542s | 24 | 4126907 | 3975862 | 4693 2019 | 12 | 36 1547.60/1548.10 c 1544s | 24 | 4129982 | 3978562 | 4693 2020 | 12 | 36 1549.60/1550.11 c 1546s | 24 | 4133422 | 3981562 | 4693 2021 | 12 | 36 1551.61/1552.13 c 1548s | 24 | 4138035 | 3985562 | 4693 2023 | 12 | 36 1553.60/1554.16 c 1550s | 24 | 4142716 | 3989662 | 4693 2025 | 12 | 36 1555.70/1556.23 c 1552s | 24 | 4146309 | 3993062 | 4693 2026 | 12 | 36 1557.70/1558.26 c 1554s | 24 | 4151035 | 3997562 | 4693 2028 | 12 | 36 1559.70/1560.28 c 1556s | 24 | 4156087 | 4002462 | 4693 2030 | 12 | 36 1561.81/1562.30 c 1558s | 24 | 4161290 | 4007562 | 4693 2032 | 12 | 36 1563.81/1564.37 c 1560s | 24 | 4165483 | 4011562 | 4693 2034 | 12 | 36 1565.81/1566.38 c 1562s | 24 | 4169353 | 4014962 | 4693 2035 | 12 | 36 1567.81/1568.38 c 1564s | 24 | 4173531 | 4018862 | 4693 2037 | 12 | 36 1569.91/1570.43 c 1566s | 24 | 4177889 | 4022862 | 4693 2038 | 12 | 36 1571.91/1572.45 c 1568s | 24 | 4181772 | 4026662 | 4693 2040 | 12 | 36 1573.90/1574.47 c 1570s | 24 | 4186159 | 4030562 | 4693 2041 | 12 | 36 1575.91/1576.49 c 1572s | 24 | 4190571 | 4034662 | 4693 2043 | 12 | 36 1577.90/1578.50 c 1574s | 24 | 4194920 | 4038862 | 4693 2045 | 12 | 36 1580.00/1580.50 c 1576s | 24 | 4199137 | 4042962 | 4693 2046 | 12 | 36 1582.00/1582.52 c 1578s | 24 | 4203972 | 4047562 | 4693 2048 | 12 | 36 1584.00/1584.56 c 1580s | 24 | 4208681 | 4051962 | 4693 2050 | 12 | 36 1586.10/1586.62 c 1582s | 24 | 4212993 | 4055762 | 4693 2052 | 12 | 36 1588.10/1588.64 c 1584s | 24 | 4217532 | 4060162 | 4693 2053 | 12 | 36 1590.11/1590.68 c 1586s | 24 | 4222598 | 4065162 | 4693 2055 | 12 | 36 1592.20/1592.71 c 1588s | 24 | 4227192 | 4069462 | 4693 2057 | 12 | 36 1594.20/1594.72 c 1590s | 24 | 4231915 | 4073862 | 4693 2059 | 12 | 36 1596.20/1596.77 c 1592s | 24 | 4236092 | 4077662 | 4693 2060 | 12 | 36 1598.30/1598.80 c 1594s | 24 | 4240491 | 4081962 | 4693 2062 | 12 | 36 1600.30/1600.87 c 1597s | 24 | 4245089 | 4086462 | 4693 2064 | 12 | 36 1602.40/1602.90 c 1599s | 24 | 4249419 | 4090462 | 4693 2066 | 12 | 36 1604.40/1604.92 c 1601s | 24 | 4254435 | 4095062 | 4693 2067 | 12 | 36 1606.40/1606.94 c 1603s | 24 | 4259181 | 4099562 | 4693 2069 | 12 | 36 1608.40/1608.95 c 1605s | 24 | 4263843 | 4103662 | 4693 2071 | 12 | 36 1610.40/1610.97 c 1607s | 24 | 4268038 | 4107462 | 4693 2073 | 12 | 36 1612.40/1612.99 c 1609s | 24 | 4272186 | 4111362 | 4693 2074 | 12 | 36 1614.50/1615.00 c 1611s | 24 | 4276667 | 4115662 | 4693 2076 | 12 | 36 1616.50/1617.02 c 1613s | 24 | 4280543 | 4119462 | 4693 2077 | 12 | 36 1618.50/1619.03 c 1615s | 24 | 4285103 | 4123662 | 4693 2079 | 12 | 36 1620.49/1621.05 c 1617s | 24 | 4289462 | 4127662 | 4693 2081 | 12 | 36 1622.49/1623.06 c 1619s | 24 | 4293015 | 4130862 | 4693 2082 | 12 | 36 1624.59/1625.12 c 1621s | 24 | 4297493 | 4134862 | 4693 2084 | 12 | 36 1626.59/1627.16 c 1623s | 24 | 4301962 | 4139162 | 4693 2085 | 12 | 36 1628.60/1629.17 c 1625s | 24 | 4306611 | 4143562 | 4693 2087 | 12 | 36 1630.59/1631.18 c 1627s | 24 | 4310746 | 4147562 | 4693 2089 | 12 | 36 1632.69/1633.20 c 1629s | 24 | 4314808 | 4150962 | 4693 2090 | 12 | 36 1634.69/1635.23 c 1631s | 24 | 4319323 | 4154962 | 4693 2092 | 12 | 36 1636.69/1637.26 c 1633s | 24 | 4323774 | 4159162 | 4693 2094 | 12 | 36 1638.69/1639.27 c 1635s | 24 | 4327957 | 4163262 | 4693 2095 | 12 | 36 1640.70/1641.28 c 1637s | 24 | 4332266 | 4167362 | 4693 2097 | 12 | 36 1642.79/1643.30 c 1639s | 24 | 4336888 | 4171862 | 4693 2099 | 12 | 36 1644.79/1645.31 c 1641s | 24 | 4341646 | 4176462 | 4693 2101 | 12 | 36 1646.79/1647.34 c 1643s | 24 | 4346164 | 4180762 | 4693 2103 | 12 | 36 1648.79/1649.36 c 1645s | 24 | 4350288 | 4184562 | 4693 2104 | 12 | 36 1650.79/1651.38 c 1647s | 24 | 4354813 | 4188562 | 4693 2106 | 12 | 36 1652.90/1653.42 c 1649s | 24 | 4359003 | 4192462 | 4693 2107 | 12 | 36 1654.89/1655.44 c 1651s | 24 | 4363370 | 4196562 | 4693 2109 | 12 | 36 1656.89/1657.47 c 1653s | 24 | 4366719 | 4199462 | 4693 2110 | 12 | 36 1658.89/1659.48 c 1655s | 24 | 4369905 | 4202362 | 4693 2111 | 12 | 36 1660.99/1661.55 c 1657s | 24 | 4374625 | 4206662 | 4693 2113 | 12 | 36 1662.99/1663.59 c 1659s | 24 | 4378289 | 4210162 | 4693 2115 | 12 | 36 1665.09/1665.61 c 1661s | 24 | 4382394 | 4213862 | 4693 2116 | 12 | 36 1667.09/1667.69 c 1663s | 24 | 4387005 | 4217662 | 4693 2118 | 12 | 36 1669.19/1669.71 c 1665s | 24 | 4390462 | 4221062 | 4693 2119 | 12 | 36 1671.19/1671.75 c 1667s | 24 | 4394032 | 4224062 | 4693 2120 | 12 | 36 1673.18/1673.77 c 1669s | 24 | 4398383 | 4228262 | 4693 2122 | 12 | 36 1675.18/1675.78 c 1671s | 24 | 4403126 | 4232562 | 4693 2124 | 12 | 36 1677.28/1677.80 c 1673s | 24 | 4407195 | 4236462 | 4693 2125 | 12 | 36 1679.29/1679.82 c 1675s | 24 | 4411907 | 4240862 | 4693 2127 | 12 | 36 1681.28/1681.83 c 1678s | 24 | 4416251 | 4245062 | 4693 2129 | 12 | 36 1683.28/1683.85 c 1680s | 24 | 4420903 | 4249562 | 4693 2131 | 12 | 36 1685.28/1685.86 c 1682s | 24 | 4425695 | 4254162 | 4693 2133 | 12 | 36 1687.28/1687.89 c 1684s | 24 | 4430629 | 4258862 | 4693 2135 | 12 | 36 1689.38/1689.90 c 1686s | 24 | 4435538 | 4263362 | 4693 2136 | 12 | 36 1691.39/1691.92 c 1688s | 24 | 4440226 | 4267862 | 4693 2138 | 12 | 36 1693.38/1693.93 c 1690s | 24 | 4444991 | 4272462 | 4693 2140 | 12 | 36 1695.38/1695.94 c 1692s | 24 | 4449119 | 4276462 | 4693 2142 | 12 | 36 1697.38/1697.98 c 1694s | 24 | 4453246 | 4280462 | 4693 2143 | 12 | 36 1699.48/1700.02 c 1696s | 24 | 4457340 | 4284462 | 4693 2145 | 12 | 36 1701.48/1702.02 c 1698s | 24 | 4461856 | 4288762 | 4693 2147 | 12 | 36 1703.48/1704.03 c 1700s | 24 | 4466327 | 4293162 | 4693 2149 | 12 | 36 1705.48/1706.06 c 1702s | 24 | 4470110 | 4296462 | 4693 2150 | 12 | 36 1707.48/1708.07 c 1704s | 24 | 4475023 | 4301162 | 4693 2152 | 12 | 36 1709.58/1710.10 c 1706s | 24 | 4479025 | 4304962 | 4693 2153 | 12 | 36 1711.57/1712.10 c 1708s | 24 | 4483408 | 4308962 | 4693 2155 | 12 | 36 1713.57/1714.12 c 1710s | 24 | 4487722 | 4313162 | 4693 2157 | 12 | 36 1715.58/1716.15 c 1712s | 24 | 4492901 | 4318262 | 4693 2159 | 12 | 36 1717.57/1718.15 c 1714s | 24 | 4497709 | 4322962 | 4693 2161 | 12 | 36 1719.57/1720.18 c 1716s | 24 | 4502788 | 4327862 | 4693 2163 | 12 | 36 1721.57/1722.19 c 1718s | 24 | 4507572 | 4332562 | 4693 2165 | 12 | 36 1723.67/1724.22 c 1720s | 24 | 4512434 | 4337362 | 4693 2167 | 12 | 36 1725.67/1726.23 c 1722s | 24 | 4517573 | 4342362 | 4693 2169 | 12 | 36 1727.68/1728.25 c 1724s | 24 | 4522791 | 4347462 | 4693 2171 | 12 | 36 1729.67/1730.26 c 1726s | 24 | 4527253 | 4351862 | 4693 2173 | 12 | 36 1731.67/1732.30 c 1728s | 24 | 4532311 | 4356762 | 4693 2175 | 12 | 36 1733.77/1734.33 c 1730s | 24 | 4537615 | 4361962 | 4693 2177 | 12 | 36 1735.77/1736.36 c 1732s | 24 | 4542218 | 4366462 | 4693 2179 | 12 | 36 1737.77/1738.37 c 1734s | 24 | 4546808 | 4370962 | 4693 2181 | 12 | 36 1739.88/1740.40 c 1736s | 24 | 4551510 | 4375562 | 4693 2182 | 12 | 36 1741.89/1742.49 c 1738s | 24 | 4556459 | 4380362 | 4693 2184 | 12 | 36 1743.98/1744.53 c 1740s | 24 | 4561729 | 4385462 | 4693 2187 | 12 | 36 1745.98/1746.56 c 1742s | 24 | 4566791 | 4390362 | 4693 2189 | 12 | 36 1747.98/1748.59 c 1744s | 24 | 4571236 | 4394462 | 4693 2190 | 12 | 36 1750.08/1750.60 c 1746s | 24 | 4575821 | 4398762 | 4693 2192 | 12 | 36 1752.08/1752.62 c 1748s | 24 | 4580197 | 4402762 | 4693 2194 | 12 | 36 1754.08/1754.67 c 1750s | 24 | 4584228 | 4406462 | 4693 2195 | 12 | 36 1756.08/1756.68 c 1752s | 24 | 4588147 | 4410262 | 4693 2197 | 12 | 36 1758.18/1758.71 c 1754s | 24 | 4593054 | 4414662 | 4693 2198 | 12 | 36 1760.18/1760.73 c 1756s | 24 | 4597149 | 4418562 | 4693 2200 | 12 | 36 1762.18/1762.74 c 1758s | 24 | 4601549 | 4422662 | 4693 2202 | 12 | 36 1764.17/1764.75 c 1760s | 24 | 4606022 | 4426962 | 4693 2204 | 12 | 36 1766.18/1766.78 c 1762s | 24 | 4610680 | 4431562 | 4693 2205 | 12 | 36 1768.17/1768.80 c 1764s | 24 | 4615269 | 4436062 | 4693 2207 | 12 | 36 1770.27/1770.82 c 1766s | 24 | 4619820 | 4440362 | 4693 2209 | 12 | 36 1772.27/1772.86 c 1769s | 24 | 4624907 | 4445362 | 4693 2211 | 12 | 36 1774.37/1774.92 c 1771s | 24 | 4629448 | 4449362 | 4693 2213 | 12 | 36 1776.37/1776.93 c 1773s | 24 | 4632983 | 4452662 | 4693 2214 | 12 | 36 1778.37/1778.98 c 1775s | 24 | 4637439 | 4456862 | 4693 2216 | 12 | 36 1780.48/1781.02 c 1777s | 24 | 4641793 | 4461162 | 4693 2218 | 12 | 36 1782.47/1783.02 c 1779s | 24 | 4646533 | 4465762 | 4693 2219 | 12 | 36 1784.47/1785.08 c 1781s | 24 | 4650142 | 4469062 | 4693 2221 | 12 | 36 1786.47/1787.09 c 1783s | 24 | 4653538 | 4472162 | 4693 2222 | 12 | 36 1788.57/1789.11 c 1785s | 24 | 4656944 | 4475462 | 4693 2223 | 12 | 36 1790.57/1791.13 c 1787s | 24 | 4660689 | 4479062 | 4693 2225 | 12 | 36 1792.58/1793.16 c 1789s | 24 | 4665166 | 4483362 | 4693 2227 | 12 | 36 1794.68/1795.21 c 1791s | 24 | 4669143 | 4487062 | 4693 2228 | 12 | 36 1796.67/1797.21 c 1793s | 24 | 4673169 | 4490762 | 4693 2230 | 12 | 36 1798.67/1799.25 c 1795s | 24 | 4676945 | 4494462 | 4693 2231 | 12 | 36
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106043-1466264081/watcher-4106043-1466264081 -o /tmp/evaluation-result-4106043-1466264081/solver-4106043-1466264081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106043-1466264081.opb pid=7777 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.13 1.33 1.70 3/172 7781 /proc/meminfo: memFree=31200760/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=753084 CPUtime=0 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 2811 0 0 0 0 0 0 0 20 0 4 0 28453575 771158016 3172 33554432000 4194304 16246674 140733769342592 140733769342016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 188783 3183 441 2943 0 185677 0 [pid=7781/tid=7785] ppid=7777 vsize=774588 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 793178112 3259 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=778684 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 797372416 3276 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=783804 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453575 802615296 3295 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100165 s] /proc/loadavg: 1.13 1.33 1.70 3/172 7781 /proc/meminfo: memFree=31200760/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 21482 0 0 0 6 3 0 0 20 0 4 0 28453575 1247350784 21832 33554432000 4194304 16246674 140733769342592 140733769342016 5546859 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 304529 21841 758 2943 0 301423 0 [pid=7781/tid=7785] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 21846 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 21850 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 21853 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200499 s] /proc/loadavg: 1.13 1.33 1.70 3/172 7781 /proc/meminfo: memFree=31200760/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 38384 0 0 0 13 6 0 0 20 0 4 0 28453575 1247350784 38734 33554432000 4194304 16246674 140733769342592 140733769342016 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 304529 38748 758 2943 0 301423 0 [pid=7781/tid=7785] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 38752 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 38755 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 38759 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300531 s] /proc/loadavg: 1.13 1.33 1.70 3/172 7781 /proc/meminfo: memFree=31200760/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 55700 0 0 0 21 8 0 0 20 0 4 0 28453575 1247350784 56049 33554432000 4194304 16246674 140733769342592 140733769342016 5710400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 304529 56055 765 2943 0 301423 0 [pid=7781/tid=7785] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 56059 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 56064 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 56071 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700452 s] /proc/loadavg: 1.13 1.33 1.70 3/172 7781 /proc/meminfo: memFree=31200760/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 129631 0 0 0 50 19 0 0 20 0 4 0 28453575 1247350784 129980 33554432000 4194304 16246674 140733769342592 140733769342016 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 304529 129988 765 2943 0 301423 0 [pid=7781/tid=7785] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 129993 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 129999 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28453575 1247350784 130008 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50039 s] /proc/loadavg: 1.13 1.33 1.70 3/183 7841 /proc/meminfo: memFree=30248664/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 246082 0 0 0 115 34 0 0 20 0 4 0 28453575 1250496512 246408 33554432000 4194304 16246674 140733769342592 140733769341904 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 305297 246408 831 2943 0 302191 0 [pid=7781/tid=7785] ppid=7777 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1250496512 246408 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1250496512 246408 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1250496512 246408 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10039 s] /proc/loadavg: 1.20 1.34 1.70 3/183 7841 /proc/meminfo: memFree=29276868/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 267629 0 0 0 272 37 0 0 20 0 4 0 28453575 1338576896 267955 33554432000 4194304 16246674 140733769342592 140733769325592 5721768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 326801 267955 832 2943 0 323695 0 [pid=7781/tid=7785] ppid=7777 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1338576896 267955 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1338576896 267955 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1338576896 267955 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30048 s] /proc/loadavg: 1.20 1.34 1.70 3/183 7841 /proc/meminfo: memFree=29056396/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 267798 0 0 0 592 37 0 0 20 0 4 0 28453575 1338576896 268124 33554432000 4194304 16246674 140733769342592 140733769324480 5823516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 326801 268124 852 2943 0 323695 0 [pid=7781/tid=7785] ppid=7777 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1338576896 268124 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1338576896 268124 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1338576896 268124 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.32 1.36 1.71 3/183 7841 /proc/meminfo: memFree=29052520/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1310276 CPUtime=12.69 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 268663 0 0 0 1231 38 0 0 20 0 4 0 28453575 1341722624 268989 33554432000 4194304 16246674 140733769342592 140733769324480 6842531 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 327569 268989 852 2943 0 324463 0 [pid=7781/tid=7785] ppid=7777 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1341722624 268989 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1341722624 268989 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1341722624 268989 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 1.42 1.39 1.71 3/183 7841 /proc/meminfo: memFree=29050976/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 268921 0 0 0 2511 38 0 0 20 0 4 0 28453575 1342771200 269247 33554432000 4194304 16246674 140733769342592 140733769324480 12415657 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 327825 269247 854 2943 0 324719 0 [pid=7781/tid=7785] ppid=7777 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1342771200 269247 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1342771200 269247 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1342771200 269247 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 1.68 1.45 1.72 3/183 7841 /proc/meminfo: memFree=29050856/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1311300 CPUtime=51.09 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 268923 0 0 0 5071 38 0 0 20 0 4 0 28453575 1342771200 269249 33554432000 4194304 16246674 140733769342592 140733769324480 5545903 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 327825 269249 856 2943 0 324719 0 [pid=7781/tid=7785] ppid=7777 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1342771200 269249 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1342771200 269249 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1342771200 269249 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 1.94 1.56 1.74 3/183 7843 /proc/meminfo: memFree=29046776/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1313348 CPUtime=102.29 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 269435 0 0 0 10190 39 0 0 20 0 4 0 28453575 1344868352 269761 33554432000 4194304 16246674 140733769342592 140733769324480 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 328337 269761 856 2943 0 325231 0 [pid=7781/tid=7785] ppid=7777 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1344868352 269761 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1344868352 269761 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1344868352 269761 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1321540 [startup+1302.3 s] /proc/loadavg: 2.16 2.11 1.99 3/183 7873 /proc/meminfo: memFree=29028520/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1301.84 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 130135 49 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1321540 [startup+1362.3 s] /proc/loadavg: 2.16 2.12 2.00 3/183 7874 /proc/meminfo: memFree=29028556/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1361.83 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 136133 50 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 13820720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1321540 [startup+1422.3 s] /proc/loadavg: 2.17 2.12 2.01 3/183 7875 /proc/meminfo: memFree=29028336/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1421.83 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 142133 50 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1321540 [startup+1482.3 s] /proc/loadavg: 2.18 2.13 2.01 3/183 7876 /proc/meminfo: memFree=29028084/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1481.82 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 148131 51 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 6836773 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1321540 [startup+1542.31 s] /proc/loadavg: 2.17 2.13 2.02 3/184 7880 /proc/meminfo: memFree=29028864/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1541.81 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 154130 51 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 6010408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1321540 [startup+1602.3 s] /proc/loadavg: 2.29 2.17 2.03 3/183 7904 /proc/meminfo: memFree=29028436/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1601.8 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 160128 52 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 5823849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1321540 [startup+1662.3 s] /proc/loadavg: 2.22 2.18 2.04 3/183 7906 /proc/meminfo: memFree=29028428/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1661.79 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 166127 52 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 5723504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1321540 [startup+1722.3 s] /proc/loadavg: 2.19 2.17 2.05 3/183 7907 /proc/meminfo: memFree=29028180/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1721.77 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 172125 52 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1321540 [startup+1782.3 s] /proc/loadavg: 2.18 2.17 2.05 3/183 7908 /proc/meminfo: memFree=29028060/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1781.77 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 178124 53 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 5677043 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1321540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.14 2.16 2.05 4/183 7908 /proc/meminfo: memFree=29028436/32872528 swapFree=496868/529572 [pid=7781] ppid=7777 vsize=1321540 CPUtime=1800.07 cores=1,3,5,7 /proc/7781/stat : 7781 (toysat) R 7777 7781 7739 0 -1 4202496 271880 0 0 0 179954 53 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140733769324480 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7781/statm: 330385 271812 857 2943 0 327279 0 [pid=7781/tid=7785] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7785/stat : 7785 (toysat) S 7777 7781 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072103947504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7781/tid=7786] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7786/stat : 7786 (toysat) S 7777 7781 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072093457648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7781/tid=7787] ppid=7777 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/7781/task/7787/stat : 7787 (toysat) S 7777 7781 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28453575 1353256960 271812 33554432000 4194304 16246674 140733769342592 140072082984112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1321540 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 7781 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.55 CPU system time (s): 0.531919 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 1321540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.531919 maximum resident set size= 1087248 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271880 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= 410 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.37388 second user time and 16.0286 second system time The end
Begin job on node141 at 2016-06-18 17:34:41 IDJOB=4106043 IDBENCH=47904 IDSOLVER=2542 FILE ID=node141/4106043-1466264081 RUNJOBID= node141-1466264081-7756 PBS_JOBID= 19918217 Free space on /tmp= 71728 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=139-P2=89-P3=173-P4=107-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106043-1466264081/watcher-4106043-1466264081 -o /tmp/evaluation-result-4106043-1466264081/solver-4106043-1466264081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106043-1466264081.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 616d60d0b9e17d59a77d69efb2609a49 RANDOM SEED=1942077297 node141.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.547 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.09 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.547 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.547 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.54 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.547 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.547 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.56 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.547 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.547 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.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31201792 kB Buffers: 142220 kB Cached: 253356 kB SwapCached: 2528 kB Active: 139876 kB Inactive: 259060 kB Active(anon): 3692 kB Inactive(anon): 2028 kB Active(file): 136184 kB Inactive(file): 257032 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 33036 kB Writeback: 0 kB AnonPages: 531740 kB Mapped: 6948 kB Shmem: 0 kB Slab: 610172 kB SReclaimable: 53340 kB SUnreclaim: 556832 kB KernelStack: 1392 kB PageTables: 5024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 626128 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 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= 71696 MiB End job on node141 at 2016-06-18 18:04:42