| 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-opt-market-split_8_70_4.opb |
| MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 77 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 44 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 84 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6154 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-18T13:53:17+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-4105569-1466250797.opb"] 0.00/0.01 c use --random-gen="2151335155 3962678171 956151924 3741810840 483359192 745098725 2815325534 2727104482 1842153631 2573052461 2318110212 78178560 3346709623 3502821430 3629063300 1637560984 2304296923 466686624 1565386262 3641260381 888403775 3403735597 1078569386 112886883 3124412041 3912144311 813600574 2701650806 1376853860 1673025645 4218009599 1609788014 2175740547 2499289952 2505567948 3603134020 2333693303 614398610 1154536550 1611210657 2190964903 1433936246 771311816 1319992057 140445894 1187995171 3316916675 2623967362 3825335903 3141084321 1978864985 1794503219 1815460760 174328523 1576725114 1410730267 2355650359 50654078 3912450690 454450381 2204569993 3018507158 3463252082 2429276847 1002949247 770735977 2832576148 1462486581 3917461088 2388428492 1735942179 1180103022 2466185491 1456305147 302538685 26206924 2377190315 3143834149 2186185150 2984994517 3040570731 1858000216 1112471859 2207720757 1611585343 527549252 2178359645 726219300 2633922828 750815486 3757926057 1109743456 740153265 3962733321 2687053281 1078789160 2569491163 383586075 2653213258 18870500 2805470116 340364041 2867664095 1486418538 1509874896 1077285727 3802202479 4100390046 2103527075 1008221507 1595765505 2401625741 2403749813 1039675516 3343668345 2743601139 2433262720 1880149754 3022168478 3442253827 2135530764 2291351564 160533963 2070973351 1066108507 3482658592 410812115 2983373158 150556075 744592009 3295376835 2080761230 1800817877 2582257879 596437040 690329592 1283883700 1727068106 3874775214 510212265 1997667896 1020544067 1438519076 977361509 3733548360 121928645 466887005 1223263564 3068068511 3937901466 3779910277 1033255701 1808878357 4259781457 2746144253 3100151142 892850559 49459638 3570268738 3883963664 4038833101 1568846185 2813752926 1687985430 58132801 1921154906 2982604100 1180622489 2661396056 1861153598 889189692 3013733097 663837348 592253450 754700522 4127018272 711565760 1397661857 377687582 868751772 2757324955 4237921388 2160597564 3501121340 3764158022 4107923755 796891668 2647300247 3142077178 1183892030 1177884803 3585965830 2507219153 276630912 322609108 2390355771 419239171 3139569756 1613388288 216962603 3534510877 2022462521 1409442756 3450279572 226739785 215679499 2393044076 197446720 237815676 1608025675 1202651799 2077884822 2199449691 14920672 2891767587 1266258130 4243004174 3929234288 797388526 3548535964 2959235438 502813986 3495424437 1199887001 844192099 3722673732 2990402618 1893667599 2340982368 3926776677 2091664325 32049319 1271685519 3986176594 59788901 1576864801 2504648574 1770552244 3640675305 528778319 1938360604 4189288593 2977948891 948609560 2756148833 3114648661 1741834135 1243253002 1936528114 1378833740 35164870 620915598 3283740420 3924274887 3029395195 3124643908 255 362436" option to reproduce the execution 0.00/0.01 c #vars 198 0.00/0.01 c #constraints 16 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 71 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 81 | 0 | 71 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 81 0.00/0.02 c #random_decision = 1 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 2640 0.00/0.02 c BCD2: updating upper bound: 4080 -> 2639 0.00/0.02 c BCD2: 0 <= obj <= 2639 0.00/0.02 c BCD2: #cores=0, #unrelaxed=128, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 71 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 277 | 100 | 71 0 | 0 | 0 0.08/0.11 c 0.1s | 2 | 586 | 250 | 79 1 | 0 | 0 0.19/0.20 c 0.2s | 3 | 982 | 475 | 87 4 | 0 | 0 0.29/0.36 c 0.3s | 4 | 1495 | 813 | 96 7 | 0 | 0 0.49/0.58 c 0.6s | 5 | 2179 | 1320 | 106 11 | 0 | 0 0.89/0.90 c 0.9s | 6 | 3117 | 2081 | 129 16 | 0 | 0 1.28/1.38 c 1.4s | 7 | 4456 | 3223 | 142 25 | 0 | 0 1.78/1.84 c 1.8s | 8 | 6374 | 4936 | 157 36 | 0 | 0 2.48/2.55 c 2.5s | 9 | 9180 | 7506 | 173 52 | 0 | 0 3.58/3.61 c 3.6s | 10 | 13268 | 11361 | 191 75 | 0 | 0 5.08/5.15 c 5.1s | 11 | 19339 | 17144 | 211 108 | 0 | 0 7.08/7.17 c 7.2s | 11 | 27428 | 24944 | 211 150 | 0 | 0 7.28/7.39 c 7.4s | 12 | 28338 | 25819 | 233 154 | 0 | 0 9.38/9.40 c 9.4s | 12 | 36168 | 33419 | 233 193 | 0 | 0 10.78/10.81 c 10.8s | 13 | 41619 | 38832 | 257 221 | 0 | 0 12.79/12.83 c 12.8s | 13 | 49643 | 46632 | 257 259 | 0 | 0 14.79/14.84 c 14.8s | 13 | 57801 | 54732 | 257 298 | 0 | 0 15.69/15.79 c 15.8s | 14 | 61431 | 58352 | 283 315 | 0 | 0 17.79/17.80 c 17.8s | 14 | 69344 | 66052 | 283 350 | 0 | 0 19.79/19.81 c 19.8s | 14 | 77085 | 73752 | 283 385 | 0 | 0 21.79/21.82 c 21.8s | 14 | 84929 | 81552 | 283 421 | 0 | 0 23.49/23.50 c 23.5s | 15 | 91066 | 87632 | 312 448 | 0 | 0 25.49/25.51 c 25.5s | 15 | 98644 | 94932 | 312 479 | 0 | 0 27.49/27.53 c 27.5s | 15 | 105772 | 101932 | 312 509 | 0 | 0 29.48/29.54 c 29.5s | 15 | 112873 | 108932 | 312 539 | 0 | 0 31.48/31.56 c 31.5s | 15 | 120523 | 116432 | 312 571 | 0 | 0 33.48/33.56 c 33.5s | 15 | 127995 | 123732 | 312 602 | 0 | 0 35.48/35.57 c 35.6s | 15 | 135289 | 130932 | 344 632 | 0 | 0 35.68/35.74 c 35.7s | 16 | 135915 | 131552 | 344 635 | 0 | 0 37.68/37.74 c 37.7s | 16 | 143173 | 138552 | 344 663 | 0 | 0 39.69/39.76 c 39.7s | 16 | 150831 | 146152 | 344 693 | 0 | 0 41.68/41.79 c 41.8s | 16 | 158297 | 153552 | 344 722 | 0 | 0 43.78/43.80 c 43.8s | 16 | 165476 | 160652 | 344 751 | 0 | 0 45.78/45.81 c 45.8s | 16 | 172481 | 167552 | 344 778 | 0 | 0 47.78/47.81 c 47.8s | 16 | 179617 | 174552 | 344 806 | 0 | 0 49.78/49.82 c 49.8s | 16 | 186896 | 181752 | 344 835 | 0 | 0 51.79/51.84 c 51.8s | 16 | 194104 | 188852 | 344 863 | 0 | 0 53.78/53.86 c 53.8s | 16 | 201222 | 195852 | 344 892 | 0 | 0 54.28/54.33 c 54.3s | 17 | 202812 | 197432 | 379 897 | 0 | 0 56.28/56.33 c 56.3s | 17 | 210009 | 204332 | 379 923 | 0 | 0 58.28/58.35 c 58.3s | 17 | 217128 | 211332 | 379 949 | 0 | 0 60.28/60.36 c 60.3s | 17 | 224246 | 218332 | 379 975 | 0 | 0 62.28/62.37 c 62.4s | 17 | 231659 | 225632 | 379 1002 | 0 | 0 64.28/64.39 c 64.4s | 17 | 238844 | 232732 | 379 1029 | 0 | 0 66.37/66.40 c 66.4s | 17 | 245834 | 239632 | 379 1054 | 0 | 0 68.37/68.42 c 68.4s | 17 | 252545 | 246232 | 379 1079 | 0 | 0 70.38/70.43 c 70.4s | 17 | 259532 | 253132 | 379 1105 | 0 | 0 72.37/72.44 c 72.4s | 17 | 266536 | 260032 | 379 1131 | 0 | 0 74.37/74.47 c 74.4s | 17 | 273745 | 267132 | 379 1157 | 0 | 0 76.37/76.49 c 76.5s | 17 | 280534 | 273832 | 379 1183 | 0 | 0 78.47/78.51 c 78.5s | 17 | 287631 | 280832 | 379 1209 | 0 | 0 80.47/80.51 c 80.5s | 17 | 294814 | 287832 | 379 1235 | 0 | 0 82.48/82.54 c 82.5s | 17 | 301849 | 294732 | 417 1261 | 0 | 0 82.97/83.01 c 83.0s | 18 | 303409 | 296252 | 417 1266 | 0 | 0 84.97/85.03 c 85.0s | 18 | 310396 | 302952 | 417 1290 | 0 | 0 86.98/87.05 c 87.0s | 18 | 317702 | 310152 | 417 1314 | 0 | 0 88.97/89.07 c 89.1s | 18 | 324657 | 317052 | 417 1338 | 0 | 0 90.98/91.09 c 91.1s | 18 | 331520 | 323852 | 417 1362 | 0 | 0 93.08/93.11 c 93.1s | 18 | 338385 | 330652 | 417 1386 | 0 | 0 95.08/95.13 c 95.1s | 18 | 345277 | 337452 | 417 1409 | 0 | 0 97.08/97.15 c 97.1s | 18 | 352067 | 344152 | 417 1433 | 0 | 0 99.08/99.16 c 99.1s | 18 | 358880 | 350852 | 417 1457 | 0 | 0 101.08/101.17 c 101s | 18 | 366119 | 358052 | 417 1482 | 0 | 0 103.08/103.18 c 103s | 18 | 373069 | 364952 | 417 1506 | 0 | 0 105.18/105.20 c 105s | 18 | 380339 | 372152 | 417 1531 | 0 | 0 107.17/107.20 c 107s | 18 | 387613 | 379352 | 417 1556 | 0 | 0 109.17/109.22 c 109s | 18 | 394844 | 386452 | 417 1581 | 0 | 0 111.18/111.22 c 111s | 18 | 401757 | 393252 | 417 1604 | 0 | 0 113.17/113.24 c 113s | 18 | 408742 | 400152 | 417 1629 | 0 | 0 115.17/115.27 c 115s | 18 | 415828 | 407152 | 417 1653 | 0 | 0 117.17/117.29 c 117s | 18 | 423290 | 414552 | 417 1679 | 0 | 0 119.27/119.30 c 119s | 18 | 430032 | 421252 | 417 1703 | 0 | 0 121.27/121.32 c 121s | 18 | 436785 | 427952 | 417 1726 | 0 | 0 123.28/123.33 c 123s | 18 | 443748 | 434852 | 417 1750 | 0 | 0 125.27/125.35 c 125s | 18 | 450608 | 441652 | 459 1774 | 0 | 0 126.07/126.18 c 126s | 19 | 453447 | 444482 | 459 1783 | 0 | 0 128.17/128.20 c 128s | 19 | 460580 | 451382 | 459 1805 | 0 | 0 130.17/130.22 c 130s | 19 | 467255 | 457982 | 459 1827 | 0 | 0 132.17/132.24 c 132s | 19 | 473813 | 464482 | 459 1848 | 0 | 0 134.17/134.25 c 134s | 19 | 480612 | 471182 | 459 1870 | 0 | 0 136.17/136.26 c 136s | 19 | 487517 | 477982 | 459 1892 | 0 | 0 138.17/138.26 c 138s | 19 | 494193 | 484582 | 459 1913 | 0 | 0 140.16/140.28 c 140s | 19 | 501002 | 491282 | 459 1935 | 0 | 0 142.16/142.29 c 142s | 19 | 507984 | 498182 | 459 1957 | 0 | 0 144.26/144.32 c 144s | 19 | 514678 | 504782 | 459 1978 | 0 | 0 146.27/146.32 c 146s | 19 | 521180 | 511182 | 459 1999 | 0 | 0 148.26/148.34 c 148s | 19 | 527773 | 517682 | 459 2021 | 0 | 0 150.26/150.35 c 150s | 19 | 534344 | 524182 | 459 2042 | 0 | 0 152.26/152.37 c 152s | 19 | 540848 | 530582 | 459 2063 | 0 | 0 154.26/154.38 c 154s | 19 | 547106 | 536782 | 459 2083 | 0 | 0 156.27/156.39 c 156s | 19 | 553371 | 542982 | 459 2103 | 0 | 0 158.37/158.41 c 158s | 19 | 559618 | 549182 | 459 2124 | 0 | 0 160.37/160.42 c 160s | 19 | 566703 | 556182 | 459 2147 | 0 | 0 162.37/162.44 c 162s | 19 | 573972 | 563382 | 459 2170 | 0 | 0 164.37/164.46 c 164s | 19 | 580717 | 570082 | 459 2192 | 0 | 0 166.37/166.46 c 166s | 19 | 587670 | 576982 | 459 2214 | 0 | 0 168.37/168.48 c 168s | 19 | 594632 | 583882 | 459 2237 | 0 | 0 170.37/170.50 c 170s | 19 | 601366 | 590582 | 459 2258 | 0 | 0 172.46/172.51 c 172s | 19 | 608511 | 597682 | 459 2281 | 0 | 0 174.46/174.53 c 174s | 19 | 615081 | 604182 | 459 2303 | 0 | 0 176.46/176.54 c 176s | 19 | 621533 | 610582 | 459 2324 | 0 | 0 178.46/178.56 c 178s | 19 | 628101 | 617082 | 459 2345 | 0 | 0 180.47/180.57 c 180s | 19 | 634572 | 623482 | 459 2366 | 0 | 0 182.57/182.60 c 182s | 19 | 641021 | 629882 | 459 2387 | 0 | 0 184.56/184.61 c 184s | 19 | 647374 | 636182 | 459 2408 | 0 | 0 186.56/186.62 c 186s | 19 | 654364 | 643082 | 459 2430 | 0 | 0 188.56/188.62 c 188s | 19 | 661050 | 649682 | 459 2452 | 0 | 0 190.56/190.63 c 190s | 19 | 668203 | 656682 | 459 2474 | 0 | 0 192.56/192.64 c 192s | 19 | 674999 | 663382 | 505 2496 | 0 | 0 193.56/193.66 c 193s | 20 | 678514 | 666827 | 505 2506 | 0 | 0 195.56/195.68 c 195s | 20 | 685583 | 673627 | 505 2527 | 0 | 0 197.66/197.70 c 197s | 20 | 692758 | 680727 | 505 2548 | 0 | 0 199.65/199.72 c 199s | 20 | 699844 | 687727 | 505 2570 | 0 | 0 201.65/201.74 c 201s | 20 | 706754 | 694527 | 505 2590 | 0 | 0 203.65/203.76 c 203s | 20 | 713413 | 701127 | 505 2610 | 0 | 0 205.66/205.78 c 205s | 20 | 720444 | 708027 | 505 2631 | 0 | 0 207.75/207.80 c 207s | 20 | 727053 | 714527 | 505 2650 | 0 | 0 209.75/209.83 c 209s | 20 | 733533 | 720927 | 505 2670 | 0 | 0 211.75/211.84 c 211s | 20 | 739913 | 727227 | 505 2689 | 0 | 0 213.75/213.86 c 213s | 20 | 746969 | 734127 | 505 2710 | 0 | 0 215.75/215.86 c 215s | 20 | 753854 | 740927 | 505 2730 | 0 | 0 217.76/217.88 c 217s | 20 | 760578 | 747527 | 505 2750 | 0 | 0 219.85/219.90 c 219s | 20 | 767365 | 754227 | 505 2770 | 0 | 0 221.85/221.92 c 221s | 20 | 774369 | 761127 | 505 2791 | 0 | 0 223.85/223.93 c 223s | 20 | 780960 | 767627 | 505 2811 | 0 | 0 225.85/225.94 c 225s | 20 | 787429 | 774027 | 505 2831 | 0 | 0 227.85/227.95 c 227s | 20 | 794250 | 780727 | 505 2851 | 0 | 0 229.86/229.98 c 229s | 20 | 801170 | 787527 | 505 2872 | 0 | 0 231.96/232.00 c 231s | 20 | 808055 | 794327 | 505 2893 | 0 | 0 233.96/234.02 c 234s | 20 | 814919 | 801127 | 505 2913 | 0 | 0 235.96/236.03 c 236s | 20 | 821594 | 807727 | 505 2934 | 0 | 0 237.96/238.05 c 238s | 20 | 828390 | 814427 | 505 2954 | 0 | 0 239.96/240.07 c 240s | 20 | 835053 | 821027 | 505 2974 | 0 | 0 241.96/242.09 c 242s | 20 | 843732 | 829527 | 505 3000 | 0 | 0 244.05/244.11 c 244s | 20 | 851852 | 837527 | 505 3024 | 0 | 0 246.05/246.11 c 246s | 20 | 859567 | 845127 | 505 3047 | 0 | 0 248.05/248.11 c 248s | 20 | 867265 | 852727 | 505 3069 | 0 | 0 250.05/250.13 c 250s | 20 | 874886 | 860227 | 505 3092 | 0 | 0 252.05/252.15 c 252s | 20 | 882504 | 867727 | 505 3115 | 0 | 0 254.06/254.15 c 254s | 20 | 890121 | 875227 | 505 3137 | 0 | 0 256.05/256.16 c 256s | 20 | 897276 | 882327 | 505 3158 | 0 | 0 258.05/258.18 c 258s | 20 | 904465 | 889427 | 505 3180 | 0 | 0 260.05/260.19 c 260s | 20 | 911675 | 896527 | 505 3201 | 0 | 0 262.15/262.21 c 262s | 20 | 918807 | 903627 | 505 3223 | 0 | 0 264.15/264.21 c 264s | 20 | 925993 | 910727 | 505 3244 | 0 | 0 266.15/266.23 c 266s | 20 | 933286 | 917927 | 505 3266 | 0 | 0 268.15/268.25 c 268s | 20 | 940660 | 925227 | 505 3288 | 0 | 0 270.15/270.27 c 270s | 20 | 948065 | 932527 | 505 3310 | 0 | 0 272.15/272.28 c 272s | 20 | 955507 | 939827 | 505 3332 | 0 | 0 274.24/274.30 c 274s | 20 | 962732 | 946927 | 505 3353 | 0 | 0 276.24/276.32 c 276s | 20 | 969892 | 954027 | 505 3375 | 0 | 0 278.25/278.33 c 278s | 20 | 977151 | 961127 | 505 3396 | 0 | 0 280.24/280.34 c 280s | 20 | 984371 | 968227 | 505 3418 | 0 | 0 282.24/282.37 c 282s | 20 | 991834 | 975627 | 505 3440 | 0 | 0 284.24/284.39 c 284s | 20 | 999150 | 982827 | 505 3462 | 0 | 0 286.24/286.39 c 286s | 20 | 1006055 | 989627 | 505 3482 | 0 | 0 288.34/288.42 c 288s | 20 | 1013373 | 996827 | 556 3503 | 0 | 0 289.35/289.43 c 289s | 21 | 1016937 | 1000345 | 556 3513 | 0 | 0 291.34/291.45 c 291s | 21 | 1024537 | 1007545 | 556 3533 | 0 | 0 293.34/293.46 c 293s | 21 | 1031995 | 1014845 | 556 3554 | 0 | 0 295.34/295.48 c 295s | 21 | 1039477 | 1022145 | 556 3574 | 0 | 0 297.44/297.50 c 297s | 21 | 1046822 | 1029345 | 556 3595 | 0 | 0 299.44/299.51 c 299s | 21 | 1054002 | 1036345 | 556 3614 | 0 | 0 301.44/301.51 c 301s | 21 | 1061202 | 1043445 | 556 3634 | 0 | 0 303.45/303.53 c 303s | 21 | 1068329 | 1050445 | 556 3654 | 0 | 0 305.44/305.54 c 305s | 21 | 1075457 | 1057445 | 556 3674 | 0 | 0 307.44/307.56 c 307s | 21 | 1082626 | 1064445 | 556 3694 | 0 | 0 309.44/309.58 c 309s | 21 | 1089632 | 1071345 | 556 3713 | 0 | 0 311.44/311.59 c 311s | 21 | 1096804 | 1078345 | 556 3733 | 0 | 0 313.45/313.59 c 313s | 21 | 1103853 | 1085245 | 556 3752 | 0 | 0 315.54/315.61 c 315s | 21 | 1111000 | 1092245 | 556 3772 | 0 | 0 317.54/317.62 c 317s | 21 | 1117964 | 1099145 | 556 3791 | 0 | 0 319.54/319.65 c 319s | 21 | 1125371 | 1106445 | 556 3812 | 0 | 0 321.54/321.65 c 321s | 21 | 1132491 | 1113445 | 556 3832 | 0 | 0 323.54/323.65 c 323s | 21 | 1139422 | 1120245 | 556 3851 | 0 | 0 325.54/325.67 c 325s | 21 | 1146465 | 1127145 | 556 3870 | 0 | 0 327.54/327.68 c 327s | 21 | 1153378 | 1133945 | 556 3889 | 0 | 0 329.54/329.69 c 329s | 21 | 1160016 | 1140445 | 556 3908 | 0 | 0 331.54/331.69 c 331s | 21 | 1166718 | 1147045 | 556 3926 | 0 | 0 333.64/333.72 c 333s | 21 | 1173911 | 1154145 | 556 3946 | 0 | 0 335.64/335.72 c 335s | 21 | 1180738 | 1160845 | 556 3965 | 0 | 0 337.64/337.74 c 337s | 21 | 1187145 | 1167145 | 556 3983 | 0 | 0 339.64/339.75 c 339s | 21 | 1193616 | 1173545 | 556 4001 | 0 | 0 341.63/341.78 c 341s | 21 | 1200489 | 1180345 | 556 4020 | 0 | 0 343.73/343.81 c 343s | 21 | 1207185 | 1186945 | 556 4039 | 0 | 0 345.73/345.84 c 345s | 21 | 1213828 | 1193445 | 556 4057 | 0 | 0 347.73/347.84 c 347s | 21 | 1220355 | 1199845 | 556 4075 | 0 | 0 349.74/349.86 c 349s | 21 | 1226648 | 1206045 | 556 4093 | 0 | 0 351.73/351.86 c 351s | 21 | 1233658 | 1212945 | 556 4112 | 0 | 0 353.73/353.88 c 353s | 21 | 1240652 | 1219745 | 556 4132 | 0 | 0 355.83/355.90 c 355s | 21 | 1247492 | 1226345 | 556 4150 | 0 | 0 357.83/357.91 c 357s | 21 | 1254382 | 1233145 | 556 4169 | 0 | 0 359.83/359.94 c 359s | 21 | 1261069 | 1239745 | 556 4188 | 0 | 0 361.84/361.95 c 361s | 21 | 1268151 | 1246745 | 556 4208 | 0 | 0 363.83/363.95 c 363s | 21 | 1274967 | 1253445 | 556 4227 | 0 | 0 365.83/365.98 c 365s | 21 | 1281526 | 1259945 | 556 4245 | 0 | 0 367.93/368.00 c 367s | 21 | 1288096 | 1266445 | 556 4263 | 0 | 0 369.94/370.01 c 369s | 21 | 1294865 | 1273145 | 556 4282 | 0 | 0 371.94/372.01 c 371s | 21 | 1301624 | 1279745 | 556 4301 | 0 | 0 373.94/374.02 c 374s | 21 | 1308331 | 1286345 | 556 4320 | 0 | 0 375.93/376.03 c 376s | 21 | 1315062 | 1292945 | 556 4338 | 0 | 0 377.93/378.04 c 378s | 21 | 1321737 | 1299545 | 556 4357 | 0 | 0 379.93/380.06 c 380s | 21 | 1328535 | 1306245 | 556 4376 | 0 | 0 381.93/382.06 c 382s | 21 | 1334897 | 1312545 | 556 4394 | 0 | 0 383.94/384.06 c 384s | 21 | 1341241 | 1318745 | 556 4411 | 0 | 0 385.93/386.09 c 386s | 21 | 1347548 | 1324945 | 556 4429 | 0 | 0 387.93/388.10 c 388s | 21 | 1354028 | 1331345 | 556 4447 | 0 | 0 390.03/390.11 c 390s | 21 | 1360669 | 1337845 | 556 4466 | 0 | 0 392.03/392.12 c 392s | 21 | 1367346 | 1344345 | 556 4484 | 0 | 0 394.03/394.13 c 394s | 21 | 1373867 | 1350745 | 556 4503 | 0 | 0 396.04/396.13 c 396s | 21 | 1380773 | 1357545 | 556 4522 | 0 | 0 398.03/398.15 c 398s | 21 | 1388193 | 1364845 | 556 4543 | 0 | 0 400.03/400.16 c 400s | 21 | 1395532 | 1372045 | 556 4563 | 0 | 0 402.03/402.18 c 402s | 21 | 1402676 | 1379045 | 556 4582 | 0 | 0 404.03/404.18 c 404s | 21 | 1409504 | 1385745 | 556 4601 | 0 | 0 406.13/406.20 c 406s | 21 | 1416522 | 1392645 | 556 4621 | 0 | 0 408.14/408.21 c 408s | 21 | 1423812 | 1399845 | 556 4641 | 0 | 0 410.13/410.21 c 410s | 21 | 1430694 | 1406645 | 556 4660 | 0 | 0 412.13/412.23 c 412s | 21 | 1437613 | 1413445 | 556 4679 | 0 | 0 414.13/414.23 c 414s | 21 | 1444197 | 1419945 | 556 4698 | 0 | 0 416.13/416.26 c 416s | 21 | 1450804 | 1426445 | 556 4716 | 0 | 0 418.12/418.26 c 418s | 21 | 1457390 | 1432945 | 556 4734 | 0 | 0 420.13/420.29 c 420s | 21 | 1463644 | 1439145 | 556 4752 | 0 | 0 422.22/422.30 c 422s | 21 | 1469926 | 1445345 | 556 4770 | 0 | 0 424.22/424.31 c 424s | 21 | 1476301 | 1451645 | 556 4788 | 0 | 0 426.22/426.33 c 426s | 21 | 1483579 | 1458845 | 556 4808 | 0 | 0 428.22/428.34 c 428s | 21 | 1490831 | 1466045 | 556 4828 | 0 | 0 430.22/430.36 c 430s | 21 | 1498018 | 1473145 | 556 4848 | 0 | 0 432.23/432.38 c 432s | 21 | 1504905 | 1479945 | 556 4867 | 0 | 0 434.32/434.40 c 434s | 21 | 1511887 | 1486845 | 556 4887 | 0 | 0 436.32/436.41 c 436s | 21 | 1518656 | 1493545 | 612 4905 | 0 | 0 438.32/438.43 c 438s | 21 | 1525520 | 1500345 | 612 4922 | 0 | 0 438.42/438.52 c 438s | 22 | 1525799 | 1500622 | 612 4923 | 0 | 0 440.42/440.52 c 440s | 22 | 1533080 | 1507622 | 612 4941 | 0 | 0 442.42/442.53 c 442s | 22 | 1540208 | 1514622 | 612 4960 | 0 | 0 444.42/444.55 c 444s | 22 | 1547371 | 1521622 | 612 4978 | 0 | 0 446.42/446.55 c 446s | 22 | 1554496 | 1528622 | 612 4996 | 0 | 0 448.42/448.55 c 448s | 22 | 1561252 | 1535222 | 612 5013 | 0 | 0 450.42/450.55 c 450s | 22 | 1568196 | 1542022 | 612 5031 | 0 | 0 452.42/452.56 c 452s | 22 | 1575169 | 1548822 | 612 5049 | 0 | 0 454.41/454.57 c 454s | 22 | 1582172 | 1555722 | 612 5067 | 0 | 0 456.42/456.58 c 456s | 22 | 1588946 | 1562422 | 612 5084 | 0 | 0 458.51/458.61 c 458s | 22 | 1596127 | 1569522 | 612 5103 | 0 | 0 460.51/460.61 c 460s | 22 | 1602612 | 1575922 | 612 5120 | 0 | 0 462.51/462.63 c 462s | 22 | 1609777 | 1583022 | 612 5138 | 0 | 0 464.51/464.66 c 464s | 22 | 1616571 | 1589722 | 612 5156 | 0 | 0 466.52/466.66 c 466s | 22 | 1623564 | 1596622 | 612 5174 | 0 | 0 468.53/468.66 c 468s | 22 | 1630474 | 1603422 | 612 5192 | 0 | 0 470.52/470.68 c 470s | 22 | 1637229 | 1610022 | 612 5209 | 0 | 0 472.52/472.69 c 472s | 22 | 1643984 | 1616622 | 612 5226 | 0 | 0 474.62/474.70 c 474s | 22 | 1650813 | 1623322 | 612 5244 | 0 | 0 476.62/476.70 c 476s | 22 | 1658385 | 1630722 | 612 5263 | 0 | 0 478.62/478.71 c 478s | 22 | 1665575 | 1637622 | 612 5281 | 0 | 0 480.62/480.72 c 480s | 22 | 1672576 | 1644422 | 612 5299 | 0 | 0 482.62/482.73 c 482s | 22 | 1679676 | 1651322 | 612 5317 | 0 | 0 484.62/484.73 c 484s | 22 | 1686568 | 1658122 | 612 5334 | 0 | 0 486.62/486.74 c 486s | 22 | 1693571 | 1664922 | 612 5352 | 0 | 0 488.61/488.75 c 488s | 22 | 1700879 | 1672122 | 612 5371 | 0 | 0 490.62/490.78 c 490s | 22 | 1707914 | 1679022 | 612 5389 | 0 | 0 492.61/492.79 c 492s | 22 | 1715118 | 1686122 | 612 5407 | 0 | 0 494.71/494.80 c 494s | 22 | 1722200 | 1693122 | 612 5426 | 0 | 0 496.71/496.81 c 496s | 22 | 1728948 | 1699722 | 612 5443 | 0 | 0 498.71/498.84 c 498s | 22 | 1735817 | 1706522 | 612 5461 | 0 | 0 500.71/500.84 c 500s | 22 | 1742516 | 1713122 | 612 5478 | 0 | 0 502.72/502.86 c 502s | 22 | 1749034 | 1719522 | 612 5495 | 0 | 0 504.71/504.89 c 504s | 22 | 1755673 | 1726022 | 612 5512 | 0 | 0 506.81/506.91 c 506s | 22 | 1762538 | 1732822 | 612 5530 | 0 | 0 508.81/508.92 c 508s | 22 | 1769661 | 1739822 | 612 5548 | 0 | 0 510.81/510.95 c 510s | 22 | 1776263 | 1746322 | 612 5565 | 0 | 0 512.81/512.95 c 512s | 22 | 1782383 | 1752322 | 612 5581 | 0 | 0 514.82/514.98 c 514s | 22 | 1788590 | 1758422 | 612 5597 | 0 | 0 516.81/516.99 c 516s | 22 | 1795015 | 1764722 | 612 5614 | 0 | 0 518.91/519.00 c 518s | 22 | 1801468 | 1771022 | 612 5630 | 0 | 0 520.91/521.02 c 520s | 22 | 1807844 | 1777322 | 612 5647 | 0 | 0 522.91/523.03 c 523s | 22 | 1814545 | 1783922 | 612 5664 | 0 | 0 524.91/525.05 c 525s | 22 | 1820949 | 1790222 | 612 5681 | 0 | 0 526.91/527.06 c 527s | 22 | 1827620 | 1796722 | 612 5698 | 0 | 0 528.90/529.07 c 529s | 22 | 1834119 | 1803122 | 612 5714 | 0 | 0 531.00/531.10 c 531s | 22 | 1840706 | 1809522 | 612 5731 | 0 | 0 533.00/533.12 c 533s | 22 | 1847317 | 1816022 | 612 5748 | 0 | 0 535.01/535.14 c 535s | 22 | 1853944 | 1822522 | 612 5765 | 0 | 0 537.01/537.16 c 537s | 22 | 1860481 | 1828922 | 612 5782 | 0 | 0 539.02/539.18 c 539s | 22 | 1866867 | 1835222 | 612 5799 | 0 | 0 541.01/541.20 c 541s | 22 | 1873333 | 1841622 | 612 5815 | 0 | 0 543.11/543.21 c 543s | 22 | 1880184 | 1848422 | 612 5833 | 0 | 0 545.11/545.22 c 545s | 22 | 1886884 | 1855022 | 612 5850 | 0 | 0 547.11/547.24 c 547s | 22 | 1893527 | 1861522 | 612 5867 | 0 | 0 549.11/549.25 c 549s | 22 | 1900179 | 1868022 | 612 5884 | 0 | 0 551.11/551.27 c 551s | 22 | 1906775 | 1874522 | 612 5901 | 0 | 0 553.10/553.29 c 553s | 22 | 1913497 | 1881122 | 612 5919 | 0 | 0 555.20/555.32 c 555s | 22 | 1920198 | 1887722 | 612 5936 | 0 | 0 557.20/557.32 c 557s | 22 | 1926862 | 1894322 | 612 5953 | 0 | 0 559.20/559.32 c 559s | 22 | 1933585 | 1900922 | 612 5971 | 0 | 0 561.20/561.35 c 561s | 22 | 1940457 | 1907722 | 612 5989 | 0 | 0 563.21/563.37 c 563s | 22 | 1947276 | 1914422 | 612 6006 | 0 | 0 565.20/565.38 c 565s | 22 | 1954646 | 1921722 | 612 6025 | 0 | 0 567.30/567.40 c 567s | 22 | 1962122 | 1929122 | 612 6045 | 0 | 0 569.30/569.41 c 569s | 22 | 1968988 | 1935922 | 612 6062 | 0 | 0 571.30/571.42 c 571s | 22 | 1975942 | 1942822 | 612 6080 | 0 | 0 573.30/573.44 c 573s | 22 | 1982724 | 1949522 | 612 6098 | 0 | 0 575.31/575.47 c 575s | 22 | 1989410 | 1956122 | 612 6115 | 0 | 0 577.30/577.50 c 577s | 22 | 1995903 | 1962522 | 612 6132 | 0 | 0 579.40/579.52 c 579s | 22 | 2002484 | 1969022 | 612 6149 | 0 | 0 581.40/581.53 c 581s | 22 | 2008951 | 1975422 | 612 6166 | 0 | 0 583.40/583.55 c 583s | 22 | 2015503 | 1981922 | 612 6183 | 0 | 0 585.40/585.55 c 585s | 22 | 2022260 | 1988622 | 612 6200 | 0 | 0 587.40/587.58 c 587s | 22 | 2029286 | 1995522 | 612 6218 | 0 | 0 589.39/589.59 c 589s | 22 | 2035923 | 2002022 | 612 6235 | 0 | 0 591.49/591.60 c 591s | 22 | 2042564 | 2008522 | 612 6253 | 0 | 0 593.49/593.63 c 593s | 22 | 2049266 | 2015122 | 612 6270 | 0 | 0 595.49/595.65 c 595s | 22 | 2055933 | 2021722 | 612 6287 | 0 | 0 597.49/597.67 c 597s | 22 | 2062415 | 2028122 | 612 6304 | 0 | 0 599.50/599.67 c 599s | 22 | 2069287 | 2034922 | 612 6322 | 0 | 0 601.50/601.67 c 601s | 22 | 2076312 | 2041822 | 612 6340 | 0 | 0 603.60/603.71 c 603s | 22 | 2083100 | 2048522 | 612 6358 | 0 | 0 605.60/605.71 c 605s | 22 | 2089672 | 2054922 | 612 6374 | 0 | 0 607.60/607.73 c 607s | 22 | 2096330 | 2061422 | 612 6391 | 0 | 0 609.60/609.74 c 609s | 22 | 2103129 | 2068122 | 612 6409 | 0 | 0 611.60/611.75 c 611s | 22 | 2109816 | 2074722 | 612 6426 | 0 | 0 613.59/613.78 c 613s | 22 | 2116555 | 2081322 | 612 6444 | 0 | 0 615.59/615.79 c 615s | 22 | 2122932 | 2087522 | 612 6460 | 0 | 0 617.69/617.80 c 617s | 22 | 2129427 | 2093922 | 612 6477 | 0 | 0 619.69/619.80 c 619s | 22 | 2135720 | 2100122 | 612 6493 | 0 | 0 621.69/621.82 c 621s | 22 | 2142222 | 2106522 | 612 6510 | 0 | 0 623.70/623.83 c 623s | 22 | 2148813 | 2113022 | 612 6527 | 0 | 0 625.69/625.85 c 625s | 22 | 2155313 | 2119422 | 612 6544 | 0 | 0 627.69/627.86 c 627s | 22 | 2161815 | 2125822 | 612 6561 | 0 | 0 629.69/629.88 c 629s | 22 | 2168412 | 2132322 | 612 6578 | 0 | 0 631.79/631.90 c 631s | 22 | 2174814 | 2138622 | 612 6594 | 0 | 0 633.79/633.92 c 633s | 22 | 2180976 | 2144722 | 612 6611 | 0 | 0 635.80/635.93 c 635s | 22 | 2187250 | 2150922 | 612 6627 | 0 | 0 637.79/637.95 c 637s | 22 | 2194068 | 2157622 | 612 6645 | 0 | 0 639.79/639.96 c 639s | 22 | 2200852 | 2164322 | 612 6662 | 0 | 0 641.79/641.98 c 641s | 22 | 2207225 | 2170622 | 612 6679 | 0 | 0 643.79/643.99 c 643s | 22 | 2213534 | 2176822 | 612 6695 | 0 | 0 645.89/646.00 c 645s | 22 | 2219734 | 2182922 | 612 6711 | 0 | 0 647.90/648.03 c 648s | 22 | 2225901 | 2189022 | 612 6727 | 0 | 0 649.89/650.04 c 650s | 22 | 2232496 | 2195522 | 612 6744 | 0 | 0 651.89/652.06 c 652s | 22 | 2239168 | 2202022 | 612 6761 | 0 | 0 653.89/654.07 c 654s | 22 | 2245601 | 2208322 | 612 6778 | 0 | 0 655.89/656.08 c 656s | 22 | 2251834 | 2214422 | 612 6794 | 0 | 0 657.89/658.09 c 658s | 22 | 2258019 | 2220522 | 612 6810 | 0 | 0 659.99/660.12 c 660s | 22 | 2264302 | 2226722 | 612 6827 | 0 | 0 661.98/662.14 c 662s | 22 | 2270662 | 2233022 | 612 6843 | 0 | 0 663.98/664.17 c 664s | 22 | 2276818 | 2239122 | 674 6858 | 0 | 0 665.98/666.18 c 666s | 22 | 2283170 | 2245422 | 674 6874 | 0 | 0 667.88/668.06 c 668s | 23 | 2288825 | 2251038 | 674 6888 | 0 | 0 669.89/670.08 c 670s | 23 | 2295916 | 2257938 | 674 6904 | 0 | 0 671.88/672.09 c 672s | 23 | 2302707 | 2264638 | 674 6920 | 0 | 0 673.98/674.11 c 674s | 23 | 2309766 | 2271538 | 674 6937 | 0 | 0 675.98/676.14 c 676s | 23 | 2316813 | 2278438 | 674 6954 | 0 | 0 677.99/678.16 c 678s | 23 | 2323821 | 2285338 | 674 6970 | 0 | 0 679.99/680.16 c 680s | 23 | 2330634 | 2292038 | 674 6986 | 0 | 0 682.00/682.17 c 682s | 23 | 2337377 | 2298638 | 674 7002 | 0 | 0 683.99/684.19 c 684s | 23 | 2344066 | 2305238 | 674 7018 | 0 | 0 686.09/686.20 c 686s | 23 | 2350861 | 2311938 | 674 7035 | 0 | 0 688.09/688.22 c 688s | 23 | 2357930 | 2318938 | 674 7052 | 0 | 0 690.09/690.25 c 690s | 23 | 2364799 | 2325738 | 674 7068 | 0 | 0 692.09/692.25 c 692s | 23 | 2371743 | 2332638 | 674 7085 | 0 | 0 694.09/694.26 c 694s | 23 | 2378593 | 2339438 | 674 7101 | 0 | 0 696.09/696.29 c 696s | 23 | 2385158 | 2345938 | 674 7117 | 0 | 0 698.09/698.29 c 698s | 23 | 2391810 | 2352438 | 674 7133 | 0 | 0 700.19/700.30 c 700s | 23 | 2398074 | 2358638 | 674 7148 | 0 | 0 702.19/702.32 c 702s | 23 | 2404493 | 2364938 | 674 7163 | 0 | 0 704.18/704.34 c 704s | 23 | 2410949 | 2371338 | 674 7179 | 0 | 0 706.19/706.35 c 706s | 23 | 2418057 | 2378338 | 674 7196 | 0 | 0 708.18/708.38 c 708s | 23 | 2425538 | 2385738 | 674 7213 | 0 | 0 710.18/710.39 c 710s | 23 | 2432852 | 2392938 | 674 7231 | 0 | 0 712.28/712.41 c 712s | 23 | 2439985 | 2399938 | 674 7247 | 0 | 0 714.28/714.43 c 714s | 23 | 2447110 | 2406938 | 674 7264 | 0 | 0 716.28/716.44 c 716s | 23 | 2454305 | 2414038 | 674 7281 | 0 | 0 718.28/718.45 c 718s | 23 | 2461633 | 2421238 | 674 7299 | 0 | 0 720.28/720.47 c 720s | 23 | 2468472 | 2427938 | 674 7315 | 0 | 0 722.28/722.48 c 722s | 23 | 2475564 | 2434938 | 674 7332 | 0 | 0 724.28/724.48 c 724s | 23 | 2482475 | 2441738 | 674 7348 | 0 | 0 726.28/726.49 c 726s | 23 | 2489300 | 2448438 | 674 7364 | 0 | 0 728.38/728.52 c 728s | 23 | 2495889 | 2454938 | 674 7380 | 0 | 0 730.38/730.54 c 730s | 23 | 2502806 | 2461738 | 674 7396 | 0 | 0 732.37/732.56 c 732s | 23 | 2509994 | 2468838 | 674 7413 | 0 | 0 734.37/734.57 c 734s | 23 | 2517112 | 2475838 | 674 7430 | 0 | 0 736.37/736.58 c 736s | 23 | 2524016 | 2482638 | 674 7447 | 0 | 0 738.47/738.61 c 738s | 23 | 2530652 | 2489138 | 674 7462 | 0 | 0 740.47/740.63 c 740s | 23 | 2537276 | 2495638 | 674 7478 | 0 | 0 742.48/742.64 c 742s | 23 | 2543954 | 2502238 | 674 7494 | 0 | 0 744.46/744.66 c 744s | 23 | 2550553 | 2508738 | 674 7510 | 0 | 0 746.46/746.69 c 746s | 23 | 2557355 | 2515438 | 674 7526 | 0 | 0 748.46/748.70 c 748s | 23 | 2564174 | 2522138 | 674 7542 | 0 | 0 750.56/750.72 c 750s | 23 | 2571433 | 2529238 | 674 7559 | 0 | 0 752.56/752.72 c 752s | 23 | 2578393 | 2536138 | 674 7576 | 0 | 0 754.57/754.74 c 754s | 23 | 2585192 | 2542838 | 674 7592 | 0 | 0 756.56/756.75 c 756s | 23 | 2592102 | 2549638 | 674 7609 | 0 | 0 758.56/758.76 c 758s | 23 | 2599357 | 2556738 | 674 7626 | 0 | 0 760.56/760.78 c 760s | 23 | 2606503 | 2563738 | 674 7643 | 0 | 0 762.66/762.81 c 762s | 23 | 2613208 | 2570338 | 674 7659 | 0 | 0 764.65/764.84 c 764s | 23 | 2619907 | 2576938 | 674 7674 | 0 | 0 766.66/766.86 c 766s | 23 | 2626512 | 2583438 | 674 7690 | 0 | 0 768.65/768.87 c 768s | 23 | 2633163 | 2589938 | 674 7706 | 0 | 0 770.65/770.89 c 770s | 23 | 2639762 | 2596438 | 674 7722 | 0 | 0 772.75/772.91 c 772s | 23 | 2646544 | 2603038 | 674 7738 | 0 | 0 774.75/774.94 c 774s | 23 | 2653375 | 2609738 | 674 7754 | 0 | 0 776.75/776.97 c 776s | 23 | 2660290 | 2616538 | 674 7771 | 0 | 0 778.85/779.00 c 778s | 23 | 2667011 | 2623138 | 674 7787 | 0 | 0 780.85/781.01 c 780s | 23 | 2673548 | 2629538 | 674 7802 | 0 | 0 782.85/783.02 c 783s | 23 | 2680154 | 2636038 | 674 7818 | 0 | 0 784.84/785.02 c 785s | 23 | 2686946 | 2642738 | 674 7834 | 0 | 0 786.84/787.03 c 787s | 23 | 2693728 | 2649438 | 674 7850 | 0 | 0 788.84/789.06 c 789s | 23 | 2700499 | 2656038 | 674 7867 | 0 | 0 790.85/791.09 c 791s | 23 | 2707207 | 2662638 | 674 7883 | 0 | 0 792.84/793.10 c 793s | 23 | 2714451 | 2669738 | 674 7900 | 0 | 0 794.93/795.10 c 795s | 23 | 2721685 | 2676838 | 674 7917 | 0 | 0 796.93/797.13 c 797s | 23 | 2728982 | 2684038 | 674 7934 | 0 | 0 798.93/799.14 c 799s | 23 | 2735676 | 2690638 | 674 7950 | 0 | 0 800.93/801.17 c 801s | 23 | 2742444 | 2697338 | 674 7966 | 0 | 0 802.94/803.17 c 803s | 23 | 2749081 | 2703838 | 674 7982 | 0 | 0 804.93/805.19 c 805s | 23 | 2755511 | 2710138 | 674 7997 | 0 | 0 807.03/807.21 c 807s | 23 | 2762378 | 2716838 | 674 8013 | 0 | 0 809.03/809.21 c 809s | 23 | 2768795 | 2723138 | 674 8029 | 0 | 0 811.03/811.23 c 811s | 23 | 2775416 | 2729638 | 674 8044 | 0 | 0 813.03/813.26 c 813s | 23 | 2782434 | 2736538 | 674 8061 | 0 | 0 815.03/815.26 c 815s | 23 | 2789267 | 2743238 | 674 8077 | 0 | 0 817.02/817.28 c 817s | 23 | 2796477 | 2750338 | 674 8094 | 0 | 0 819.12/819.31 c 819s | 23 | 2803704 | 2757438 | 674 8112 | 0 | 0 821.12/821.33 c 821s | 23 | 2810722 | 2764338 | 674 8128 | 0 | 0 823.12/823.34 c 823s | 23 | 2817564 | 2771038 | 674 8145 | 0 | 0 825.12/825.35 c 825s | 23 | 2824900 | 2778238 | 674 8162 | 0 | 0 827.12/827.38 c 827s | 23 | 2832101 | 2785238 | 674 8179 | 0 | 0 829.12/829.39 c 829s | 23 | 2838977 | 2791938 | 674 8195 | 0 | 0 831.22/831.41 c 831s | 23 | 2845885 | 2798638 | 674 8212 | 0 | 0 833.22/833.43 c 833s | 23 | 2852533 | 2805138 | 674 8227 | 0 | 0 835.22/835.43 c 835s | 23 | 2859392 | 2811838 | 674 8244 | 0 | 0 837.22/837.44 c 837s | 23 | 2865614 | 2817938 | 674 8258 | 0 | 0 839.22/839.47 c 839s | 23 | 2872234 | 2824438 | 674 8274 | 0 | 0 841.22/841.48 c 841s | 23 | 2878719 | 2830738 | 674 8289 | 0 | 0 843.22/843.48 c 843s | 23 | 2885059 | 2836938 | 674 8304 | 0 | 0 845.31/845.51 c 845s | 23 | 2891653 | 2843438 | 674 8320 | 0 | 0 847.31/847.54 c 847s | 23 | 2898159 | 2849838 | 674 8336 | 0 | 0 849.31/849.55 c 849s | 23 | 2904777 | 2856338 | 674 8352 | 0 | 0 851.31/851.57 c 851s | 23 | 2911185 | 2862638 | 674 8367 | 0 | 0 853.30/853.57 c 853s | 23 | 2918039 | 2869338 | 674 8383 | 0 | 0 855.30/855.59 c 855s | 23 | 2924714 | 2875938 | 674 8399 | 0 | 0 857.40/857.60 c 857s | 23 | 2931173 | 2882238 | 674 8414 | 0 | 0 859.40/859.61 c 859s | 23 | 2937597 | 2888538 | 674 8430 | 0 | 0 861.40/861.62 c 861s | 23 | 2944285 | 2895038 | 674 8445 | 0 | 0 863.41/863.63 c 863s | 23 | 2950720 | 2901338 | 674 8461 | 0 | 0 865.40/865.66 c 865s | 23 | 2957035 | 2907538 | 674 8476 | 0 | 0 867.40/867.67 c 867s | 23 | 2963477 | 2913838 | 674 8491 | 0 | 0 869.40/869.68 c 869s | 23 | 2969688 | 2919938 | 674 8506 | 0 | 0 871.40/871.68 c 871s | 23 | 2975952 | 2926038 | 674 8521 | 0 | 0 873.49/873.70 c 873s | 23 | 2982389 | 2932338 | 674 8537 | 0 | 0 875.50/875.72 c 875s | 23 | 2989990 | 2939738 | 674 8554 | 0 | 0 877.49/877.72 c 877s | 23 | 2997018 | 2946638 | 674 8571 | 0 | 0 879.49/879.75 c 879s | 23 | 3004039 | 2953538 | 674 8587 | 0 | 0 881.49/881.77 c 881s | 23 | 3010958 | 2960338 | 674 8604 | 0 | 0 883.59/883.80 c 883s | 23 | 3017545 | 2966838 | 674 8619 | 0 | 0 885.59/885.81 c 885s | 23 | 3024337 | 2973538 | 674 8636 | 0 | 0 887.59/887.82 c 887s | 23 | 3030869 | 2979938 | 674 8651 | 0 | 0 889.59/889.83 c 889s | 23 | 3037451 | 2986338 | 674 8667 | 0 | 0 891.59/891.83 c 891s | 23 | 3044057 | 2992838 | 674 8682 | 0 | 0 893.58/893.85 c 893s | 23 | 3050601 | 2999238 | 674 8698 | 0 | 0 895.58/895.87 c 895s | 23 | 3056990 | 3005538 | 674 8713 | 0 | 0 897.58/897.89 c 897s | 23 | 3063631 | 3012038 | 674 8728 | 0 | 0 899.59/899.89 c 899s | 23 | 3070119 | 3018338 | 674 8743 | 0 | 0 901.68/901.91 c 901s | 23 | 3076446 | 3024538 | 674 8759 | 0 | 0 903.67/903.92 c 903s | 23 | 3083550 | 3031538 | 674 8776 | 0 | 0 905.67/905.93 c 905s | 23 | 3091297 | 3039138 | 674 8794 | 0 | 0 907.67/907.94 c 907s | 23 | 3098632 | 3046338 | 674 8811 | 0 | 0 909.67/909.95 c 909s | 23 | 3105930 | 3053538 | 674 8828 | 0 | 0 911.68/911.95 c 911s | 23 | 3112956 | 3060438 | 674 8845 | 0 | 0 913.67/913.98 c 913s | 23 | 3119781 | 3067138 | 674 8861 | 0 | 0 915.77/916.00 c 915s | 23 | 3126383 | 3073638 | 674 8877 | 0 | 0 917.77/918.02 c 918s | 23 | 3133119 | 3080238 | 674 8893 | 0 | 0 919.77/920.03 c 920s | 23 | 3139968 | 3086938 | 674 8909 | 0 | 0 921.77/922.05 c 922s | 23 | 3146979 | 3093738 | 674 8925 | 0 | 0 923.77/924.05 c 924s | 23 | 3153743 | 3100338 | 674 8941 | 0 | 0 925.77/926.07 c 926s | 23 | 3160305 | 3106738 | 674 8957 | 0 | 0 927.77/928.08 c 928s | 23 | 3167034 | 3113338 | 674 8973 | 0 | 0 929.76/930.08 c 930s | 23 | 3173821 | 3119938 | 674 8989 | 0 | 0 931.86/932.11 c 932s | 23 | 3180567 | 3126538 | 674 9005 | 0 | 0 933.86/934.11 c 934s | 23 | 3186945 | 3132738 | 674 9020 | 0 | 0 935.87/936.14 c 936s | 23 | 3193026 | 3138738 | 674 9034 | 0 | 0 937.87/938.15 c 938s | 23 | 3199108 | 3144738 | 674 9049 | 0 | 0 939.87/940.16 c 940s | 23 | 3205181 | 3150738 | 674 9063 | 0 | 0 941.87/942.19 c 942s | 23 | 3211169 | 3156638 | 674 9078 | 0 | 0 943.97/944.20 c 944s | 23 | 3217107 | 3162538 | 674 9092 | 0 | 0 945.97/946.22 c 946s | 23 | 3223346 | 3168738 | 674 9107 | 0 | 0 947.97/948.24 c 948s | 23 | 3229534 | 3174838 | 674 9122 | 0 | 0 949.96/950.26 c 950s | 23 | 3235714 | 3180938 | 674 9137 | 0 | 0 951.96/952.28 c 952s | 23 | 3242636 | 3187738 | 674 9153 | 0 | 0 954.06/954.30 c 954s | 23 | 3249261 | 3194238 | 674 9169 | 0 | 0 956.06/956.30 c 956s | 23 | 3255680 | 3200538 | 674 9184 | 0 | 0 958.06/958.32 c 958s | 23 | 3262220 | 3206938 | 674 9200 | 0 | 0 960.07/960.35 c 960s | 23 | 3269346 | 3213938 | 674 9217 | 0 | 0 962.06/962.35 c 962s | 23 | 3275853 | 3220338 | 674 9232 | 0 | 0 964.05/964.37 c 964s | 23 | 3282475 | 3226838 | 674 9248 | 0 | 0 966.05/966.38 c 966s | 23 | 3288786 | 3233038 | 674 9263 | 0 | 0 968.15/968.40 c 968s | 23 | 3295172 | 3239338 | 674 9278 | 0 | 0 970.15/970.41 c 970s | 23 | 3301490 | 3245538 | 674 9293 | 0 | 0 972.16/972.43 c 972s | 23 | 3307634 | 3251538 | 674 9308 | 0 | 0 974.15/974.45 c 974s | 23 | 3313817 | 3257638 | 674 9322 | 0 | 0 976.15/976.46 c 976s | 23 | 3320710 | 3264438 | 674 9339 | 0 | 0 978.15/978.47 c 978s | 23 | 3327253 | 3270838 | 674 9354 | 0 | 0 980.15/980.49 c 980s | 23 | 3333680 | 3277138 | 674 9369 | 0 | 0 982.15/982.49 c 982s | 23 | 3339775 | 3283138 | 674 9384 | 0 | 0 984.25/984.52 c 984s | 23 | 3346790 | 3290038 | 674 9401 | 0 | 0 986.24/986.55 c 986s | 23 | 3353363 | 3296538 | 674 9416 | 0 | 0 988.24/988.55 c 988s | 23 | 3359964 | 3303038 | 674 9432 | 0 | 0 990.24/990.58 c 990s | 23 | 3366258 | 3309238 | 674 9447 | 0 | 0 992.34/992.60 c 992s | 23 | 3372641 | 3315538 | 674 9462 | 0 | 0 994.34/994.63 c 994s | 23 | 3379160 | 3321938 | 674 9478 | 0 | 0 996.34/996.64 c 996s | 23 | 3385469 | 3328138 | 674 9493 | 0 | 0 998.33/998.65 c 998s | 23 | 3391667 | 3334238 | 674 9508 | 0 | 0 1000.33/1000.66 c 1000s | 23 | 3397758 | 3340238 | 674 9522 | 0 | 0 1002.33/1002.67 c 1002s | 23 | 3403823 | 3346238 | 674 9537 | 0 | 0 1004.33/1004.68 c 1004s | 23 | 3409799 | 3352138 | 674 9551 | 0 | 0 1006.33/1006.69 c 1006s | 23 | 3415757 | 3358038 | 742 9564 | 0 | 0 1008.43/1008.72 c 1008s | 23 | 3421907 | 3364038 | 742 9578 | 0 | 0 1010.43/1010.74 c 1010s | 23 | 3428032 | 3370038 | 742 9591 | 0 | 0 1012.43/1012.76 c 1012s | 23 | 3433969 | 3375838 | 742 9604 | 0 | 0 1012.73/1013.05 c 1013s | 24 | 3434795 | 3376662 | 742 9606 | 0 | 0 1014.72/1015.06 c 1015s | 24 | 3441243 | 3382762 | 742 9619 | 0 | 0 1016.72/1017.07 c 1017s | 24 | 3447605 | 3388962 | 742 9633 | 0 | 0 1018.72/1019.09 c 1019s | 24 | 3454354 | 3395562 | 742 9648 | 0 | 0 1020.82/1021.11 c 1021s | 24 | 3461061 | 3402162 | 742 9663 | 0 | 0 1022.84/1023.13 c 1023s | 24 | 3467841 | 3408862 | 742 9678 | 0 | 0 1024.82/1025.14 c 1025s | 24 | 3474414 | 3415262 | 742 9692 | 0 | 0 1026.82/1027.15 c 1027s | 24 | 3480718 | 3421462 | 742 9706 | 0 | 0 1028.82/1029.18 c 1029s | 24 | 3486835 | 3427462 | 742 9719 | 0 | 0 1030.82/1031.19 c 1031s | 24 | 3493139 | 3433662 | 742 9733 | 0 | 0 1032.92/1033.21 c 1033s | 24 | 3499438 | 3439762 | 742 9747 | 0 | 0 1034.93/1035.22 c 1035s | 24 | 3505877 | 3446062 | 742 9761 | 0 | 0 1036.92/1037.22 c 1037s | 24 | 3512294 | 3452362 | 742 9775 | 0 | 0 1038.92/1039.24 c 1039s | 24 | 3518848 | 3458762 | 742 9789 | 0 | 0 1040.92/1041.26 c 1041s | 24 | 3525210 | 3464962 | 742 9803 | 0 | 0 1042.92/1043.29 c 1043s | 24 | 3531543 | 3471162 | 742 9817 | 0 | 0 1045.01/1045.32 c 1045s | 24 | 3537945 | 3477462 | 742 9831 | 0 | 0 1047.02/1047.32 c 1047s | 24 | 3543988 | 3483362 | 742 9845 | 0 | 0 1049.01/1049.35 c 1049s | 24 | 3550324 | 3489562 | 742 9858 | 0 | 0 1051.01/1051.37 c 1051s | 24 | 3556767 | 3495862 | 742 9873 | 0 | 0 1053.01/1053.38 c 1053s | 24 | 3564323 | 3503262 | 742 9889 | 0 | 0 1055.11/1055.40 c 1055s | 24 | 3571498 | 3510262 | 742 9905 | 0 | 0 1057.11/1057.42 c 1057s | 24 | 3578605 | 3517262 | 742 9920 | 0 | 0 1059.11/1059.44 c 1059s | 24 | 3585602 | 3524062 | 742 9935 | 0 | 0 1061.10/1061.45 c 1061s | 24 | 3592299 | 3530662 | 742 9950 | 0 | 0 1063.10/1063.48 c 1063s | 24 | 3599196 | 3537462 | 742 9965 | 0 | 0 1065.10/1065.50 c 1065s | 24 | 3605680 | 3543862 | 742 9980 | 0 | 0 1067.20/1067.52 c 1067s | 24 | 3612358 | 3550362 | 742 9994 | 0 | 0 1069.20/1069.54 c 1069s | 24 | 3619087 | 3556962 | 742 10009 | 0 | 0 1071.20/1071.55 c 1071s | 24 | 3625446 | 3563262 | 742 10023 | 0 | 0 1073.19/1073.55 c 1073s | 24 | 3631825 | 3569562 | 742 10037 | 0 | 0 1075.19/1075.56 c 1075s | 24 | 3638389 | 3576062 | 742 10052 | 0 | 0 1077.19/1077.58 c 1077s | 24 | 3644868 | 3582462 | 742 10066 | 0 | 0 1079.19/1079.58 c 1079s | 24 | 3651179 | 3588662 | 742 10080 | 0 | 0 1081.19/1081.59 c 1081s | 24 | 3657791 | 3595162 | 742 10094 | 0 | 0 1083.30/1083.61 c 1083s | 24 | 3664971 | 3602262 | 742 10110 | 0 | 0 1085.29/1085.63 c 1085s | 24 | 3671633 | 3608862 | 742 10125 | 0 | 0 1087.29/1087.65 c 1087s | 24 | 3678198 | 3615362 | 742 10140 | 0 | 0 1089.28/1089.65 c 1089s | 24 | 3684574 | 3621662 | 742 10154 | 0 | 0 1091.28/1091.68 c 1091s | 24 | 3690805 | 3627762 | 742 10167 | 0 | 0 1093.38/1093.71 c 1093s | 24 | 3696774 | 3633662 | 742 10180 | 0 | 0 1095.39/1095.71 c 1095s | 24 | 3702857 | 3639662 | 742 10194 | 0 | 0 1097.38/1097.73 c 1097s | 24 | 3708746 | 3645462 | 742 10207 | 0 | 0 1099.38/1099.74 c 1099s | 24 | 3714915 | 3651562 | 742 10221 | 0 | 0 1101.38/1101.74 c 1101s | 24 | 3721144 | 3657662 | 742 10234 | 0 | 0 1103.38/1103.76 c 1103s | 24 | 3727625 | 3664062 | 742 10249 | 0 | 0 1105.38/1105.78 c 1105s | 24 | 3734000 | 3670362 | 742 10263 | 0 | 0 1107.39/1107.80 c 1107s | 24 | 3740567 | 3676862 | 742 10277 | 0 | 0 1109.48/1109.82 c 1109s | 24 | 3747249 | 3683462 | 742 10292 | 0 | 0 1111.48/1111.83 c 1111s | 24 | 3753521 | 3689662 | 742 10306 | 0 | 0 1113.48/1113.84 c 1113s | 24 | 3760016 | 3696062 | 742 10320 | 0 | 0 1115.48/1115.85 c 1115s | 24 | 3766598 | 3702562 | 742 10335 | 0 | 0 1117.48/1117.85 c 1117s | 24 | 3773496 | 3709362 | 742 10350 | 0 | 0 1119.48/1119.86 c 1119s | 24 | 3780090 | 3715862 | 742 10365 | 0 | 0 1121.48/1121.86 c 1121s | 24 | 3786587 | 3722262 | 742 10379 | 0 | 0 1123.47/1123.88 c 1123s | 24 | 3793080 | 3728662 | 742 10393 | 0 | 0 1125.47/1125.89 c 1125s | 24 | 3799360 | 3734862 | 742 10407 | 0 | 0 1127.57/1127.90 c 1127s | 24 | 3805667 | 3741062 | 742 10421 | 0 | 0 1129.57/1129.92 c 1129s | 24 | 3812040 | 3747262 | 742 10435 | 0 | 0 1131.58/1131.93 c 1131s | 24 | 3818481 | 3753562 | 742 10449 | 0 | 0 1133.57/1133.94 c 1133s | 24 | 3824881 | 3759862 | 742 10463 | 0 | 0 1135.57/1135.95 c 1135s | 24 | 3831461 | 3766362 | 742 10478 | 0 | 0 1137.57/1137.95 c 1137s | 24 | 3837660 | 3772462 | 742 10491 | 0 | 0 1139.57/1139.97 c 1139s | 24 | 3843996 | 3778662 | 742 10505 | 0 | 0 1141.57/1141.98 c 1141s | 24 | 3850330 | 3784862 | 742 10519 | 0 | 0 1143.56/1144.00 c 1143s | 24 | 3856825 | 3791262 | 742 10534 | 0 | 0 1145.66/1146.01 c 1145s | 24 | 3862944 | 3797262 | 742 10547 | 0 | 0 1147.66/1148.04 c 1148s | 24 | 3869194 | 3803362 | 742 10561 | 0 | 0 1149.66/1150.07 c 1150s | 24 | 3875187 | 3809262 | 742 10574 | 0 | 0 1151.66/1152.09 c 1152s | 24 | 3881349 | 3815362 | 742 10588 | 0 | 0 1153.75/1154.10 c 1154s | 24 | 3887412 | 3821362 | 742 10601 | 0 | 0 1155.76/1156.13 c 1156s | 24 | 3893490 | 3827362 | 742 10615 | 0 | 0 1157.75/1158.17 c 1158s | 24 | 3899710 | 3833462 | 742 10629 | 0 | 0 1159.75/1160.18 c 1160s | 24 | 3905808 | 3839462 | 742 10642 | 0 | 0 1161.85/1162.21 c 1162s | 24 | 3912280 | 3845862 | 742 10656 | 0 | 0 1163.85/1164.22 c 1164s | 24 | 3918558 | 3852062 | 742 10670 | 0 | 0 1165.85/1166.23 c 1166s | 24 | 3924492 | 3857962 | 742 10684 | 0 | 0 1167.86/1168.25 c 1168s | 24 | 3930537 | 3863962 | 742 10697 | 0 | 0 1169.85/1170.25 c 1170s | 24 | 3936838 | 3870162 | 742 10711 | 0 | 0 1171.85/1172.26 c 1172s | 24 | 3942685 | 3875962 | 742 10724 | 0 | 0 1173.84/1174.28 c 1174s | 24 | 3948912 | 3882062 | 742 10738 | 0 | 0 1175.94/1176.30 c 1176s | 24 | 3955778 | 3888862 | 742 10753 | 0 | 0 1177.94/1178.32 c 1178s | 24 | 3962354 | 3895362 | 742 10768 | 0 | 0 1179.95/1180.33 c 1180s | 24 | 3968731 | 3901662 | 742 10782 | 0 | 0 1181.94/1182.34 c 1182s | 24 | 3975075 | 3907962 | 742 10796 | 0 | 0 1183.94/1184.37 c 1184s | 24 | 3981564 | 3914362 | 742 10811 | 0 | 0 1185.94/1186.38 c 1186s | 24 | 3987944 | 3920662 | 742 10825 | 0 | 0 1188.04/1188.41 c 1188s | 24 | 3994086 | 3926662 | 742 10838 | 0 | 0 1190.04/1190.43 c 1190s | 24 | 4000063 | 3932562 | 742 10852 | 0 | 0 1192.04/1192.44 c 1192s | 24 | 4005865 | 3938262 | 742 10865 | 0 | 0 1194.03/1194.45 c 1194s | 24 | 4011869 | 3944162 | 742 10878 | 0 | 0 1196.03/1196.46 c 1196s | 24 | 4017771 | 3949962 | 742 10891 | 0 | 0 1198.03/1198.48 c 1198s | 24 | 4023879 | 3955962 | 742 10904 | 0 | 0 1200.13/1200.51 c 1200s | 24 | 4029767 | 3961762 | 742 10918 | 0 | 0 1202.13/1202.54 c 1202s | 24 | 4035714 | 3967662 | 742 10931 | 0 | 0 1204.14/1204.58 c 1204s | 24 | 4041772 | 3973662 | 742 10944 | 0 | 0 1206.13/1206.59 c 1206s | 24 | 4048032 | 3979862 | 742 10958 | 0 | 0 1208.23/1208.60 c 1208s | 24 | 4054089 | 3985862 | 742 10972 | 0 | 0 1210.23/1210.60 c 1210s | 24 | 4060085 | 3991762 | 742 10985 | 0 | 0 1212.23/1212.63 c 1212s | 24 | 4066742 | 3998262 | 742 11000 | 0 | 0 1214.22/1214.64 c 1214s | 24 | 4073562 | 4005062 | 742 11015 | 0 | 0 1216.23/1216.66 c 1216s | 24 | 4080102 | 4011562 | 742 11029 | 0 | 0 1218.22/1218.69 c 1218s | 24 | 4086570 | 4017962 | 742 11044 | 0 | 0 1220.32/1220.71 c 1220s | 24 | 4092838 | 4024162 | 742 11057 | 0 | 0 1222.32/1222.74 c 1222s | 24 | 4099007 | 4030262 | 742 11071 | 0 | 0 1224.32/1224.74 c 1224s | 24 | 4105170 | 4036362 | 742 11085 | 0 | 0 1226.32/1226.75 c 1226s | 24 | 4111339 | 4042462 | 742 11098 | 0 | 0 1228.33/1228.77 c 1228s | 24 | 4117616 | 4048662 | 742 11112 | 0 | 0 1230.32/1230.77 c 1230s | 24 | 4124063 | 4055062 | 742 11127 | 0 | 0 1232.42/1232.80 c 1232s | 24 | 4130332 | 4061262 | 742 11140 | 0 | 0 1234.41/1234.82 c 1234s | 24 | 4136654 | 4067462 | 742 11154 | 0 | 0 1236.41/1236.83 c 1236s | 24 | 4142643 | 4073362 | 742 11168 | 0 | 0 1238.41/1238.85 c 1238s | 24 | 4148907 | 4079562 | 742 11182 | 0 | 0 1240.42/1240.86 c 1240s | 24 | 4154880 | 4085462 | 742 11195 | 0 | 0 1242.41/1242.89 c 1242s | 24 | 4161033 | 4091562 | 742 11209 | 0 | 0 1244.41/1244.89 c 1244s | 24 | 4167083 | 4097562 | 742 11222 | 0 | 0 1246.51/1246.90 c 1246s | 24 | 4173244 | 4103662 | 742 11236 | 0 | 0 1248.51/1248.93 c 1248s | 24 | 4179970 | 4110262 | 742 11250 | 0 | 0 1250.51/1250.93 c 1250s | 24 | 4186179 | 4116362 | 742 11264 | 0 | 0 1252.51/1252.93 c 1252s | 24 | 4192351 | 4122462 | 742 11278 | 0 | 0 1254.50/1254.95 c 1254s | 24 | 4198502 | 4128462 | 742 11291 | 0 | 0 1256.50/1256.95 c 1256s | 24 | 4204736 | 4134562 | 742 11305 | 0 | 0 1258.50/1258.96 c 1258s | 24 | 4211003 | 4140762 | 742 11319 | 0 | 0 1260.50/1260.97 c 1260s | 24 | 4217342 | 4146962 | 742 11333 | 0 | 0 1262.52/1262.98 c 1262s | 24 | 4223532 | 4153062 | 742 11346 | 0 | 0 1264.50/1264.98 c 1264s | 24 | 4230053 | 4159462 | 742 11361 | 0 | 0 1266.60/1267.00 c 1266s | 24 | 4236202 | 4165562 | 742 11375 | 0 | 0 1268.60/1269.01 c 1268s | 24 | 4242278 | 4171562 | 742 11388 | 0 | 0 1270.60/1271.02 c 1270s | 24 | 4248405 | 4177562 | 742 11401 | 0 | 0 1272.60/1273.03 c 1273s | 24 | 4254553 | 4183662 | 742 11415 | 0 | 0 1274.60/1275.04 c 1275s | 24 | 4260819 | 4189862 | 742 11429 | 0 | 0 1276.59/1277.04 c 1277s | 24 | 4267116 | 4196062 | 742 11443 | 0 | 0 1278.59/1279.05 c 1279s | 24 | 4273202 | 4202062 | 742 11456 | 0 | 0 1280.59/1281.07 c 1281s | 24 | 4279322 | 4208062 | 742 11469 | 0 | 0 1282.59/1283.08 c 1283s | 24 | 4285419 | 4214062 | 742 11483 | 0 | 0 1284.59/1285.08 c 1285s | 24 | 4291540 | 4220062 | 742 11496 | 0 | 0 1286.59/1287.10 c 1287s | 24 | 4297623 | 4226062 | 742 11510 | 0 | 0 1288.69/1289.12 c 1289s | 24 | 4303652 | 4231962 | 742 11523 | 0 | 0 1290.69/1291.15 c 1291s | 24 | 4309734 | 4237962 | 742 11536 | 0 | 0 1292.69/1293.15 c 1293s | 24 | 4315683 | 4243862 | 742 11550 | 0 | 0 1294.68/1295.18 c 1295s | 24 | 4321727 | 4249762 | 742 11563 | 0 | 0 1296.68/1297.18 c 1297s | 24 | 4328114 | 4256062 | 742 11577 | 0 | 0 1298.69/1299.20 c 1299s | 24 | 4334577 | 4262362 | 742 11591 | 0 | 0 1300.78/1301.20 c 1301s | 24 | 4340830 | 4268462 | 742 11605 | 0 | 0 1302.78/1303.20 c 1303s | 24 | 4346855 | 4274462 | 742 11618 | 0 | 0 1304.78/1305.22 c 1305s | 24 | 4352710 | 4280262 | 742 11631 | 0 | 0 1306.78/1307.23 c 1307s | 24 | 4358835 | 4286362 | 742 11645 | 0 | 0 1308.78/1309.26 c 1309s | 24 | 4364857 | 4292362 | 742 11658 | 0 | 0 1310.78/1311.27 c 1311s | 24 | 4370807 | 4298262 | 742 11672 | 0 | 0 1312.77/1313.29 c 1313s | 24 | 4376777 | 4304162 | 742 11685 | 0 | 0 1314.87/1315.31 c 1315s | 24 | 4382648 | 4309962 | 742 11698 | 0 | 0 1316.87/1317.31 c 1317s | 24 | 4388537 | 4315762 | 742 11711 | 0 | 0 1318.87/1319.34 c 1319s | 24 | 4394372 | 4321562 | 742 11724 | 0 | 0 1320.87/1321.36 c 1321s | 24 | 4399915 | 4327062 | 742 11736 | 0 | 0 1322.87/1323.37 c 1323s | 24 | 4405490 | 4332562 | 742 11749 | 0 | 0 1324.96/1325.40 c 1325s | 24 | 4411134 | 4338162 | 742 11761 | 0 | 0 1326.96/1327.43 c 1327s | 24 | 4416982 | 4343962 | 742 11774 | 0 | 0 1328.96/1329.45 c 1329s | 24 | 4422879 | 4349762 | 742 11787 | 0 | 0 1330.96/1331.49 c 1331s | 24 | 4428552 | 4355362 | 742 11800 | 0 | 0 1333.06/1333.50 c 1333s | 24 | 4433942 | 4360662 | 742 11812 | 0 | 0 1335.06/1335.51 c 1335s | 24 | 4439481 | 4366162 | 742 11824 | 0 | 0 1337.05/1337.51 c 1337s | 24 | 4445074 | 4371662 | 742 11836 | 0 | 0 1339.05/1339.51 c 1339s | 24 | 4450568 | 4377062 | 742 11849 | 0 | 0 1341.05/1341.53 c 1341s | 24 | 4456155 | 4382562 | 742 11861 | 0 | 0 1343.05/1343.53 c 1343s | 24 | 4461630 | 4387962 | 742 11873 | 0 | 0 1345.05/1345.55 c 1345s | 24 | 4468051 | 4394262 | 742 11887 | 0 | 0 1347.05/1347.55 c 1347s | 24 | 4474271 | 4400362 | 742 11901 | 0 | 0 1349.05/1349.56 c 1349s | 24 | 4480250 | 4406262 | 742 11914 | 0 | 0 1351.05/1351.57 c 1351s | 24 | 4485826 | 4411762 | 742 11927 | 0 | 0 1353.15/1353.61 c 1353s | 24 | 4491596 | 4417462 | 742 11939 | 0 | 0 1355.15/1355.62 c 1355s | 24 | 4497061 | 4422862 | 742 11952 | 0 | 0 1357.14/1357.65 c 1357s | 24 | 4502434 | 4428162 | 742 11964 | 0 | 0 1359.15/1359.68 c 1359s | 24 | 4507959 | 4433562 | 742 11976 | 0 | 0 1361.14/1361.69 c 1361s | 24 | 4513535 | 4439062 | 742 11988 | 0 | 0 1363.24/1363.72 c 1363s | 24 | 4519191 | 4444662 | 742 12001 | 0 | 0 1365.24/1365.73 c 1365s | 24 | 4524759 | 4450162 | 742 12013 | 0 | 0 1367.24/1367.74 c 1367s | 24 | 4530195 | 4455562 | 742 12025 | 0 | 0 1369.24/1369.77 c 1369s | 24 | 4535867 | 4461162 | 742 12038 | 0 | 0 1371.25/1371.78 c 1371s | 24 | 4541340 | 4466562 | 742 12050 | 0 | 0 1373.34/1373.80 c 1373s | 24 | 4546932 | 4472062 | 742 12063 | 0 | 0 1375.34/1375.80 c 1375s | 24 | 4552327 | 4477362 | 742 12074 | 0 | 0 1377.34/1377.81 c 1377s | 24 | 4558043 | 4482962 | 742 12087 | 0 | 0 1379.34/1379.84 c 1379s | 24 | 4563497 | 4488362 | 742 12099 | 0 | 0 1381.34/1381.84 c 1381s | 24 | 4568941 | 4493762 | 742 12111 | 0 | 0 1383.35/1383.85 c 1383s | 24 | 4574319 | 4499062 | 742 12123 | 0 | 0 1385.34/1385.89 c 1385s | 24 | 4579773 | 4504462 | 742 12136 | 0 | 0 1387.34/1387.89 c 1387s | 24 | 4585119 | 4509762 | 742 12148 | 0 | 0 1389.44/1389.93 c 1389s | 24 | 4590477 | 4515062 | 742 12160 | 0 | 0 1391.45/1391.95 c 1391s | 24 | 4595617 | 4520162 | 742 12171 | 0 | 0 1393.45/1393.97 c 1393s | 24 | 4600999 | 4525462 | 742 12183 | 0 | 0 1395.45/1395.97 c 1395s | 24 | 4606358 | 4530762 | 742 12195 | 0 | 0 1397.45/1397.98 c 1397s | 24 | 4611644 | 4535962 | 742 12207 | 0 | 0 1399.45/1399.99 c 1399s | 24 | 4617012 | 4541262 | 742 12219 | 0 | 0 1401.55/1402.03 c 1402s | 24 | 4622487 | 4546662 | 742 12231 | 0 | 0 1403.54/1404.05 c 1404s | 24 | 4627655 | 4551762 | 742 12243 | 0 | 0 1405.54/1406.08 c 1406s | 24 | 4632822 | 4556862 | 742 12255 | 0 | 0 1407.55/1408.08 c 1408s | 24 | 4638791 | 4562762 | 742 12268 | 0 | 0 1409.64/1410.10 c 1410s | 24 | 4644843 | 4568762 | 742 12281 | 0 | 0 1411.64/1412.13 c 1412s | 24 | 4651008 | 4574862 | 742 12295 | 0 | 0 1413.64/1414.14 c 1414s | 24 | 4657168 | 4580962 | 742 12308 | 0 | 0 1415.64/1416.15 c 1416s | 24 | 4663406 | 4587162 | 742 12322 | 0 | 0 1417.64/1418.18 c 1418s | 24 | 4669440 | 4593162 | 742 12336 | 0 | 0 1419.65/1420.18 c 1420s | 24 | 4676002 | 4599662 | 742 12350 | 0 | 0 1421.64/1422.19 c 1422s | 24 | 4682355 | 4605962 | 742 12364 | 0 | 0 1423.64/1424.19 c 1424s | 24 | 4688608 | 4612162 | 742 12378 | 0 | 0 1425.74/1426.22 c 1426s | 24 | 4694755 | 4618262 | 742 12392 | 0 | 0 1427.74/1428.22 c 1428s | 24 | 4700732 | 4624162 | 742 12405 | 0 | 0 1429.74/1430.24 c 1430s | 24 | 4706584 | 4629962 | 742 12418 | 0 | 0 1431.75/1432.26 c 1432s | 24 | 4712440 | 4635762 | 742 12431 | 0 | 0 1433.74/1434.29 c 1434s | 24 | 4718843 | 4642062 | 742 12445 | 0 | 0 1435.84/1436.32 c 1436s | 24 | 4725200 | 4648262 | 742 12459 | 0 | 0 1437.84/1438.35 c 1438s | 24 | 4731554 | 4654462 | 742 12473 | 0 | 0 1439.84/1440.37 c 1440s | 24 | 4737767 | 4660562 | 742 12486 | 0 | 0 1441.84/1442.38 c 1442s | 24 | 4743950 | 4666562 | 742 12500 | 0 | 0 1443.84/1444.38 c 1444s | 24 | 4750141 | 4672662 | 742 12513 | 0 | 0 1445.94/1446.40 c 1446s | 24 | 4756224 | 4678662 | 742 12527 | 0 | 0 1447.93/1448.43 c 1448s | 24 | 4762374 | 4684762 | 742 12541 | 0 | 0 1449.93/1450.45 c 1450s | 24 | 4768440 | 4690762 | 742 12554 | 0 | 0 1451.93/1452.45 c 1452s | 24 | 4774710 | 4696962 | 742 12568 | 0 | 0 1453.93/1454.47 c 1454s | 24 | 4781013 | 4703162 | 742 12582 | 0 | 0 1455.94/1456.48 c 1456s | 24 | 4786976 | 4709062 | 742 12595 | 0 | 0 1457.93/1458.49 c 1458s | 24 | 4792856 | 4714862 | 742 12608 | 0 | 0 1459.93/1460.49 c 1460s | 24 | 4798931 | 4720862 | 742 12621 | 0 | 0 1462.03/1462.50 c 1462s | 24 | 4804977 | 4726862 | 742 12635 | 0 | 0 1464.03/1464.53 c 1464s | 24 | 4811243 | 4733062 | 742 12649 | 0 | 0 1466.03/1466.56 c 1466s | 24 | 4817286 | 4739062 | 742 12662 | 0 | 0 1468.04/1468.58 c 1468s | 24 | 4823358 | 4745062 | 742 12676 | 0 | 0 1470.13/1470.61 c 1470s | 24 | 4829309 | 4750962 | 742 12689 | 0 | 0 1472.13/1472.61 c 1472s | 24 | 4835203 | 4756762 | 742 12702 | 0 | 0 1474.13/1474.63 c 1474s | 24 | 4841098 | 4762562 | 742 12715 | 0 | 0 1476.13/1476.63 c 1476s | 24 | 4846877 | 4768262 | 742 12728 | 0 | 0 1478.13/1478.67 c 1478s | 24 | 4852727 | 4774062 | 742 12741 | 0 | 0 1480.13/1480.68 c 1480s | 24 | 4858539 | 4779762 | 742 12754 | 0 | 0 1482.13/1482.68 c 1482s | 24 | 4864302 | 4785462 | 742 12766 | 0 | 0 1484.13/1484.69 c 1484s | 24 | 4870078 | 4791162 | 742 12779 | 0 | 0 1486.23/1486.72 c 1486s | 24 | 4876096 | 4797062 | 742 12792 | 0 | 0 1488.23/1488.72 c 1488s | 24 | 4881877 | 4802762 | 742 12805 | 0 | 0 1490.23/1490.74 c 1490s | 24 | 4887566 | 4808362 | 742 12818 | 0 | 0 1492.23/1492.76 c 1492s | 24 | 4893977 | 4814662 | 742 12832 | 0 | 0 1494.22/1494.79 c 1494s | 24 | 4900497 | 4821062 | 742 12846 | 0 | 0 1496.22/1496.80 c 1496s | 24 | 4906559 | 4827062 | 742 12860 | 0 | 0 1498.32/1498.82 c 1498s | 24 | 4912628 | 4833062 | 742 12873 | 0 | 0 1500.32/1500.84 c 1500s | 24 | 4918403 | 4838762 | 742 12886 | 0 | 0 1502.32/1502.87 c 1502s | 24 | 4923968 | 4844262 | 742 12898 | 0 | 0 1504.33/1504.90 c 1504s | 24 | 4929616 | 4849862 | 742 12911 | 0 | 0 1506.42/1506.94 c 1506s | 24 | 4935195 | 4855362 | 742 12923 | 0 | 0 1508.42/1508.95 c 1508s | 24 | 4940569 | 4860662 | 742 12935 | 0 | 0 1510.42/1510.96 c 1510s | 24 | 4946419 | 4866462 | 742 12948 | 0 | 0 1512.42/1512.96 c 1512s | 24 | 4952158 | 4872162 | 742 12961 | 0 | 0 1514.42/1514.99 c 1514s | 24 | 4957923 | 4877862 | 742 12973 | 0 | 0 1516.53/1517.02 c 1516s | 24 | 4963724 | 4883562 | 742 12986 | 0 | 0 1518.52/1519.03 c 1519s | 24 | 4969328 | 4889062 | 742 12999 | 0 | 0 1520.52/1521.04 c 1521s | 24 | 4974939 | 4894562 | 742 13011 | 0 | 0 1522.52/1523.06 c 1523s | 24 | 4980635 | 4900162 | 742 13023 | 0 | 0 1524.52/1525.08 c 1525s | 24 | 4986118 | 4905562 | 742 13036 | 0 | 0 1526.52/1527.08 c 1527s | 24 | 4991769 | 4911162 | 742 13048 | 0 | 0 1528.52/1529.09 c 1529s | 24 | 4997232 | 4916562 | 742 13060 | 0 | 0 1530.62/1531.12 c 1531s | 24 | 5002979 | 4922262 | 742 13073 | 0 | 0 1532.62/1533.13 c 1533s | 24 | 5008543 | 4927762 | 742 13085 | 0 | 0 1534.62/1535.15 c 1535s | 24 | 5013807 | 4932962 | 742 13097 | 0 | 0 1536.62/1537.17 c 1537s | 24 | 5019064 | 4938162 | 742 13109 | 0 | 0 1538.62/1539.17 c 1539s | 24 | 5024414 | 4943462 | 742 13121 | 0 | 0 1540.73/1541.21 c 1541s | 24 | 5030134 | 4949062 | 742 13133 | 0 | 0 1542.72/1543.24 c 1543s | 24 | 5036023 | 4954862 | 742 13146 | 0 | 0 1544.72/1545.26 c 1545s | 24 | 5042079 | 4960862 | 742 13160 | 0 | 0 1546.72/1547.26 c 1547s | 24 | 5047715 | 4966362 | 742 13172 | 0 | 0 1548.72/1549.28 c 1549s | 24 | 5053323 | 4971862 | 742 13184 | 0 | 0 1550.72/1551.30 c 1551s | 24 | 5059061 | 4977562 | 742 13197 | 0 | 0 1552.83/1553.31 c 1553s | 24 | 5064722 | 4983162 | 742 13210 | 0 | 0 1554.82/1555.33 c 1555s | 24 | 5070306 | 4988662 | 742 13222 | 0 | 0 1556.82/1557.34 c 1557s | 24 | 5076267 | 4994562 | 742 13235 | 0 | 0 1558.82/1559.37 c 1559s | 24 | 5082019 | 5000262 | 742 13248 | 0 | 0 1560.92/1561.40 c 1561s | 24 | 5087680 | 5005862 | 742 13261 | 0 | 0 1562.92/1563.43 c 1563s | 24 | 5093553 | 5011662 | 742 13274 | 0 | 0 1564.92/1565.45 c 1565s | 24 | 5099402 | 5017462 | 742 13287 | 0 | 0 1566.91/1567.46 c 1567s | 24 | 5104959 | 5022962 | 742 13299 | 0 | 0 1568.91/1569.48 c 1569s | 24 | 5110391 | 5028362 | 742 13312 | 0 | 0 1570.91/1571.49 c 1571s | 24 | 5115863 | 5033762 | 817 13323 | 0 | 0 1573.01/1573.50 c 1573s | 24 | 5121524 | 5039362 | 817 13334 | 0 | 0 1575.01/1575.52 c 1575s | 24 | 5127291 | 5045062 | 817 13346 | 0 | 0 1577.02/1577.53 c 1577s | 24 | 5133539 | 5051262 | 817 13359 | 0 | 0 1579.01/1579.55 c 1579s | 24 | 5139498 | 5057162 | 817 13371 | 0 | 0 1581.01/1581.58 c 1581s | 24 | 5145375 | 5062962 | 817 13383 | 0 | 0 1581.81/1582.36 c 1582s | 25 | 5147555 | 5065098 | 817 13388 | 0 | 0 1583.81/1584.37 c 1584s | 25 | 5153682 | 5070898 | 817 13400 | 0 | 0 1585.82/1586.39 c 1586s | 25 | 5159617 | 5076698 | 817 13412 | 0 | 0 1587.92/1588.42 c 1588s | 25 | 5165567 | 5082498 | 817 13424 | 0 | 0 1589.91/1590.45 c 1590s | 25 | 5171603 | 5088298 | 817 13436 | 0 | 0 1591.91/1592.47 c 1592s | 25 | 5177470 | 5093998 | 817 13447 | 0 | 0 1594.01/1594.50 c 1594s | 25 | 5183504 | 5099898 | 817 13459 | 0 | 0 1596.01/1596.53 c 1596s | 25 | 5189931 | 5106198 | 817 13472 | 0 | 0 1598.01/1598.54 c 1598s | 25 | 5195737 | 5111898 | 817 13484 | 0 | 0 1600.01/1600.54 c 1600s | 25 | 5201418 | 5117398 | 817 13496 | 0 | 0 1602.01/1602.56 c 1602s | 25 | 5207464 | 5123298 | 817 13508 | 0 | 0 1604.01/1604.57 c 1604s | 25 | 5213483 | 5129198 | 817 13520 | 0 | 0 1606.01/1606.57 c 1606s | 25 | 5219473 | 5134998 | 817 13532 | 0 | 0 1608.01/1608.59 c 1608s | 25 | 5225186 | 5140598 | 817 13544 | 0 | 0 1610.01/1610.59 c 1610s | 25 | 5230777 | 5145998 | 817 13555 | 0 | 0 1612.01/1612.59 c 1612s | 25 | 5236751 | 5151798 | 817 13567 | 0 | 0 1614.00/1614.59 c 1614s | 25 | 5242562 | 5157498 | 817 13579 | 0 | 0 1616.10/1616.61 c 1616s | 25 | 5248503 | 5163298 | 817 13591 | 0 | 0 1618.10/1618.63 c 1618s | 25 | 5254365 | 5169098 | 817 13602 | 0 | 0 1620.10/1620.65 c 1620s | 25 | 5259929 | 5174598 | 817 13614 | 0 | 0 1622.11/1622.68 c 1622s | 25 | 5265664 | 5180198 | 817 13625 | 0 | 0 1624.22/1624.71 c 1624s | 25 | 5271429 | 5185898 | 817 13637 | 0 | 0 1626.21/1626.73 c 1626s | 25 | 5277435 | 5191798 | 817 13649 | 0 | 0 1628.21/1628.76 c 1628s | 25 | 5283271 | 5197498 | 817 13661 | 0 | 0 1630.21/1630.79 c 1630s | 25 | 5289016 | 5203198 | 817 13673 | 0 | 0 1632.31/1632.81 c 1632s | 25 | 5294698 | 5208798 | 817 13685 | 0 | 0 1634.31/1634.81 c 1634s | 25 | 5300265 | 5214198 | 817 13696 | 0 | 0 1636.31/1636.83 c 1636s | 25 | 5306210 | 5219998 | 817 13708 | 0 | 0 1638.31/1638.84 c 1638s | 25 | 5311949 | 5225598 | 817 13719 | 0 | 0 1640.31/1640.85 c 1640s | 25 | 5317697 | 5231298 | 817 13731 | 0 | 0 1642.31/1642.88 c 1642s | 25 | 5323652 | 5237098 | 817 13743 | 0 | 0 1644.31/1644.89 c 1644s | 25 | 5329535 | 5242898 | 817 13755 | 0 | 0 1646.40/1646.93 c 1646s | 25 | 5335380 | 5248698 | 817 13767 | 0 | 0 1648.41/1648.93 c 1648s | 25 | 5341373 | 5254598 | 817 13779 | 0 | 0 1650.40/1650.94 c 1650s | 25 | 5347058 | 5260198 | 817 13791 | 0 | 0 1652.40/1652.94 c 1652s | 25 | 5352763 | 5265798 | 817 13803 | 0 | 0 1654.40/1654.97 c 1654s | 25 | 5358947 | 5271898 | 817 13815 | 0 | 0 1656.40/1656.99 c 1656s | 25 | 5364738 | 5277598 | 817 13827 | 0 | 0 1658.50/1659.02 c 1659s | 25 | 5370490 | 5283298 | 817 13839 | 0 | 0 1660.51/1661.05 c 1661s | 25 | 5376232 | 5288998 | 817 13850 | 0 | 0 1662.50/1663.05 c 1663s | 25 | 5381861 | 5294498 | 817 13862 | 0 | 0 1664.50/1665.07 c 1665s | 25 | 5387445 | 5299998 | 817 13873 | 0 | 0 1666.50/1667.08 c 1667s | 25 | 5392729 | 5305198 | 817 13884 | 0 | 0 1668.60/1669.10 c 1669s | 25 | 5398105 | 5310498 | 817 13895 | 0 | 0 1670.60/1671.14 c 1671s | 25 | 5403675 | 5315998 | 817 13907 | 0 | 0 1672.61/1673.16 c 1673s | 25 | 5408943 | 5321198 | 817 13917 | 0 | 0 1674.60/1675.19 c 1675s | 25 | 5414436 | 5326598 | 817 13929 | 0 | 0 1676.60/1677.19 c 1677s | 25 | 5420151 | 5332198 | 817 13940 | 0 | 0 1678.60/1679.19 c 1679s | 25 | 5425771 | 5337698 | 817 13952 | 0 | 0 1680.70/1681.23 c 1681s | 25 | 5431449 | 5343298 | 817 13963 | 0 | 0 1682.70/1683.25 c 1683s | 25 | 5437135 | 5348898 | 817 13975 | 0 | 0 1684.70/1685.28 c 1685s | 25 | 5443041 | 5354698 | 817 13987 | 0 | 0 1686.80/1687.33 c 1687s | 25 | 5448827 | 5360398 | 817 13999 | 0 | 0 1688.80/1689.36 c 1689s | 25 | 5454676 | 5366198 | 817 14011 | 0 | 0 1690.80/1691.37 c 1691s | 25 | 5460068 | 5371498 | 817 14022 | 0 | 0 1692.89/1693.41 c 1693s | 25 | 5465477 | 5376798 | 817 14033 | 0 | 0 1694.89/1695.42 c 1695s | 25 | 5470986 | 5382198 | 817 14044 | 0 | 0 1696.90/1697.42 c 1697s | 25 | 5476495 | 5387598 | 817 14055 | 0 | 0 1698.89/1699.46 c 1699s | 25 | 5481872 | 5392898 | 817 14066 | 0 | 0 1700.89/1701.49 c 1701s | 25 | 5487485 | 5398398 | 817 14077 | 0 | 0 1702.99/1703.50 c 1703s | 25 | 5492973 | 5403798 | 817 14089 | 0 | 0 1704.99/1705.52 c 1705s | 25 | 5498678 | 5409398 | 817 14100 | 0 | 0 1706.99/1707.54 c 1707s | 25 | 5504231 | 5414898 | 817 14112 | 0 | 0 1709.00/1709.56 c 1709s | 25 | 5509604 | 5420198 | 817 14123 | 0 | 0 1710.99/1711.59 c 1711s | 25 | 5514993 | 5425498 | 817 14134 | 0 | 0 1712.99/1713.59 c 1713s | 25 | 5520346 | 5430798 | 817 14145 | 0 | 0 1715.09/1715.60 c 1715s | 25 | 5526504 | 5436898 | 817 14157 | 0 | 0 1717.09/1717.61 c 1717s | 25 | 5532481 | 5442798 | 817 14170 | 0 | 0 1719.09/1719.63 c 1719s | 25 | 5538341 | 5448598 | 817 14182 | 0 | 0 1721.10/1721.63 c 1721s | 25 | 5543994 | 5454198 | 817 14193 | 0 | 0 1723.09/1723.66 c 1723s | 25 | 5549725 | 5459898 | 817 14205 | 0 | 0 1725.09/1725.67 c 1725s | 25 | 5555412 | 5465498 | 817 14217 | 0 | 0 1727.09/1727.67 c 1727s | 25 | 5560999 | 5470998 | 817 14228 | 0 | 0 1729.09/1729.68 c 1729s | 25 | 5566522 | 5476398 | 817 14239 | 0 | 0 1731.19/1731.70 c 1731s | 25 | 5572124 | 5481898 | 817 14251 | 0 | 0 1733.20/1733.72 c 1733s | 25 | 5577524 | 5487198 | 817 14262 | 0 | 0 1735.20/1735.75 c 1735s | 25 | 5582891 | 5492498 | 817 14273 | 0 | 0 1737.19/1737.78 c 1737s | 25 | 5588193 | 5497698 | 817 14284 | 0 | 0 1739.29/1739.80 c 1739s | 25 | 5593407 | 5502798 | 817 14294 | 0 | 0 1741.29/1741.83 c 1741s | 25 | 5599426 | 5508698 | 817 14307 | 0 | 0 1743.29/1743.86 c 1743s | 25 | 5606815 | 5515998 | 817 14322 | 0 | 0 1745.30/1745.89 c 1745s | 25 | 5614123 | 5523198 | 817 14336 | 0 | 0 1747.29/1747.89 c 1747s | 25 | 5621097 | 5530098 | 817 14350 | 0 | 0 1749.39/1749.91 c 1749s | 25 | 5627764 | 5536698 | 817 14364 | 0 | 0 1751.39/1751.92 c 1751s | 25 | 5634451 | 5543298 | 817 14377 | 0 | 0 1753.39/1753.93 c 1753s | 25 | 5641169 | 5549898 | 817 14391 | 0 | 0 1755.39/1755.96 c 1755s | 25 | 5647950 | 5556598 | 817 14405 | 0 | 0 1757.39/1757.98 c 1757s | 25 | 5654680 | 5563298 | 817 14418 | 0 | 0 1759.39/1759.98 c 1759s | 25 | 5661731 | 5570298 | 817 14433 | 0 | 0 1761.49/1762.00 c 1761s | 25 | 5668422 | 5576898 | 817 14446 | 0 | 0 1763.49/1764.01 c 1763s | 25 | 5674984 | 5583398 | 817 14460 | 0 | 0 1765.49/1766.03 c 1766s | 25 | 5681459 | 5589798 | 817 14473 | 0 | 0 1767.49/1768.04 c 1768s | 25 | 5688041 | 5596298 | 817 14486 | 0 | 0 1769.49/1770.05 c 1770s | 25 | 5694487 | 5602698 | 817 14499 | 0 | 0 1771.48/1772.05 c 1772s | 25 | 5700835 | 5608998 | 817 14512 | 0 | 0 1773.48/1774.06 c 1774s | 25 | 5707180 | 5615298 | 817 14525 | 0 | 0 1775.48/1776.07 c 1776s | 25 | 5713421 | 5621498 | 817 14538 | 0 | 0 1777.48/1778.07 c 1778s | 25 | 5719679 | 5627698 | 817 14550 | 0 | 0 1779.48/1780.08 c 1780s | 25 | 5726109 | 5634098 | 817 14564 | 0 | 0 1781.59/1782.11 c 1782s | 25 | 5732582 | 5640498 | 817 14577 | 0 | 0 1783.58/1784.12 c 1784s | 25 | 5738727 | 5646598 | 817 14589 | 0 | 0 1785.58/1786.15 c 1786s | 25 | 5745070 | 5652898 | 817 14602 | 0 | 0 1787.58/1788.16 c 1788s | 25 | 5751430 | 5659198 | 817 14615 | 0 | 0 1789.58/1790.19 c 1790s | 25 | 5757905 | 5665598 | 817 14628 | 0 | 0 1791.68/1792.22 c 1792s | 25 | 5764449 | 5672098 | 817 14642 | 0 | 0 1793.69/1794.24 c 1794s | 25 | 5770841 | 5678398 | 817 14655 | 0 | 0 1795.69/1796.24 c 1796s | 25 | 5777087 | 5684598 | 817 14667 | 0 | 0 1797.69/1798.25 c 1798s | 25 | 5783526 | 5690998 | 817 14680 | 0 | 0 1799.69/1800.26 c 1800s | 25 | 5789909 | 5697298 | 817 14693 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4105569-1466250797/watcher-4105569-1466250797 -o /tmp/evaluation-result-4105569-1466250797/solver-4105569-1466250797 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105569-1466250797.opb pid=5529 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.18 2.11 3/179 5532 /proc/meminfo: memFree=30185012/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=524732 CPUtime=0 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 1924 0 0 0 0 0 0 0 20 0 4 0 27129814 537325568 2284 33554432000 4194304 16246674 140735517666528 140735517665952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 131951 2294 441 2943 0 128845 0 [pid=5532/tid=5533] ppid=5529 vsize=568764 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 582414336 2456 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=573884 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 587657216 2475 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=577980 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 591851520 2492 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100218 s] /proc/loadavg: 2.22 2.18 2.11 3/179 5532 /proc/meminfo: memFree=30185012/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 20536 0 0 0 6 2 0 0 20 0 4 0 27129814 1247350784 20883 33554432000 4194304 16246674 140735517666528 140735517665952 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 304529 20887 769 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 20896 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 20902 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 20905 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.20052 s] /proc/loadavg: 2.22 2.18 2.11 3/179 5532 /proc/meminfo: memFree=30185012/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 37645 0 0 0 15 4 0 0 20 0 4 0 27129814 1247350784 37993 33554432000 4194304 16246674 140735517666528 140735517665952 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 304529 38011 769 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 38019 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 38025 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 38025 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300481 s] /proc/loadavg: 2.22 2.18 2.11 3/179 5532 /proc/meminfo: memFree=30185012/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 54890 0 0 0 22 7 0 0 20 0 4 0 27129814 1247350784 55238 33554432000 4194304 16246674 140735517666528 140735517665952 12461845 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 304529 55248 769 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 55253 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 55256 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 55261 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700402 s] /proc/loadavg: 2.22 2.18 2.11 3/179 5532 /proc/meminfo: memFree=30185012/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 125166 0 0 0 52 16 0 0 20 0 4 0 27129814 1247350784 125514 33554432000 4194304 16246674 140735517666528 140735517648448 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 304529 125522 769 2943 0 301423 0 [pid=5532/tid=5533] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 125531 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 125539 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1247350784 125543 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.22 2.18 2.11 3/183 5536 /proc/meminfo: memFree=29390100/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1219140 CPUtime=1.48 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 245788 0 0 0 116 32 0 0 20 0 4 0 27129814 1248399360 246113 33554432000 4194304 16246674 140735517666528 140735517665840 13191293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 304785 246113 833 2943 0 301679 0 [pid=5532/tid=5533] ppid=5529 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1248399360 246113 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1248399360 246113 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1248399360 246113 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.1004 s] /proc/loadavg: 2.20 2.18 2.11 3/183 5536 /proc/meminfo: memFree=29169488/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1306180 CPUtime=3.08 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 267493 0 0 0 273 35 0 0 20 0 4 0 27129814 1337528320 267818 33554432000 4194304 16246674 140735517666528 140735517648448 6011022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 326545 267818 833 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267818 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267818 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267818 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.20 2.18 2.11 3/183 5536 /proc/meminfo: memFree=29114480/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 267494 0 0 0 593 35 0 0 20 0 4 0 27129814 1337528320 267819 33554432000 4194304 16246674 140735517666528 140735517648448 5711972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 326545 267819 833 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267819 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267819 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267819 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.17 2.17 2.10 3/183 5536 /proc/meminfo: memFree=29114576/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 267509 0 0 0 1233 36 0 0 20 0 4 0 27129814 1337528320 267834 33554432000 4194304 16246674 140735517666528 140735517649528 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 326545 267834 833 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267834 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267834 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267834 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.22 2.18 2.11 3/183 5536 /proc/meminfo: memFree=29114332/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1306180 CPUtime=25.49 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 267581 0 0 0 2513 36 0 0 20 0 4 0 27129814 1337528320 267906 33554432000 4194304 16246674 140735517666528 140735517648448 13191794 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 326545 267906 833 2943 0 323439 0 [pid=5532/tid=5533] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267906 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267906 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1337528320 267906 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.21 2.18 2.11 3/183 5536 /proc/meminfo: memFree=29114060/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 267638 0 0 0 5072 36 0 0 20 0 4 0 27129814 1338576896 267963 33554432000 4194304 16246674 140735517666528 140735517648448 12483168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 326801 267963 835 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1338576896 267963 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1338576896 267963 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1338576896 267963 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.12 2.16 2.10 3/183 5537 /proc/meminfo: memFree=29113320/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1307204 CPUtime=102.28 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 267774 0 0 0 10191 37 0 0 20 0 4 0 27129814 1338576896 268099 33554432000 4194304 16246674 140735517666528 140735517648448 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 326801 268099 835 2943 0 323695 0 [pid=5532/tid=5533] ppid=5529 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1338576896 268099 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1338576896 268099 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1338576896 268099 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1308228 [startup+1302.3 s] /proc/loadavg: 2.14 2.10 2.09 3/183 5590 /proc/meminfo: memFree=29109284/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1301.88 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268398 0 0 0 130138 50 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 140735517648448 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268576 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1308228 [startup+1362.3 s] /proc/loadavg: 2.23 2.12 2.09 3/183 5639 /proc/meminfo: memFree=29108828/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1361.84 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268433 0 0 0 136134 50 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 140735517648448 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268576 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1308228 [startup+1422.3 s] /proc/loadavg: 2.18 2.13 2.09 3/183 5640 /proc/meminfo: memFree=29108128/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1421.85 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268433 0 0 0 142134 51 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 140735517648448 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268576 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1308228 [startup+1482.3 s] /proc/loadavg: 2.25 2.15 2.10 3/183 5641 /proc/meminfo: memFree=29107668/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1481.83 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268433 0 0 0 148132 51 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 140735517648448 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268576 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1308228 [startup+1542.31 s] /proc/loadavg: 2.19 2.15 2.10 3/183 5643 /proc/meminfo: memFree=29107724/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1541.83 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268433 0 0 0 154131 52 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 140735517648448 5545876 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268576 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1308228 [startup+1602.3 s] /proc/loadavg: 2.17 2.15 2.10 3/183 5644 /proc/meminfo: memFree=29107100/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1601.81 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268433 0 0 0 160129 52 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 140735517648448 5546015 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268576 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268576 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1308228 [startup+1662.3 s] /proc/loadavg: 2.11 2.14 2.09 3/184 5648 /proc/meminfo: memFree=29107032/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1661.8 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268536 0 0 0 166127 53 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 140735517648448 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268679 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1308228 [startup+1722.3 s] /proc/loadavg: 2.08 2.12 2.09 3/183 5649 /proc/meminfo: memFree=29106940/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1721.79 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268536 0 0 0 172126 53 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 140735517648448 12474881 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268679 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1308228 [startup+1782.3 s] /proc/loadavg: 2.18 2.14 2.10 3/183 5650 /proc/meminfo: memFree=29106600/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1308228 CPUtime=1781.78 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268536 0 0 0 178124 54 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 140735517648448 12415676 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327057 268679 837 2943 0 323951 0 [pid=5532/tid=5533] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1339625472 268679 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1308228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.14 2.14 2.09 3/183 5651 /proc/meminfo: memFree=29105828/32872528 swapFree=526336/559040 [pid=5532] ppid=5529 vsize=1309252 CPUtime=1800.09 cores=0,2,4,6 /proc/5532/stat : 5532 (toysat) R 5529 5532 28898 0 -1 4202496 268595 0 0 0 179954 55 0 0 20 0 4 0 27129814 1340674048 268738 33554432000 4194304 16246674 140735517666528 140735517648448 12415751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5532/statm: 327313 268738 837 2943 0 324207 0 [pid=5532/tid=5533] ppid=5529 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5533/stat : 5533 (toysat) S 5529 5532 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27129814 1340674048 268738 33554432000 4194304 16246674 140735517666528 139729642171632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5532/tid=5534] ppid=5529 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5534/stat : 5534 (toysat) S 5529 5532 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27129814 1340674048 268738 33554432000 4194304 16246674 140735517666528 139729631681776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5532/tid=5535] ppid=5529 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/5532/task/5535/stat : 5535 (toysat) S 5529 5532 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27129814 1340674048 268738 33554432000 4194304 16246674 140735517666528 139729513213104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1309252 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 5532 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.55 CPU system time (s): 0.550916 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 1309252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.550916 maximum resident set size= 1074952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268595 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= 451 involuntary context switches= 2100 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.76527 second user time and 6.76297 second system time The end
Begin job on node106 at 2016-06-18 13:53:17 IDJOB=4105569 IDBENCH=2904 IDSOLVER=2542 FILE ID=node106/4105569-1466250797 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105569-1466250797/watcher-4105569-1466250797 -o /tmp/evaluation-result-4105569-1466250797/solver-4105569-1466250797 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105569-1466250797.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED=926149912 node106.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 : 2667.073 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 : 5334.14 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 : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.56 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 : 2667.073 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 : 2667.073 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.56 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 : 2667.073 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.38 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 : 2667.073 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: 30185896 kB Buffers: 95584 kB Cached: 212496 kB SwapCached: 1868 kB Active: 1164232 kB Inactive: 217484 kB Active(anon): 1072940 kB Inactive(anon): 3048 kB Active(file): 91292 kB Inactive(file): 214436 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16344 kB Writeback: 0 kB AnonPages: 1634504 kB Mapped: 10420 kB Shmem: 0 kB Slab: 612108 kB SReclaimable: 55800 kB SUnreclaim: 556308 kB KernelStack: 1504 kB PageTables: 6932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1775892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71668 MiB End job on node106 at 2016-06-18 14:23:18