| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_3.opb |
| MD5SUM | 37c74b9e914d30b1ddfc0838676dd479 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | YES |
| Number of variables | 41 |
| Total number of constraints | 11 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1162 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 3487 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T22:45:36+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079732-1465245936.opb"] 0.00/0.01 c use --random-gen="2990631353 2009324619 3649971926 2874772149 1893785428 1401733559 1949731679 273209552 3344342012 1049440962 2875848625 1716356767 1818319781 745389 2170235789 2749944165 2432484667 1024636798 3757109698 2350042462 296955652 281823837 3959124972 906590872 2052418888 1033751402 660728461 3582701883 2541615153 551831182 2818735819 1011793120 2040568655 4183502665 479258750 2719891268 2251866075 3531071429 2787959681 3640407481 2908933331 71507453 1020486384 515898236 3100279970 2232310041 2172279991 751918188 1916436185 4220970101 894786161 346601791 3823595763 1727122599 1932402762 2379105205 3498719134 3662683577 4066263647 2761224689 1498789477 4176039891 189893189 1069606341 3423425230 1599395506 1590112892 1278564954 1364275014 3383338719 3409749050 4151333460 2461245277 13403463 4037160468 3339963969 1304018786 776682547 246560093 1429643907 2115146141 1459607370 133272984 3640250151 504834994 3618693924 3551320850 2938331595 2040066698 4147633879 2871696541 1941126143 3342290272 459150427 3656559569 1626435766 4019109766 6355130 3001024392 945947663 1597873127 1618328674 616125738 2981614070 3003798039 1546511149 2923954895 1488989540 3761389377 2362594860 755841978 2382091377 1182419226 3384916042 888036914 163712951 776496309 3404308129 226415225 3146719555 3885175007 1692228246 1636804499 601216665 2452715575 2799688921 816143926 2136088745 654490452 3190754892 1815023344 2224177403 1316229460 3201202607 636522367 1108995745 4267836161 2569716299 4090833796 1669393877 1073040994 2465708311 769693149 4243847637 2696061349 2356901857 2387341763 3987573892 3563466690 2569093660 1121784760 4165407034 3145581361 4235635061 1547122399 2169053049 1997643409 206457724 4278331949 1761353119 3617573430 3499263874 3458698892 1324126091 1728817270 451338002 3059290549 3881239853 3533507938 1979134132 991207706 2266756705 3263868669 1579627656 3375901811 2883570135 3622259384 2559030378 3727463718 2725645189 2085929557 4068295512 2590421384 699693672 2271614683 87360743 966393246 2373279314 4016068549 2385150805 3575757152 185823481 1640091317 1863568559 2701597095 1210483769 1770016865 1071338162 1867175243 826662040 2605942025 3827488976 523343773 3482530160 2133244571 1396070168 2995288197 905133469 669902723 2578782929 1307712801 1874103336 1164380246 1187977020 717475654 615539174 3088362642 2327878081 478276402 2374996292 47759368 4167933110 103310008 1018880367 3835925447 337753923 3648096809 196147359 238557860 1770609575 3386274428 2726511740 1896724521 1823082878 689766064 3936726124 1628952012 830497890 859990386 308121175 3118458892 3952403560 665075437 178291398 3919395169 2644260363 1972415517 794275529 2518082366 2443602503 3038590158 3064748352 1531922412 2268173390 307903112 1578139574 255 362436" option to reproduce the execution 0.00/0.01 c #vars 41 0.00/0.01 c #constraints 11 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 17 0 | 1 | 0 0.00/0.02 c 0.0s | 1 | 117 | 100 | 17 3 | 1 | 0 0.00/0.04 c 0.0s | 2 | 288 | 250 | 19 11 | 1 | 0 0.00/0.07 c 0.1s | 3 | 536 | 475 | 21 23 | 1 | 0 0.09/0.11 c 0.1s | 4 | 911 | 813 | 24 38 | 1 | 0 0.09/0.18 c 0.2s | 5 | 1440 | 1320 | 27 62 | 1 | 0 0.19/0.27 c 0.3s | 6 | 2239 | 2081 | 33 95 | 1 | 0 0.39/0.41 c 0.4s | 7 | 3414 | 3223 | 37 143 | 1 | 0 0.59/0.61 c 0.6s | 8 | 5165 | 4936 | 41 208 | 1 | 0 0.89/0.91 c 0.9s | 9 | 7780 | 7506 | 46 303 | 1 | 0 1.29/1.36 c 1.3s | 10 | 11729 | 11361 | 51 434 | 1 | 0 1.79/1.83 c 1.8s | 11 | 17596 | 17144 | 57 614 | 1 | 0 2.48/2.51 c 2.5s | 12 | 26386 | 25819 | 63 865 | 1 | 0 3.48/3.51 c 3.5s | 13 | 39558 | 38832 | 70 1213 | 1 | 0 4.99/5.03 c 5.0s | 14 | 59325 | 58352 | 77 1688 | 1 | 0 6.99/7.04 c 7.0s | 14 | 85517 | 84252 | 77 2281 | 1 | 0 7.19/7.30 c 7.3s | 15 | 88935 | 87632 | 85 2358 | 1 | 0 9.29/9.30 c 9.3s | 15 | 114180 | 112532 | 85 2872 | 1 | 0 10.79/10.81 c 10.8s | 16 | 133493 | 131552 | 94 3270 | 1 | 0 12.79/12.81 c 12.8s | 16 | 158981 | 156652 | 94 3743 | 1 | 0 14.78/14.82 c 14.8s | 16 | 184653 | 181952 | 94 4233 | 1 | 0 15.98/16.06 c 16.0s | 17 | 200363 | 197432 | 104 4527 | 1 | 0 17.98/18.06 c 18.1s | 17 | 225771 | 222532 | 104 4960 | 1 | 0 19.98/20.07 c 20.1s | 17 | 251301 | 247732 | 104 5407 | 1 | 0 21.99/22.08 c 22.1s | 17 | 276811 | 272932 | 104 5847 | 1 | 0 23.88/23.90 c 23.9s | 18 | 300395 | 296252 | 115 6250 | 1 | 0 25.88/25.90 c 25.9s | 18 | 325296 | 320852 | 115 6636 | 1 | 0 27.88/27.90 c 27.9s | 18 | 350353 | 345652 | 115 7029 | 1 | 0 29.89/29.91 c 29.9s | 18 | 375767 | 370752 | 115 7423 | 1 | 0 31.90/31.91 c 31.9s | 18 | 400978 | 395652 | 115 7820 | 1 | 0 33.89/33.92 c 33.9s | 18 | 425995 | 420452 | 115 8219 | 1 | 0 35.88/35.90 c 35.9s | 19 | 450336 | 444482 | 127 8600 | 1 | 0 37.88/37.91 c 37.9s | 19 | 474913 | 468782 | 127 8948 | 1 | 0 39.88/39.91 c 39.9s | 19 | 499963 | 493482 | 127 9309 | 1 | 0 41.89/41.91 c 41.9s | 19 | 524873 | 518082 | 127 9662 | 1 | 0 43.88/43.92 c 43.9s | 19 | 550103 | 542982 | 127 10027 | 1 | 0 45.88/45.93 c 45.9s | 19 | 574795 | 567382 | 127 10382 | 1 | 0 47.88/47.93 c 47.9s | 19 | 599291 | 591582 | 127 10737 | 1 | 0 49.88/49.94 c 49.9s | 19 | 623639 | 615682 | 127 11086 | 1 | 0 51.87/51.94 c 51.9s | 19 | 648144 | 639882 | 127 11442 | 1 | 0 53.88/53.94 c 53.9s | 19 | 672751 | 664182 | 140 11795 | 1 | 0 54.07/54.16 c 54.1s | 20 | 675437 | 666827 | 140 11830 | 1 | 0 56.08/56.16 c 56.2s | 20 | 699701 | 690727 | 140 12146 | 1 | 0 58.07/58.16 c 58.2s | 20 | 724088 | 714827 | 140 12465 | 1 | 0 60.07/60.17 c 60.2s | 20 | 748180 | 738627 | 140 12781 | 1 | 0 62.07/62.17 c 62.2s | 20 | 772783 | 762927 | 140 13102 | 1 | 0 64.08/64.17 c 64.2s | 20 | 797419 | 787227 | 140 13427 | 1 | 0 66.09/66.18 c 66.2s | 20 | 822148 | 811627 | 140 13755 | 1 | 0 68.08/68.18 c 68.2s | 20 | 847020 | 836227 | 140 14090 | 1 | 0 70.08/70.19 c 70.2s | 20 | 872219 | 861127 | 140 14432 | 1 | 0 72.08/72.19 c 72.2s | 20 | 896983 | 885527 | 140 14759 | 1 | 0 74.07/74.19 c 74.2s | 20 | 922127 | 910327 | 140 15088 | 1 | 0 76.07/76.19 c 76.2s | 20 | 947085 | 935027 | 140 15419 | 1 | 0 78.08/78.19 c 78.2s | 20 | 972405 | 960027 | 140 15755 | 1 | 0 80.17/80.20 c 80.2s | 20 | 997372 | 984727 | 140 16091 | 1 | 0 81.38/81.46 c 81.5s | 21 | 1013121 | 1000345 | 154 16295 | 1 | 0 83.37/83.46 c 83.5s | 21 | 1037221 | 1024145 | 154 16583 | 1 | 0 85.37/85.47 c 85.5s | 21 | 1061719 | 1048345 | 154 16881 | 1 | 0 87.37/87.47 c 87.5s | 21 | 1086292 | 1072645 | 154 17181 | 1 | 0 89.37/89.47 c 89.5s | 21 | 1110889 | 1096945 | 154 17481 | 1 | 0 91.37/91.47 c 91.5s | 21 | 1135771 | 1121545 | 154 17786 | 1 | 0 93.37/93.47 c 93.5s | 21 | 1160213 | 1145745 | 154 18086 | 1 | 0 95.37/95.48 c 95.5s | 21 | 1184320 | 1169545 | 154 18375 | 1 | 0 97.37/97.48 c 97.5s | 21 | 1208930 | 1193845 | 154 18673 | 1 | 0 99.37/99.49 c 99.5s | 21 | 1233830 | 1218445 | 154 18975 | 1 | 0 101.37/101.50 c 101s | 21 | 1258345 | 1242645 | 154 19272 | 1 | 0 103.38/103.50 c 103s | 21 | 1283136 | 1267145 | 154 19577 | 1 | 0 105.47/105.51 c 105s | 21 | 1307415 | 1291145 | 154 19871 | 1 | 0 107.47/107.51 c 107s | 21 | 1331581 | 1315045 | 154 20166 | 1 | 0 109.47/109.52 c 109s | 21 | 1356609 | 1339745 | 154 20471 | 1 | 0 111.47/111.52 c 111s | 21 | 1381401 | 1364245 | 154 20777 | 1 | 0 113.47/113.53 c 113s | 21 | 1406146 | 1388645 | 154 21078 | 1 | 0 115.47/115.54 c 115s | 21 | 1430943 | 1413145 | 154 21384 | 1 | 0 117.47/117.54 c 117s | 21 | 1455735 | 1437645 | 154 21689 | 1 | 0 119.46/119.55 c 119s | 21 | 1480304 | 1461945 | 154 21992 | 1 | 0 121.46/121.55 c 121s | 21 | 1505347 | 1486645 | 154 22303 | 1 | 0 122.56/122.68 c 122s | 22 | 1519542 | 1500622 | 170 22467 | 1 | 0 124.56/124.69 c 124s | 22 | 1543370 | 1524022 | 170 22725 | 1 | 0 126.57/126.69 c 126s | 22 | 1567250 | 1547622 | 170 22989 | 1 | 0 128.56/128.69 c 128s | 22 | 1591919 | 1571922 | 170 23256 | 1 | 0 130.56/130.69 c 130s | 22 | 1616153 | 1595822 | 170 23520 | 1 | 0 132.56/132.70 c 132s | 22 | 1639934 | 1619322 | 170 23782 | 1 | 0 134.66/134.70 c 134s | 22 | 1663813 | 1642922 | 170 24047 | 1 | 0 136.66/136.70 c 136s | 22 | 1687535 | 1666422 | 170 24307 | 1 | 0 138.67/138.70 c 138s | 22 | 1711896 | 1690522 | 170 24576 | 1 | 0 140.67/140.71 c 140s | 22 | 1736734 | 1715022 | 170 24850 | 1 | 0 142.67/142.72 c 142s | 22 | 1761010 | 1739022 | 170 25120 | 1 | 0 144.66/144.72 c 144s | 22 | 1785069 | 1762822 | 170 25385 | 1 | 0 146.66/146.73 c 146s | 22 | 1809435 | 1786922 | 170 25656 | 1 | 0 148.66/148.73 c 148s | 22 | 1833824 | 1811022 | 170 25928 | 1 | 0 150.67/150.74 c 150s | 22 | 1858454 | 1835322 | 170 26202 | 1 | 0 152.66/152.74 c 152s | 22 | 1883046 | 1859622 | 170 26479 | 1 | 0 154.66/154.74 c 154s | 22 | 1908005 | 1884222 | 170 26759 | 1 | 0 156.66/156.74 c 156s | 22 | 1933052 | 1908922 | 170 27041 | 1 | 0 158.66/158.75 c 158s | 22 | 1958284 | 1933822 | 170 27323 | 1 | 0 160.66/160.75 c 160s | 22 | 1982616 | 1957822 | 170 27586 | 1 | 0 162.66/162.75 c 162s | 22 | 2006812 | 1981722 | 170 27849 | 1 | 0 164.66/164.75 c 164s | 22 | 2031320 | 2006022 | 170 28119 | 1 | 0 166.66/166.76 c 166s | 22 | 2055510 | 2029922 | 170 28385 | 1 | 0 168.65/168.76 c 168s | 22 | 2080123 | 2054122 | 170 28653 | 1 | 0 170.66/170.76 c 170s | 22 | 2104465 | 2078122 | 170 28923 | 1 | 0 172.67/172.77 c 172s | 22 | 2129306 | 2102622 | 170 29196 | 1 | 0 174.66/174.78 c 174s | 22 | 2154075 | 2127022 | 170 29471 | 1 | 0 176.66/176.78 c 176s | 22 | 2178782 | 2151422 | 170 29746 | 1 | 0 178.66/178.79 c 178s | 22 | 2203838 | 2176122 | 170 30025 | 1 | 0 180.66/180.79 c 180s | 22 | 2228044 | 2200022 | 170 30290 | 1 | 0 182.76/182.80 c 182s | 22 | 2252786 | 2224422 | 170 30561 | 1 | 0 184.76/184.81 c 184s | 22 | 2277639 | 2248922 | 188 30819 | 1 | 0 184.86/184.98 c 184s | 23 | 2279793 | 2251038 | 188 30840 | 1 | 0 186.86/186.98 c 186s | 23 | 2303213 | 2274138 | 188 31069 | 1 | 0 188.85/188.99 c 188s | 23 | 2327304 | 2297938 | 188 31311 | 1 | 0 190.85/190.99 c 190s | 23 | 2351231 | 2321538 | 188 31550 | 1 | 0 192.95/193.00 c 192s | 23 | 2375242 | 2345238 | 188 31791 | 1 | 0 194.95/195.00 c 194s | 23 | 2399126 | 2368738 | 188 32029 | 1 | 0 196.86/197.00 c 196s | 23 | 2423432 | 2392838 | 188 32275 | 1 | 0 198.95/199.01 c 198s | 23 | 2447671 | 2416838 | 188 32520 | 1 | 0 200.95/201.02 c 201s | 23 | 2471606 | 2440538 | 188 32761 | 1 | 0 202.95/203.02 c 203s | 23 | 2495836 | 2464438 | 188 33002 | 1 | 0 204.96/205.02 c 205s | 23 | 2520022 | 2488338 | 188 33246 | 1 | 0 206.96/207.03 c 207s | 23 | 2544220 | 2512338 | 188 33492 | 1 | 0 208.96/209.03 c 209s | 23 | 2568615 | 2536438 | 188 33741 | 1 | 0 210.95/211.04 c 211s | 23 | 2592251 | 2559738 | 188 33976 | 1 | 0 212.95/213.04 c 213s | 23 | 2616960 | 2584138 | 188 34224 | 1 | 0 214.95/215.04 c 215s | 23 | 2641629 | 2608438 | 188 34472 | 1 | 0 216.95/217.05 c 217s | 23 | 2665479 | 2632038 | 188 34714 | 1 | 0 218.96/219.05 c 219s | 23 | 2689434 | 2655738 | 188 34956 | 1 | 0 220.95/221.06 c 221s | 23 | 2713603 | 2679638 | 188 35202 | 1 | 0 222.95/223.06 c 223s | 23 | 2737713 | 2703538 | 188 35447 | 1 | 0 224.95/225.07 c 225s | 23 | 2762278 | 2727838 | 188 35699 | 1 | 0 226.95/227.07 c 227s | 23 | 2787485 | 2752638 | 188 35954 | 1 | 0 228.95/229.07 c 229s | 23 | 2812230 | 2777038 | 188 36208 | 1 | 0 230.95/231.08 c 231s | 23 | 2836536 | 2801038 | 188 36456 | 1 | 0 232.95/233.08 c 233s | 23 | 2859886 | 2824138 | 188 36690 | 1 | 0 234.94/235.09 c 235s | 23 | 2883706 | 2847738 | 188 36930 | 1 | 0 236.94/237.09 c 237s | 23 | 2907560 | 2871338 | 188 37169 | 1 | 0 239.04/239.10 c 239s | 23 | 2931609 | 2895138 | 188 37412 | 1 | 0 241.04/241.10 c 241s | 23 | 2955501 | 2918838 | 188 37652 | 1 | 0 243.05/243.11 c 243s | 23 | 2979336 | 2942438 | 188 37892 | 1 | 0 245.04/245.12 c 245s | 23 | 3003512 | 2966338 | 188 38136 | 1 | 0 247.04/247.12 c 247s | 23 | 3028024 | 2990538 | 188 38386 | 1 | 0 249.05/249.13 c 249s | 23 | 3052204 | 3014438 | 188 38631 | 1 | 0 251.04/251.14 c 251s | 23 | 3076524 | 3038538 | 188 38881 | 1 | 0 253.05/253.14 c 253s | 23 | 3100699 | 3062438 | 188 39128 | 1 | 0 255.04/255.14 c 255s | 23 | 3124603 | 3086138 | 188 39368 | 1 | 0 257.04/257.14 c 257s | 23 | 3149092 | 3110338 | 188 39615 | 1 | 0 259.04/259.14 c 259s | 23 | 3173240 | 3134238 | 188 39860 | 1 | 0 261.04/261.14 c 261s | 23 | 3197093 | 3157838 | 188 40102 | 1 | 0 263.03/263.15 c 263s | 23 | 3221624 | 3182138 | 188 40353 | 1 | 0 265.05/265.15 c 265s | 23 | 3246665 | 3206938 | 188 40607 | 1 | 0 267.04/267.16 c 267s | 23 | 3271828 | 3231838 | 188 40861 | 1 | 0 269.04/269.16 c 269s | 23 | 3297029 | 3256638 | 188 41114 | 1 | 0 271.04/271.17 c 271s | 23 | 3321848 | 3281138 | 188 41368 | 1 | 0 273.04/273.17 c 273s | 23 | 3346688 | 3305638 | 188 41621 | 1 | 0 275.04/275.18 c 275s | 23 | 3371337 | 3329938 | 188 41872 | 1 | 0 277.03/277.19 c 277s | 23 | 3395708 | 3354038 | 207 42116 | 1 | 0 278.93/279.05 c 279s | 24 | 3418630 | 3376662 | 207 42326 | 1 | 0 280.93/281.05 c 281s | 24 | 3441612 | 3399362 | 207 42534 | 1 | 0 282.93/283.05 c 283s | 24 | 3465140 | 3422662 | 207 42748 | 1 | 0 284.94/285.06 c 285s | 24 | 3488504 | 3445862 | 207 42963 | 1 | 0 286.94/287.06 c 287s | 24 | 3512393 | 3469462 | 207 43178 | 1 | 0 288.94/289.06 c 289s | 24 | 3536100 | 3492862 | 207 43393 | 1 | 0 290.94/291.07 c 291s | 24 | 3559918 | 3516362 | 207 43608 | 1 | 0 292.94/293.07 c 293s | 24 | 3583375 | 3539562 | 207 43824 | 1 | 0 294.94/295.07 c 295s | 24 | 3607158 | 3563062 | 207 44043 | 1 | 0 296.94/297.07 c 297s | 24 | 3630509 | 3586162 | 207 44257 | 1 | 0 298.94/299.08 c 299s | 24 | 3654070 | 3609462 | 207 44472 | 1 | 0 300.93/301.09 c 301s | 24 | 3677526 | 3632662 | 207 44687 | 1 | 0 302.93/303.09 c 303s | 24 | 3701383 | 3656262 | 207 44906 | 1 | 0 305.03/305.10 c 305s | 24 | 3724994 | 3679662 | 207 45124 | 1 | 0 307.03/307.10 c 307s | 24 | 3749025 | 3703462 | 207 45348 | 1 | 0 309.04/309.11 c 309s | 24 | 3773007 | 3727162 | 207 45566 | 1 | 0 311.03/311.11 c 311s | 24 | 3796824 | 3750762 | 207 45785 | 1 | 0 313.03/313.11 c 313s | 24 | 3821536 | 3775162 | 207 46011 | 1 | 0 315.03/315.11 c 315s | 24 | 3845310 | 3798662 | 207 46231 | 1 | 0 317.02/317.12 c 317s | 24 | 3869505 | 3822562 | 207 46455 | 1 | 0 319.04/319.12 c 319s | 24 | 3893803 | 3846562 | 207 46682 | 1 | 0 321.03/321.12 c 321s | 24 | 3918391 | 3870862 | 207 46911 | 1 | 0 323.03/323.12 c 323s | 24 | 3941237 | 3893462 | 207 47119 | 1 | 0 325.03/325.13 c 325s | 24 | 3964343 | 3916362 | 207 47330 | 1 | 0 327.03/327.13 c 327s | 24 | 3988326 | 3939962 | 207 47547 | 1 | 0 329.03/329.14 c 329s | 24 | 4012119 | 3963462 | 207 47765 | 1 | 0 331.03/331.14 c 331s | 24 | 4036238 | 3987262 | 207 47983 | 1 | 0 333.03/333.15 c 333s | 24 | 4060012 | 4010762 | 207 48199 | 1 | 0 335.03/335.15 c 335s | 24 | 4083887 | 4034362 | 207 48419 | 1 | 0 337.02/337.15 c 337s | 24 | 4108471 | 4058562 | 207 48645 | 1 | 0 339.02/339.15 c 339s | 24 | 4132087 | 4081962 | 207 48864 | 1 | 0 341.03/341.15 c 341s | 24 | 4155754 | 4105362 | 207 49081 | 1 | 0 343.02/343.16 c 343s | 24 | 4179817 | 4129162 | 207 49301 | 1 | 0 345.02/345.16 c 345s | 24 | 4203896 | 4152962 | 207 49523 | 1 | 0 347.02/347.16 c 347s | 24 | 4227438 | 4176162 | 207 49742 | 1 | 0 349.02/349.17 c 349s | 24 | 4250567 | 4199062 | 207 49954 | 1 | 0 351.03/351.17 c 351s | 24 | 4274396 | 4222562 | 207 50171 | 1 | 0 353.03/353.18 c 353s | 24 | 4297616 | 4245562 | 207 50385 | 1 | 0 355.03/355.19 c 355s | 24 | 4321152 | 4268862 | 207 50603 | 1 | 0 357.02/357.20 c 357s | 24 | 4345208 | 4292562 | 207 50825 | 1 | 0 359.12/359.20 c 359s | 24 | 4369280 | 4316262 | 207 51047 | 1 | 0 361.12/361.20 c 361s | 24 | 4393970 | 4340562 | 207 51275 | 1 | 0 363.12/363.20 c 363s | 24 | 4418318 | 4364562 | 207 51501 | 1 | 0 365.13/365.21 c 365s | 24 | 4441988 | 4387962 | 207 51722 | 1 | 0 367.12/367.21 c 367s | 24 | 4466059 | 4411762 | 207 51947 | 1 | 0 369.12/369.22 c 369s | 24 | 4490123 | 4435562 | 207 52169 | 1 | 0 371.12/371.22 c 371s | 24 | 4514364 | 4459562 | 207 52394 | 1 | 0 373.12/373.22 c 373s | 24 | 4538686 | 4483562 | 207 52618 | 1 | 0 375.13/375.23 c 375s | 24 | 4562961 | 4507562 | 207 52843 | 1 | 0 377.12/377.23 c 377s | 24 | 4587376 | 4531662 | 207 53071 | 1 | 0 379.12/379.24 c 379s | 24 | 4612230 | 4556162 | 207 53304 | 1 | 0 381.12/381.24 c 381s | 24 | 4637439 | 4580962 | 207 53535 | 1 | 0 383.12/383.25 c 383s | 24 | 4662323 | 4605462 | 207 53764 | 1 | 0 385.12/385.25 c 385s | 24 | 4687391 | 4630162 | 207 53996 | 1 | 0 387.12/387.26 c 387s | 24 | 4711896 | 4654362 | 207 54225 | 1 | 0 389.12/389.26 c 389s | 24 | 4736317 | 4678462 | 207 54453 | 1 | 0 391.12/391.26 c 391s | 24 | 4760523 | 4702462 | 207 54680 | 1 | 0 393.12/393.26 c 393s | 24 | 4785228 | 4726862 | 207 54912 | 1 | 0 395.12/395.27 c 395s | 24 | 4809479 | 4750862 | 207 55140 | 1 | 0 397.12/397.27 c 397s | 24 | 4833244 | 4774462 | 207 55359 | 1 | 0 399.12/399.27 c 399s | 24 | 4856778 | 4797762 | 207 55572 | 1 | 0 401.12/401.28 c 401s | 24 | 4879948 | 4820762 | 207 55785 | 1 | 0 403.12/403.28 c 403s | 24 | 4903468 | 4844062 | 207 56003 | 1 | 0 405.12/405.28 c 405s | 24 | 4926786 | 4867062 | 207 56216 | 1 | 0 407.12/407.29 c 407s | 24 | 4950008 | 4890062 | 207 56429 | 1 | 0 409.12/409.29 c 409s | 24 | 4973660 | 4913462 | 207 56648 | 1 | 0 411.11/411.29 c 411s | 24 | 4997242 | 4936762 | 207 56864 | 1 | 0 413.21/413.30 c 413s | 24 | 5020774 | 4960062 | 207 57082 | 1 | 0 415.21/415.30 c 415s | 24 | 5044311 | 4983362 | 207 57299 | 1 | 0 417.21/417.30 c 417s | 24 | 5068734 | 5007462 | 207 57526 | 1 | 0 419.21/419.31 c 419s | 24 | 5092936 | 5031362 | 228 57749 | 1 | 0 421.22/421.31 c 421s | 24 | 5117214 | 5055362 | 228 57958 | 1 | 0 422.01/422.13 c 422s | 25 | 5127121 | 5065098 | 228 58039 | 1 | 0 424.01/424.13 c 424s | 25 | 5150127 | 5087998 | 228 58228 | 1 | 0 426.01/426.14 c 426s | 25 | 5172819 | 5110498 | 228 58415 | 1 | 0 428.01/428.14 c 428s | 25 | 5195384 | 5132898 | 228 58602 | 1 | 0 430.01/430.15 c 430s | 25 | 5217948 | 5155198 | 228 58788 | 1 | 0 432.01/432.15 c 432s | 25 | 5240407 | 5177398 | 228 58975 | 1 | 0 434.01/434.16 c 434s | 25 | 5262845 | 5199598 | 228 59160 | 1 | 0 436.01/436.17 c 436s | 25 | 5285472 | 5221998 | 228 59346 | 1 | 0 438.01/438.17 c 438s | 25 | 5308262 | 5244498 | 228 59534 | 1 | 0 440.01/440.17 c 440s | 25 | 5330888 | 5266898 | 228 59722 | 1 | 0 442.01/442.18 c 442s | 25 | 5354115 | 5289798 | 228 59914 | 1 | 0 444.01/444.18 c 444s | 25 | 5377074 | 5312498 | 228 60106 | 1 | 0 446.01/446.19 c 446s | 25 | 5400220 | 5335398 | 228 60300 | 1 | 0 448.01/448.19 c 448s | 25 | 5423619 | 5358498 | 228 60496 | 1 | 0 450.11/450.20 c 450s | 25 | 5446675 | 5381298 | 228 60687 | 1 | 0 452.02/452.20 c 452s | 25 | 5469163 | 5403598 | 228 60874 | 1 | 0 454.11/454.20 c 454s | 25 | 5491644 | 5425898 | 228 61062 | 1 | 0 456.11/456.21 c 456s | 25 | 5514312 | 5448298 | 228 61249 | 1 | 0 458.11/458.21 c 458s | 25 | 5536881 | 5470598 | 228 61435 | 1 | 0 460.11/460.21 c 460s | 25 | 5559941 | 5493398 | 228 61627 | 1 | 0 462.10/462.22 c 462s | 25 | 5582992 | 5516198 | 228 61820 | 1 | 0 464.11/464.23 c 464s | 25 | 5605712 | 5538698 | 228 62008 | 1 | 0 466.10/466.23 c 466s | 25 | 5628248 | 5560998 | 228 62198 | 1 | 0 468.11/468.23 c 468s | 25 | 5651202 | 5583698 | 228 62387 | 1 | 0 470.11/470.23 c 470s | 25 | 5673803 | 5606098 | 228 62576 | 1 | 0 472.11/472.24 c 472s | 25 | 5696374 | 5628498 | 228 62764 | 1 | 0 474.11/474.25 c 474s | 25 | 5719317 | 5651198 | 228 62956 | 1 | 0 476.11/476.25 c 476s | 25 | 5742255 | 5673898 | 228 63148 | 1 | 0 478.11/478.25 c 478s | 25 | 5765729 | 5697098 | 228 63346 | 1 | 0 480.11/480.26 c 480s | 25 | 5788693 | 5719798 | 228 63536 | 1 | 0 482.10/482.26 c 482s | 25 | 5812025 | 5742798 | 228 63730 | 1 | 0 484.10/484.27 c 484s | 25 | 5835271 | 5765798 | 228 63924 | 1 | 0 486.11/486.27 c 486s | 25 | 5858495 | 5788798 | 228 64119 | 1 | 0 488.10/488.27 c 488s | 25 | 5881619 | 5811698 | 228 64315 | 1 | 0 490.10/490.27 c 490s | 25 | 5904565 | 5834398 | 228 64508 | 1 | 0 492.10/492.28 c 492s | 25 | 5928029 | 5857598 | 228 64706 | 1 | 0 494.10/494.28 c 494s | 25 | 5951242 | 5880598 | 228 64902 | 1 | 0 496.11/496.28 c 496s | 25 | 5974922 | 5903998 | 228 65103 | 1 | 0 498.10/498.28 c 498s | 25 | 5997448 | 5926298 | 228 65287 | 1 | 0 500.10/500.29 c 500s | 25 | 6019764 | 5948398 | 228 65471 | 1 | 0 502.10/502.29 c 502s | 25 | 6041869 | 5970298 | 228 65653 | 1 | 0 504.20/504.30 c 504s | 25 | 6064033 | 5992298 | 228 65836 | 1 | 0 506.20/506.30 c 506s | 25 | 6086658 | 6014698 | 228 66024 | 1 | 0 508.20/508.31 c 508s | 25 | 6109354 | 6037198 | 228 66214 | 1 | 0 510.19/510.31 c 510s | 25 | 6131697 | 6059298 | 228 66399 | 1 | 0 512.19/512.31 c 512s | 25 | 6153870 | 6081298 | 228 66585 | 1 | 0 514.19/514.32 c 514s | 25 | 6176379 | 6103598 | 228 66773 | 1 | 0 516.19/516.32 c 516s | 25 | 6199134 | 6126098 | 228 66963 | 1 | 0 518.20/518.33 c 518s | 25 | 6222302 | 6148998 | 228 67155 | 1 | 0 520.21/520.33 c 520s | 25 | 6245219 | 6171698 | 228 67346 | 1 | 0 522.20/522.34 c 522s | 25 | 6268005 | 6194298 | 228 67536 | 1 | 0 524.20/524.35 c 524s | 25 | 6290604 | 6216698 | 228 67724 | 1 | 0 526.20/526.35 c 526s | 25 | 6313237 | 6239098 | 228 67912 | 1 | 0 528.20/528.36 c 528s | 25 | 6335878 | 6261498 | 228 68102 | 1 | 0 530.21/530.36 c 530s | 25 | 6358399 | 6283798 | 228 68290 | 1 | 0 532.20/532.37 c 532s | 25 | 6380772 | 6305998 | 228 68479 | 1 | 0 534.20/534.37 c 534s | 25 | 6403266 | 6328298 | 228 68667 | 1 | 0 536.19/536.37 c 536s | 25 | 6425717 | 6350598 | 228 68855 | 1 | 0 538.19/538.38 c 538s | 25 | 6448364 | 6373098 | 228 69047 | 1 | 0 540.19/540.38 c 540s | 25 | 6471147 | 6395698 | 228 69240 | 1 | 0 542.20/542.38 c 542s | 25 | 6493557 | 6417898 | 228 69426 | 1 | 0 544.19/544.39 c 544s | 25 | 6516130 | 6440298 | 228 69613 | 1 | 0 546.29/546.40 c 546s | 25 | 6538436 | 6462398 | 228 69799 | 1 | 0 548.29/548.40 c 548s | 25 | 6561117 | 6484898 | 228 69990 | 1 | 0 550.29/550.40 c 550s | 25 | 6583498 | 6507098 | 228 70178 | 1 | 0 552.29/552.40 c 552s | 25 | 6606100 | 6529498 | 228 70367 | 1 | 0 554.30/554.40 c 554s | 25 | 6628719 | 6551898 | 228 70555 | 1 | 0 556.29/556.40 c 556s | 25 | 6651651 | 6574598 | 228 70747 | 1 | 0 558.29/558.41 c 558s | 25 | 6674592 | 6597298 | 228 70940 | 1 | 0 560.29/560.41 c 560s | 25 | 6697415 | 6619898 | 228 71131 | 1 | 0 562.29/562.42 c 562s | 25 | 6719900 | 6642198 | 228 71320 | 1 | 0 564.30/564.42 c 564s | 25 | 6742608 | 6664698 | 228 71513 | 1 | 0 566.29/566.43 c 566s | 25 | 6765535 | 6687398 | 228 71707 | 1 | 0 568.29/568.43 c 568s | 25 | 6788675 | 6710298 | 228 71899 | 1 | 0 570.29/570.43 c 570s | 25 | 6811387 | 6732798 | 228 72090 | 1 | 0 572.29/572.44 c 572s | 25 | 6834550 | 6755698 | 228 72285 | 1 | 0 574.29/574.45 c 574s | 25 | 6857465 | 6778398 | 228 72476 | 1 | 0 576.30/576.45 c 576s | 25 | 6880163 | 6800898 | 228 72667 | 1 | 0 578.29/578.46 c 578s | 25 | 6903245 | 6823698 | 228 72861 | 1 | 0 580.29/580.47 c 580s | 25 | 6926141 | 6846398 | 228 73056 | 1 | 0 582.29/582.47 c 582s | 25 | 6949303 | 6869298 | 228 73251 | 1 | 0 584.29/584.48 c 584s | 25 | 6972190 | 6891998 | 228 73444 | 1 | 0 586.30/586.48 c 586s | 25 | 6995086 | 6914698 | 228 73636 | 1 | 0 588.29/588.48 c 588s | 25 | 7018195 | 6937598 | 228 73832 | 1 | 0 590.29/590.49 c 590s | 25 | 7041585 | 6960698 | 228 74031 | 1 | 0 592.29/592.49 c 592s | 25 | 7064691 | 6983598 | 228 74227 | 1 | 0 594.29/594.49 c 594s | 25 | 7087806 | 7006498 | 228 74423 | 1 | 0 596.39/596.50 c 596s | 25 | 7110705 | 7029198 | 228 74618 | 1 | 0 598.39/598.50 c 598s | 25 | 7133504 | 7051798 | 228 74815 | 1 | 0 600.39/600.51 c 600s | 25 | 7156457 | 7074498 | 228 75005 | 1 | 0 602.39/602.52 c 602s | 25 | 7179947 | 7097598 | 228 75199 | 1 | 0 604.38/604.52 c 604s | 25 | 7203221 | 7120498 | 228 75392 | 1 | 0 606.38/606.53 c 606s | 25 | 7226369 | 7143398 | 228 75585 | 1 | 0 608.38/608.53 c 608s | 25 | 7249678 | 7166398 | 228 75780 | 1 | 0 610.39/610.54 c 610s | 25 | 7272856 | 7189298 | 228 75972 | 1 | 0 612.38/612.54 c 612s | 25 | 7296222 | 7212298 | 228 76165 | 1 | 0 614.39/614.54 c 614s | 25 | 7319393 | 7235198 | 228 76358 | 1 | 0 616.39/616.55 c 616s | 25 | 7343049 | 7258598 | 228 76556 | 1 | 0 618.39/618.55 c 618s | 25 | 7366137 | 7281398 | 228 76749 | 1 | 0 620.39/620.55 c 620s | 25 | 7389550 | 7304498 | 228 76946 | 1 | 0 622.39/622.56 c 622s | 25 | 7413226 | 7327798 | 228 77144 | 1 | 0 624.39/624.57 c 624s | 25 | 7436840 | 7351098 | 228 77342 | 1 | 0 626.38/626.57 c 626s | 25 | 7460484 | 7374398 | 228 77542 | 1 | 0 628.38/628.57 c 628s | 25 | 7483447 | 7397098 | 228 77731 | 1 | 0 630.38/630.58 c 630s | 25 | 7506602 | 7419898 | 228 77923 | 1 | 0 632.39/632.58 c 632s | 25 | 7529908 | 7442898 | 228 78116 | 1 | 0 634.38/634.58 c 634s | 25 | 7552859 | 7465598 | 228 78308 | 1 | 0 636.38/636.59 c 636s | 25 | 7576245 | 7488698 | 228 78502 | 1 | 0 638.38/638.59 c 638s | 25 | 7599200 | 7511398 | 228 78693 | 1 | 0 640.48/640.60 c 640s | 25 | 7622044 | 7533998 | 228 78884 | 1 | 0 642.48/642.60 c 642s | 25 | 7645164 | 7556798 | 251 79067 | 1 | 0 644.49/644.61 c 644s | 25 | 7668245 | 7579598 | 251 79242 | 1 | 0 646.07/646.22 c 646s | 26 | 7686621 | 7597752 | 251 79383 | 1 | 0 648.07/648.23 c 648s | 26 | 7709321 | 7620152 | 251 79550 | 1 | 0 650.08/650.23 c 650s | 26 | 7732015 | 7642552 | 251 79719 | 1 | 0 652.07/652.24 c 652s | 26 | 7754627 | 7664952 | 251 79888 | 1 | 0 654.07/654.25 c 654s | 26 | 7777727 | 7687752 | 251 80061 | 1 | 0 656.07/656.25 c 656s | 26 | 7800778 | 7710452 | 251 80234 | 1 | 0 658.07/658.26 c 658s | 26 | 7823675 | 7733052 | 251 80405 | 1 | 0 660.07/660.26 c 660s | 26 | 7846696 | 7755752 | 251 80577 | 1 | 0 662.07/662.26 c 662s | 26 | 7869362 | 7778152 | 251 80747 | 1 | 0 664.08/664.27 c 664s | 26 | 7892072 | 7800552 | 251 80918 | 1 | 0 666.08/666.27 c 666s | 26 | 7914494 | 7822752 | 251 81087 | 1 | 0 668.08/668.27 c 668s | 26 | 7937029 | 7845052 | 251 81257 | 1 | 0 670.08/670.28 c 670s | 26 | 7959820 | 7867552 | 251 81429 | 1 | 0 672.08/672.29 c 672s | 26 | 7982380 | 7889852 | 251 81601 | 1 | 0 674.07/674.29 c 674s | 26 | 8004945 | 7912152 | 251 81770 | 1 | 0 676.07/676.29 c 676s | 26 | 8027949 | 7934852 | 251 81944 | 1 | 0 678.17/678.30 c 678s | 26 | 8050927 | 7957552 | 251 82117 | 1 | 0 680.17/680.31 c 680s | 26 | 8073775 | 7980152 | 251 82290 | 1 | 0 682.17/682.31 c 682s | 26 | 8097059 | 8003152 | 251 82467 | 1 | 0 684.18/684.32 c 684s | 26 | 8120093 | 8025852 | 251 82641 | 1 | 0 686.17/686.32 c 686s | 26 | 8142689 | 8048152 | 251 82814 | 1 | 0 688.17/688.32 c 688s | 26 | 8165505 | 8070652 | 251 82984 | 1 | 0 690.17/690.32 c 690s | 26 | 8188538 | 8093352 | 251 83156 | 1 | 0 692.17/692.33 c 692s | 26 | 8211553 | 8116052 | 251 83329 | 1 | 0 694.16/694.33 c 694s | 26 | 8234397 | 8138552 | 251 83500 | 1 | 0 696.17/696.34 c 696s | 26 | 8257211 | 8161052 | 251 83671 | 1 | 0 698.16/698.34 c 698s | 26 | 8279863 | 8183452 | 251 83843 | 1 | 0 700.16/700.35 c 700s | 26 | 8302428 | 8205752 | 251 84014 | 1 | 0 702.16/702.35 c 702s | 26 | 8325230 | 8228252 | 251 84185 | 1 | 0 704.16/704.36 c 704s | 26 | 8348172 | 8250852 | 251 84358 | 1 | 0 706.17/706.36 c 706s | 26 | 8370805 | 8273252 | 251 84530 | 1 | 0 708.17/708.36 c 708s | 26 | 8393469 | 8295652 | 251 84703 | 1 | 0 710.17/710.36 c 710s | 26 | 8416128 | 8318052 | 251 84876 | 1 | 0 712.17/712.37 c 712s | 26 | 8439030 | 8340652 | 251 85048 | 1 | 0 714.17/714.37 c 714s | 26 | 8462166 | 8363452 | 251 85222 | 1 | 0 716.17/716.38 c 716s | 26 | 8485014 | 8386052 | 251 85396 | 1 | 0 718.17/718.38 c 718s | 26 | 8507801 | 8408552 | 251 85569 | 1 | 0 720.16/720.38 c 720s | 26 | 8530277 | 8430752 | 251 85742 | 1 | 0 722.16/722.39 c 722s | 26 | 8552422 | 8452652 | 251 85910 | 1 | 0 724.26/724.40 c 724s | 26 | 8574585 | 8474552 | 251 86079 | 1 | 0 726.26/726.40 c 726s | 26 | 8597045 | 8496752 | 251 86251 | 1 | 0 728.26/728.40 c 728s | 26 | 8619421 | 8518852 | 251 86422 | 1 | 0 730.27/730.40 c 730s | 26 | 8642665 | 8541752 | 251 86600 | 1 | 0 732.26/732.41 c 732s | 26 | 8666398 | 8565152 | 251 86778 | 1 | 0 734.26/734.41 c 734s | 26 | 8689703 | 8588152 | 251 86954 | 1 | 0 736.26/736.42 c 736s | 26 | 8713573 | 8611652 | 251 87134 | 1 | 0 738.26/738.42 c 738s | 26 | 8737240 | 8634952 | 251 87312 | 1 | 0 740.26/740.42 c 740s | 26 | 8761163 | 8658452 | 251 87491 | 1 | 0 742.26/742.43 c 742s | 26 | 8784461 | 8681452 | 251 87667 | 1 | 0 744.25/744.44 c 744s | 26 | 8807226 | 8703952 | 251 87840 | 1 | 0 746.25/746.44 c 746s | 26 | 8830066 | 8726552 | 251 88014 | 1 | 0 748.26/748.44 c 748s | 26 | 8853783 | 8749952 | 251 88195 | 1 | 0 750.26/750.44 c 750s | 26 | 8877211 | 8773052 | 251 88372 | 1 | 0 752.27/752.45 c 752s | 26 | 8900524 | 8796052 | 251 88548 | 1 | 0 754.26/754.46 c 754s | 26 | 8923429 | 8818652 | 251 88721 | 1 | 0 756.26/756.46 c 756s | 26 | 8946903 | 8841752 | 251 88899 | 1 | 0 758.26/758.47 c 758s | 26 | 8969472 | 8864052 | 251 89071 | 1 | 0 760.26/760.47 c 760s | 26 | 8992603 | 8886852 | 251 89246 | 1 | 0 762.26/762.48 c 762s | 26 | 9015592 | 8909552 | 251 89421 | 1 | 0 764.25/764.49 c 764s | 26 | 9038674 | 8932352 | 251 89598 | 1 | 0 766.25/766.49 c 766s | 26 | 9062094 | 8955452 | 251 89776 | 1 | 0 768.35/768.50 c 768s | 26 | 9085098 | 8978152 | 251 89952 | 1 | 0 770.35/770.50 c 770s | 26 | 9107670 | 9000452 | 251 90125 | 1 | 0 772.35/772.50 c 772s | 26 | 9131059 | 9023552 | 251 90306 | 1 | 0 774.36/774.51 c 774s | 26 | 9153959 | 9046252 | 251 90479 | 1 | 0 776.35/776.51 c 776s | 26 | 9176964 | 9069052 | 251 90654 | 1 | 0 778.35/778.52 c 778s | 26 | 9200495 | 9092252 | 251 90832 | 1 | 0 780.34/780.52 c 780s | 26 | 9223670 | 9115152 | 251 91009 | 1 | 0 782.34/782.53 c 782s | 26 | 9247230 | 9138352 | 251 91187 | 1 | 0 784.35/784.53 c 784s | 26 | 9270305 | 9161152 | 251 91362 | 1 | 0 786.35/786.54 c 786s | 26 | 9293295 | 9183852 | 251 91538 | 1 | 0 788.35/788.55 c 788s | 26 | 9316238 | 9206552 | 251 91713 | 1 | 0 790.34/790.55 c 790s | 26 | 9339693 | 9229652 | 251 91891 | 1 | 0 792.34/792.56 c 792s | 26 | 9362572 | 9252252 | 251 92067 | 1 | 0 794.34/794.57 c 794s | 26 | 9385691 | 9275052 | 251 92242 | 1 | 0 796.35/796.57 c 796s | 26 | 9408436 | 9297552 | 251 92417 | 1 | 0 798.34/798.58 c 798s | 26 | 9431758 | 9320552 | 251 92595 | 1 | 0 800.33/800.58 c 800s | 26 | 9455091 | 9343552 | 251 92774 | 1 | 0 802.33/802.58 c 802s | 26 | 9478182 | 9366352 | 251 92949 | 1 | 0 804.33/804.59 c 804s | 26 | 9502049 | 9389852 | 251 93132 | 1 | 0 806.33/806.59 c 806s | 26 | 9525896 | 9413352 | 251 93316 | 1 | 0 808.34/808.60 c 808s | 26 | 9549274 | 9436352 | 251 93496 | 1 | 0 810.43/810.60 c 810s | 26 | 9572354 | 9459152 | 251 93675 | 1 | 0 812.43/812.60 c 812s | 26 | 9595225 | 9481752 | 251 93849 | 1 | 0 814.43/814.60 c 814s | 26 | 9617650 | 9503952 | 251 94018 | 1 | 0 816.43/816.61 c 816s | 26 | 9640092 | 9526152 | 251 94188 | 1 | 0 818.43/818.61 c 818s | 26 | 9662666 | 9548452 | 251 94358 | 1 | 0 820.43/820.62 c 820s | 26 | 9685644 | 9571152 | 251 94532 | 1 | 0 822.43/822.62 c 822s | 26 | 9708079 | 9593352 | 251 94702 | 1 | 0 824.43/824.63 c 824s | 26 | 9730509 | 9615552 | 251 94871 | 1 | 0 826.42/826.63 c 826s | 26 | 9752921 | 9637752 | 251 95042 | 1 | 0 828.42/828.63 c 828s | 26 | 9775655 | 9660252 | 251 95214 | 1 | 0 830.43/830.64 c 830s | 26 | 9798269 | 9682652 | 251 95387 | 1 | 0 832.42/832.65 c 832s | 26 | 9821216 | 9705352 | 251 95562 | 1 | 0 834.42/834.65 c 834s | 26 | 9844099 | 9727952 | 251 95734 | 1 | 0 836.42/836.65 c 836s | 26 | 9867056 | 9750652 | 251 95907 | 1 | 0 838.42/838.65 c 838s | 26 | 9889865 | 9773252 | 251 96080 | 1 | 0 840.42/840.66 c 840s | 26 | 9912736 | 9795852 | 251 96255 | 1 | 0 842.42/842.66 c 842s | 26 | 9935649 | 9818552 | 251 96428 | 1 | 0 844.41/844.66 c 844s | 26 | 9958475 | 9841152 | 251 96603 | 1 | 0 846.41/846.66 c 846s | 26 | 9980880 | 9863352 | 251 96774 | 1 | 0 848.41/848.66 c 848s | 26 | 10003202 | 9885452 | 251 96943 | 1 | 0 850.42/850.67 c 850s | 26 | 10025832 | 9907852 | 251 97115 | 1 | 0 852.42/852.67 c 852s | 26 | 10048152 | 9929952 | 251 97286 | 1 | 0 854.42/854.68 c 854s | 26 | 10070889 | 9952452 | 251 97461 | 1 | 0 856.42/856.68 c 856s | 26 | 10093516 | 9974852 | 251 97635 | 1 | 0 858.41/858.69 c 858s | 26 | 10116990 | 9998052 | 251 97811 | 1 | 0 860.41/860.69 c 860s | 26 | 10139836 | 10020652 | 251 97984 | 1 | 0 862.41/862.69 c 862s | 26 | 10162647 | 10043252 | 251 98156 | 1 | 0 864.41/864.70 c 864s | 26 | 10185645 | 10066052 | 251 98331 | 1 | 0 866.51/866.70 c 866s | 26 | 10208506 | 10088652 | 251 98504 | 1 | 0 868.51/868.71 c 868s | 26 | 10231786 | 10111652 | 251 98682 | 1 | 0 870.50/870.72 c 870s | 26 | 10254613 | 10134252 | 251 98855 | 1 | 0 872.50/872.72 c 872s | 26 | 10277353 | 10156752 | 251 99030 | 1 | 0 874.50/874.73 c 874s | 26 | 10299765 | 10178952 | 251 99200 | 1 | 0 876.50/876.73 c 876s | 26 | 10322319 | 10201252 | 251 99371 | 1 | 0 878.49/878.73 c 878s | 26 | 10345064 | 10223752 | 251 99545 | 1 | 0 880.49/880.73 c 880s | 26 | 10367704 | 10246152 | 251 99717 | 1 | 0 882.49/882.74 c 882s | 26 | 10390806 | 10268952 | 251 99893 | 1 | 0 884.49/884.74 c 884s | 26 | 10414489 | 10292352 | 251 100074 | 1 | 0 886.51/886.74 c 886s | 26 | 10438206 | 10315852 | 251 100257 | 1 | 0 888.50/888.74 c 888s | 26 | 10461820 | 10339252 | 251 100438 | 1 | 0 890.49/890.75 c 890s | 26 | 10485755 | 10362952 | 251 100622 | 1 | 0 892.49/892.75 c 892s | 26 | 10508702 | 10385752 | 251 100798 | 1 | 0 894.49/894.76 c 894s | 26 | 10532160 | 10409052 | 251 100978 | 1 | 0 896.49/896.76 c 896s | 26 | 10555575 | 10432252 | 251 101157 | 1 | 0 898.50/898.77 c 898s | 26 | 10578927 | 10455352 | 251 101336 | 1 | 0 900.49/900.77 c 900s | 26 | 10602838 | 10479052 | 251 101521 | 1 | 0 902.49/902.78 c 902s | 26 | 10626405 | 10502452 | 251 101703 | 1 | 0 904.49/904.78 c 904s | 26 | 10650256 | 10526052 | 251 101887 | 1 | 0 906.49/906.79 c 906s | 26 | 10673585 | 10549152 | 251 102067 | 1 | 0 908.49/908.79 c 908s | 26 | 10696591 | 10571952 | 251 102245 | 1 | 0 910.48/910.79 c 910s | 26 | 10720455 | 10595552 | 251 102430 | 1 | 0 912.48/912.79 c 912s | 26 | 10743853 | 10618652 | 251 102606 | 1 | 0 914.48/914.79 c 914s | 26 | 10767342 | 10641852 | 251 102783 | 1 | 0 916.58/916.80 c 916s | 26 | 10790560 | 10664852 | 251 102960 | 1 | 0 918.58/918.80 c 918s | 26 | 10814010 | 10688052 | 251 103138 | 1 | 0 920.58/920.80 c 920s | 26 | 10837536 | 10711252 | 251 103317 | 1 | 0 922.57/922.81 c 922s | 26 | 10860581 | 10734052 | 251 103491 | 1 | 0 924.57/924.82 c 924s | 26 | 10884469 | 10757652 | 251 103673 | 1 | 0 926.57/926.82 c 926s | 26 | 10908163 | 10781052 | 251 103854 | 1 | 0 928.57/928.82 c 928s | 26 | 10931813 | 10804452 | 251 104035 | 1 | 0 930.57/930.82 c 930s | 26 | 10954954 | 10827352 | 251 104212 | 1 | 0 932.57/932.83 c 932s | 26 | 10978590 | 10850652 | 251 104393 | 1 | 0 934.56/934.83 c 934s | 26 | 11002259 | 10873952 | 251 104574 | 1 | 0 936.56/936.83 c 936s | 26 | 11025562 | 10896952 | 251 104751 | 1 | 0 938.57/938.83 c 938s | 26 | 11048788 | 10919852 | 251 104928 | 1 | 0 940.57/940.84 c 940s | 26 | 11072601 | 10943352 | 251 105110 | 1 | 0 942.57/942.84 c 942s | 26 | 11096558 | 10966952 | 251 105295 | 1 | 0 944.56/944.85 c 944s | 26 | 11119859 | 10989952 | 251 105473 | 1 | 0 946.56/946.85 c 946s | 26 | 11143520 | 11013352 | 251 105655 | 1 | 0 948.56/948.85 c 948s | 26 | 11167230 | 11036752 | 251 105837 | 1 | 0 950.56/950.86 c 950s | 26 | 11191039 | 11060252 | 251 106021 | 1 | 0 952.56/952.86 c 952s | 26 | 11214715 | 11083652 | 251 106204 | 1 | 0 954.56/954.87 c 954s | 26 | 11238386 | 11107052 | 251 106387 | 1 | 0 956.56/956.87 c 956s | 26 | 11261234 | 11129652 | 251 106562 | 1 | 0 958.55/958.88 c 958s | 26 | 11284578 | 11152652 | 251 106740 | 1 | 0 960.55/960.88 c 960s | 26 | 11307745 | 11175552 | 251 106919 | 1 | 0 962.55/962.89 c 962s | 26 | 11330870 | 11198452 | 251 107097 | 1 | 0 964.56/964.89 c 964s | 26 | 11353979 | 11221352 | 251 107276 | 1 | 0 966.55/966.90 c 966s | 26 | 11377340 | 11244452 | 251 107456 | 1 | 0 968.65/968.90 c 968s | 26 | 11400807 | 11267652 | 251 107637 | 1 | 0 970.64/970.91 c 970s | 26 | 11424513 | 11291052 | 251 107821 | 1 | 0 972.64/972.92 c 972s | 26 | 11447894 | 11314152 | 251 108000 | 1 | 0 974.64/974.92 c 974s | 26 | 11470838 | 11336852 | 277 108161 | 1 | 0 976.65/976.93 c 976s | 26 | 11493836 | 11359552 | 277 108322 | 1 | 0 978.64/978.93 c 978s | 26 | 11517147 | 11382552 | 277 108485 | 1 | 0 979.85/980.15 c 980s | 27 | 11531575 | 11396733 | 277 108586 | 1 | 0 981.84/982.15 c 982s | 27 | 11554334 | 11419233 | 277 108742 | 1 | 0 983.85/984.16 c 984s | 27 | 11577342 | 11442033 | 277 108901 | 1 | 0 985.85/986.17 c 986s | 27 | 11600497 | 11464933 | 277 109060 | 1 | 0 987.85/988.17 c 988s | 27 | 11623433 | 11487633 | 277 109218 | 1 | 0 989.85/990.18 c 990s | 27 | 11646343 | 11510333 | 277 109375 | 1 | 0 991.85/992.18 c 992s | 27 | 11669328 | 11533133 | 277 109534 | 1 | 0 993.85/994.18 c 994s | 27 | 11693262 | 11556733 | 277 109700 | 1 | 0 995.85/996.19 c 996s | 27 | 11716807 | 11579933 | 277 109861 | 1 | 0 997.95/998.20 c 998s | 27 | 11740319 | 11603133 | 277 110023 | 1 | 0 999.94/1000.20 c 1000s | 27 | 11764449 | 11626933 | 277 110190 | 1 | 0 1001.85/1002.20 c 1002s | 27 | 11788737 | 11651033 | 277 110358 | 1 | 0 1003.94/1004.20 c 1004s | 27 | 11813296 | 11675433 | 277 110529 | 1 | 0 1005.94/1006.21 c 1006s | 27 | 11837293 | 11699033 | 277 110694 | 1 | 0 1007.94/1008.21 c 1008s | 27 | 11860914 | 11722333 | 277 110858 | 1 | 0 1009.94/1010.22 c 1010s | 27 | 11885001 | 11746033 | 277 111025 | 1 | 0 1011.93/1012.22 c 1012s | 27 | 11909030 | 11769733 | 277 111191 | 1 | 0 1013.94/1014.23 c 1014s | 27 | 11932457 | 11792933 | 277 111353 | 1 | 0 1015.93/1016.23 c 1016s | 27 | 11956431 | 11816533 | 277 111517 | 1 | 0 1017.94/1018.23 c 1018s | 27 | 11980661 | 11840333 | 277 111684 | 1 | 0 1019.93/1020.24 c 1020s | 27 | 12004737 | 11864033 | 277 111851 | 1 | 0 1021.93/1022.24 c 1022s | 27 | 12028316 | 11887433 | 277 112014 | 1 | 0 1023.94/1024.24 c 1024s | 27 | 12052868 | 11911633 | 277 112184 | 1 | 0 1025.93/1026.25 c 1026s | 27 | 12076806 | 11935333 | 277 112351 | 1 | 0 1027.93/1028.25 c 1028s | 27 | 12100972 | 11959233 | 277 112518 | 1 | 0 1029.92/1030.26 c 1030s | 27 | 12124693 | 11982733 | 277 112683 | 1 | 0 1031.92/1032.26 c 1032s | 27 | 12148663 | 12006333 | 277 112850 | 1 | 0 1033.92/1034.26 c 1034s | 27 | 12173380 | 12030733 | 277 113023 | 1 | 0 1035.93/1036.27 c 1036s | 27 | 12197431 | 12054433 | 277 113188 | 1 | 0 1037.92/1038.27 c 1038s | 27 | 12220667 | 12077333 | 277 113345 | 1 | 0 1039.92/1040.27 c 1040s | 27 | 12243488 | 12099833 | 277 113502 | 1 | 0 1041.91/1042.28 c 1042s | 27 | 12266712 | 12122733 | 277 113662 | 1 | 0 1043.91/1044.29 c 1044s | 27 | 12289459 | 12145233 | 277 113819 | 1 | 0 1045.92/1046.30 c 1046s | 27 | 12312479 | 12168033 | 277 113978 | 1 | 0 1047.91/1048.30 c 1048s | 27 | 12335494 | 12190833 | 277 114137 | 1 | 0 1050.01/1050.31 c 1050s | 27 | 12358649 | 12213733 | 277 114297 | 1 | 0 1052.01/1052.31 c 1052s | 27 | 12381935 | 12236733 | 277 114459 | 1 | 0 1054.01/1054.32 c 1054s | 27 | 12405416 | 12259933 | 277 114621 | 1 | 0 1056.01/1056.32 c 1056s | 27 | 12429248 | 12283433 | 277 114786 | 1 | 0 1058.01/1058.33 c 1058s | 27 | 12452801 | 12306733 | 277 114950 | 1 | 0 1060.01/1060.34 c 1060s | 27 | 12476372 | 12330033 | 277 115114 | 1 | 0 1062.01/1062.34 c 1062s | 27 | 12500034 | 12353433 | 277 115279 | 1 | 0 1064.01/1064.34 c 1064s | 27 | 12523298 | 12376433 | 277 115440 | 1 | 0 1066.01/1066.35 c 1066s | 27 | 12546532 | 12399433 | 277 115602 | 1 | 0 1068.01/1068.35 c 1068s | 27 | 12570047 | 12422633 | 277 115765 | 1 | 0 1070.01/1070.36 c 1070s | 27 | 12593439 | 12445733 | 277 115928 | 1 | 0 1072.00/1072.36 c 1072s | 27 | 12617135 | 12469133 | 277 116092 | 1 | 0 1074.00/1074.36 c 1074s | 27 | 12640465 | 12492233 | 277 116254 | 1 | 0 1076.00/1076.37 c 1076s | 27 | 12663697 | 12515233 | 277 116416 | 1 | 0 1078.00/1078.37 c 1078s | 27 | 12687161 | 12538433 | 277 116580 | 1 | 0 1080.00/1080.37 c 1080s | 27 | 12710943 | 12561933 | 277 116746 | 1 | 0 1082.00/1082.38 c 1082s | 27 | 12735332 | 12586033 | 277 116913 | 1 | 0 1084.00/1084.38 c 1084s | 27 | 12759543 | 12609933 | 277 117080 | 1 | 0 1085.99/1086.39 c 1086s | 27 | 12783789 | 12633933 | 277 117248 | 1 | 0 1088.09/1088.40 c 1088s | 27 | 12807607 | 12657533 | 277 117413 | 1 | 0 1090.09/1090.40 c 1090s | 27 | 12831305 | 12680933 | 277 117576 | 1 | 0 1092.10/1092.40 c 1092s | 27 | 12854848 | 12704133 | 277 117738 | 1 | 0 1094.09/1094.41 c 1094s | 27 | 12878595 | 12727533 | 277 117903 | 1 | 0 1096.09/1096.41 c 1096s | 27 | 12902086 | 12750733 | 277 118066 | 1 | 0 1098.10/1098.42 c 1098s | 27 | 12925719 | 12774033 | 277 118230 | 1 | 0 1100.09/1100.42 c 1100s | 27 | 12949094 | 12797133 | 277 118392 | 1 | 0 1102.09/1102.43 c 1102s | 27 | 12972691 | 12820433 | 277 118557 | 1 | 0 1104.10/1104.43 c 1104s | 27 | 12996192 | 12843633 | 277 118720 | 1 | 0 1106.09/1106.44 c 1106s | 27 | 13019322 | 12866433 | 277 118879 | 1 | 0 1108.09/1108.44 c 1108s | 27 | 13042238 | 12889033 | 277 119038 | 1 | 0 1110.09/1110.44 c 1110s | 27 | 13065286 | 12911833 | 277 119199 | 1 | 0 1112.09/1112.45 c 1112s | 27 | 13088674 | 12934933 | 277 119361 | 1 | 0 1114.09/1114.46 c 1114s | 27 | 13112237 | 12958133 | 277 119525 | 1 | 0 1116.08/1116.46 c 1116s | 27 | 13135770 | 12981333 | 277 119688 | 1 | 0 1118.08/1118.46 c 1118s | 27 | 13158926 | 13004233 | 277 119849 | 1 | 0 1120.08/1120.47 c 1120s | 27 | 13182206 | 13027233 | 277 120012 | 1 | 0 1122.08/1122.47 c 1122s | 27 | 13205787 | 13050533 | 277 120177 | 1 | 0 1124.08/1124.48 c 1124s | 27 | 13228831 | 13073333 | 277 120338 | 1 | 0 1126.09/1126.48 c 1126s | 27 | 13252232 | 13096433 | 277 120500 | 1 | 0 1128.08/1128.49 c 1128s | 27 | 13275822 | 13119733 | 277 120664 | 1 | 0 1130.07/1130.49 c 1130s | 27 | 13299374 | 13143033 | 277 120829 | 1 | 0 1132.07/1132.49 c 1132s | 27 | 13322963 | 13166333 | 277 120994 | 1 | 0 1134.17/1134.50 c 1134s | 27 | 13346892 | 13189933 | 277 121161 | 1 | 0 1136.17/1136.51 c 1136s | 27 | 13370511 | 13213233 | 277 121326 | 1 | 0 1138.17/1138.51 c 1138s | 27 | 13394193 | 13236633 | 277 121491 | 1 | 0 1140.16/1140.51 c 1140s | 27 | 13417439 | 13259633 | 277 121653 | 1 | 0 1142.17/1142.51 c 1142s | 27 | 13440757 | 13282733 | 277 121818 | 1 | 0 1144.17/1144.51 c 1144s | 27 | 13464823 | 13306433 | 277 121987 | 1 | 0 1146.17/1146.52 c 1146s | 27 | 13489185 | 13330533 | 277 122158 | 1 | 0 1148.18/1148.52 c 1148s | 27 | 13513297 | 13354333 | 277 122327 | 1 | 0 1150.16/1150.53 c 1150s | 27 | 13537234 | 13377933 | 277 122496 | 1 | 0 1152.16/1152.53 c 1152s | 27 | 13561022 | 13401433 | 277 122664 | 1 | 0 1154.16/1154.54 c 1154s | 27 | 13584401 | 13424533 | 277 122829 | 1 | 0 1156.17/1156.54 c 1156s | 27 | 13607040 | 13446933 | 277 122984 | 1 | 0 1158.16/1158.55 c 1158s | 27 | 13630074 | 13469733 | 277 123142 | 1 | 0 1160.17/1160.56 c 1160s | 27 | 13652696 | 13492133 | 277 123297 | 1 | 0 1162.16/1162.56 c 1162s | 27 | 13675645 | 13514833 | 277 123455 | 1 | 0 1164.16/1164.57 c 1164s | 27 | 13698301 | 13537233 | 277 123611 | 1 | 0 1166.16/1166.58 c 1166s | 27 | 13721496 | 13560133 | 277 123771 | 1 | 0 1168.16/1168.58 c 1168s | 27 | 13744798 | 13583133 | 277 123931 | 1 | 0 1170.16/1170.59 c 1170s | 27 | 13768212 | 13606233 | 277 124093 | 1 | 0 1172.15/1172.59 c 1172s | 27 | 13791278 | 13629033 | 277 124252 | 1 | 0 1174.15/1174.59 c 1174s | 27 | 13814206 | 13651733 | 277 124411 | 1 | 0 1176.25/1176.60 c 1176s | 27 | 13836993 | 13674233 | 277 124569 | 1 | 0 1178.25/1178.60 c 1178s | 27 | 13859833 | 13696833 | 277 124728 | 1 | 0 1180.24/1180.61 c 1180s | 27 | 13882856 | 13719533 | 277 124888 | 1 | 0 1182.25/1182.61 c 1182s | 27 | 13906254 | 13742633 | 277 125052 | 1 | 0 1184.24/1184.62 c 1184s | 27 | 13929842 | 13766033 | 277 125214 | 1 | 0 1186.24/1186.62 c 1186s | 27 | 13953251 | 13789133 | 277 125375 | 1 | 0 1188.24/1188.63 c 1188s | 27 | 13976225 | 13811833 | 277 125534 | 1 | 0 1190.24/1190.63 c 1190s | 27 | 13999152 | 13834533 | 277 125693 | 1 | 0 1192.23/1192.63 c 1192s | 27 | 14022322 | 13857433 | 277 125853 | 1 | 0 1194.24/1194.64 c 1194s | 27 | 14045390 | 13880233 | 277 126014 | 1 | 0 1196.24/1196.64 c 1196s | 27 | 14068842 | 13903333 | 277 126177 | 1 | 0 1198.24/1198.65 c 1198s | 27 | 14092465 | 13926633 | 277 126341 | 1 | 0 1200.24/1200.65 c 1200s | 27 | 14116151 | 13950033 | 277 126506 | 1 | 0 1202.24/1202.66 c 1202s | 27 | 14139569 | 13973233 | 277 126669 | 1 | 0 1204.24/1204.66 c 1204s | 27 | 14163472 | 13996833 | 277 126836 | 1 | 0 1206.24/1206.67 c 1206s | 27 | 14186067 | 14019233 | 277 126994 | 1 | 0 1208.24/1208.67 c 1208s | 27 | 14209284 | 14042233 | 277 127157 | 1 | 0 1210.23/1210.67 c 1210s | 27 | 14232658 | 14065333 | 277 127320 | 1 | 0 1212.23/1212.68 c 1212s | 27 | 14255921 | 14088333 | 277 127483 | 1 | 0 1214.23/1214.68 c 1214s | 27 | 14279299 | 14111433 | 277 127647 | 1 | 0 1216.23/1216.68 c 1216s | 27 | 14302198 | 14134133 | 277 127807 | 1 | 0 1218.22/1218.68 c 1218s | 27 | 14325551 | 14157233 | 277 127969 | 1 | 0 1220.22/1220.69 c 1220s | 27 | 14349002 | 14180433 | 277 128132 | 1 | 0 1222.22/1222.69 c 1222s | 27 | 14372137 | 14203333 | 277 128291 | 1 | 0 1224.33/1224.70 c 1224s | 27 | 14395682 | 14226633 | 277 128454 | 1 | 0 1226.33/1226.70 c 1226s | 27 | 14418923 | 14249633 | 277 128616 | 1 | 0 1228.23/1228.70 c 1228s | 27 | 14442437 | 14272933 | 277 128781 | 1 | 0 1230.32/1230.71 c 1230s | 27 | 14466093 | 14296333 | 277 128947 | 1 | 0 1232.32/1232.71 c 1232s | 27 | 14489673 | 14319633 | 277 129110 | 1 | 0 1234.32/1234.72 c 1234s | 27 | 14513583 | 14343233 | 277 129276 | 1 | 0 1236.32/1236.72 c 1236s | 27 | 14537346 | 14366733 | 277 129442 | 1 | 0 1238.33/1238.73 c 1238s | 27 | 14560847 | 14389933 | 277 129605 | 1 | 0 1240.32/1240.73 c 1240s | 27 | 14584536 | 14413333 | 277 129771 | 1 | 0 1242.32/1242.73 c 1242s | 27 | 14607836 | 14436333 | 277 129933 | 1 | 0 1244.32/1244.73 c 1244s | 27 | 14631198 | 14459533 | 277 130096 | 1 | 0 1246.32/1246.73 c 1246s | 27 | 14654779 | 14482833 | 277 130261 | 1 | 0 1248.31/1248.74 c 1248s | 27 | 14678240 | 14506033 | 277 130426 | 1 | 0 1250.32/1250.75 c 1250s | 27 | 14701989 | 14529533 | 277 130593 | 1 | 0 1252.31/1252.75 c 1252s | 27 | 14726127 | 14553333 | 277 130763 | 1 | 0 1254.31/1254.76 c 1254s | 27 | 14750235 | 14577133 | 277 130931 | 1 | 0 1256.31/1256.76 c 1256s | 27 | 14773757 | 14600433 | 277 131094 | 1 | 0 1258.31/1258.76 c 1258s | 27 | 14797184 | 14623533 | 277 131256 | 1 | 0 1260.32/1260.77 c 1260s | 27 | 14820358 | 14646333 | 277 131417 | 1 | 0 1262.31/1262.78 c 1262s | 27 | 14843800 | 14669433 | 277 131580 | 1 | 0 1264.31/1264.79 c 1264s | 27 | 14867819 | 14693033 | 277 131746 | 1 | 0 1266.31/1266.79 c 1266s | 27 | 14891214 | 14716133 | 277 131909 | 1 | 0 1268.41/1268.80 c 1268s | 27 | 14915121 | 14739633 | 277 132076 | 1 | 0 1270.41/1270.80 c 1270s | 27 | 14938328 | 14762533 | 277 132239 | 1 | 0 1272.41/1272.81 c 1272s | 27 | 14961827 | 14785733 | 277 132404 | 1 | 0 1274.41/1274.81 c 1274s | 27 | 14984916 | 14808533 | 277 132565 | 1 | 0 1276.41/1276.81 c 1276s | 27 | 15008337 | 14831733 | 277 132728 | 1 | 0 1278.41/1278.81 c 1278s | 27 | 15031445 | 14854633 | 277 132890 | 1 | 0 1280.41/1280.82 c 1280s | 27 | 15054495 | 14877433 | 277 133051 | 1 | 0 1282.41/1282.82 c 1282s | 27 | 15077666 | 14900333 | 277 133214 | 1 | 0 1284.41/1284.82 c 1284s | 27 | 15101018 | 14923433 | 277 133379 | 1 | 0 1286.41/1286.82 c 1286s | 27 | 15124257 | 14946333 | 277 133542 | 1 | 0 1288.41/1288.83 c 1288s | 27 | 15148058 | 14969833 | 277 133709 | 1 | 0 1290.40/1290.83 c 1290s | 27 | 15171568 | 14992933 | 277 133875 | 1 | 0 1292.40/1292.83 c 1292s | 27 | 15194935 | 15015933 | 277 134036 | 1 | 0 1294.41/1294.84 c 1294s | 27 | 15218485 | 15039133 | 277 134198 | 1 | 0 1296.40/1296.84 c 1296s | 27 | 15242153 | 15062433 | 277 134360 | 1 | 0 1298.40/1298.85 c 1298s | 27 | 15265814 | 15085733 | 277 134523 | 1 | 0 1300.40/1300.86 c 1300s | 27 | 15289389 | 15108933 | 277 134686 | 1 | 0 1302.40/1302.86 c 1302s | 27 | 15312695 | 15131933 | 277 134847 | 1 | 0 1304.39/1304.86 c 1304s | 27 | 15335553 | 15154433 | 277 135004 | 1 | 0 1306.40/1306.87 c 1306s | 27 | 15359046 | 15177633 | 277 135166 | 1 | 0 1308.39/1308.87 c 1308s | 27 | 15382234 | 15200533 | 277 135327 | 1 | 0 1310.39/1310.87 c 1310s | 27 | 15405654 | 15223633 | 277 135489 | 1 | 0 1312.39/1312.87 c 1312s | 27 | 15429360 | 15247033 | 277 135654 | 1 | 0 1314.39/1314.87 c 1314s | 27 | 15453656 | 15271033 | 277 135822 | 1 | 0 1316.39/1316.87 c 1316s | 27 | 15476845 | 15293933 | 277 135982 | 1 | 0 1318.39/1318.88 c 1318s | 27 | 15500280 | 15317033 | 277 136144 | 1 | 0 1320.39/1320.88 c 1320s | 27 | 15523592 | 15340033 | 277 136306 | 1 | 0 1322.39/1322.88 c 1322s | 27 | 15546658 | 15362733 | 277 136465 | 1 | 0 1324.39/1324.89 c 1324s | 27 | 15569981 | 15385733 | 277 136628 | 1 | 0 1326.39/1326.89 c 1326s | 27 | 15593069 | 15408533 | 277 136788 | 1 | 0 1328.39/1328.89 c 1328s | 27 | 15615636 | 15430833 | 277 136946 | 1 | 0 1330.48/1330.90 c 1330s | 27 | 15637957 | 15452933 | 277 137101 | 1 | 0 1332.48/1332.90 c 1332s | 27 | 15661341 | 15476033 | 277 137263 | 1 | 0 1334.48/1334.91 c 1334s | 27 | 15685292 | 15499633 | 277 137430 | 1 | 0 1336.48/1336.92 c 1336s | 27 | 15709662 | 15523633 | 277 137601 | 1 | 0 1338.48/1338.92 c 1338s | 27 | 15732522 | 15546233 | 277 137760 | 1 | 0 1340.48/1340.93 c 1340s | 27 | 15755727 | 15569133 | 277 137920 | 1 | 0 1342.47/1342.93 c 1342s | 27 | 15779161 | 15592233 | 277 138083 | 1 | 0 1344.47/1344.93 c 1344s | 27 | 15802997 | 15615733 | 277 138249 | 1 | 0 1346.47/1346.94 c 1346s | 27 | 15826368 | 15638733 | 277 138411 | 1 | 0 1348.47/1348.94 c 1348s | 27 | 15850020 | 15662033 | 277 138575 | 1 | 0 1350.47/1350.95 c 1350s | 27 | 15873543 | 15685233 | 277 138738 | 1 | 0 1352.47/1352.95 c 1352s | 27 | 15896749 | 15708133 | 277 138900 | 1 | 0 1354.46/1354.96 c 1354s | 27 | 15920133 | 15731233 | 277 139063 | 1 | 0 1356.46/1356.96 c 1356s | 27 | 15943802 | 15754533 | 277 139229 | 1 | 0 1358.46/1358.97 c 1358s | 27 | 15968145 | 15778533 | 277 139399 | 1 | 0 1360.47/1360.97 c 1360s | 27 | 15991221 | 15801333 | 277 139560 | 1 | 0 1362.47/1362.97 c 1362s | 27 | 16014518 | 15824333 | 277 139721 | 1 | 0 1364.47/1364.98 c 1364s | 27 | 16037502 | 15847033 | 277 139882 | 1 | 0 1366.47/1366.98 c 1366s | 27 | 16060921 | 15870133 | 277 140045 | 1 | 0 1368.46/1368.98 c 1368s | 27 | 16084744 | 15893633 | 277 140211 | 1 | 0 1370.46/1370.99 c 1370s | 27 | 16108688 | 15917333 | 277 140380 | 1 | 0 1372.56/1373.00 c 1372s | 27 | 16132355 | 15940733 | 277 140547 | 1 | 0 1374.46/1375.00 c 1374s | 27 | 16156312 | 15964333 | 277 140713 | 1 | 0 1376.56/1377.00 c 1376s | 27 | 16180023 | 15987733 | 277 140880 | 1 | 0 1378.56/1379.01 c 1379s | 27 | 16203838 | 16011233 | 277 141047 | 1 | 0 1380.55/1381.01 c 1381s | 27 | 16226892 | 16034033 | 277 141210 | 1 | 0 1382.55/1383.02 c 1383s | 27 | 16250505 | 16057333 | 277 141376 | 1 | 0 1384.57/1385.02 c 1385s | 27 | 16273922 | 16080533 | 277 141543 | 1 | 0 1386.56/1387.03 c 1387s | 27 | 16297319 | 16103633 | 277 141705 | 1 | 0 1388.56/1389.04 c 1389s | 27 | 16320308 | 16126333 | 277 141863 | 1 | 0 1390.56/1391.04 c 1391s | 27 | 16343105 | 16148833 | 277 142021 | 1 | 0 1392.56/1393.04 c 1393s | 27 | 16365671 | 16171133 | 277 142177 | 1 | 0 1394.56/1395.04 c 1395s | 27 | 16388257 | 16193433 | 277 142334 | 1 | 0 1396.56/1397.05 c 1397s | 27 | 16411120 | 16216033 | 277 142493 | 1 | 0 1398.55/1399.05 c 1399s | 27 | 16433683 | 16238333 | 277 142650 | 1 | 0 1400.55/1401.06 c 1401s | 27 | 16456456 | 16260833 | 277 142810 | 1 | 0 1402.55/1403.06 c 1403s | 27 | 16478984 | 16283133 | 277 142966 | 1 | 0 1404.55/1405.06 c 1405s | 27 | 16501818 | 16305733 | 277 143125 | 1 | 0 1406.55/1407.06 c 1407s | 27 | 16524674 | 16328333 | 277 143285 | 1 | 0 1408.55/1409.07 c 1409s | 27 | 16547661 | 16351033 | 277 143446 | 1 | 0 1410.55/1411.07 c 1411s | 27 | 16570656 | 16373733 | 277 143607 | 1 | 0 1412.55/1413.08 c 1413s | 27 | 16593874 | 16396633 | 277 143769 | 1 | 0 1414.54/1415.09 c 1415s | 27 | 16616991 | 16419433 | 277 143932 | 1 | 0 1416.54/1417.09 c 1417s | 27 | 16640071 | 16442233 | 277 144093 | 1 | 0 1418.55/1419.09 c 1419s | 27 | 16663256 | 16465133 | 277 144257 | 1 | 0 1420.64/1421.10 c 1421s | 27 | 16686926 | 16488533 | 277 144422 | 1 | 0 1422.64/1423.10 c 1423s | 27 | 16710865 | 16512133 | 277 144588 | 1 | 0 1424.64/1425.11 c 1425s | 27 | 16734155 | 16535133 | 277 144751 | 1 | 0 1426.64/1427.11 c 1427s | 27 | 16757409 | 16558133 | 277 144914 | 1 | 0 1428.64/1429.11 c 1429s | 27 | 16781034 | 16581433 | 277 145079 | 1 | 0 1430.65/1431.11 c 1431s | 27 | 16804975 | 16604933 | 277 145246 | 1 | 0 1432.65/1433.12 c 1433s | 27 | 16828794 | 16628433 | 277 145414 | 1 | 0 1434.65/1435.12 c 1435s | 27 | 16852253 | 16651633 | 277 145578 | 1 | 0 1436.64/1437.12 c 1437s | 27 | 16875774 | 16674933 | 277 145744 | 1 | 0 1438.64/1439.13 c 1439s | 27 | 16899802 | 16698733 | 277 145913 | 1 | 0 1440.65/1441.13 c 1441s | 27 | 16923064 | 16721733 | 277 146076 | 1 | 0 1442.64/1443.14 c 1443s | 27 | 16946594 | 16744933 | 277 146243 | 1 | 0 1444.64/1445.14 c 1445s | 27 | 16969926 | 16767933 | 277 146407 | 1 | 0 1446.64/1447.14 c 1447s | 27 | 16992895 | 16790633 | 277 146569 | 1 | 0 1448.64/1449.15 c 1449s | 27 | 17015579 | 16813033 | 277 146727 | 1 | 0 1450.64/1451.16 c 1451s | 27 | 17039030 | 16836333 | 277 146893 | 1 | 0 1452.64/1453.17 c 1453s | 27 | 17061849 | 16858933 | 277 147054 | 1 | 0 1454.64/1455.17 c 1455s | 27 | 17084812 | 16881633 | 277 147215 | 1 | 0 1456.64/1457.17 c 1457s | 27 | 17108195 | 16904733 | 277 147379 | 1 | 0 1458.64/1459.18 c 1459s | 27 | 17131289 | 16927533 | 277 147542 | 1 | 0 1460.64/1461.18 c 1461s | 27 | 17154520 | 16950533 | 277 147706 | 1 | 0 1462.64/1463.18 c 1463s | 27 | 17178018 | 16973733 | 305 147871 | 1 | 0 1464.63/1465.18 c 1465s | 27 | 17201487 | 16996833 | 305 148022 | 1 | 0 1466.63/1467.18 c 1467s | 27 | 17225173 | 17020233 | 305 148174 | 1 | 0 1468.63/1469.19 c 1469s | 27 | 17248036 | 17042833 | 305 148320 | 1 | 0 1470.74/1471.20 c 1471s | 27 | 17271677 | 17066133 | 305 148471 | 1 | 0 1472.74/1473.20 c 1473s | 27 | 17295694 | 17089733 | 305 148625 | 1 | 0 1473.14/1473.66 c 1473s | 28 | 17301291 | 17095205 | 305 148661 | 1 | 0 1475.14/1475.66 c 1475s | 28 | 17324435 | 17118105 | 305 148806 | 1 | 0 1477.14/1477.67 c 1477s | 28 | 17346515 | 17139905 | 305 148944 | 1 | 0 1479.15/1479.67 c 1479s | 28 | 17368853 | 17161905 | 305 149084 | 1 | 0 1481.14/1481.68 c 1481s | 28 | 17391199 | 17184005 | 305 149224 | 1 | 0 1483.14/1483.69 c 1483s | 28 | 17414007 | 17206505 | 305 149368 | 1 | 0 1485.14/1485.69 c 1485s | 28 | 17436961 | 17229205 | 305 149513 | 1 | 0 1487.14/1487.69 c 1487s | 28 | 17460848 | 17252705 | 305 149664 | 1 | 0 1489.23/1489.70 c 1489s | 28 | 17483585 | 17275105 | 305 149806 | 1 | 0 1491.14/1491.70 c 1491s | 28 | 17505317 | 17296605 | 305 149942 | 1 | 0 1493.23/1493.70 c 1493s | 28 | 17526939 | 17318005 | 305 150078 | 1 | 0 1495.23/1495.70 c 1495s | 28 | 17548954 | 17339805 | 305 150216 | 1 | 0 1497.23/1497.71 c 1497s | 28 | 17571118 | 17361705 | 305 150355 | 1 | 0 1499.23/1499.71 c 1499s | 28 | 17592943 | 17383305 | 305 150493 | 1 | 0 1501.23/1501.71 c 1501s | 28 | 17614684 | 17404805 | 305 150631 | 1 | 0 1503.23/1503.72 c 1503s | 28 | 17636551 | 17426405 | 305 150768 | 1 | 0 1505.23/1505.73 c 1505s | 28 | 17658827 | 17448405 | 305 150908 | 1 | 0 1507.23/1507.73 c 1507s | 28 | 17680706 | 17470005 | 305 151046 | 1 | 0 1509.23/1509.73 c 1509s | 28 | 17703108 | 17492105 | 305 151187 | 1 | 0 1511.23/1511.74 c 1511s | 28 | 17725793 | 17514505 | 305 151331 | 1 | 0 1513.23/1513.74 c 1513s | 28 | 17748311 | 17536705 | 305 151474 | 1 | 0 1515.23/1515.75 c 1515s | 28 | 17770687 | 17558805 | 305 151615 | 1 | 0 1517.23/1517.75 c 1517s | 28 | 17793386 | 17581205 | 305 151758 | 1 | 0 1519.23/1519.75 c 1519s | 28 | 17816200 | 17603805 | 305 151903 | 1 | 0 1521.23/1521.75 c 1521s | 28 | 17838706 | 17626105 | 305 152047 | 1 | 0 1523.23/1523.76 c 1523s | 28 | 17861892 | 17649005 | 305 152195 | 1 | 0 1525.24/1525.77 c 1525s | 28 | 17885516 | 17672305 | 305 152346 | 1 | 0 1527.23/1527.78 c 1527s | 28 | 17908185 | 17694705 | 305 152487 | 1 | 0 1529.23/1529.78 c 1529s | 28 | 17930534 | 17716805 | 305 152626 | 1 | 0 1531.23/1531.79 c 1531s | 28 | 17952443 | 17738505 | 305 152763 | 1 | 0 1533.23/1533.79 c 1533s | 28 | 17974505 | 17760305 | 305 152900 | 1 | 0 1535.33/1535.80 c 1535s | 28 | 17996580 | 17782105 | 305 153038 | 1 | 0 1537.22/1537.80 c 1537s | 28 | 18018311 | 17803605 | 305 153174 | 1 | 0 1539.32/1539.80 c 1539s | 28 | 18040172 | 17825205 | 305 153312 | 1 | 0 1541.32/1541.81 c 1541s | 28 | 18062135 | 17846905 | 305 153449 | 1 | 0 1543.32/1543.81 c 1543s | 28 | 18084441 | 17868905 | 305 153589 | 1 | 0 1545.32/1545.81 c 1545s | 28 | 18106375 | 17890605 | 305 153727 | 1 | 0 1547.33/1547.82 c 1547s | 28 | 18128342 | 17912305 | 305 153864 | 1 | 0 1549.32/1549.82 c 1549s | 28 | 18149789 | 17933505 | 305 154000 | 1 | 0 1551.32/1551.83 c 1551s | 28 | 18172102 | 17955605 | 305 154140 | 1 | 0 1553.32/1553.84 c 1553s | 28 | 18194043 | 17977305 | 305 154278 | 1 | 0 1555.32/1555.84 c 1555s | 28 | 18215855 | 17998905 | 305 154416 | 1 | 0 1557.33/1557.84 c 1557s | 28 | 18238303 | 18021105 | 305 154558 | 1 | 0 1559.33/1559.84 c 1559s | 28 | 18260456 | 18043005 | 305 154698 | 1 | 0 1561.33/1561.85 c 1561s | 28 | 18282702 | 18065005 | 305 154839 | 1 | 0 1563.33/1563.86 c 1563s | 28 | 18305039 | 18087105 | 305 154980 | 1 | 0 1565.33/1565.86 c 1565s | 28 | 18327635 | 18109505 | 305 155124 | 1 | 0 1567.33/1567.87 c 1567s | 28 | 18349959 | 18131605 | 305 155266 | 1 | 0 1569.33/1569.87 c 1569s | 28 | 18372275 | 18153705 | 305 155407 | 1 | 0 1571.33/1571.87 c 1571s | 28 | 18394820 | 18176005 | 305 155549 | 1 | 0 1573.32/1573.88 c 1573s | 28 | 18417244 | 18198205 | 305 155691 | 1 | 0 1575.32/1575.88 c 1575s | 28 | 18439903 | 18220605 | 305 155834 | 1 | 0 1577.32/1577.89 c 1577s | 28 | 18463178 | 18243605 | 305 155982 | 1 | 0 1579.42/1579.90 c 1579s | 28 | 18485934 | 18266105 | 305 156126 | 1 | 0 1581.33/1581.90 c 1581s | 28 | 18508167 | 18288105 | 305 156267 | 1 | 0 1583.42/1583.90 c 1583s | 28 | 18530977 | 18310605 | 305 156412 | 1 | 0 1585.42/1585.90 c 1585s | 28 | 18552704 | 18332105 | 305 156550 | 1 | 0 1587.42/1587.91 c 1587s | 28 | 18574953 | 18354105 | 305 156691 | 1 | 0 1589.42/1589.91 c 1589s | 28 | 18597233 | 18376105 | 305 156833 | 1 | 0 1591.42/1591.92 c 1591s | 28 | 18619923 | 18398505 | 305 156977 | 1 | 0 1593.43/1593.93 c 1593s | 28 | 18642345 | 18420705 | 305 157121 | 1 | 0 1595.42/1595.93 c 1595s | 28 | 18663968 | 18442105 | 305 157259 | 1 | 0 1597.42/1597.93 c 1597s | 28 | 18685903 | 18463805 | 305 157397 | 1 | 0 1599.42/1599.93 c 1599s | 28 | 18708042 | 18485705 | 305 157536 | 1 | 0 1601.42/1601.94 c 1601s | 28 | 18730195 | 18507605 | 305 157675 | 1 | 0 1603.42/1603.94 c 1603s | 28 | 18752248 | 18529405 | 305 157815 | 1 | 0 1605.42/1605.95 c 1605s | 28 | 18774492 | 18551405 | 305 157955 | 1 | 0 1607.41/1607.95 c 1607s | 28 | 18796599 | 18573305 | 305 158096 | 1 | 0 1609.41/1609.95 c 1609s | 28 | 18818443 | 18594905 | 305 158234 | 1 | 0 1611.41/1611.96 c 1611s | 28 | 18840377 | 18616605 | 305 158374 | 1 | 0 1613.41/1613.96 c 1613s | 28 | 18862722 | 18638705 | 305 158517 | 1 | 0 1615.42/1615.96 c 1615s | 28 | 18885389 | 18661105 | 305 158660 | 1 | 0 1617.42/1617.97 c 1617s | 28 | 18907678 | 18683205 | 305 158802 | 1 | 0 1619.42/1619.97 c 1619s | 28 | 18929865 | 18705205 | 305 158943 | 1 | 0 1621.42/1621.97 c 1621s | 28 | 18952723 | 18727805 | 305 159088 | 1 | 0 1623.42/1623.98 c 1623s | 28 | 18975289 | 18750105 | 305 159231 | 1 | 0 1625.42/1625.98 c 1625s | 28 | 18997496 | 18772105 | 305 159373 | 1 | 0 1627.42/1627.99 c 1627s | 28 | 19020193 | 18794605 | 305 159517 | 1 | 0 1629.42/1629.99 c 1629s | 28 | 19042476 | 18816705 | 305 159658 | 1 | 0 1631.42/1631.99 c 1631s | 28 | 19064995 | 18839005 | 305 159802 | 1 | 0 1633.41/1633.99 c 1633s | 28 | 19087604 | 18861405 | 305 159946 | 1 | 0 1635.51/1636.00 c 1635s | 28 | 19110143 | 18883705 | 305 160090 | 1 | 0 1637.52/1638.00 c 1637s | 28 | 19132243 | 18905605 | 305 160232 | 1 | 0 1639.51/1640.01 c 1639s | 28 | 19154799 | 18927905 | 305 160376 | 1 | 0 1641.51/1642.01 c 1641s | 28 | 19177407 | 18950205 | 305 160520 | 1 | 0 1643.51/1644.01 c 1644s | 28 | 19200241 | 18972805 | 305 160667 | 1 | 0 1645.51/1646.01 c 1646s | 28 | 19222937 | 18995305 | 305 160814 | 1 | 0 1647.51/1648.02 c 1648s | 28 | 19244719 | 19016905 | 305 160952 | 1 | 0 1649.52/1650.03 c 1650s | 28 | 19266689 | 19038605 | 305 161089 | 1 | 0 1651.51/1652.03 c 1652s | 28 | 19288850 | 19060505 | 305 161228 | 1 | 0 1653.51/1654.04 c 1654s | 28 | 19310908 | 19082305 | 305 161366 | 1 | 0 1655.51/1656.04 c 1656s | 28 | 19333150 | 19104305 | 305 161507 | 1 | 0 1657.51/1658.05 c 1658s | 28 | 19355514 | 19126405 | 305 161647 | 1 | 0 1659.52/1660.05 c 1660s | 28 | 19377885 | 19148505 | 305 161787 | 1 | 0 1661.51/1662.06 c 1662s | 28 | 19400406 | 19170805 | 305 161930 | 1 | 0 1663.51/1664.06 c 1664s | 28 | 19423134 | 19193205 | 305 162072 | 1 | 0 1665.51/1666.06 c 1666s | 28 | 19445739 | 19215505 | 305 162215 | 1 | 0 1667.51/1668.06 c 1668s | 28 | 19467641 | 19237105 | 305 162354 | 1 | 0 1669.51/1670.07 c 1670s | 28 | 19489793 | 19259005 | 305 162494 | 1 | 0 1671.51/1672.07 c 1672s | 28 | 19512360 | 19281305 | 305 162637 | 1 | 0 1673.51/1674.07 c 1674s | 28 | 19534554 | 19303205 | 305 162778 | 1 | 0 1675.51/1676.07 c 1676s | 28 | 19556650 | 19325105 | 305 162917 | 1 | 0 1677.50/1678.08 c 1678s | 28 | 19579234 | 19347405 | 305 163059 | 1 | 0 1679.50/1680.08 c 1680s | 28 | 19601755 | 19369605 | 305 163201 | 1 | 0 1681.51/1682.08 c 1682s | 28 | 19624451 | 19392005 | 305 163345 | 1 | 0 1683.50/1684.09 c 1684s | 28 | 19647205 | 19414505 | 305 163489 | 1 | 0 1685.50/1686.09 c 1686s | 28 | 19670166 | 19437105 | 305 163634 | 1 | 0 1687.60/1688.10 c 1688s | 28 | 19693338 | 19459905 | 305 163779 | 1 | 0 1689.60/1690.11 c 1690s | 28 | 19716366 | 19482605 | 305 163925 | 1 | 0 1691.60/1692.11 c 1692s | 28 | 19739058 | 19505005 | 305 164069 | 1 | 0 1693.61/1694.11 c 1694s | 28 | 19761798 | 19527405 | 305 164212 | 1 | 0 1695.60/1696.12 c 1696s | 28 | 19784684 | 19550005 | 305 164358 | 1 | 0 1697.60/1698.12 c 1698s | 28 | 19807230 | 19572305 | 305 164502 | 1 | 0 1699.60/1700.13 c 1700s | 28 | 19830246 | 19595005 | 305 164649 | 1 | 0 1701.61/1702.13 c 1702s | 28 | 19852778 | 19617205 | 305 164790 | 1 | 0 1703.60/1704.14 c 1704s | 28 | 19875092 | 19639305 | 305 164931 | 1 | 0 1705.61/1706.14 c 1706s | 28 | 19897469 | 19661405 | 305 165072 | 1 | 0 1707.60/1708.15 c 1708s | 28 | 19919862 | 19683505 | 305 165212 | 1 | 0 1709.60/1710.16 c 1710s | 28 | 19942324 | 19705705 | 305 165355 | 1 | 0 1711.60/1712.16 c 1712s | 28 | 19964691 | 19727805 | 305 165496 | 1 | 0 1713.60/1714.16 c 1714s | 28 | 19987367 | 19750205 | 305 165640 | 1 | 0 1715.61/1716.16 c 1716s | 28 | 20010368 | 19772905 | 305 165785 | 1 | 0 1717.60/1718.17 c 1718s | 28 | 20033197 | 19795505 | 305 165931 | 1 | 0 1719.60/1720.17 c 1720s | 28 | 20055893 | 19817905 | 305 166074 | 1 | 0 1721.60/1722.17 c 1722s | 28 | 20078543 | 19840305 | 305 166219 | 1 | 0 1723.60/1724.18 c 1724s | 28 | 20101378 | 19862905 | 305 166364 | 1 | 0 1725.59/1726.18 c 1726s | 28 | 20124308 | 19885605 | 305 166511 | 1 | 0 1727.60/1728.18 c 1728s | 28 | 20147264 | 19908305 | 305 166657 | 1 | 0 1729.59/1730.18 c 1730s | 28 | 20170494 | 19931205 | 305 166806 | 1 | 0 1731.59/1732.19 c 1732s | 28 | 20193725 | 19954105 | 305 166952 | 1 | 0 1733.59/1734.19 c 1734s | 28 | 20217283 | 19977305 | 305 167100 | 1 | 0 1735.59/1736.19 c 1736s | 28 | 20240875 | 20000605 | 305 167250 | 1 | 0 1737.61/1738.20 c 1738s | 28 | 20263979 | 20023405 | 305 167397 | 1 | 0 1739.60/1740.20 c 1740s | 28 | 20287248 | 20046305 | 305 167545 | 1 | 0 1741.70/1742.21 c 1742s | 28 | 20310167 | 20068905 | 305 167690 | 1 | 0 1743.70/1744.21 c 1744s | 28 | 20333003 | 20091405 | 305 167834 | 1 | 0 1745.70/1746.22 c 1746s | 28 | 20355747 | 20113805 | 305 167978 | 1 | 0 1747.70/1748.23 c 1748s | 28 | 20378592 | 20136405 | 305 168124 | 1 | 0 1749.70/1750.23 c 1750s | 28 | 20401171 | 20158705 | 305 168267 | 1 | 0 1751.70/1752.23 c 1752s | 28 | 20424109 | 20181305 | 305 168413 | 1 | 0 1753.70/1754.24 c 1754s | 28 | 20447139 | 20204005 | 305 168560 | 1 | 0 1755.70/1756.24 c 1756s | 28 | 20470036 | 20226605 | 305 168706 | 1 | 0 1757.69/1758.25 c 1758s | 28 | 20492627 | 20248905 | 305 168850 | 1 | 0 1759.69/1760.25 c 1760s | 28 | 20515108 | 20271105 | 305 168993 | 1 | 0 1761.70/1762.26 c 1762s | 28 | 20537468 | 20293205 | 305 169135 | 1 | 0 1763.69/1764.26 c 1764s | 28 | 20559541 | 20315005 | 305 169276 | 1 | 0 1765.69/1766.27 c 1766s | 28 | 20582623 | 20337705 | 305 169424 | 1 | 0 1767.69/1768.27 c 1768s | 28 | 20605114 | 20359905 | 305 169567 | 1 | 0 1769.69/1770.27 c 1770s | 28 | 20627551 | 20382005 | 305 169710 | 1 | 0 1771.70/1772.28 c 1772s | 28 | 20650114 | 20404305 | 305 169856 | 1 | 0 1773.69/1774.28 c 1774s | 28 | 20672088 | 20426005 | 305 169997 | 1 | 0 1775.69/1776.28 c 1776s | 28 | 20693264 | 20446905 | 305 170130 | 1 | 0 1777.69/1778.29 c 1778s | 28 | 20714438 | 20467805 | 305 170264 | 1 | 0 1779.79/1780.30 c 1780s | 28 | 20735567 | 20488705 | 305 170397 | 1 | 0 1781.79/1782.31 c 1782s | 28 | 20756375 | 20509305 | 305 170529 | 1 | 0 1783.79/1784.31 c 1784s | 28 | 20777375 | 20530105 | 305 170662 | 1 | 0 1785.79/1786.32 c 1786s | 28 | 20798222 | 20550705 | 305 170794 | 1 | 0 1787.79/1788.33 c 1788s | 28 | 20820151 | 20572405 | 305 170933 | 1 | 0 1789.79/1790.33 c 1790s | 28 | 20842119 | 20594105 | 305 171072 | 1 | 0 1791.78/1792.33 c 1792s | 28 | 20864030 | 20615805 | 305 171212 | 1 | 0 1793.78/1794.34 c 1794s | 28 | 20886071 | 20637505 | 305 171352 | 1 | 0 1795.79/1796.35 c 1796s | 28 | 20908030 | 20659205 | 305 171491 | 1 | 0 1797.78/1798.35 c 1798s | 28 | 20930070 | 20681005 | 305 171632 | 1 | 0 1799.78/1800.35 c 1800s | 28 | 20952388 | 20703005 | 305 171774 | 1 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079732-1465245936/watcher-4079732-1465245936 -o /tmp/evaluation-result-4079732-1465245936/solver-4079732-1465245936 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079732-1465245936.opb pid=2686 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.26 2.26 3/179 2689 /proc/meminfo: memFree=29281392/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=762300 CPUtime=0 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 2852 0 0 0 0 0 0 0 20 0 4 0 106527212 780595200 2703 33554432000 4194304 16246674 140736894216240 140736894215664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 191343 2712 441 2943 0 188237 0 [pid=2689/tid=2690] ppid=2686 vsize=806332 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 825683968 2873 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=810428 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 829878272 2892 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=815548 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106527212 835121152 2912 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.19 2.26 2.26 3/179 2689 /proc/meminfo: memFree=29281392/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 20041 0 0 0 6 3 0 0 20 0 4 0 106527212 1247350784 19879 33554432000 4194304 16246674 140736894216240 140736894215664 6020769 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 304529 19888 753 2943 0 301423 0 [pid=2689/tid=2690] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 19891 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 19894 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 19898 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200534 s] /proc/loadavg: 2.19 2.26 2.26 3/179 2689 /proc/meminfo: memFree=29281392/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 36427 0 0 0 13 6 0 0 20 0 4 0 106527212 1247350784 36266 33554432000 4194304 16246674 140736894216240 140736894215664 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 304529 36275 753 2943 0 301423 0 [pid=2689/tid=2690] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 36279 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 36287 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 36291 33554432000 4194304 16246674 140736894216240 140148430851248 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.30049 s] /proc/loadavg: 2.19 2.26 2.26 3/179 2689 /proc/meminfo: memFree=29281392/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 52919 0 0 0 21 8 0 0 20 0 4 0 106527212 1247350784 52758 33554432000 4194304 16246674 140736894216240 140736894215664 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 304529 52768 753 2943 0 301423 0 [pid=2689/tid=2690] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 52773 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 52777 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 52784 33554432000 4194304 16246674 140736894216240 140148430851248 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.700389 s] /proc/loadavg: 2.19 2.26 2.26 3/179 2689 /proc/meminfo: memFree=29281392/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 119111 0 0 0 51 18 0 0 20 0 4 0 106527212 1247350784 118949 33554432000 4194304 16246674 140736894216240 140736894198144 13194067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 304529 118956 753 2943 0 301423 0 [pid=2689/tid=2690] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 118958 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 118962 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 118968 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.18 2.26 2.26 3/183 2693 /proc/meminfo: memFree=28536644/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 245520 0 0 0 112 37 0 0 20 0 4 0 106527212 1247350784 245335 33554432000 4194304 16246674 140736894216240 140736894215552 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 304529 245335 824 2943 0 301423 0 [pid=2689/tid=2690] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 245335 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 245335 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1247350784 245335 33554432000 4194304 16246674 140736894216240 140148430851248 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) 1218116 [startup+3.10042 s] /proc/loadavg: 2.18 2.26 2.26 3/183 2693 /proc/meminfo: memFree=28300656/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=3.08 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267396 0 0 0 268 40 0 0 20 0 4 0 106527212 1337528320 267211 33554432000 4194304 16246674 140736894216240 140736894199240 5717184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 326545 267211 824 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267211 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267211 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267211 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.18 2.26 2.26 3/183 2693 /proc/meminfo: memFree=28212764/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267439 0 0 0 588 41 0 0 20 0 4 0 106527212 1337528320 267254 33554432000 4194304 16246674 140736894216240 140736894199240 13759567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 326545 267254 824 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267254 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267254 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267254 33554432000 4194304 16246674 140736894216240 140148430851248 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) 1306180 [startup+12.7004 s] /proc/loadavg: 2.15 2.25 2.26 3/183 2693 /proc/meminfo: memFree=28213212/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267454 0 0 0 1228 41 0 0 20 0 4 0 106527212 1337528320 267269 33554432000 4194304 16246674 140736894216240 140736894199240 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 326545 267269 826 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267269 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267269 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267269 33554432000 4194304 16246674 140736894216240 140148430851248 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) 1306180 [startup+25.5005 s] /proc/loadavg: 2.21 2.25 2.26 3/183 2693 /proc/meminfo: memFree=28214168/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=25.48 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267454 0 0 0 2507 41 0 0 20 0 4 0 106527212 1337528320 267269 33554432000 4194304 16246674 140736894216240 140736894199240 5710136 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 326545 267269 826 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267269 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267269 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267269 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.20 2.25 2.26 3/183 2693 /proc/meminfo: memFree=28214172/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267456 0 0 0 5066 42 0 0 20 0 4 0 106527212 1337528320 267271 33554432000 4194304 16246674 140736894216240 140736894199240 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 326545 267271 827 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267271 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267271 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267271 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.27 2.25 2.26 3/183 2694 /proc/meminfo: memFree=28213316/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=102.28 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267482 0 0 0 10184 44 0 0 20 0 4 0 106527212 1337528320 267297 33554432000 4194304 16246674 140736894216240 140736894199240 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/2689/statm: 326545 267297 828 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267297 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267297 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267297 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267589 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1306180 [startup+1302.3 s] /proc/loadavg: 2.22 2.21 2.20 3/183 2795 /proc/meminfo: memFree=28057164/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1301.9 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267795 0 0 0 130115 75 0 0 20 0 4 0 106527212 1337528320 267589 33554432000 4194304 16246674 140736894216240 140736894198144 5589723 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267589 829 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267589 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267589 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267589 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1306180 [startup+1362.3 s] /proc/loadavg: 2.19 2.20 2.20 3/183 2796 /proc/meminfo: memFree=28056948/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1361.87 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267855 0 0 0 136110 77 0 0 20 0 4 0 106527212 1337528320 267613 33554432000 4194304 16246674 140736894216240 140736894198144 5994008 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267613 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267613 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267613 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267613 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1306180 [startup+1422.3 s] /proc/loadavg: 2.23 2.21 2.20 3/182 2797 /proc/meminfo: memFree=28055900/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1421.85 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267874 0 0 0 142107 78 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140736894198144 5673657 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267694 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1306180 [startup+1482.3 s] /proc/loadavg: 2.23 2.21 2.20 3/184 2802 /proc/meminfo: memFree=28053716/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1481.84 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267874 0 0 0 148104 80 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140736894198144 6022005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267694 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1306180 [startup+1542.31 s] /proc/loadavg: 2.21 2.20 2.19 4/183 2803 /proc/meminfo: memFree=28054588/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1541.83 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267874 0 0 0 154102 81 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140736894199240 5545984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267694 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1306180 [startup+1602.3 s] /proc/loadavg: 2.23 2.21 2.19 3/183 2804 /proc/meminfo: memFree=28054380/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1601.82 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267874 0 0 0 160100 82 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140736894198144 5659492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267694 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1306180 [startup+1662.3 s] /proc/loadavg: 2.19 2.20 2.18 3/183 2805 /proc/meminfo: memFree=28054300/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1661.81 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267874 0 0 0 166098 83 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140736894198144 13780568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267694 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1306180 [startup+1722.3 s] /proc/loadavg: 2.22 2.19 2.18 3/183 2806 /proc/meminfo: memFree=28054340/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1721.8 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267874 0 0 0 172096 84 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140736894198144 5754801 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267694 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1306180 [startup+1782.3 s] /proc/loadavg: 2.16 2.18 2.18 3/183 2808 /proc/meminfo: memFree=28054244/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1781.79 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267874 0 0 0 178094 85 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140736894198144 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267694 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1306180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.20 2.19 2.18 3/183 2809 /proc/meminfo: memFree=28054472/32872528 swapFree=16080/1655368 [pid=2689] ppid=2686 vsize=1306180 CPUtime=1800.08 cores=1,3,5,7 /proc/2689/stat : 2689 (toysat) R 2686 2689 32454 0 -1 4202496 267874 0 0 0 179923 85 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140736894198144 5712064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2689/statm: 326545 267694 830 2943 0 323439 0 [pid=2689/tid=2690] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2690/stat : 2690 (toysat) S 2686 2689 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148451814640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=2689/tid=2691] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2691/stat : 2691 (toysat) S 2686 2689 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148441324784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=2689/tid=2692] ppid=2686 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2689/task/2692/stat : 2692 (toysat) S 2686 2689 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106527212 1337528320 267694 33554432000 4194304 16246674 140736894216240 140148430851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1306180 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 2689 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.1 CPU user time (s): 1799.24 CPU system time (s): 0.859869 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1306180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.24 system time used= 0.859869 maximum resident set size= 1070776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267874 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= 350 involuntary context switches= 2487 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.29535 second user time and 7.2309 second system time The end
Begin job on node122 at 2016-06-06 22:45:36 IDJOB=4079732 IDBENCH=2931 IDSOLVER=2542 FILE ID=node122/4079732-1465245936 RUNJOBID= node122-1465218907-32471 PBS_JOBID= 19843205 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079732-1465245936/watcher-4079732-1465245936 -o /tmp/evaluation-result-4079732-1465245936/solver-4079732-1465245936 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079732-1465245936.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479 RANDOM SEED=581496872 node122.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.898 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.79 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.898 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.898 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.898 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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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.898 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.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29282192 kB Buffers: 51424 kB Cached: 104744 kB SwapCached: 860 kB Active: 1154240 kB Inactive: 77620 kB Active(anon): 1076344 kB Inactive(anon): 1584 kB Active(file): 77896 kB Inactive(file): 76036 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099464 kB Dirty: 16332 kB Writeback: 0 kB AnonPages: 2730548 kB Mapped: 10404 kB Shmem: 0 kB Slab: 568128 kB SReclaimable: 12280 kB SUnreclaim: 555848 kB KernelStack: 1480 kB PageTables: 9216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2875020 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2709504 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= 71708 MiB End job on node122 at 2016-06-06 23:15:37