| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb |
| MD5SUM | 133707692e98c55077a0d19203c18204 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.141977 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 162 |
| Total number of constraints | 13 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 486 |
| Sum of products size (including duplicates) | 972 |
| Number of different products | 486 |
| Sum of products size | 972 |
0.00/0.00 c 2016-06-18T19:05:23+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-4106331-1466269523.opb"] 0.00/0.01 c use --random-gen="496859818 3642244298 1279017604 1599373877 3260033061 444939773 691848945 497870158 997825728 442526831 207555660 187492273 317811123 3099625883 701135482 3896921053 2915299778 1205469602 698229918 3671255936 1993375716 3653857676 260897034 1527024131 3702864692 940771748 1342457757 2584989256 723224725 2076720701 3129200629 1878666068 1944138275 1587504301 1986005303 54469630 2650449097 1123924117 3299441150 1301378531 2310814988 577746440 3549412724 3211598376 1668205403 3867292414 3938803981 1912405677 369120684 747896982 2553652176 485530361 1534579711 1129203600 3289725443 3777273828 2452305931 1536666337 3886990880 2307325440 2534187668 1387914902 101501751 272076011 2967214384 1566541074 2195943645 3519107926 1064176813 2441282975 2561162166 2923325265 2254475506 3327611632 3748458128 3483539321 1944197021 3611897821 4175969402 269946037 3898615417 3837757272 2195115078 710155041 4091072399 3176140855 1665285862 279365286 3580562822 2888600385 4202032220 2124181454 3968122539 1788134056 2574600748 3430792919 2567202725 2295672241 1591056184 3307039680 1641125546 1917833959 129150969 743778749 2996316383 3677316995 1785765517 41873901 3009812493 470006418 2555338370 1185943795 497957560 1215446125 247913392 1533765629 2972442474 1455889967 206584985 150034694 3925824530 3920296461 3566621345 2271742509 178398044 2604137585 2840162275 797390681 1696223185 2931748309 1694132618 1111584553 3537523920 4234350860 360427787 2889740242 919466522 2398105390 3221843011 2280337849 2338365095 2136543542 1248892611 1953533601 3550095012 1451762205 3276760115 2570168890 1237271817 4079192191 3686391499 843373488 1781862562 4197832081 362745510 4159470299 828422457 1584351098 2600621182 2929982118 738679145 316708281 1936065334 1288649299 671342553 567859570 621879657 2084975709 2284092919 4251021348 4010742246 197190719 2264584889 1772952764 2871628808 876557645 686461783 1647241161 3266100373 35466469 2505391704 2579298880 2580490916 2351843935 843499111 4142344625 285888307 3510916001 3281218576 3721906829 837118190 4064114299 908797839 1898162868 1522313724 1673689604 2887234817 1075513148 1943840050 1509999170 182427396 4139029080 1902595790 1487373580 2182330187 1478296109 3202899664 3518457416 2345583655 2091380925 3752583314 3272686432 1400537989 3879850201 1618212154 1539705238 3660111147 2562459673 1694552975 3994498736 4001773458 751274740 2689089505 4060476344 3619174598 1017120957 2429185265 2827652193 2578612625 1443923799 3954464305 2659232752 3935727546 3865208480 3569211165 1989673973 3377365269 587387581 3576099661 2343200545 3996315075 3717707764 1532601825 2462355312 896741675 2202126390 1824060799 319924784 4096196222 3514429354 3374205162 2056494571 181966222 1768405039 3235542341 3238873938 255 362436" option to reproduce the execution 0.00/0.02 c #vars 162 0.00/0.02 c #constraints 13 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 708 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 114 | 100 | 708 0 | 0 | 0 0.08/0.10 c 0.1s | 2 | 282 | 250 | 779 0 | 0 | 0 0.08/0.16 c 0.1s | 3 | 545 | 475 | 857 0 | 0 | 0 0.19/0.26 c 0.2s | 4 | 904 | 813 | 943 0 | 0 | 0 0.39/0.42 c 0.4s | 5 | 1464 | 1320 | 1038 1 | 0 | 0 0.59/0.68 c 0.6s | 6 | 2290 | 2081 | 1257 1 | 0 | 0 0.98/1.06 c 1.0s | 7 | 3502 | 3223 | 1383 3 | 0 | 0 2.08/2.18 c 2.2s | 8 | 5348 | 4936 | 1522 4 | 0 | 0 3.39/3.49 c 3.5s | 9 | 8208 | 7506 | 1675 7 | 0 | 0 5.49/5.51 c 5.5s | 9 | 11248 | 10406 | 1675 10 | 0 | 0 5.99/6.06 c 6.0s | 10 | 12230 | 11361 | 1843 11 | 0 | 0 7.58/7.60 c 7.6s | 11 | 18312 | 17144 | 2028 16 | 0 | 0 9.58/9.62 c 9.6s | 11 | 25664 | 24244 | 2028 22 | 0 | 0 9.99/10.01 c 10.0s | 12 | 27276 | 25819 | 2231 23 | 0 | 0 11.98/12.03 c 12.0s | 12 | 32224 | 30419 | 2231 27 | 0 | 0 13.98/14.08 c 14.0s | 12 | 36141 | 34019 | 2231 29 | 0 | 0 15.98/16.09 c 16.1s | 12 | 40904 | 38519 | 2231 32 | 0 | 0 16.08/16.17 c 16.1s | 13 | 41237 | 38832 | 2455 33 | 0 | 0 18.08/18.17 c 18.1s | 13 | 49604 | 46932 | 2455 38 | 0 | 0 20.08/20.17 c 20.1s | 13 | 56481 | 53732 | 2455 43 | 0 | 0 21.68/21.78 c 21.7s | 14 | 61159 | 58352 | 2701 46 | 0 | 0 23.78/23.80 c 23.8s | 14 | 67149 | 63952 | 2701 50 | 0 | 0 25.78/25.80 c 25.8s | 14 | 72862 | 69352 | 2701 54 | 0 | 0 27.78/27.82 c 27.8s | 14 | 79024 | 75252 | 2701 57 | 0 | 0 29.79/29.86 c 29.8s | 14 | 85734 | 81652 | 2701 62 | 0 | 0 31.78/31.89 c 31.9s | 14 | 91644 | 87252 | 2972 65 | 0 | 0 32.08/32.11 c 32.1s | 15 | 92034 | 87632 | 2972 65 | 0 | 0 34.08/34.13 c 34.1s | 15 | 100220 | 95532 | 2972 70 | 0 | 0 36.08/36.14 c 36.1s | 15 | 107821 | 102732 | 2972 74 | 0 | 0 37.48/37.51 c 37.5s | 15 | 112819 | 107441 | 2972 77 | 0 | 0 37.48/37.51 c #cpu_time = 37.386s 37.48/37.51 c #wall_clock_time = 37.481s 37.48/37.51 c #decision = 112819 37.48/37.51 c #random_decision = 397 37.48/37.51 c #conflict = 107441 37.48/37.51 c #restart = 15 37.48/37.51 o 511 37.48/37.51 c BCD2: updating upper bound: 511 -> 510 37.48/37.51 c BCD2: 0 <= obj <= 510 37.48/37.51 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 37.48/37.51 c BCD2: #sat=1 #unsat=1 bias=1/2 37.48/37.51 c Solving starts ... 37.48/37.51 c ============================[ Search Statistics ]============================ 37.48/37.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 37.48/37.51 c | | | | Limit GC | Var | Constra 37.48/37.51 c ============================================================================= 37.48/37.51 c 0.0s | 0 | 0 | 0 | 2972 0 | 0 | 0 37.48/37.52 c 0.0s | 0 | 7 | 0 | 2972 0 | 0 | 0 37.48/37.52 c #cpu_time = 0.007s 37.48/37.52 c #wall_clock_time = 0.007s 37.48/37.52 c #decision = 7 37.48/37.52 c #random_decision = 0 37.48/37.52 c #conflict = 0 37.48/37.52 c #restart = 0 37.48/37.52 c BCD2: found a new core of size 8: cost of the new core is >=2 37.48/37.52 c lower bound updated to 2 37.48/37.52 c BCD2: 2 <= obj <= 510 37.48/37.52 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 37.48/37.52 c BCD2: #sat=1 #unsat=2 bias=2/3 37.48/37.52 c Solving starts ... 37.48/37.52 c ============================[ Search Statistics ]============================ 37.48/37.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 37.48/37.52 c | | | | Limit GC | Var | Constra 37.48/37.52 c ============================================================================= 37.48/37.52 c 0.0s | 0 | 0 | 0 | 2972 0 | 0 | 0 37.58/37.61 c 0.1s | 1 | 203 | 100 | 2972 0 | 0 | 0 37.58/37.67 c 0.2s | 2 | 476 | 250 | 2972 0 | 0 | 0 37.68/37.72 c 0.2s | 3 | 716 | 475 | 2972 0 | 0 | 0 37.68/37.80 c 0.3s | 4 | 1147 | 813 | 2972 1 | 0 | 0 37.88/37.91 c 0.4s | 5 | 1706 | 1320 | 2972 1 | 0 | 0 38.28/38.37 c 0.8s | 6 | 2546 | 2081 | 2972 1 | 0 | 0 38.58/38.68 c 1.2s | 7 | 3906 | 3223 | 2972 2 | 0 | 0 39.58/39.67 c 2.2s | 8 | 5741 | 4936 | 2972 3 | 0 | 0 40.28/40.38 c 2.9s | 9 | 8559 | 7506 | 2972 5 | 0 | 0 42.28/42.37 c 4.9s | 10 | 12632 | 11361 | 2972 7 | 0 | 0 44.18/44.26 c 6.7s | 11 | 18847 | 17144 | 2972 10 | 0 | 0 46.18/46.29 c 8.8s | 11 | 24958 | 22944 | 2972 14 | 0 | 0 47.18/47.23 c 9.7s | 12 | 28011 | 25819 | 3270 15 | 0 | 0 49.18/49.25 c 11.7s | 12 | 34273 | 31819 | 3270 19 | 0 | 0 51.18/51.28 c 13.8s | 12 | 40755 | 38119 | 3270 22 | 0 | 0 51.48/51.50 c 14.0s | 13 | 41473 | 38832 | 3270 22 | 0 | 0 53.47/53.50 c 16.0s | 13 | 48006 | 45232 | 3270 26 | 0 | 0 55.47/55.51 c 18.0s | 13 | 55247 | 52032 | 3270 30 | 0 | 0 57.47/57.53 c 20.0s | 13 | 61827 | 58232 | 3270 33 | 0 | 0 57.47/57.56 c 20.0s | 14 | 61948 | 58352 | 3270 33 | 0 | 0 59.57/59.61 c 22.1s | 14 | 66653 | 62652 | 3270 35 | 0 | 0 61.58/61.63 c 24.1s | 14 | 72718 | 68552 | 3270 39 | 0 | 0 63.57/63.66 c 26.1s | 14 | 78754 | 74452 | 3270 42 | 0 | 0 65.57/65.67 c 28.2s | 14 | 84918 | 80452 | 3270 45 | 0 | 0 67.67/67.70 c 30.2s | 14 | 89618 | 84952 | 3270 47 | 0 | 0 68.67/68.76 c 31.2s | 15 | 92334 | 87632 | 3270 49 | 0 | 0 70.67/70.77 c 33.2s | 15 | 99090 | 94032 | 3598 52 | 0 | 0 72.68/72.78 c 35.3s | 15 | 106018 | 100732 | 3598 56 | 0 | 0 74.78/74.81 c 37.3s | 15 | 113021 | 107432 | 3598 59 | 0 | 0 76.77/76.81 c 39.3s | 15 | 119807 | 113932 | 3598 63 | 0 | 0 78.77/78.82 c 41.3s | 15 | 127305 | 121132 | 3598 66 | 0 | 0 80.77/80.83 c 43.3s | 15 | 134423 | 127932 | 3598 70 | 0 | 0 81.77/81.89 c 44.4s | 16 | 138184 | 131552 | 3598 72 | 0 | 0 83.87/83.92 c 46.4s | 16 | 144594 | 137552 | 3598 75 | 0 | 0 85.87/85.96 c 48.4s | 16 | 150975 | 143552 | 3598 78 | 0 | 0 87.87/87.98 c 50.5s | 16 | 156442 | 148852 | 3598 81 | 0 | 0 89.87/90.00 c 52.5s | 16 | 162764 | 155052 | 3598 84 | 0 | 0 91.97/92.01 c 54.5s | 16 | 168862 | 160952 | 3598 87 | 0 | 0 93.97/94.02 c 56.5s | 16 | 174978 | 166852 | 3598 90 | 0 | 0 95.97/96.04 c 58.5s | 16 | 181098 | 172752 | 3598 93 | 0 | 0 97.97/98.05 c 60.5s | 16 | 187160 | 178352 | 3598 96 | 0 | 0 99.96/100.07 c 62.6s | 16 | 193608 | 184552 | 3598 99 | 0 | 0 102.06/102.10 c 64.6s | 16 | 199534 | 190352 | 3958 101 | 0 | 0 104.06/104.11 c 66.6s | 16 | 205392 | 195952 | 3958 104 | 0 | 0 104.66/104.71 c 67.2s | 17 | 206921 | 197432 | 3958 105 | 0 | 0 106.67/106.72 c 69.2s | 17 | 214236 | 204532 | 3958 108 | 0 | 0 108.66/108.75 c 71.2s | 17 | 220448 | 210632 | 3958 111 | 0 | 0 110.66/110.75 c 73.2s | 17 | 226916 | 216932 | 3958 113 | 0 | 0 112.66/112.77 c 75.3s | 17 | 232968 | 222932 | 3958 116 | 0 | 0 114.67/114.77 c 77.3s | 17 | 239325 | 229132 | 3958 119 | 0 | 0 116.68/116.79 c 79.3s | 17 | 246269 | 235932 | 3958 122 | 0 | 0 118.67/118.80 c 81.3s | 17 | 252559 | 242132 | 3958 125 | 0 | 0 120.77/120.82 c 83.3s | 17 | 259140 | 248532 | 3958 128 | 0 | 0 122.77/122.84 c 85.3s | 17 | 265906 | 255032 | 3958 131 | 0 | 0 124.77/124.87 c 87.4s | 17 | 272671 | 261732 | 3958 134 | 0 | 0 126.77/126.88 c 89.4s | 17 | 279168 | 268032 | 3958 137 | 0 | 0 128.87/128.91 c 91.4s | 17 | 285511 | 274332 | 3958 140 | 0 | 0 130.88/130.92 c 93.4s | 17 | 291556 | 280232 | 3958 142 | 0 | 0 132.87/132.94 c 95.4s | 17 | 297905 | 286532 | 3958 145 | 0 | 0 134.87/134.94 c 97.4s | 17 | 304195 | 292732 | 3958 148 | 0 | 0 135.97/136.02 c 98.5s | 18 | 307743 | 296252 | 3958 150 | 0 | 0 137.97/138.02 c 100s | 18 | 312326 | 300452 | 3958 151 | 0 | 0 139.97/140.06 c 102s | 18 | 317052 | 305052 | 3958 154 | 0 | 0 142.07/142.10 c 104s | 18 | 320252 | 307952 | 3958 155 | 0 | 0 144.07/144.13 c 106s | 18 | 324867 | 312352 | 3958 157 | 0 | 0 146.06/146.19 c 108s | 18 | 327800 | 314852 | 3958 158 | 0 | 0 148.16/148.22 c 110s | 18 | 330959 | 317952 | 3958 159 | 0 | 0 150.16/150.28 c 112s | 18 | 334359 | 321252 | 3958 161 | 0 | 0 152.16/152.28 c 114s | 18 | 337462 | 324252 | 3958 162 | 0 | 0 154.16/154.29 c 116s | 18 | 340666 | 327352 | 3958 164 | 0 | 0 156.27/156.32 c 118s | 18 | 343706 | 330352 | 3958 165 | 0 | 0 158.26/158.34 c 120s | 18 | 346984 | 333552 | 3958 166 | 0 | 0 160.36/160.43 c 122s | 18 | 350029 | 336552 | 4354 168 | 0 | 0 162.36/162.48 c 124s | 18 | 353537 | 339952 | 4354 169 | 0 | 0 164.36/164.49 c 126s | 18 | 356468 | 342752 | 4354 170 | 0 | 0 166.46/166.54 c 129s | 18 | 359624 | 345852 | 4354 171 | 0 | 0 168.46/168.55 c 131s | 18 | 362966 | 349152 | 4354 173 | 0 | 0 170.47/170.57 c 133s | 18 | 366733 | 352852 | 4354 174 | 0 | 0 172.56/172.60 c 135s | 18 | 370471 | 356552 | 4354 176 | 0 | 0 174.56/174.60 c 137s | 18 | 375595 | 361352 | 4354 178 | 0 | 0 176.56/176.62 c 139s | 18 | 381786 | 367352 | 4354 180 | 0 | 0 178.56/178.63 c 141s | 18 | 387820 | 373252 | 4354 183 | 0 | 0 180.56/180.63 c 143s | 18 | 394028 | 379052 | 4354 185 | 0 | 0 182.56/182.65 c 145s | 18 | 400102 | 384652 | 4354 187 | 0 | 0 184.55/184.66 c 147s | 18 | 406037 | 390352 | 4354 190 | 0 | 0 186.55/186.67 c 149s | 18 | 412096 | 395852 | 4354 192 | 0 | 0 188.65/188.71 c 151s | 18 | 417585 | 401052 | 4354 194 | 0 | 0 190.65/190.72 c 153s | 18 | 423769 | 406952 | 4354 196 | 0 | 0 192.65/192.75 c 155s | 18 | 429633 | 412652 | 4354 199 | 0 | 0 194.66/194.76 c 157s | 18 | 435676 | 418452 | 4354 201 | 0 | 0 196.65/196.79 c 159s | 18 | 440912 | 423252 | 4354 203 | 0 | 0 198.75/198.80 c 161s | 18 | 446758 | 428952 | 4354 205 | 0 | 0 200.75/200.80 c 163s | 18 | 452341 | 434352 | 4354 208 | 0 | 0 202.75/202.81 c 165s | 18 | 457863 | 439752 | 4354 210 | 0 | 0 204.66/204.71 c 167s | 19 | 462788 | 444482 | 4354 212 | 0 | 0 206.65/206.73 c 169s | 19 | 468853 | 450282 | 4354 214 | 0 | 0 208.65/208.78 c 171s | 19 | 473893 | 455182 | 4354 216 | 0 | 0 210.76/210.82 c 173s | 19 | 479059 | 459982 | 4354 219 | 0 | 0 212.76/212.85 c 175s | 19 | 483896 | 464482 | 4354 220 | 0 | 0 214.76/214.85 c 177s | 19 | 490780 | 469982 | 4354 223 | 0 | 0 216.76/216.87 c 179s | 19 | 496044 | 475082 | 4354 225 | 0 | 0 218.86/218.91 c 181s | 19 | 500650 | 479582 | 4354 227 | 0 | 0 220.85/220.91 c 183s | 19 | 507857 | 485482 | 4354 229 | 0 | 0 222.85/222.92 c 185s | 19 | 513484 | 491082 | 4354 231 | 0 | 0 224.85/224.94 c 187s | 19 | 519255 | 496782 | 4354 234 | 0 | 0 226.85/226.98 c 189s | 19 | 524876 | 502282 | 4354 236 | 0 | 0 228.86/228.99 c 191s | 19 | 530572 | 507882 | 4354 238 | 0 | 0 230.96/231.01 c 193s | 19 | 535904 | 513182 | 4354 241 | 0 | 0 232.95/233.02 c 195s | 19 | 542193 | 519382 | 4354 243 | 0 | 0 234.95/235.04 c 197s | 19 | 548088 | 525182 | 4354 245 | 0 | 0 236.95/237.04 c 199s | 19 | 554966 | 531982 | 4354 248 | 0 | 0 238.95/239.05 c 201s | 19 | 561638 | 538582 | 4354 251 | 0 | 0 240.96/241.07 c 203s | 19 | 567566 | 544482 | 4354 253 | 0 | 0 242.95/243.10 c 205s | 19 | 573876 | 550682 | 4354 256 | 0 | 0 245.05/245.10 c 207s | 19 | 580349 | 557082 | 4790 258 | 0 | 0 247.05/247.12 c 209s | 19 | 585681 | 562382 | 4790 260 | 0 | 0 249.05/249.13 c 211s | 19 | 591360 | 567882 | 4790 262 | 0 | 0 251.05/251.15 c 213s | 19 | 597375 | 573882 | 4790 265 | 0 | 0 253.05/253.17 c 215s | 19 | 603130 | 579582 | 4790 267 | 0 | 0 255.05/255.17 c 217s | 19 | 609097 | 585282 | 4790 269 | 0 | 0 257.15/257.20 c 219s | 19 | 615005 | 591082 | 4790 271 | 0 | 0 259.15/259.22 c 221s | 19 | 620989 | 596982 | 4790 273 | 0 | 0 261.15/261.23 c 223s | 19 | 626851 | 602582 | 4790 275 | 0 | 0 263.15/263.26 c 225s | 19 | 632688 | 608282 | 4790 277 | 0 | 0 265.15/265.29 c 227s | 19 | 637225 | 612782 | 4790 279 | 0 | 0 267.25/267.31 c 229s | 19 | 643216 | 618582 | 4790 281 | 0 | 0 269.24/269.32 c 231s | 19 | 648986 | 624282 | 4790 283 | 0 | 0 271.24/271.33 c 233s | 19 | 654868 | 629982 | 4790 286 | 0 | 0 273.24/273.37 c 235s | 19 | 660304 | 635382 | 4790 288 | 0 | 0 275.24/275.38 c 237s | 19 | 666059 | 641082 | 4790 290 | 0 | 0 277.34/277.41 c 239s | 19 | 671754 | 646682 | 4790 292 | 0 | 0 279.35/279.44 c 241s | 19 | 678041 | 652682 | 4790 294 | 0 | 0 281.34/281.46 c 243s | 19 | 684002 | 658482 | 4790 296 | 0 | 0 283.34/283.46 c 245s | 19 | 689721 | 664182 | 4790 298 | 0 | 0 284.24/284.38 c 246s | 20 | 692373 | 666827 | 4790 299 | 0 | 0 286.34/286.43 c 248s | 20 | 696592 | 670927 | 4790 301 | 0 | 0 288.34/288.47 c 250s | 20 | 700634 | 674927 | 4790 303 | 0 | 0 290.34/290.47 c 252s | 20 | 704913 | 679127 | 4790 304 | 0 | 0 292.34/292.50 c 254s | 20 | 709483 | 683627 | 4790 306 | 0 | 0 294.44/294.51 c 256s | 20 | 713702 | 687727 | 4790 308 | 0 | 0 296.44/296.55 c 259s | 20 | 716958 | 690627 | 4790 309 | 0 | 0 298.44/298.55 c 261s | 20 | 721328 | 694527 | 4790 310 | 0 | 0 300.54/300.63 c 263s | 20 | 724502 | 697327 | 4790 311 | 0 | 0 302.54/302.67 c 265s | 20 | 727231 | 699927 | 4790 312 | 0 | 0 304.54/304.70 c 267s | 20 | 730505 | 702927 | 4790 313 | 0 | 0 306.64/306.76 c 269s | 20 | 734956 | 707227 | 4790 315 | 0 | 0 308.74/308.80 c 271s | 20 | 736875 | 709127 | 4790 316 | 0 | 0 310.73/310.82 c 273s | 20 | 739694 | 711727 | 4790 317 | 0 | 0 312.73/312.84 c 275s | 20 | 744244 | 716227 | 4790 318 | 0 | 0 314.73/314.84 c 277s | 20 | 748116 | 719827 | 4790 320 | 0 | 0 316.74/316.88 c 279s | 20 | 751748 | 723427 | 4790 321 | 0 | 0 318.73/318.90 c 281s | 20 | 756414 | 728027 | 4790 323 | 0 | 0 320.73/320.90 c 283s | 20 | 760786 | 732327 | 4790 324 | 0 | 0 322.83/322.92 c 285s | 20 | 765189 | 736627 | 4790 326 | 0 | 0 324.83/324.95 c 287s | 20 | 768491 | 739727 | 4790 327 | 0 | 0 326.83/326.95 c 289s | 20 | 772237 | 743327 | 4790 329 | 0 | 0 328.84/328.97 c 291s | 20 | 776470 | 747427 | 4790 330 | 0 | 0 330.93/331.01 c 293s | 20 | 779752 | 750527 | 4790 331 | 0 | 0 332.93/333.02 c 295s | 20 | 783863 | 754527 | 4790 333 | 0 | 0 334.93/335.02 c 297s | 20 | 788520 | 759027 | 4790 334 | 0 | 0 336.93/337.04 c 299s | 20 | 792803 | 763127 | 4790 336 | 0 | 0 338.94/339.05 c 301s | 20 | 796358 | 766527 | 4790 337 | 0 | 0 340.94/341.08 c 303s | 20 | 799970 | 769927 | 4790 338 | 0 | 0 343.04/343.12 c 305s | 20 | 803232 | 773027 | 4790 340 | 0 | 0 345.04/345.15 c 307s | 20 | 806722 | 776427 | 4790 341 | 0 | 0 347.04/347.18 c 309s | 20 | 811214 | 780827 | 4790 343 | 0 | 0 349.03/349.20 c 311s | 20 | 815354 | 784827 | 4790 344 | 0 | 0 351.13/351.24 c 313s | 20 | 819272 | 788627 | 4790 346 | 0 | 0 353.14/353.26 c 315s | 20 | 823014 | 792327 | 4790 347 | 0 | 0 355.13/355.28 c 317s | 20 | 827423 | 796627 | 4790 348 | 0 | 0 357.23/357.30 c 319s | 20 | 830815 | 799927 | 4790 350 | 0 | 0 359.23/359.36 c 321s | 20 | 833318 | 802327 | 4790 351 | 0 | 0 361.23/361.36 c 323s | 20 | 837156 | 806027 | 4790 352 | 0 | 0 363.33/363.41 c 325s | 20 | 840353 | 809027 | 4790 353 | 0 | 0 365.33/365.44 c 327s | 20 | 844486 | 813027 | 4790 355 | 0 | 0 367.34/367.47 c 329s | 20 | 848191 | 816627 | 4790 356 | 0 | 0 369.43/369.54 c 332s | 20 | 852537 | 820827 | 4790 358 | 0 | 0 371.53/371.66 c 334s | 20 | 856375 | 824527 | 4790 359 | 0 | 0 373.73/373.80 c 336s | 20 | 860135 | 828227 | 4790 360 | 0 | 0 375.73/375.82 c 338s | 20 | 863940 | 831927 | 4790 362 | 0 | 0 377.73/377.84 c 340s | 20 | 866872 | 834727 | 4790 363 | 0 | 0 379.73/379.85 c 342s | 20 | 870629 | 838227 | 4790 364 | 0 | 0 381.83/381.91 c 344s | 20 | 874454 | 841927 | 4790 365 | 0 | 0 383.83/383.92 c 346s | 20 | 877869 | 845127 | 4790 367 | 0 | 0 385.83/385.96 c 348s | 20 | 881723 | 848727 | 4790 368 | 0 | 0 387.83/387.99 c 350s | 20 | 885442 | 852327 | 4790 369 | 0 | 0 389.93/390.04 c 352s | 20 | 889889 | 856627 | 4790 371 | 0 | 0 391.93/392.06 c 354s | 20 | 894259 | 860927 | 4790 373 | 0 | 0 394.03/394.11 c 356s | 20 | 898206 | 864727 | 4790 374 | 0 | 0 396.03/396.16 c 358s | 20 | 901486 | 867927 | 4790 375 | 0 | 0 398.03/398.19 c 360s | 20 | 905138 | 871427 | 4790 376 | 0 | 0 400.13/400.20 c 362s | 20 | 908940 | 875027 | 4790 378 | 0 | 0 402.12/402.21 c 364s | 20 | 911764 | 877727 | 4790 379 | 0 | 0 404.12/404.24 c 366s | 20 | 914720 | 880527 | 4790 380 | 0 | 0 406.12/406.28 c 368s | 20 | 919538 | 885227 | 4790 382 | 0 | 0 408.22/408.30 c 370s | 20 | 923365 | 888927 | 5269 383 | 0 | 0 410.23/410.34 c 372s | 20 | 927985 | 893427 | 5269 384 | 0 | 0 412.22/412.39 c 374s | 20 | 931999 | 897227 | 5269 386 | 0 | 0 414.32/414.40 c 376s | 20 | 936039 | 901127 | 5269 387 | 0 | 0 416.32/416.48 c 378s | 20 | 940003 | 904927 | 5269 388 | 0 | 0 418.42/418.54 c 381s | 20 | 943591 | 908327 | 5269 389 | 0 | 0 420.42/420.58 c 383s | 20 | 947908 | 912527 | 5269 391 | 0 | 0 422.52/422.63 c 385s | 20 | 952460 | 916927 | 5269 392 | 0 | 0 424.53/424.63 c 387s | 20 | 956606 | 921027 | 5269 394 | 0 | 0 426.62/426.74 c 389s | 20 | 959842 | 924127 | 5269 395 | 0 | 0 428.62/428.76 c 391s | 20 | 963288 | 927427 | 5269 396 | 0 | 0 430.62/430.77 c 393s | 20 | 966659 | 930627 | 5269 397 | 0 | 0 432.62/432.77 c 395s | 20 | 970527 | 934427 | 5269 398 | 0 | 0 434.72/434.88 c 397s | 20 | 973149 | 936827 | 5269 399 | 0 | 0 436.82/436.94 c 399s | 20 | 975910 | 939327 | 5269 400 | 0 | 0 438.82/438.97 c 401s | 20 | 979086 | 942327 | 5269 401 | 0 | 0 440.92/441.04 c 403s | 20 | 983539 | 946627 | 5269 403 | 0 | 0 442.92/443.07 c 405s | 20 | 987183 | 950127 | 5269 404 | 0 | 0 445.02/445.14 c 407s | 20 | 990781 | 953627 | 5269 405 | 0 | 0 447.02/447.15 c 409s | 20 | 994791 | 957427 | 5269 406 | 0 | 0 449.01/449.19 c 411s | 20 | 1000540 | 963027 | 5269 408 | 0 | 0 451.02/451.19 c 413s | 20 | 1005636 | 967927 | 5269 410 | 0 | 0 453.12/453.22 c 415s | 20 | 1010874 | 973027 | 5269 412 | 0 | 0 455.11/455.25 c 417s | 20 | 1016157 | 978227 | 5269 413 | 0 | 0 457.11/457.25 c 419s | 20 | 1021028 | 982827 | 5269 415 | 0 | 0 459.21/459.30 c 421s | 20 | 1024718 | 986427 | 5269 416 | 0 | 0 461.21/461.32 c 423s | 20 | 1028738 | 990327 | 5269 418 | 0 | 0 463.21/463.38 c 425s | 20 | 1032823 | 994327 | 5269 419 | 0 | 0 465.32/465.40 c 427s | 20 | 1036854 | 998227 | 5269 420 | 0 | 0 466.42/466.51 c 428s | 21 | 1039078 | 1000345 | 5269 421 | 0 | 0 468.41/468.53 c 431s | 21 | 1044859 | 1005645 | 5269 423 | 0 | 0 470.41/470.54 c 433s | 21 | 1049745 | 1010345 | 5269 425 | 0 | 0 472.41/472.55 c 435s | 21 | 1054891 | 1015245 | 5269 426 | 0 | 0 474.41/474.58 c 437s | 21 | 1060380 | 1020545 | 5269 428 | 0 | 0 476.51/476.60 c 439s | 21 | 1065546 | 1025545 | 5269 430 | 0 | 0 478.52/478.62 c 441s | 21 | 1070644 | 1030445 | 5269 432 | 0 | 0 480.51/480.63 c 443s | 21 | 1076167 | 1035845 | 5269 434 | 0 | 0 482.51/482.67 c 445s | 21 | 1081843 | 1041245 | 5269 436 | 0 | 0 484.61/484.72 c 447s | 21 | 1087350 | 1046545 | 5269 438 | 0 | 0 486.61/486.73 c 449s | 21 | 1092708 | 1051645 | 5269 439 | 0 | 0 488.61/488.77 c 451s | 21 | 1098450 | 1057145 | 5269 441 | 0 | 0 490.61/490.79 c 453s | 21 | 1104040 | 1062345 | 5269 443 | 0 | 0 492.71/492.81 c 455s | 21 | 1109679 | 1067745 | 5269 445 | 0 | 0 494.70/494.81 c 457s | 21 | 1114432 | 1072345 | 5269 447 | 0 | 0 496.70/496.85 c 459s | 21 | 1119441 | 1077245 | 5269 448 | 0 | 0 498.70/498.89 c 461s | 21 | 1124600 | 1082245 | 5269 450 | 0 | 0 500.80/500.92 c 463s | 21 | 1129487 | 1086945 | 5269 452 | 0 | 0 502.80/502.93 c 465s | 21 | 1134512 | 1091845 | 5269 454 | 0 | 0 504.82/504.98 c 467s | 21 | 1139974 | 1096945 | 5269 455 | 0 | 0 506.81/506.98 c 469s | 21 | 1145617 | 1102345 | 5269 457 | 0 | 0 508.91/509.00 c 471s | 21 | 1151144 | 1107445 | 5269 459 | 0 | 0 510.91/511.03 c 473s | 21 | 1156784 | 1112845 | 5269 461 | 0 | 0 512.91/513.04 c 475s | 21 | 1162444 | 1118345 | 5269 463 | 0 | 0 514.91/515.07 c 477s | 21 | 1168371 | 1123945 | 5269 465 | 0 | 0 516.92/517.08 c 479s | 21 | 1174053 | 1129245 | 5269 467 | 0 | 0 519.01/519.11 c 481s | 21 | 1179767 | 1134745 | 5269 469 | 0 | 0 521.01/521.11 c 483s | 21 | 1185242 | 1140045 | 5269 471 | 0 | 0 523.01/523.14 c 485s | 21 | 1191002 | 1145545 | 5269 473 | 0 | 0 525.01/525.15 c 487s | 21 | 1196252 | 1150545 | 5269 474 | 0 | 0 527.01/527.18 c 489s | 21 | 1201478 | 1155445 | 5269 476 | 0 | 0 529.01/529.19 c 491s | 21 | 1206481 | 1160345 | 5269 478 | 0 | 0 531.11/531.21 c 493s | 21 | 1211825 | 1165545 | 5269 480 | 0 | 0 533.11/533.24 c 495s | 21 | 1216941 | 1170445 | 5269 481 | 0 | 0 535.11/535.24 c 497s | 21 | 1221930 | 1175245 | 5269 483 | 0 | 0 537.11/537.26 c 499s | 21 | 1226285 | 1179445 | 5269 485 | 0 | 0 539.11/539.28 c 501s | 21 | 1231404 | 1184345 | 5269 486 | 0 | 0 541.11/541.29 c 503s | 21 | 1236575 | 1189245 | 5269 488 | 0 | 0 543.21/543.31 c 505s | 21 | 1242254 | 1194445 | 5269 490 | 0 | 0 545.20/545.38 c 507s | 21 | 1247152 | 1198845 | 5269 492 | 0 | 0 547.20/547.39 c 509s | 21 | 1252616 | 1204045 | 5269 493 | 0 | 0 549.30/549.42 c 511s | 21 | 1257835 | 1209145 | 5269 495 | 0 | 0 551.30/551.44 c 513s | 21 | 1263311 | 1214445 | 5269 497 | 0 | 0 553.31/553.47 c 515s | 21 | 1268029 | 1219045 | 5269 499 | 0 | 0 555.30/555.49 c 517s | 21 | 1273948 | 1224745 | 5269 501 | 0 | 0 557.40/557.51 c 519s | 21 | 1279474 | 1230145 | 5269 503 | 0 | 0 559.40/559.51 c 521s | 21 | 1285064 | 1235645 | 5269 505 | 0 | 0 561.40/561.52 c 524s | 21 | 1290379 | 1240845 | 5269 506 | 0 | 0 563.40/563.55 c 526s | 21 | 1295300 | 1245645 | 5269 508 | 0 | 0 565.41/565.59 c 528s | 21 | 1300440 | 1250645 | 5269 510 | 0 | 0 567.51/567.61 c 530s | 21 | 1305618 | 1255545 | 5269 512 | 0 | 0 569.50/569.64 c 532s | 21 | 1310508 | 1260245 | 5269 513 | 0 | 0 571.50/571.68 c 534s | 21 | 1315764 | 1265245 | 5269 515 | 0 | 0 573.60/573.72 c 536s | 21 | 1321143 | 1270445 | 5269 517 | 0 | 0 575.60/575.76 c 538s | 21 | 1326272 | 1275345 | 5269 519 | 0 | 0 577.70/577.80 c 540s | 21 | 1331933 | 1280745 | 5269 521 | 0 | 0 579.71/579.81 c 542s | 21 | 1337181 | 1285745 | 5269 522 | 0 | 0 581.70/581.81 c 544s | 21 | 1342942 | 1291245 | 5269 524 | 0 | 0 583.70/583.86 c 546s | 21 | 1348258 | 1296345 | 5269 526 | 0 | 0 585.70/585.88 c 548s | 21 | 1353752 | 1301645 | 5269 528 | 0 | 0 587.80/587.92 c 550s | 21 | 1359197 | 1306845 | 5269 530 | 0 | 0 589.80/589.92 c 552s | 21 | 1364776 | 1312245 | 5269 532 | 0 | 0 591.80/591.95 c 554s | 21 | 1370081 | 1317345 | 5269 534 | 0 | 0 593.80/593.95 c 556s | 21 | 1375598 | 1322645 | 5269 535 | 0 | 0 595.80/595.96 c 558s | 21 | 1381021 | 1327845 | 5269 537 | 0 | 0 597.80/597.96 c 560s | 21 | 1386021 | 1332645 | 5269 539 | 0 | 0 599.90/600.00 c 562s | 21 | 1391639 | 1337945 | 5269 541 | 0 | 0 601.90/602.03 c 564s | 21 | 1396937 | 1342945 | 5269 543 | 0 | 0 603.90/604.06 c 566s | 21 | 1402334 | 1347845 | 5269 544 | 0 | 0 605.89/606.08 c 568s | 21 | 1407632 | 1352945 | 5269 546 | 0 | 0 607.99/608.10 c 570s | 21 | 1412865 | 1358045 | 5269 548 | 0 | 0 609.99/610.12 c 572s | 21 | 1418382 | 1363345 | 5269 550 | 0 | 0 611.99/612.14 c 574s | 21 | 1423349 | 1368045 | 5269 551 | 0 | 0 613.99/614.16 c 576s | 21 | 1428321 | 1372845 | 5269 553 | 0 | 0 616.00/616.16 c 578s | 21 | 1432982 | 1377345 | 5269 555 | 0 | 0 617.99/618.19 c 580s | 21 | 1438154 | 1382345 | 5269 557 | 0 | 0 620.09/620.20 c 582s | 21 | 1443087 | 1387145 | 5796 558 | 0 | 0 622.09/622.22 c 584s | 21 | 1448579 | 1392445 | 5796 560 | 0 | 0 624.09/624.25 c 586s | 21 | 1453580 | 1397245 | 5796 561 | 0 | 0 626.09/626.28 c 588s | 21 | 1458394 | 1401845 | 5796 563 | 0 | 0 628.10/628.29 c 590s | 21 | 1463809 | 1406845 | 5796 564 | 0 | 0 630.19/630.30 c 592s | 21 | 1468530 | 1411345 | 5796 566 | 0 | 0 632.19/632.32 c 594s | 21 | 1473334 | 1415945 | 5796 567 | 0 | 0 634.19/634.35 c 596s | 21 | 1478541 | 1421045 | 5796 569 | 0 | 0 636.19/636.38 c 598s | 21 | 1483047 | 1425445 | 5796 570 | 0 | 0 638.19/638.39 c 600s | 21 | 1488196 | 1430445 | 5796 572 | 0 | 0 640.28/640.40 c 602s | 21 | 1492870 | 1435045 | 5796 574 | 0 | 0 642.29/642.41 c 604s | 21 | 1497852 | 1439845 | 5796 575 | 0 | 0 644.28/644.43 c 606s | 21 | 1502462 | 1444245 | 5796 577 | 0 | 0 646.28/646.45 c 608s | 21 | 1507673 | 1449245 | 5796 578 | 0 | 0 648.28/648.49 c 610s | 21 | 1512940 | 1454245 | 5796 580 | 0 | 0 650.27/650.49 c 612s | 21 | 1518106 | 1459045 | 5796 581 | 0 | 0 652.37/652.53 c 615s | 21 | 1523274 | 1463645 | 5796 583 | 0 | 0 654.38/654.53 c 617s | 21 | 1528144 | 1468045 | 5796 584 | 0 | 0 656.37/656.56 c 619s | 21 | 1533571 | 1473245 | 5796 586 | 0 | 0 658.37/658.56 c 621s | 21 | 1538549 | 1478045 | 5796 587 | 0 | 0 660.37/660.59 c 623s | 21 | 1543391 | 1482645 | 5796 589 | 0 | 0 662.47/662.63 c 625s | 21 | 1548334 | 1487445 | 5796 590 | 0 | 0 664.47/664.65 c 627s | 21 | 1553226 | 1492245 | 5796 592 | 0 | 0 666.47/666.66 c 629s | 21 | 1558502 | 1497145 | 5796 594 | 0 | 0 668.07/668.29 c 630s | 22 | 1562058 | 1500622 | 5796 595 | 0 | 0 670.06/670.29 c 632s | 22 | 1566360 | 1504622 | 5796 596 | 0 | 0 672.16/672.32 c 634s | 22 | 1570162 | 1508222 | 5796 597 | 0 | 0 674.17/674.37 c 636s | 22 | 1574029 | 1512022 | 5796 598 | 0 | 0 676.26/676.40 c 638s | 22 | 1577989 | 1515922 | 5796 600 | 0 | 0 678.26/678.44 c 640s | 22 | 1581947 | 1519822 | 5796 601 | 0 | 0 680.26/680.47 c 642s | 22 | 1585639 | 1523322 | 5796 602 | 0 | 0 682.36/682.53 c 645s | 22 | 1588790 | 1526422 | 5796 603 | 0 | 0 684.36/684.57 c 647s | 22 | 1592290 | 1529822 | 5796 604 | 0 | 0 686.36/686.59 c 649s | 22 | 1595550 | 1532722 | 5796 605 | 0 | 0 688.46/688.68 c 651s | 22 | 1598568 | 1535522 | 5796 606 | 0 | 0 690.55/690.72 c 653s | 22 | 1601580 | 1538422 | 5796 607 | 0 | 0 692.55/692.78 c 655s | 22 | 1605150 | 1541622 | 5796 608 | 0 | 0 694.55/694.79 c 657s | 22 | 1608160 | 1544322 | 5796 609 | 0 | 0 696.65/696.84 c 659s | 22 | 1611380 | 1547122 | 5796 610 | 0 | 0 698.65/698.89 c 661s | 22 | 1614725 | 1550222 | 5796 611 | 0 | 0 700.66/700.89 c 663s | 22 | 1617606 | 1552722 | 5796 612 | 0 | 0 702.77/702.91 c 665s | 22 | 1620869 | 1555622 | 5796 612 | 0 | 0 704.76/704.99 c 667s | 22 | 1624196 | 1558822 | 5796 614 | 0 | 0 706.86/707.00 c 669s | 22 | 1627310 | 1561622 | 5796 614 | 0 | 0 708.86/709.04 c 671s | 22 | 1630240 | 1564422 | 5796 615 | 0 | 0 710.85/711.06 c 673s | 22 | 1633078 | 1567222 | 5796 616 | 0 | 0 712.95/713.11 c 675s | 22 | 1636026 | 1570122 | 5796 617 | 0 | 0 714.96/715.13 c 677s | 22 | 1638877 | 1572622 | 5796 618 | 0 | 0 716.95/717.14 c 679s | 22 | 1642927 | 1576222 | 5796 619 | 0 | 0 719.05/719.21 c 681s | 22 | 1646850 | 1579722 | 5796 620 | 0 | 0 721.05/721.28 c 683s | 22 | 1649761 | 1582322 | 5796 621 | 0 | 0 723.15/723.36 c 685s | 22 | 1651533 | 1583922 | 5796 621 | 0 | 0 725.15/725.38 c 687s | 22 | 1654188 | 1586322 | 5796 622 | 0 | 0 727.25/727.47 c 689s | 22 | 1656831 | 1588822 | 5796 623 | 0 | 0 729.25/729.49 c 691s | 22 | 1659979 | 1591922 | 5796 624 | 0 | 0 731.35/731.52 c 694s | 22 | 1662172 | 1594022 | 5796 625 | 0 | 0 733.35/733.53 c 696s | 22 | 1664663 | 1596422 | 5796 625 | 0 | 0 735.35/735.57 c 698s | 22 | 1667539 | 1599222 | 5796 626 | 0 | 0 737.34/737.58 c 700s | 22 | 1669973 | 1601622 | 5796 627 | 0 | 0 739.44/739.63 c 702s | 22 | 1672895 | 1604522 | 5796 628 | 0 | 0 741.44/741.67 c 704s | 22 | 1674948 | 1606522 | 5796 629 | 0 | 0 743.45/743.68 c 706s | 22 | 1678067 | 1609522 | 5796 630 | 0 | 0 745.54/745.70 c 708s | 22 | 1680622 | 1612022 | 5796 630 | 0 | 0 747.54/747.71 c 710s | 22 | 1683126 | 1614422 | 5796 631 | 0 | 0 749.54/749.75 c 712s | 22 | 1686470 | 1617722 | 5796 632 | 0 | 0 751.54/751.78 c 714s | 22 | 1689102 | 1620322 | 5796 633 | 0 | 0 753.64/753.81 c 716s | 22 | 1691345 | 1622522 | 5796 634 | 0 | 0 755.65/755.83 c 718s | 22 | 1693790 | 1624822 | 5796 634 | 0 | 0 757.64/757.88 c 720s | 22 | 1696274 | 1627222 | 5796 635 | 0 | 0 759.74/759.94 c 722s | 22 | 1698584 | 1629422 | 5796 636 | 0 | 0 761.74/761.97 c 724s | 22 | 1701155 | 1631922 | 5796 637 | 0 | 0 763.74/763.97 c 726s | 22 | 1703482 | 1634222 | 5796 637 | 0 | 0 765.84/766.05 c 728s | 22 | 1706107 | 1636822 | 5796 638 | 0 | 0 767.84/768.08 c 730s | 22 | 1708890 | 1639522 | 5796 639 | 0 | 0 769.84/770.10 c 732s | 22 | 1710755 | 1641322 | 5796 640 | 0 | 0 771.94/772.11 c 734s | 22 | 1713259 | 1643722 | 5796 640 | 0 | 0 774.04/774.20 c 736s | 22 | 1716182 | 1646522 | 5796 641 | 0 | 0 776.14/776.34 c 738s | 22 | 1718216 | 1648522 | 5796 642 | 0 | 0 778.14/778.34 c 740s | 22 | 1720179 | 1650422 | 5796 642 | 0 | 0 780.13/780.36 c 742s | 22 | 1722649 | 1652822 | 5796 643 | 0 | 0 782.23/782.42 c 744s | 22 | 1724385 | 1654522 | 5796 644 | 0 | 0 784.24/784.46 c 746s | 22 | 1726965 | 1657022 | 5796 644 | 0 | 0 786.34/786.60 c 749s | 22 | 1729431 | 1659422 | 5796 645 | 0 | 0 788.43/788.64 c 751s | 22 | 1731087 | 1661022 | 5796 646 | 0 | 0 790.43/790.67 c 753s | 22 | 1733215 | 1663122 | 5796 646 | 0 | 0 792.63/792.82 c 755s | 22 | 1735687 | 1665522 | 5796 647 | 0 | 0 794.63/794.86 c 757s | 22 | 1737418 | 1667222 | 5796 648 | 0 | 0 796.63/796.88 c 759s | 22 | 1739773 | 1669522 | 5796 648 | 0 | 0 798.73/798.93 c 761s | 22 | 1742391 | 1671922 | 5796 649 | 0 | 0 800.73/800.97 c 763s | 22 | 1745664 | 1675122 | 5796 650 | 0 | 0 802.72/803.00 c 765s | 22 | 1748746 | 1678122 | 5796 651 | 0 | 0 804.82/805.05 c 767s | 22 | 1751325 | 1680622 | 5796 652 | 0 | 0 806.92/807.13 c 769s | 22 | 1754086 | 1683222 | 5796 653 | 0 | 0 809.02/809.21 c 771s | 22 | 1756789 | 1685822 | 5796 653 | 0 | 0 811.02/811.22 c 773s | 22 | 1759676 | 1688622 | 5796 654 | 0 | 0 813.02/813.28 c 775s | 22 | 1761918 | 1690822 | 5796 655 | 0 | 0 815.12/815.32 c 777s | 22 | 1764790 | 1693622 | 5796 656 | 0 | 0 817.13/817.37 c 779s | 22 | 1767870 | 1696622 | 5796 657 | 0 | 0 819.22/819.41 c 781s | 22 | 1769805 | 1698522 | 5796 657 | 0 | 0 821.22/821.46 c 783s | 22 | 1772254 | 1700922 | 5796 658 | 0 | 0 823.32/823.55 c 786s | 22 | 1774195 | 1702822 | 5796 659 | 0 | 0 825.32/825.57 c 788s | 22 | 1776554 | 1705122 | 5796 660 | 0 | 0 827.52/827.71 c 790s | 22 | 1779108 | 1707622 | 5796 660 | 0 | 0 829.51/829.74 c 792s | 22 | 1781957 | 1710322 | 5796 661 | 0 | 0 831.52/831.76 c 794s | 22 | 1784918 | 1713222 | 5796 662 | 0 | 0 833.51/833.77 c 796s | 22 | 1787497 | 1715722 | 5796 663 | 0 | 0 835.61/835.86 c 798s | 22 | 1789823 | 1718022 | 5796 664 | 0 | 0 837.71/837.92 c 800s | 22 | 1792158 | 1720322 | 5796 664 | 0 | 0 839.71/839.96 c 802s | 22 | 1795142 | 1723222 | 5796 665 | 0 | 0 841.70/841.99 c 804s | 22 | 1797641 | 1725522 | 5796 666 | 0 | 0 843.80/844.07 c 806s | 22 | 1799608 | 1727422 | 5796 667 | 0 | 0 845.90/846.11 c 808s | 22 | 1801865 | 1729622 | 5796 667 | 0 | 0 847.91/848.16 c 810s | 22 | 1804224 | 1731922 | 5796 668 | 0 | 0 850.00/850.26 c 812s | 22 | 1806047 | 1733722 | 5796 669 | 0 | 0 852.20/852.40 c 814s | 22 | 1808096 | 1735722 | 5796 669 | 0 | 0 854.20/854.43 c 816s | 22 | 1809627 | 1737222 | 5796 670 | 0 | 0 856.30/856.51 c 818s | 22 | 1811581 | 1739122 | 5796 670 | 0 | 0 858.30/858.55 c 821s | 22 | 1813974 | 1741422 | 5796 671 | 0 | 0 860.40/860.61 c 823s | 22 | 1816426 | 1743822 | 5796 672 | 0 | 0 862.49/862.79 c 825s | 22 | 1818396 | 1745722 | 5796 672 | 0 | 0 864.59/864.82 c 827s | 22 | 1820347 | 1747622 | 5796 673 | 0 | 0 866.60/866.89 c 829s | 22 | 1822280 | 1749522 | 5796 674 | 0 | 0 868.59/868.89 c 831s | 22 | 1824820 | 1751722 | 5796 674 | 0 | 0 870.69/870.90 c 833s | 22 | 1829482 | 1756322 | 5796 676 | 0 | 0 872.69/872.95 c 835s | 22 | 1832364 | 1758922 | 5796 676 | 0 | 0 874.79/875.00 c 837s | 22 | 1836704 | 1762722 | 5796 678 | 0 | 0 876.79/877.02 c 839s | 22 | 1840582 | 1766422 | 5796 679 | 0 | 0 878.79/879.06 c 841s | 22 | 1844261 | 1770022 | 5796 680 | 0 | 0 880.79/881.08 c 843s | 22 | 1847648 | 1773222 | 5796 681 | 0 | 0 882.88/883.10 c 845s | 22 | 1851398 | 1776822 | 5796 682 | 0 | 0 884.88/885.11 c 847s | 22 | 1855205 | 1780622 | 5796 683 | 0 | 0 886.88/887.11 c 849s | 22 | 1859119 | 1784422 | 5796 684 | 0 | 0 888.88/889.18 c 851s | 22 | 1862583 | 1787722 | 5796 686 | 0 | 0 890.98/891.21 c 853s | 22 | 1867058 | 1792122 | 5796 687 | 0 | 0 892.99/893.24 c 855s | 22 | 1871940 | 1796822 | 5796 688 | 0 | 0 894.98/895.27 c 857s | 22 | 1876582 | 1801422 | 5796 690 | 0 | 0 896.98/897.28 c 859s | 22 | 1881337 | 1806022 | 5796 691 | 0 | 0 899.08/899.32 c 861s | 22 | 1885752 | 1810222 | 5796 693 | 0 | 0 901.08/901.36 c 863s | 22 | 1889563 | 1813622 | 5796 694 | 0 | 0 903.18/903.41 c 865s | 22 | 1893501 | 1817522 | 5796 695 | 0 | 0 905.18/905.43 c 867s | 22 | 1897036 | 1820822 | 5796 696 | 0 | 0 907.18/907.45 c 869s | 22 | 1901222 | 1824922 | 5796 697 | 0 | 0 909.17/909.45 c 871s | 22 | 1905055 | 1828522 | 5796 698 | 0 | 0 911.27/911.50 c 873s | 22 | 1908653 | 1831822 | 5796 699 | 0 | 0 913.27/913.57 c 876s | 22 | 1912110 | 1835122 | 5796 700 | 0 | 0 915.27/915.58 c 878s | 22 | 1915417 | 1838222 | 5796 701 | 0 | 0 917.37/917.66 c 880s | 22 | 1919138 | 1841622 | 5796 703 | 0 | 0 919.38/919.68 c 882s | 22 | 1922807 | 1845022 | 5796 704 | 0 | 0 921.47/921.75 c 884s | 22 | 1926001 | 1848022 | 5796 705 | 0 | 0 923.47/923.78 c 886s | 22 | 1931078 | 1852922 | 5796 706 | 0 | 0 925.47/925.80 c 888s | 22 | 1936035 | 1857822 | 5796 708 | 0 | 0 927.57/927.82 c 890s | 22 | 1941360 | 1863022 | 5796 709 | 0 | 0 929.56/929.85 c 892s | 22 | 1946044 | 1867522 | 5796 711 | 0 | 0 931.57/931.88 c 894s | 22 | 1949750 | 1871022 | 5796 712 | 0 | 0 933.56/933.90 c 896s | 22 | 1954387 | 1875522 | 5796 713 | 0 | 0 935.66/935.93 c 898s | 22 | 1959777 | 1880722 | 5796 715 | 0 | 0 937.66/937.95 c 900s | 22 | 1965170 | 1885922 | 5796 716 | 0 | 0 939.66/939.98 c 902s | 22 | 1969794 | 1890422 | 5796 718 | 0 | 0 941.76/942.02 c 904s | 22 | 1974569 | 1895022 | 5796 719 | 0 | 0 943.76/944.05 c 906s | 22 | 1979486 | 1899822 | 5796 721 | 0 | 0 945.77/946.10 c 908s | 22 | 1983829 | 1903922 | 5796 722 | 0 | 0 947.86/948.10 c 910s | 22 | 1987532 | 1907522 | 5796 723 | 0 | 0 949.86/950.13 c 912s | 22 | 1991365 | 1911222 | 5796 724 | 0 | 0 951.86/952.16 c 914s | 22 | 1995624 | 1915022 | 5796 726 | 0 | 0 953.86/954.18 c 916s | 22 | 2000501 | 1919622 | 5796 727 | 0 | 0 955.85/956.19 c 918s | 22 | 2005424 | 1924322 | 5796 729 | 0 | 0 957.86/958.19 c 920s | 22 | 2010001 | 1928722 | 5796 730 | 0 | 0 959.96/960.23 c 922s | 22 | 2014808 | 1933422 | 5796 731 | 0 | 0 961.96/962.25 c 924s | 22 | 2019681 | 1938122 | 5796 733 | 0 | 0 964.06/964.31 c 926s | 22 | 2024265 | 1942622 | 5796 734 | 0 | 0 966.06/966.31 c 928s | 22 | 2028590 | 1946822 | 5796 736 | 0 | 0 968.06/968.33 c 930s | 22 | 2032683 | 1950822 | 5796 737 | 0 | 0 970.06/970.36 c 932s | 22 | 2037130 | 1955122 | 5796 738 | 0 | 0 972.16/972.43 c 934s | 22 | 2041545 | 1959422 | 5796 740 | 0 | 0 974.15/974.44 c 936s | 22 | 2045313 | 1962922 | 5796 741 | 0 | 0 976.15/976.44 c 938s | 22 | 2050363 | 1967822 | 5796 742 | 0 | 0 978.15/978.47 c 940s | 22 | 2055308 | 1972622 | 5796 744 | 0 | 0 980.25/980.55 c 943s | 22 | 2059838 | 1976922 | 5796 745 | 0 | 0 982.25/982.59 c 945s | 22 | 2065388 | 1982322 | 5796 747 | 0 | 0 984.25/984.59 c 947s | 22 | 2069647 | 1986422 | 5796 748 | 0 | 0 986.25/986.59 c 949s | 22 | 2073740 | 1990322 | 5796 749 | 0 | 0 988.35/988.60 c 951s | 22 | 2078548 | 1995022 | 5796 751 | 0 | 0 990.34/990.63 c 953s | 22 | 2082585 | 1998922 | 5796 752 | 0 | 0 992.34/992.68 c 955s | 22 | 2086787 | 2003022 | 5796 753 | 0 | 0 994.44/994.70 c 957s | 22 | 2090487 | 2006522 | 5796 754 | 0 | 0 996.45/996.74 c 959s | 22 | 2095379 | 2011122 | 5796 756 | 0 | 0 998.44/998.75 c 961s | 22 | 2098730 | 2014222 | 5796 757 | 0 | 0 1000.44/1000.76 c 963s | 22 | 2101803 | 2017122 | 5796 758 | 0 | 0 1002.54/1002.85 c 965s | 22 | 2105223 | 2020322 | 5796 759 | 0 | 0 1004.64/1004.90 c 967s | 22 | 2109287 | 2024222 | 5796 760 | 0 | 0 1006.64/1006.92 c 969s | 22 | 2113482 | 2028222 | 5796 761 | 0 | 0 1008.64/1008.93 c 971s | 22 | 2117876 | 2032522 | 5796 763 | 0 | 0 1010.64/1010.93 c 973s | 22 | 2121705 | 2036122 | 5796 764 | 0 | 0 1012.63/1012.95 c 975s | 22 | 2126089 | 2040422 | 5796 765 | 0 | 0 1014.63/1014.98 c 977s | 22 | 2130870 | 2045022 | 5796 767 | 0 | 0 1016.73/1017.02 c 979s | 22 | 2134916 | 2048922 | 5796 768 | 0 | 0 1018.73/1019.06 c 981s | 22 | 2139584 | 2053422 | 5796 769 | 0 | 0 1020.83/1021.10 c 983s | 22 | 2143790 | 2057422 | 5796 770 | 0 | 0 1022.84/1023.12 c 985s | 22 | 2148224 | 2061622 | 5796 772 | 0 | 0 1024.84/1025.13 c 987s | 22 | 2152410 | 2065522 | 5796 773 | 0 | 0 1026.84/1027.14 c 989s | 22 | 2156332 | 2069222 | 5796 774 | 0 | 0 1028.84/1029.19 c 991s | 22 | 2161122 | 2073922 | 5796 776 | 0 | 0 1030.93/1031.22 c 993s | 22 | 2165501 | 2078122 | 5796 777 | 0 | 0 1032.93/1033.25 c 995s | 22 | 2169815 | 2082222 | 5796 778 | 0 | 0 1034.94/1035.25 c 997s | 22 | 2173636 | 2085922 | 5796 779 | 0 | 0 1037.04/1037.33 c 999s | 22 | 2177249 | 2089322 | 5796 781 | 0 | 0 1039.03/1039.36 c 1001s | 22 | 2181060 | 2093022 | 5796 782 | 0 | 0 1041.03/1041.39 c 1003s | 22 | 2184180 | 2095922 | 5796 783 | 0 | 0 1043.13/1043.41 c 1005s | 22 | 2187893 | 2099322 | 5796 784 | 0 | 0 1045.13/1045.42 c 1007s | 22 | 2191644 | 2102922 | 5796 785 | 0 | 0 1047.13/1047.46 c 1009s | 22 | 2195345 | 2106322 | 5796 786 | 0 | 0 1049.13/1049.48 c 1011s | 22 | 2198301 | 2109022 | 5796 787 | 0 | 0 1051.22/1051.51 c 1013s | 22 | 2202179 | 2112522 | 5796 788 | 0 | 0 1053.22/1053.54 c 1016s | 22 | 2206516 | 2116522 | 5796 789 | 0 | 0 1055.22/1055.59 c 1018s | 22 | 2210813 | 2120522 | 5796 790 | 0 | 0 1057.32/1057.60 c 1020s | 22 | 2215577 | 2125122 | 5796 792 | 0 | 0 1059.32/1059.61 c 1022s | 22 | 2218503 | 2127822 | 6376 793 | 0 | 0 1061.32/1061.63 c 1024s | 22 | 2222290 | 2131322 | 6376 794 | 0 | 0 1063.32/1063.65 c 1026s | 22 | 2227041 | 2136022 | 6376 795 | 0 | 0 1065.32/1065.67 c 1028s | 22 | 2232185 | 2141022 | 6376 796 | 0 | 0 1067.32/1067.67 c 1030s | 22 | 2236869 | 2145522 | 6376 798 | 0 | 0 1069.41/1069.71 c 1032s | 22 | 2241849 | 2150422 | 6376 799 | 0 | 0 1071.41/1071.73 c 1034s | 22 | 2246777 | 2155222 | 6376 801 | 0 | 0 1073.42/1073.76 c 1036s | 22 | 2251820 | 2159922 | 6376 802 | 0 | 0 1075.41/1075.79 c 1038s | 22 | 2255729 | 2163622 | 6376 803 | 0 | 0 1077.51/1077.86 c 1040s | 22 | 2259332 | 2167022 | 6376 804 | 0 | 0 1079.50/1079.87 c 1042s | 22 | 2262900 | 2170322 | 6376 805 | 0 | 0 1081.60/1081.94 c 1044s | 22 | 2265156 | 2172522 | 6376 806 | 0 | 0 1083.70/1084.00 c 1046s | 22 | 2268119 | 2175322 | 6376 806 | 0 | 0 1085.70/1086.01 c 1048s | 22 | 2271842 | 2178922 | 6376 807 | 0 | 0 1087.71/1088.03 c 1050s | 22 | 2274788 | 2181722 | 6376 808 | 0 | 0 1089.70/1090.05 c 1052s | 22 | 2278820 | 2185622 | 6376 809 | 0 | 0 1091.90/1092.23 c 1054s | 22 | 2283158 | 2189822 | 6376 811 | 0 | 0 1094.00/1094.33 c 1056s | 22 | 2286426 | 2192622 | 6376 811 | 0 | 0 1096.00/1096.33 c 1058s | 22 | 2288882 | 2194822 | 6376 812 | 0 | 0 1098.00/1098.39 c 1060s | 22 | 2291215 | 2196922 | 6376 813 | 0 | 0 1100.10/1100.41 c 1062s | 22 | 2297465 | 2203022 | 6376 814 | 0 | 0 1102.10/1102.44 c 1064s | 22 | 2303806 | 2209222 | 6376 816 | 0 | 0 1104.10/1104.48 c 1066s | 22 | 2307239 | 2212522 | 6376 817 | 0 | 0 1106.20/1106.52 c 1068s | 22 | 2310658 | 2215722 | 6376 818 | 0 | 0 1108.20/1108.53 c 1071s | 22 | 2313740 | 2218622 | 6376 819 | 0 | 0 1110.19/1110.54 c 1073s | 22 | 2317250 | 2222022 | 6376 820 | 0 | 0 1112.19/1112.57 c 1075s | 22 | 2321155 | 2225422 | 6376 821 | 0 | 0 1114.19/1114.58 c 1077s | 22 | 2325661 | 2229722 | 6376 822 | 0 | 0 1116.30/1116.61 c 1079s | 22 | 2330484 | 2234322 | 6376 823 | 0 | 0 1118.29/1118.64 c 1081s | 22 | 2334562 | 2238222 | 6376 824 | 0 | 0 1120.29/1120.69 c 1083s | 22 | 2338370 | 2241822 | 6376 826 | 0 | 0 1122.39/1122.71 c 1085s | 22 | 2343280 | 2246622 | 6376 827 | 0 | 0 1124.39/1124.71 c 1087s | 22 | 2347544 | 2250822 | 6376 828 | 0 | 0 1124.39/1124.79 c 1087s | 23 | 2347764 | 2251038 | 6376 828 | 0 | 0 1126.49/1126.80 c 1089s | 23 | 2354860 | 2257838 | 6376 830 | 0 | 0 1128.49/1128.83 c 1091s | 23 | 2361385 | 2264238 | 6376 832 | 0 | 0 1130.49/1130.83 c 1093s | 23 | 2366889 | 2269638 | 6376 834 | 0 | 0 1132.48/1132.84 c 1095s | 23 | 2372427 | 2275038 | 6376 835 | 0 | 0 1134.48/1134.85 c 1097s | 23 | 2378522 | 2280938 | 6376 837 | 0 | 0 1136.48/1136.88 c 1099s | 23 | 2384246 | 2286138 | 6376 839 | 0 | 0 1138.48/1138.89 c 1101s | 23 | 2390004 | 2291438 | 6376 840 | 0 | 0 1140.58/1140.90 c 1103s | 23 | 2395440 | 2296338 | 6376 841 | 0 | 0 1142.58/1142.91 c 1105s | 23 | 2401138 | 2301738 | 6376 843 | 0 | 0 1144.58/1144.93 c 1107s | 23 | 2406782 | 2306838 | 6376 845 | 0 | 0 1146.58/1146.94 c 1109s | 23 | 2412557 | 2311938 | 6376 846 | 0 | 0 1148.58/1148.94 c 1111s | 23 | 2417945 | 2317038 | 6376 848 | 0 | 0 1150.57/1150.94 c 1113s | 23 | 2423895 | 2322638 | 6376 849 | 0 | 0 1152.58/1152.97 c 1115s | 23 | 2429616 | 2327938 | 6376 851 | 0 | 0 1154.57/1154.99 c 1117s | 23 | 2434771 | 2332838 | 6376 852 | 0 | 0 1156.67/1157.02 c 1119s | 23 | 2439929 | 2337738 | 6376 854 | 0 | 0 1158.67/1159.04 c 1121s | 23 | 2445698 | 2343238 | 6376 855 | 0 | 0 1160.67/1161.06 c 1123s | 23 | 2450689 | 2348138 | 6376 857 | 0 | 0 1162.67/1163.08 c 1125s | 23 | 2455816 | 2353038 | 6376 858 | 0 | 0 1164.68/1165.09 c 1127s | 23 | 2460983 | 2358038 | 6376 859 | 0 | 0 1166.78/1167.10 c 1129s | 23 | 2466188 | 2363038 | 6376 861 | 0 | 0 1168.77/1169.11 c 1131s | 23 | 2471886 | 2368538 | 6376 862 | 0 | 0 1170.77/1171.13 c 1133s | 23 | 2477304 | 2373538 | 6376 864 | 0 | 0 1172.77/1173.13 c 1135s | 23 | 2482461 | 2378338 | 6376 865 | 0 | 0 1174.77/1175.14 c 1137s | 23 | 2487786 | 2383338 | 6376 867 | 0 | 0 1176.78/1177.14 c 1139s | 23 | 2493361 | 2388438 | 6376 868 | 0 | 0 1178.77/1179.15 c 1141s | 23 | 2499135 | 2393538 | 6376 870 | 0 | 0 1180.77/1181.16 c 1143s | 23 | 2504037 | 2398338 | 6376 871 | 0 | 0 1182.87/1183.23 c 1145s | 23 | 2508855 | 2403038 | 6376 873 | 0 | 0 1184.87/1185.24 c 1147s | 23 | 2514718 | 2408538 | 6376 874 | 0 | 0 1186.86/1187.28 c 1149s | 23 | 2519503 | 2413238 | 6376 875 | 0 | 0 1188.96/1189.30 c 1151s | 23 | 2524631 | 2418238 | 6376 877 | 0 | 0 1190.97/1191.35 c 1153s | 23 | 2530139 | 2423438 | 6376 878 | 0 | 0 1192.96/1193.39 c 1155s | 23 | 2535353 | 2428438 | 6376 880 | 0 | 0 1195.06/1195.42 c 1157s | 23 | 2540532 | 2433438 | 6376 881 | 0 | 0 1197.06/1197.45 c 1159s | 23 | 2546039 | 2438838 | 6376 883 | 0 | 0 1199.06/1199.46 c 1161s | 23 | 2550890 | 2443538 | 6376 884 | 0 | 0 1201.05/1201.48 c 1163s | 23 | 2555487 | 2448038 | 6376 886 | 0 | 0 1203.16/1203.51 c 1165s | 23 | 2560666 | 2453138 | 6376 887 | 0 | 0 1205.15/1205.55 c 1168s | 23 | 2565565 | 2457938 | 6376 888 | 0 | 0 1207.15/1207.55 c 1170s | 23 | 2570193 | 2462438 | 6376 890 | 0 | 0 1209.15/1209.59 c 1172s | 23 | 2575074 | 2467238 | 6376 891 | 0 | 0 1211.25/1211.63 c 1174s | 23 | 2579691 | 2471738 | 6376 892 | 0 | 0 1213.25/1213.65 c 1176s | 23 | 2584473 | 2476438 | 6376 894 | 0 | 0 1215.35/1215.70 c 1178s | 23 | 2589781 | 2481638 | 6376 895 | 0 | 0 1217.35/1217.71 c 1180s | 23 | 2594261 | 2486038 | 6376 897 | 0 | 0 1219.34/1219.71 c 1182s | 23 | 2599654 | 2491338 | 6376 898 | 0 | 0 1221.34/1221.78 c 1184s | 23 | 2603831 | 2495438 | 6376 899 | 0 | 0 1223.44/1223.82 c 1186s | 23 | 2608705 | 2500238 | 6376 901 | 0 | 0 1225.44/1225.86 c 1188s | 23 | 2613651 | 2505138 | 6376 902 | 0 | 0 1227.44/1227.89 c 1190s | 23 | 2618531 | 2509938 | 6376 904 | 0 | 0 1229.54/1229.95 c 1192s | 23 | 2624168 | 2515438 | 6376 905 | 0 | 0 1231.54/1231.96 c 1194s | 23 | 2629215 | 2520338 | 6376 907 | 0 | 0 1233.54/1233.97 c 1196s | 23 | 2633794 | 2524838 | 6376 908 | 0 | 0 1235.54/1235.98 c 1198s | 23 | 2639250 | 2530138 | 6376 909 | 0 | 0 1237.53/1237.99 c 1200s | 23 | 2644646 | 2535438 | 6376 911 | 0 | 0 1239.63/1240.04 c 1202s | 23 | 2649919 | 2540538 | 6376 913 | 0 | 0 1241.64/1242.04 c 1204s | 23 | 2655263 | 2545738 | 6376 914 | 0 | 0 1243.63/1244.10 c 1206s | 23 | 2660592 | 2550838 | 6376 916 | 0 | 0 1245.73/1246.10 c 1208s | 23 | 2666036 | 2555938 | 6376 917 | 0 | 0 1247.73/1248.13 c 1210s | 23 | 2671808 | 2561438 | 6376 919 | 0 | 0 1249.72/1250.16 c 1212s | 23 | 2677384 | 2566838 | 6376 920 | 0 | 0 1251.72/1252.17 c 1214s | 23 | 2682892 | 2572238 | 6376 922 | 0 | 0 1253.74/1254.19 c 1216s | 23 | 2688614 | 2577838 | 6376 923 | 0 | 0 1255.84/1256.22 c 1218s | 23 | 2694323 | 2583338 | 6376 925 | 0 | 0 1257.83/1258.23 c 1220s | 23 | 2700230 | 2589038 | 6376 927 | 0 | 0 1259.82/1260.24 c 1222s | 23 | 2705895 | 2594338 | 6376 928 | 0 | 0 1261.82/1262.28 c 1224s | 23 | 2711233 | 2599438 | 6376 930 | 0 | 0 1263.92/1264.31 c 1226s | 23 | 2717350 | 2605338 | 6376 931 | 0 | 0 1265.92/1266.36 c 1228s | 23 | 2723180 | 2610938 | 6376 933 | 0 | 0 1267.93/1268.39 c 1230s | 23 | 2728288 | 2615938 | 6376 934 | 0 | 0 1269.92/1270.39 c 1232s | 23 | 2733856 | 2621338 | 6376 936 | 0 | 0 1272.02/1272.45 c 1234s | 23 | 2739011 | 2626338 | 6376 938 | 0 | 0 1274.02/1274.47 c 1236s | 23 | 2745415 | 2632638 | 6376 939 | 0 | 0 1276.02/1276.48 c 1238s | 23 | 2750658 | 2637738 | 6376 941 | 0 | 0 1278.02/1278.48 c 1240s | 23 | 2755911 | 2642738 | 6376 942 | 0 | 0 1280.02/1280.49 c 1242s | 23 | 2761123 | 2647538 | 6376 944 | 0 | 0 1282.02/1282.49 c 1244s | 23 | 2766432 | 2652438 | 6376 945 | 0 | 0 1284.01/1284.49 c 1246s | 23 | 2771539 | 2657338 | 6376 947 | 0 | 0 1286.11/1286.51 c 1248s | 23 | 2777025 | 2662538 | 6376 948 | 0 | 0 1288.11/1288.55 c 1251s | 23 | 2781967 | 2667238 | 6376 949 | 0 | 0 1290.11/1290.58 c 1253s | 23 | 2787151 | 2672338 | 6376 951 | 0 | 0 1292.22/1292.61 c 1255s | 23 | 2792456 | 2677538 | 6376 952 | 0 | 0 1294.21/1294.62 c 1257s | 23 | 2797352 | 2682238 | 6376 954 | 0 | 0 1296.21/1296.62 c 1259s | 23 | 2802120 | 2686838 | 6376 955 | 0 | 0 1298.21/1298.65 c 1261s | 23 | 2808013 | 2692538 | 6376 957 | 0 | 0 1300.21/1300.68 c 1263s | 23 | 2813786 | 2697938 | 6376 958 | 0 | 0 1302.31/1302.71 c 1265s | 23 | 2818523 | 2702538 | 6376 960 | 0 | 0 1304.32/1304.72 c 1267s | 23 | 2823838 | 2707738 | 6376 961 | 0 | 0 1306.31/1306.73 c 1269s | 23 | 2828955 | 2712738 | 6376 963 | 0 | 0 1308.31/1308.75 c 1271s | 23 | 2834618 | 2718138 | 6376 964 | 0 | 0 1310.31/1310.75 c 1273s | 23 | 2840242 | 2723538 | 6376 966 | 0 | 0 1312.31/1312.78 c 1275s | 23 | 2845770 | 2728938 | 6376 967 | 0 | 0 1314.41/1314.80 c 1277s | 23 | 2851691 | 2734638 | 6376 969 | 0 | 0 1316.41/1316.81 c 1279s | 23 | 2857056 | 2739738 | 6376 970 | 0 | 0 1318.41/1318.83 c 1281s | 23 | 2862883 | 2745338 | 6376 972 | 0 | 0 1320.41/1320.84 c 1283s | 23 | 2868347 | 2750638 | 6376 974 | 0 | 0 1322.41/1322.85 c 1285s | 23 | 2874320 | 2756438 | 6376 975 | 0 | 0 1324.41/1324.88 c 1287s | 23 | 2879839 | 2761538 | 6376 977 | 0 | 0 1326.41/1326.88 c 1289s | 23 | 2885271 | 2766638 | 6376 978 | 0 | 0 1328.51/1328.92 c 1291s | 23 | 2891226 | 2772438 | 6376 980 | 0 | 0 1330.50/1330.93 c 1293s | 23 | 2896221 | 2777238 | 6376 981 | 0 | 0 1332.50/1332.94 c 1295s | 23 | 2901919 | 2782838 | 6376 983 | 0 | 0 1334.50/1334.94 c 1297s | 23 | 2906947 | 2787738 | 6376 984 | 0 | 0 1336.50/1336.97 c 1299s | 23 | 2912433 | 2793038 | 6376 986 | 0 | 0 1338.60/1339.04 c 1301s | 23 | 2917737 | 2798238 | 6376 988 | 0 | 0 1340.61/1341.04 c 1303s | 23 | 2923147 | 2803538 | 6376 989 | 0 | 0 1342.60/1343.07 c 1305s | 23 | 2928609 | 2808838 | 6376 991 | 0 | 0 1344.60/1345.09 c 1307s | 23 | 2934017 | 2814138 | 6376 992 | 0 | 0 1346.70/1347.11 c 1309s | 23 | 2939048 | 2819038 | 6376 994 | 0 | 0 1348.70/1349.13 c 1311s | 23 | 2944604 | 2824138 | 6376 995 | 0 | 0 1350.70/1351.16 c 1313s | 23 | 2949513 | 2828838 | 6376 996 | 0 | 0 1352.71/1353.17 c 1315s | 23 | 2954630 | 2833738 | 6376 998 | 0 | 0 1354.70/1355.17 c 1317s | 23 | 2959718 | 2838538 | 6376 999 | 0 | 0 1356.80/1357.20 c 1319s | 23 | 2966130 | 2844738 | 6376 1001 | 0 | 0 1358.80/1359.21 c 1321s | 23 | 2972411 | 2850838 | 6376 1003 | 0 | 0 1360.80/1361.22 c 1323s | 23 | 2978326 | 2856638 | 6376 1005 | 0 | 0 1362.80/1363.24 c 1325s | 23 | 2984375 | 2862538 | 6376 1006 | 0 | 0 1364.81/1365.25 c 1327s | 23 | 2990030 | 2867938 | 6376 1008 | 0 | 0 1366.90/1367.32 c 1329s | 23 | 2996164 | 2873838 | 6376 1010 | 0 | 0 1368.90/1369.34 c 1331s | 23 | 3002199 | 2879738 | 6376 1011 | 0 | 0 1370.90/1371.36 c 1333s | 23 | 3007732 | 2885138 | 6376 1013 | 0 | 0 1372.90/1373.38 c 1335s | 23 | 3013442 | 2890538 | 6376 1014 | 0 | 0 1374.90/1375.39 c 1337s | 23 | 3018644 | 2895638 | 6376 1016 | 0 | 0 1377.00/1377.40 c 1339s | 23 | 3023783 | 2900638 | 6376 1017 | 0 | 0 1379.00/1379.41 c 1341s | 23 | 3028687 | 2905438 | 6376 1019 | 0 | 0 1381.00/1381.42 c 1343s | 23 | 3033763 | 2910238 | 6376 1020 | 0 | 0 1382.99/1383.45 c 1345s | 23 | 3038796 | 2915138 | 6376 1022 | 0 | 0 1384.99/1385.46 c 1347s | 23 | 3044764 | 2920738 | 6376 1023 | 0 | 0 1386.99/1387.49 c 1349s | 23 | 3049859 | 2925538 | 6376 1025 | 0 | 0 1389.09/1389.51 c 1351s | 23 | 3054603 | 2930138 | 6376 1026 | 0 | 0 1391.10/1391.51 c 1353s | 23 | 3059579 | 2934938 | 6376 1027 | 0 | 0 1393.09/1393.51 c 1355s | 23 | 3064696 | 2939838 | 6376 1029 | 0 | 0 1395.09/1395.53 c 1358s | 23 | 3069843 | 2944838 | 6376 1030 | 0 | 0 1397.09/1397.54 c 1360s | 23 | 3074641 | 2949538 | 6376 1031 | 0 | 0 1399.09/1399.54 c 1362s | 23 | 3079429 | 2954238 | 6376 1033 | 0 | 0 1401.10/1401.55 c 1364s | 23 | 3084397 | 2959138 | 6376 1034 | 0 | 0 1403.09/1403.58 c 1366s | 23 | 3089654 | 2964238 | 6376 1036 | 0 | 0 1405.09/1405.59 c 1368s | 23 | 3095071 | 2969338 | 6376 1037 | 0 | 0 1407.19/1407.61 c 1370s | 23 | 3100234 | 2974338 | 6376 1039 | 0 | 0 1409.19/1409.62 c 1372s | 23 | 3106076 | 2979938 | 6376 1040 | 0 | 0 1411.19/1411.62 c 1374s | 23 | 3111555 | 2985238 | 6376 1042 | 0 | 0 1413.20/1413.63 c 1376s | 23 | 3116369 | 2989938 | 6376 1043 | 0 | 0 1415.19/1415.64 c 1378s | 23 | 3121572 | 2995038 | 6376 1045 | 0 | 0 1417.19/1417.67 c 1380s | 23 | 3127213 | 3000438 | 6376 1046 | 0 | 0 1419.19/1419.68 c 1382s | 23 | 3132664 | 3005438 | 6376 1048 | 0 | 0 1421.29/1421.70 c 1384s | 23 | 3138134 | 3010538 | 6376 1049 | 0 | 0 1423.29/1423.70 c 1386s | 23 | 3143761 | 3015838 | 6376 1051 | 0 | 0 1425.29/1425.74 c 1388s | 23 | 3149094 | 3021038 | 6376 1052 | 0 | 0 1427.29/1427.74 c 1390s | 23 | 3154857 | 3026638 | 6376 1054 | 0 | 0 1429.29/1429.79 c 1392s | 23 | 3160625 | 3032038 | 6376 1056 | 0 | 0 1431.29/1431.79 c 1394s | 23 | 3166253 | 3037138 | 6376 1057 | 0 | 0 1433.39/1433.82 c 1396s | 23 | 3171520 | 3041738 | 6376 1058 | 0 | 0 1435.39/1435.86 c 1398s | 23 | 3177134 | 3046838 | 6376 1060 | 0 | 0 1437.39/1437.88 c 1400s | 23 | 3182622 | 3051838 | 6376 1061 | 0 | 0 1439.49/1439.91 c 1402s | 23 | 3188016 | 3056938 | 6376 1063 | 0 | 0 1441.48/1441.92 c 1404s | 23 | 3193002 | 3061538 | 6376 1064 | 0 | 0 1443.48/1443.94 c 1406s | 23 | 3198428 | 3066738 | 6376 1066 | 0 | 0 1445.48/1445.96 c 1408s | 23 | 3204060 | 3072138 | 6376 1067 | 0 | 0 1447.48/1447.97 c 1410s | 23 | 3208771 | 3076738 | 6376 1068 | 0 | 0 1449.49/1449.97 c 1412s | 23 | 3213784 | 3081638 | 6376 1070 | 0 | 0 1451.48/1451.99 c 1414s | 23 | 3218721 | 3086438 | 6376 1071 | 0 | 0 1453.58/1454.00 c 1416s | 23 | 3223511 | 3091138 | 6376 1073 | 0 | 0 1455.58/1456.02 c 1418s | 23 | 3228607 | 3096138 | 6376 1074 | 0 | 0 1457.58/1458.02 c 1420s | 23 | 3233327 | 3100738 | 6376 1075 | 0 | 0 1459.58/1460.05 c 1422s | 23 | 3238251 | 3105538 | 6376 1077 | 0 | 0 1461.59/1462.09 c 1424s | 23 | 3243445 | 3110538 | 6376 1078 | 0 | 0 1463.58/1464.09 c 1426s | 23 | 3248596 | 3115538 | 6376 1080 | 0 | 0 1465.68/1466.11 c 1428s | 23 | 3253904 | 3120738 | 6376 1081 | 0 | 0 1467.68/1468.15 c 1430s | 23 | 3258927 | 3125638 | 6376 1083 | 0 | 0 1469.68/1470.15 c 1432s | 23 | 3264270 | 3130838 | 6376 1084 | 0 | 0 1471.68/1472.18 c 1434s | 23 | 3269238 | 3135638 | 6376 1086 | 0 | 0 1473.69/1474.19 c 1436s | 23 | 3274422 | 3140638 | 6376 1087 | 0 | 0 1475.68/1476.20 c 1438s | 23 | 3279561 | 3145638 | 6376 1089 | 0 | 0 1477.78/1478.22 c 1440s | 23 | 3285490 | 3151438 | 6376 1090 | 0 | 0 1479.78/1480.23 c 1442s | 23 | 3290898 | 3156638 | 6376 1092 | 0 | 0 1481.78/1482.25 c 1444s | 23 | 3296343 | 3161938 | 6376 1093 | 0 | 0 1483.79/1484.26 c 1446s | 23 | 3301720 | 3167138 | 6376 1095 | 0 | 0 1485.89/1486.31 c 1448s | 23 | 3307175 | 3172338 | 6376 1096 | 0 | 0 1487.89/1488.33 c 1450s | 23 | 3312619 | 3177538 | 6376 1098 | 0 | 0 1489.88/1490.33 c 1452s | 23 | 3317871 | 3182538 | 6376 1099 | 0 | 0 1491.88/1492.35 c 1454s | 23 | 3323343 | 3187838 | 6376 1101 | 0 | 0 1493.88/1494.38 c 1456s | 23 | 3329437 | 3193238 | 6376 1102 | 0 | 0 1495.98/1496.41 c 1458s | 23 | 3335087 | 3198438 | 6376 1104 | 0 | 0 1497.98/1498.44 c 1460s | 23 | 3340108 | 3203238 | 6376 1105 | 0 | 0 1499.99/1500.45 c 1462s | 23 | 3345571 | 3208538 | 6376 1107 | 0 | 0 1501.98/1502.46 c 1464s | 23 | 3350886 | 3213638 | 6376 1108 | 0 | 0 1503.98/1504.47 c 1466s | 23 | 3356569 | 3218938 | 6376 1110 | 0 | 0 1505.98/1506.48 c 1468s | 23 | 3362040 | 3224038 | 6376 1111 | 0 | 0 1507.98/1508.48 c 1470s | 23 | 3367386 | 3229038 | 6376 1113 | 0 | 0 1510.08/1510.51 c 1472s | 23 | 3373001 | 3234038 | 6376 1114 | 0 | 0 1512.09/1512.52 c 1474s | 23 | 3378587 | 3239338 | 6376 1116 | 0 | 0 1514.08/1514.53 c 1477s | 23 | 3384491 | 3244938 | 6376 1117 | 0 | 0 1516.08/1516.54 c 1479s | 23 | 3389885 | 3250038 | 7014 1119 | 0 | 0 1518.08/1518.54 c 1481s | 23 | 3395160 | 3254638 | 7014 1120 | 0 | 0 1520.08/1520.55 c 1483s | 23 | 3400131 | 3259238 | 7014 1121 | 0 | 0 1522.09/1522.58 c 1485s | 23 | 3405142 | 3263838 | 7014 1122 | 0 | 0 1524.08/1524.60 c 1487s | 23 | 3410229 | 3268438 | 7014 1124 | 0 | 0 1526.18/1526.61 c 1489s | 23 | 3415290 | 3272638 | 7014 1125 | 0 | 0 1528.18/1528.63 c 1491s | 23 | 3420836 | 3277938 | 7014 1126 | 0 | 0 1530.18/1530.64 c 1493s | 23 | 3426082 | 3282938 | 7014 1127 | 0 | 0 1532.18/1532.67 c 1495s | 23 | 3431985 | 3288638 | 7014 1129 | 0 | 0 1534.28/1534.70 c 1497s | 23 | 3436582 | 3293038 | 7014 1130 | 0 | 0 1536.28/1536.72 c 1499s | 23 | 3441797 | 3298138 | 7014 1131 | 0 | 0 1538.28/1538.76 c 1501s | 23 | 3447819 | 3303838 | 7014 1133 | 0 | 0 1540.28/1540.78 c 1503s | 23 | 3453021 | 3308338 | 7014 1134 | 0 | 0 1542.28/1542.78 c 1505s | 23 | 3458122 | 3313138 | 7014 1135 | 0 | 0 1544.38/1544.81 c 1507s | 23 | 3463081 | 3317738 | 7014 1137 | 0 | 0 1546.37/1546.84 c 1509s | 23 | 3467949 | 3322438 | 7014 1138 | 0 | 0 1548.38/1548.87 c 1511s | 23 | 3473035 | 3327238 | 7014 1139 | 0 | 0 1550.37/1550.90 c 1513s | 23 | 3478353 | 3332238 | 7014 1140 | 0 | 0 1552.47/1552.92 c 1515s | 23 | 3483883 | 3337438 | 7014 1142 | 0 | 0 1554.47/1554.94 c 1517s | 23 | 3489182 | 3342338 | 7014 1143 | 0 | 0 1556.47/1556.94 c 1519s | 23 | 3494382 | 3347338 | 7014 1144 | 0 | 0 1558.47/1558.95 c 1521s | 23 | 3499788 | 3352438 | 7014 1146 | 0 | 0 1560.48/1560.97 c 1523s | 23 | 3504747 | 3357238 | 7014 1147 | 0 | 0 1562.57/1563.01 c 1525s | 23 | 3509709 | 3362038 | 7014 1148 | 0 | 0 1564.57/1565.04 c 1527s | 23 | 3514695 | 3366738 | 7014 1150 | 0 | 0 1566.57/1567.06 c 1529s | 23 | 3519980 | 3371738 | 7014 1151 | 0 | 0 1568.57/1569.03 c 1531s | 24 | 3525136 | 3376662 | 7014 1152 | 0 | 0 1570.57/1571.06 c 1533s | 24 | 3531057 | 3382462 | 7014 1154 | 0 | 0 1572.57/1573.10 c 1535s | 24 | 3536551 | 3387862 | 7014 1155 | 0 | 0 1574.67/1575.12 c 1537s | 24 | 3541871 | 3393062 | 7014 1157 | 0 | 0 1576.67/1577.13 c 1539s | 24 | 3547229 | 3398362 | 7014 1158 | 0 | 0 1578.67/1579.16 c 1541s | 24 | 3551601 | 3402562 | 7014 1159 | 0 | 0 1580.66/1581.19 c 1543s | 24 | 3554481 | 3405362 | 7014 1160 | 0 | 0 1582.66/1583.19 c 1545s | 24 | 3559292 | 3410062 | 7014 1161 | 0 | 0 1584.77/1585.22 c 1547s | 24 | 3564088 | 3414762 | 7014 1163 | 0 | 0 1586.76/1587.24 c 1549s | 24 | 3568799 | 3419362 | 7014 1164 | 0 | 0 1588.86/1589.31 c 1551s | 24 | 3572792 | 3423262 | 7014 1165 | 0 | 0 1590.86/1591.34 c 1553s | 24 | 3576950 | 3427162 | 7014 1166 | 0 | 0 1592.86/1593.36 c 1555s | 24 | 3581037 | 3431162 | 7014 1167 | 0 | 0 1594.96/1595.41 c 1557s | 24 | 3584766 | 3434862 | 7014 1168 | 0 | 0 1596.96/1597.43 c 1559s | 24 | 3588081 | 3438162 | 7014 1169 | 0 | 0 1598.97/1599.46 c 1561s | 24 | 3591513 | 3441562 | 7014 1170 | 0 | 0 1600.96/1601.47 c 1563s | 24 | 3595477 | 3445462 | 7014 1171 | 0 | 0 1602.96/1603.48 c 1565s | 24 | 3599310 | 3449162 | 7014 1172 | 0 | 0 1605.06/1605.51 c 1567s | 24 | 3602674 | 3452462 | 7014 1173 | 0 | 0 1607.06/1607.55 c 1570s | 24 | 3606573 | 3456262 | 7014 1174 | 0 | 0 1609.06/1609.58 c 1572s | 24 | 3610381 | 3459962 | 7014 1175 | 0 | 0 1611.07/1611.58 c 1574s | 24 | 3614131 | 3463562 | 7014 1176 | 0 | 0 1613.16/1613.63 c 1576s | 24 | 3617835 | 3467162 | 7014 1177 | 0 | 0 1615.17/1615.65 c 1578s | 24 | 3621418 | 3470662 | 7014 1178 | 0 | 0 1617.27/1617.70 c 1580s | 24 | 3624692 | 3473862 | 7014 1179 | 0 | 0 1619.26/1619.72 c 1582s | 24 | 3627916 | 3477062 | 7014 1179 | 0 | 0 1621.26/1621.77 c 1584s | 24 | 3631153 | 3480262 | 7014 1180 | 0 | 0 1623.36/1623.82 c 1586s | 24 | 3634188 | 3483262 | 7014 1181 | 0 | 0 1625.37/1625.83 c 1588s | 24 | 3637770 | 3486662 | 7014 1182 | 1 | 9 1627.36/1627.84 c 1590s | 24 | 3642952 | 3491762 | 7014 1183 | 1 | 9 1629.36/1629.87 c 1592s | 24 | 3647313 | 3495562 | 7014 1184 | 1 | 9 1631.36/1631.89 c 1594s | 24 | 3651196 | 3499362 | 7014 1185 | 1 | 9 1633.46/1633.96 c 1596s | 24 | 3654945 | 3503062 | 7014 1186 | 1 | 9 1635.46/1635.98 c 1598s | 24 | 3658753 | 3506762 | 7014 1187 | 1 | 9 1637.47/1637.98 c 1600s | 24 | 3662299 | 3510262 | 7014 1188 | 1 | 9 1639.56/1640.02 c 1602s | 24 | 3665989 | 3513862 | 7014 1189 | 1 | 9 1641.56/1642.03 c 1604s | 24 | 3669861 | 3517662 | 7014 1190 | 1 | 9 1643.56/1644.04 c 1606s | 24 | 3673801 | 3521162 | 7014 1191 | 1 | 9 1645.56/1646.04 c 1608s | 24 | 3677703 | 3524862 | 7014 1192 | 1 | 9 1647.56/1648.06 c 1610s | 24 | 3681996 | 3528962 | 7014 1193 | 1 | 9 1649.56/1650.06 c 1612s | 24 | 3686119 | 3532862 | 7014 1194 | 1 | 9 1651.56/1652.08 c 1614s | 24 | 3690394 | 3536562 | 7014 1195 | 1 | 9 1653.66/1654.10 c 1616s | 24 | 3694029 | 3539962 | 7014 1196 | 1 | 9 1655.66/1656.13 c 1618s | 24 | 3697489 | 3543362 | 7014 1197 | 1 | 9 1657.66/1658.19 c 1620s | 24 | 3700901 | 3546662 | 7014 1198 | 1 | 9 1659.66/1660.19 c 1622s | 24 | 3704058 | 3549662 | 7014 1199 | 1 | 9 1661.76/1662.21 c 1624s | 24 | 3707207 | 3552662 | 7014 1200 | 1 | 9 1663.86/1664.31 c 1626s | 24 | 3709960 | 3555362 | 7014 1201 | 1 | 9 1665.85/1666.32 c 1628s | 24 | 3713803 | 3558962 | 7014 1201 | 1 | 9 1667.85/1668.34 c 1630s | 24 | 3718246 | 3563262 | 7014 1203 | 1 | 9 1669.85/1670.38 c 1632s | 24 | 3722760 | 3567662 | 7014 1204 | 1 | 9 1671.85/1672.39 c 1634s | 24 | 3726899 | 3571662 | 7014 1205 | 1 | 9 1673.95/1674.44 c 1636s | 24 | 3730997 | 3575562 | 7014 1206 | 1 | 9 1675.96/1676.49 c 1638s | 24 | 3735592 | 3579962 | 7014 1207 | 1 | 9 1678.05/1678.52 c 1640s | 24 | 3739415 | 3583562 | 7014 1208 | 1 | 9 1680.05/1680.53 c 1643s | 24 | 3743964 | 3587962 | 7014 1209 | 1 | 9 1682.05/1682.56 c 1645s | 24 | 3747891 | 3591762 | 7014 1210 | 1 | 9 1684.15/1684.61 c 1647s | 24 | 3751855 | 3595462 | 7014 1211 | 1 | 9 1686.15/1686.62 c 1649s | 24 | 3755636 | 3598962 | 7014 1212 | 1 | 9 1688.16/1688.64 c 1651s | 24 | 3759467 | 3602662 | 7014 1213 | 1 | 9 1690.15/1690.66 c 1653s | 24 | 3764051 | 3607062 | 7014 1214 | 1 | 9 1692.15/1692.69 c 1655s | 24 | 3768113 | 3610862 | 7014 1215 | 1 | 9 1694.25/1694.73 c 1657s | 24 | 3772618 | 3615162 | 7014 1217 | 1 | 9 1696.25/1696.74 c 1659s | 24 | 3777154 | 3619462 | 7014 1218 | 1 | 9 1698.25/1698.75 c 1661s | 24 | 3781843 | 3623862 | 7014 1219 | 1 | 9 1700.26/1700.75 c 1663s | 24 | 3785888 | 3627562 | 7014 1220 | 1 | 9 1702.25/1702.78 c 1665s | 24 | 3789691 | 3631162 | 7014 1221 | 1 | 9 1704.35/1704.81 c 1667s | 24 | 3793713 | 3635062 | 7014 1222 | 1 | 9 1706.35/1706.84 c 1669s | 24 | 3798115 | 3639162 | 7014 1223 | 1 | 9 1708.35/1708.85 c 1671s | 24 | 3802495 | 3643262 | 7014 1224 | 1 | 9 1710.35/1710.88 c 1673s | 24 | 3806928 | 3647362 | 7014 1225 | 1 | 9 1712.44/1712.92 c 1675s | 24 | 3811476 | 3651762 | 7014 1227 | 1 | 9 1714.45/1714.92 c 1677s | 24 | 3815597 | 3655762 | 7014 1228 | 1 | 9 1716.44/1716.94 c 1679s | 24 | 3819405 | 3659362 | 7014 1229 | 1 | 9 1718.45/1718.96 c 1681s | 24 | 3824165 | 3663862 | 7014 1230 | 1 | 9 1720.55/1721.01 c 1683s | 24 | 3828638 | 3668262 | 7014 1231 | 1 | 9 1722.55/1723.05 c 1685s | 24 | 3833050 | 3672562 | 7014 1232 | 1 | 9 1724.55/1725.08 c 1687s | 24 | 3837479 | 3676662 | 7014 1233 | 1 | 9 1726.66/1727.12 c 1689s | 24 | 3841825 | 3680862 | 7014 1234 | 1 | 9 1728.65/1729.13 c 1691s | 24 | 3846655 | 3685562 | 7014 1236 | 1 | 9 1730.65/1731.17 c 1693s | 24 | 3851260 | 3689862 | 7014 1237 | 1 | 9 1732.65/1733.18 c 1695s | 24 | 3854697 | 3693262 | 7014 1238 | 1 | 9 1734.75/1735.22 c 1697s | 24 | 3859396 | 3697762 | 7014 1239 | 1 | 9 1736.75/1737.25 c 1699s | 24 | 3863637 | 3701962 | 7014 1240 | 1 | 9 1738.75/1739.29 c 1701s | 24 | 3868285 | 3706462 | 7014 1241 | 1 | 9 1740.85/1741.31 c 1703s | 24 | 3872282 | 3710262 | 7014 1242 | 1 | 9 1742.85/1743.36 c 1705s | 24 | 3876599 | 3714462 | 7014 1243 | 1 | 9 1744.95/1745.41 c 1707s | 24 | 3880360 | 3718162 | 7014 1244 | 1 | 9 1746.95/1747.42 c 1709s | 24 | 3884147 | 3721862 | 7014 1245 | 1 | 9 1748.95/1749.44 c 1711s | 24 | 3888585 | 3726162 | 7014 1247 | 1 | 9 1750.94/1751.45 c 1713s | 24 | 3892931 | 3730062 | 7014 1248 | 1 | 9 1752.95/1753.49 c 1715s | 24 | 3897049 | 3733762 | 7014 1249 | 1 | 9 1755.04/1755.58 c 1718s | 24 | 3901718 | 3738162 | 7014 1250 | 1 | 9 1757.14/1757.63 c 1720s | 24 | 3905593 | 3741862 | 7014 1251 | 1 | 9 1759.14/1759.63 c 1722s | 24 | 3909868 | 3745762 | 7014 1252 | 1 | 9 1761.14/1761.64 c 1724s | 24 | 3913983 | 3749762 | 7014 1253 | 1 | 9 1763.14/1763.69 c 1726s | 24 | 3918151 | 3753762 | 7014 1254 | 1 | 9 1765.24/1765.72 c 1728s | 24 | 3922413 | 3757862 | 7014 1255 | 1 | 9 1767.25/1767.76 c 1730s | 24 | 3926485 | 3761862 | 7014 1256 | 1 | 9 1769.24/1769.77 c 1732s | 24 | 3930624 | 3765862 | 7014 1257 | 1 | 9 1771.24/1771.78 c 1734s | 24 | 3934514 | 3769662 | 7014 1258 | 1 | 9 1773.34/1773.81 c 1736s | 24 | 3938543 | 3773562 | 7014 1259 | 1 | 9 1775.34/1775.85 c 1738s | 24 | 3942818 | 3777762 | 7014 1261 | 1 | 9 1777.34/1777.88 c 1740s | 24 | 3946943 | 3781762 | 7014 1262 | 1 | 9 1779.35/1779.89 c 1742s | 24 | 3951333 | 3785962 | 7014 1263 | 1 | 9 1781.34/1781.89 c 1744s | 24 | 3955102 | 3789262 | 7014 1264 | 1 | 9 1783.44/1783.93 c 1746s | 24 | 3958949 | 3792962 | 7014 1265 | 1 | 9 1785.44/1785.98 c 1748s | 24 | 3963537 | 3797362 | 7014 1266 | 1 | 9 1787.54/1788.03 c 1750s | 24 | 3967675 | 3801162 | 7014 1267 | 1 | 9 1789.54/1790.03 c 1752s | 24 | 3971632 | 3804962 | 7014 1268 | 1 | 9 1791.54/1792.04 c 1754s | 24 | 3975912 | 3809062 | 7014 1269 | 1 | 9 1793.54/1794.08 c 1756s | 24 | 3980265 | 3813362 | 7014 1270 | 1 | 9 1795.64/1796.13 c 1758s | 24 | 3983989 | 3817062 | 7014 1271 | 1 | 9 1797.63/1798.14 c 1760s | 24 | 3987881 | 3820762 | 7014 1272 | 1 | 9 1799.63/1800.16 c 1762s | 24 | 3991715 | 3824462 | 7014 1273 | 1 | 9
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-4106331-1466269523/watcher-4106331-1466269523 -o /tmp/evaluation-result-4106331-1466269523/solver-4106331-1466269523 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106331-1466269523.opb pid=27814 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.24 2.18 2.17 3/179 27817 /proc/meminfo: memFree=29386744/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 491 0 0 0 0 0 0 0 20 0 4 0 28998921 246870016 866 33554432000 4194304 16246674 140733714896160 140733714895584 13799280 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 60271 881 293 2943 0 57165 0 [pid=27817/tid=27818] ppid=27814 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 246870016 933 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 246870016 948 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 246870016 966 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.24 2.18 2.17 3/179 27817 /proc/meminfo: memFree=29386744/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 21155 0 0 0 5 3 0 0 20 0 4 0 28998921 1247350784 21503 33554432000 4194304 16246674 140733714896160 140733714895584 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 304529 21509 758 2943 0 301423 0 [pid=27817/tid=27818] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 21515 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 21520 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 21528 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200471 s] /proc/loadavg: 2.24 2.18 2.17 3/179 27817 /proc/meminfo: memFree=29386744/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 38249 0 0 0 13 6 0 0 20 0 4 0 28998921 1247350784 38597 33554432000 4194304 16246674 140733714896160 140733714895584 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 304529 38601 758 2943 0 301423 0 [pid=27817/tid=27818] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 38606 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 38611 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 38616 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300472 s] /proc/loadavg: 2.24 2.18 2.17 3/179 27817 /proc/meminfo: memFree=29386744/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 55666 0 0 0 20 8 0 0 20 0 4 0 28998921 1247350784 56014 33554432000 4194304 16246674 140733714896160 140733714895584 6023439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 304529 56021 758 2943 0 301423 0 [pid=27817/tid=27818] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 56026 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 56032 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 56037 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700445 s] /proc/loadavg: 2.24 2.18 2.17 3/179 27817 /proc/meminfo: memFree=29386744/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1218116 CPUtime=0.68 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 127639 0 0 0 51 17 0 0 20 0 4 0 28998921 1247350784 127987 33554432000 4194304 16246674 140733714896160 140733714878080 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 304529 127993 765 2943 0 301423 0 [pid=27817/tid=27818] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 127997 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 128001 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1247350784 128007 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.24 2.18 2.17 3/183 27821 /proc/meminfo: memFree=28589560/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1221188 CPUtime=1.48 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 246274 0 0 0 116 32 0 0 20 0 4 0 28998921 1250496512 246599 33554432000 4194304 16246674 140733714896160 140733714895472 5712705 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 305297 246599 833 2943 0 302191 0 [pid=27817/tid=27818] ppid=27814 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1250496512 246599 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1250496512 246599 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1250496512 246599 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1221188 [startup+3.10042 s] /proc/loadavg: 2.24 2.18 2.17 3/183 27821 /proc/meminfo: memFree=28401828/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1302084 CPUtime=3.08 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 266474 0 0 0 273 35 0 0 20 0 4 0 28998921 1333334016 266799 33554432000 4194304 16246674 140733714896160 140733714878080 5712188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 325521 266799 833 2943 0 322415 0 [pid=27817/tid=27818] ppid=27814 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1333334016 266799 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1333334016 266799 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1333334016 266799 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1302084 [startup+6.30042 s] /proc/loadavg: 2.22 2.18 2.17 3/183 27821 /proc/meminfo: memFree=28314168/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 267931 0 0 0 593 36 0 0 20 0 4 0 28998921 1339625472 268256 33554432000 4194304 16246674 140733714896160 140733714878080 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 327057 268256 833 2943 0 323951 0 [pid=27817/tid=27818] ppid=27814 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1339625472 268256 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1339625472 268256 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1339625472 268256 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7005 s] /proc/loadavg: 2.20 2.17 2.17 4/183 27821 /proc/meminfo: memFree=28309720/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1312324 CPUtime=12.68 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 268975 0 0 0 1232 36 0 0 20 0 4 0 28998921 1343819776 269300 33554432000 4194304 16246674 140733714896160 140733714878080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 328081 269300 833 2943 0 324975 0 [pid=27817/tid=27818] ppid=27814 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1343819776 269300 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1343819776 269300 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1343819776 269300 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.16 2.16 2.17 3/183 27821 /proc/meminfo: memFree=28309236/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1312324 CPUtime=25.48 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 269162 0 0 0 2512 36 0 0 20 0 4 0 28998921 1343819776 269487 33554432000 4194304 16246674 140733714896160 140733714878080 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 328081 269487 835 2943 0 324975 0 [pid=27817/tid=27818] ppid=27814 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1343819776 269487 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1343819776 269487 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1343819776 269487 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 2.16 2.17 2.17 3/183 27821 /proc/meminfo: memFree=28307208/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1314372 CPUtime=51.08 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 269692 0 0 0 5072 36 0 0 20 0 4 0 28998921 1345916928 270017 33554432000 4194304 16246674 140733714896160 140733714878080 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 328593 270017 853 2943 0 325487 0 [pid=27817/tid=27818] ppid=27814 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1345916928 270017 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1345916928 270017 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1345916928 270017 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.16 2.17 2.17 3/183 27822 /proc/meminfo: memFree=28306024/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1315396 CPUtime=102.27 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 269948 0 0 0 10191 36 0 0 20 0 4 0 28998921 1346965504 270273 33554432000 4194304 16246674 140733714896160 140733714878080 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 328849 270273 853 2943 0 325743 0 [pid=27817/tid=27818] ppid=27814 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1346965504 270273 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1346965504 270273 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1346965504 270273 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1356402688 272834 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.11 2.15 2.16 4/183 28146 /proc/meminfo: memFree=28299372/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1324612 CPUtime=1361.9 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 272628 0 0 0 136145 45 0 0 20 0 4 0 28998921 1356402688 272834 33554432000 4194304 16246674 140733714896160 140733714878080 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331153 272834 854 2943 0 328047 0 [pid=27817/tid=27818] ppid=27814 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1356402688 272834 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1356402688 272834 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1324612 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1356402688 272834 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1324612 [startup+1422.3 s] /proc/loadavg: 2.31 2.20 2.18 4/183 28148 /proc/meminfo: memFree=28298452/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1325636 CPUtime=1421.89 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 272884 0 0 0 142144 45 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140733714878080 5712709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331409 273090 854 2943 0 328303 0 [pid=27817/tid=27818] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1325636 [startup+1482.3 s] /proc/loadavg: 2.26 2.20 2.18 3/184 28152 /proc/meminfo: memFree=28295864/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1325636 CPUtime=1481.88 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 272884 0 0 0 148143 45 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140733714895336 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331409 273090 854 2943 0 328303 0 [pid=27817/tid=27818] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1325636 [startup+1542.31 s] /proc/loadavg: 2.25 2.21 2.18 3/183 28153 /proc/meminfo: memFree=28296020/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1325636 CPUtime=1541.88 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 272884 0 0 0 154142 46 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140733714878080 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331409 273090 854 2943 0 328303 0 [pid=27817/tid=27818] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273090 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.13 2.18 2.18 3/183 28154 /proc/meminfo: memFree=28286516/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1325636 CPUtime=1601.86 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 272885 0 0 0 160140 46 0 0 20 0 4 0 28998921 1357451264 273091 33554432000 4194304 16246674 140733714896160 140733714878080 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331409 273091 855 2943 0 328303 0 [pid=27817/tid=27818] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273091 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273091 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273091 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.22 2.19 2.18 4/183 28155 /proc/meminfo: memFree=28285700/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1325636 CPUtime=1661.86 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 272885 0 0 0 166139 47 0 0 20 0 4 0 28998921 1357451264 273091 33554432000 4194304 16246674 140733714896160 140733714878080 5711968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331409 273091 855 2943 0 328303 0 [pid=27817/tid=27818] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273091 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273091 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1357451264 273091 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.14 2.17 2.17 3/183 28156 /proc/meminfo: memFree=28284288/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1326660 CPUtime=1721.85 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 273141 0 0 0 172137 48 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140733714878080 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331665 273347 855 2943 0 328559 0 [pid=27817/tid=27818] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1326660 [startup+1782.3 s] /proc/loadavg: 2.18 2.18 2.18 3/183 28158 /proc/meminfo: memFree=28284228/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1326660 CPUtime=1781.84 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 273141 0 0 0 178136 48 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140733714878080 5808492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331665 273347 855 2943 0 328559 0 [pid=27817/tid=27818] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1326660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.27 2.20 2.18 4/183 28158 /proc/meminfo: memFree=28284336/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1326660 CPUtime=1800.03 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 273141 0 0 0 179955 48 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140733714878080 13760276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331665 273347 855 2943 0 328559 0 [pid=27817/tid=27818] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1326660 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 27817 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.27 2.20 2.18 4/183 28158 /proc/meminfo: memFree=28284336/32872528 swapFree=1191052/1305516 [pid=27817] ppid=27814 vsize=1326660 CPUtime=1800.03 cores=0,2,4,6 /proc/27817/stat : 27817 (toysat) R 27814 27817 26736 0 -1 4202496 273141 0 0 0 179955 48 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140733714878080 13760276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27817/statm: 331665 273347 855 2943 0 328559 0 [pid=27817/tid=27818] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27818/stat : 27818 (toysat) S 27814 27817 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113370655984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27817/tid=27819] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27819/stat : 27819 (toysat) S 27814 27817 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113360166128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27817/tid=27820] ppid=27814 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27817/task/27820/stat : 27820 (toysat) S 27814 27817 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28998921 1358499840 273347 33554432000 4194304 16246674 140733714896160 140113241697456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1326660 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.56 CPU system time (s): 0.484926 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1326660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.484926 maximum resident set size= 1093388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273141 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= 388 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2773 second user time and 9.35758 second system time The end
Begin job on node127 at 2016-06-18 19:05:23 IDJOB=4106331 IDBENCH=48021 IDSOLVER=2542 FILE ID=node127/4106331-1466269523 RUNJOBID= node127-1466265123-26752 PBS_JOBID= 19918231 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106331-1466269523/watcher-4106331-1466269523 -o /tmp/evaluation-result-4106331-1466269523/solver-4106331-1466269523 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106331-1466269523.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 133707692e98c55077a0d19203c18204 RANDOM SEED=222986633 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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 : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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: 29387372 kB Buffers: 86800 kB Cached: 259348 kB SwapCached: 516 kB Active: 1182092 kB Inactive: 256084 kB Active(anon): 1092136 kB Inactive(anon): 2184 kB Active(file): 89956 kB Inactive(file): 253900 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 2399180 kB Mapped: 10488 kB Shmem: 0 kB Slab: 604192 kB SReclaimable: 48236 kB SUnreclaim: 555956 kB KernelStack: 1480 kB PageTables: 8920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2542920 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 251904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node127 at 2016-06-18 19:35:24