| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
| MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1531 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5104 |
| 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-18T14:15:10+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-4105593-1466252110.opb"] 0.00/0.01 c use --random-gen="2000714919 855973931 4122723745 2082190708 2054334781 3315065619 115522067 3897528311 711392378 1130929485 1725952310 666617284 3517279234 2935629861 1979799423 2668870713 2268144184 2862388024 81969512 477444834 1231194319 3885266248 3888067377 1753756828 3196935130 2782503084 1880779241 4097978679 3412105252 4041290235 2277729681 2700530020 2364245760 4193000897 1129978750 934430652 161623916 3937165350 249866439 234124226 3314827741 1835690680 2338276500 960791020 2457476338 3768899565 1137417680 3430127599 2434306539 373514179 1969148949 3500782698 413799712 2518696925 3199688429 1673410132 2240014743 1317496017 1728047028 1376841591 1222128776 3061769148 1250095144 2072746969 822441981 2820329345 164032548 4256064756 2297464502 897771133 399962095 1014300035 4194697906 2965438115 2488899336 1427419761 462525825 2380697115 1602060404 3828448875 284817140 2606851179 1151247249 1546789590 2412144158 3177234634 3120662608 4285370500 927851105 344051104 2202101696 609780845 2806242611 2820449220 1754165628 953352124 4203283360 3807922598 3642435205 3206553025 1368559992 1536529318 786791591 1768605746 123624046 897595373 1971031091 2037936727 1272316230 1428093536 3803213695 1778658745 368617363 3250641525 3968479271 2037056413 365104040 2486353091 740099663 2627479307 3098872189 1050927418 1953151543 872217460 3740502287 1216512345 1237386264 537041398 2251142857 366751274 2570804224 276894526 2263087537 824560830 1564217335 1549344255 1273789079 2032016904 434401280 2463000536 3588484553 3521181580 1287289612 1572774115 2359471136 1958839098 248495864 4155458546 2884843904 1148487871 3530713947 668978440 2814129750 2226835937 1365175268 705657474 2732921305 2359358035 1009898196 887719561 1710168937 1880364761 930633370 1165259969 4219205808 1159483807 898053010 808388145 3547255503 3395243772 3741437 545403335 2790731640 89911894 1998179863 3174919921 3772414811 3103216087 3014161871 3972967009 1827265737 690901541 284454065 255943792 1088090731 3697279522 1075842021 1655156640 1076502440 1661883484 789824918 4131697021 1567009241 3077091864 2130515726 1392004050 501053902 1206264834 954388967 1512834251 3790846236 1721962212 4243158794 1470857744 2760328086 2106488142 1365068405 2040002242 1584531091 4053701192 2209306910 3843074005 4027880178 3139797563 1267417324 3461078770 4170583265 120900225 243128122 2896063687 326770614 3441502008 1593214385 2452742138 610489860 223181321 492969869 3390641427 265774229 3970878725 1771239157 2840851394 2197044095 3770926344 1344743166 2506478949 3317207803 2337686373 2161931830 2714134153 1037122738 398892926 3748789112 873341856 3600354580 3077098139 3271779362 4024053375 1638491334 2569638849 606758591 3021582628 1514948693 895624441 129708524 2958077472 255 362436" option to reproduce the execution 0.00/0.01 c #vars 172 0.00/0.01 c #constraints 14 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 62 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 76 | 0 | 62 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 = 76 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 2405 0.00/0.02 c BCD2: updating upper bound: 3570 -> 2404 0.00/0.02 c BCD2: 0 <= obj <= 2404 0.00/0.02 c BCD2: #cores=0, #unrelaxed=112, #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 | 62 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 257 | 100 | 62 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 551 | 250 | 69 1 | 0 | 0 0.09/0.19 c 0.2s | 3 | 920 | 475 | 76 4 | 0 | 0 0.29/0.31 c 0.3s | 4 | 1404 | 813 | 84 8 | 0 | 0 0.49/0.50 c 0.5s | 5 | 2063 | 1320 | 93 12 | 0 | 0 0.69/0.76 c 0.7s | 6 | 2981 | 2081 | 114 19 | 0 | 0 1.10/1.18 c 1.2s | 7 | 4310 | 3223 | 126 28 | 0 | 0 1.59/1.61 c 1.6s | 8 | 6192 | 4936 | 139 41 | 0 | 0 2.19/2.24 c 2.2s | 9 | 8938 | 7506 | 153 59 | 0 | 0 2.99/3.09 c 3.1s | 10 | 12975 | 11361 | 169 86 | 0 | 0 4.39/4.41 c 4.4s | 11 | 19003 | 17144 | 186 124 | 0 | 0 6.39/6.43 c 6.4s | 11 | 27693 | 25644 | 186 177 | 0 | 0 6.39/6.46 c 6.4s | 12 | 27869 | 25819 | 205 178 | 0 | 0 8.38/8.47 c 8.5s | 12 | 36702 | 34419 | 205 228 | 0 | 0 9.48/9.55 c 9.5s | 13 | 41131 | 38832 | 226 254 | 0 | 0 11.49/11.55 c 11.5s | 13 | 50239 | 47732 | 226 303 | 0 | 0 13.49/13.57 c 13.6s | 13 | 58834 | 56232 | 226 350 | 0 | 0 13.99/14.07 c 14.1s | 14 | 60963 | 58352 | 249 362 | 0 | 0 15.99/16.08 c 16.1s | 14 | 69914 | 67052 | 249 407 | 0 | 0 17.99/18.09 c 18.1s | 14 | 78560 | 75552 | 249 452 | 0 | 0 20.09/20.10 c 20.1s | 14 | 86946 | 83852 | 249 495 | 0 | 0 21.00/21.02 c 21.0s | 15 | 90767 | 87632 | 274 515 | 0 | 0 22.99/23.04 c 23.0s | 15 | 99504 | 96032 | 274 556 | 0 | 0 24.99/25.05 c 25.0s | 15 | 108390 | 104732 | 274 598 | 0 | 0 26.99/27.06 c 27.0s | 15 | 116832 | 113032 | 274 638 | 0 | 0 28.99/29.08 c 29.1s | 15 | 125053 | 121132 | 274 678 | 0 | 0 30.99/31.09 c 31.1s | 15 | 133167 | 129132 | 274 717 | 0 | 0 31.69/31.70 c 31.7s | 16 | 135612 | 131552 | 302 729 | 0 | 0 33.69/33.72 c 33.7s | 16 | 143668 | 139352 | 302 765 | 0 | 0 35.69/35.73 c 35.7s | 16 | 151896 | 147452 | 302 802 | 0 | 0 37.69/37.75 c 37.7s | 16 | 161017 | 156452 | 302 842 | 0 | 0 39.69/39.77 c 39.8s | 16 | 170053 | 165352 | 302 883 | 0 | 0 41.69/41.79 c 41.8s | 16 | 178954 | 174152 | 302 923 | 0 | 0 43.79/43.81 c 43.8s | 16 | 187371 | 182452 | 302 960 | 0 | 0 45.78/45.83 c 45.8s | 16 | 195571 | 190552 | 302 997 | 0 | 0 47.48/47.56 c 47.5s | 17 | 202545 | 197432 | 333 1028 | 0 | 0 49.49/49.58 c 49.6s | 17 | 211232 | 205832 | 333 1064 | 0 | 0 51.48/51.58 c 51.6s | 17 | 219505 | 213932 | 333 1098 | 0 | 0 53.48/53.58 c 53.6s | 17 | 227866 | 222132 | 333 1134 | 0 | 0 55.48/55.59 c 55.6s | 17 | 236214 | 230232 | 333 1169 | 0 | 0 57.58/57.60 c 57.6s | 17 | 244285 | 238132 | 333 1203 | 0 | 0 59.58/59.60 c 59.6s | 17 | 252179 | 245932 | 333 1236 | 0 | 0 61.59/61.61 c 61.6s | 17 | 260265 | 253832 | 333 1271 | 0 | 0 63.58/63.63 c 63.6s | 17 | 269079 | 262432 | 333 1307 | 0 | 0 65.58/65.66 c 65.6s | 17 | 277289 | 270532 | 333 1342 | 0 | 0 67.58/67.66 c 67.6s | 17 | 285581 | 278632 | 333 1377 | 0 | 0 69.58/69.68 c 69.7s | 17 | 293306 | 286232 | 333 1410 | 0 | 0 71.58/71.69 c 71.7s | 17 | 301613 | 294332 | 367 1444 | 0 | 0 71.98/72.10 c 72.1s | 18 | 303597 | 296252 | 367 1452 | 0 | 0 74.08/74.11 c 74.1s | 18 | 312144 | 304552 | 367 1485 | 0 | 0 76.08/76.12 c 76.1s | 18 | 321108 | 313452 | 367 1520 | 0 | 0 78.08/78.13 c 78.1s | 18 | 329464 | 321752 | 367 1553 | 0 | 0 80.08/80.15 c 80.1s | 18 | 338152 | 330352 | 367 1587 | 0 | 0 82.07/82.16 c 82.1s | 18 | 346590 | 338652 | 367 1620 | 0 | 0 84.07/84.17 c 84.2s | 18 | 354694 | 346652 | 367 1652 | 0 | 0 86.07/86.19 c 86.2s | 18 | 362942 | 354852 | 367 1684 | 0 | 0 88.17/88.20 c 88.2s | 18 | 371009 | 362852 | 367 1716 | 0 | 0 90.17/90.22 c 90.2s | 18 | 379198 | 370952 | 367 1749 | 0 | 0 92.17/92.24 c 92.2s | 18 | 388643 | 380152 | 367 1785 | 0 | 0 94.17/94.25 c 94.2s | 18 | 397227 | 388552 | 367 1819 | 0 | 0 96.17/96.26 c 96.2s | 18 | 405654 | 396852 | 367 1852 | 0 | 0 98.17/98.27 c 98.3s | 18 | 414049 | 405052 | 367 1885 | 0 | 0 100.17/100.28 c 100s | 18 | 422238 | 413152 | 367 1917 | 0 | 0 102.16/102.30 c 102s | 18 | 430291 | 421052 | 367 1949 | 0 | 0 104.26/104.30 c 104s | 18 | 438210 | 428852 | 367 1980 | 0 | 0 106.26/106.31 c 106s | 18 | 446088 | 436652 | 367 2011 | 0 | 0 108.26/108.32 c 108s | 18 | 453786 | 444252 | 404 2041 | 0 | 0 108.26/108.38 c 108s | 19 | 454018 | 444482 | 404 2042 | 0 | 0 110.37/110.40 c 110s | 19 | 462098 | 452282 | 404 2071 | 0 | 0 112.37/112.42 c 112s | 19 | 470117 | 460182 | 404 2100 | 0 | 0 114.38/114.44 c 114s | 19 | 478103 | 468082 | 404 2130 | 0 | 0 116.37/116.45 c 116s | 19 | 486092 | 475982 | 404 2159 | 0 | 0 118.37/118.46 c 118s | 19 | 493873 | 483682 | 404 2187 | 0 | 0 120.37/120.47 c 120s | 19 | 501852 | 491582 | 404 2217 | 0 | 0 122.37/122.49 c 122s | 19 | 509634 | 499282 | 404 2246 | 0 | 0 124.37/124.49 c 124s | 19 | 517427 | 506982 | 404 2274 | 0 | 0 126.37/126.50 c 126s | 19 | 524987 | 514482 | 404 2303 | 0 | 0 128.47/128.50 c 128s | 19 | 533938 | 523382 | 404 2335 | 0 | 0 130.47/130.52 c 130s | 19 | 542527 | 531882 | 404 2366 | 0 | 0 132.46/132.53 c 132s | 19 | 550708 | 539982 | 404 2396 | 0 | 0 134.46/134.53 c 134s | 19 | 558897 | 548082 | 404 2426 | 0 | 0 136.47/136.53 c 136s | 19 | 566815 | 555882 | 404 2455 | 0 | 0 138.46/138.54 c 138s | 19 | 574839 | 563782 | 404 2485 | 0 | 0 140.46/140.57 c 140s | 19 | 582787 | 571582 | 404 2514 | 0 | 0 142.46/142.57 c 142s | 19 | 590947 | 579582 | 404 2543 | 0 | 0 144.46/144.59 c 144s | 19 | 598984 | 587482 | 404 2573 | 0 | 0 146.56/146.61 c 146s | 19 | 607156 | 595482 | 404 2602 | 0 | 0 148.56/148.62 c 148s | 19 | 616751 | 604882 | 404 2637 | 0 | 0 150.56/150.62 c 150s | 19 | 625466 | 613482 | 404 2669 | 0 | 0 152.55/152.64 c 152s | 19 | 634018 | 621882 | 404 2700 | 0 | 0 154.55/154.65 c 154s | 19 | 642558 | 630282 | 404 2732 | 0 | 0 156.55/156.67 c 156s | 19 | 650878 | 638482 | 404 2762 | 0 | 0 158.55/158.69 c 158s | 19 | 659007 | 646482 | 404 2792 | 0 | 0 160.56/160.70 c 160s | 19 | 666736 | 654082 | 404 2821 | 0 | 0 162.65/162.72 c 162s | 19 | 674983 | 662182 | 445 2851 | 0 | 0 163.75/163.89 c 163s | 20 | 679712 | 666827 | 445 2867 | 0 | 0 165.85/165.90 c 165s | 20 | 687576 | 674327 | 445 2893 | 0 | 0 167.85/167.92 c 167s | 20 | 695398 | 682027 | 445 2919 | 0 | 0 169.85/169.93 c 169s | 20 | 703352 | 689827 | 445 2946 | 0 | 0 171.85/171.94 c 171s | 20 | 711360 | 697727 | 445 2974 | 0 | 0 173.86/173.97 c 173s | 20 | 719363 | 705627 | 445 3001 | 0 | 0 175.85/175.99 c 175s | 20 | 727431 | 713627 | 445 3028 | 0 | 0 177.95/178.01 c 177s | 20 | 735320 | 721427 | 445 3055 | 0 | 0 179.95/180.02 c 180s | 20 | 742771 | 728827 | 445 3081 | 0 | 0 181.95/182.02 c 182s | 20 | 750979 | 736827 | 445 3109 | 0 | 0 183.95/184.04 c 184s | 20 | 759397 | 745127 | 445 3138 | 0 | 0 185.95/186.06 c 186s | 20 | 767195 | 752827 | 445 3164 | 0 | 0 187.95/188.08 c 188s | 20 | 775182 | 760727 | 445 3192 | 0 | 0 189.95/190.08 c 190s | 20 | 782851 | 768227 | 445 3218 | 0 | 0 191.94/192.09 c 192s | 20 | 790501 | 775727 | 445 3244 | 0 | 0 194.04/194.10 c 194s | 20 | 797898 | 783027 | 445 3269 | 0 | 0 196.04/196.11 c 196s | 20 | 805391 | 790427 | 445 3295 | 0 | 0 198.05/198.13 c 198s | 20 | 813177 | 798127 | 445 3322 | 0 | 0 200.04/200.14 c 200s | 20 | 820970 | 805827 | 445 3349 | 0 | 0 202.03/202.15 c 202s | 20 | 828873 | 813627 | 445 3376 | 0 | 0 204.03/204.16 c 204s | 20 | 836794 | 821427 | 445 3403 | 0 | 0 206.03/206.18 c 206s | 20 | 844592 | 829127 | 445 3430 | 0 | 0 208.13/208.21 c 208s | 20 | 852465 | 836927 | 445 3458 | 0 | 0 210.14/210.21 c 210s | 20 | 860246 | 844627 | 445 3484 | 0 | 0 212.13/212.22 c 212s | 20 | 868251 | 852527 | 445 3512 | 0 | 0 214.13/214.25 c 214s | 20 | 877298 | 861427 | 445 3542 | 0 | 0 216.13/216.25 c 216s | 20 | 885488 | 869527 | 445 3570 | 0 | 0 218.13/218.25 c 218s | 20 | 893458 | 877427 | 445 3597 | 0 | 0 220.12/220.28 c 220s | 20 | 901325 | 885227 | 445 3624 | 0 | 0 222.13/222.29 c 222s | 20 | 909202 | 893027 | 445 3651 | 0 | 0 224.22/224.30 c 224s | 20 | 916886 | 900627 | 445 3678 | 0 | 0 226.22/226.31 c 226s | 20 | 924889 | 908527 | 445 3705 | 0 | 0 228.22/228.33 c 228s | 20 | 932997 | 916527 | 445 3733 | 0 | 0 230.22/230.33 c 230s | 20 | 940479 | 923927 | 445 3759 | 0 | 0 232.23/232.33 c 232s | 20 | 948263 | 931627 | 445 3785 | 0 | 0 234.23/234.34 c 234s | 20 | 956029 | 939327 | 445 3812 | 0 | 0 236.23/236.36 c 236s | 20 | 963603 | 946827 | 445 3838 | 0 | 0 238.22/238.37 c 238s | 20 | 971094 | 954227 | 445 3864 | 0 | 0 240.22/240.39 c 240s | 20 | 978678 | 961727 | 445 3890 | 0 | 0 242.32/242.40 c 242s | 20 | 985928 | 968927 | 445 3915 | 0 | 0 244.32/244.41 c 244s | 20 | 993528 | 976427 | 445 3941 | 0 | 0 246.32/246.41 c 246s | 20 | 1000858 | 983727 | 445 3967 | 0 | 0 248.32/248.43 c 248s | 20 | 1008515 | 991327 | 445 3993 | 0 | 0 250.32/250.46 c 250s | 20 | 1015901 | 998627 | 490 4018 | 0 | 0 250.82/250.95 c 250s | 21 | 1017641 | 1000345 | 490 4023 | 0 | 0 252.81/252.96 c 252s | 21 | 1025382 | 1007845 | 490 4047 | 0 | 0 254.81/254.96 c 254s | 21 | 1033218 | 1015545 | 490 4072 | 0 | 0 256.81/256.96 c 256s | 21 | 1040945 | 1023145 | 490 4096 | 0 | 0 258.81/258.98 c 258s | 21 | 1048904 | 1030945 | 490 4121 | 0 | 0 260.91/261.00 c 260s | 21 | 1056416 | 1038345 | 490 4145 | 0 | 0 262.91/263.02 c 263s | 21 | 1064035 | 1045845 | 490 4169 | 0 | 0 264.91/265.04 c 265s | 21 | 1071347 | 1053045 | 490 4192 | 0 | 0 266.90/267.07 c 267s | 21 | 1078802 | 1060345 | 490 4215 | 0 | 0 268.90/269.08 c 269s | 21 | 1086606 | 1068045 | 490 4240 | 0 | 0 270.90/271.09 c 271s | 21 | 1094731 | 1076045 | 490 4265 | 0 | 0 272.90/273.09 c 273s | 21 | 1103102 | 1084245 | 490 4291 | 0 | 0 275.01/275.11 c 275s | 21 | 1111449 | 1092445 | 490 4318 | 0 | 0 277.00/277.13 c 277s | 21 | 1119804 | 1100645 | 490 4344 | 0 | 0 279.00/279.14 c 279s | 21 | 1128005 | 1108745 | 490 4369 | 0 | 0 281.00/281.15 c 281s | 21 | 1135772 | 1116445 | 490 4394 | 0 | 0 283.00/283.15 c 283s | 21 | 1143741 | 1124345 | 490 4419 | 0 | 0 285.00/285.16 c 285s | 21 | 1151798 | 1132245 | 490 4445 | 0 | 0 287.00/287.17 c 287s | 21 | 1159766 | 1140045 | 490 4470 | 0 | 0 289.00/289.19 c 289s | 21 | 1167735 | 1147845 | 490 4494 | 0 | 0 290.99/291.19 c 291s | 21 | 1175500 | 1155445 | 490 4519 | 0 | 0 293.09/293.20 c 293s | 21 | 1183566 | 1163345 | 490 4544 | 0 | 0 295.09/295.21 c 295s | 21 | 1191848 | 1171545 | 490 4570 | 0 | 0 297.09/297.22 c 297s | 21 | 1199771 | 1179345 | 490 4595 | 0 | 0 299.10/299.24 c 299s | 21 | 1207567 | 1187045 | 490 4620 | 0 | 0 301.09/301.24 c 301s | 21 | 1215588 | 1194945 | 490 4645 | 0 | 0 303.09/303.24 c 303s | 21 | 1223710 | 1202945 | 490 4671 | 0 | 0 305.09/305.26 c 305s | 21 | 1231416 | 1210545 | 490 4695 | 0 | 0 307.09/307.27 c 307s | 21 | 1239073 | 1218045 | 490 4719 | 0 | 0 309.09/309.28 c 309s | 21 | 1246459 | 1225345 | 490 4743 | 0 | 0 311.08/311.29 c 311s | 21 | 1254130 | 1232945 | 490 4767 | 0 | 0 313.09/313.30 c 313s | 21 | 1261841 | 1240545 | 490 4792 | 0 | 0 315.19/315.31 c 315s | 21 | 1269540 | 1248145 | 490 4816 | 0 | 0 317.19/317.31 c 317s | 21 | 1277398 | 1255845 | 490 4841 | 0 | 0 319.19/319.33 c 319s | 21 | 1285040 | 1263345 | 490 4865 | 0 | 0 321.19/321.34 c 321s | 21 | 1292662 | 1270845 | 490 4889 | 0 | 0 323.18/323.34 c 323s | 21 | 1299943 | 1278045 | 490 4912 | 0 | 0 325.18/325.34 c 325s | 21 | 1307428 | 1285445 | 490 4936 | 0 | 0 327.18/327.37 c 327s | 21 | 1314916 | 1292845 | 490 4960 | 0 | 0 329.18/329.39 c 329s | 21 | 1322414 | 1300245 | 490 4983 | 0 | 0 331.18/331.39 c 331s | 21 | 1329888 | 1307645 | 490 5007 | 0 | 0 333.29/333.40 c 333s | 21 | 1337311 | 1314945 | 490 5031 | 0 | 0 335.28/335.41 c 335s | 21 | 1344866 | 1322345 | 490 5055 | 0 | 0 337.28/337.42 c 337s | 21 | 1352371 | 1329745 | 490 5079 | 0 | 0 339.28/339.43 c 339s | 21 | 1360738 | 1337945 | 490 5105 | 0 | 0 341.28/341.45 c 341s | 21 | 1368600 | 1345645 | 490 5129 | 0 | 0 343.28/343.46 c 343s | 21 | 1376506 | 1353445 | 490 5154 | 0 | 0 345.28/345.46 c 345s | 21 | 1384527 | 1361345 | 490 5180 | 0 | 0 347.28/347.47 c 347s | 21 | 1392320 | 1369045 | 490 5204 | 0 | 0 349.27/349.48 c 349s | 21 | 1399823 | 1376445 | 490 5228 | 0 | 0 351.27/351.50 c 351s | 21 | 1407437 | 1383945 | 490 5252 | 0 | 0 353.37/353.51 c 353s | 21 | 1415330 | 1391745 | 490 5278 | 0 | 0 355.37/355.52 c 355s | 21 | 1423514 | 1399845 | 490 5304 | 0 | 0 357.38/357.53 c 357s | 21 | 1431646 | 1407845 | 490 5329 | 0 | 0 359.37/359.54 c 359s | 21 | 1439392 | 1415445 | 490 5354 | 0 | 0 361.37/361.56 c 361s | 21 | 1447225 | 1423145 | 490 5378 | 0 | 0 363.36/363.56 c 363s | 21 | 1455395 | 1431145 | 490 5404 | 0 | 0 365.36/365.57 c 365s | 21 | 1463132 | 1438745 | 490 5429 | 0 | 0 367.37/367.60 c 367s | 21 | 1471041 | 1446545 | 490 5454 | 0 | 0 369.36/369.60 c 369s | 21 | 1479538 | 1454945 | 490 5480 | 0 | 0 371.46/371.61 c 371s | 21 | 1487629 | 1462945 | 490 5506 | 0 | 0 373.46/373.61 c 373s | 21 | 1495625 | 1470845 | 490 5531 | 0 | 0 375.46/375.64 c 375s | 21 | 1503414 | 1478545 | 490 5556 | 0 | 0 377.46/377.64 c 377s | 21 | 1511030 | 1486045 | 490 5580 | 0 | 0 379.47/379.65 c 379s | 21 | 1518960 | 1493845 | 539 5604 | 0 | 0 381.26/381.47 c 381s | 22 | 1525892 | 1500622 | 539 5624 | 0 | 0 383.26/383.49 c 383s | 22 | 1533833 | 1508322 | 539 5647 | 0 | 0 385.36/385.51 c 385s | 22 | 1541628 | 1516022 | 539 5670 | 0 | 0 387.36/387.52 c 387s | 22 | 1549736 | 1524022 | 539 5694 | 0 | 0 389.36/389.52 c 389s | 22 | 1557808 | 1532022 | 539 5717 | 0 | 0 391.35/391.54 c 391s | 22 | 1565520 | 1539622 | 539 5740 | 0 | 0 393.35/393.55 c 393s | 22 | 1572713 | 1546722 | 539 5761 | 0 | 0 395.35/395.58 c 395s | 22 | 1580085 | 1554022 | 539 5783 | 0 | 0 397.45/397.60 c 397s | 22 | 1587285 | 1561122 | 539 5804 | 0 | 0 399.45/399.60 c 399s | 22 | 1595465 | 1569122 | 539 5827 | 0 | 0 401.46/401.62 c 401s | 22 | 1603091 | 1576622 | 539 5849 | 0 | 0 403.45/403.62 c 403s | 22 | 1610623 | 1584022 | 539 5871 | 0 | 0 405.45/405.64 c 405s | 22 | 1618936 | 1592222 | 539 5896 | 0 | 0 407.45/407.65 c 407s | 22 | 1626665 | 1599822 | 539 5918 | 0 | 0 409.45/409.68 c 409s | 22 | 1633864 | 1606922 | 539 5939 | 0 | 0 411.55/411.70 c 411s | 22 | 1641278 | 1614222 | 539 5961 | 0 | 0 413.55/413.71 c 413s | 22 | 1648594 | 1621422 | 539 5982 | 0 | 0 415.55/415.72 c 415s | 22 | 1655998 | 1628722 | 539 6004 | 0 | 0 417.55/417.74 c 417s | 22 | 1663408 | 1636022 | 539 6026 | 0 | 0 419.55/419.76 c 419s | 22 | 1670505 | 1643022 | 539 6047 | 0 | 0 421.54/421.77 c 421s | 22 | 1677624 | 1650022 | 539 6068 | 0 | 0 423.54/423.77 c 423s | 22 | 1685326 | 1657622 | 539 6090 | 0 | 0 425.55/425.80 c 425s | 22 | 1692757 | 1664922 | 539 6112 | 0 | 0 427.65/427.81 c 427s | 22 | 1699953 | 1672022 | 539 6134 | 0 | 0 429.65/429.82 c 429s | 22 | 1707545 | 1679522 | 539 6156 | 0 | 0 431.64/431.83 c 431s | 22 | 1714941 | 1686822 | 539 6178 | 0 | 0 433.64/433.84 c 433s | 22 | 1722109 | 1693922 | 539 6199 | 0 | 0 435.64/435.85 c 435s | 22 | 1729781 | 1701522 | 539 6222 | 0 | 0 437.65/437.86 c 437s | 22 | 1737658 | 1709322 | 539 6245 | 0 | 0 439.64/439.86 c 439s | 22 | 1745637 | 1717222 | 539 6269 | 0 | 0 441.63/441.87 c 441s | 22 | 1753226 | 1724722 | 539 6291 | 0 | 0 443.63/443.88 c 443s | 22 | 1760522 | 1731922 | 539 6313 | 0 | 0 445.63/445.88 c 445s | 22 | 1767589 | 1738922 | 539 6334 | 0 | 0 447.73/447.90 c 447s | 22 | 1775199 | 1746422 | 539 6356 | 0 | 0 449.74/449.91 c 449s | 22 | 1782998 | 1754122 | 539 6379 | 0 | 0 451.73/451.93 c 451s | 22 | 1791537 | 1762522 | 539 6404 | 0 | 0 453.73/453.95 c 453s | 22 | 1799552 | 1770422 | 539 6427 | 0 | 0 455.73/455.96 c 455s | 22 | 1807371 | 1778122 | 539 6450 | 0 | 0 457.73/457.96 c 457s | 22 | 1815058 | 1785722 | 539 6473 | 0 | 0 459.73/459.98 c 459s | 22 | 1822714 | 1793222 | 539 6495 | 0 | 0 461.72/461.99 c 461s | 22 | 1830151 | 1800522 | 539 6517 | 0 | 0 463.82/464.01 c 463s | 22 | 1837291 | 1807522 | 539 6538 | 0 | 0 465.82/466.03 c 466s | 22 | 1844629 | 1814722 | 539 6559 | 0 | 0 467.82/468.06 c 468s | 22 | 1852052 | 1822022 | 539 6581 | 0 | 0 469.82/470.08 c 470s | 22 | 1859646 | 1829522 | 539 6603 | 0 | 0 471.91/472.10 c 472s | 22 | 1866994 | 1836722 | 539 6624 | 0 | 0 473.81/474.10 c 474s | 22 | 1874076 | 1843722 | 539 6645 | 0 | 0 475.91/476.11 c 476s | 22 | 1881374 | 1850922 | 539 6667 | 0 | 0 477.91/478.12 c 478s | 22 | 1889763 | 1859222 | 539 6691 | 0 | 0 479.92/480.13 c 480s | 22 | 1897538 | 1866922 | 539 6714 | 0 | 0 481.91/482.13 c 482s | 22 | 1904996 | 1874322 | 539 6736 | 0 | 0 483.92/484.15 c 484s | 22 | 1912291 | 1881522 | 539 6758 | 0 | 0 485.91/486.15 c 486s | 22 | 1919499 | 1888622 | 539 6779 | 0 | 0 487.91/488.18 c 488s | 22 | 1926851 | 1895822 | 539 6800 | 0 | 0 490.01/490.20 c 490s | 22 | 1934339 | 1903122 | 539 6822 | 0 | 0 492.01/492.22 c 492s | 22 | 1941694 | 1910322 | 539 6844 | 0 | 0 494.01/494.23 c 494s | 22 | 1948930 | 1917422 | 539 6865 | 0 | 0 496.02/496.25 c 496s | 22 | 1956321 | 1924722 | 539 6886 | 0 | 0 498.01/498.27 c 498s | 22 | 1963852 | 1932122 | 539 6909 | 0 | 0 500.11/500.30 c 500s | 22 | 1971371 | 1939522 | 539 6931 | 0 | 0 502.11/502.31 c 502s | 22 | 1978656 | 1946722 | 539 6952 | 0 | 0 504.11/504.33 c 504s | 22 | 1987174 | 1955122 | 539 6977 | 0 | 0 506.11/506.34 c 506s | 22 | 1995271 | 1963122 | 539 7001 | 0 | 0 508.11/508.35 c 508s | 22 | 2003074 | 1970822 | 539 7024 | 0 | 0 510.10/510.35 c 510s | 22 | 2010722 | 1978322 | 539 7047 | 0 | 0 512.10/512.37 c 512s | 22 | 2018667 | 1986122 | 539 7070 | 0 | 0 514.10/514.38 c 514s | 22 | 2026323 | 1993622 | 539 7092 | 0 | 0 516.20/516.40 c 516s | 22 | 2033849 | 2001022 | 539 7114 | 0 | 0 518.20/518.40 c 518s | 22 | 2041294 | 2008322 | 539 7136 | 0 | 0 520.20/520.43 c 520s | 22 | 2048931 | 2015822 | 539 7159 | 0 | 0 522.19/522.45 c 522s | 22 | 2056367 | 2023122 | 539 7180 | 0 | 0 524.19/524.46 c 524s | 22 | 2063974 | 2030522 | 539 7203 | 0 | 0 526.19/526.49 c 526s | 22 | 2071774 | 2038122 | 539 7225 | 0 | 0 528.19/528.49 c 528s | 22 | 2079460 | 2045622 | 539 7248 | 0 | 0 530.29/530.50 c 530s | 22 | 2087042 | 2053022 | 539 7270 | 0 | 0 532.29/532.53 c 532s | 22 | 2094608 | 2060422 | 539 7292 | 0 | 0 534.28/534.54 c 534s | 22 | 2102148 | 2067722 | 539 7314 | 0 | 0 536.28/536.57 c 536s | 22 | 2109796 | 2075222 | 539 7336 | 0 | 0 538.28/538.57 c 538s | 22 | 2117192 | 2082522 | 539 7358 | 0 | 0 540.28/540.57 c 540s | 22 | 2125219 | 2090422 | 539 7382 | 0 | 0 542.28/542.59 c 542s | 22 | 2133254 | 2098322 | 539 7405 | 0 | 0 544.40/544.62 c 544s | 22 | 2140805 | 2105722 | 539 7427 | 0 | 0 546.39/546.63 c 546s | 22 | 2148831 | 2113622 | 539 7451 | 0 | 0 548.39/548.64 c 548s | 22 | 2156566 | 2121222 | 539 7474 | 0 | 0 550.39/550.64 c 550s | 22 | 2163866 | 2128422 | 539 7495 | 0 | 0 552.38/552.65 c 552s | 22 | 2171342 | 2135722 | 539 7517 | 0 | 0 554.38/554.67 c 554s | 22 | 2178824 | 2143122 | 539 7539 | 0 | 0 556.39/556.69 c 556s | 22 | 2186122 | 2150322 | 539 7560 | 0 | 0 558.38/558.69 c 558s | 22 | 2193406 | 2157522 | 539 7582 | 0 | 0 560.38/560.69 c 560s | 22 | 2200735 | 2164722 | 539 7604 | 0 | 0 562.48/562.70 c 562s | 22 | 2208246 | 2172122 | 539 7626 | 0 | 0 564.48/564.73 c 564s | 22 | 2215438 | 2179222 | 539 7647 | 0 | 0 566.48/566.75 c 566s | 22 | 2223310 | 2187022 | 539 7670 | 0 | 0 568.48/568.75 c 568s | 22 | 2231087 | 2194722 | 539 7693 | 0 | 0 570.48/570.76 c 570s | 22 | 2238802 | 2202322 | 539 7716 | 0 | 0 572.47/572.76 c 572s | 22 | 2246417 | 2209822 | 539 7739 | 0 | 0 574.47/574.76 c 574s | 22 | 2254189 | 2217422 | 539 7761 | 0 | 0 576.47/576.76 c 576s | 22 | 2261922 | 2225022 | 539 7784 | 0 | 0 578.48/578.78 c 578s | 22 | 2269322 | 2232322 | 539 7806 | 0 | 0 580.58/580.81 c 580s | 22 | 2276611 | 2239522 | 593 7826 | 0 | 0 582.57/582.82 c 582s | 22 | 2283674 | 2246522 | 593 7846 | 0 | 0 583.87/584.13 c 584s | 23 | 2288256 | 2251038 | 593 7858 | 0 | 0 585.86/586.16 c 586s | 23 | 2296428 | 2258838 | 593 7880 | 0 | 0 587.86/588.18 c 588s | 23 | 2303976 | 2266238 | 593 7900 | 0 | 0 589.96/590.20 c 590s | 23 | 2311635 | 2273738 | 593 7921 | 0 | 0 591.96/592.20 c 592s | 23 | 2319184 | 2281138 | 593 7941 | 0 | 0 593.96/594.23 c 594s | 23 | 2326896 | 2288738 | 593 7962 | 0 | 0 595.96/596.23 c 596s | 23 | 2334935 | 2296638 | 593 7983 | 0 | 0 597.96/598.25 c 598s | 23 | 2343105 | 2304638 | 593 8005 | 0 | 0 599.96/600.27 c 600s | 23 | 2351418 | 2312738 | 593 8028 | 0 | 0 602.06/602.30 c 602s | 23 | 2359463 | 2320638 | 593 8050 | 0 | 0 604.06/604.32 c 604s | 23 | 2367361 | 2328338 | 593 8071 | 0 | 0 606.06/606.34 c 606s | 23 | 2375319 | 2336138 | 593 8092 | 0 | 0 608.07/608.35 c 608s | 23 | 2383243 | 2343938 | 593 8113 | 0 | 0 610.06/610.36 c 610s | 23 | 2390832 | 2351438 | 593 8134 | 0 | 0 612.05/612.37 c 612s | 23 | 2398553 | 2359038 | 593 8155 | 0 | 0 614.05/614.39 c 614s | 23 | 2406097 | 2366438 | 593 8175 | 0 | 0 616.15/616.40 c 616s | 23 | 2413417 | 2373638 | 593 8195 | 0 | 0 618.15/618.43 c 618s | 23 | 2420827 | 2380938 | 593 8216 | 0 | 0 620.16/620.45 c 620s | 23 | 2428339 | 2388338 | 593 8236 | 0 | 0 622.15/622.46 c 622s | 23 | 2435635 | 2395538 | 593 8256 | 0 | 0 624.15/624.48 c 624s | 23 | 2443402 | 2403138 | 593 8277 | 0 | 0 626.25/626.50 c 626s | 23 | 2451079 | 2410738 | 593 8298 | 0 | 0 628.25/628.52 c 628s | 23 | 2458667 | 2418238 | 593 8319 | 0 | 0 630.25/630.54 c 630s | 23 | 2466557 | 2425938 | 593 8340 | 0 | 0 632.25/632.55 c 632s | 23 | 2474216 | 2433438 | 593 8361 | 0 | 0 634.24/634.56 c 634s | 23 | 2481837 | 2440938 | 593 8381 | 0 | 0 636.24/636.58 c 636s | 23 | 2489353 | 2448338 | 593 8402 | 0 | 0 638.24/638.58 c 638s | 23 | 2497182 | 2456038 | 593 8423 | 0 | 0 640.24/640.59 c 640s | 23 | 2504893 | 2463538 | 593 8444 | 0 | 0 642.24/642.59 c 642s | 23 | 2512395 | 2470938 | 593 8464 | 0 | 0 644.34/644.62 c 644s | 23 | 2520063 | 2478538 | 593 8486 | 0 | 0 646.33/646.64 c 646s | 23 | 2527772 | 2486138 | 593 8506 | 0 | 0 648.33/648.64 c 648s | 23 | 2535605 | 2493838 | 593 8527 | 0 | 0 650.33/650.66 c 650s | 23 | 2543441 | 2501538 | 593 8549 | 0 | 0 652.33/652.66 c 652s | 23 | 2550970 | 2508938 | 593 8569 | 0 | 0 654.34/654.67 c 654s | 23 | 2558522 | 2516338 | 593 8589 | 0 | 0 656.33/656.69 c 656s | 23 | 2565904 | 2523638 | 593 8609 | 0 | 0 658.43/658.71 c 658s | 23 | 2573497 | 2531138 | 593 8630 | 0 | 0 660.43/660.71 c 660s | 23 | 2581295 | 2538838 | 593 8651 | 0 | 0 662.43/662.73 c 662s | 23 | 2588921 | 2546338 | 593 8672 | 0 | 0 664.43/664.74 c 664s | 23 | 2596439 | 2553738 | 593 8692 | 0 | 0 666.43/666.76 c 666s | 23 | 2603933 | 2561138 | 593 8712 | 0 | 0 668.43/668.78 c 668s | 23 | 2611370 | 2568438 | 593 8733 | 0 | 0 670.43/670.79 c 670s | 23 | 2618868 | 2575838 | 593 8753 | 0 | 0 672.53/672.80 c 672s | 23 | 2626292 | 2583138 | 593 8773 | 0 | 0 674.53/674.82 c 674s | 23 | 2633426 | 2590138 | 593 8793 | 0 | 0 676.53/676.84 c 676s | 23 | 2641030 | 2597638 | 593 8813 | 0 | 0 678.53/678.84 c 678s | 23 | 2648553 | 2605038 | 593 8833 | 0 | 0 680.53/680.86 c 680s | 23 | 2656066 | 2612438 | 593 8854 | 0 | 0 682.52/682.88 c 682s | 23 | 2663649 | 2619938 | 593 8874 | 0 | 0 684.52/684.89 c 684s | 23 | 2671015 | 2627238 | 593 8895 | 0 | 0 686.62/686.91 c 686s | 23 | 2678245 | 2634338 | 593 8914 | 0 | 0 688.62/688.92 c 688s | 23 | 2685674 | 2641638 | 593 8934 | 0 | 0 690.63/690.95 c 690s | 23 | 2692905 | 2648738 | 593 8954 | 0 | 0 692.61/692.96 c 692s | 23 | 2700736 | 2656438 | 593 8975 | 0 | 0 694.61/694.97 c 694s | 23 | 2708025 | 2663638 | 593 8995 | 0 | 0 696.61/696.98 c 696s | 23 | 2715340 | 2670838 | 593 9015 | 0 | 0 698.61/698.98 c 698s | 23 | 2722725 | 2678138 | 593 9036 | 0 | 0 700.71/701.00 c 700s | 23 | 2730001 | 2685338 | 593 9056 | 0 | 0 702.72/703.00 c 702s | 23 | 2737184 | 2692438 | 593 9076 | 0 | 0 704.71/705.01 c 704s | 23 | 2744777 | 2699938 | 593 9096 | 0 | 0 706.71/707.02 c 707s | 23 | 2752142 | 2707238 | 593 9116 | 0 | 0 708.71/709.03 c 709s | 23 | 2759802 | 2714838 | 593 9137 | 0 | 0 710.71/711.05 c 711s | 23 | 2768133 | 2723038 | 593 9160 | 0 | 0 712.70/713.07 c 713s | 23 | 2775923 | 2730738 | 593 9181 | 0 | 0 714.71/715.09 c 715s | 23 | 2783431 | 2738138 | 593 9201 | 0 | 0 716.70/717.09 c 717s | 23 | 2791040 | 2745638 | 593 9222 | 0 | 0 718.80/719.12 c 719s | 23 | 2798909 | 2753438 | 593 9244 | 0 | 0 720.80/721.12 c 721s | 23 | 2806634 | 2761038 | 593 9265 | 0 | 0 722.80/723.14 c 723s | 23 | 2814513 | 2768838 | 593 9286 | 0 | 0 724.80/725.16 c 725s | 23 | 2822094 | 2776338 | 593 9307 | 0 | 0 726.81/727.17 c 727s | 23 | 2829507 | 2783638 | 593 9327 | 0 | 0 728.80/729.19 c 729s | 23 | 2836995 | 2791038 | 593 9348 | 0 | 0 730.80/731.20 c 731s | 23 | 2844098 | 2798038 | 593 9367 | 0 | 0 732.90/733.22 c 733s | 23 | 2851106 | 2804938 | 593 9386 | 0 | 0 734.90/735.22 c 735s | 23 | 2857790 | 2811538 | 593 9404 | 0 | 0 736.90/737.25 c 737s | 23 | 2864664 | 2818338 | 593 9423 | 0 | 0 738.91/739.26 c 739s | 23 | 2871989 | 2825538 | 593 9443 | 0 | 0 740.90/741.28 c 741s | 23 | 2879481 | 2832938 | 593 9464 | 0 | 0 742.90/743.28 c 743s | 23 | 2886675 | 2840038 | 593 9483 | 0 | 0 745.00/745.30 c 745s | 23 | 2893834 | 2847138 | 593 9503 | 0 | 0 747.00/747.32 c 747s | 23 | 2901445 | 2854638 | 593 9524 | 0 | 0 749.00/749.35 c 749s | 23 | 2908826 | 2861938 | 593 9544 | 0 | 0 751.00/751.36 c 751s | 23 | 2916264 | 2869238 | 593 9565 | 0 | 0 753.00/753.36 c 753s | 23 | 2923669 | 2876538 | 593 9585 | 0 | 0 755.00/755.38 c 755s | 23 | 2931184 | 2883938 | 593 9606 | 0 | 0 757.00/757.39 c 757s | 23 | 2938353 | 2891038 | 593 9625 | 0 | 0 759.00/759.39 c 759s | 23 | 2945954 | 2898538 | 593 9646 | 0 | 0 761.10/761.42 c 761s | 23 | 2953334 | 2905838 | 593 9667 | 0 | 0 763.11/763.42 c 763s | 23 | 2960642 | 2913038 | 593 9687 | 0 | 0 765.10/765.43 c 765s | 23 | 2968016 | 2920338 | 593 9707 | 0 | 0 767.10/767.45 c 767s | 23 | 2975510 | 2927738 | 593 9727 | 0 | 0 769.10/769.45 c 769s | 23 | 2983089 | 2935238 | 593 9748 | 0 | 0 771.10/771.48 c 771s | 23 | 2990486 | 2942538 | 593 9768 | 0 | 0 773.11/773.48 c 773s | 23 | 2997810 | 2949738 | 593 9788 | 0 | 0 775.10/775.49 c 775s | 23 | 3005093 | 2956938 | 593 9808 | 0 | 0 777.10/777.49 c 777s | 23 | 3012684 | 2964438 | 593 9828 | 0 | 0 779.20/779.51 c 779s | 23 | 3020097 | 2971738 | 593 9849 | 0 | 0 781.20/781.52 c 781s | 23 | 3027464 | 2979038 | 593 9869 | 0 | 0 783.20/783.54 c 783s | 23 | 3034844 | 2986338 | 593 9889 | 0 | 0 785.20/785.57 c 785s | 23 | 3042039 | 2993438 | 593 9908 | 0 | 0 787.19/787.58 c 787s | 23 | 3049467 | 3000738 | 593 9929 | 0 | 0 789.19/789.59 c 789s | 23 | 3056695 | 3007838 | 593 9948 | 0 | 0 791.29/791.60 c 791s | 23 | 3064089 | 3015138 | 593 9969 | 0 | 0 793.29/793.60 c 793s | 23 | 3071164 | 3022138 | 593 9988 | 0 | 0 795.29/795.61 c 795s | 23 | 3078359 | 3029238 | 593 10008 | 0 | 0 797.30/797.61 c 797s | 23 | 3085548 | 3036338 | 593 10028 | 0 | 0 799.29/799.63 c 799s | 23 | 3092920 | 3043638 | 593 10048 | 0 | 0 801.29/801.66 c 801s | 23 | 3100215 | 3050838 | 593 10068 | 0 | 0 803.30/803.68 c 803s | 23 | 3107402 | 3057938 | 593 10088 | 0 | 0 805.30/805.69 c 805s | 23 | 3114478 | 3064938 | 593 10107 | 0 | 0 807.40/807.70 c 807s | 23 | 3121442 | 3071838 | 593 10126 | 0 | 0 809.30/809.70 c 809s | 23 | 3128303 | 3078638 | 593 10146 | 0 | 0 811.40/811.71 c 811s | 23 | 3135275 | 3085538 | 593 10165 | 0 | 0 813.40/813.73 c 813s | 23 | 3143621 | 3093738 | 593 10187 | 0 | 0 815.40/815.75 c 815s | 23 | 3151510 | 3101538 | 593 10209 | 0 | 0 817.40/817.76 c 817s | 23 | 3159108 | 3109038 | 593 10229 | 0 | 0 819.40/819.76 c 819s | 23 | 3166789 | 3116638 | 593 10250 | 0 | 0 821.40/821.76 c 821s | 23 | 3174696 | 3124438 | 593 10272 | 0 | 0 823.39/823.78 c 823s | 23 | 3182315 | 3131938 | 593 10293 | 0 | 0 825.39/825.79 c 825s | 23 | 3189780 | 3139338 | 593 10313 | 0 | 0 827.49/827.80 c 827s | 23 | 3196978 | 3146438 | 593 10333 | 0 | 0 829.49/829.81 c 829s | 23 | 3204202 | 3153538 | 593 10352 | 0 | 0 831.49/831.83 c 831s | 23 | 3211389 | 3160638 | 593 10372 | 0 | 0 833.50/833.84 c 833s | 23 | 3218562 | 3167738 | 593 10392 | 0 | 0 835.49/835.85 c 835s | 23 | 3225859 | 3174938 | 593 10412 | 0 | 0 837.49/837.85 c 837s | 23 | 3233059 | 3182038 | 593 10431 | 0 | 0 839.49/839.87 c 839s | 23 | 3240646 | 3189538 | 593 10452 | 0 | 0 841.49/841.89 c 841s | 23 | 3248494 | 3197238 | 593 10473 | 0 | 0 843.59/843.92 c 843s | 23 | 3255957 | 3204538 | 593 10494 | 0 | 0 845.59/845.93 c 845s | 23 | 3263342 | 3211838 | 593 10514 | 0 | 0 847.59/847.95 c 847s | 23 | 3270645 | 3219038 | 593 10534 | 0 | 0 849.59/849.97 c 849s | 23 | 3277968 | 3226238 | 593 10554 | 0 | 0 851.58/851.99 c 851s | 23 | 3284954 | 3233138 | 593 10573 | 0 | 0 853.58/853.99 c 853s | 23 | 3292039 | 3240138 | 593 10592 | 0 | 0 855.68/856.00 c 855s | 23 | 3299383 | 3247338 | 593 10612 | 0 | 0 857.69/858.03 c 858s | 23 | 3306772 | 3254638 | 593 10633 | 0 | 0 859.68/860.06 c 860s | 23 | 3314066 | 3261838 | 593 10653 | 0 | 0 861.68/862.06 c 862s | 23 | 3321374 | 3269038 | 593 10673 | 0 | 0 863.68/864.08 c 864s | 23 | 3328650 | 3276238 | 593 10693 | 0 | 0 865.78/866.11 c 866s | 23 | 3336220 | 3283738 | 593 10714 | 0 | 0 867.78/868.12 c 868s | 23 | 3343806 | 3291238 | 593 10734 | 0 | 0 869.79/870.13 c 870s | 23 | 3351290 | 3298638 | 593 10755 | 0 | 0 871.78/872.15 c 872s | 23 | 3358768 | 3306038 | 593 10776 | 0 | 0 873.78/874.17 c 874s | 23 | 3366735 | 3313938 | 593 10797 | 0 | 0 875.78/876.18 c 876s | 23 | 3374317 | 3321438 | 593 10818 | 0 | 0 877.78/878.19 c 878s | 23 | 3381989 | 3329038 | 593 10839 | 0 | 0 879.88/880.20 c 880s | 23 | 3389591 | 3336538 | 593 10860 | 0 | 0 881.89/882.22 c 882s | 23 | 3396955 | 3343838 | 593 10880 | 0 | 0 883.89/884.24 c 884s | 23 | 3404210 | 3351038 | 593 10900 | 0 | 0 885.89/886.25 c 886s | 23 | 3411559 | 3358338 | 653 10919 | 0 | 0 887.89/888.26 c 888s | 23 | 3418729 | 3365438 | 653 10937 | 0 | 0 889.88/890.27 c 890s | 23 | 3426019 | 3372638 | 653 10956 | 0 | 0 890.98/891.39 c 891s | 24 | 3430082 | 3376662 | 653 10966 | 0 | 0 893.08/893.40 c 893s | 24 | 3437673 | 3383962 | 653 10985 | 0 | 0 895.09/895.42 c 895s | 24 | 3445247 | 3391362 | 653 11003 | 0 | 0 897.08/897.44 c 897s | 24 | 3453150 | 3399062 | 653 11023 | 0 | 0 899.08/899.45 c 899s | 24 | 3460920 | 3406662 | 653 11042 | 0 | 0 901.08/901.48 c 901s | 24 | 3468607 | 3414162 | 653 11061 | 0 | 0 903.18/903.50 c 903s | 24 | 3475843 | 3421262 | 653 11079 | 0 | 0 905.18/905.51 c 905s | 24 | 3482898 | 3428162 | 653 11097 | 0 | 0 907.19/907.52 c 907s | 24 | 3490444 | 3435362 | 653 11115 | 0 | 0 909.18/909.52 c 909s | 24 | 3497975 | 3442662 | 653 11133 | 0 | 0 911.18/911.55 c 911s | 24 | 3505630 | 3450062 | 653 11152 | 0 | 0 913.18/913.55 c 913s | 24 | 3513596 | 3457862 | 653 11172 | 0 | 0 915.18/915.55 c 915s | 24 | 3521009 | 3465062 | 653 11190 | 0 | 0 917.19/917.56 c 917s | 24 | 3528300 | 3472162 | 653 11208 | 0 | 0 919.18/919.57 c 919s | 24 | 3535315 | 3479062 | 653 11226 | 0 | 0 921.18/921.59 c 921s | 24 | 3542670 | 3486262 | 653 11244 | 0 | 0 923.28/923.61 c 923s | 24 | 3550050 | 3493462 | 653 11262 | 0 | 0 925.28/925.63 c 925s | 24 | 3557323 | 3500562 | 653 11281 | 0 | 0 927.28/927.65 c 927s | 24 | 3564547 | 3507662 | 653 11299 | 0 | 0 929.28/929.66 c 929s | 24 | 3571583 | 3514562 | 653 11316 | 0 | 0 931.28/931.67 c 931s | 24 | 3578473 | 3521362 | 653 11334 | 0 | 0 933.28/933.68 c 933s | 24 | 3585512 | 3528262 | 653 11351 | 0 | 0 935.27/935.69 c 935s | 24 | 3592610 | 3535262 | 653 11370 | 0 | 0 937.37/937.71 c 937s | 24 | 3599938 | 3542462 | 653 11388 | 0 | 0 939.37/939.72 c 939s | 24 | 3607629 | 3550062 | 653 11407 | 0 | 0 941.38/941.74 c 941s | 24 | 3615050 | 3557362 | 653 11426 | 0 | 0 943.37/943.75 c 943s | 24 | 3622234 | 3564462 | 653 11444 | 0 | 0 945.37/945.75 c 945s | 24 | 3629373 | 3571462 | 653 11462 | 0 | 0 947.37/947.78 c 947s | 24 | 3636587 | 3578562 | 653 11480 | 0 | 0 949.37/949.78 c 949s | 24 | 3643671 | 3585562 | 653 11497 | 0 | 0 951.47/951.81 c 951s | 24 | 3650552 | 3592362 | 653 11515 | 0 | 0 953.48/953.82 c 953s | 24 | 3657839 | 3599562 | 653 11533 | 0 | 0 955.47/955.84 c 955s | 24 | 3665064 | 3606662 | 653 11551 | 0 | 0 957.47/957.86 c 957s | 24 | 3672393 | 3613862 | 653 11570 | 0 | 0 959.47/959.87 c 959s | 24 | 3679768 | 3621162 | 653 11588 | 0 | 0 961.47/961.89 c 961s | 24 | 3686970 | 3628262 | 653 11606 | 0 | 0 963.57/963.91 c 963s | 24 | 3694058 | 3635262 | 653 11624 | 0 | 0 965.57/965.93 c 965s | 24 | 3700849 | 3641962 | 653 11641 | 0 | 0 967.57/967.95 c 967s | 24 | 3708114 | 3649062 | 653 11659 | 0 | 0 969.57/969.96 c 969s | 24 | 3715292 | 3656062 | 653 11677 | 0 | 0 971.57/971.96 c 971s | 24 | 3722450 | 3663062 | 653 11695 | 0 | 0 973.57/973.97 c 973s | 24 | 3729694 | 3670162 | 653 11713 | 0 | 0 975.56/975.99 c 975s | 24 | 3737144 | 3677462 | 653 11731 | 0 | 0 977.67/978.00 c 977s | 24 | 3744914 | 3685062 | 653 11751 | 0 | 0 979.66/980.03 c 980s | 24 | 3752560 | 3692562 | 653 11770 | 0 | 0 981.66/982.06 c 982s | 24 | 3759901 | 3699762 | 653 11788 | 0 | 0 983.67/984.09 c 984s | 24 | 3767061 | 3706762 | 653 11806 | 0 | 0 985.67/986.09 c 986s | 24 | 3774188 | 3713762 | 653 11824 | 0 | 0 987.77/988.10 c 988s | 24 | 3781671 | 3721062 | 653 11842 | 0 | 0 989.78/990.12 c 990s | 24 | 3788883 | 3728062 | 653 11860 | 0 | 0 991.77/992.14 c 992s | 24 | 3796153 | 3735162 | 653 11878 | 0 | 0 993.77/994.16 c 994s | 24 | 3803182 | 3742062 | 653 11896 | 0 | 0 995.77/996.17 c 996s | 24 | 3809892 | 3748662 | 653 11913 | 0 | 0 997.77/998.18 c 998s | 24 | 3816670 | 3755362 | 653 11930 | 0 | 0 999.87/1000.20 c 1000s | 24 | 3823545 | 3762162 | 653 11947 | 0 | 0 1001.87/1002.22 c 1002s | 24 | 3830428 | 3768962 | 653 11965 | 0 | 0 1003.86/1004.24 c 1004s | 24 | 3837396 | 3775862 | 653 11983 | 0 | 0 1005.86/1006.26 c 1006s | 24 | 3844270 | 3782662 | 653 12000 | 0 | 0 1007.86/1008.28 c 1008s | 24 | 3851418 | 3789662 | 653 12018 | 0 | 0 1009.96/1010.30 c 1010s | 24 | 3858359 | 3796462 | 653 12035 | 0 | 0 1011.96/1012.31 c 1012s | 24 | 3865300 | 3803262 | 653 12053 | 0 | 0 1013.97/1014.33 c 1014s | 24 | 3872088 | 3809962 | 653 12070 | 0 | 0 1015.96/1016.35 c 1016s | 24 | 3879638 | 3817262 | 653 12088 | 0 | 0 1017.96/1018.36 c 1018s | 24 | 3887069 | 3824562 | 653 12107 | 0 | 0 1019.96/1020.37 c 1020s | 24 | 3894368 | 3831662 | 653 12125 | 0 | 0 1021.96/1022.39 c 1022s | 24 | 3901766 | 3838862 | 653 12143 | 0 | 0 1024.06/1024.41 c 1024s | 24 | 3908908 | 3845862 | 653 12161 | 0 | 0 1026.07/1026.44 c 1026s | 24 | 3916013 | 3852862 | 653 12179 | 0 | 0 1028.06/1028.47 c 1028s | 24 | 3923280 | 3859962 | 653 12197 | 0 | 0 1030.06/1030.49 c 1030s | 24 | 3930637 | 3867162 | 653 12216 | 0 | 0 1032.16/1032.51 c 1032s | 24 | 3937997 | 3874362 | 653 12234 | 0 | 0 1034.16/1034.52 c 1034s | 24 | 3945308 | 3881462 | 653 12252 | 0 | 0 1036.16/1036.54 c 1036s | 24 | 3952940 | 3888862 | 653 12271 | 0 | 0 1038.16/1038.56 c 1038s | 24 | 3959970 | 3895762 | 653 12289 | 0 | 0 1040.15/1040.57 c 1040s | 24 | 3966879 | 3902562 | 653 12306 | 0 | 0 1042.15/1042.57 c 1042s | 24 | 3973955 | 3909462 | 653 12324 | 0 | 0 1044.15/1044.59 c 1044s | 24 | 3980916 | 3916262 | 653 12341 | 0 | 0 1046.25/1046.61 c 1046s | 24 | 3987838 | 3923062 | 653 12359 | 0 | 0 1048.25/1048.63 c 1048s | 24 | 3994501 | 3929662 | 653 12376 | 0 | 0 1050.26/1050.64 c 1050s | 24 | 4002265 | 3937262 | 653 12395 | 0 | 0 1052.25/1052.66 c 1052s | 24 | 4010038 | 3944862 | 653 12414 | 0 | 0 1054.25/1054.67 c 1054s | 24 | 4017548 | 3952262 | 653 12433 | 0 | 0 1056.35/1056.70 c 1056s | 24 | 4024881 | 3959462 | 653 12451 | 0 | 0 1058.35/1058.71 c 1058s | 24 | 4032112 | 3966562 | 653 12469 | 0 | 0 1060.35/1060.72 c 1060s | 24 | 4039375 | 3973662 | 653 12488 | 0 | 0 1062.36/1062.73 c 1062s | 24 | 4046519 | 3980662 | 653 12505 | 0 | 0 1064.36/1064.75 c 1064s | 24 | 4053257 | 3987262 | 653 12522 | 0 | 0 1066.36/1066.75 c 1066s | 24 | 4060087 | 3993962 | 653 12540 | 0 | 0 1068.36/1068.77 c 1068s | 24 | 4067156 | 4000962 | 653 12557 | 0 | 0 1070.46/1070.80 c 1070s | 24 | 4074163 | 4007862 | 653 12575 | 0 | 0 1072.46/1072.82 c 1072s | 24 | 4081042 | 4014662 | 653 12593 | 0 | 0 1074.46/1074.85 c 1074s | 24 | 4088039 | 4021562 | 653 12610 | 0 | 0 1076.45/1076.85 c 1076s | 24 | 4095014 | 4028462 | 653 12628 | 0 | 0 1078.45/1078.87 c 1078s | 24 | 4102032 | 4035362 | 653 12646 | 0 | 0 1080.45/1080.89 c 1080s | 24 | 4109034 | 4042262 | 653 12663 | 0 | 0 1082.55/1082.91 c 1082s | 24 | 4115955 | 4049062 | 653 12681 | 0 | 0 1084.55/1084.91 c 1084s | 24 | 4122742 | 4055762 | 653 12698 | 0 | 0 1086.56/1086.93 c 1086s | 24 | 4130155 | 4062962 | 653 12717 | 0 | 0 1088.55/1088.95 c 1088s | 24 | 4137463 | 4070162 | 653 12735 | 0 | 0 1090.55/1090.96 c 1090s | 24 | 4144793 | 4077362 | 653 12753 | 0 | 0 1092.55/1092.97 c 1092s | 24 | 4152116 | 4084462 | 653 12772 | 0 | 0 1094.55/1094.99 c 1094s | 24 | 4159308 | 4091462 | 653 12790 | 0 | 0 1096.65/1097.02 c 1097s | 24 | 4166328 | 4098362 | 653 12807 | 0 | 0 1098.65/1099.04 c 1099s | 24 | 4173158 | 4105062 | 653 12825 | 0 | 0 1100.65/1101.04 c 1101s | 24 | 4180008 | 4111762 | 653 12842 | 0 | 0 1102.65/1103.06 c 1103s | 24 | 4186939 | 4118562 | 653 12859 | 0 | 0 1104.65/1105.06 c 1105s | 24 | 4193547 | 4125062 | 653 12876 | 0 | 0 1106.64/1107.08 c 1107s | 24 | 4200810 | 4132162 | 653 12894 | 0 | 0 1108.74/1109.10 c 1109s | 24 | 4207964 | 4139262 | 653 12912 | 0 | 0 1110.75/1111.12 c 1111s | 24 | 4215145 | 4146362 | 653 12930 | 0 | 0 1112.74/1113.12 c 1113s | 24 | 4222102 | 4153262 | 653 12948 | 0 | 0 1114.74/1115.13 c 1115s | 24 | 4228977 | 4160062 | 653 12966 | 0 | 0 1116.74/1117.15 c 1117s | 24 | 4236087 | 4167062 | 653 12984 | 0 | 0 1118.74/1119.15 c 1119s | 24 | 4243507 | 4174362 | 653 13002 | 0 | 0 1120.74/1121.18 c 1121s | 24 | 4250871 | 4181562 | 653 13021 | 0 | 0 1122.85/1123.20 c 1123s | 24 | 4258329 | 4188862 | 653 13040 | 0 | 0 1124.84/1125.21 c 1125s | 24 | 4265734 | 4196062 | 653 13058 | 0 | 0 1126.84/1127.23 c 1127s | 24 | 4272843 | 4203062 | 653 13076 | 0 | 0 1128.84/1129.25 c 1129s | 24 | 4279925 | 4210062 | 653 13094 | 0 | 0 1130.84/1131.27 c 1131s | 24 | 4286915 | 4216962 | 653 13112 | 0 | 0 1132.94/1133.30 c 1133s | 24 | 4294216 | 4224162 | 653 13131 | 0 | 0 1134.95/1135.31 c 1135s | 24 | 4301377 | 4231162 | 653 13149 | 0 | 0 1136.94/1137.31 c 1137s | 24 | 4308545 | 4238262 | 653 13167 | 0 | 0 1138.94/1139.31 c 1139s | 24 | 4316532 | 4246062 | 653 13187 | 0 | 0 1140.94/1141.32 c 1141s | 24 | 4323938 | 4253362 | 653 13205 | 0 | 0 1142.94/1143.32 c 1143s | 24 | 4330840 | 4260162 | 653 13222 | 0 | 0 1144.94/1145.34 c 1145s | 24 | 4338105 | 4267262 | 653 13240 | 0 | 0 1146.94/1147.36 c 1147s | 24 | 4345786 | 4274762 | 653 13259 | 0 | 0 1148.95/1149.38 c 1149s | 24 | 4353324 | 4282162 | 653 13278 | 0 | 0 1151.05/1151.41 c 1151s | 24 | 4360710 | 4289462 | 653 13297 | 0 | 0 1153.04/1153.42 c 1153s | 24 | 4368037 | 4296662 | 653 13315 | 0 | 0 1155.04/1155.42 c 1155s | 24 | 4375436 | 4303962 | 653 13334 | 0 | 0 1157.04/1157.42 c 1157s | 24 | 4382438 | 4310862 | 653 13351 | 0 | 0 1159.05/1159.43 c 1159s | 24 | 4389850 | 4318162 | 653 13370 | 0 | 0 1161.04/1161.44 c 1161s | 24 | 4397771 | 4325962 | 653 13389 | 0 | 0 1163.04/1163.46 c 1163s | 24 | 4405227 | 4333362 | 653 13408 | 0 | 0 1165.04/1165.48 c 1165s | 24 | 4412917 | 4340962 | 653 13428 | 0 | 0 1167.04/1167.48 c 1167s | 24 | 4420005 | 4347962 | 653 13446 | 0 | 0 1169.05/1169.48 c 1169s | 24 | 4427523 | 4355362 | 653 13464 | 0 | 0 1171.04/1171.49 c 1171s | 24 | 4435696 | 4363462 | 653 13485 | 0 | 0 1173.14/1173.50 c 1173s | 24 | 4443772 | 4371462 | 653 13505 | 0 | 0 1175.14/1175.52 c 1175s | 24 | 4451456 | 4379062 | 653 13525 | 0 | 0 1177.14/1177.55 c 1177s | 24 | 4458946 | 4386462 | 653 13544 | 0 | 0 1179.14/1179.55 c 1179s | 24 | 4466333 | 4393762 | 653 13562 | 0 | 0 1181.14/1181.57 c 1181s | 24 | 4473607 | 4400962 | 653 13580 | 0 | 0 1183.13/1183.60 c 1183s | 24 | 4480808 | 4408062 | 653 13599 | 0 | 0 1185.23/1185.61 c 1185s | 24 | 4487775 | 4414962 | 653 13616 | 0 | 0 1187.23/1187.62 c 1187s | 24 | 4494699 | 4421762 | 653 13634 | 0 | 0 1189.23/1189.62 c 1189s | 24 | 4501774 | 4428762 | 653 13651 | 0 | 0 1191.23/1191.63 c 1191s | 24 | 4508851 | 4435762 | 653 13669 | 0 | 0 1193.24/1193.65 c 1193s | 24 | 4516003 | 4442862 | 653 13687 | 0 | 0 1195.23/1195.66 c 1195s | 24 | 4523174 | 4449962 | 653 13705 | 0 | 0 1197.23/1197.69 c 1197s | 24 | 4530292 | 4456962 | 653 13723 | 0 | 0 1199.23/1199.69 c 1199s | 24 | 4537288 | 4463862 | 653 13741 | 0 | 0 1201.33/1201.71 c 1201s | 24 | 4544403 | 4470862 | 653 13759 | 0 | 0 1203.33/1203.71 c 1203s | 24 | 4551514 | 4477862 | 653 13777 | 0 | 0 1205.34/1205.73 c 1205s | 24 | 4558735 | 4484962 | 653 13795 | 0 | 0 1207.33/1207.75 c 1207s | 24 | 4566062 | 4492162 | 653 13813 | 0 | 0 1209.33/1209.76 c 1209s | 24 | 4573242 | 4499262 | 653 13831 | 0 | 0 1211.33/1211.79 c 1211s | 24 | 4580413 | 4506362 | 653 13850 | 0 | 0 1213.43/1213.80 c 1213s | 24 | 4587471 | 4513362 | 653 13867 | 0 | 0 1215.43/1215.80 c 1215s | 24 | 4594406 | 4520162 | 653 13885 | 0 | 0 1217.43/1217.81 c 1217s | 24 | 4601782 | 4527362 | 653 13903 | 0 | 0 1219.43/1219.81 c 1219s | 24 | 4608883 | 4534362 | 653 13921 | 0 | 0 1221.43/1221.82 c 1221s | 24 | 4615972 | 4541362 | 653 13939 | 0 | 0 1223.43/1223.84 c 1223s | 24 | 4622947 | 4548262 | 653 13957 | 0 | 0 1225.43/1225.85 c 1225s | 24 | 4630021 | 4555262 | 653 13975 | 0 | 0 1227.43/1227.86 c 1227s | 24 | 4637379 | 4562462 | 653 13993 | 0 | 0 1229.44/1229.87 c 1229s | 24 | 4644423 | 4569362 | 653 14011 | 0 | 0 1231.43/1231.88 c 1231s | 24 | 4651794 | 4576562 | 653 14029 | 0 | 0 1233.43/1233.89 c 1233s | 24 | 4658893 | 4583562 | 653 14047 | 0 | 0 1235.43/1235.89 c 1235s | 24 | 4666247 | 4590862 | 653 14066 | 0 | 0 1237.53/1237.91 c 1237s | 24 | 4673519 | 4598062 | 653 14084 | 0 | 0 1239.53/1239.92 c 1239s | 24 | 4680738 | 4605162 | 653 14102 | 0 | 0 1241.54/1241.94 c 1241s | 24 | 4687923 | 4612262 | 653 14120 | 0 | 0 1243.53/1243.94 c 1243s | 24 | 4694905 | 4619162 | 653 14138 | 0 | 0 1245.53/1245.96 c 1245s | 24 | 4701823 | 4625962 | 653 14156 | 0 | 0 1247.53/1247.98 c 1247s | 24 | 4708815 | 4632862 | 653 14173 | 0 | 0 1249.63/1250.00 c 1249s | 24 | 4715674 | 4639662 | 653 14191 | 0 | 0 1251.63/1252.03 c 1252s | 24 | 4722532 | 4646462 | 653 14208 | 0 | 0 1253.63/1254.05 c 1254s | 24 | 4729615 | 4653462 | 653 14226 | 0 | 0 1255.63/1256.06 c 1256s | 24 | 4737824 | 4661562 | 653 14247 | 0 | 0 1257.62/1258.06 c 1258s | 24 | 4745624 | 4669262 | 653 14267 | 0 | 0 1259.62/1260.09 c 1260s | 24 | 4753426 | 4676962 | 653 14286 | 0 | 0 1261.62/1262.09 c 1262s | 24 | 4760811 | 4684262 | 653 14305 | 0 | 0 1263.72/1264.11 c 1264s | 24 | 4768029 | 4691362 | 653 14323 | 0 | 0 1265.73/1266.12 c 1266s | 24 | 4775382 | 4698562 | 653 14342 | 0 | 0 1267.72/1268.13 c 1268s | 24 | 4782735 | 4705762 | 653 14360 | 0 | 0 1269.72/1270.15 c 1270s | 24 | 4789817 | 4712762 | 653 14378 | 0 | 0 1271.72/1272.17 c 1272s | 24 | 4797101 | 4719962 | 653 14397 | 0 | 0 1273.72/1274.17 c 1274s | 24 | 4804193 | 4726962 | 653 14415 | 0 | 0 1275.73/1276.19 c 1276s | 24 | 4811160 | 4733862 | 653 14432 | 0 | 0 1277.83/1278.21 c 1278s | 24 | 4818332 | 4740962 | 653 14451 | 0 | 0 1279.82/1280.23 c 1280s | 24 | 4826091 | 4748662 | 653 14470 | 0 | 0 1281.82/1282.24 c 1282s | 24 | 4833818 | 4756262 | 653 14490 | 0 | 0 1283.82/1284.25 c 1284s | 24 | 4841129 | 4763462 | 653 14508 | 0 | 0 1285.82/1286.26 c 1286s | 24 | 4848230 | 4770462 | 653 14526 | 0 | 0 1287.83/1288.28 c 1288s | 24 | 4855846 | 4777962 | 653 14545 | 0 | 0 1289.82/1290.30 c 1290s | 24 | 4863027 | 4785062 | 653 14563 | 0 | 0 1291.92/1292.30 c 1292s | 24 | 4870020 | 4791962 | 653 14580 | 0 | 0 1293.92/1294.33 c 1294s | 24 | 4877109 | 4798962 | 653 14598 | 0 | 0 1295.92/1296.35 c 1296s | 24 | 4884492 | 4806262 | 653 14617 | 0 | 0 1297.92/1298.36 c 1298s | 24 | 4891995 | 4813662 | 653 14636 | 0 | 0 1299.92/1300.39 c 1300s | 24 | 4899181 | 4820762 | 653 14654 | 0 | 0 1302.02/1302.41 c 1302s | 24 | 4906138 | 4827662 | 653 14672 | 0 | 0 1304.02/1304.43 c 1304s | 24 | 4913529 | 4834962 | 653 14690 | 0 | 0 1306.02/1306.44 c 1306s | 24 | 4920433 | 4841762 | 653 14708 | 0 | 0 1308.02/1308.45 c 1308s | 24 | 4927886 | 4849062 | 653 14726 | 0 | 0 1310.02/1310.47 c 1310s | 24 | 4935533 | 4856562 | 653 14745 | 0 | 0 1312.02/1312.48 c 1312s | 24 | 4942541 | 4863462 | 653 14763 | 0 | 0 1314.01/1314.48 c 1314s | 24 | 4949660 | 4870462 | 653 14781 | 0 | 0 1316.01/1316.49 c 1316s | 24 | 4956642 | 4877362 | 653 14799 | 0 | 0 1318.11/1318.51 c 1318s | 24 | 4965062 | 4885662 | 653 14820 | 0 | 0 1320.11/1320.52 c 1320s | 24 | 4973165 | 4893662 | 653 14840 | 0 | 0 1322.11/1322.53 c 1322s | 24 | 4981083 | 4901462 | 653 14860 | 0 | 0 1324.12/1324.54 c 1324s | 24 | 4988908 | 4909162 | 653 14879 | 0 | 0 1326.11/1326.55 c 1326s | 24 | 4996361 | 4916462 | 653 14898 | 0 | 0 1328.11/1328.56 c 1328s | 24 | 5004005 | 4923962 | 653 14917 | 0 | 0 1330.11/1330.58 c 1330s | 24 | 5011824 | 4931662 | 653 14937 | 0 | 0 1332.11/1332.60 c 1332s | 24 | 5019539 | 4939262 | 653 14956 | 0 | 0 1334.21/1334.61 c 1334s | 24 | 5027123 | 4946762 | 653 14975 | 0 | 0 1336.22/1336.62 c 1336s | 24 | 5034529 | 4954062 | 653 14994 | 0 | 0 1338.21/1338.63 c 1338s | 24 | 5041780 | 4961262 | 653 15012 | 0 | 0 1340.21/1340.64 c 1340s | 24 | 5048844 | 4968262 | 653 15030 | 0 | 0 1342.21/1342.64 c 1342s | 24 | 5055819 | 4975162 | 653 15048 | 0 | 0 1344.21/1344.65 c 1344s | 24 | 5062680 | 4981962 | 653 15065 | 0 | 0 1346.21/1346.65 c 1346s | 24 | 5069744 | 4988962 | 653 15083 | 0 | 0 1348.21/1348.68 c 1348s | 24 | 5076704 | 4995762 | 653 15101 | 0 | 0 1350.31/1350.70 c 1350s | 24 | 5084135 | 5003062 | 653 15119 | 0 | 0 1352.31/1352.72 c 1352s | 24 | 5091172 | 5009962 | 653 15137 | 0 | 0 1354.31/1354.73 c 1354s | 24 | 5098313 | 5016962 | 653 15155 | 0 | 0 1356.31/1356.74 c 1356s | 24 | 5105737 | 5024262 | 653 15174 | 0 | 0 1358.30/1358.75 c 1358s | 24 | 5112842 | 5031262 | 719 15191 | 0 | 0 1360.31/1360.75 c 1360s | 24 | 5119917 | 5038262 | 719 15208 | 0 | 0 1362.30/1362.77 c 1362s | 24 | 5127306 | 5045562 | 719 15225 | 0 | 0 1364.31/1364.77 c 1364s | 24 | 5134548 | 5052662 | 719 15242 | 0 | 0 1366.31/1366.77 c 1366s | 24 | 5141865 | 5059762 | 719 15258 | 0 | 0 1367.81/1368.26 c 1368s | 25 | 5147284 | 5065098 | 719 15271 | 0 | 0 1369.81/1370.28 c 1370s | 25 | 5154554 | 5072098 | 719 15287 | 0 | 0 1371.81/1372.29 c 1372s | 25 | 5161677 | 5079098 | 719 15303 | 0 | 0 1373.81/1374.29 c 1374s | 25 | 5169738 | 5087098 | 719 15322 | 0 | 0 1375.91/1376.31 c 1376s | 25 | 5177694 | 5094998 | 719 15340 | 0 | 0 1377.92/1378.34 c 1378s | 25 | 5185371 | 5102598 | 719 15358 | 0 | 0 1379.91/1380.36 c 1380s | 25 | 5192889 | 5109998 | 719 15375 | 0 | 0 1381.91/1382.37 c 1382s | 25 | 5200386 | 5117398 | 719 15393 | 0 | 0 1384.01/1384.40 c 1384s | 25 | 5208112 | 5124998 | 719 15410 | 0 | 0 1386.01/1386.41 c 1386s | 25 | 5215533 | 5132298 | 719 15428 | 0 | 0 1388.01/1388.42 c 1388s | 25 | 5222877 | 5139498 | 719 15444 | 0 | 0 1390.01/1390.44 c 1390s | 25 | 5230192 | 5146698 | 719 15461 | 0 | 0 1392.01/1392.46 c 1392s | 25 | 5237513 | 5153898 | 719 15478 | 0 | 0 1394.01/1394.46 c 1394s | 25 | 5244850 | 5161098 | 719 15495 | 0 | 0 1396.01/1396.48 c 1396s | 25 | 5252123 | 5168298 | 719 15512 | 0 | 0 1398.11/1398.50 c 1398s | 25 | 5259621 | 5175698 | 719 15529 | 0 | 0 1400.11/1400.52 c 1400s | 25 | 5267134 | 5183098 | 719 15547 | 0 | 0 1402.11/1402.52 c 1402s | 25 | 5274319 | 5190198 | 719 15563 | 0 | 0 1404.11/1404.54 c 1404s | 25 | 5281501 | 5197298 | 719 15580 | 0 | 0 1406.11/1406.56 c 1406s | 25 | 5288721 | 5204398 | 719 15597 | 0 | 0 1408.11/1408.59 c 1408s | 25 | 5295964 | 5211498 | 719 15613 | 0 | 0 1410.20/1410.62 c 1410s | 25 | 5302957 | 5218398 | 719 15630 | 0 | 0 1412.20/1412.63 c 1412s | 25 | 5309861 | 5225198 | 719 15646 | 0 | 0 1414.21/1414.64 c 1414s | 25 | 5317005 | 5232198 | 719 15662 | 0 | 0 1416.20/1416.66 c 1416s | 25 | 5324116 | 5239198 | 719 15679 | 0 | 0 1418.20/1418.67 c 1418s | 25 | 5331555 | 5246498 | 719 15696 | 0 | 0 1420.20/1420.68 c 1420s | 25 | 5338652 | 5253498 | 719 15712 | 0 | 0 1422.20/1422.69 c 1422s | 25 | 5346483 | 5261198 | 719 15730 | 0 | 0 1424.30/1424.71 c 1424s | 25 | 5354109 | 5268698 | 719 15748 | 0 | 0 1426.31/1426.72 c 1426s | 25 | 5361703 | 5276198 | 719 15765 | 0 | 0 1428.30/1428.74 c 1428s | 25 | 5369276 | 5283598 | 719 15782 | 0 | 0 1430.30/1430.75 c 1430s | 25 | 5376503 | 5290698 | 719 15799 | 0 | 0 1432.30/1432.75 c 1432s | 25 | 5383934 | 5297998 | 719 15816 | 0 | 0 1434.30/1434.77 c 1434s | 25 | 5391354 | 5305298 | 719 15834 | 0 | 0 1436.30/1436.78 c 1436s | 25 | 5398547 | 5312398 | 719 15850 | 0 | 0 1438.30/1438.79 c 1438s | 25 | 5405877 | 5319598 | 719 15867 | 0 | 0 1440.40/1440.81 c 1440s | 25 | 5413173 | 5326798 | 719 15884 | 0 | 0 1442.40/1442.83 c 1442s | 25 | 5420661 | 5334198 | 719 15902 | 0 | 0 1444.40/1444.85 c 1444s | 25 | 5428093 | 5341498 | 719 15919 | 0 | 0 1446.40/1446.88 c 1446s | 25 | 5435692 | 5348998 | 719 15937 | 0 | 0 1448.40/1448.89 c 1448s | 25 | 5442872 | 5356098 | 719 15953 | 0 | 0 1450.50/1450.91 c 1450s | 25 | 5450224 | 5363398 | 719 15970 | 0 | 0 1452.49/1452.93 c 1452s | 25 | 5457601 | 5370698 | 719 15987 | 0 | 0 1454.49/1454.93 c 1454s | 25 | 5464720 | 5377698 | 719 16004 | 0 | 0 1456.49/1456.93 c 1456s | 25 | 5471917 | 5384798 | 719 16021 | 0 | 0 1458.49/1458.95 c 1458s | 25 | 5479110 | 5391898 | 719 16037 | 0 | 0 1460.50/1460.95 c 1460s | 25 | 5486350 | 5398998 | 719 16054 | 0 | 0 1462.49/1462.98 c 1462s | 25 | 5493447 | 5405998 | 719 16071 | 0 | 0 1464.49/1464.99 c 1464s | 25 | 5500423 | 5412898 | 719 16087 | 0 | 0 1466.49/1466.99 c 1466s | 25 | 5507707 | 5420098 | 719 16104 | 0 | 0 1468.59/1469.01 c 1468s | 25 | 5515051 | 5427298 | 719 16121 | 0 | 0 1470.59/1471.02 c 1471s | 25 | 5522654 | 5434798 | 719 16139 | 0 | 0 1472.60/1473.03 c 1473s | 25 | 5530086 | 5442098 | 719 16156 | 0 | 0 1474.59/1475.05 c 1475s | 25 | 5537490 | 5449398 | 719 16173 | 0 | 0 1476.59/1477.07 c 1477s | 25 | 5545083 | 5456898 | 719 16191 | 0 | 0 1478.59/1479.08 c 1479s | 25 | 5552407 | 5464098 | 719 16207 | 0 | 0 1480.59/1481.09 c 1481s | 25 | 5559701 | 5471298 | 719 16224 | 0 | 0 1482.69/1483.11 c 1483s | 25 | 5567891 | 5479398 | 719 16244 | 0 | 0 1484.69/1485.11 c 1485s | 25 | 5575781 | 5487198 | 719 16262 | 0 | 0 1486.69/1487.12 c 1487s | 25 | 5583396 | 5494698 | 719 16280 | 0 | 0 1488.69/1489.13 c 1489s | 25 | 5591132 | 5502298 | 719 16297 | 0 | 0 1490.69/1491.13 c 1491s | 25 | 5598825 | 5509898 | 719 16315 | 0 | 0 1492.69/1493.14 c 1493s | 25 | 5606233 | 5517198 | 719 16333 | 0 | 0 1494.69/1495.15 c 1495s | 25 | 5613510 | 5524398 | 719 16350 | 0 | 0 1496.70/1497.16 c 1497s | 25 | 5620880 | 5531698 | 719 16367 | 0 | 0 1498.69/1499.17 c 1499s | 25 | 5627856 | 5538598 | 719 16383 | 0 | 0 1500.69/1501.17 c 1501s | 25 | 5634922 | 5545598 | 719 16400 | 0 | 0 1502.69/1503.18 c 1503s | 25 | 5642024 | 5552598 | 719 16416 | 0 | 0 1504.69/1505.19 c 1505s | 25 | 5649105 | 5559598 | 719 16433 | 0 | 0 1506.70/1507.19 c 1507s | 25 | 5656402 | 5566798 | 719 16450 | 0 | 0 1508.80/1509.21 c 1509s | 25 | 5663670 | 5573998 | 719 16467 | 0 | 0 1510.79/1511.23 c 1511s | 25 | 5671295 | 5581498 | 719 16484 | 0 | 0 1512.79/1513.25 c 1513s | 25 | 5679241 | 5589298 | 719 16503 | 0 | 0 1514.79/1515.27 c 1515s | 25 | 5686854 | 5596798 | 719 16520 | 0 | 0 1516.89/1517.30 c 1517s | 25 | 5694159 | 5603998 | 719 16537 | 0 | 0 1518.89/1519.31 c 1519s | 25 | 5701130 | 5610898 | 719 16553 | 0 | 0 1520.89/1521.32 c 1521s | 25 | 5708507 | 5618198 | 719 16570 | 0 | 0 1522.89/1523.35 c 1523s | 25 | 5715919 | 5625498 | 719 16587 | 0 | 0 1524.89/1525.37 c 1525s | 25 | 5723137 | 5632598 | 719 16604 | 0 | 0 1526.98/1527.40 c 1527s | 25 | 5730188 | 5639498 | 719 16620 | 0 | 0 1528.98/1529.42 c 1529s | 25 | 5737635 | 5646898 | 719 16638 | 0 | 0 1530.98/1531.44 c 1531s | 25 | 5745676 | 5654798 | 719 16656 | 0 | 0 1532.99/1533.44 c 1533s | 25 | 5753090 | 5662098 | 719 16673 | 0 | 0 1534.98/1535.46 c 1535s | 25 | 5760405 | 5669298 | 719 16690 | 0 | 0 1536.98/1537.48 c 1537s | 25 | 5767507 | 5676298 | 719 16707 | 0 | 0 1538.98/1539.48 c 1539s | 25 | 5774604 | 5683298 | 719 16723 | 0 | 0 1541.08/1541.50 c 1541s | 25 | 5782199 | 5690698 | 719 16741 | 0 | 0 1543.08/1543.51 c 1543s | 25 | 5789601 | 5697998 | 719 16758 | 0 | 0 1545.09/1545.53 c 1545s | 25 | 5796997 | 5705298 | 719 16775 | 0 | 0 1547.08/1547.54 c 1547s | 25 | 5804180 | 5712398 | 719 16792 | 0 | 0 1549.08/1549.56 c 1549s | 25 | 5811412 | 5719498 | 719 16809 | 0 | 0 1551.08/1551.57 c 1551s | 25 | 5818626 | 5726598 | 719 16825 | 0 | 0 1553.08/1553.58 c 1553s | 25 | 5826295 | 5734098 | 719 16843 | 0 | 0 1555.08/1555.59 c 1555s | 25 | 5833647 | 5741298 | 719 16860 | 0 | 0 1557.18/1557.61 c 1557s | 25 | 5841006 | 5748598 | 719 16878 | 0 | 0 1559.18/1559.61 c 1559s | 25 | 5848677 | 5756098 | 719 16895 | 0 | 0 1561.17/1561.62 c 1561s | 25 | 5856334 | 5763598 | 719 16913 | 0 | 0 1563.17/1563.63 c 1563s | 25 | 5863910 | 5771098 | 719 16930 | 0 | 0 1565.17/1565.66 c 1565s | 25 | 5871446 | 5778498 | 719 16948 | 0 | 0 1567.18/1567.67 c 1567s | 25 | 5878550 | 5785498 | 719 16964 | 0 | 0 1569.17/1569.68 c 1569s | 25 | 5885904 | 5792698 | 719 16981 | 0 | 0 1571.17/1571.69 c 1571s | 25 | 5892948 | 5799598 | 719 16997 | 0 | 0 1573.27/1573.70 c 1573s | 25 | 5900093 | 5806598 | 719 17014 | 0 | 0 1575.27/1575.70 c 1575s | 25 | 5907195 | 5813598 | 719 17030 | 0 | 0 1577.27/1577.72 c 1577s | 25 | 5914664 | 5820898 | 719 17048 | 0 | 0 1579.28/1579.74 c 1579s | 25 | 5921959 | 5828098 | 719 17065 | 0 | 0 1581.27/1581.75 c 1581s | 25 | 5929296 | 5835298 | 719 17082 | 0 | 0 1583.27/1583.75 c 1583s | 25 | 5936752 | 5842698 | 719 17099 | 0 | 0 1585.27/1585.76 c 1585s | 25 | 5943918 | 5849798 | 719 17116 | 0 | 0 1587.27/1587.79 c 1587s | 25 | 5951147 | 5856898 | 719 17133 | 0 | 0 1589.37/1589.81 c 1589s | 25 | 5958476 | 5864098 | 719 17150 | 0 | 0 1591.38/1591.82 c 1591s | 25 | 5965596 | 5871098 | 719 17166 | 0 | 0 1593.37/1593.82 c 1593s | 25 | 5972819 | 5878198 | 719 17183 | 0 | 0 1595.37/1595.84 c 1595s | 25 | 5980012 | 5885298 | 719 17199 | 0 | 0 1597.37/1597.85 c 1597s | 25 | 5987021 | 5892198 | 719 17216 | 0 | 0 1599.38/1599.88 c 1599s | 25 | 5994527 | 5899598 | 719 17233 | 0 | 0 1601.48/1601.90 c 1601s | 25 | 6001796 | 5906798 | 719 17250 | 0 | 0 1603.48/1603.93 c 1603s | 25 | 6008878 | 5913798 | 719 17266 | 0 | 0 1605.48/1605.95 c 1605s | 25 | 6016044 | 5920898 | 719 17283 | 0 | 0 1607.48/1607.95 c 1607s | 25 | 6023509 | 5928298 | 719 17301 | 0 | 0 1609.47/1609.97 c 1609s | 25 | 6030589 | 5935298 | 719 17317 | 0 | 0 1611.47/1611.97 c 1611s | 25 | 6037779 | 5942398 | 719 17334 | 0 | 0 1613.47/1613.97 c 1613s | 25 | 6045041 | 5949598 | 719 17351 | 0 | 0 1615.48/1615.98 c 1615s | 25 | 6052409 | 5956898 | 719 17368 | 0 | 0 1617.57/1618.01 c 1617s | 25 | 6059877 | 5964298 | 719 17386 | 0 | 0 1619.57/1620.02 c 1620s | 25 | 6067237 | 5971598 | 719 17403 | 0 | 0 1621.57/1622.03 c 1622s | 25 | 6074236 | 5978498 | 719 17419 | 0 | 0 1623.57/1624.04 c 1624s | 25 | 6081313 | 5985498 | 719 17436 | 0 | 0 1625.57/1626.07 c 1626s | 25 | 6088386 | 5992498 | 719 17452 | 0 | 0 1627.58/1628.09 c 1628s | 25 | 6095375 | 5999398 | 719 17469 | 0 | 0 1629.67/1630.11 c 1630s | 25 | 6102439 | 6006398 | 719 17485 | 0 | 0 1631.67/1632.11 c 1632s | 25 | 6109655 | 6013498 | 719 17502 | 0 | 0 1633.67/1634.12 c 1634s | 25 | 6116918 | 6020598 | 719 17519 | 0 | 0 1635.67/1636.13 c 1636s | 25 | 6124141 | 6027698 | 719 17535 | 0 | 0 1637.67/1638.14 c 1638s | 25 | 6131693 | 6035098 | 719 17553 | 0 | 0 1639.67/1640.15 c 1640s | 25 | 6139190 | 6042498 | 719 17570 | 0 | 0 1641.67/1642.19 c 1642s | 25 | 6146670 | 6049898 | 719 17588 | 0 | 0 1643.77/1644.21 c 1644s | 25 | 6154277 | 6057398 | 719 17605 | 0 | 0 1645.77/1646.21 c 1646s | 25 | 6161725 | 6064698 | 719 17622 | 0 | 0 1647.77/1648.22 c 1648s | 25 | 6169204 | 6072098 | 719 17640 | 0 | 0 1649.77/1650.25 c 1650s | 25 | 6177170 | 6079998 | 719 17659 | 0 | 0 1651.77/1652.27 c 1652s | 25 | 6184637 | 6087298 | 719 17676 | 0 | 0 1653.76/1654.29 c 1654s | 25 | 6191949 | 6094498 | 719 17693 | 0 | 0 1655.76/1656.29 c 1656s | 25 | 6199280 | 6101698 | 719 17710 | 0 | 0 1657.86/1658.31 c 1658s | 25 | 6206732 | 6109098 | 719 17727 | 0 | 0 1659.86/1660.32 c 1660s | 25 | 6214370 | 6116598 | 719 17745 | 0 | 0 1661.86/1662.33 c 1662s | 25 | 6221643 | 6123698 | 719 17761 | 0 | 0 1663.87/1664.34 c 1664s | 25 | 6228816 | 6130798 | 719 17778 | 0 | 0 1665.86/1666.36 c 1666s | 25 | 6236019 | 6137898 | 719 17795 | 0 | 0 1667.86/1668.36 c 1668s | 25 | 6243240 | 6144998 | 719 17812 | 0 | 0 1669.86/1670.37 c 1670s | 25 | 6250425 | 6152098 | 719 17829 | 0 | 0 1671.86/1672.38 c 1672s | 25 | 6257995 | 6159498 | 719 17846 | 0 | 0 1673.87/1674.39 c 1674s | 25 | 6265516 | 6166898 | 719 17863 | 0 | 0 1675.97/1676.41 c 1676s | 25 | 6272853 | 6174098 | 719 17880 | 0 | 0 1677.96/1678.43 c 1678s | 25 | 6280445 | 6181598 | 719 17898 | 0 | 0 1679.96/1680.45 c 1680s | 25 | 6288064 | 6189098 | 719 17916 | 0 | 0 1681.96/1682.45 c 1682s | 25 | 6295433 | 6196298 | 719 17933 | 0 | 0 1683.96/1684.47 c 1684s | 25 | 6302923 | 6203698 | 719 17950 | 0 | 0 1685.97/1686.48 c 1686s | 25 | 6310237 | 6210898 | 719 17967 | 0 | 0 1687.96/1688.49 c 1688s | 25 | 6317504 | 6218098 | 719 17984 | 0 | 0 1690.06/1690.50 c 1690s | 25 | 6324747 | 6225198 | 719 18001 | 0 | 0 1692.06/1692.51 c 1692s | 25 | 6331936 | 6232298 | 719 18018 | 0 | 0 1694.06/1694.53 c 1694s | 25 | 6339216 | 6239498 | 719 18035 | 0 | 0 1696.06/1696.55 c 1696s | 25 | 6346380 | 6246498 | 719 18051 | 0 | 0 1698.06/1698.56 c 1698s | 25 | 6353491 | 6253498 | 719 18068 | 0 | 0 1700.06/1700.58 c 1700s | 25 | 6360978 | 6260898 | 719 18085 | 0 | 0 1702.06/1702.58 c 1702s | 25 | 6368259 | 6268098 | 719 18102 | 0 | 0 1704.16/1704.60 c 1704s | 25 | 6375556 | 6275298 | 719 18119 | 0 | 0 1706.15/1706.62 c 1706s | 25 | 6382839 | 6282498 | 719 18136 | 0 | 0 1708.15/1708.64 c 1708s | 25 | 6390139 | 6289698 | 719 18153 | 0 | 0 1710.16/1710.64 c 1710s | 25 | 6397288 | 6296798 | 719 18170 | 0 | 0 1712.15/1712.66 c 1712s | 25 | 6404433 | 6303798 | 719 18187 | 0 | 0 1714.15/1714.67 c 1714s | 25 | 6411808 | 6311098 | 719 18204 | 0 | 0 1716.15/1716.69 c 1716s | 25 | 6419214 | 6318398 | 719 18222 | 0 | 0 1718.25/1718.71 c 1718s | 25 | 6426543 | 6325598 | 719 18238 | 0 | 0 1720.25/1720.73 c 1720s | 25 | 6433842 | 6332798 | 719 18255 | 0 | 0 1722.26/1722.74 c 1722s | 25 | 6441077 | 6339898 | 719 18272 | 0 | 0 1724.25/1724.77 c 1724s | 25 | 6448082 | 6346798 | 719 18289 | 0 | 0 1726.25/1726.80 c 1726s | 25 | 6455090 | 6353698 | 719 18305 | 0 | 0 1728.35/1728.81 c 1728s | 25 | 6462225 | 6360698 | 719 18322 | 0 | 0 1730.35/1730.82 c 1730s | 25 | 6469541 | 6367898 | 719 18339 | 0 | 0 1732.35/1732.83 c 1732s | 25 | 6477006 | 6375198 | 719 18356 | 0 | 0 1734.36/1734.85 c 1734s | 25 | 6484241 | 6382298 | 719 18373 | 0 | 0 1736.35/1736.87 c 1736s | 25 | 6491539 | 6389498 | 719 18390 | 0 | 0 1738.36/1738.88 c 1738s | 25 | 6498731 | 6396598 | 719 18406 | 0 | 0 1740.45/1740.90 c 1740s | 25 | 6505963 | 6403698 | 719 18423 | 0 | 0 1742.45/1742.91 c 1742s | 25 | 6513057 | 6410698 | 719 18440 | 0 | 0 1744.45/1744.94 c 1744s | 25 | 6520241 | 6417798 | 719 18457 | 0 | 0 1746.46/1746.97 c 1746s | 25 | 6527594 | 6424998 | 719 18474 | 0 | 0 1748.45/1748.98 c 1748s | 25 | 6535197 | 6432498 | 719 18491 | 0 | 0 1750.45/1750.99 c 1750s | 25 | 6542378 | 6439598 | 719 18508 | 0 | 0 1752.55/1753.01 c 1752s | 25 | 6549581 | 6446698 | 719 18525 | 0 | 0 1754.55/1755.03 c 1755s | 25 | 6557142 | 6454098 | 719 18543 | 0 | 0 1756.55/1757.05 c 1757s | 25 | 6564599 | 6461398 | 719 18560 | 0 | 0 1758.56/1759.06 c 1759s | 25 | 6572282 | 6468998 | 719 18578 | 0 | 0 1760.55/1761.08 c 1761s | 25 | 6579885 | 6476498 | 719 18596 | 0 | 0 1762.55/1763.09 c 1763s | 25 | 6587188 | 6483698 | 719 18613 | 0 | 0 1764.55/1765.09 c 1765s | 25 | 6594551 | 6490898 | 719 18630 | 0 | 0 1766.65/1767.11 c 1767s | 25 | 6602026 | 6498198 | 719 18647 | 0 | 0 1768.65/1769.13 c 1769s | 25 | 6609520 | 6505598 | 719 18664 | 0 | 0 1770.65/1771.15 c 1771s | 25 | 6616958 | 6512898 | 719 18682 | 0 | 0 1772.65/1773.15 c 1773s | 25 | 6624171 | 6519998 | 719 18699 | 0 | 0 1774.65/1775.17 c 1775s | 25 | 6631466 | 6527198 | 719 18716 | 0 | 0 1776.65/1777.18 c 1777s | 25 | 6638355 | 6533998 | 719 18732 | 0 | 0 1778.65/1779.18 c 1779s | 25 | 6645853 | 6541298 | 719 18749 | 0 | 0 1780.75/1781.21 c 1781s | 25 | 6653413 | 6548698 | 719 18767 | 0 | 0 1782.75/1783.21 c 1783s | 25 | 6660912 | 6555998 | 719 18784 | 0 | 0 1784.74/1785.23 c 1785s | 25 | 6668555 | 6563498 | 719 18802 | 0 | 0 1786.74/1787.24 c 1787s | 25 | 6675978 | 6570798 | 719 18819 | 0 | 0 1788.74/1789.25 c 1789s | 25 | 6683356 | 6577998 | 719 18836 | 0 | 0 1790.74/1791.26 c 1791s | 25 | 6690929 | 6585498 | 719 18854 | 0 | 0 1792.74/1793.26 c 1793s | 25 | 6698332 | 6592798 | 719 18871 | 0 | 0 1794.75/1795.27 c 1795s | 25 | 6705785 | 6600198 | 719 18889 | 0 | 0 1796.74/1797.29 c 1797s | 25 | 6713451 | 6607798 | 719 18907 | 0 | 0 1798.84/1799.31 c 1799s | 25 | 6721511 | 6615798 | 719 18926 | 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-4105593-1466252110/watcher-4105593-1466252110 -o /tmp/evaluation-result-4105593-1466252110/solver-4105593-1466252110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105593-1466252110.opb pid=5632 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.11 2.09 2.08 3/179 5635 /proc/meminfo: memFree=30180096/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=673212 CPUtime=0 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 2501 0 0 0 0 0 0 0 20 0 4 0 27261112 689369088 2862 33554432000 4194304 16246674 140735229222592 140735229222016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 168815 2872 441 2943 0 165709 0 [pid=5635/tid=5636] ppid=5632 vsize=717244 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 734457856 3035 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=722364 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 739700736 3054 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=726460 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 743895040 3071 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.11 2.09 2.08 3/179 5635 /proc/meminfo: memFree=30180096/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 21162 0 0 0 7 2 0 0 20 0 4 0 27261112 1247350784 21509 33554432000 4194304 16246674 140735229222592 140735229222016 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 304529 21518 770 2943 0 301423 0 [pid=5635/tid=5636] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 21526 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 21536 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 21548 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200533 s] /proc/loadavg: 2.11 2.09 2.08 3/179 5635 /proc/meminfo: memFree=30180096/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 40521 0 0 0 14 5 0 0 20 0 4 0 27261112 1247350784 40868 33554432000 4194304 16246674 140735229222592 140735229222016 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 304529 40874 770 2943 0 301423 0 [pid=5635/tid=5636] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 40882 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 40889 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 40890 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300478 s] /proc/loadavg: 2.11 2.09 2.08 3/179 5635 /proc/meminfo: memFree=30180096/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 59931 0 0 0 22 7 0 0 20 0 4 0 27261112 1247350784 60278 33554432000 4194304 16246674 140735229222592 140735229222016 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 304529 60279 770 2943 0 301423 0 [pid=5635/tid=5636] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 60282 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 60286 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 60296 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700409 s] /proc/loadavg: 2.11 2.09 2.08 3/179 5635 /proc/meminfo: memFree=30180096/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 136835 0 0 0 51 18 0 0 20 0 4 0 27261112 1247350784 137183 33554432000 4194304 16246674 140735229222592 140735229204480 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 304529 137189 770 2943 0 301423 0 [pid=5635/tid=5636] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 137190 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 137193 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1247350784 137196 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.11 2.09 2.08 3/183 5639 /proc/meminfo: memFree=29307900/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 245725 0 0 0 118 31 0 0 20 0 4 0 27261112 1248399360 246050 33554432000 4194304 16246674 140735229222592 140735229221904 5861144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 304785 246050 833 2943 0 301679 0 [pid=5635/tid=5636] ppid=5632 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1248399360 246050 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1248399360 246050 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1248399360 246050 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10043 s] /proc/loadavg: 2.11 2.09 2.08 3/183 5639 /proc/meminfo: memFree=29109872/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 267431 0 0 0 275 34 0 0 20 0 4 0 27261112 1337528320 267756 33554432000 4194304 16246674 140735229222592 140735229204480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 326545 267756 833 2943 0 323439 0 [pid=5635/tid=5636] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267756 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267756 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267756 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30044 s] /proc/loadavg: 2.10 2.09 2.08 3/183 5639 /proc/meminfo: memFree=29109256/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 267503 0 0 0 595 34 0 0 20 0 4 0 27261112 1337528320 267828 33554432000 4194304 16246674 140735229222592 140735229204480 12477827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 326545 267828 833 2943 0 323439 0 [pid=5635/tid=5636] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267828 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267828 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267828 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.09 2.09 2.08 3/183 5639 /proc/meminfo: memFree=29108664/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 267507 0 0 0 1234 35 0 0 20 0 4 0 27261112 1337528320 267832 33554432000 4194304 16246674 140735229222592 140735229205592 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 326545 267832 835 2943 0 323439 0 [pid=5635/tid=5636] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267832 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267832 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267832 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.22 2.12 2.09 3/183 5639 /proc/meminfo: memFree=29108788/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 267623 0 0 0 2514 35 0 0 20 0 4 0 27261112 1337528320 267948 33554432000 4194304 16246674 140735229222592 140735229205592 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 326545 267948 835 2943 0 323439 0 [pid=5635/tid=5636] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267948 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267948 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267948 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.23 2.12 2.09 3/183 5639 /proc/meminfo: memFree=29108828/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 267624 0 0 0 5073 35 0 0 20 0 4 0 27261112 1337528320 267949 33554432000 4194304 16246674 140735229222592 140735229205592 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 326545 267949 836 2943 0 323439 0 [pid=5635/tid=5636] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267949 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267949 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 267949 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 2.21 2.13 2.10 3/183 5640 /proc/meminfo: memFree=29108124/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1306180 CPUtime=102.27 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 267636 0 0 0 10192 35 0 0 20 0 4 0 27261112 1337528320 268208 33554432000 4194304 16246674 140735229222592 140735229204480 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 326545 268208 837 2943 0 323439 0 [pid=5635/tid=5636] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 268208 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 268208 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1337528320 268208 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1308228 [startup+1362.3 s] /proc/loadavg: 2.21 2.22 2.15 3/183 5720 /proc/meminfo: memFree=29104408/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1361.9 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 136140 50 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229204480 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1308228 [startup+1422.3 s] /proc/loadavg: 2.14 2.20 2.15 3/183 5721 /proc/meminfo: memFree=29104484/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1421.91 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 142140 51 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229204480 5712192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1308228 [startup+1482.3 s] /proc/loadavg: 2.14 2.19 2.14 3/183 5723 /proc/meminfo: memFree=29104636/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1481.89 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 148138 51 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229205592 5827682 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1308228 [startup+1542.31 s] /proc/loadavg: 2.17 2.18 2.14 3/184 5727 /proc/meminfo: memFree=29104608/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1541.89 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 154137 52 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229204480 5822648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1308228 [startup+1602.3 s] /proc/loadavg: 2.20 2.18 2.14 3/183 5728 /proc/meminfo: memFree=29104488/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1601.88 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 160135 53 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229205592 12460548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1308228 [startup+1662.3 s] /proc/loadavg: 2.12 2.16 2.14 3/183 5729 /proc/meminfo: memFree=29104144/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1661.86 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 166133 53 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229204480 6011672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1308228 [startup+1722.3 s] /proc/loadavg: 2.16 2.16 2.14 3/183 5730 /proc/meminfo: memFree=29103952/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1721.85 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 172132 53 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229204480 5672988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1308228 [startup+1782.3 s] /proc/loadavg: 2.19 2.16 2.13 3/183 5732 /proc/meminfo: memFree=29103828/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1781.85 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 178131 54 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229204480 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1308228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.14 2.15 2.13 3/183 5732 /proc/meminfo: memFree=29103712/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1800.04 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 179950 54 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229204480 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1308228 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 5635 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.14 2.15 2.13 3/183 5732 /proc/meminfo: memFree=29103712/32872528 swapFree=526336/559040 [pid=5635] ppid=5632 vsize=1308228 CPUtime=1800.04 cores=1,3,5,7 /proc/5635/stat : 5635 (toysat) R 5632 5635 28898 0 -1 4202496 268350 0 0 0 179950 54 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140735229204480 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5635/statm: 327057 268582 838 2943 0 323951 0 [pid=5635/tid=5636] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5636/stat : 5636 (toysat) S 5632 5635 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575280966896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5635/tid=5637] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5637/stat : 5637 (toysat) S 5632 5635 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575270477040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5635/tid=5638] ppid=5632 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5635/task/5638/stat : 5638 (toysat) S 5632 5635 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27261112 1339625472 268582 33554432000 4194304 16246674 140735229222592 140575152008368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1308228 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.51 CPU system time (s): 0.545917 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 1308228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.545917 maximum resident set size= 1074328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268350 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= 363 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.52431 second user time and 6.99694 second system time The end
Begin job on node106 at 2016-06-18 14:15:10 IDJOB=4105593 IDBENCH=2921 IDSOLVER=2542 FILE ID=node106/4105593-1466252110 RUNJOBID= node106-1466241787-28915 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_7_60_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105593-1466252110/watcher-4105593-1466252110 -o /tmp/evaluation-result-4105593-1466252110/solver-4105593-1466252110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105593-1466252110.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED=1472070781 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: 30181128 kB Buffers: 97136 kB Cached: 212848 kB SwapCached: 1868 kB Active: 1168204 kB Inactive: 218728 kB Active(anon): 1076116 kB Inactive(anon): 3048 kB Active(file): 92088 kB Inactive(file): 215680 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16408 kB Writeback: 0 kB AnonPages: 1635260 kB Mapped: 10460 kB Shmem: 0 kB Slab: 612116 kB SReclaimable: 55856 kB SUnreclaim: 556260 kB KernelStack: 1480 kB PageTables: 7060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1777940 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1030144 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:45:11