| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb |
| MD5SUM | c4232b649086935e0cf725c77927c83f |
| 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.101984 |
| 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 | 144 |
| 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 | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 384 |
| Sum of products size (including duplicates) | 768 |
| Number of different products | 384 |
| Sum of products size | 768 |
0.00/0.00 c 2016-06-18T17:52:04+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-4106079-1466265124.opb"] 0.00/0.01 c use --random-gen="2878033974 1523166699 3715640443 2952490670 3057143449 2385108183 1590701383 2942677550 3795148710 491864186 1225896169 3246805358 120426477 4207094411 208802196 2620007967 2735921054 2643942408 3552387163 3246266150 2088932200 3336372494 2659667843 2219197675 151150891 4221140795 1814789177 1916435172 3456491550 3810993291 270264341 527393684 3369471476 2691582153 2808890655 1536360728 1426134021 1835225418 2171922836 1859422646 1654521695 2026228506 4200871177 435222748 3645557826 1173587997 1805352299 1913997326 2515668119 1337445045 4229049204 954326414 1019626701 3607832658 4293668916 4248575464 2798671025 4047702954 2408666944 2984478858 2215213922 134201967 73135406 184659808 1413571140 3980634325 3517933888 3133660262 2901730363 2776821468 4233279438 1277751889 3860950487 2279880127 2703005083 3264112993 527447374 2725578392 2323678697 754505304 562069705 3089230484 3954833723 3465886133 2360740043 3536945900 1910117447 2166978341 830465853 1134787059 1974756430 1545897230 3945232777 1256182723 1448659499 3255534846 3149566105 3417819161 4131051631 1306586630 852996380 3199267969 3004019030 3779211416 3153425649 386746082 508907007 906503613 1845600788 2140475585 4294051730 2117966540 1949775668 1287534189 3225524746 618289416 2659060601 4259322483 2115187559 2244690132 1659403067 3500145539 2662193177 695736936 4277067628 2724931436 2622096236 3923009326 1832340047 3615579193 921315243 1582087276 24145398 1001071772 2627841937 1496315046 931012913 1747613651 1348599326 201262203 232252173 259537024 574222072 3638738196 4037423720 1271875855 2410241076 1496038004 1145204685 2443524757 1157745611 3831750018 3516469629 399777265 3222275550 1568243579 2354147593 480081569 2959796167 3312603573 1322778937 2068508025 602157795 3022904306 2785549123 256154430 3082861007 2754556376 208988592 1362814578 585690192 2232373486 1882314371 1014688773 2573763640 2888181861 1163166904 1457529208 2079536084 2862875590 66104862 3432615886 1659553730 4244152733 1916174720 619146462 2948905533 647092992 1493059972 1462767650 1343676172 3549731723 1962049674 2051334637 1937990554 1620747060 1750980379 2429775440 1514377685 2626486395 4026236174 4037315237 2774002547 2905092912 3728375850 2904744400 46310654 3784362673 3285869841 1990012820 3631851652 684155686 1601181819 3670505557 3192185158 2251406164 1824393919 1310549395 294166647 4241958566 1149416025 2664698447 1365047535 3222027479 1247774183 2878058465 1179754865 99110183 777720159 4067705391 2610116821 1032925818 1565925505 2008733830 2736071330 106417076 3452909654 1427574053 41775566 149977579 3760221681 1966513647 2245983041 2747861209 1949864965 1671086543 194444989 3210139729 1083522321 2742876307 1570304774 437005029 3672973457 3711776299 2681568679 2059046378 255 362436" option to reproduce the execution 0.00/0.01 c #vars 144 0.00/0.01 c #constraints 13 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 566 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 134 | 100 | 566 0 | 0 | 0 0.09/0.10 c 0.1s | 2 | 361 | 250 | 623 0 | 0 | 0 0.19/0.21 c 0.2s | 3 | 630 | 475 | 686 0 | 0 | 0 0.19/0.29 c 0.3s | 4 | 1003 | 813 | 755 0 | 0 | 0 0.39/0.43 c 0.4s | 5 | 1554 | 1320 | 831 1 | 0 | 0 0.79/0.83 c 0.8s | 6 | 2387 | 2081 | 1007 3 | 0 | 0 1.19/1.21 c 1.2s | 7 | 3704 | 3223 | 1108 4 | 0 | 0 1.59/1.68 c 1.7s | 7 | 5583 | 4871 | 1108 7 | 0 | 0 1.59/1.68 c #cpu_time = 1.651s 1.59/1.68 c #wall_clock_time = 1.655s 1.59/1.68 c #decision = 5583 1.59/1.68 c #random_decision = 24 1.59/1.68 c #conflict = 4871 1.59/1.68 c #restart = 7 1.59/1.68 o 143 1.59/1.68 c BCD2: updating upper bound: 255 -> 142 1.59/1.68 c BCD2: 0 <= obj <= 142 1.59/1.68 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 1.59/1.68 c BCD2: #sat=1 #unsat=1 bias=1/2 1.59/1.68 c Solving starts ... 1.59/1.68 c ============================[ Search Statistics ]============================ 1.59/1.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.68 c | | | | Limit GC | Var | Constra 1.59/1.68 c ============================================================================= 1.59/1.68 c 0.0s | 0 | 0 | 0 | 1108 0 | 0 | 0 1.59/1.68 c 0.0s | 0 | 6 | 0 | 1108 0 | 0 | 0 1.59/1.68 c #cpu_time = 0.003s 1.59/1.68 c #wall_clock_time = 0.003s 1.59/1.68 c #decision = 6 1.59/1.68 c #random_decision = 0 1.59/1.68 c #conflict = 0 1.59/1.68 c #restart = 0 1.59/1.68 c BCD2: found a new core of size 7: cost of the new core is >=2 1.59/1.68 c lower bound updated to 2 1.59/1.68 c BCD2: 2 <= obj <= 142 1.59/1.68 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 1.59/1.68 c BCD2: #sat=1 #unsat=2 bias=2/3 1.59/1.68 c Solving starts ... 1.59/1.68 c ============================[ Search Statistics ]============================ 1.59/1.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.68 c | | | | Limit GC | Var | Constra 1.59/1.68 c ============================================================================= 1.59/1.68 c 0.0s | 0 | 0 | 0 | 1108 0 | 0 | 0 1.69/1.70 c 0.0s | 1 | 140 | 100 | 1219 0 | 0 | 0 1.79/1.82 c 0.1s | 2 | 349 | 250 | 1219 0 | 0 | 0 1.89/1.91 c 0.2s | 3 | 664 | 475 | 1219 1 | 0 | 0 1.89/1.96 c 0.3s | 4 | 1016 | 813 | 1219 1 | 0 | 0 1.99/2.05 c 0.4s | 5 | 1605 | 1320 | 1219 2 | 0 | 0 2.30/2.33 c 0.6s | 6 | 2500 | 2081 | 1219 2 | 0 | 0 2.69/2.71 c 1.0s | 7 | 3834 | 3223 | 1341 4 | 0 | 0 3.09/3.11 c 1.4s | 8 | 5890 | 4936 | 1341 6 | 0 | 0 3.89/3.94 c 2.3s | 9 | 8865 | 7506 | 1476 8 | 0 | 0 5.19/5.21 c 3.5s | 10 | 13129 | 11361 | 1476 13 | 0 | 0 6.39/6.47 c 4.8s | 11 | 19165 | 17144 | 1624 18 | 0 | 0 8.39/8.48 c 6.8s | 11 | 26920 | 24644 | 1787 25 | 0 | 0 8.69/8.75 c 7.1s | 12 | 28127 | 25819 | 1787 26 | 0 | 0 10.69/10.76 c 9.1s | 12 | 36552 | 33619 | 1787 33 | 0 | 0 12.49/12.51 c 10.8s | 13 | 41955 | 38832 | 1966 38 | 0 | 0 14.49/14.51 c 12.8s | 13 | 49177 | 45532 | 1966 43 | 0 | 0 16.49/16.52 c 14.8s | 13 | 56554 | 52532 | 1966 49 | 0 | 0 18.49/18.53 c 16.8s | 14 | 62870 | 58352 | 2163 54 | 0 | 0 20.49/20.54 c 18.9s | 14 | 72683 | 67852 | 2163 61 | 0 | 0 22.48/22.56 c 20.9s | 14 | 80618 | 75552 | 2163 67 | 0 | 0 24.48/24.58 c 22.9s | 14 | 88375 | 83152 | 2380 73 | 0 | 0 25.68/25.76 c 24.1s | 15 | 93069 | 87632 | 2380 76 | 0 | 0 27.78/27.80 c 26.1s | 15 | 99595 | 93532 | 2380 81 | 0 | 0 29.79/29.82 c 28.1s | 15 | 106103 | 98032 | 2380 84 | 0 | 0 31.78/31.87 c 30.2s | 15 | 112068 | 102132 | 2380 87 | 0 | 0 33.78/33.89 c 32.2s | 15 | 118003 | 106832 | 2380 90 | 0 | 0 35.88/35.91 c 34.2s | 15 | 123838 | 111832 | 2380 94 | 0 | 0 37.88/37.92 c 36.2s | 15 | 131530 | 119132 | 2380 99 | 0 | 0 39.88/39.93 c 38.3s | 15 | 139634 | 126632 | 2618 104 | 0 | 0 41.28/41.39 c 39.7s | 16 | 144906 | 131552 | 2618 108 | 0 | 0 43.29/43.39 c 41.7s | 16 | 152844 | 138952 | 2618 113 | 0 | 0 45.39/45.42 c 43.7s | 16 | 160196 | 145952 | 2618 118 | 0 | 0 47.39/47.45 c 45.8s | 16 | 167663 | 153052 | 2618 122 | 0 | 0 49.39/49.46 c 47.8s | 16 | 174924 | 160052 | 2618 127 | 0 | 0 51.39/51.47 c 49.8s | 16 | 182373 | 166852 | 2618 132 | 0 | 0 53.38/53.48 c 51.8s | 16 | 189224 | 173352 | 2618 137 | 0 | 0 55.48/55.51 c 53.8s | 16 | 197274 | 180952 | 2618 142 | 0 | 0 57.48/57.54 c 55.9s | 16 | 203737 | 187152 | 2618 146 | 0 | 0 59.49/59.54 c 57.9s | 16 | 210923 | 194052 | 2880 150 | 0 | 0 60.28/60.39 c 58.7s | 17 | 214390 | 197432 | 2880 152 | 0 | 0 62.38/62.42 c 60.7s | 17 | 220957 | 203432 | 2880 156 | 0 | 0 64.38/64.43 c 62.7s | 17 | 225957 | 208032 | 2880 159 | 0 | 0 66.38/66.45 c 64.8s | 17 | 230962 | 212732 | 2880 162 | 0 | 0 68.38/68.48 c 66.8s | 17 | 237387 | 218632 | 2880 165 | 0 | 0 70.49/70.50 c 68.8s | 17 | 244002 | 225032 | 2880 169 | 0 | 0 72.48/72.55 c 70.9s | 17 | 249357 | 230132 | 2880 173 | 0 | 0 74.48/74.55 c 72.9s | 17 | 253860 | 234332 | 2880 175 | 0 | 0 76.48/76.56 c 74.9s | 17 | 258979 | 239032 | 2880 178 | 0 | 0 78.48/78.57 c 76.9s | 17 | 264044 | 243832 | 2880 181 | 0 | 0 80.58/80.60 c 78.9s | 17 | 268618 | 248032 | 2880 184 | 0 | 0 82.58/82.65 c 81.0s | 17 | 273744 | 252732 | 2880 187 | 0 | 0 84.58/84.67 c 83.0s | 17 | 279028 | 257732 | 2880 190 | 0 | 0 86.58/86.67 c 85.0s | 17 | 285223 | 263432 | 2880 194 | 0 | 0 88.68/88.71 c 87.0s | 17 | 290989 | 268732 | 2880 197 | 0 | 0 90.68/90.75 c 89.1s | 17 | 296586 | 273932 | 2880 200 | 0 | 0 92.67/92.78 c 91.1s | 17 | 303282 | 280232 | 2880 204 | 0 | 0 94.68/94.79 c 93.1s | 17 | 310866 | 287232 | 2880 208 | 0 | 0 96.78/96.81 c 95.1s | 17 | 319084 | 294832 | 3169 213 | 0 | 0 97.07/97.16 c 95.5s | 18 | 320683 | 296252 | 3169 213 | 0 | 0 99.08/99.17 c 97.5s | 18 | 328331 | 303552 | 3169 217 | 0 | 0 101.07/101.18 c 99.5s | 18 | 334933 | 309852 | 3169 221 | 0 | 0 103.07/103.18 c 101s | 18 | 340554 | 315152 | 3169 224 | 0 | 0 105.17/105.21 c 103s | 18 | 347299 | 321452 | 3169 228 | 0 | 0 107.17/107.22 c 105s | 18 | 353920 | 327752 | 3169 231 | 0 | 0 109.18/109.24 c 107s | 18 | 359961 | 333452 | 3169 234 | 0 | 0 111.18/111.27 c 109s | 18 | 366221 | 339252 | 3169 238 | 0 | 0 113.17/113.29 c 111s | 18 | 372213 | 344952 | 3169 241 | 0 | 0 115.27/115.31 c 113s | 18 | 378338 | 350752 | 3169 244 | 0 | 0 117.27/117.32 c 115s | 18 | 386092 | 358052 | 3169 248 | 0 | 0 119.27/119.32 c 117s | 18 | 392653 | 364252 | 3169 252 | 0 | 0 121.27/121.33 c 119s | 18 | 399503 | 370552 | 3169 255 | 0 | 0 123.28/123.35 c 121s | 18 | 406894 | 377452 | 3169 259 | 0 | 0 125.27/125.36 c 123s | 18 | 414690 | 384852 | 3169 263 | 0 | 0 127.37/127.40 c 125s | 18 | 421402 | 391352 | 3169 267 | 0 | 0 129.37/129.44 c 127s | 18 | 428209 | 397952 | 3169 271 | 0 | 0 131.37/131.47 c 129s | 18 | 434825 | 404352 | 3169 274 | 0 | 0 133.37/133.49 c 131s | 18 | 442045 | 411152 | 3169 278 | 0 | 0 135.47/135.52 c 133s | 18 | 449028 | 417752 | 3169 282 | 0 | 0 137.48/137.52 c 135s | 18 | 456491 | 424752 | 3169 285 | 0 | 0 139.47/139.53 c 137s | 18 | 463220 | 431152 | 3169 289 | 0 | 0 141.47/141.55 c 139s | 18 | 470251 | 437852 | 3486 293 | 0 | 0 143.47/143.57 c 141s | 18 | 477135 | 444452 | 3486 296 | 0 | 0 143.47/143.58 c 141s | 19 | 477182 | 444482 | 3486 296 | 0 | 0 145.47/145.58 c 143s | 19 | 482481 | 449082 | 3486 298 | 0 | 0 147.57/147.65 c 145s | 19 | 488305 | 453882 | 3486 301 | 0 | 0 149.67/149.73 c 148s | 19 | 491816 | 457082 | 3486 303 | 0 | 0 151.77/151.83 c 150s | 19 | 495397 | 460382 | 3486 304 | 0 | 0 153.77/153.87 c 152s | 19 | 498811 | 463682 | 3486 306 | 0 | 0 155.87/155.94 c 154s | 19 | 502576 | 467282 | 3486 308 | 0 | 0 157.87/157.97 c 156s | 19 | 507244 | 471682 | 3486 310 | 0 | 0 159.86/159.98 c 158s | 19 | 512251 | 476382 | 3486 312 | 0 | 0 161.86/161.98 c 160s | 19 | 518724 | 481582 | 3486 315 | 0 | 0 163.97/164.02 c 162s | 19 | 525110 | 487282 | 3486 318 | 0 | 0 165.96/166.03 c 164s | 19 | 531294 | 493082 | 3486 321 | 0 | 0 167.96/168.05 c 166s | 19 | 537112 | 498782 | 3486 324 | 0 | 0 169.96/170.07 c 168s | 19 | 541845 | 503382 | 3486 326 | 0 | 0 171.96/172.09 c 170s | 19 | 546380 | 507682 | 3486 328 | 0 | 0 174.06/174.10 c 172s | 19 | 550171 | 511182 | 3486 330 | 0 | 0 176.07/176.12 c 174s | 19 | 554212 | 514982 | 3486 332 | 0 | 0 178.06/178.12 c 176s | 19 | 557700 | 518382 | 3486 334 | 0 | 0 180.06/180.12 c 178s | 19 | 560403 | 520982 | 3486 335 | 0 | 0 182.06/182.15 c 180s | 19 | 566944 | 526982 | 3486 338 | 0 | 0 184.16/184.22 c 182s | 19 | 572685 | 532382 | 3486 341 | 0 | 0 186.16/186.23 c 184s | 19 | 579577 | 539082 | 3486 344 | 0 | 0 188.17/188.25 c 186s | 19 | 586591 | 545482 | 3486 348 | 0 | 0 190.16/190.25 c 188s | 19 | 591788 | 550082 | 3486 350 | 0 | 0 192.16/192.26 c 190s | 19 | 597368 | 555382 | 3486 353 | 0 | 0 194.26/194.30 c 192s | 19 | 601322 | 559082 | 3486 355 | 0 | 0 196.26/196.32 c 194s | 19 | 604799 | 562482 | 3486 356 | 0 | 0 198.26/198.39 c 196s | 19 | 609374 | 566982 | 3486 359 | 0 | 0 200.36/200.40 c 198s | 19 | 613423 | 570782 | 3486 361 | 0 | 0 202.36/202.41 c 200s | 19 | 618991 | 576182 | 3486 363 | 0 | 0 204.35/204.42 c 202s | 19 | 624577 | 581482 | 3486 366 | 0 | 0 206.35/206.42 c 204s | 19 | 630915 | 587382 | 3486 369 | 0 | 0 208.45/208.51 c 206s | 19 | 635496 | 591682 | 3486 371 | 0 | 0 210.45/210.51 c 208s | 19 | 641455 | 597482 | 3486 374 | 0 | 0 212.45/212.53 c 210s | 19 | 646850 | 602582 | 3486 377 | 0 | 0 214.46/214.55 c 212s | 19 | 652783 | 608082 | 3486 380 | 0 | 0 216.45/216.55 c 214s | 19 | 657393 | 612182 | 3486 382 | 0 | 0 218.45/218.55 c 216s | 19 | 662689 | 617082 | 3486 385 | 0 | 0 220.45/220.56 c 218s | 19 | 668081 | 622382 | 3486 387 | 0 | 0 222.45/222.58 c 220s | 19 | 674783 | 628682 | 3486 390 | 0 | 0 224.46/224.59 c 222s | 19 | 681262 | 634582 | 3486 393 | 0 | 0 226.56/226.63 c 224s | 19 | 687753 | 640582 | 3486 397 | 0 | 0 228.55/228.67 c 226s | 19 | 694027 | 646282 | 3486 399 | 0 | 0 230.65/230.70 c 229s | 19 | 699633 | 651382 | 3486 402 | 0 | 0 232.65/232.71 c 231s | 19 | 705071 | 656382 | 3486 405 | 0 | 0 234.66/234.74 c 233s | 19 | 710248 | 660882 | 3835 407 | 0 | 0 236.66/236.77 c 235s | 19 | 715039 | 665082 | 3835 409 | 0 | 0 237.56/237.63 c 235s | 20 | 716992 | 666827 | 3835 409 | 0 | 0 239.56/239.65 c 237s | 20 | 724016 | 673427 | 3835 413 | 0 | 0 241.56/241.65 c 239s | 20 | 730729 | 679727 | 3835 416 | 0 | 0 243.56/243.65 c 241s | 20 | 737530 | 686027 | 3835 419 | 0 | 0 245.56/245.66 c 243s | 20 | 744702 | 692727 | 3835 422 | 0 | 0 247.56/247.67 c 245s | 20 | 751522 | 699127 | 3835 425 | 0 | 0 249.56/249.68 c 247s | 20 | 758534 | 705927 | 3835 428 | 0 | 0 251.66/251.71 c 250s | 20 | 765305 | 712027 | 3835 431 | 0 | 0 253.66/253.72 c 252s | 20 | 771777 | 717827 | 3835 434 | 0 | 0 255.65/255.74 c 254s | 20 | 778631 | 724127 | 3835 436 | 0 | 0 257.65/257.75 c 256s | 20 | 784991 | 729927 | 3835 439 | 0 | 0 259.66/259.76 c 258s | 20 | 791279 | 735727 | 3835 442 | 0 | 0 261.65/261.78 c 260s | 20 | 797014 | 741127 | 3835 445 | 0 | 0 263.75/263.81 c 262s | 20 | 802893 | 746227 | 3835 447 | 0 | 0 265.75/265.84 c 264s | 20 | 808907 | 751527 | 3835 450 | 0 | 0 267.75/267.86 c 266s | 20 | 815646 | 757827 | 3835 452 | 0 | 0 269.75/269.89 c 268s | 20 | 822513 | 764227 | 3835 456 | 0 | 0 271.76/271.89 c 270s | 20 | 829332 | 770127 | 3835 458 | 0 | 0 273.86/273.91 c 272s | 20 | 836289 | 776827 | 3835 462 | 0 | 0 275.85/275.93 c 274s | 20 | 842962 | 783227 | 3835 465 | 0 | 0 277.85/277.95 c 276s | 20 | 850237 | 790027 | 3835 468 | 0 | 0 279.85/279.98 c 278s | 20 | 856812 | 796227 | 3835 471 | 0 | 0 281.95/282.01 c 280s | 20 | 863507 | 802527 | 3835 474 | 0 | 0 283.95/284.01 c 282s | 20 | 870489 | 809027 | 3835 477 | 0 | 0 285.95/286.03 c 284s | 20 | 877387 | 815427 | 3835 480 | 0 | 0 287.95/288.04 c 286s | 20 | 882805 | 820627 | 3835 482 | 0 | 0 289.95/290.05 c 288s | 20 | 888716 | 826227 | 3835 485 | 0 | 0 291.95/292.06 c 290s | 20 | 894299 | 831427 | 3835 487 | 0 | 0 293.95/294.09 c 292s | 20 | 900992 | 837727 | 3835 490 | 0 | 0 296.05/296.12 c 294s | 20 | 907840 | 844227 | 3835 493 | 0 | 0 298.05/298.16 c 296s | 20 | 914794 | 850527 | 3835 496 | 0 | 0 300.05/300.19 c 298s | 20 | 920964 | 856127 | 3835 499 | 0 | 0 302.15/302.21 c 300s | 20 | 927794 | 862127 | 3835 502 | 0 | 0 304.14/304.22 c 302s | 20 | 933804 | 867827 | 3835 505 | 0 | 0 306.14/306.24 c 304s | 20 | 939066 | 872827 | 3835 507 | 0 | 0 308.14/308.25 c 306s | 20 | 944779 | 878127 | 3835 509 | 0 | 0 310.15/310.26 c 308s | 20 | 951510 | 884427 | 3835 512 | 0 | 0 312.14/312.26 c 310s | 20 | 959046 | 891327 | 3835 516 | 0 | 0 314.14/314.27 c 312s | 20 | 965916 | 897627 | 3835 519 | 0 | 0 316.24/316.31 c 314s | 20 | 972499 | 903627 | 3835 522 | 0 | 0 318.24/318.33 c 316s | 20 | 978759 | 909127 | 3835 524 | 0 | 0 320.24/320.34 c 318s | 20 | 985477 | 915127 | 3835 527 | 0 | 0 322.25/322.36 c 320s | 20 | 992090 | 921427 | 3835 530 | 0 | 0 324.24/324.38 c 322s | 20 | 997606 | 926727 | 3835 532 | 0 | 0 326.34/326.41 c 324s | 20 | 1004174 | 933027 | 3835 535 | 0 | 0 328.34/328.42 c 326s | 20 | 1009998 | 938627 | 3835 538 | 0 | 0 330.34/330.44 c 328s | 20 | 1016461 | 944627 | 3835 541 | 0 | 0 332.34/332.45 c 330s | 20 | 1022642 | 950327 | 3835 544 | 0 | 0 334.34/334.45 c 332s | 20 | 1028579 | 955927 | 3835 546 | 0 | 0 336.34/336.47 c 334s | 20 | 1034577 | 961527 | 3835 549 | 0 | 0 338.34/338.49 c 336s | 20 | 1041361 | 967727 | 3835 552 | 0 | 0 340.44/340.50 c 338s | 20 | 1048374 | 974327 | 3835 555 | 0 | 0 342.44/342.51 c 340s | 20 | 1054585 | 980127 | 3835 558 | 0 | 0 344.43/344.52 c 342s | 20 | 1061005 | 985927 | 3835 561 | 0 | 0 346.44/346.55 c 344s | 20 | 1068045 | 992227 | 4219 563 | 0 | 0 348.43/348.56 c 346s | 20 | 1074967 | 998527 | 4219 566 | 0 | 0 349.03/349.17 c 347s | 21 | 1076864 | 1000345 | 4219 567 | 0 | 0 351.03/351.19 c 349s | 21 | 1084453 | 1007745 | 4219 570 | 0 | 0 353.05/353.19 c 351s | 21 | 1090803 | 1013945 | 4219 573 | 0 | 0 355.14/355.20 c 353s | 21 | 1097319 | 1020045 | 4219 576 | 0 | 0 357.14/357.21 c 355s | 21 | 1103175 | 1025545 | 4219 578 | 0 | 0 359.14/359.24 c 357s | 21 | 1109043 | 1031145 | 4219 581 | 0 | 0 361.14/361.26 c 359s | 21 | 1114372 | 1036345 | 4219 583 | 0 | 0 363.14/363.28 c 361s | 21 | 1120719 | 1042545 | 4219 586 | 0 | 0 365.14/365.30 c 363s | 21 | 1126719 | 1048345 | 4219 588 | 0 | 0 367.24/367.32 c 365s | 21 | 1133247 | 1054545 | 4219 591 | 0 | 0 369.24/369.34 c 367s | 21 | 1139373 | 1060545 | 4219 594 | 0 | 0 371.23/371.36 c 369s | 21 | 1144586 | 1065545 | 4219 596 | 0 | 0 373.23/373.36 c 371s | 21 | 1151025 | 1071745 | 4219 599 | 0 | 0 375.33/375.41 c 373s | 21 | 1157817 | 1078245 | 4219 602 | 0 | 0 377.34/377.42 c 375s | 21 | 1163435 | 1083745 | 4219 604 | 0 | 0 379.33/379.44 c 377s | 21 | 1169920 | 1090045 | 4219 607 | 0 | 0 381.33/381.44 c 379s | 21 | 1175730 | 1095645 | 4219 610 | 0 | 0 383.33/383.48 c 381s | 21 | 1181684 | 1101445 | 4219 612 | 0 | 0 385.33/385.49 c 383s | 21 | 1187563 | 1107145 | 4219 615 | 0 | 0 387.33/387.50 c 385s | 21 | 1194536 | 1113845 | 4219 618 | 0 | 0 389.33/389.50 c 387s | 21 | 1200990 | 1120145 | 4219 621 | 0 | 0 391.43/391.53 c 389s | 21 | 1207225 | 1126145 | 4219 624 | 0 | 0 393.43/393.55 c 391s | 21 | 1213926 | 1132545 | 4219 626 | 0 | 0 395.43/395.55 c 393s | 21 | 1220071 | 1138545 | 4219 629 | 0 | 0 397.43/397.56 c 395s | 21 | 1226439 | 1144745 | 4219 632 | 0 | 0 399.43/399.57 c 397s | 21 | 1232683 | 1150845 | 4219 635 | 0 | 0 401.43/401.59 c 399s | 21 | 1239095 | 1157045 | 4219 638 | 0 | 0 403.53/403.62 c 401s | 21 | 1245244 | 1163045 | 4219 640 | 0 | 0 405.53/405.65 c 403s | 21 | 1251601 | 1169145 | 4219 643 | 0 | 0 407.52/407.65 c 405s | 21 | 1257357 | 1174645 | 4219 645 | 0 | 0 409.52/409.68 c 407s | 21 | 1263441 | 1180245 | 4219 648 | 0 | 0 411.62/411.70 c 410s | 21 | 1270409 | 1187045 | 4219 651 | 0 | 0 413.64/413.73 c 412s | 21 | 1276348 | 1192745 | 4219 654 | 0 | 0 415.63/415.75 c 414s | 21 | 1283056 | 1199245 | 4219 657 | 0 | 0 417.63/417.77 c 416s | 21 | 1288890 | 1204945 | 4219 659 | 0 | 0 419.73/419.80 c 418s | 21 | 1295439 | 1211345 | 4219 662 | 0 | 0 421.73/421.81 c 420s | 21 | 1302903 | 1218645 | 4219 665 | 0 | 0 423.73/423.82 c 422s | 21 | 1309423 | 1225045 | 4219 668 | 0 | 0 425.73/425.83 c 424s | 21 | 1315723 | 1231245 | 4219 671 | 0 | 0 427.73/427.84 c 426s | 21 | 1322091 | 1237145 | 4219 674 | 0 | 0 429.73/429.84 c 428s | 21 | 1329059 | 1243845 | 4219 676 | 0 | 0 431.73/431.87 c 430s | 21 | 1335302 | 1249745 | 4219 679 | 0 | 0 433.73/433.89 c 432s | 21 | 1341533 | 1255645 | 4219 682 | 0 | 0 435.83/435.91 c 434s | 21 | 1347288 | 1261245 | 4219 684 | 0 | 0 437.83/437.93 c 436s | 21 | 1353617 | 1267245 | 4219 687 | 0 | 0 439.83/439.97 c 438s | 21 | 1360009 | 1273045 | 4219 689 | 0 | 0 441.82/441.99 c 440s | 21 | 1367063 | 1279345 | 4219 692 | 0 | 0 443.82/444.00 c 442s | 21 | 1374626 | 1286245 | 4219 695 | 0 | 0 445.92/446.02 c 444s | 21 | 1382526 | 1293645 | 4219 698 | 0 | 0 447.92/448.02 c 446s | 21 | 1390150 | 1300645 | 4219 702 | 0 | 0 449.93/450.05 c 448s | 21 | 1398245 | 1307945 | 4219 705 | 0 | 0 451.92/452.05 c 450s | 21 | 1404964 | 1314145 | 4219 708 | 0 | 0 453.92/454.09 c 452s | 21 | 1411922 | 1320445 | 4219 711 | 0 | 0 456.02/456.14 c 454s | 21 | 1417740 | 1325345 | 4219 713 | 0 | 0 458.02/458.18 c 456s | 21 | 1422720 | 1330245 | 4219 715 | 0 | 0 460.02/460.20 c 458s | 21 | 1427292 | 1334745 | 4219 717 | 0 | 0 462.12/462.24 c 460s | 21 | 1433344 | 1339745 | 4219 719 | 0 | 0 464.13/464.25 c 462s | 21 | 1438989 | 1345045 | 4219 722 | 0 | 0 466.22/466.30 c 464s | 21 | 1444807 | 1350245 | 4219 724 | 0 | 0 468.22/468.31 c 466s | 21 | 1450925 | 1355745 | 4219 726 | 0 | 0 470.22/470.33 c 468s | 21 | 1456925 | 1361345 | 4219 729 | 0 | 0 472.22/472.35 c 470s | 21 | 1462444 | 1366545 | 4219 731 | 0 | 0 474.21/474.39 c 472s | 21 | 1468427 | 1372145 | 4219 734 | 0 | 0 476.32/476.42 c 474s | 21 | 1474347 | 1377645 | 4219 736 | 0 | 0 478.31/478.46 c 476s | 21 | 1479995 | 1382945 | 4219 738 | 0 | 0 480.31/480.48 c 478s | 21 | 1485943 | 1388445 | 4219 741 | 0 | 0 482.31/482.49 c 480s | 21 | 1491542 | 1393445 | 4219 743 | 0 | 0 484.41/484.50 c 482s | 21 | 1497446 | 1398745 | 4219 746 | 0 | 0 486.41/486.54 c 484s | 21 | 1503611 | 1404345 | 4219 748 | 0 | 0 488.42/488.58 c 486s | 21 | 1509805 | 1409845 | 4219 751 | 0 | 0 490.41/490.60 c 488s | 21 | 1516355 | 1415845 | 4219 753 | 0 | 0 492.51/492.61 c 490s | 21 | 1522646 | 1421445 | 4219 756 | 0 | 0 494.51/494.64 c 492s | 21 | 1528099 | 1426145 | 4219 758 | 0 | 0 496.51/496.65 c 494s | 21 | 1534392 | 1432245 | 4219 761 | 0 | 0 498.51/498.68 c 496s | 21 | 1540736 | 1437845 | 4219 763 | 0 | 0 500.61/500.71 c 499s | 21 | 1547016 | 1443245 | 4219 765 | 0 | 0 502.62/502.71 c 501s | 21 | 1552261 | 1447745 | 4219 767 | 0 | 0 504.61/504.73 c 503s | 21 | 1559018 | 1453945 | 4219 770 | 0 | 0 506.61/506.75 c 505s | 21 | 1566271 | 1459045 | 4219 773 | 0 | 0 508.61/508.78 c 507s | 21 | 1572758 | 1464445 | 4219 775 | 0 | 0 510.61/510.79 c 509s | 21 | 1578998 | 1469545 | 4219 777 | 0 | 0 512.71/512.82 c 511s | 21 | 1586063 | 1475845 | 4219 780 | 0 | 0 514.72/514.83 c 513s | 21 | 1592470 | 1481545 | 4219 783 | 0 | 0 516.71/516.85 c 515s | 21 | 1599226 | 1487845 | 4641 785 | 0 | 0 518.71/518.86 c 517s | 21 | 1605285 | 1493245 | 4641 787 | 0 | 0 520.71/520.88 c 519s | 21 | 1610357 | 1498045 | 4641 789 | 0 | 0 521.71/521.88 c 520s | 22 | 1613027 | 1500622 | 4641 790 | 0 | 0 523.71/523.89 c 522s | 22 | 1620693 | 1507922 | 4641 793 | 0 | 0 525.81/525.91 c 524s | 22 | 1626810 | 1513622 | 4641 796 | 0 | 0 527.81/527.92 c 526s | 22 | 1633265 | 1519722 | 4641 798 | 0 | 0 529.81/529.93 c 528s | 22 | 1639825 | 1525722 | 4641 800 | 0 | 0 531.81/531.94 c 530s | 22 | 1646286 | 1531422 | 4641 803 | 0 | 0 533.80/533.98 c 532s | 22 | 1652169 | 1536822 | 4641 805 | 0 | 0 535.80/535.99 c 534s | 22 | 1658593 | 1542522 | 4641 807 | 0 | 0 537.81/537.99 c 536s | 22 | 1664031 | 1547522 | 4641 809 | 0 | 0 539.90/540.00 c 538s | 22 | 1669912 | 1553022 | 4641 811 | 0 | 0 541.90/542.02 c 540s | 22 | 1676218 | 1558922 | 4641 814 | 0 | 0 543.90/544.05 c 542s | 22 | 1681586 | 1564122 | 4641 816 | 0 | 0 545.90/546.06 c 544s | 22 | 1688241 | 1570322 | 4641 818 | 0 | 0 547.90/548.07 c 546s | 22 | 1694465 | 1576222 | 4641 820 | 0 | 0 549.91/550.07 c 548s | 22 | 1700831 | 1582222 | 4641 823 | 0 | 0 551.90/552.08 c 550s | 22 | 1707049 | 1588022 | 4641 825 | 0 | 0 553.91/554.09 c 552s | 22 | 1713167 | 1593522 | 4641 827 | 0 | 0 556.01/556.13 c 554s | 22 | 1719455 | 1599522 | 4641 830 | 0 | 0 558.01/558.15 c 556s | 22 | 1725732 | 1605322 | 4641 832 | 0 | 0 560.01/560.15 c 558s | 22 | 1732280 | 1611422 | 4641 834 | 0 | 0 562.01/562.16 c 560s | 22 | 1738783 | 1617522 | 4641 837 | 0 | 0 564.01/564.17 c 562s | 22 | 1744757 | 1623222 | 4641 839 | 0 | 0 566.01/566.18 c 564s | 22 | 1750977 | 1629122 | 4641 841 | 0 | 0 568.11/568.20 c 566s | 22 | 1757116 | 1634822 | 4641 844 | 0 | 0 570.11/570.21 c 568s | 22 | 1763482 | 1640822 | 4641 846 | 0 | 0 572.11/572.23 c 570s | 22 | 1769810 | 1646822 | 4641 848 | 0 | 0 574.11/574.26 c 572s | 22 | 1775849 | 1652422 | 4641 851 | 0 | 0 576.11/576.29 c 574s | 22 | 1782554 | 1658722 | 4641 853 | 0 | 0 578.21/578.31 c 576s | 22 | 1788392 | 1664122 | 4641 855 | 0 | 0 580.20/580.33 c 578s | 22 | 1794430 | 1669822 | 4641 857 | 0 | 0 582.20/582.38 c 580s | 22 | 1799974 | 1675222 | 4641 860 | 0 | 0 584.20/584.38 c 582s | 22 | 1806328 | 1681422 | 4641 862 | 0 | 0 586.31/586.42 c 584s | 22 | 1812457 | 1687322 | 4641 864 | 0 | 0 588.30/588.43 c 586s | 22 | 1818094 | 1692822 | 4641 866 | 0 | 0 590.30/590.43 c 588s | 22 | 1824529 | 1699122 | 4641 869 | 0 | 0 592.30/592.47 c 590s | 22 | 1830322 | 1704822 | 4641 871 | 0 | 0 594.30/594.48 c 592s | 22 | 1836059 | 1710422 | 4641 873 | 0 | 0 596.30/596.49 c 594s | 22 | 1842339 | 1716422 | 4641 876 | 0 | 0 598.41/598.51 c 596s | 22 | 1848670 | 1722622 | 4641 878 | 0 | 0 600.40/600.54 c 598s | 22 | 1854778 | 1728622 | 4641 881 | 0 | 0 602.40/602.55 c 600s | 22 | 1861228 | 1734922 | 4641 883 | 0 | 0 604.40/604.57 c 602s | 22 | 1867401 | 1741022 | 4641 885 | 0 | 0 606.40/606.58 c 604s | 22 | 1873741 | 1747022 | 4641 888 | 0 | 0 608.40/608.59 c 606s | 22 | 1879598 | 1752622 | 4641 890 | 0 | 0 610.51/610.61 c 608s | 22 | 1884871 | 1757722 | 4641 892 | 0 | 0 612.50/612.64 c 610s | 22 | 1890842 | 1763422 | 4641 894 | 0 | 0 614.50/614.67 c 612s | 22 | 1896700 | 1768922 | 4641 896 | 0 | 0 616.50/616.69 c 615s | 22 | 1903085 | 1775022 | 4641 899 | 0 | 0 618.60/618.72 c 617s | 22 | 1908731 | 1780222 | 4641 901 | 0 | 0 620.60/620.74 c 619s | 22 | 1914402 | 1785322 | 4641 903 | 0 | 0 622.60/622.78 c 621s | 22 | 1919134 | 1789822 | 4641 905 | 0 | 0 624.60/624.80 c 623s | 22 | 1925746 | 1795922 | 4641 907 | 0 | 0 626.69/626.82 c 625s | 22 | 1931706 | 1801622 | 4641 909 | 0 | 0 628.69/628.82 c 627s | 22 | 1937070 | 1806822 | 4641 911 | 0 | 0 630.69/630.85 c 629s | 22 | 1942813 | 1812422 | 4641 914 | 0 | 0 632.69/632.85 c 631s | 22 | 1948547 | 1818022 | 4641 916 | 0 | 0 634.70/634.88 c 633s | 22 | 1954726 | 1824022 | 4641 918 | 0 | 0 636.69/636.89 c 635s | 22 | 1960417 | 1829522 | 4641 920 | 0 | 0 638.79/638.92 c 637s | 22 | 1966409 | 1835222 | 4641 923 | 0 | 0 640.79/640.95 c 639s | 22 | 1972209 | 1840822 | 4641 925 | 0 | 0 642.79/642.97 c 641s | 22 | 1977828 | 1846222 | 4641 927 | 0 | 0 644.89/645.00 c 643s | 22 | 1983836 | 1852022 | 4641 929 | 0 | 0 646.89/647.03 c 645s | 22 | 1989450 | 1857422 | 4641 931 | 0 | 0 648.90/649.06 c 647s | 22 | 1995839 | 1863522 | 4641 934 | 0 | 0 650.89/651.06 c 649s | 22 | 2002490 | 1869922 | 4641 936 | 0 | 0 652.89/653.09 c 651s | 22 | 2008381 | 1875722 | 4641 939 | 0 | 0 654.99/655.10 c 653s | 22 | 2014811 | 1881922 | 4641 941 | 0 | 0 656.99/657.12 c 655s | 22 | 2020734 | 1887722 | 4641 943 | 0 | 0 658.99/659.13 c 657s | 22 | 2026676 | 1893422 | 4641 946 | 0 | 0 661.00/661.14 c 659s | 22 | 2032499 | 1898922 | 4641 948 | 0 | 0 662.99/663.14 c 661s | 22 | 2038193 | 1904422 | 4641 950 | 0 | 0 664.99/665.16 c 663s | 22 | 2043996 | 1909922 | 4641 952 | 0 | 0 666.99/667.18 c 665s | 22 | 2049815 | 1915422 | 4641 954 | 0 | 0 668.99/669.18 c 667s | 22 | 2055668 | 1921022 | 4641 957 | 0 | 0 671.09/671.20 c 669s | 22 | 2060828 | 1925822 | 4641 959 | 0 | 0 673.10/673.21 c 671s | 22 | 2066402 | 1931222 | 4641 961 | 0 | 0 675.09/675.22 c 673s | 22 | 2072565 | 1937222 | 4641 963 | 0 | 0 677.09/677.24 c 675s | 22 | 2077764 | 1942322 | 4641 965 | 0 | 0 679.09/679.27 c 677s | 22 | 2082438 | 1946822 | 4641 967 | 0 | 0 681.09/681.29 c 679s | 22 | 2088724 | 1953022 | 4641 969 | 0 | 0 683.19/683.31 c 681s | 22 | 2094827 | 1958822 | 4641 972 | 0 | 0 685.19/685.34 c 683s | 22 | 2100390 | 1964022 | 4641 974 | 0 | 0 687.18/687.37 c 685s | 22 | 2105372 | 1968822 | 4641 976 | 0 | 0 689.18/689.37 c 687s | 22 | 2110822 | 1974022 | 4641 978 | 0 | 0 691.18/691.39 c 689s | 22 | 2116219 | 1979222 | 4641 980 | 0 | 0 693.28/693.41 c 691s | 22 | 2121724 | 1984422 | 4641 982 | 0 | 0 695.28/695.41 c 693s | 22 | 2127220 | 1989622 | 4641 984 | 0 | 0 697.29/697.43 c 695s | 22 | 2133605 | 1995622 | 4641 986 | 0 | 0 699.28/699.45 c 697s | 22 | 2139792 | 2001622 | 4641 989 | 0 | 0 701.28/701.47 c 699s | 22 | 2145919 | 2007522 | 4641 991 | 0 | 0 703.28/703.49 c 701s | 22 | 2151579 | 2012822 | 4641 993 | 0 | 0 705.38/705.50 c 703s | 22 | 2158063 | 2019022 | 4641 995 | 0 | 0 707.38/707.51 c 705s | 22 | 2163740 | 2024422 | 4641 998 | 0 | 0 709.39/709.52 c 707s | 22 | 2169889 | 2030122 | 4641 1000 | 0 | 0 711.38/711.52 c 709s | 22 | 2175673 | 2035322 | 4641 1002 | 0 | 0 713.38/713.54 c 711s | 22 | 2181785 | 2041122 | 4641 1004 | 0 | 0 715.38/715.55 c 713s | 22 | 2187479 | 2046422 | 4641 1006 | 0 | 0 717.38/717.58 c 715s | 22 | 2192911 | 2051422 | 4641 1008 | 0 | 0 719.39/719.58 c 717s | 22 | 2198931 | 2057022 | 4641 1011 | 0 | 0 721.38/721.59 c 719s | 22 | 2204396 | 2062022 | 4641 1013 | 0 | 0 723.48/723.60 c 721s | 22 | 2209842 | 2066922 | 4641 1015 | 0 | 0 725.48/725.63 c 723s | 22 | 2215350 | 2071722 | 4641 1017 | 0 | 0 727.48/727.66 c 725s | 22 | 2220896 | 2076822 | 4641 1019 | 0 | 0 729.58/729.70 c 728s | 22 | 2226412 | 2081922 | 4641 1021 | 0 | 0 731.58/731.71 c 730s | 22 | 2231482 | 2086722 | 4641 1023 | 0 | 0 733.58/733.72 c 732s | 22 | 2237760 | 2092622 | 4641 1025 | 0 | 0 735.58/735.76 c 734s | 22 | 2243463 | 2097722 | 4641 1027 | 0 | 0 737.57/737.77 c 736s | 22 | 2248424 | 2102322 | 4641 1029 | 0 | 0 739.57/739.78 c 738s | 22 | 2254143 | 2107622 | 4641 1031 | 0 | 0 741.67/741.81 c 740s | 22 | 2259785 | 2112822 | 4641 1033 | 0 | 0 743.67/743.83 c 742s | 22 | 2265834 | 2118422 | 4641 1035 | 0 | 0 745.68/745.85 c 744s | 22 | 2271184 | 2123622 | 4641 1037 | 0 | 0 747.67/747.89 c 746s | 22 | 2276792 | 2128822 | 4641 1039 | 0 | 0 749.67/749.90 c 748s | 22 | 2282101 | 2134022 | 4641 1041 | 0 | 0 751.77/751.92 c 750s | 22 | 2288088 | 2139822 | 4641 1044 | 0 | 0 753.77/753.93 c 752s | 22 | 2293894 | 2145522 | 4641 1046 | 0 | 0 755.77/755.93 c 754s | 22 | 2299767 | 2151222 | 4641 1048 | 0 | 0 757.78/757.97 c 756s | 22 | 2305894 | 2157222 | 4641 1051 | 0 | 0 759.77/759.99 c 758s | 22 | 2311815 | 2163022 | 4641 1053 | 0 | 0 761.87/762.01 c 760s | 22 | 2317516 | 2168622 | 4641 1055 | 0 | 0 763.87/764.03 c 762s | 22 | 2324050 | 2174922 | 4641 1058 | 0 | 0 765.87/766.04 c 764s | 22 | 2329823 | 2180522 | 4641 1060 | 0 | 0 767.87/768.04 c 766s | 22 | 2336102 | 2186622 | 4641 1062 | 0 | 0 769.88/770.05 c 768s | 22 | 2341964 | 2192322 | 4641 1064 | 0 | 0 771.88/772.09 c 770s | 22 | 2347878 | 2198022 | 4641 1067 | 0 | 0 773.98/774.10 c 772s | 22 | 2354069 | 2204022 | 4641 1069 | 0 | 0 775.97/776.11 c 774s | 22 | 2360382 | 2210222 | 4641 1072 | 0 | 0 777.97/778.15 c 776s | 22 | 2365593 | 2215322 | 4641 1074 | 0 | 0 779.97/780.15 c 778s | 22 | 2371855 | 2221422 | 4641 1076 | 0 | 0 781.98/782.16 c 780s | 22 | 2378282 | 2227622 | 4641 1078 | 0 | 0 783.97/784.16 c 782s | 22 | 2384342 | 2233422 | 5106 1080 | 0 | 0 785.97/786.18 c 784s | 22 | 2390059 | 2239022 | 5106 1082 | 0 | 0 787.97/788.18 c 786s | 22 | 2395813 | 2244522 | 5106 1084 | 0 | 0 789.97/790.19 c 788s | 22 | 2401332 | 2249722 | 5106 1086 | 0 | 0 790.57/790.77 c 789s | 23 | 2402731 | 2251038 | 5106 1087 | 0 | 0 792.67/792.89 c 791s | 23 | 2406853 | 2253538 | 5106 1088 | 0 | 0 794.77/794.93 c 793s | 23 | 2411463 | 2257538 | 5106 1089 | 0 | 0 796.76/796.95 c 795s | 23 | 2416657 | 2261838 | 5106 1091 | 0 | 0 798.86/799.00 c 797s | 23 | 2421888 | 2266338 | 5106 1092 | 0 | 0 800.86/801.00 c 799s | 23 | 2426892 | 2269638 | 5106 1094 | 0 | 0 802.87/803.03 c 801s | 23 | 2431845 | 2273338 | 5106 1095 | 0 | 0 804.86/805.06 c 803s | 23 | 2437325 | 2278438 | 5106 1097 | 0 | 0 806.86/807.08 c 805s | 23 | 2442477 | 2282938 | 5106 1098 | 0 | 0 808.96/809.10 c 807s | 23 | 2446778 | 2287038 | 5106 1100 | 0 | 0 810.96/811.13 c 809s | 23 | 2451750 | 2291538 | 5106 1101 | 0 | 0 812.96/813.17 c 811s | 23 | 2456589 | 2296038 | 5106 1103 | 0 | 0 814.97/815.17 c 813s | 23 | 2461832 | 2300638 | 5106 1105 | 0 | 0 816.95/817.19 c 815s | 23 | 2467354 | 2305638 | 5106 1107 | 0 | 0 818.95/819.19 c 817s | 23 | 2474136 | 2311538 | 5106 1109 | 0 | 0 821.05/821.22 c 819s | 23 | 2481210 | 2317638 | 5106 1111 | 0 | 0 823.05/823.22 c 821s | 23 | 2487842 | 2323538 | 5106 1113 | 0 | 0 825.05/825.23 c 823s | 23 | 2493369 | 2328438 | 5106 1115 | 0 | 0 827.06/827.26 c 825s | 23 | 2497953 | 2332738 | 5106 1116 | 0 | 0 829.05/829.28 c 827s | 23 | 2504161 | 2338538 | 5106 1119 | 0 | 0 831.05/831.28 c 829s | 23 | 2510591 | 2344238 | 5106 1121 | 0 | 0 833.05/833.29 c 831s | 23 | 2515663 | 2348738 | 5106 1122 | 0 | 0 835.15/835.33 c 833s | 23 | 2521467 | 2353738 | 5106 1124 | 0 | 0 837.14/837.33 c 835s | 23 | 2525744 | 2357538 | 5106 1125 | 0 | 0 839.15/839.34 c 837s | 23 | 2531824 | 2362938 | 5106 1127 | 0 | 0 841.14/841.37 c 839s | 23 | 2539896 | 2370338 | 5106 1130 | 0 | 0 843.14/843.39 c 841s | 23 | 2543864 | 2373938 | 5106 1131 | 0 | 0 845.24/845.43 c 843s | 23 | 2547295 | 2377138 | 5106 1132 | 0 | 0 847.24/847.44 c 845s | 23 | 2550769 | 2380238 | 5106 1134 | 0 | 0 849.24/849.46 c 847s | 23 | 2556497 | 2385438 | 5106 1135 | 0 | 0 851.25/851.48 c 849s | 23 | 2561937 | 2390438 | 5106 1137 | 0 | 0 853.24/853.49 c 851s | 23 | 2567231 | 2395138 | 5106 1139 | 0 | 0 855.34/855.50 c 853s | 23 | 2572180 | 2399538 | 5106 1141 | 0 | 0 857.33/857.53 c 855s | 23 | 2577272 | 2404438 | 5106 1142 | 0 | 0 859.33/859.56 c 857s | 23 | 2581035 | 2407938 | 5106 1144 | 0 | 0 861.33/861.59 c 859s | 23 | 2585753 | 2412538 | 5106 1145 | 0 | 0 863.44/863.66 c 861s | 23 | 2589663 | 2416038 | 5106 1147 | 0 | 0 865.43/865.67 c 863s | 23 | 2594442 | 2420438 | 5106 1148 | 0 | 0 867.43/867.68 c 866s | 23 | 2598998 | 2424838 | 5106 1150 | 0 | 0 869.53/869.70 c 868s | 23 | 2602670 | 2428038 | 5106 1151 | 0 | 0 871.53/871.75 c 870s | 23 | 2607405 | 2432438 | 5106 1153 | 0 | 0 873.63/873.81 c 872s | 23 | 2612631 | 2437038 | 5106 1154 | 0 | 0 875.63/875.89 c 874s | 23 | 2616679 | 2440338 | 5106 1155 | 0 | 0 877.73/877.94 c 876s | 23 | 2618849 | 2442338 | 5106 1156 | 0 | 0 879.72/879.96 c 878s | 23 | 2622886 | 2445938 | 5106 1157 | 0 | 0 881.82/882.03 c 880s | 23 | 2629226 | 2451638 | 5106 1160 | 0 | 0 883.82/884.05 c 882s | 23 | 2634314 | 2456038 | 5106 1161 | 0 | 0 885.81/886.07 c 884s | 23 | 2639328 | 2460838 | 5106 1163 | 0 | 0 887.81/888.08 c 886s | 23 | 2644311 | 2465538 | 5106 1165 | 0 | 0 889.82/890.09 c 888s | 23 | 2649131 | 2470038 | 5106 1166 | 0 | 0 891.81/892.10 c 890s | 23 | 2654566 | 2475038 | 5106 1168 | 0 | 0 893.91/894.16 c 892s | 23 | 2659877 | 2480038 | 5106 1170 | 0 | 0 896.01/896.20 c 894s | 23 | 2663902 | 2483738 | 5106 1171 | 0 | 0 898.01/898.24 c 896s | 23 | 2666960 | 2486638 | 5106 1172 | 0 | 0 900.01/900.24 c 898s | 23 | 2669792 | 2489338 | 5106 1173 | 0 | 0 902.01/902.27 c 900s | 23 | 2673289 | 2492638 | 5106 1174 | 0 | 0 904.12/904.33 c 902s | 23 | 2676821 | 2495938 | 5106 1176 | 0 | 0 906.11/906.38 c 904s | 23 | 2680516 | 2499438 | 5106 1177 | 0 | 0 908.21/908.40 c 906s | 23 | 2684536 | 2503238 | 5106 1178 | 0 | 0 910.21/910.41 c 908s | 23 | 2689885 | 2508038 | 5106 1180 | 0 | 0 912.21/912.47 c 910s | 23 | 2694066 | 2511838 | 5106 1181 | 0 | 0 914.21/914.49 c 912s | 23 | 2698839 | 2516238 | 5106 1183 | 0 | 0 916.31/916.51 c 914s | 23 | 2704866 | 2521938 | 5106 1185 | 0 | 0 918.31/918.52 c 916s | 23 | 2710608 | 2527138 | 5106 1187 | 0 | 0 920.31/920.59 c 918s | 23 | 2714398 | 2530638 | 5106 1188 | 0 | 0 922.31/922.59 c 920s | 23 | 2721240 | 2537038 | 5106 1190 | 0 | 0 924.41/924.63 c 922s | 23 | 2727504 | 2542738 | 5106 1193 | 0 | 0 926.40/926.67 c 924s | 23 | 2733432 | 2548238 | 5106 1195 | 0 | 0 928.40/928.69 c 927s | 23 | 2739977 | 2554238 | 5106 1197 | 0 | 0 930.41/930.70 c 929s | 23 | 2746209 | 2559938 | 5106 1199 | 0 | 0 932.50/932.72 c 931s | 23 | 2752337 | 2565638 | 5106 1201 | 0 | 0 934.50/934.73 c 933s | 23 | 2758980 | 2571638 | 5106 1203 | 0 | 0 936.50/936.74 c 935s | 23 | 2764976 | 2577238 | 5106 1205 | 0 | 0 938.50/938.75 c 937s | 23 | 2770358 | 2582438 | 5106 1207 | 0 | 0 940.50/940.80 c 939s | 23 | 2775634 | 2586838 | 5106 1209 | 0 | 0 942.60/942.87 c 941s | 23 | 2780689 | 2591038 | 5106 1210 | 0 | 0 944.70/944.92 c 943s | 23 | 2784927 | 2594838 | 5106 1211 | 0 | 0 946.69/946.95 c 945s | 23 | 2789801 | 2599238 | 5106 1213 | 0 | 0 948.69/948.96 c 947s | 23 | 2795799 | 2604438 | 5106 1215 | 0 | 0 950.69/950.96 c 949s | 23 | 2800867 | 2608938 | 5106 1217 | 0 | 0 952.79/953.01 c 951s | 23 | 2805826 | 2613538 | 5106 1218 | 0 | 0 954.79/955.01 c 953s | 23 | 2810516 | 2617538 | 5106 1220 | 0 | 0 956.79/957.02 c 955s | 23 | 2816150 | 2622938 | 5106 1222 | 0 | 0 958.79/959.06 c 957s | 23 | 2821579 | 2628138 | 5106 1223 | 0 | 0 960.79/961.07 c 959s | 23 | 2826750 | 2633038 | 5106 1225 | 0 | 0 962.78/963.07 c 961s | 23 | 2831072 | 2637138 | 5106 1227 | 0 | 0 964.88/965.13 c 963s | 23 | 2835381 | 2641038 | 5106 1228 | 0 | 0 966.98/967.22 c 965s | 23 | 2839782 | 2644738 | 5106 1230 | 0 | 0 968.98/969.23 c 967s | 23 | 2847499 | 2651638 | 5106 1232 | 0 | 0 970.98/971.26 c 969s | 23 | 2852410 | 2656038 | 5106 1234 | 0 | 0 972.98/973.27 c 971s | 23 | 2858895 | 2662038 | 5106 1236 | 0 | 0 975.08/975.35 c 973s | 23 | 2864545 | 2667138 | 5106 1238 | 0 | 0 977.07/977.36 c 975s | 23 | 2869557 | 2671538 | 5106 1239 | 0 | 0 979.07/979.37 c 977s | 23 | 2874793 | 2676138 | 5106 1241 | 0 | 0 981.08/981.39 c 979s | 23 | 2879837 | 2680938 | 5106 1243 | 0 | 0 983.07/983.39 c 981s | 23 | 2885239 | 2685838 | 5106 1244 | 0 | 0 985.17/985.45 c 983s | 23 | 2889680 | 2689638 | 5106 1246 | 0 | 0 987.17/987.47 c 985s | 23 | 2895680 | 2695138 | 5106 1248 | 0 | 0 989.17/989.47 c 987s | 23 | 2901565 | 2700138 | 5106 1250 | 0 | 0 991.27/991.51 c 989s | 23 | 2904602 | 2702938 | 5106 1251 | 0 | 0 993.27/993.57 c 991s | 23 | 2908222 | 2706238 | 5106 1252 | 0 | 0 995.27/995.58 c 993s | 23 | 2913076 | 2710738 | 5106 1253 | 0 | 0 997.26/997.59 c 995s | 23 | 2917901 | 2715038 | 5106 1255 | 0 | 0 999.36/999.60 c 997s | 23 | 2922864 | 2719438 | 5106 1257 | 0 | 0 1001.36/1001.62 c 999s | 23 | 2927370 | 2723338 | 5106 1258 | 0 | 0 1003.36/1003.66 c 1001s | 23 | 2934551 | 2729838 | 5106 1260 | 0 | 0 1005.46/1005.70 c 1004s | 23 | 2939798 | 2734338 | 5106 1262 | 0 | 0 1007.47/1007.73 c 1006s | 23 | 2943938 | 2737938 | 5106 1263 | 0 | 0 1009.46/1009.75 c 1008s | 23 | 2949681 | 2743138 | 5106 1265 | 0 | 0 1011.46/1011.79 c 1010s | 23 | 2953725 | 2746338 | 5106 1266 | 0 | 0 1013.56/1013.80 c 1012s | 23 | 2959974 | 2751838 | 5106 1268 | 0 | 0 1015.56/1015.82 c 1014s | 23 | 2964679 | 2755938 | 5106 1270 | 0 | 0 1017.56/1017.82 c 1016s | 23 | 2970222 | 2760538 | 5106 1272 | 0 | 0 1019.56/1019.82 c 1018s | 23 | 2975874 | 2765538 | 5106 1273 | 0 | 0 1021.56/1021.83 c 1020s | 23 | 2981081 | 2770238 | 5106 1275 | 0 | 0 1023.56/1023.84 c 1022s | 23 | 2986349 | 2775038 | 5106 1277 | 0 | 0 1025.66/1025.92 c 1024s | 23 | 2990944 | 2778138 | 5106 1278 | 0 | 0 1027.65/1027.95 c 1026s | 23 | 2995422 | 2781338 | 5106 1279 | 0 | 0 1029.65/1029.96 c 1028s | 23 | 2999763 | 2784738 | 5106 1280 | 0 | 0 1031.75/1032.02 c 1030s | 23 | 3003134 | 2787638 | 5106 1281 | 0 | 0 1033.76/1034.05 c 1032s | 23 | 3008433 | 2792338 | 5106 1283 | 0 | 0 1035.75/1036.09 c 1034s | 23 | 3013805 | 2797338 | 5106 1285 | 0 | 0 1037.85/1038.12 c 1036s | 23 | 3018511 | 2801538 | 5106 1286 | 0 | 0 1039.84/1040.13 c 1038s | 23 | 3022500 | 2805138 | 5106 1288 | 0 | 0 1041.84/1042.14 c 1040s | 23 | 3025841 | 2808038 | 5106 1289 | 0 | 0 1043.84/1044.16 c 1042s | 23 | 3030560 | 2812338 | 5106 1290 | 0 | 0 1045.95/1046.22 c 1044s | 23 | 3036326 | 2817538 | 5106 1292 | 0 | 0 1047.94/1048.23 c 1046s | 23 | 3041386 | 2822238 | 5106 1294 | 0 | 0 1049.94/1050.27 c 1048s | 23 | 3046821 | 2827238 | 5106 1296 | 0 | 0 1052.04/1052.31 c 1050s | 23 | 3051728 | 2831738 | 5106 1297 | 0 | 0 1054.04/1054.33 c 1052s | 23 | 3057275 | 2836938 | 5106 1299 | 0 | 0 1056.03/1056.34 c 1054s | 23 | 3063003 | 2842338 | 5106 1301 | 0 | 0 1058.04/1058.35 c 1056s | 23 | 3068878 | 2848038 | 5106 1303 | 0 | 0 1060.03/1060.37 c 1058s | 23 | 3075975 | 2854938 | 5106 1306 | 0 | 0 1062.03/1062.38 c 1060s | 23 | 3081953 | 2860638 | 5106 1308 | 0 | 0 1064.13/1064.40 c 1062s | 23 | 3088656 | 2867038 | 5106 1310 | 0 | 0 1066.13/1066.41 c 1064s | 23 | 3095192 | 2873138 | 5106 1312 | 0 | 0 1068.13/1068.43 c 1066s | 23 | 3101590 | 2879038 | 5106 1315 | 0 | 0 1070.13/1070.46 c 1068s | 23 | 3107621 | 2884638 | 5106 1317 | 0 | 0 1072.13/1072.47 c 1070s | 23 | 3113600 | 2890238 | 5106 1319 | 0 | 0 1074.12/1074.47 c 1072s | 23 | 3119395 | 2895538 | 5106 1321 | 0 | 0 1076.12/1076.48 c 1074s | 23 | 3126080 | 2901838 | 5106 1323 | 0 | 0 1078.22/1078.51 c 1076s | 23 | 3132247 | 2907538 | 5106 1325 | 0 | 0 1080.22/1080.54 c 1078s | 23 | 3139126 | 2913738 | 5106 1327 | 0 | 0 1082.23/1082.56 c 1080s | 23 | 3145922 | 2920138 | 5106 1330 | 0 | 0 1084.22/1084.57 c 1082s | 23 | 3152928 | 2926538 | 5106 1332 | 0 | 0 1086.32/1086.61 c 1084s | 23 | 3157841 | 2931038 | 5106 1333 | 0 | 0 1088.32/1088.61 c 1086s | 23 | 3164133 | 2936438 | 5106 1335 | 0 | 0 1090.32/1090.64 c 1088s | 23 | 3170726 | 2941938 | 5106 1337 | 0 | 0 1092.32/1092.66 c 1090s | 23 | 3176930 | 2947638 | 5106 1340 | 0 | 0 1094.33/1094.66 c 1092s | 23 | 3182175 | 2952738 | 5106 1341 | 0 | 0 1096.32/1096.68 c 1095s | 23 | 3188403 | 2958838 | 5106 1344 | 0 | 0 1098.32/1098.68 c 1097s | 23 | 3194076 | 2964438 | 5106 1346 | 0 | 0 1100.32/1100.69 c 1099s | 23 | 3199693 | 2969938 | 5106 1348 | 0 | 0 1102.42/1102.70 c 1101s | 23 | 3206158 | 2976238 | 5106 1350 | 0 | 0 1104.42/1104.74 c 1103s | 23 | 3212730 | 2982338 | 5106 1352 | 0 | 0 1106.42/1106.77 c 1105s | 23 | 3218167 | 2987238 | 5106 1354 | 0 | 0 1108.41/1108.79 c 1107s | 23 | 3224320 | 2992638 | 5106 1356 | 0 | 0 1110.51/1110.81 c 1109s | 23 | 3230209 | 2998238 | 5106 1358 | 0 | 0 1112.51/1112.83 c 1111s | 23 | 3235122 | 3002938 | 5106 1360 | 0 | 0 1114.51/1114.85 c 1113s | 23 | 3240824 | 3008338 | 5106 1362 | 0 | 0 1116.51/1116.88 c 1115s | 23 | 3247948 | 3014638 | 5106 1364 | 0 | 0 1118.52/1118.88 c 1117s | 23 | 3253686 | 3019538 | 5106 1366 | 0 | 0 1120.62/1120.92 c 1119s | 23 | 3258395 | 3024038 | 5106 1368 | 0 | 0 1122.61/1122.94 c 1121s | 23 | 3264373 | 3029738 | 5106 1370 | 0 | 0 1124.61/1124.95 c 1123s | 23 | 3269377 | 3034238 | 5106 1371 | 0 | 0 1126.60/1126.96 c 1125s | 23 | 3274671 | 3038738 | 5106 1373 | 0 | 0 1128.60/1128.98 c 1127s | 23 | 3280855 | 3044438 | 5106 1375 | 0 | 0 1130.70/1131.00 c 1129s | 23 | 3286815 | 3049938 | 5106 1377 | 0 | 0 1132.60/1133.00 c 1131s | 23 | 3291895 | 3054038 | 5106 1379 | 0 | 0 1134.70/1135.01 c 1133s | 23 | 3297275 | 3058738 | 5106 1380 | 0 | 0 1136.70/1137.02 c 1135s | 23 | 3303462 | 3064138 | 5106 1382 | 0 | 0 1138.70/1139.05 c 1137s | 23 | 3309791 | 3069838 | 5106 1384 | 0 | 0 1140.70/1141.05 c 1139s | 23 | 3316061 | 3075838 | 5106 1387 | 0 | 0 1142.70/1143.05 c 1141s | 23 | 3321993 | 3081238 | 5106 1389 | 0 | 0 1144.70/1145.08 c 1143s | 23 | 3328581 | 3087438 | 5106 1391 | 0 | 0 1146.79/1147.10 c 1145s | 23 | 3334753 | 3093138 | 5106 1393 | 0 | 0 1148.79/1149.12 c 1147s | 23 | 3340632 | 3098538 | 5106 1395 | 0 | 0 1150.79/1151.14 c 1149s | 23 | 3346042 | 3103638 | 5106 1397 | 0 | 0 1152.79/1153.17 c 1151s | 23 | 3351995 | 3109338 | 5106 1399 | 0 | 0 1154.80/1155.17 c 1153s | 23 | 3358536 | 3115438 | 5106 1401 | 0 | 0 1156.79/1157.18 c 1155s | 23 | 3364845 | 3121438 | 5106 1403 | 0 | 0 1158.89/1159.20 c 1157s | 23 | 3371149 | 3127338 | 5106 1405 | 0 | 0 1160.89/1161.20 c 1159s | 23 | 3376808 | 3132538 | 5106 1407 | 0 | 0 1162.89/1163.23 c 1161s | 23 | 3383353 | 3138438 | 5106 1409 | 0 | 0 1164.88/1165.24 c 1163s | 23 | 3389931 | 3144538 | 5106 1412 | 0 | 0 1166.90/1167.25 c 1165s | 23 | 3396136 | 3150138 | 5106 1414 | 0 | 0 1168.89/1169.28 c 1167s | 23 | 3401989 | 3155438 | 5106 1416 | 0 | 0 1170.89/1171.29 c 1169s | 23 | 3407465 | 3160338 | 5106 1417 | 0 | 0 1172.99/1173.31 c 1171s | 23 | 3413370 | 3165538 | 5106 1419 | 0 | 0 1174.99/1175.33 c 1173s | 23 | 3418074 | 3169738 | 5106 1421 | 0 | 0 1176.99/1177.36 c 1175s | 23 | 3423976 | 3175038 | 5106 1423 | 0 | 0 1178.99/1179.36 c 1177s | 23 | 3429129 | 3179738 | 5106 1425 | 0 | 0 1180.98/1181.37 c 1179s | 23 | 3435686 | 3186138 | 5106 1427 | 0 | 0 1182.98/1183.38 c 1181s | 23 | 3441074 | 3191338 | 5106 1429 | 0 | 0 1185.08/1185.40 c 1183s | 23 | 3446796 | 3196938 | 5106 1431 | 0 | 0 1187.08/1187.42 c 1185s | 23 | 3452859 | 3202838 | 5106 1433 | 0 | 0 1189.08/1189.42 c 1187s | 23 | 3458911 | 3208238 | 5106 1435 | 0 | 0 1191.08/1191.46 c 1189s | 23 | 3465018 | 3214038 | 5106 1437 | 0 | 0 1193.08/1193.48 c 1191s | 23 | 3469944 | 3218838 | 5106 1439 | 0 | 0 1195.07/1195.49 c 1193s | 23 | 3475613 | 3223938 | 5106 1441 | 0 | 0 1197.17/1197.50 c 1195s | 23 | 3481182 | 3229338 | 5106 1443 | 0 | 0 1199.17/1199.53 c 1197s | 23 | 3487234 | 3235238 | 5106 1445 | 0 | 0 1201.17/1201.55 c 1199s | 23 | 3493456 | 3240738 | 5106 1447 | 0 | 0 1203.18/1203.57 c 1201s | 23 | 3499086 | 3245738 | 5106 1449 | 0 | 0 1205.17/1205.58 c 1203s | 23 | 3505116 | 3251038 | 5106 1451 | 0 | 0 1207.27/1207.60 c 1205s | 23 | 3511600 | 3257338 | 5106 1453 | 1 | 8 1209.26/1209.62 c 1207s | 23 | 3518720 | 3264038 | 5106 1455 | 1 | 8 1211.26/1211.64 c 1209s | 23 | 3525242 | 3270038 | 5106 1458 | 1 | 8 1213.26/1213.66 c 1211s | 23 | 3532065 | 3276338 | 5106 1460 | 1 | 8 1215.27/1215.67 c 1213s | 23 | 3538489 | 3282238 | 5106 1462 | 1 | 8 1217.26/1217.68 c 1215s | 23 | 3544690 | 3288038 | 5106 1464 | 1 | 8 1219.36/1219.71 c 1218s | 23 | 3551785 | 3294338 | 5106 1467 | 1 | 8 1221.36/1221.72 c 1220s | 23 | 3558738 | 3300638 | 5106 1469 | 1 | 8 1223.36/1223.72 c 1222s | 23 | 3565342 | 3306838 | 5106 1471 | 1 | 8 1225.36/1225.75 c 1224s | 23 | 3572082 | 3313238 | 5106 1473 | 1 | 8 1227.36/1227.77 c 1226s | 23 | 3578508 | 3319338 | 5106 1476 | 1 | 8 1229.35/1229.77 c 1228s | 23 | 3585012 | 3325538 | 5106 1478 | 1 | 8 1231.35/1231.77 c 1230s | 23 | 3591392 | 3331638 | 5106 1480 | 1 | 8 1233.35/1233.78 c 1232s | 23 | 3597722 | 3337638 | 5106 1482 | 1 | 8 1235.45/1235.80 c 1234s | 23 | 3604034 | 3343538 | 5106 1484 | 1 | 8 1237.45/1237.81 c 1236s | 23 | 3610013 | 3349138 | 5617 1486 | 1 | 8 1239.45/1239.82 c 1238s | 23 | 3616063 | 3354938 | 5617 1488 | 1 | 8 1241.45/1241.84 c 1240s | 23 | 3622429 | 3360738 | 5617 1490 | 1 | 8 1243.45/1243.87 c 1242s | 23 | 3628837 | 3366838 | 5617 1492 | 1 | 8 1245.45/1245.89 c 1244s | 23 | 3634976 | 3372638 | 5617 1494 | 1 | 8 1246.84/1247.27 c 1245s | 24 | 3639348 | 3376662 | 5617 1496 | 1 | 8 1248.94/1249.32 c 1247s | 24 | 3645132 | 3381762 | 5617 1497 | 1 | 8 1250.94/1251.35 c 1249s | 24 | 3650207 | 3386562 | 5617 1499 | 1 | 8 1252.95/1253.39 c 1251s | 24 | 3655166 | 3391162 | 5617 1500 | 1 | 8 1254.95/1255.39 c 1253s | 24 | 3660603 | 3396162 | 5617 1502 | 1 | 8 1257.05/1257.41 c 1255s | 24 | 3665723 | 3401162 | 5617 1504 | 1 | 8 1259.04/1259.44 c 1257s | 24 | 3670283 | 3405462 | 5617 1505 | 1 | 8 1261.04/1261.46 c 1259s | 24 | 3674433 | 3409362 | 5617 1507 | 1 | 8 1263.04/1263.47 c 1261s | 24 | 3679051 | 3413762 | 5617 1508 | 1 | 8 1265.04/1265.48 c 1263s | 24 | 3684490 | 3419062 | 5617 1510 | 1 | 8 1267.14/1267.51 c 1265s | 24 | 3689840 | 3424162 | 5617 1512 | 1 | 8 1269.14/1269.51 c 1267s | 24 | 3695566 | 3429662 | 5617 1513 | 1 | 8 1271.14/1271.54 c 1269s | 24 | 3701337 | 3435362 | 5617 1515 | 1 | 8 1273.14/1273.54 c 1271s | 24 | 3706932 | 3440862 | 5617 1517 | 1 | 8 1275.14/1275.55 c 1273s | 24 | 3711905 | 3445662 | 5617 1519 | 1 | 8 1277.13/1277.56 c 1275s | 24 | 3716569 | 3449962 | 5617 1520 | 1 | 8 1279.13/1279.59 c 1277s | 24 | 3721434 | 3454662 | 5617 1522 | 1 | 8 1281.24/1281.66 c 1279s | 24 | 3726836 | 3459762 | 5617 1524 | 1 | 8 1283.33/1283.72 c 1282s | 24 | 3731985 | 3464562 | 5617 1525 | 1 | 8 1285.33/1285.72 c 1284s | 24 | 3737157 | 3469362 | 5617 1527 | 1 | 8 1287.32/1287.73 c 1286s | 24 | 3742404 | 3474462 | 5617 1528 | 1 | 8 1289.32/1289.76 c 1288s | 24 | 3748934 | 3480862 | 5617 1531 | 1 | 8 1291.32/1291.79 c 1290s | 24 | 3754093 | 3485662 | 5617 1532 | 1 | 8 1293.42/1293.80 c 1292s | 24 | 3759369 | 3490662 | 5617 1534 | 1 | 8 1295.43/1295.80 c 1294s | 24 | 3764838 | 3496062 | 5617 1536 | 1 | 8 1297.42/1297.81 c 1296s | 24 | 3769980 | 3500862 | 5617 1537 | 1 | 8 1299.42/1299.81 c 1298s | 24 | 3774568 | 3504862 | 5617 1539 | 1 | 8 1301.42/1301.83 c 1300s | 24 | 3779284 | 3509462 | 5617 1540 | 1 | 8 1303.51/1303.90 c 1302s | 24 | 3784931 | 3514762 | 5617 1542 | 1 | 8 1305.51/1305.95 c 1304s | 24 | 3789686 | 3519162 | 5617 1544 | 1 | 8 1307.52/1307.98 c 1306s | 24 | 3794759 | 3523962 | 5617 1545 | 1 | 8 1309.61/1310.01 c 1308s | 24 | 3799868 | 3528762 | 5617 1547 | 1 | 8 1311.61/1312.03 c 1310s | 24 | 3805016 | 3533162 | 5617 1548 | 1 | 8 1313.61/1314.04 c 1312s | 24 | 3810333 | 3538362 | 5617 1550 | 1 | 8 1315.61/1316.06 c 1314s | 24 | 3815854 | 3543562 | 5617 1552 | 1 | 8 1317.61/1318.06 c 1316s | 24 | 3820859 | 3548062 | 5617 1553 | 1 | 8 1319.61/1320.06 c 1318s | 24 | 3825323 | 3552462 | 5617 1555 | 1 | 8 1321.61/1322.07 c 1320s | 24 | 3830011 | 3557062 | 5617 1556 | 1 | 8 1323.61/1324.09 c 1322s | 24 | 3835058 | 3561862 | 5617 1558 | 1 | 8 1325.71/1326.12 c 1324s | 24 | 3839588 | 3566062 | 5617 1559 | 1 | 8 1327.70/1328.15 c 1326s | 24 | 3844324 | 3570662 | 5617 1561 | 1 | 8 1329.70/1330.18 c 1328s | 24 | 3849053 | 3575062 | 5617 1562 | 1 | 8 1331.81/1332.21 c 1330s | 24 | 3853506 | 3578962 | 5617 1564 | 1 | 8 1333.80/1334.22 c 1332s | 24 | 3857389 | 3582562 | 5617 1565 | 1 | 8 1335.80/1336.26 c 1334s | 24 | 3861673 | 3586762 | 5617 1566 | 1 | 8 1337.89/1338.31 c 1336s | 24 | 3865534 | 3590462 | 5617 1568 | 1 | 8 1339.89/1340.34 c 1338s | 24 | 3870660 | 3595262 | 5617 1569 | 1 | 8 1341.89/1342.35 c 1340s | 24 | 3876105 | 3600462 | 5617 1571 | 1 | 8 1343.91/1344.36 c 1342s | 24 | 3880423 | 3604662 | 5617 1572 | 1 | 8 1345.90/1346.37 c 1344s | 24 | 3885608 | 3609762 | 5617 1574 | 1 | 8 1347.90/1348.38 c 1346s | 24 | 3890905 | 3614562 | 5617 1576 | 1 | 8 1349.99/1350.43 c 1348s | 24 | 3895686 | 3618862 | 5617 1577 | 1 | 8 1351.99/1352.45 c 1350s | 24 | 3899415 | 3622362 | 5617 1578 | 1 | 8 1353.99/1354.48 c 1352s | 24 | 3905344 | 3627762 | 5617 1580 | 1 | 8 1356.09/1356.50 c 1354s | 24 | 3910479 | 3632262 | 5617 1582 | 1 | 8 1358.10/1358.50 c 1356s | 24 | 3915124 | 3636662 | 5617 1583 | 1 | 8 1360.09/1360.51 c 1358s | 24 | 3920084 | 3641462 | 5617 1585 | 1 | 8 1362.09/1362.54 c 1360s | 24 | 3924770 | 3646062 | 5617 1586 | 1 | 8 1364.09/1364.56 c 1362s | 24 | 3930883 | 3652062 | 5617 1588 | 1 | 8 1366.08/1366.57 c 1364s | 24 | 3935331 | 3656262 | 5617 1590 | 1 | 8 1368.09/1368.58 c 1366s | 24 | 3940683 | 3661262 | 5617 1592 | 1 | 8 1370.08/1370.58 c 1368s | 24 | 3946884 | 3667262 | 5617 1594 | 1 | 8 1372.08/1372.59 c 1370s | 24 | 3952644 | 3672562 | 5617 1595 | 1 | 8 1374.08/1374.59 c 1372s | 24 | 3958488 | 3678262 | 5617 1597 | 1 | 8 1376.18/1376.61 c 1374s | 24 | 3964248 | 3683762 | 5617 1599 | 1 | 8 1378.18/1378.62 c 1376s | 24 | 3970347 | 3688962 | 5617 1601 | 1 | 8 1380.18/1380.63 c 1378s | 24 | 3976073 | 3694262 | 5617 1603 | 1 | 8 1382.18/1382.63 c 1380s | 24 | 3981529 | 3699462 | 5617 1604 | 1 | 8 1384.18/1384.68 c 1382s | 24 | 3987227 | 3704862 | 5617 1606 | 1 | 8 1386.17/1386.68 c 1384s | 24 | 3992580 | 3710062 | 5617 1608 | 1 | 8 1388.27/1388.71 c 1387s | 24 | 3997852 | 3715162 | 5617 1610 | 1 | 8 1390.27/1390.78 c 1389s | 24 | 4003257 | 3720262 | 5617 1612 | 1 | 8 1392.37/1392.81 c 1391s | 24 | 4009166 | 3725462 | 5617 1613 | 1 | 8 1394.38/1394.82 c 1393s | 24 | 4014337 | 3730562 | 5617 1615 | 1 | 8 1396.36/1396.83 c 1395s | 24 | 4019745 | 3735762 | 5617 1617 | 1 | 8 1398.36/1398.86 c 1397s | 24 | 4025063 | 3740762 | 5617 1618 | 1 | 8 1400.36/1400.88 c 1399s | 24 | 4030505 | 3745562 | 5617 1620 | 1 | 8 1402.46/1402.90 c 1401s | 24 | 4035865 | 3750762 | 5617 1622 | 1 | 8 1404.46/1404.93 c 1403s | 24 | 4042190 | 3756662 | 5617 1624 | 1 | 8 1406.46/1406.94 c 1405s | 24 | 4047684 | 3761662 | 5617 1626 | 1 | 8 1408.46/1408.96 c 1407s | 24 | 4053214 | 3766762 | 5617 1627 | 1 | 8 1410.46/1410.98 c 1409s | 24 | 4058871 | 3772262 | 5617 1629 | 1 | 8 1412.46/1412.99 c 1411s | 24 | 4064712 | 3777662 | 5617 1631 | 1 | 8 1414.56/1415.02 c 1413s | 24 | 4070297 | 3782662 | 5617 1633 | 1 | 8 1416.55/1417.04 c 1415s | 24 | 4076012 | 3788162 | 5617 1635 | 1 | 8 1418.57/1419.07 c 1417s | 24 | 4081455 | 3793362 | 5617 1636 | 1 | 8 1420.56/1421.08 c 1419s | 24 | 4086975 | 3798662 | 5617 1638 | 1 | 8 1422.66/1423.12 c 1421s | 24 | 4092815 | 3804262 | 5617 1640 | 1 | 8 1424.66/1425.14 c 1423s | 24 | 4098257 | 3809462 | 5617 1642 | 1 | 8 1426.66/1427.16 c 1425s | 24 | 4103956 | 3814962 | 5617 1644 | 1 | 8 1428.66/1429.17 c 1427s | 24 | 4109929 | 3820762 | 5617 1646 | 1 | 8 1430.76/1431.21 c 1429s | 24 | 4115651 | 3826362 | 5617 1648 | 1 | 8 1432.76/1433.22 c 1431s | 24 | 4121137 | 3831762 | 5617 1649 | 1 | 8 1434.76/1435.25 c 1433s | 24 | 4127316 | 3837762 | 5617 1651 | 1 | 8 1436.75/1437.27 c 1435s | 24 | 4132988 | 3842962 | 5617 1653 | 1 | 8 1438.85/1439.30 c 1437s | 24 | 4139020 | 3848562 | 5617 1655 | 1 | 8 1440.85/1441.30 c 1439s | 24 | 4144463 | 3853462 | 5617 1657 | 1 | 8 1442.86/1443.33 c 1441s | 24 | 4150467 | 3859162 | 5617 1659 | 1 | 8 1444.85/1445.34 c 1443s | 24 | 4156315 | 3864762 | 5617 1661 | 1 | 8 1446.85/1447.36 c 1445s | 24 | 4162323 | 3870562 | 5617 1662 | 1 | 8 1448.85/1449.39 c 1447s | 24 | 4168130 | 3876162 | 5617 1664 | 1 | 8 1450.85/1451.39 c 1449s | 24 | 4173933 | 3881762 | 5617 1666 | 1 | 8 1452.95/1453.42 c 1451s | 24 | 4180786 | 3888062 | 5617 1668 | 1 | 8 1454.96/1455.43 c 1453s | 24 | 4186149 | 3892662 | 5617 1670 | 1 | 8 1456.95/1457.49 c 1455s | 24 | 4191490 | 3897162 | 5617 1672 | 1 | 8 1458.95/1459.50 c 1457s | 24 | 4196709 | 3901762 | 5617 1673 | 1 | 8 1461.05/1461.53 c 1459s | 24 | 4201568 | 3906162 | 5617 1675 | 1 | 8 1463.05/1463.56 c 1461s | 24 | 4207389 | 3911162 | 5617 1676 | 1 | 8 1465.15/1465.60 c 1463s | 24 | 4212858 | 3916062 | 5617 1678 | 1 | 8 1467.15/1467.63 c 1465s | 24 | 4218196 | 3920862 | 5617 1680 | 1 | 8 1469.16/1469.67 c 1467s | 24 | 4223037 | 3925362 | 5617 1681 | 1 | 8 1471.15/1471.67 c 1469s | 24 | 4228949 | 3931062 | 5617 1683 | 1 | 8 1473.15/1473.70 c 1472s | 24 | 4234160 | 3936062 | 5617 1685 | 1 | 8 1475.25/1475.72 c 1474s | 24 | 4240120 | 3941762 | 5617 1687 | 1 | 8 1477.25/1477.76 c 1476s | 24 | 4245666 | 3947162 | 5617 1688 | 1 | 8 1479.25/1479.77 c 1478s | 24 | 4251722 | 3953062 | 5617 1690 | 1 | 8 1481.25/1481.79 c 1480s | 24 | 4257264 | 3958362 | 5617 1692 | 1 | 8 1483.34/1483.82 c 1482s | 24 | 4263426 | 3964162 | 5617 1694 | 1 | 8 1485.34/1485.85 c 1484s | 24 | 4269169 | 3969562 | 5617 1696 | 1 | 8 1487.34/1487.89 c 1486s | 24 | 4273723 | 3973762 | 5617 1697 | 1 | 8 1489.44/1489.92 c 1488s | 24 | 4278735 | 3978362 | 5617 1699 | 1 | 8 1491.44/1491.92 c 1490s | 24 | 4284656 | 3983662 | 5617 1701 | 1 | 8 1493.45/1493.97 c 1492s | 24 | 4289938 | 3988662 | 5617 1703 | 1 | 8 1495.44/1495.99 c 1494s | 24 | 4295617 | 3993862 | 5617 1704 | 1 | 8 1497.54/1498.00 c 1496s | 24 | 4300854 | 3998662 | 5617 1706 | 1 | 8 1499.54/1500.02 c 1498s | 24 | 4306469 | 4003962 | 5617 1708 | 1 | 8 1501.54/1502.04 c 1500s | 24 | 4311852 | 4009162 | 5617 1709 | 1 | 8 1503.54/1504.07 c 1502s | 24 | 4317816 | 4014862 | 5617 1711 | 1 | 8 1505.55/1506.08 c 1504s | 24 | 4323508 | 4020462 | 5617 1713 | 1 | 8 1507.65/1508.11 c 1506s | 24 | 4330043 | 4026862 | 5617 1715 | 1 | 8 1509.64/1510.11 c 1508s | 24 | 4335537 | 4032262 | 5617 1717 | 1 | 8 1511.74/1512.21 c 1510s | 24 | 4342009 | 4038662 | 5617 1719 | 1 | 8 1513.74/1514.21 c 1512s | 24 | 4347415 | 4043962 | 5617 1721 | 1 | 8 1515.74/1516.23 c 1514s | 24 | 4353279 | 4049562 | 5617 1723 | 2 | 16 1517.74/1518.24 c 1516s | 24 | 4360216 | 4056062 | 5617 1725 | 2 | 16 1519.74/1520.25 c 1518s | 24 | 4366557 | 4061762 | 5617 1727 | 2 | 16 1521.73/1522.29 c 1520s | 24 | 4373032 | 4067862 | 5617 1729 | 2 | 16 1523.83/1524.31 c 1522s | 24 | 4379183 | 4073762 | 5617 1731 | 2 | 16 1525.83/1526.33 c 1524s | 24 | 4384649 | 4079062 | 5617 1733 | 2 | 16 1527.83/1528.36 c 1526s | 24 | 4390047 | 4084162 | 5617 1735 | 2 | 16 1529.83/1530.36 c 1528s | 24 | 4395000 | 4088862 | 5617 1736 | 2 | 16 1531.84/1532.39 c 1530s | 24 | 4401149 | 4094762 | 5617 1738 | 2 | 16 1533.93/1534.41 c 1532s | 24 | 4407203 | 4100562 | 5617 1740 | 2 | 16 1535.93/1536.42 c 1534s | 24 | 4412776 | 4105862 | 5617 1742 | 2 | 16 1537.93/1538.43 c 1536s | 24 | 4419078 | 4111762 | 5617 1744 | 2 | 16 1539.93/1540.47 c 1538s | 24 | 4424567 | 4116962 | 5617 1746 | 2 | 16 1541.93/1542.49 c 1540s | 24 | 4430424 | 4122562 | 5617 1748 | 2 | 16 1544.04/1544.51 c 1542s | 24 | 4436772 | 4128562 | 5617 1750 | 2 | 16 1546.03/1546.53 c 1544s | 24 | 4442818 | 4134262 | 5617 1752 | 2 | 16 1548.03/1548.53 c 1546s | 24 | 4448505 | 4139662 | 5617 1753 | 2 | 16 1550.03/1550.55 c 1548s | 24 | 4454451 | 4145162 | 5617 1755 | 2 | 16 1552.03/1552.57 c 1550s | 24 | 4460251 | 4150562 | 5617 1757 | 2 | 16 1554.13/1554.60 c 1552s | 24 | 4465693 | 4155662 | 5617 1759 | 2 | 16 1556.14/1556.63 c 1554s | 24 | 4470702 | 4160462 | 5617 1760 | 2 | 16 1558.13/1558.64 c 1556s | 24 | 4476800 | 4166262 | 5617 1762 | 2 | 16 1560.13/1560.66 c 1558s | 24 | 4482944 | 4172062 | 5617 1764 | 2 | 16 1562.13/1562.67 c 1560s | 24 | 4489220 | 4178062 | 5617 1766 | 2 | 16 1564.13/1564.69 c 1563s | 24 | 4495279 | 4183962 | 5617 1768 | 2 | 16 1566.23/1566.70 c 1565s | 24 | 4501714 | 4190062 | 5617 1770 | 2 | 16 1568.13/1568.70 c 1567s | 24 | 4507247 | 4195262 | 5617 1772 | 2 | 16 1570.23/1570.72 c 1569s | 24 | 4512956 | 4200662 | 5617 1774 | 2 | 16 1572.23/1572.75 c 1571s | 24 | 4518738 | 4205762 | 5617 1776 | 2 | 16 1574.23/1574.75 c 1573s | 24 | 4524264 | 4211062 | 5617 1777 | 2 | 16 1576.23/1576.76 c 1575s | 24 | 4530483 | 4217062 | 5617 1780 | 2 | 16 1578.23/1578.77 c 1577s | 24 | 4537177 | 4223462 | 5617 1782 | 2 | 16 1580.23/1580.78 c 1579s | 24 | 4543324 | 4229362 | 5617 1784 | 2 | 16 1582.32/1582.82 c 1581s | 24 | 4548894 | 4234462 | 5617 1785 | 2 | 16 1584.32/1584.85 c 1583s | 24 | 4555548 | 4240562 | 5617 1787 | 2 | 16 1586.32/1586.88 c 1585s | 24 | 4561631 | 4246362 | 5617 1789 | 2 | 16 1588.42/1588.93 c 1587s | 24 | 4567877 | 4252162 | 5617 1791 | 2 | 16 1590.42/1590.93 c 1589s | 24 | 4574032 | 4257762 | 5617 1793 | 2 | 16 1592.44/1592.94 c 1591s | 24 | 4579437 | 4262962 | 5617 1795 | 2 | 16 1594.43/1594.95 c 1593s | 24 | 4585275 | 4268562 | 5617 1797 | 2 | 16 1596.43/1596.98 c 1595s | 24 | 4591737 | 4274562 | 5617 1799 | 2 | 16 1598.53/1599.01 c 1597s | 24 | 4597566 | 4280062 | 5617 1801 | 2 | 16 1600.53/1601.01 c 1599s | 24 | 4602711 | 4284862 | 5617 1802 | 2 | 16 1602.53/1603.04 c 1601s | 24 | 4608295 | 4290062 | 5617 1804 | 2 | 16 1604.54/1605.05 c 1603s | 24 | 4614456 | 4295962 | 5617 1806 | 2 | 16 1606.53/1607.05 c 1605s | 24 | 4619740 | 4300962 | 5617 1808 | 2 | 16 1608.53/1609.07 c 1607s | 24 | 4625180 | 4306062 | 5617 1810 | 2 | 16 1610.53/1611.08 c 1609s | 24 | 4631588 | 4312162 | 5617 1812 | 2 | 16 1612.53/1613.09 c 1611s | 24 | 4637573 | 4317862 | 5617 1814 | 2 | 16 1614.53/1615.09 c 1613s | 24 | 4643742 | 4323662 | 5617 1816 | 2 | 16 1616.54/1617.10 c 1615s | 24 | 4650521 | 4330062 | 5617 1818 | 2 | 16 1618.63/1619.11 c 1617s | 24 | 4657307 | 4336462 | 5617 1820 | 2 | 16 1620.63/1621.13 c 1619s | 24 | 4663933 | 4342762 | 5617 1822 | 2 | 16 1622.63/1623.15 c 1621s | 24 | 4670631 | 4349062 | 5617 1824 | 2 | 16 1624.63/1625.17 c 1623s | 24 | 4676830 | 4354962 | 5617 1826 | 2 | 16 1626.62/1627.18 c 1625s | 24 | 4682345 | 4360262 | 5617 1828 | 2 | 16 1628.63/1629.18 c 1627s | 24 | 4688033 | 4365762 | 5617 1830 | 2 | 16 1630.62/1631.19 c 1629s | 24 | 4694235 | 4371662 | 5617 1832 | 2 | 16 1632.72/1633.23 c 1631s | 24 | 4700350 | 4377262 | 5617 1834 | 2 | 16 1634.72/1635.25 c 1633s | 24 | 4706013 | 4382762 | 5617 1836 | 2 | 16 1636.72/1637.25 c 1635s | 24 | 4711131 | 4387562 | 5617 1837 | 2 | 16 1638.82/1639.30 c 1637s | 24 | 4715934 | 4392062 | 5617 1839 | 2 | 16 1640.83/1641.33 c 1639s | 24 | 4721563 | 4397362 | 5617 1840 | 2 | 16 1642.82/1643.37 c 1641s | 24 | 4727641 | 4403162 | 5617 1842 | 2 | 16 1644.82/1645.38 c 1643s | 24 | 4733042 | 4408362 | 5617 1844 | 2 | 16 1646.82/1647.39 c 1645s | 24 | 4737817 | 4412962 | 5617 1846 | 2 | 16 1648.92/1649.42 c 1647s | 24 | 4743314 | 4418162 | 5617 1847 | 2 | 16 1650.92/1651.44 c 1649s | 24 | 4749261 | 4423662 | 5617 1849 | 2 | 16 1652.92/1653.48 c 1651s | 24 | 4755195 | 4429262 | 5617 1851 | 2 | 16 1655.02/1655.51 c 1653s | 24 | 4761278 | 4434962 | 5617 1853 | 2 | 16 1657.01/1657.52 c 1655s | 24 | 4767345 | 4440562 | 5617 1855 | 2 | 16 1659.01/1659.55 c 1657s | 24 | 4773779 | 4446662 | 5617 1857 | 2 | 16 1661.01/1661.57 c 1659s | 24 | 4779757 | 4452362 | 5617 1859 | 2 | 16 1663.01/1663.58 c 1661s | 24 | 4785157 | 4457462 | 5617 1861 | 2 | 16 1665.12/1665.61 c 1663s | 24 | 4791682 | 4463762 | 5617 1863 | 2 | 16 1667.13/1667.63 c 1665s | 24 | 4797973 | 4469762 | 5617 1865 | 2 | 16 1669.12/1669.64 c 1667s | 24 | 4803542 | 4474962 | 5617 1867 | 2 | 16 1671.12/1671.66 c 1669s | 24 | 4809536 | 4480462 | 5617 1868 | 2 | 16 1673.12/1673.68 c 1672s | 24 | 4815036 | 4485662 | 5617 1870 | 2 | 16 1675.22/1675.71 c 1674s | 24 | 4820315 | 4490662 | 5617 1872 | 2 | 16 1677.22/1677.72 c 1676s | 24 | 4826764 | 4496662 | 5617 1874 | 2 | 16 1679.22/1679.75 c 1678s | 24 | 4832833 | 4502562 | 5617 1876 | 2 | 16 1681.22/1681.77 c 1680s | 24 | 4838697 | 4507962 | 5617 1878 | 2 | 16 1683.22/1683.79 c 1682s | 24 | 4844548 | 4513462 | 5617 1880 | 2 | 16 1685.31/1685.80 c 1684s | 24 | 4850267 | 4518862 | 5617 1881 | 2 | 16 1687.31/1687.82 c 1686s | 24 | 4856249 | 4524262 | 5617 1883 | 2 | 16 1689.31/1689.82 c 1688s | 24 | 4862726 | 4530462 | 5617 1885 | 2 | 16 1691.32/1691.84 c 1690s | 24 | 4868699 | 4536162 | 5617 1887 | 2 | 16 1693.31/1693.85 c 1692s | 24 | 4874264 | 4541362 | 5617 1889 | 2 | 16 1695.31/1695.88 c 1694s | 24 | 4880512 | 4547362 | 5617 1891 | 2 | 16 1697.41/1697.91 c 1696s | 24 | 4885308 | 4551962 | 5617 1892 | 2 | 16 1699.41/1699.94 c 1698s | 24 | 4891381 | 4557762 | 5617 1894 | 2 | 16 1701.41/1701.95 c 1700s | 24 | 4897552 | 4563662 | 5617 1896 | 2 | 16 1703.42/1703.98 c 1702s | 24 | 4902624 | 4568362 | 5617 1898 | 2 | 16 1705.41/1705.98 c 1704s | 24 | 4908779 | 4574162 | 5617 1900 | 2 | 16 1707.51/1708.00 c 1706s | 24 | 4914862 | 4579962 | 5617 1902 | 2 | 16 1709.51/1710.01 c 1708s | 24 | 4920793 | 4585562 | 5617 1904 | 2 | 16 1711.51/1712.04 c 1710s | 24 | 4926508 | 4590862 | 5617 1905 | 2 | 16 1713.51/1714.05 c 1712s | 24 | 4931724 | 4595862 | 5617 1907 | 2 | 16 1715.51/1716.07 c 1714s | 24 | 4936740 | 4600562 | 5617 1909 | 2 | 16 1717.51/1718.08 c 1716s | 24 | 4942411 | 4605862 | 5617 1911 | 2 | 16 1719.51/1720.09 c 1718s | 24 | 4948101 | 4611162 | 5617 1912 | 2 | 16 1721.51/1722.09 c 1720s | 24 | 4953937 | 4616662 | 5617 1914 | 2 | 16 1723.61/1724.12 c 1722s | 24 | 4959166 | 4621662 | 5617 1916 | 2 | 16 1725.60/1726.13 c 1724s | 24 | 4964812 | 4627062 | 5617 1918 | 2 | 16 1727.61/1728.13 c 1726s | 24 | 4970829 | 4632762 | 5617 1920 | 2 | 16 1729.60/1730.16 c 1728s | 24 | 4976730 | 4638462 | 5617 1922 | 2 | 16 1731.60/1732.18 c 1730s | 24 | 4982760 | 4644262 | 5617 1923 | 2 | 16 1733.60/1734.18 c 1732s | 24 | 4988037 | 4649262 | 5617 1925 | 2 | 16 1735.70/1736.22 c 1734s | 24 | 4992573 | 4653662 | 5617 1927 | 2 | 16 1737.70/1738.24 c 1736s | 24 | 4997769 | 4658662 | 5617 1928 | 2 | 16 1739.71/1740.25 c 1738s | 24 | 5003052 | 4663762 | 5617 1930 | 2 | 16 1741.70/1742.28 c 1740s | 24 | 5008873 | 4669262 | 5617 1932 | 2 | 16 1743.80/1744.30 c 1742s | 24 | 5014527 | 4674562 | 5617 1934 | 2 | 16 1745.80/1746.33 c 1744s | 24 | 5019912 | 4679762 | 5617 1935 | 2 | 16 1747.80/1748.34 c 1746s | 24 | 5025273 | 4684762 | 5617 1937 | 2 | 16 1749.80/1750.38 c 1748s | 24 | 5030703 | 4689962 | 5617 1939 | 2 | 16 1751.81/1752.39 c 1750s | 24 | 5035678 | 4694562 | 5617 1940 | 2 | 16 1753.90/1754.41 c 1752s | 24 | 5043086 | 4701562 | 5617 1943 | 2 | 16 1755.90/1756.42 c 1754s | 24 | 5049362 | 4707662 | 5617 1945 | 2 | 16 1757.90/1758.44 c 1756s | 24 | 5056326 | 4714162 | 5617 1947 | 2 | 16 1759.90/1760.45 c 1758s | 24 | 5063391 | 4720762 | 5617 1949 | 2 | 16 1761.90/1762.46 c 1760s | 24 | 5069201 | 4726362 | 5617 1951 | 2 | 16 1763.90/1764.47 c 1762s | 24 | 5075633 | 4732562 | 5617 1953 | 2 | 16 1765.90/1766.47 c 1764s | 24 | 5082500 | 4739062 | 5617 1955 | 2 | 16 1767.90/1768.48 c 1766s | 24 | 5087956 | 4744362 | 5617 1957 | 2 | 16 1770.00/1770.50 c 1768s | 24 | 5093447 | 4749562 | 5617 1959 | 2 | 16 1772.00/1772.51 c 1770s | 24 | 5100332 | 4756062 | 5617 1961 | 2 | 16 1774.00/1774.54 c 1772s | 24 | 5106563 | 4762062 | 5617 1963 | 2 | 16 1776.00/1776.54 c 1774s | 24 | 5113401 | 4768562 | 5617 1965 | 2 | 16 1778.00/1778.55 c 1776s | 24 | 5119831 | 4774862 | 5617 1967 | 2 | 16 1780.00/1780.56 c 1778s | 24 | 5125728 | 4780562 | 5617 1969 | 2 | 16 1782.10/1782.61 c 1780s | 24 | 5131737 | 4786362 | 5617 1971 | 2 | 16 1784.09/1784.62 c 1782s | 24 | 5138589 | 4792662 | 5617 1973 | 2 | 16 1786.09/1786.63 c 1784s | 24 | 5144426 | 4798262 | 5617 1975 | 2 | 16 1788.10/1788.67 c 1786s | 24 | 5151349 | 4804662 | 5617 1977 | 2 | 16 1790.19/1790.70 c 1789s | 24 | 5158002 | 4811162 | 5617 1980 | 2 | 16 1792.19/1792.74 c 1791s | 24 | 5163909 | 4816662 | 5617 1981 | 2 | 16 1794.19/1794.74 c 1793s | 24 | 5168997 | 4821462 | 5617 1983 | 2 | 16 1796.19/1796.78 c 1795s | 24 | 5174029 | 4826062 | 5617 1985 | 2 | 16 1798.29/1798.81 c 1797s | 24 | 5178679 | 4830462 | 5617 1986 | 2 | 16
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-4106079-1466265124/watcher-4106079-1466265124 -o /tmp/evaluation-result-4106079-1466265124/solver-4106079-1466265124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106079-1466265124.opb pid=26831 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.10 1.60 1.93 3/179 26834 /proc/meminfo: memFree=29902448/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=777660 CPUtime=0 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 2909 0 0 0 0 0 0 0 20 0 4 0 28559055 796323840 3271 33554432000 4194304 16246674 140736422493600 140736422493024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 195183 3279 441 2943 0 192077 0 [pid=26834/tid=26835] ppid=26831 vsize=797116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 816246784 3346 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=801212 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 820441088 3363 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=805308 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28559055 824635392 3379 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100173 s] /proc/loadavg: 1.10 1.60 1.93 3/179 26834 /proc/meminfo: memFree=29902448/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 22188 0 0 0 6 3 0 0 20 0 4 0 28559055 1247350784 22537 33554432000 4194304 16246674 140736422493600 140736422493024 6010521 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 304529 22546 758 2943 0 301423 0 [pid=26834/tid=26835] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 22550 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 22553 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 22557 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200537 s] /proc/loadavg: 1.10 1.60 1.93 3/179 26834 /proc/meminfo: memFree=29902448/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 39784 0 0 0 13 6 0 0 20 0 4 0 28559055 1247350784 40133 33554432000 4194304 16246674 140736422493600 140736422475520 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 304529 40142 758 2943 0 301423 0 [pid=26834/tid=26835] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 40146 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 40151 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 40155 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300492 s] /proc/loadavg: 1.10 1.60 1.93 3/179 26834 /proc/meminfo: memFree=29902448/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 57951 0 0 0 20 9 0 0 20 0 4 0 28559055 1247350784 58301 33554432000 4194304 16246674 140736422493600 140736422475520 5531957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 304529 58314 758 2943 0 301423 0 [pid=26834/tid=26835] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 58323 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 58331 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 58340 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700415 s] /proc/loadavg: 1.10 1.60 1.93 3/179 26834 /proc/meminfo: memFree=29902448/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 128580 0 0 0 50 19 0 0 20 0 4 0 28559055 1247350784 128929 33554432000 4194304 16246674 140736422493600 140736422475520 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 304529 128939 765 2943 0 301423 0 [pid=26834/tid=26835] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 128946 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 128951 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28559055 1247350784 128954 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 1.10 1.60 1.93 3/183 26838 /proc/meminfo: memFree=28697784/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 246075 0 0 0 115 34 0 0 20 0 4 0 28559055 1249447936 246401 33554432000 4194304 16246674 140736422493600 140736422492912 6862286 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 305041 246401 833 2943 0 301935 0 [pid=26834/tid=26835] ppid=26831 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1249447936 246401 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1249447936 246401 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1249447936 246401 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.10042 s] /proc/loadavg: 1.17 1.60 1.93 3/183 26838 /proc/meminfo: memFree=28403956/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 267700 0 0 0 272 37 0 0 20 0 4 0 28559055 1338576896 268026 33554432000 4194304 16246674 140736422493600 140736422475520 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 326801 268026 852 2943 0 323695 0 [pid=26834/tid=26835] ppid=26831 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1338576896 268026 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1338576896 268026 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1338576896 268026 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30044 s] /proc/loadavg: 1.17 1.60 1.93 3/183 26838 /proc/meminfo: memFree=28345188/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 267897 0 0 0 592 37 0 0 20 0 4 0 28559055 1338576896 268223 33554432000 4194304 16246674 140736422493600 140736422475520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 326801 268223 853 2943 0 323695 0 [pid=26834/tid=26835] ppid=26831 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1338576896 268223 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1338576896 268223 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1338576896 268223 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.38 1.63 1.93 4/183 26838 /proc/meminfo: memFree=28342680/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 268153 0 0 0 1232 37 0 0 20 0 4 0 28559055 1339625472 268479 33554432000 4194304 16246674 140736422493600 140736422475520 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 327057 268479 853 2943 0 323951 0 [pid=26834/tid=26835] ppid=26831 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1339625472 268479 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1339625472 268479 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1339625472 268479 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 1.47 1.64 1.93 3/183 26839 /proc/meminfo: memFree=28340100/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1311300 CPUtime=25.48 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 268921 0 0 0 2511 37 0 0 20 0 4 0 28559055 1342771200 269247 33554432000 4194304 16246674 140736422493600 140736422475520 12468288 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 327825 269247 853 2943 0 324719 0 [pid=26834/tid=26835] ppid=26831 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1342771200 269247 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1342771200 269247 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1342771200 269247 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 1.65 1.67 1.93 3/183 26839 /proc/meminfo: memFree=28336780/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1311300 CPUtime=51.09 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 268921 0 0 0 5071 38 0 0 20 0 4 0 28559055 1342771200 269247 33554432000 4194304 16246674 140736422493600 140736422475520 5712760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 327825 269247 853 2943 0 324719 0 [pid=26834/tid=26835] ppid=26831 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1342771200 269247 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1342771200 269247 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1342771200 269247 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 2.10 1.79 1.95 4/183 26986 /proc/meminfo: memFree=28331788/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1317444 CPUtime=102.28 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 270269 0 0 0 10190 38 0 0 20 0 4 0 28559055 1349062656 270595 33554432000 4194304 16246674 140736422493600 140736422475520 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 329361 270595 853 2943 0 326255 0 [pid=26834/tid=26835] ppid=26831 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1349062656 270595 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1349062656 270595 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1349062656 270595 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1355354112 272577 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1323588 [startup+1302.3 s] /proc/loadavg: 2.12 2.17 2.10 4/183 27088 /proc/meminfo: memFree=28295276/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1301.92 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273599 0 0 0 130143 49 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 13760120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.12 2.16 2.10 4/183 27089 /proc/meminfo: memFree=28295344/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1361.89 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273634 0 0 0 136139 50 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 5822432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.18 2.17 2.10 3/183 27090 /proc/meminfo: memFree=28295384/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1421.86 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273677 0 0 0 142135 51 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.12 2.16 2.09 4/183 27091 /proc/meminfo: memFree=28293620/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1481.84 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273677 0 0 0 148133 51 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 5546325 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.19 2.17 2.10 4/183 27092 /proc/meminfo: memFree=28293388/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1541.84 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273677 0 0 0 154133 51 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 5677160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.14 2.15 2.09 3/183 27094 /proc/meminfo: memFree=28293388/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1601.83 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273677 0 0 0 160131 52 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.09 2.14 2.09 3/183 27095 /proc/meminfo: memFree=28293248/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1661.81 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273677 0 0 0 166129 52 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422491456 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.08 2.13 2.09 4/184 27099 /proc/meminfo: memFree=28293608/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1721.81 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273677 0 0 0 172128 53 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 5722263 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.12 2.13 2.09 3/183 27100 /proc/meminfo: memFree=28292860/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1781.8 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273677 0 0 0 178127 53 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.09 2.12 2.09 3/183 27100 /proc/meminfo: memFree=28293152/32872528 swapFree=1191052/1305516 [pid=26834] ppid=26831 vsize=1328708 CPUtime=1800.09 cores=1,3,5,7 /proc/26834/stat : 26834 (toysat) R 26831 26834 26736 0 -1 4202496 273677 0 0 0 179956 53 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140736422475520 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/26834/statm: 332177 273857 855 2943 0 329071 0 [pid=26834/tid=26835] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26835/stat : 26835 (toysat) S 26831 26834 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140115067251952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=26834/tid=26836] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26836/stat : 26836 (toysat) S 26831 26834 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114986511600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26834/tid=26837] ppid=26831 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/26834/task/26837/stat : 26837 (toysat) S 26831 26834 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28559055 1360596992 273857 33554432000 4194304 16246674 140736422493600 140114976038064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1328708 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 26834 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.11 CPU user time (s): 1799.57 CPU system time (s): 0.539917 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.539917 maximum resident set size= 1095428 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273677 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= 416 involuntary context switches= 1859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.51631 second user time and 7.00593 second system time The end
Begin job on node127 at 2016-06-18 17:52:04 IDJOB=4106079 IDBENCH=47919 IDSOLVER=2542 FILE ID=node127/4106079-1466265124 RUNJOBID= node127-1466265123-26753 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=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106079-1466265124/watcher-4106079-1466265124 -o /tmp/evaluation-result-4106079-1466265124/solver-4106079-1466265124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106079-1466265124.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c4232b649086935e0cf725c77927c83f RANDOM SEED=1429884005 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: 29917756 kB Buffers: 80008 kB Cached: 257708 kB SwapCached: 516 kB Active: 658508 kB Inactive: 250064 kB Active(anon): 571024 kB Inactive(anon): 2184 kB Active(file): 87484 kB Inactive(file): 247880 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 32992 kB Writeback: 0 kB AnonPages: 1876036 kB Mapped: 10052 kB Shmem: 0 kB Slab: 604340 kB SReclaimable: 48520 kB SUnreclaim: 555820 kB KernelStack: 1376 kB PageTables: 8664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2434312 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 114688 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 18:22:05