| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb |
| MD5SUM | 2a7888c7c4f71cd1bd795e0b54484781 |
| 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.047992 |
| 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 | 54 |
| Total number of constraints | 5 |
| 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 | 5 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 162 |
| Sum of products size (including duplicates) | 324 |
| Number of different products | 162 |
| Sum of products size | 324 |
0.00/0.00 c 2016-06-07T01:08:33+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-4080201-1465254513.opb"] 0.00/0.01 c use --random-gen="2270378894 2110474784 866591075 586353694 1584777937 3947869816 3300501671 1619954684 2414731657 855010434 2759276714 220578146 3305653942 1625026434 1827400527 3569763005 2879814718 1853077342 3146785012 456780532 1007325491 2608309974 2576597526 1203398566 4089127777 1331282641 1567732740 3715930610 1060819187 2273387588 1929768902 3976521635 2323871112 1135921289 1214989306 2745330318 1439008342 1375242393 799032677 308080663 2318595587 3269366603 3381428991 3654300097 407917425 3791531444 790591722 2450243658 1425900124 3042631597 2819366741 1002535444 447241005 820210732 247699344 1943297622 3399735361 1317080357 3893174776 249087174 1158270164 2649104338 3410482279 1956612715 606100667 3623646538 1891279569 3341808780 2578320107 2539761432 2675369988 2464032102 1842527582 1026668617 1299311303 1823532649 1255119402 1220605322 3095596445 3636878275 1305091362 3803870714 285532109 786482352 1488520218 4127683174 2361032962 687620733 1923594061 2495000159 75780802 1830725102 1084512963 3071674144 3335812900 119776422 2436598202 2448138288 2407168212 980621032 2294773121 1945356820 227582557 1771993898 4087453354 3202978354 1288433470 3358776055 508427720 519447665 1707512166 1692522735 100573415 4132329033 112642356 2624509926 2553496361 568445413 371295884 1314597782 950235894 1877194148 492555030 1729077174 2739389052 825634068 3020044037 1952464841 3517199631 2243670452 3813755828 1358693290 2663953547 1414178937 1930047483 2486879956 583337180 550568229 1317261930 3096276584 146067582 3133335651 2855728498 2004783312 4099745179 160361103 4253708597 1212386119 2936074668 1722658998 3900555014 2957180226 616616666 1041359766 3121212965 2509977966 2912375444 3693159959 3375175943 2393768158 3345508656 3208213370 1827366759 772660091 2206919573 3799399018 2382150397 3276756623 3712379812 2720788170 2787744738 3911100392 678118809 3116286747 3963264231 46716525 3826149593 1586680215 1493797162 1582666562 2328411398 858018195 682003106 3818629210 1188490158 3401402531 4120757804 3049876810 4104562055 1741836087 2523911045 3449646929 3497821633 230785434 4272624442 3651148897 241902770 64523724 4006036256 1337195949 3375094531 855286592 1230883094 3329950392 4002647511 3752792964 2363211047 1100958056 3992516143 2578903375 2921681768 4255543614 380740208 3272019259 1600075506 707400879 411119329 397278556 1802100907 3523696868 125940098 3282011945 359666229 526283879 731393370 3877299471 2651926193 175332340 1965902947 1388071535 687636548 4164088177 1392667699 3601224420 867290276 3707713092 3762934817 3321860389 63936407 1627562580 2514583191 3875784500 483815852 284121836 3674003680 1016979767 3286016456 205202119 3573422173 1660145263 522085079 948602345 1056546912 2339655546 841890539 3371752954 255 362436" option to reproduce the execution 0.00/0.01 c #vars 54 0.00/0.01 c #constraints 5 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 236 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 112 | 100 | 236 0 | 0 | 0 0.00/0.08 c 0.1s | 2 | 280 | 250 | 260 0 | 0 | 0 0.09/0.14 c 0.1s | 3 | 524 | 475 | 286 1 | 0 | 0 0.19/0.23 c 0.2s | 4 | 885 | 813 | 315 3 | 0 | 0 0.29/0.35 c 0.3s | 4 | 1364 | 1252 | 347 5 | 0 | 0 0.29/0.35 c #cpu_time = 0.332s 0.29/0.35 c #wall_clock_time = 0.333s 0.29/0.47 c #decision = 1364 0.29/0.47 c #random_decision = 5 0.29/0.47 c #conflict = 1252 0.29/0.47 c #restart = 4 0.29/0.47 o 297 0.29/0.47 c BCD2: updating upper bound: 511 -> 296 0.29/0.47 c BCD2: 0 <= obj <= 296 0.29/0.47 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 0.29/0.47 c BCD2: #sat=1 #unsat=1 bias=1/2 0.29/0.47 c Solving starts ... 0.29/0.47 c ============================[ Search Statistics ]============================ 0.29/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.47 c | | | | Limit GC | Var | Constra 0.29/0.47 c ============================================================================= 0.29/0.47 c 0.0s | 0 | 0 | 0 | 347 0 | 0 | 0 0.29/0.47 c 0.0s | 0 | 7 | 0 | 347 0 | 0 | 0 0.29/0.47 c #cpu_time = 0.001s 0.29/0.47 c #wall_clock_time = 0.001s 0.29/0.47 c #decision = 7 0.29/0.47 c #random_decision = 0 0.29/0.47 c #conflict = 0 0.29/0.47 c #restart = 0 0.29/0.47 c BCD2: found a new core of size 8: cost of the new core is >=2 0.29/0.47 c lower bound updated to 2 0.29/0.47 c BCD2: 2 <= obj <= 296 0.29/0.47 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 0.29/0.47 c BCD2: #sat=1 #unsat=2 bias=2/3 0.29/0.47 c Solving starts ... 0.29/0.47 c ============================[ Search Statistics ]============================ 0.29/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.47 c | | | | Limit GC | Var | Constra 0.29/0.47 c ============================================================================= 0.29/0.47 c 0.0s | 0 | 0 | 0 | 347 0 | 0 | 0 0.29/0.47 c 0.0s | 1 | 128 | 100 | 382 0 | 0 | 0 0.29/0.47 c 0.1s | 2 | 301 | 250 | 382 1 | 0 | 0 0.29/0.54 c 0.2s | 3 | 582 | 475 | 382 2 | 0 | 0 0.69/0.71 c 0.4s | 4 | 957 | 813 | 382 3 | 0 | 0 0.79/0.87 c 0.5s | 5 | 1502 | 1320 | 421 4 | 0 | 0 1.09/1.16 c 0.8s | 6 | 2307 | 2081 | 464 7 | 0 | 0 1.39/1.43 c 1.1s | 7 | 3536 | 3223 | 464 11 | 0 | 0 1.79/1.80 c 1.5s | 8 | 5318 | 4936 | 511 17 | 0 | 0 2.30/2.40 c 2.1s | 9 | 7976 | 7506 | 563 24 | 0 | 0 3.29/3.38 c 3.0s | 10 | 12016 | 11361 | 620 35 | 0 | 0 4.60/4.62 c 4.3s | 11 | 17858 | 17144 | 682 49 | 0 | 0 6.59/6.63 c 6.3s | 11 | 26467 | 25444 | 751 69 | 0 | 0 6.70/6.70 c 6.4s | 12 | 26857 | 25819 | 751 70 | 0 | 0 8.69/8.72 c 8.4s | 12 | 35649 | 34519 | 751 89 | 0 | 0 9.69/9.75 c 9.4s | 13 | 40046 | 38832 | 827 98 | 0 | 0 11.69/11.76 c 11.4s | 13 | 48136 | 46732 | 827 115 | 0 | 0 13.69/13.76 c 13.4s | 13 | 56248 | 54732 | 827 131 | 0 | 0 14.59/14.61 c 14.3s | 14 | 59953 | 58352 | 910 139 | 0 | 0 16.59/16.63 c 16.3s | 14 | 68300 | 66552 | 910 154 | 0 | 0 18.59/18.64 c 18.3s | 14 | 75583 | 73652 | 910 168 | 0 | 0 20.59/20.65 c 20.3s | 14 | 82463 | 80352 | 910 180 | 0 | 0 22.59/22.65 c 22.3s | 14 | 89389 | 87252 | 1002 193 | 0 | 0 22.69/22.77 c 22.4s | 15 | 89849 | 87632 | 1002 194 | 0 | 0 24.69/24.77 c 24.4s | 15 | 97729 | 95332 | 1002 207 | 0 | 0 26.68/26.78 c 26.4s | 15 | 104907 | 102432 | 1002 220 | 0 | 0 28.69/28.80 c 28.5s | 15 | 112252 | 109532 | 1002 232 | 0 | 0 30.78/30.81 c 30.5s | 15 | 119620 | 116632 | 1002 245 | 0 | 0 32.78/32.82 c 32.5s | 15 | 127612 | 124532 | 1002 259 | 0 | 0 34.58/34.64 c 34.3s | 16 | 134836 | 131552 | 1103 271 | 0 | 0 36.58/36.66 c 36.3s | 16 | 143109 | 139352 | 1103 283 | 0 | 0 38.59/38.66 c 38.3s | 16 | 151485 | 147352 | 1103 297 | 0 | 0 40.58/40.68 c 40.3s | 16 | 159260 | 154652 | 1103 308 | 0 | 0 42.68/42.70 c 42.3s | 16 | 167688 | 162652 | 1103 321 | 0 | 0 44.68/44.71 c 44.4s | 16 | 176148 | 170852 | 1103 335 | 0 | 0 46.68/46.72 c 46.4s | 16 | 185137 | 179552 | 1103 349 | 0 | 0 48.68/48.73 c 48.4s | 16 | 194128 | 188252 | 1103 363 | 0 | 0 50.69/50.73 c 50.4s | 16 | 202576 | 196452 | 1214 376 | 0 | 0 50.88/50.97 c 50.6s | 17 | 203570 | 197432 | 1214 377 | 0 | 0 52.89/52.98 c 52.6s | 17 | 212311 | 206032 | 1214 390 | 0 | 0 54.98/55.00 c 54.7s | 17 | 220627 | 214232 | 1214 402 | 0 | 0 56.98/57.01 c 56.7s | 17 | 228512 | 221932 | 1214 414 | 0 | 0 58.98/59.02 c 58.7s | 17 | 236663 | 229832 | 1214 426 | 0 | 0 60.98/61.03 c 60.7s | 17 | 244572 | 237532 | 1214 437 | 0 | 0 62.98/63.05 c 62.7s | 17 | 253213 | 246032 | 1214 450 | 0 | 0 64.99/65.07 c 64.7s | 17 | 261566 | 254232 | 1214 462 | 0 | 0 66.98/67.07 c 66.7s | 17 | 270112 | 262632 | 1214 474 | 0 | 0 69.08/69.10 c 68.7s | 17 | 278278 | 270732 | 1214 486 | 0 | 0 71.08/71.10 c 70.8s | 17 | 286598 | 278932 | 1214 498 | 0 | 0 73.08/73.11 c 72.8s | 17 | 294631 | 286832 | 1214 510 | 0 | 0 75.08/75.13 c 74.8s | 17 | 302102 | 294232 | 1336 521 | 0 | 0 75.58/75.68 c 75.3s | 18 | 304220 | 296252 | 1336 523 | 0 | 0 77.58/77.69 c 77.3s | 18 | 311237 | 303052 | 1336 533 | 0 | 0 79.58/79.69 c 79.3s | 18 | 319308 | 310852 | 1336 543 | 0 | 0 81.68/81.72 c 81.4s | 18 | 327421 | 318752 | 1336 554 | 0 | 0 83.68/83.73 c 83.4s | 18 | 334857 | 325952 | 1336 564 | 0 | 0 85.67/85.73 c 85.4s | 18 | 342836 | 333852 | 1336 574 | 0 | 0 87.67/87.74 c 87.4s | 18 | 350801 | 341652 | 1336 585 | 0 | 0 89.67/89.75 c 89.4s | 18 | 359313 | 349952 | 1336 596 | 0 | 0 91.67/91.75 c 91.4s | 18 | 367654 | 358152 | 1336 607 | 0 | 0 93.68/93.76 c 93.4s | 18 | 375661 | 366052 | 1336 618 | 0 | 0 95.67/95.78 c 95.4s | 18 | 382966 | 373152 | 1336 628 | 0 | 0 97.67/97.78 c 97.4s | 18 | 389357 | 379452 | 1336 636 | 0 | 0 99.67/99.79 c 99.4s | 18 | 394724 | 384752 | 1336 643 | 0 | 0 101.77/101.80 c 101s | 18 | 403572 | 393452 | 1336 655 | 0 | 0 103.77/103.80 c 103s | 18 | 412339 | 402052 | 1336 667 | 0 | 0 105.78/105.82 c 105s | 18 | 420913 | 410452 | 1336 678 | 0 | 0 107.77/107.83 c 107s | 18 | 429870 | 419152 | 1336 690 | 0 | 0 109.77/109.84 c 109s | 18 | 438366 | 427452 | 1336 701 | 0 | 0 111.77/111.84 c 111s | 18 | 447158 | 436052 | 1336 713 | 0 | 0 113.78/113.82 c 113s | 19 | 455921 | 444482 | 1470 724 | 0 | 0 115.78/115.85 c 115s | 19 | 463779 | 452182 | 1470 733 | 0 | 0 117.78/117.88 c 117s | 19 | 471247 | 459482 | 1470 742 | 0 | 0 119.88/119.90 c 119s | 19 | 479030 | 467182 | 1470 752 | 0 | 0 121.88/121.92 c 121s | 19 | 486781 | 474782 | 1470 761 | 0 | 0 123.88/123.93 c 123s | 19 | 493924 | 481782 | 1470 770 | 0 | 0 125.87/125.93 c 125s | 19 | 501272 | 488982 | 1470 779 | 0 | 0 127.87/127.95 c 127s | 19 | 508365 | 495982 | 1470 788 | 0 | 0 129.88/129.96 c 129s | 19 | 516845 | 504282 | 1470 798 | 0 | 0 131.87/131.96 c 131s | 19 | 524381 | 511682 | 1470 807 | 0 | 0 133.87/133.97 c 133s | 19 | 531349 | 518582 | 1470 815 | 0 | 0 135.87/135.99 c 135s | 19 | 539529 | 526582 | 1470 825 | 0 | 0 137.87/137.99 c 137s | 19 | 546857 | 533782 | 1470 834 | 0 | 0 139.97/140.01 c 139s | 19 | 553568 | 540182 | 1470 842 | 0 | 0 141.98/142.03 c 141s | 19 | 560044 | 546582 | 1470 850 | 0 | 0 143.97/144.05 c 143s | 19 | 566916 | 553182 | 1470 859 | 0 | 0 145.97/146.07 c 145s | 19 | 574216 | 560382 | 1470 867 | 0 | 0 147.97/148.09 c 147s | 19 | 582084 | 567982 | 1470 877 | 0 | 0 150.07/150.10 c 149s | 19 | 590400 | 576082 | 1470 887 | 0 | 0 152.07/152.12 c 151s | 19 | 597641 | 583182 | 1470 896 | 0 | 0 154.07/154.13 c 153s | 19 | 604776 | 589982 | 1470 904 | 0 | 0 156.07/156.14 c 155s | 19 | 612106 | 597282 | 1470 913 | 0 | 0 158.07/158.14 c 157s | 19 | 619576 | 604582 | 1470 922 | 0 | 0 160.07/160.17 c 159s | 19 | 627539 | 612382 | 1470 932 | 0 | 0 162.07/162.18 c 161s | 19 | 633749 | 618382 | 1470 940 | 0 | 0 164.07/164.19 c 163s | 19 | 641005 | 625282 | 1470 948 | 0 | 0 166.17/166.21 c 165s | 19 | 648241 | 632282 | 1470 957 | 0 | 0 168.16/168.22 c 167s | 19 | 655016 | 638982 | 1470 965 | 0 | 0 170.16/170.25 c 169s | 19 | 662713 | 646482 | 1470 975 | 0 | 0 172.16/172.27 c 171s | 19 | 669916 | 653582 | 1470 983 | 0 | 0 174.16/174.28 c 173s | 19 | 678086 | 661482 | 1618 993 | 0 | 0 175.66/175.75 c 175s | 20 | 683490 | 666827 | 1618 999 | 0 | 0 177.66/177.76 c 177s | 20 | 690528 | 673527 | 1618 1006 | 0 | 0 179.66/179.78 c 179s | 20 | 698704 | 681427 | 1618 1015 | 0 | 0 181.67/181.79 c 181s | 20 | 707177 | 689727 | 1618 1025 | 0 | 0 183.77/183.81 c 183s | 20 | 715434 | 697627 | 1618 1034 | 0 | 0 185.76/185.83 c 185s | 20 | 723296 | 705327 | 1618 1043 | 0 | 0 187.76/187.84 c 187s | 20 | 731270 | 713027 | 1618 1051 | 0 | 0 189.76/189.84 c 189s | 20 | 740002 | 721427 | 1618 1061 | 0 | 0 191.76/191.84 c 191s | 20 | 748624 | 729827 | 1618 1071 | 0 | 0 193.77/193.85 c 193s | 20 | 757394 | 738327 | 1618 1080 | 0 | 0 195.76/195.86 c 195s | 20 | 765793 | 746527 | 1618 1090 | 0 | 0 197.76/197.88 c 197s | 20 | 774536 | 754927 | 1618 1099 | 0 | 0 199.76/199.89 c 199s | 20 | 783114 | 763227 | 1618 1109 | 0 | 0 201.86/201.92 c 201s | 20 | 791209 | 770827 | 1618 1117 | 0 | 0 203.86/203.94 c 203s | 20 | 799598 | 778927 | 1618 1127 | 0 | 0 205.86/205.96 c 205s | 20 | 807858 | 786927 | 1618 1136 | 0 | 0 207.85/207.97 c 207s | 20 | 816177 | 794927 | 1618 1145 | 0 | 0 209.85/209.98 c 209s | 20 | 824574 | 803127 | 1618 1155 | 0 | 0 211.95/212.01 c 211s | 20 | 833191 | 811527 | 1618 1164 | 0 | 0 213.95/214.03 c 213s | 20 | 841809 | 819927 | 1618 1174 | 0 | 0 215.95/216.04 c 215s | 20 | 850631 | 828527 | 1618 1184 | 0 | 0 217.96/218.04 c 217s | 20 | 859002 | 836627 | 1618 1193 | 0 | 0 219.95/220.05 c 219s | 20 | 867663 | 845027 | 1618 1203 | 0 | 0 221.96/222.05 c 221s | 20 | 876111 | 853227 | 1618 1212 | 0 | 0 223.96/224.06 c 223s | 20 | 884553 | 861427 | 1618 1221 | 0 | 0 225.96/226.08 c 225s | 20 | 892480 | 868927 | 1618 1230 | 0 | 0 227.96/228.09 c 227s | 20 | 900683 | 876727 | 1618 1239 | 0 | 0 230.07/230.10 c 229s | 20 | 908799 | 884527 | 1618 1248 | 0 | 0 232.06/232.12 c 231s | 20 | 917391 | 892827 | 1618 1257 | 0 | 0 234.06/234.13 c 233s | 20 | 925862 | 901027 | 1618 1267 | 0 | 0 236.06/236.15 c 235s | 20 | 934086 | 909027 | 1618 1276 | 0 | 0 238.06/238.15 c 237s | 20 | 941993 | 916727 | 1618 1285 | 0 | 0 240.06/240.18 c 239s | 20 | 948819 | 923427 | 1618 1293 | 0 | 0 242.06/242.19 c 241s | 20 | 956662 | 931127 | 1618 1301 | 0 | 0 244.16/244.20 c 243s | 20 | 963987 | 938327 | 1618 1310 | 0 | 0 246.16/246.23 c 245s | 20 | 970906 | 945027 | 1618 1317 | 0 | 0 248.16/248.23 c 247s | 20 | 979015 | 952827 | 1618 1326 | 0 | 0 250.16/250.25 c 249s | 20 | 986810 | 960127 | 1618 1335 | 0 | 0 252.15/252.25 c 251s | 20 | 994596 | 967527 | 1618 1343 | 0 | 0 254.16/254.28 c 253s | 20 | 1002481 | 975027 | 1618 1352 | 0 | 0 256.15/256.29 c 255s | 20 | 1010588 | 982927 | 1618 1361 | 0 | 0 258.25/258.31 c 257s | 20 | 1018645 | 990727 | 1618 1370 | 0 | 0 260.25/260.33 c 259s | 20 | 1026151 | 997627 | 1780 1377 | 0 | 0 261.05/261.10 c 260s | 21 | 1028942 | 1000345 | 1780 1380 | 0 | 0 263.06/263.12 c 262s | 21 | 1036642 | 1007945 | 1780 1388 | 0 | 0 265.05/265.12 c 264s | 21 | 1044269 | 1015345 | 1780 1395 | 0 | 0 267.05/267.13 c 266s | 21 | 1052216 | 1023145 | 1780 1403 | 0 | 0 269.05/269.13 c 268s | 21 | 1059963 | 1030745 | 1780 1411 | 0 | 0 271.05/271.14 c 270s | 21 | 1067367 | 1038045 | 1780 1419 | 0 | 0 273.05/273.14 c 272s | 21 | 1075185 | 1045745 | 1780 1427 | 0 | 0 275.06/275.15 c 274s | 21 | 1082314 | 1052745 | 1780 1434 | 0 | 0 277.05/277.18 c 276s | 21 | 1089715 | 1060045 | 1780 1442 | 0 | 0 279.15/279.20 c 278s | 21 | 1097236 | 1067445 | 1780 1450 | 0 | 0 281.15/281.20 c 280s | 21 | 1104535 | 1074645 | 1780 1457 | 0 | 0 283.15/283.21 c 282s | 21 | 1111945 | 1081945 | 1780 1465 | 0 | 0 285.15/285.23 c 284s | 21 | 1119020 | 1088845 | 1780 1472 | 0 | 0 287.15/287.25 c 286s | 21 | 1125636 | 1095445 | 1780 1479 | 0 | 0 289.15/289.26 c 288s | 21 | 1133359 | 1103045 | 1780 1486 | 0 | 0 291.15/291.28 c 290s | 21 | 1141434 | 1110945 | 1780 1495 | 0 | 0 293.24/293.31 c 292s | 21 | 1148944 | 1118345 | 1780 1502 | 0 | 0 295.24/295.33 c 294s | 21 | 1156127 | 1125445 | 1780 1510 | 0 | 0 297.24/297.34 c 296s | 21 | 1163811 | 1133045 | 1780 1518 | 0 | 0 299.25/299.36 c 299s | 21 | 1171567 | 1140645 | 1780 1525 | 0 | 0 301.24/301.37 c 301s | 21 | 1178774 | 1147745 | 1780 1533 | 0 | 0 303.24/303.39 c 303s | 21 | 1185980 | 1154845 | 1780 1540 | 0 | 0 305.34/305.41 c 305s | 21 | 1193672 | 1162445 | 1780 1548 | 0 | 0 307.34/307.41 c 307s | 21 | 1200973 | 1169645 | 1780 1556 | 0 | 0 309.34/309.43 c 309s | 21 | 1208049 | 1176645 | 1780 1563 | 0 | 0 311.35/311.43 c 311s | 21 | 1215509 | 1183945 | 1780 1570 | 0 | 0 313.34/313.44 c 313s | 21 | 1222732 | 1191045 | 1780 1578 | 0 | 0 315.34/315.46 c 315s | 21 | 1230665 | 1198845 | 1780 1586 | 0 | 0 317.34/317.46 c 317s | 21 | 1237931 | 1206045 | 1780 1593 | 0 | 0 319.34/319.47 c 319s | 21 | 1244811 | 1212745 | 1780 1600 | 0 | 0 321.35/321.47 c 321s | 21 | 1251496 | 1219245 | 1780 1607 | 0 | 0 323.34/323.49 c 323s | 21 | 1258662 | 1226245 | 1780 1615 | 0 | 0 325.44/325.51 c 325s | 21 | 1265536 | 1233045 | 1780 1622 | 0 | 0 327.44/327.52 c 327s | 21 | 1272276 | 1239645 | 1780 1629 | 0 | 0 329.44/329.54 c 329s | 21 | 1279365 | 1246645 | 1780 1636 | 0 | 0 331.44/331.55 c 331s | 21 | 1286742 | 1253745 | 1780 1643 | 0 | 0 333.45/333.55 c 333s | 21 | 1293620 | 1260545 | 1780 1650 | 0 | 0 335.44/335.56 c 335s | 21 | 1300925 | 1267745 | 1780 1658 | 0 | 0 337.44/337.57 c 337s | 21 | 1308293 | 1275045 | 1780 1665 | 0 | 0 339.44/339.57 c 339s | 21 | 1316851 | 1283245 | 1780 1674 | 0 | 0 341.44/341.59 c 341s | 21 | 1324134 | 1290445 | 1780 1681 | 0 | 0 343.54/343.60 c 343s | 21 | 1331683 | 1297845 | 1780 1689 | 0 | 0 345.55/345.61 c 345s | 21 | 1338526 | 1304645 | 1780 1696 | 0 | 0 347.54/347.62 c 347s | 21 | 1345768 | 1311745 | 1780 1704 | 0 | 0 349.54/349.63 c 349s | 21 | 1352949 | 1318845 | 1780 1711 | 0 | 0 351.54/351.64 c 351s | 21 | 1360451 | 1326245 | 1780 1719 | 0 | 0 353.54/353.65 c 353s | 21 | 1368025 | 1333745 | 1780 1727 | 0 | 0 355.54/355.65 c 355s | 21 | 1375226 | 1340845 | 1780 1734 | 0 | 0 357.55/357.67 c 357s | 21 | 1382913 | 1348445 | 1780 1742 | 0 | 0 359.54/359.69 c 359s | 21 | 1390445 | 1355845 | 1780 1750 | 0 | 0 361.64/361.70 c 361s | 21 | 1397973 | 1363245 | 1780 1757 | 0 | 0 363.64/363.72 c 363s | 21 | 1404866 | 1370045 | 1780 1764 | 0 | 0 365.64/365.73 c 365s | 21 | 1412902 | 1377945 | 1780 1773 | 0 | 0 367.64/367.74 c 367s | 21 | 1420677 | 1385645 | 1780 1781 | 0 | 0 369.64/369.75 c 369s | 21 | 1428295 | 1393145 | 1780 1788 | 0 | 0 371.64/371.77 c 371s | 21 | 1435930 | 1400645 | 1780 1796 | 0 | 0 373.64/373.80 c 373s | 21 | 1443223 | 1407845 | 1780 1804 | 0 | 0 375.73/375.81 c 375s | 21 | 1450756 | 1415245 | 1780 1811 | 0 | 0 377.73/377.82 c 377s | 21 | 1458445 | 1422845 | 1780 1819 | 0 | 0 379.73/379.83 c 379s | 21 | 1465964 | 1430245 | 1780 1827 | 0 | 0 381.74/381.85 c 381s | 21 | 1473535 | 1437745 | 1780 1835 | 0 | 0 383.73/383.86 c 383s | 21 | 1481262 | 1445345 | 1780 1843 | 0 | 0 385.73/385.88 c 385s | 21 | 1489073 | 1453045 | 1780 1850 | 0 | 0 387.83/387.90 c 387s | 21 | 1496680 | 1460545 | 1780 1858 | 0 | 0 389.83/389.92 c 389s | 21 | 1504609 | 1468245 | 1780 1867 | 0 | 0 391.83/391.92 c 391s | 21 | 1512021 | 1475545 | 1780 1874 | 0 | 0 393.84/393.92 c 393s | 21 | 1519961 | 1483345 | 1780 1882 | 0 | 0 395.83/395.94 c 395s | 21 | 1527471 | 1490745 | 1959 1890 | 0 | 0 397.83/397.96 c 397s | 21 | 1534954 | 1498045 | 1959 1897 | 0 | 0 398.53/398.67 c 398s | 22 | 1537582 | 1500622 | 1959 1899 | 0 | 0 400.53/400.68 c 400s | 22 | 1545455 | 1508222 | 1959 1906 | 0 | 0 402.53/402.68 c 402s | 22 | 1553155 | 1515622 | 1959 1913 | 0 | 0 404.53/404.69 c 404s | 22 | 1561053 | 1523322 | 1959 1921 | 0 | 0 406.53/406.69 c 406s | 22 | 1568304 | 1530322 | 1959 1928 | 0 | 0 408.62/408.71 c 408s | 22 | 1575852 | 1537722 | 1959 1935 | 0 | 0 410.62/410.73 c 410s | 22 | 1583656 | 1545422 | 1959 1942 | 0 | 0 412.63/412.75 c 412s | 22 | 1591685 | 1553222 | 1959 1950 | 0 | 0 414.62/414.77 c 414s | 22 | 1599298 | 1560622 | 1959 1957 | 0 | 0 416.62/416.79 c 416s | 22 | 1607157 | 1568222 | 1959 1964 | 0 | 0 418.73/418.82 c 418s | 22 | 1615251 | 1576022 | 1959 1971 | 0 | 0 420.73/420.84 c 420s | 22 | 1622900 | 1583122 | 1959 1978 | 0 | 0 422.73/422.85 c 422s | 22 | 1629933 | 1589822 | 1959 1985 | 0 | 0 424.74/424.85 c 424s | 22 | 1638006 | 1597722 | 1959 1992 | 0 | 0 426.73/426.86 c 426s | 22 | 1645702 | 1605122 | 1959 1999 | 0 | 0 428.73/428.87 c 428s | 22 | 1653592 | 1612722 | 1959 2007 | 0 | 0 430.73/430.88 c 430s | 22 | 1661571 | 1620422 | 1959 2014 | 0 | 0 432.83/432.90 c 432s | 22 | 1669403 | 1628022 | 1959 2021 | 0 | 0 434.83/434.94 c 434s | 22 | 1676782 | 1635222 | 1959 2028 | 0 | 0 436.84/436.94 c 436s | 22 | 1684291 | 1642522 | 1959 2035 | 0 | 0 438.83/438.96 c 438s | 22 | 1692052 | 1650022 | 1959 2043 | 0 | 0 440.83/440.96 c 440s | 22 | 1699796 | 1657322 | 1959 2050 | 0 | 0 442.83/442.98 c 442s | 22 | 1707362 | 1664322 | 1959 2056 | 0 | 0 444.83/444.98 c 444s | 22 | 1715269 | 1671922 | 1959 2064 | 0 | 0 446.83/446.98 c 446s | 22 | 1723179 | 1679522 | 1959 2071 | 0 | 0 448.83/448.99 c 448s | 22 | 1730574 | 1686522 | 1959 2078 | 0 | 0 450.93/451.01 c 450s | 22 | 1738172 | 1693922 | 1959 2085 | 0 | 0 452.93/453.02 c 452s | 22 | 1745702 | 1701322 | 1959 2092 | 0 | 0 454.92/455.03 c 454s | 22 | 1753190 | 1708722 | 1959 2099 | 0 | 0 456.92/457.04 c 456s | 22 | 1760764 | 1716222 | 1959 2106 | 0 | 0 458.92/459.05 c 458s | 22 | 1768420 | 1723722 | 1959 2113 | 0 | 0 460.93/461.08 c 460s | 22 | 1776836 | 1731922 | 1959 2121 | 0 | 0 462.92/463.08 c 462s | 22 | 1784991 | 1739722 | 1959 2129 | 0 | 0 464.92/465.09 c 464s | 22 | 1793268 | 1747722 | 1959 2136 | 0 | 0 466.92/467.09 c 466s | 22 | 1801504 | 1755822 | 1959 2144 | 0 | 0 469.02/469.10 c 468s | 22 | 1809166 | 1763322 | 1959 2151 | 0 | 0 471.02/471.10 c 470s | 22 | 1816352 | 1770422 | 1959 2158 | 0 | 0 473.02/473.12 c 472s | 22 | 1824580 | 1778422 | 1959 2166 | 0 | 0 475.02/475.15 c 474s | 22 | 1833238 | 1786822 | 1959 2174 | 0 | 0 477.02/477.17 c 476s | 22 | 1841885 | 1795222 | 1959 2182 | 0 | 0 479.02/479.19 c 478s | 22 | 1850281 | 1803422 | 1959 2190 | 0 | 0 481.11/481.21 c 480s | 22 | 1858708 | 1811622 | 1959 2198 | 0 | 0 483.11/483.24 c 482s | 22 | 1867085 | 1819722 | 1959 2206 | 0 | 0 485.12/485.25 c 484s | 22 | 1874624 | 1827022 | 1959 2213 | 0 | 0 487.11/487.28 c 486s | 22 | 1882984 | 1835222 | 1959 2220 | 0 | 0 489.11/489.29 c 488s | 22 | 1891193 | 1843122 | 1959 2228 | 0 | 0 491.11/491.30 c 490s | 22 | 1898578 | 1849922 | 1959 2235 | 0 | 0 493.21/493.30 c 492s | 22 | 1906280 | 1857322 | 1959 2242 | 0 | 0 495.21/495.32 c 494s | 22 | 1914104 | 1864822 | 1959 2249 | 0 | 0 497.22/497.33 c 496s | 22 | 1921513 | 1871822 | 1959 2256 | 0 | 0 499.21/499.35 c 498s | 22 | 1929386 | 1879422 | 1959 2263 | 0 | 0 501.21/501.35 c 501s | 22 | 1937507 | 1887322 | 1959 2271 | 0 | 0 503.21/503.36 c 503s | 22 | 1946260 | 1895422 | 1959 2278 | 0 | 0 505.21/505.38 c 505s | 22 | 1954404 | 1903222 | 1959 2286 | 0 | 0 507.22/507.39 c 507s | 22 | 1962022 | 1910622 | 1959 2293 | 0 | 0 509.21/509.40 c 509s | 22 | 1970788 | 1919022 | 1959 2301 | 0 | 0 511.31/511.41 c 511s | 22 | 1978390 | 1926222 | 1959 2308 | 0 | 0 513.31/513.42 c 513s | 22 | 1986059 | 1933622 | 1959 2315 | 0 | 0 515.30/515.44 c 515s | 22 | 1994342 | 1941722 | 1959 2323 | 0 | 0 517.30/517.45 c 517s | 22 | 2002297 | 1949422 | 1959 2330 | 0 | 0 519.31/519.47 c 519s | 22 | 2010056 | 1957022 | 1959 2338 | 0 | 0 521.30/521.49 c 521s | 22 | 2018366 | 1965122 | 1959 2345 | 0 | 0 523.40/523.51 c 523s | 22 | 2026602 | 1973122 | 1959 2353 | 0 | 0 525.39/525.52 c 525s | 22 | 2035068 | 1981322 | 1959 2361 | 0 | 0 527.39/527.53 c 527s | 22 | 2042928 | 1988822 | 1959 2368 | 0 | 0 529.39/529.55 c 529s | 22 | 2050712 | 1996422 | 1959 2376 | 0 | 0 531.40/531.57 c 531s | 22 | 2058585 | 2004022 | 1959 2383 | 0 | 0 533.39/533.58 c 533s | 22 | 2066371 | 2011622 | 1959 2390 | 0 | 0 535.39/535.59 c 535s | 22 | 2074345 | 2019322 | 1959 2398 | 0 | 0 537.49/537.61 c 537s | 22 | 2082375 | 2027022 | 1959 2405 | 0 | 0 539.49/539.64 c 539s | 22 | 2090292 | 2034222 | 1959 2412 | 0 | 0 541.49/541.66 c 541s | 22 | 2097720 | 2041322 | 1959 2419 | 0 | 0 543.49/543.67 c 543s | 22 | 2105163 | 2048522 | 1959 2426 | 0 | 0 545.48/545.68 c 545s | 22 | 2113171 | 2056322 | 1959 2434 | 0 | 0 547.48/547.69 c 547s | 22 | 2120767 | 2063622 | 1959 2441 | 0 | 0 549.58/549.72 c 549s | 22 | 2128341 | 2071122 | 1959 2448 | 0 | 0 551.58/551.74 c 551s | 22 | 2135503 | 2078122 | 1959 2455 | 0 | 0 553.58/553.76 c 553s | 22 | 2143085 | 2085322 | 1959 2461 | 0 | 0 555.58/555.76 c 555s | 22 | 2150811 | 2092822 | 1959 2469 | 0 | 0 557.58/557.77 c 557s | 22 | 2158798 | 2100622 | 1959 2476 | 0 | 0 559.58/559.79 c 559s | 22 | 2166650 | 2108222 | 1959 2483 | 0 | 0 561.67/561.81 c 561s | 22 | 2175053 | 2116422 | 1959 2491 | 0 | 0 563.67/563.82 c 563s | 22 | 2183466 | 2124422 | 1959 2499 | 0 | 0 565.67/565.82 c 565s | 22 | 2191264 | 2132022 | 1959 2506 | 0 | 0 567.68/567.83 c 567s | 22 | 2199095 | 2139622 | 1959 2514 | 0 | 0 569.67/569.87 c 569s | 22 | 2205704 | 2145722 | 1959 2519 | 0 | 0 571.67/571.89 c 571s | 22 | 2213101 | 2152822 | 1959 2526 | 0 | 0 573.77/573.90 c 573s | 22 | 2220723 | 2160122 | 1959 2533 | 0 | 0 575.76/575.90 c 575s | 22 | 2227770 | 2166822 | 1959 2540 | 0 | 0 577.76/577.92 c 577s | 22 | 2235153 | 2173822 | 1959 2546 | 0 | 0 579.77/579.93 c 579s | 22 | 2242252 | 2180622 | 1959 2553 | 0 | 0 581.76/581.95 c 581s | 22 | 2249072 | 2187122 | 1959 2559 | 0 | 0 583.76/583.96 c 583s | 22 | 2257031 | 2194822 | 1959 2567 | 0 | 0 585.76/585.97 c 585s | 22 | 2263919 | 2201522 | 1959 2573 | 0 | 0 587.76/588.00 c 587s | 22 | 2270536 | 2207922 | 1959 2579 | 0 | 0 589.86/590.02 c 589s | 22 | 2278149 | 2215422 | 1959 2587 | 0 | 0 591.86/592.04 c 591s | 22 | 2286306 | 2223322 | 1959 2594 | 0 | 0 593.86/594.06 c 593s | 22 | 2294886 | 2231522 | 1959 2602 | 0 | 0 595.85/596.06 c 595s | 22 | 2302711 | 2239122 | 2155 2609 | 0 | 0 597.85/598.06 c 597s | 22 | 2310244 | 2246422 | 2155 2615 | 0 | 0 599.15/599.33 c 598s | 23 | 2314975 | 2251038 | 2155 2619 | 0 | 0 601.15/601.36 c 601s | 23 | 2321611 | 2257538 | 2155 2625 | 0 | 0 603.16/603.37 c 603s | 23 | 2328156 | 2264038 | 2155 2630 | 0 | 0 605.15/605.39 c 605s | 23 | 2334553 | 2270338 | 2155 2636 | 0 | 0 607.26/607.41 c 607s | 23 | 2341270 | 2276938 | 2155 2642 | 0 | 0 609.25/609.43 c 609s | 23 | 2348426 | 2283938 | 2155 2648 | 0 | 0 611.25/611.44 c 611s | 23 | 2355216 | 2290538 | 2155 2653 | 0 | 0 613.25/613.48 c 613s | 23 | 2362383 | 2297638 | 2155 2660 | 0 | 0 615.35/615.50 c 615s | 23 | 2369732 | 2304638 | 2155 2666 | 0 | 0 617.35/617.51 c 617s | 23 | 2376816 | 2311638 | 2155 2672 | 0 | 0 619.35/619.52 c 619s | 23 | 2383950 | 2318638 | 2155 2678 | 0 | 0 621.35/621.52 c 621s | 23 | 2391601 | 2326038 | 2155 2684 | 0 | 0 623.35/623.53 c 623s | 23 | 2399576 | 2333738 | 2155 2691 | 0 | 0 625.34/625.54 c 625s | 23 | 2406602 | 2340438 | 2155 2697 | 0 | 0 627.34/627.56 c 627s | 23 | 2413211 | 2346838 | 2155 2703 | 0 | 0 629.34/629.57 c 629s | 23 | 2419885 | 2353338 | 2155 2708 | 0 | 0 631.35/631.58 c 631s | 23 | 2426224 | 2359638 | 2155 2714 | 0 | 0 633.34/633.58 c 633s | 23 | 2432998 | 2366338 | 2155 2720 | 0 | 0 635.44/635.60 c 635s | 23 | 2440012 | 2373238 | 2155 2726 | 0 | 0 637.44/637.61 c 637s | 23 | 2447004 | 2380038 | 2155 2732 | 0 | 0 639.44/639.65 c 639s | 23 | 2453977 | 2386838 | 2155 2738 | 0 | 0 641.44/641.67 c 641s | 23 | 2459844 | 2392638 | 2155 2743 | 0 | 0 643.44/643.69 c 643s | 23 | 2466161 | 2398838 | 2155 2748 | 0 | 0 645.53/645.71 c 645s | 23 | 2472530 | 2405038 | 2155 2754 | 0 | 0 647.53/647.72 c 647s | 23 | 2479079 | 2411438 | 2155 2759 | 0 | 0 649.53/649.73 c 649s | 23 | 2485791 | 2417938 | 2155 2765 | 0 | 0 651.53/651.76 c 651s | 23 | 2492524 | 2424538 | 2155 2771 | 0 | 0 653.53/653.76 c 653s | 23 | 2499346 | 2430938 | 2155 2776 | 0 | 0 655.53/655.77 c 655s | 23 | 2505642 | 2437038 | 2155 2782 | 0 | 0 657.53/657.78 c 657s | 23 | 2512739 | 2443938 | 2155 2788 | 0 | 0 659.63/659.80 c 659s | 23 | 2519127 | 2450238 | 2155 2793 | 0 | 0 661.63/661.82 c 661s | 23 | 2525847 | 2456738 | 2155 2799 | 0 | 0 663.63/663.82 c 663s | 23 | 2532581 | 2463338 | 2155 2805 | 0 | 0 665.62/665.85 c 665s | 23 | 2539518 | 2470038 | 2155 2810 | 0 | 0 667.63/667.87 c 667s | 23 | 2546108 | 2476538 | 2155 2816 | 0 | 0 669.62/669.88 c 669s | 23 | 2552806 | 2483138 | 2155 2822 | 0 | 0 671.72/671.91 c 671s | 23 | 2559332 | 2489538 | 2155 2827 | 0 | 0 673.72/673.92 c 673s | 23 | 2565520 | 2495638 | 2155 2833 | 0 | 0 675.72/675.92 c 675s | 23 | 2572413 | 2502338 | 2155 2838 | 0 | 0 677.72/677.95 c 677s | 23 | 2578862 | 2508738 | 2155 2844 | 0 | 0 679.72/679.97 c 679s | 23 | 2585824 | 2515538 | 2155 2850 | 0 | 0 681.72/681.99 c 681s | 23 | 2593107 | 2522638 | 2155 2856 | 0 | 0 683.82/684.03 c 683s | 23 | 2599996 | 2529338 | 2155 2862 | 0 | 0 685.81/686.05 c 685s | 23 | 2606938 | 2536038 | 2155 2868 | 0 | 0 687.81/688.06 c 687s | 23 | 2613651 | 2542638 | 2155 2873 | 0 | 0 689.81/690.07 c 689s | 23 | 2620029 | 2548938 | 2155 2879 | 0 | 0 691.82/692.07 c 691s | 23 | 2627153 | 2555938 | 2155 2885 | 0 | 0 693.91/694.11 c 693s | 23 | 2632548 | 2561238 | 2155 2890 | 0 | 0 695.91/696.12 c 695s | 23 | 2638618 | 2566938 | 2155 2895 | 0 | 0 697.91/698.14 c 697s | 23 | 2645409 | 2573338 | 2155 2900 | 0 | 0 699.91/700.16 c 699s | 23 | 2652150 | 2580038 | 2155 2906 | 0 | 0 701.91/702.17 c 701s | 23 | 2659147 | 2586838 | 2155 2912 | 0 | 0 703.91/704.17 c 703s | 23 | 2665681 | 2593238 | 2155 2918 | 0 | 0 705.90/706.18 c 705s | 23 | 2672340 | 2599638 | 2155 2923 | 0 | 0 708.00/708.21 c 707s | 23 | 2678960 | 2606138 | 2155 2929 | 0 | 0 710.00/710.22 c 709s | 23 | 2685095 | 2612138 | 2155 2934 | 0 | 0 712.00/712.24 c 711s | 23 | 2692236 | 2619038 | 2155 2940 | 0 | 0 714.00/714.27 c 713s | 23 | 2698793 | 2625538 | 2155 2946 | 0 | 0 716.00/716.27 c 715s | 23 | 2705410 | 2632038 | 2155 2951 | 0 | 0 718.00/718.29 c 717s | 23 | 2710986 | 2637538 | 2155 2956 | 0 | 0 720.10/720.32 c 719s | 23 | 2716223 | 2642738 | 2155 2961 | 0 | 0 722.10/722.35 c 721s | 23 | 2723228 | 2649538 | 2155 2966 | 0 | 0 724.10/724.35 c 723s | 23 | 2729693 | 2655938 | 2155 2972 | 0 | 0 726.09/726.39 c 726s | 23 | 2735107 | 2661138 | 2155 2977 | 0 | 0 728.20/728.42 c 728s | 23 | 2741636 | 2667438 | 2155 2982 | 0 | 0 730.19/730.43 c 730s | 23 | 2748217 | 2673938 | 2155 2988 | 0 | 0 732.19/732.44 c 732s | 23 | 2754962 | 2680538 | 2155 2993 | 0 | 0 734.19/734.45 c 734s | 23 | 2761013 | 2686538 | 2155 2998 | 0 | 0 736.19/736.47 c 736s | 23 | 2766112 | 2691538 | 2155 3003 | 0 | 0 738.28/738.50 c 738s | 23 | 2773042 | 2698338 | 2155 3009 | 0 | 0 740.29/740.51 c 740s | 23 | 2779300 | 2704438 | 2155 3014 | 0 | 0 742.28/742.51 c 742s | 23 | 2785706 | 2710638 | 2155 3019 | 0 | 0 744.28/744.54 c 744s | 23 | 2792506 | 2717138 | 2155 3025 | 0 | 0 746.28/746.56 c 746s | 23 | 2798662 | 2723138 | 2155 3030 | 0 | 0 748.28/748.59 c 748s | 23 | 2805186 | 2729538 | 2155 3036 | 0 | 0 750.38/750.61 c 750s | 23 | 2812089 | 2736338 | 2155 3042 | 0 | 0 752.39/752.61 c 752s | 23 | 2818950 | 2743138 | 2155 3048 | 0 | 0 754.38/754.61 c 754s | 23 | 2826022 | 2750138 | 2155 3054 | 0 | 0 756.37/756.63 c 756s | 23 | 2833573 | 2757538 | 2155 3060 | 0 | 0 758.37/758.64 c 758s | 23 | 2840036 | 2763938 | 2155 3066 | 0 | 0 760.37/760.64 c 760s | 23 | 2846879 | 2770638 | 2155 3072 | 0 | 0 762.37/762.67 c 762s | 23 | 2853589 | 2777238 | 2155 3077 | 0 | 0 764.38/764.67 c 764s | 23 | 2860374 | 2783938 | 2155 3083 | 0 | 0 766.37/766.69 c 766s | 23 | 2867566 | 2790938 | 2155 3089 | 0 | 0 768.47/768.70 c 768s | 23 | 2873298 | 2796538 | 2155 3094 | 0 | 0 770.47/770.72 c 770s | 23 | 2879694 | 2802838 | 2155 3100 | 0 | 0 772.47/772.73 c 772s | 23 | 2885520 | 2808438 | 2155 3105 | 0 | 0 774.47/774.74 c 774s | 23 | 2891869 | 2814638 | 2155 3110 | 0 | 0 776.46/776.78 c 776s | 23 | 2897621 | 2820338 | 2155 3115 | 0 | 0 778.56/778.81 c 778s | 23 | 2904149 | 2826638 | 2155 3121 | 0 | 0 780.56/780.82 c 780s | 23 | 2910844 | 2832738 | 2155 3126 | 0 | 0 782.56/782.86 c 782s | 23 | 2916403 | 2838038 | 2155 3131 | 0 | 0 784.56/784.86 c 784s | 23 | 2923079 | 2844438 | 2155 3136 | 0 | 0 786.55/786.86 c 786s | 23 | 2929590 | 2850738 | 2155 3142 | 0 | 0 788.56/788.88 c 788s | 23 | 2936227 | 2856838 | 2155 3147 | 0 | 0 790.65/790.90 c 790s | 23 | 2942898 | 2862938 | 2155 3152 | 0 | 0 792.65/792.90 c 792s | 23 | 2949275 | 2868938 | 2155 3158 | 0 | 0 794.65/794.90 c 794s | 23 | 2955951 | 2875438 | 2155 3163 | 0 | 0 796.65/796.92 c 796s | 23 | 2962413 | 2881638 | 2155 3169 | 0 | 0 798.66/798.94 c 798s | 23 | 2969442 | 2888138 | 2155 3175 | 0 | 0 800.66/800.96 c 800s | 23 | 2975691 | 2893938 | 2155 3180 | 0 | 0 802.66/802.98 c 802s | 23 | 2981851 | 2899638 | 2155 3185 | 0 | 0 804.65/804.99 c 804s | 23 | 2988583 | 2906038 | 2155 3190 | 0 | 0 806.75/807.01 c 806s | 23 | 2994146 | 2911438 | 2155 3195 | 0 | 0 808.75/809.01 c 808s | 23 | 3000131 | 2917238 | 2155 3200 | 0 | 0 810.75/811.02 c 810s | 23 | 3006295 | 2923338 | 2155 3205 | 0 | 0 812.76/813.03 c 812s | 23 | 3013457 | 2930338 | 2155 3212 | 0 | 0 814.75/815.03 c 814s | 23 | 3020176 | 2936538 | 2155 3217 | 0 | 0 816.75/817.06 c 816s | 23 | 3026238 | 2942038 | 2155 3222 | 0 | 0 818.74/819.07 c 818s | 23 | 3032269 | 2947638 | 2155 3227 | 0 | 0 820.74/821.09 c 820s | 23 | 3038048 | 2953038 | 2155 3232 | 0 | 0 822.84/823.10 c 822s | 23 | 3044121 | 2958838 | 2155 3237 | 0 | 0 824.85/825.12 c 824s | 23 | 3049928 | 2964438 | 2155 3242 | 0 | 0 826.84/827.14 c 826s | 23 | 3055174 | 2969538 | 2155 3246 | 0 | 0 828.84/829.16 c 828s | 23 | 3060267 | 2974538 | 2155 3251 | 0 | 0 830.84/831.17 c 830s | 23 | 3065466 | 2979638 | 2155 3255 | 0 | 0 832.84/833.19 c 832s | 23 | 3070851 | 2984838 | 2155 3260 | 0 | 0 834.93/835.21 c 834s | 23 | 3076693 | 2990438 | 2155 3265 | 0 | 0 836.94/837.22 c 836s | 23 | 3083258 | 2996738 | 2155 3270 | 0 | 0 838.93/839.22 c 838s | 23 | 3089694 | 3003038 | 2155 3276 | 0 | 0 840.93/841.26 c 840s | 23 | 3096081 | 3009338 | 2155 3281 | 0 | 0 842.93/843.26 c 842s | 23 | 3102040 | 3015238 | 2155 3287 | 0 | 0 844.92/845.28 c 844s | 23 | 3109179 | 3022238 | 2155 3293 | 0 | 0 847.02/847.31 c 846s | 23 | 3116198 | 3029138 | 2155 3299 | 0 | 0 849.03/849.33 c 848s | 23 | 3122560 | 3035438 | 2155 3304 | 0 | 0 851.02/851.34 c 850s | 23 | 3129557 | 3042238 | 2155 3310 | 0 | 0 853.02/853.34 c 852s | 23 | 3136419 | 3049038 | 2155 3316 | 0 | 0 855.02/855.36 c 855s | 23 | 3141922 | 3054438 | 2155 3321 | 0 | 0 857.02/857.37 c 857s | 23 | 3148178 | 3060538 | 2155 3326 | 0 | 0 859.03/859.40 c 859s | 23 | 3154339 | 3066638 | 2155 3331 | 0 | 0 861.02/861.40 c 861s | 23 | 3161082 | 3073238 | 2155 3337 | 0 | 0 863.12/863.43 c 863s | 23 | 3168217 | 3080138 | 2155 3343 | 0 | 0 865.11/865.45 c 865s | 23 | 3175123 | 3086938 | 2155 3349 | 0 | 0 867.11/867.45 c 867s | 23 | 3180084 | 3091738 | 2155 3353 | 0 | 0 869.11/869.45 c 869s | 23 | 3186153 | 3097538 | 2155 3358 | 0 | 0 871.12/871.46 c 871s | 23 | 3192221 | 3103538 | 2155 3363 | 0 | 0 873.11/873.48 c 873s | 23 | 3198559 | 3109738 | 2155 3369 | 0 | 0 875.11/875.49 c 875s | 23 | 3204822 | 3115938 | 2155 3374 | 0 | 0 877.21/877.52 c 877s | 23 | 3211433 | 3122438 | 2155 3380 | 0 | 0 879.21/879.54 c 879s | 23 | 3217299 | 3128138 | 2155 3385 | 0 | 0 881.21/881.55 c 881s | 23 | 3223531 | 3134238 | 2155 3390 | 0 | 0 883.21/883.55 c 883s | 23 | 3230099 | 3140638 | 2155 3396 | 0 | 0 885.20/885.57 c 885s | 23 | 3236482 | 3146838 | 2155 3401 | 0 | 0 887.20/887.59 c 887s | 23 | 3242561 | 3152838 | 2155 3406 | 0 | 0 889.30/889.60 c 889s | 23 | 3248890 | 3159038 | 2155 3412 | 0 | 0 891.30/891.60 c 891s | 23 | 3255221 | 3165338 | 2155 3417 | 0 | 0 893.30/893.62 c 893s | 23 | 3261897 | 3171938 | 2155 3423 | 0 | 0 895.30/895.62 c 895s | 23 | 3269070 | 3178938 | 2155 3429 | 0 | 0 897.29/897.65 c 897s | 23 | 3276073 | 3185838 | 2155 3435 | 0 | 0 899.29/899.66 c 899s | 23 | 3283142 | 3192738 | 2155 3441 | 0 | 0 901.40/901.70 c 901s | 23 | 3289915 | 3199438 | 2155 3447 | 0 | 0 903.40/903.72 c 903s | 23 | 3294725 | 3204138 | 2155 3451 | 0 | 0 905.40/905.74 c 905s | 23 | 3299902 | 3209138 | 2155 3455 | 0 | 0 907.40/907.77 c 907s | 23 | 3305881 | 3214738 | 2155 3460 | 0 | 0 909.40/909.77 c 909s | 23 | 3311915 | 3220638 | 2155 3465 | 0 | 0 911.40/911.79 c 911s | 23 | 3318135 | 3226638 | 2155 3470 | 0 | 0 913.50/913.82 c 913s | 23 | 3324882 | 3233338 | 2155 3476 | 0 | 0 915.49/915.84 c 915s | 23 | 3331359 | 3239738 | 2155 3482 | 0 | 0 917.49/917.84 c 917s | 23 | 3337828 | 3246138 | 2155 3487 | 0 | 0 919.50/919.85 c 919s | 23 | 3344223 | 3252438 | 2155 3493 | 0 | 0 921.49/921.86 c 921s | 23 | 3350637 | 3258738 | 2155 3498 | 0 | 0 923.49/923.87 c 923s | 23 | 3357149 | 3265038 | 2155 3504 | 0 | 0 925.49/925.89 c 925s | 23 | 3363702 | 3271438 | 2155 3509 | 0 | 0 927.59/927.91 c 927s | 23 | 3370420 | 3278038 | 2155 3515 | 0 | 0 929.59/929.95 c 929s | 23 | 3376900 | 3284438 | 2155 3521 | 0 | 0 931.59/931.98 c 931s | 23 | 3383569 | 3291038 | 2155 3526 | 0 | 0 933.59/933.99 c 933s | 23 | 3390467 | 3297738 | 2155 3532 | 0 | 0 935.68/936.01 c 935s | 23 | 3396799 | 3303938 | 2155 3538 | 0 | 0 937.68/938.04 c 937s | 23 | 3403351 | 3310338 | 2155 3543 | 0 | 0 939.68/940.07 c 939s | 23 | 3409960 | 3316838 | 2155 3549 | 0 | 0 941.68/942.08 c 941s | 23 | 3416692 | 3323438 | 2155 3554 | 0 | 0 943.69/944.09 c 943s | 23 | 3422941 | 3329638 | 2155 3560 | 0 | 0 945.68/946.10 c 945s | 23 | 3429103 | 3335538 | 2155 3565 | 0 | 0 947.78/948.11 c 947s | 23 | 3435366 | 3341738 | 2155 3570 | 0 | 0 949.78/950.12 c 949s | 23 | 3441877 | 3348138 | 2155 3576 | 0 | 0 951.78/952.15 c 951s | 23 | 3448658 | 3354838 | 2371 3581 | 0 | 0 953.77/954.16 c 953s | 23 | 3455222 | 3361338 | 2371 3587 | 0 | 0 955.78/956.17 c 955s | 23 | 3462140 | 3368138 | 2371 3592 | 0 | 0 957.77/958.18 c 957s | 23 | 3467889 | 3373838 | 2371 3596 | 0 | 0 958.77/959.15 c 958s | 24 | 3470754 | 3376662 | 2371 3599 | 0 | 0 960.77/961.16 c 960s | 24 | 3477043 | 3382762 | 2371 3604 | 0 | 0 962.77/963.17 c 962s | 24 | 3484084 | 3389662 | 2371 3609 | 0 | 0 964.77/965.17 c 964s | 24 | 3490698 | 3396062 | 2371 3614 | 0 | 0 966.77/967.18 c 966s | 24 | 3498118 | 3403162 | 2371 3620 | 0 | 0 968.76/969.18 c 968s | 24 | 3505251 | 3410062 | 2371 3625 | 0 | 0 970.76/971.19 c 970s | 24 | 3512512 | 3417062 | 2371 3631 | 0 | 0 972.86/973.20 c 972s | 24 | 3519889 | 3424262 | 2371 3637 | 0 | 0 974.86/975.22 c 974s | 24 | 3527161 | 3431362 | 2371 3642 | 0 | 0 976.86/977.23 c 976s | 24 | 3534904 | 3438762 | 2371 3648 | 0 | 0 978.87/979.25 c 978s | 24 | 3542182 | 3445662 | 2371 3654 | 0 | 0 980.86/981.27 c 980s | 24 | 3549570 | 3452762 | 2371 3659 | 0 | 0 982.86/983.28 c 982s | 24 | 3555954 | 3458862 | 2371 3664 | 0 | 0 984.85/985.28 c 984s | 24 | 3563293 | 3466062 | 2371 3670 | 0 | 0 986.85/987.29 c 986s | 24 | 3569968 | 3472562 | 2371 3675 | 0 | 0 988.95/989.30 c 988s | 24 | 3577907 | 3480162 | 2371 3681 | 0 | 0 990.96/991.32 c 990s | 24 | 3585155 | 3487062 | 2371 3687 | 0 | 0 992.95/993.36 c 993s | 24 | 3592288 | 3493962 | 2371 3692 | 0 | 0 994.95/995.36 c 995s | 24 | 3598642 | 3500062 | 2371 3697 | 0 | 0 996.95/997.37 c 997s | 24 | 3605027 | 3506162 | 2371 3702 | 0 | 0 998.95/999.40 c 999s | 24 | 3612284 | 3513062 | 2371 3708 | 0 | 0 1001.04/1001.41 c 1001s | 24 | 3619343 | 3519962 | 2371 3713 | 0 | 0 1003.05/1003.42 c 1003s | 24 | 3625798 | 3526262 | 2371 3718 | 0 | 0 1005.04/1005.42 c 1005s | 24 | 3632565 | 3532662 | 2371 3723 | 0 | 0 1007.04/1007.43 c 1007s | 24 | 3639862 | 3539762 | 2371 3729 | 0 | 0 1009.04/1009.47 c 1009s | 24 | 3646894 | 3546562 | 2371 3734 | 0 | 0 1011.14/1011.50 c 1011s | 24 | 3653569 | 3553062 | 2371 3740 | 0 | 0 1013.14/1013.51 c 1013s | 24 | 3660046 | 3559462 | 2371 3745 | 0 | 0 1015.14/1015.53 c 1015s | 24 | 3667341 | 3566362 | 2371 3750 | 0 | 0 1017.13/1017.55 c 1017s | 24 | 3674577 | 3573262 | 2371 3756 | 0 | 0 1019.13/1019.56 c 1019s | 24 | 3681737 | 3580262 | 2371 3761 | 0 | 0 1021.14/1021.57 c 1021s | 24 | 3688948 | 3587262 | 2371 3767 | 0 | 0 1023.14/1023.58 c 1023s | 24 | 3695982 | 3594062 | 2371 3772 | 0 | 0 1025.14/1025.59 c 1025s | 24 | 3703603 | 3601462 | 2371 3778 | 0 | 0 1027.14/1027.60 c 1027s | 24 | 3710569 | 3608262 | 2371 3784 | 0 | 0 1029.24/1029.63 c 1029s | 24 | 3717449 | 3614962 | 2371 3789 | 0 | 0 1031.24/1031.66 c 1031s | 24 | 3724694 | 3621962 | 2371 3795 | 0 | 0 1033.23/1033.67 c 1033s | 24 | 3731890 | 3628862 | 2371 3800 | 0 | 0 1035.23/1035.69 c 1035s | 24 | 3739119 | 3635862 | 2371 3806 | 0 | 0 1037.33/1037.71 c 1037s | 24 | 3746433 | 3642862 | 2371 3811 | 0 | 0 1039.34/1039.72 c 1039s | 24 | 3754046 | 3650362 | 2371 3817 | 0 | 0 1041.33/1041.74 c 1041s | 24 | 3760965 | 3657062 | 2371 3823 | 0 | 0 1043.33/1043.74 c 1043s | 24 | 3768131 | 3663962 | 2371 3828 | 0 | 0 1045.32/1045.77 c 1045s | 24 | 3775334 | 3670862 | 2371 3834 | 0 | 0 1047.42/1047.80 c 1047s | 24 | 3782693 | 3678062 | 2371 3839 | 0 | 0 1049.42/1049.82 c 1049s | 24 | 3790147 | 3685362 | 2371 3845 | 0 | 0 1051.43/1051.86 c 1051s | 24 | 3797943 | 3692762 | 2371 3851 | 0 | 0 1053.42/1053.88 c 1053s | 24 | 3804742 | 3699162 | 2371 3856 | 0 | 0 1055.42/1055.88 c 1055s | 24 | 3811612 | 3705762 | 2371 3862 | 0 | 0 1057.42/1057.89 c 1057s | 24 | 3818398 | 3712362 | 2371 3867 | 0 | 0 1059.42/1059.89 c 1059s | 24 | 3825524 | 3719162 | 2371 3872 | 0 | 0 1061.52/1061.90 c 1061s | 24 | 3833157 | 3726562 | 2371 3878 | 0 | 0 1063.52/1063.92 c 1063s | 24 | 3840228 | 3733362 | 2371 3884 | 0 | 0 1065.51/1065.93 c 1065s | 24 | 3847227 | 3740062 | 2371 3889 | 0 | 0 1067.51/1067.93 c 1067s | 24 | 3853798 | 3746362 | 2371 3894 | 0 | 0 1069.51/1069.95 c 1069s | 24 | 3859660 | 3752062 | 2371 3899 | 0 | 0 1071.51/1071.96 c 1071s | 24 | 3866293 | 3758562 | 2371 3904 | 0 | 0 1073.51/1073.97 c 1073s | 24 | 3872829 | 3764862 | 2371 3909 | 0 | 0 1075.51/1075.97 c 1075s | 24 | 3878690 | 3770562 | 2371 3913 | 0 | 0 1077.51/1077.98 c 1077s | 24 | 3885414 | 3777162 | 2371 3919 | 0 | 0 1079.61/1080.01 c 1079s | 24 | 3891664 | 3783262 | 2371 3924 | 0 | 0 1081.61/1082.05 c 1081s | 24 | 3898089 | 3789462 | 2371 3929 | 0 | 0 1083.61/1084.07 c 1083s | 24 | 3904824 | 3795862 | 2371 3934 | 0 | 0 1085.60/1086.08 c 1085s | 24 | 3911551 | 3802362 | 2371 3939 | 0 | 0 1087.61/1088.09 c 1087s | 24 | 3918513 | 3808762 | 2371 3944 | 0 | 0 1089.70/1090.11 c 1089s | 24 | 3925259 | 3815162 | 2371 3949 | 0 | 0 1091.70/1092.12 c 1091s | 24 | 3931883 | 3821462 | 2371 3954 | 0 | 0 1093.70/1094.15 c 1093s | 24 | 3939041 | 3828362 | 2371 3960 | 0 | 0 1095.69/1096.17 c 1095s | 24 | 3946343 | 3835462 | 2371 3965 | 0 | 0 1097.69/1098.19 c 1097s | 24 | 3953485 | 3842262 | 2371 3971 | 0 | 0 1099.70/1100.20 c 1099s | 24 | 3959592 | 3848062 | 2371 3976 | 0 | 0 1101.79/1102.21 c 1101s | 24 | 3966443 | 3854662 | 2371 3981 | 0 | 0 1103.79/1104.25 c 1103s | 24 | 3973515 | 3861462 | 2371 3986 | 0 | 0 1105.79/1106.26 c 1105s | 24 | 3980304 | 3868062 | 2371 3992 | 0 | 0 1107.79/1108.28 c 1107s | 24 | 3987379 | 3874862 | 2371 3997 | 0 | 0 1109.79/1110.29 c 1109s | 24 | 3994692 | 3881962 | 2371 4003 | 0 | 0 1111.90/1112.31 c 1111s | 24 | 4001645 | 3888662 | 2371 4008 | 0 | 0 1113.89/1114.31 c 1113s | 24 | 4008609 | 3895362 | 2371 4014 | 0 | 0 1115.89/1116.34 c 1115s | 24 | 4015385 | 3901862 | 2371 4019 | 0 | 0 1117.89/1118.35 c 1118s | 24 | 4022801 | 3908962 | 2371 4024 | 0 | 0 1119.88/1120.36 c 1120s | 24 | 4030150 | 3916062 | 2371 4030 | 0 | 0 1121.88/1122.37 c 1122s | 24 | 4036779 | 3922462 | 2371 4035 | 0 | 0 1123.89/1124.38 c 1124s | 24 | 4044147 | 3929662 | 2371 4041 | 0 | 0 1125.98/1126.41 c 1126s | 24 | 4051426 | 3936762 | 2371 4047 | 0 | 0 1127.98/1128.42 c 1128s | 24 | 4058600 | 3943762 | 2371 4052 | 0 | 0 1129.98/1130.43 c 1130s | 24 | 4064908 | 3949662 | 2371 4057 | 0 | 0 1131.98/1132.45 c 1132s | 24 | 4071791 | 3956362 | 2371 4062 | 0 | 0 1133.98/1134.46 c 1134s | 24 | 4078509 | 3962962 | 2371 4068 | 0 | 0 1135.99/1136.47 c 1136s | 24 | 4085462 | 3969662 | 2371 4073 | 0 | 0 1137.98/1138.49 c 1138s | 24 | 4092519 | 3976462 | 2371 4078 | 0 | 0 1140.08/1140.51 c 1140s | 24 | 4100105 | 3983862 | 2371 4084 | 0 | 0 1142.08/1142.53 c 1142s | 24 | 4106711 | 3990162 | 2371 4089 | 0 | 0 1144.08/1144.54 c 1144s | 24 | 4113253 | 3996362 | 2371 4094 | 0 | 0 1146.08/1146.55 c 1146s | 24 | 4119980 | 4002862 | 2371 4100 | 0 | 0 1148.09/1148.57 c 1148s | 24 | 4126785 | 4009462 | 2371 4105 | 0 | 0 1150.08/1150.58 c 1150s | 24 | 4133003 | 4015462 | 2371 4110 | 0 | 0 1152.08/1152.59 c 1152s | 24 | 4139363 | 4021462 | 2371 4115 | 0 | 0 1154.18/1154.61 c 1154s | 24 | 4145803 | 4027562 | 2371 4119 | 0 | 0 1156.18/1156.61 c 1156s | 24 | 4152420 | 4033862 | 2371 4124 | 0 | 0 1158.18/1158.62 c 1158s | 24 | 4159209 | 4040462 | 2371 4130 | 0 | 0 1160.18/1160.63 c 1160s | 24 | 4166206 | 4047262 | 2371 4135 | 0 | 0 1162.18/1162.64 c 1162s | 24 | 4173068 | 4053862 | 2371 4140 | 0 | 0 1164.18/1164.67 c 1164s | 24 | 4179025 | 4059662 | 2371 4145 | 0 | 0 1166.18/1166.69 c 1166s | 24 | 4184833 | 4065262 | 2371 4150 | 0 | 0 1168.28/1168.70 c 1168s | 24 | 4191237 | 4071462 | 2371 4154 | 0 | 0 1170.28/1170.72 c 1170s | 24 | 4198006 | 4078062 | 2371 4160 | 0 | 0 1172.28/1172.74 c 1172s | 24 | 4204712 | 4084562 | 2371 4165 | 0 | 0 1174.27/1174.75 c 1174s | 24 | 4211091 | 4090662 | 2371 4170 | 0 | 0 1176.27/1176.77 c 1176s | 24 | 4218011 | 4097362 | 2371 4175 | 0 | 0 1178.27/1178.78 c 1178s | 24 | 4224765 | 4103862 | 2371 4180 | 0 | 0 1180.37/1180.81 c 1180s | 24 | 4231226 | 4110162 | 2371 4185 | 0 | 0 1182.37/1182.83 c 1182s | 24 | 4237284 | 4115862 | 2371 4190 | 0 | 0 1184.38/1184.85 c 1184s | 24 | 4244285 | 4122562 | 2371 4195 | 0 | 0 1186.37/1186.89 c 1186s | 24 | 4250700 | 4128762 | 2371 4200 | 0 | 0 1188.37/1188.90 c 1188s | 24 | 4256004 | 4133862 | 2371 4204 | 0 | 0 1190.47/1190.90 c 1190s | 24 | 4262129 | 4139762 | 2371 4209 | 0 | 0 1192.47/1192.90 c 1192s | 24 | 4269050 | 4146362 | 2371 4214 | 0 | 0 1194.47/1194.92 c 1194s | 24 | 4275391 | 4152462 | 2371 4219 | 0 | 0 1196.48/1196.95 c 1196s | 24 | 4281327 | 4158062 | 2371 4224 | 0 | 0 1198.47/1198.98 c 1198s | 24 | 4286081 | 4162662 | 2371 4227 | 0 | 0 1200.57/1201.00 c 1200s | 24 | 4291988 | 4168362 | 2371 4232 | 0 | 0 1202.57/1203.03 c 1202s | 24 | 4297536 | 4173762 | 2371 4236 | 0 | 0 1204.57/1205.03 c 1204s | 24 | 4304343 | 4180262 | 2371 4241 | 0 | 0 1206.57/1207.03 c 1206s | 24 | 4311492 | 4187262 | 2371 4247 | 0 | 0 1208.57/1209.04 c 1208s | 24 | 4318767 | 4194362 | 2371 4253 | 0 | 0 1210.58/1211.07 c 1210s | 24 | 4326145 | 4201462 | 2371 4258 | 0 | 0 1212.57/1213.07 c 1212s | 24 | 4332793 | 4207862 | 2371 4263 | 0 | 0 1214.57/1215.09 c 1214s | 24 | 4339652 | 4214462 | 2371 4269 | 0 | 0 1216.67/1217.11 c 1216s | 24 | 4346727 | 4221262 | 2371 4274 | 0 | 0 1218.67/1219.11 c 1218s | 24 | 4353514 | 4227762 | 2371 4279 | 0 | 0 1220.68/1221.13 c 1220s | 24 | 4360319 | 4234262 | 2371 4284 | 0 | 0 1222.67/1223.13 c 1222s | 24 | 4366968 | 4240362 | 2371 4289 | 0 | 0 1224.67/1225.16 c 1224s | 24 | 4373640 | 4246862 | 2371 4294 | 0 | 0 1226.67/1227.19 c 1226s | 24 | 4380136 | 4253162 | 2371 4299 | 0 | 0 1228.77/1229.21 c 1228s | 24 | 4387021 | 4259862 | 2371 4305 | 0 | 0 1230.77/1231.24 c 1230s | 24 | 4393714 | 4266362 | 2371 4310 | 0 | 0 1232.78/1233.25 c 1232s | 24 | 4400571 | 4273062 | 2371 4315 | 0 | 0 1234.77/1235.26 c 1234s | 24 | 4406957 | 4279262 | 2371 4320 | 0 | 0 1236.77/1237.26 c 1236s | 24 | 4413293 | 4285462 | 2371 4325 | 0 | 0 1238.77/1239.27 c 1238s | 24 | 4420164 | 4292162 | 2371 4331 | 0 | 0 1240.77/1241.28 c 1240s | 24 | 4427030 | 4298862 | 2371 4336 | 0 | 0 1242.87/1243.31 c 1242s | 24 | 4433418 | 4305062 | 2371 4341 | 0 | 0 1244.87/1245.32 c 1244s | 24 | 4440425 | 4311862 | 2371 4346 | 0 | 0 1246.87/1247.35 c 1247s | 24 | 4447318 | 4318562 | 2371 4352 | 0 | 0 1248.87/1249.36 c 1249s | 24 | 4454058 | 4325062 | 2371 4357 | 0 | 0 1250.87/1251.36 c 1251s | 24 | 4461265 | 4332062 | 2371 4362 | 0 | 0 1252.87/1253.38 c 1253s | 24 | 4468265 | 4338862 | 2371 4368 | 0 | 0 1254.97/1255.41 c 1255s | 24 | 4474864 | 4345362 | 2371 4373 | 0 | 0 1256.97/1257.43 c 1257s | 24 | 4481148 | 4351462 | 2371 4378 | 0 | 0 1258.97/1259.45 c 1259s | 24 | 4487268 | 4357362 | 2371 4383 | 0 | 0 1260.97/1261.46 c 1261s | 24 | 4493460 | 4363362 | 2371 4387 | 0 | 0 1262.97/1263.47 c 1263s | 24 | 4499559 | 4369262 | 2371 4392 | 0 | 0 1265.06/1265.50 c 1265s | 24 | 4506575 | 4376062 | 2371 4398 | 0 | 0 1267.06/1267.52 c 1267s | 24 | 4514228 | 4383462 | 2371 4403 | 0 | 0 1269.07/1269.54 c 1269s | 24 | 4521703 | 4390562 | 2371 4409 | 0 | 0 1271.06/1271.55 c 1271s | 24 | 4528795 | 4397462 | 2371 4415 | 0 | 0 1273.06/1273.57 c 1273s | 24 | 4536122 | 4404362 | 2371 4420 | 0 | 0 1275.06/1275.59 c 1275s | 24 | 4543179 | 4411162 | 2371 4426 | 0 | 0 1277.16/1277.61 c 1277s | 24 | 4550924 | 4418562 | 2371 4432 | 0 | 0 1279.16/1279.62 c 1279s | 24 | 4557473 | 4424962 | 2371 4437 | 0 | 0 1281.17/1281.63 c 1281s | 24 | 4564060 | 4431262 | 2371 4442 | 0 | 0 1283.16/1283.67 c 1283s | 24 | 4571078 | 4437962 | 2371 4447 | 0 | 0 1285.16/1285.68 c 1285s | 24 | 4578523 | 4445262 | 2371 4453 | 0 | 0 1287.26/1287.71 c 1287s | 24 | 4585448 | 4452062 | 2371 4458 | 0 | 0 1289.26/1289.73 c 1289s | 24 | 4592199 | 4458662 | 2371 4464 | 0 | 0 1291.26/1291.73 c 1291s | 24 | 4598863 | 4465162 | 2371 4469 | 0 | 0 1293.26/1293.75 c 1293s | 24 | 4605399 | 4471562 | 2371 4474 | 0 | 0 1295.26/1295.77 c 1295s | 24 | 4612268 | 4478162 | 2371 4479 | 0 | 0 1297.26/1297.77 c 1297s | 24 | 4619348 | 4485062 | 2371 4485 | 0 | 0 1299.26/1299.79 c 1299s | 24 | 4626054 | 4491662 | 2371 4490 | 0 | 0 1301.36/1301.80 c 1301s | 24 | 4632201 | 4497662 | 2371 4495 | 0 | 0 1303.36/1303.80 c 1303s | 24 | 4638782 | 4504062 | 2371 4500 | 0 | 0 1305.36/1305.83 c 1305s | 24 | 4645922 | 4511062 | 2371 4506 | 0 | 0 1307.36/1307.85 c 1307s | 24 | 4653177 | 4518062 | 2371 4511 | 0 | 0 1309.36/1309.88 c 1309s | 24 | 4659481 | 4524262 | 2371 4516 | 0 | 0 1311.45/1311.90 c 1311s | 24 | 4665704 | 4530362 | 2371 4521 | 0 | 0 1313.45/1313.90 c 1313s | 24 | 4671887 | 4536462 | 2371 4526 | 0 | 0 1315.45/1315.92 c 1315s | 24 | 4678009 | 4542462 | 2371 4531 | 0 | 0 1317.46/1317.95 c 1317s | 24 | 4684550 | 4548662 | 2371 4536 | 0 | 0 1319.45/1319.96 c 1319s | 24 | 4690925 | 4554862 | 2371 4540 | 0 | 0 1321.45/1321.98 c 1321s | 24 | 4696762 | 4560562 | 2371 4545 | 0 | 0 1323.45/1323.99 c 1323s | 24 | 4703401 | 4566962 | 2371 4550 | 0 | 0 1325.45/1325.99 c 1325s | 24 | 4710137 | 4573362 | 2371 4555 | 0 | 0 1327.46/1327.99 c 1327s | 24 | 4717231 | 4580162 | 2371 4561 | 0 | 0 1329.56/1330.01 c 1329s | 24 | 4723940 | 4586662 | 2371 4566 | 0 | 0 1331.55/1332.03 c 1331s | 24 | 4730908 | 4593362 | 2371 4571 | 0 | 0 1333.55/1334.05 c 1333s | 24 | 4737416 | 4599762 | 2371 4576 | 0 | 0 1335.55/1336.08 c 1335s | 24 | 4744827 | 4606962 | 2371 4582 | 0 | 0 1337.55/1338.08 c 1337s | 24 | 4751456 | 4613362 | 2371 4587 | 0 | 0 1339.65/1340.11 c 1339s | 24 | 4758814 | 4620462 | 2371 4593 | 0 | 0 1341.66/1342.13 c 1341s | 24 | 4765723 | 4627162 | 2371 4598 | 0 | 0 1343.65/1344.16 c 1343s | 24 | 4772553 | 4633862 | 2371 4603 | 0 | 0 1345.65/1346.18 c 1345s | 24 | 4778843 | 4639962 | 2371 4608 | 0 | 0 1347.65/1348.19 c 1347s | 24 | 4785730 | 4646662 | 2371 4614 | 0 | 0 1349.75/1350.22 c 1349s | 24 | 4792895 | 4653662 | 2371 4619 | 0 | 0 1351.75/1352.24 c 1351s | 24 | 4799702 | 4660262 | 2371 4625 | 0 | 0 1353.75/1354.24 c 1353s | 24 | 4806786 | 4666962 | 2371 4630 | 0 | 0 1355.75/1356.26 c 1355s | 24 | 4813164 | 4673162 | 2371 4635 | 0 | 0 1357.75/1358.29 c 1357s | 24 | 4819864 | 4679662 | 2371 4640 | 0 | 0 1359.75/1360.29 c 1359s | 24 | 4826122 | 4685762 | 2371 4645 | 0 | 0 1361.75/1362.29 c 1361s | 24 | 4832325 | 4691762 | 2371 4650 | 0 | 0 1363.84/1364.31 c 1363s | 24 | 4838994 | 4697962 | 2371 4655 | 0 | 0 1365.85/1366.33 c 1365s | 24 | 4844986 | 4703762 | 2371 4660 | 0 | 0 1367.84/1368.35 c 1367s | 24 | 4851769 | 4710362 | 2371 4665 | 0 | 0 1369.84/1370.37 c 1370s | 24 | 4858260 | 4716662 | 2371 4670 | 0 | 0 1371.84/1372.39 c 1372s | 24 | 4865994 | 4724062 | 2371 4676 | 0 | 0 1373.94/1374.40 c 1374s | 24 | 4873308 | 4731062 | 2371 4682 | 0 | 0 1375.94/1376.43 c 1376s | 24 | 4880307 | 4737662 | 2371 4687 | 0 | 0 1377.95/1378.44 c 1378s | 24 | 4887977 | 4745062 | 2371 4693 | 0 | 0 1379.94/1380.45 c 1380s | 24 | 4894886 | 4751662 | 2371 4698 | 0 | 0 1381.94/1382.48 c 1382s | 24 | 4901718 | 4758262 | 2371 4704 | 0 | 0 1383.94/1384.49 c 1384s | 24 | 4909176 | 4765362 | 2371 4709 | 0 | 0 1385.94/1386.49 c 1386s | 24 | 4916445 | 4772362 | 2371 4715 | 0 | 0 1388.04/1388.51 c 1388s | 24 | 4923542 | 4779262 | 2371 4720 | 0 | 0 1390.05/1390.51 c 1390s | 24 | 4930324 | 4785862 | 2371 4726 | 0 | 0 1392.04/1392.54 c 1392s | 24 | 4937403 | 4792662 | 2371 4731 | 0 | 0 1394.04/1394.54 c 1394s | 24 | 4943866 | 4798962 | 2371 4736 | 0 | 0 1396.04/1396.56 c 1396s | 24 | 4949988 | 4804862 | 2371 4741 | 0 | 0 1398.04/1398.57 c 1398s | 24 | 4956848 | 4811562 | 2371 4746 | 0 | 0 1400.05/1400.57 c 1400s | 24 | 4963503 | 4818062 | 2371 4751 | 0 | 0 1402.04/1402.59 c 1402s | 24 | 4970445 | 4824862 | 2371 4757 | 0 | 0 1404.14/1404.62 c 1404s | 24 | 4977276 | 4831562 | 2371 4762 | 0 | 0 1406.14/1406.65 c 1406s | 24 | 4983893 | 4838062 | 2371 4767 | 0 | 0 1408.14/1408.66 c 1408s | 24 | 4990598 | 4844562 | 2371 4773 | 0 | 0 1410.15/1410.67 c 1410s | 24 | 4997280 | 4851062 | 2371 4778 | 0 | 0 1412.15/1412.68 c 1412s | 24 | 5003926 | 4857462 | 2371 4783 | 0 | 0 1414.15/1414.70 c 1414s | 24 | 5010466 | 4863762 | 2371 4788 | 0 | 0 1416.24/1416.73 c 1416s | 24 | 5016892 | 4870062 | 2371 4793 | 0 | 0 1418.24/1418.76 c 1418s | 24 | 5022870 | 4875562 | 2371 4797 | 0 | 0 1420.24/1420.78 c 1420s | 24 | 5029504 | 4882062 | 2371 4803 | 0 | 0 1422.24/1422.78 c 1422s | 24 | 5036090 | 4888562 | 2371 4808 | 0 | 0 1424.34/1424.81 c 1424s | 24 | 5043057 | 4895262 | 2371 4813 | 0 | 0 1426.35/1426.81 c 1426s | 24 | 5050138 | 4901962 | 2371 4819 | 0 | 0 1428.34/1428.83 c 1428s | 24 | 5057068 | 4908362 | 2371 4824 | 0 | 0 1430.34/1430.86 c 1430s | 24 | 5063575 | 4914362 | 2371 4829 | 0 | 0 1432.34/1432.86 c 1432s | 24 | 5070551 | 4920962 | 2371 4834 | 0 | 0 1434.34/1434.87 c 1434s | 24 | 5076898 | 4926962 | 2371 4839 | 0 | 0 1436.35/1436.88 c 1436s | 24 | 5083227 | 4933062 | 2371 4843 | 0 | 0 1438.45/1438.91 c 1438s | 24 | 5089936 | 4939462 | 2371 4849 | 0 | 0 1440.44/1440.93 c 1440s | 24 | 5096302 | 4945562 | 2371 4853 | 0 | 0 1442.44/1442.94 c 1442s | 24 | 5102729 | 4951662 | 2371 4858 | 0 | 0 1444.44/1444.96 c 1444s | 24 | 5109340 | 4958062 | 2371 4863 | 0 | 0 1446.44/1446.97 c 1446s | 24 | 5115200 | 4963762 | 2371 4868 | 0 | 0 1448.44/1448.97 c 1448s | 24 | 5121776 | 4970062 | 2371 4873 | 0 | 0 1450.44/1450.97 c 1450s | 24 | 5127970 | 4976162 | 2371 4878 | 0 | 0 1452.44/1452.99 c 1452s | 24 | 5133969 | 4981862 | 2371 4882 | 0 | 0 1454.54/1455.01 c 1454s | 24 | 5140312 | 4988062 | 2371 4887 | 0 | 0 1456.54/1457.02 c 1456s | 24 | 5146131 | 4993762 | 2371 4892 | 0 | 0 1458.54/1459.05 c 1458s | 24 | 5151887 | 4999262 | 2371 4896 | 0 | 0 1460.54/1461.08 c 1460s | 24 | 5157866 | 5004862 | 2371 4901 | 0 | 0 1462.53/1463.10 c 1462s | 24 | 5163730 | 5010462 | 2371 4905 | 0 | 0 1464.63/1465.14 c 1464s | 24 | 5169339 | 5015762 | 2371 4910 | 0 | 0 1466.63/1467.16 c 1466s | 24 | 5175886 | 5021862 | 2371 4914 | 0 | 0 1468.63/1469.18 c 1468s | 24 | 5182470 | 5027862 | 2609 4919 | 0 | 0 1470.63/1471.20 c 1470s | 24 | 5188531 | 5033662 | 2609 4923 | 0 | 0 1472.73/1473.22 c 1472s | 24 | 5194973 | 5039962 | 2609 4928 | 0 | 0 1474.74/1475.22 c 1474s | 24 | 5201205 | 5045962 | 2609 4932 | 0 | 0 1476.73/1477.24 c 1476s | 24 | 5207802 | 5052262 | 2609 4937 | 0 | 0 1478.73/1479.25 c 1478s | 24 | 5213971 | 5058062 | 2609 4941 | 0 | 0 1480.73/1481.25 c 1480s | 24 | 5219947 | 5063762 | 2609 4945 | 0 | 0 1481.23/1481.74 c 1481s | 25 | 5221337 | 5065098 | 2609 4946 | 0 | 0 1483.23/1483.74 c 1483s | 25 | 5228025 | 5071698 | 2609 4951 | 0 | 0 1485.23/1485.75 c 1485s | 25 | 5234352 | 5077898 | 2609 4956 | 0 | 0 1487.23/1487.76 c 1487s | 25 | 5240510 | 5083998 | 2609 4960 | 0 | 0 1489.23/1489.78 c 1489s | 25 | 5246971 | 5090298 | 2609 4965 | 0 | 0 1491.24/1491.79 c 1491s | 25 | 5253564 | 5096798 | 2609 4969 | 0 | 0 1493.33/1493.82 c 1493s | 25 | 5260354 | 5103498 | 2609 4974 | 0 | 0 1495.33/1495.84 c 1495s | 25 | 5266862 | 5109898 | 2609 4979 | 0 | 0 1497.33/1497.86 c 1497s | 25 | 5273547 | 5116498 | 2609 4984 | 0 | 0 1499.33/1499.89 c 1499s | 25 | 5279705 | 5122598 | 2609 4988 | 0 | 0 1501.43/1501.90 c 1501s | 25 | 5286092 | 5128898 | 2609 4993 | 0 | 0 1503.43/1503.92 c 1503s | 25 | 5292622 | 5135298 | 2609 4997 | 0 | 0 1505.43/1505.93 c 1505s | 25 | 5298672 | 5141298 | 2609 5002 | 0 | 0 1507.42/1507.94 c 1507s | 25 | 5305056 | 5147598 | 2609 5006 | 0 | 0 1509.42/1509.96 c 1509s | 25 | 5311451 | 5153898 | 2609 5011 | 0 | 0 1511.42/1511.96 c 1511s | 25 | 5317997 | 5160298 | 2609 5015 | 0 | 0 1513.42/1513.96 c 1513s | 25 | 5324245 | 5166498 | 2609 5020 | 0 | 0 1515.43/1515.99 c 1515s | 25 | 5330886 | 5172998 | 2609 5025 | 0 | 0 1517.52/1518.01 c 1517s | 25 | 5337109 | 5179198 | 2609 5029 | 0 | 0 1519.52/1520.03 c 1519s | 25 | 5343774 | 5185698 | 2609 5034 | 0 | 0 1521.52/1522.04 c 1521s | 25 | 5350341 | 5192198 | 2609 5039 | 0 | 0 1523.52/1524.04 c 1523s | 25 | 5356927 | 5198698 | 2609 5043 | 0 | 0 1525.52/1526.05 c 1525s | 25 | 5363391 | 5205098 | 2609 5048 | 0 | 0 1527.53/1528.06 c 1527s | 25 | 5369939 | 5211498 | 2609 5053 | 0 | 0 1529.52/1530.09 c 1529s | 25 | 5375809 | 5217198 | 2609 5057 | 0 | 0 1531.62/1532.10 c 1531s | 25 | 5382003 | 5223198 | 2609 5061 | 0 | 0 1533.62/1534.14 c 1533s | 25 | 5388003 | 5228898 | 2609 5066 | 0 | 0 1535.62/1536.17 c 1535s | 25 | 5394563 | 5235198 | 2609 5070 | 0 | 0 1537.72/1538.21 c 1537s | 25 | 5400909 | 5241298 | 2609 5075 | 0 | 0 1539.72/1540.21 c 1539s | 25 | 5406898 | 5246998 | 2609 5079 | 0 | 0 1541.72/1542.24 c 1541s | 25 | 5412505 | 5252498 | 2609 5083 | 0 | 0 1543.72/1544.27 c 1543s | 25 | 5418362 | 5258198 | 2609 5087 | 0 | 0 1545.72/1546.29 c 1545s | 25 | 5424971 | 5264598 | 2609 5092 | 0 | 0 1547.82/1548.30 c 1547s | 25 | 5431678 | 5270998 | 2609 5096 | 0 | 0 1549.82/1550.33 c 1549s | 25 | 5438282 | 5277098 | 2609 5101 | 0 | 0 1551.82/1552.35 c 1552s | 25 | 5444390 | 5282898 | 2609 5105 | 0 | 0 1553.82/1554.37 c 1554s | 25 | 5450558 | 5288698 | 2609 5109 | 0 | 0 1555.82/1556.39 c 1556s | 25 | 5456299 | 5294298 | 2609 5114 | 0 | 0 1557.92/1558.40 c 1558s | 25 | 5461716 | 5299598 | 2609 5118 | 0 | 0 1559.91/1560.41 c 1560s | 25 | 5467454 | 5305098 | 2609 5122 | 0 | 0 1561.91/1562.41 c 1562s | 25 | 5473935 | 5311398 | 2609 5126 | 0 | 0 1563.92/1564.43 c 1564s | 25 | 5480662 | 5317998 | 2609 5131 | 0 | 0 1565.91/1566.44 c 1566s | 25 | 5487434 | 5324598 | 2609 5136 | 0 | 0 1567.91/1568.45 c 1568s | 25 | 5494063 | 5331098 | 2609 5140 | 0 | 0 1569.91/1570.45 c 1570s | 25 | 5500753 | 5337598 | 2609 5145 | 0 | 0 1571.91/1572.48 c 1572s | 25 | 5507414 | 5344098 | 2609 5150 | 0 | 0 1573.91/1574.48 c 1574s | 25 | 5514017 | 5350498 | 2609 5155 | 0 | 0 1576.02/1576.51 c 1576s | 25 | 5520793 | 5356998 | 2609 5159 | 0 | 0 1578.01/1578.52 c 1578s | 25 | 5527565 | 5363598 | 2609 5164 | 0 | 0 1580.01/1580.54 c 1580s | 25 | 5534219 | 5370098 | 2609 5169 | 0 | 0 1582.01/1582.58 c 1582s | 25 | 5540867 | 5376498 | 2609 5174 | 0 | 0 1584.01/1584.59 c 1584s | 25 | 5547337 | 5382798 | 2609 5178 | 0 | 0 1586.11/1586.60 c 1586s | 25 | 5553971 | 5389298 | 2609 5183 | 0 | 0 1588.02/1588.60 c 1588s | 25 | 5560483 | 5395698 | 2609 5188 | 0 | 0 1590.11/1590.61 c 1590s | 25 | 5567262 | 5402298 | 2609 5192 | 0 | 0 1592.11/1592.63 c 1592s | 25 | 5574049 | 5408898 | 2609 5197 | 0 | 0 1594.11/1594.64 c 1594s | 25 | 5581133 | 5415798 | 2609 5202 | 0 | 0 1596.11/1596.67 c 1596s | 25 | 5588184 | 5422698 | 2609 5207 | 0 | 0 1598.21/1598.70 c 1598s | 25 | 5594937 | 5429298 | 2609 5212 | 0 | 0 1600.22/1600.71 c 1600s | 25 | 5601798 | 5435998 | 2609 5217 | 0 | 0 1602.22/1602.72 c 1602s | 25 | 5608426 | 5442398 | 2609 5222 | 0 | 0 1604.22/1604.73 c 1604s | 25 | 5614980 | 5448798 | 2609 5226 | 0 | 0 1606.22/1606.73 c 1606s | 25 | 5621767 | 5455398 | 2609 5231 | 0 | 0 1608.22/1608.74 c 1608s | 25 | 5628370 | 5461798 | 2609 5236 | 0 | 0 1610.22/1610.77 c 1610s | 25 | 5634955 | 5468198 | 2609 5240 | 0 | 0 1612.22/1612.78 c 1612s | 25 | 5641642 | 5474698 | 2609 5245 | 0 | 0 1614.21/1614.79 c 1614s | 25 | 5648433 | 5481298 | 2609 5250 | 0 | 0 1616.31/1616.81 c 1616s | 25 | 5654897 | 5487498 | 2609 5254 | 0 | 0 1618.31/1618.83 c 1618s | 25 | 5661505 | 5493898 | 2609 5259 | 0 | 0 1620.31/1620.85 c 1620s | 25 | 5668461 | 5500698 | 2609 5264 | 0 | 0 1622.31/1622.86 c 1622s | 25 | 5675060 | 5507098 | 2609 5269 | 0 | 0 1624.32/1624.87 c 1624s | 25 | 5681626 | 5513498 | 2609 5273 | 0 | 0 1626.31/1626.88 c 1626s | 25 | 5688438 | 5520098 | 2609 5278 | 0 | 0 1628.41/1628.91 c 1628s | 25 | 5694808 | 5526198 | 2609 5283 | 0 | 0 1630.41/1630.95 c 1630s | 25 | 5701728 | 5532998 | 2609 5288 | 0 | 0 1632.41/1632.95 c 1632s | 25 | 5708337 | 5539398 | 2609 5292 | 0 | 0 1634.41/1634.96 c 1634s | 25 | 5715190 | 5545998 | 2609 5297 | 0 | 0 1636.41/1636.96 c 1636s | 25 | 5721734 | 5552198 | 2609 5302 | 0 | 0 1638.41/1638.98 c 1638s | 25 | 5728634 | 5558898 | 2609 5306 | 0 | 0 1640.41/1640.98 c 1640s | 25 | 5735080 | 5565198 | 2609 5311 | 0 | 0 1642.41/1642.99 c 1642s | 25 | 5741367 | 5571298 | 2609 5315 | 0 | 0 1644.51/1645.00 c 1644s | 25 | 5747978 | 5577798 | 2609 5320 | 0 | 0 1646.51/1647.02 c 1646s | 25 | 5754533 | 5584098 | 2609 5325 | 0 | 0 1648.51/1649.02 c 1648s | 25 | 5761126 | 5590498 | 2609 5329 | 0 | 0 1650.50/1651.04 c 1650s | 25 | 5767857 | 5596998 | 2609 5334 | 0 | 0 1652.50/1653.05 c 1652s | 25 | 5774640 | 5603598 | 2609 5339 | 0 | 0 1654.50/1655.07 c 1654s | 25 | 5781039 | 5609798 | 2609 5343 | 0 | 0 1656.50/1657.09 c 1656s | 25 | 5787371 | 5615898 | 2609 5348 | 0 | 0 1658.60/1659.11 c 1658s | 25 | 5793676 | 5621998 | 2609 5352 | 0 | 0 1660.61/1661.14 c 1660s | 25 | 5800263 | 5628298 | 2609 5357 | 0 | 0 1662.60/1663.17 c 1662s | 25 | 5806590 | 5634498 | 2609 5362 | 0 | 0 1664.70/1665.20 c 1664s | 25 | 5813080 | 5640798 | 2609 5366 | 0 | 0 1666.70/1667.20 c 1666s | 25 | 5819643 | 5647198 | 2609 5371 | 0 | 0 1668.70/1669.22 c 1668s | 25 | 5826401 | 5653798 | 2609 5376 | 0 | 0 1670.70/1671.24 c 1670s | 25 | 5832942 | 5660098 | 2609 5380 | 0 | 0 1672.71/1673.25 c 1672s | 25 | 5839468 | 5666398 | 2609 5385 | 0 | 0 1674.70/1675.28 c 1674s | 25 | 5845834 | 5672598 | 2609 5389 | 0 | 0 1676.80/1677.30 c 1676s | 25 | 5852464 | 5678998 | 2609 5394 | 0 | 0 1678.80/1679.31 c 1678s | 25 | 5859118 | 5685498 | 2609 5399 | 0 | 0 1680.80/1681.31 c 1680s | 25 | 5865733 | 5691998 | 2609 5404 | 0 | 0 1682.80/1683.33 c 1682s | 25 | 5872328 | 5698398 | 2609 5408 | 0 | 0 1684.80/1685.36 c 1685s | 25 | 5879209 | 5705098 | 2609 5413 | 0 | 0 1686.80/1687.37 c 1687s | 25 | 5886068 | 5711798 | 2609 5418 | 0 | 0 1688.80/1689.37 c 1689s | 25 | 5892550 | 5718098 | 2609 5423 | 0 | 0 1690.80/1691.38 c 1691s | 25 | 5899154 | 5724498 | 2609 5427 | 0 | 0 1692.89/1693.40 c 1693s | 25 | 5906097 | 5731298 | 2609 5432 | 0 | 0 1694.89/1695.42 c 1695s | 25 | 5912836 | 5737698 | 2609 5437 | 0 | 0 1696.90/1697.42 c 1697s | 25 | 5919322 | 5743998 | 2609 5442 | 0 | 0 1698.89/1699.43 c 1699s | 25 | 5926144 | 5750698 | 2609 5447 | 0 | 0 1700.90/1701.45 c 1701s | 25 | 5933017 | 5757398 | 2609 5451 | 0 | 0 1702.90/1703.48 c 1703s | 25 | 5939825 | 5763998 | 2609 5456 | 0 | 0 1705.00/1705.50 c 1705s | 25 | 5946425 | 5770398 | 2609 5461 | 0 | 0 1707.00/1707.54 c 1707s | 25 | 5952872 | 5776598 | 2609 5466 | 0 | 0 1709.00/1709.56 c 1709s | 25 | 5959331 | 5782698 | 2609 5470 | 0 | 0 1711.00/1711.57 c 1711s | 25 | 5966160 | 5789298 | 2609 5475 | 0 | 0 1713.00/1713.59 c 1713s | 25 | 5972830 | 5795798 | 2609 5480 | 0 | 0 1715.10/1715.61 c 1715s | 25 | 5979565 | 5802398 | 2609 5484 | 0 | 0 1717.10/1717.63 c 1717s | 25 | 5986333 | 5808998 | 2609 5489 | 0 | 0 1719.10/1719.65 c 1719s | 25 | 5992961 | 5815398 | 2609 5494 | 0 | 0 1721.10/1721.66 c 1721s | 25 | 5999535 | 5821798 | 2609 5499 | 0 | 0 1723.10/1723.67 c 1723s | 25 | 6006173 | 5828198 | 2609 5503 | 0 | 0 1725.10/1725.68 c 1725s | 25 | 6012941 | 5834798 | 2609 5508 | 0 | 0 1727.10/1727.68 c 1727s | 25 | 6019663 | 5841398 | 2609 5513 | 0 | 0 1729.10/1729.69 c 1729s | 25 | 6026592 | 5848198 | 2609 5518 | 0 | 0 1731.10/1731.70 c 1731s | 25 | 6032800 | 5854298 | 2609 5522 | 0 | 0 1733.09/1733.70 c 1733s | 25 | 6039445 | 5860798 | 2609 5527 | 0 | 0 1735.19/1735.70 c 1735s | 25 | 6046108 | 5867298 | 2609 5532 | 0 | 0 1737.19/1737.71 c 1737s | 25 | 6052434 | 5873498 | 2609 5536 | 0 | 0 1739.19/1739.71 c 1739s | 25 | 6058817 | 5879698 | 2609 5541 | 0 | 0 1741.19/1741.72 c 1741s | 25 | 6065534 | 5886298 | 2609 5546 | 0 | 0 1743.20/1743.73 c 1743s | 25 | 6071871 | 5892498 | 2609 5550 | 0 | 0 1745.19/1745.74 c 1745s | 25 | 6078527 | 5898998 | 2609 5555 | 0 | 0 1747.19/1747.75 c 1747s | 25 | 6084891 | 5905198 | 2609 5559 | 0 | 0 1749.19/1749.76 c 1749s | 25 | 6091299 | 5911398 | 2609 5564 | 0 | 0 1751.29/1751.80 c 1751s | 25 | 6097796 | 5917698 | 2609 5569 | 0 | 0 1753.29/1753.82 c 1753s | 25 | 6104036 | 5923798 | 2609 5573 | 0 | 0 1755.29/1755.83 c 1755s | 25 | 6110178 | 5929798 | 2609 5577 | 0 | 0 1757.29/1757.85 c 1757s | 25 | 6116839 | 5936298 | 2609 5582 | 0 | 0 1759.29/1759.89 c 1759s | 25 | 6123088 | 5942398 | 2609 5587 | 0 | 0 1761.39/1761.90 c 1761s | 25 | 6129454 | 5948598 | 2609 5591 | 0 | 0 1763.39/1763.91 c 1763s | 25 | 6136344 | 5955298 | 2609 5596 | 0 | 0 1765.39/1765.92 c 1765s | 25 | 6143086 | 5961898 | 2609 5601 | 0 | 0 1767.39/1767.94 c 1767s | 25 | 6149689 | 5968298 | 2609 5605 | 0 | 0 1769.39/1769.97 c 1769s | 25 | 6156336 | 5974798 | 2609 5610 | 0 | 0 1771.38/1771.97 c 1771s | 25 | 6162736 | 5981098 | 2609 5615 | 0 | 0 1773.38/1773.97 c 1773s | 25 | 6169450 | 5987598 | 2609 5619 | 0 | 0 1775.38/1775.98 c 1775s | 25 | 6175706 | 5993698 | 2609 5624 | 0 | 0 1777.38/1777.98 c 1777s | 25 | 6182267 | 6000098 | 2609 5629 | 0 | 0 1779.39/1779.99 c 1779s | 25 | 6189160 | 6006898 | 2609 5634 | 0 | 0 1781.48/1782.00 c 1781s | 25 | 6196045 | 6013598 | 2609 5638 | 0 | 0 1783.48/1784.03 c 1783s | 25 | 6202899 | 6020298 | 2609 5643 | 0 | 0 1785.48/1786.06 c 1785s | 25 | 6209566 | 6026798 | 2609 5648 | 0 | 0 1787.48/1788.08 c 1787s | 25 | 6216018 | 6033098 | 2609 5653 | 0 | 0 1789.48/1790.09 c 1789s | 25 | 6222613 | 6039498 | 2609 5657 | 0 | 0 1791.59/1792.10 c 1791s | 25 | 6229339 | 6046098 | 2609 5662 | 0 | 0 1793.58/1794.12 c 1793s | 25 | 6236060 | 6052698 | 2609 5667 | 0 | 0 1795.58/1796.13 c 1795s | 25 | 6241814 | 6058298 | 2609 5671 | 0 | 0 1797.58/1798.13 c 1797s | 25 | 6247018 | 6063398 | 2609 5675 | 0 | 0 1799.58/1800.14 c 1799s | 25 | 6252340 | 6068498 | 2609 5679 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4080201-1465254513/watcher-4080201-1465254513 -o /tmp/evaluation-result-4080201-1465254513/solver-4080201-1465254513 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080201-1465254513.opb pid=11437 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.38 2.27 2.20 4/179 11440 /proc/meminfo: memFree=29666424/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=673212 CPUtime=0 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 2501 0 0 0 0 0 0 0 20 0 4 0 107385902 689369088 3373 33554432000 4194304 16246674 140735528620672 140735528620096 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 169071 3382 441 2943 0 165965 0 [pid=11440/tid=11441] ppid=11437 vsize=691644 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 708243456 3441 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=695740 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 712437760 3461 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=699836 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107385902 716632064 3477 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100138 s] /proc/loadavg: 2.38 2.27 2.20 4/179 11440 /proc/meminfo: memFree=29666424/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 21111 0 0 0 7 2 0 0 20 0 4 0 107385902 1247350784 21971 33554432000 4194304 16246674 140735528620672 140735528620096 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 304529 21975 758 2943 0 301423 0 [pid=11440/tid=11441] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 21979 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 21987 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 21991 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200496 s] /proc/loadavg: 2.38 2.27 2.20 4/179 11440 /proc/meminfo: memFree=29666424/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 38795 0 0 0 14 5 0 0 20 0 4 0 107385902 1247350784 39655 33554432000 4194304 16246674 140735528620672 140735528620096 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 304529 39663 765 2943 0 301423 0 [pid=11440/tid=11441] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 39667 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 39676 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 39685 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300465 s] /proc/loadavg: 2.38 2.27 2.20 4/179 11440 /proc/meminfo: memFree=29666424/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 56145 0 0 0 22 7 0 0 20 0 4 0 107385902 1247350784 57005 33554432000 4194304 16246674 140735528620672 140735528620096 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 304529 57016 765 2943 0 301423 0 [pid=11440/tid=11441] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 57024 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 57031 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 57035 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700332 s] /proc/loadavg: 2.38 2.27 2.20 4/179 11440 /proc/meminfo: memFree=29666424/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 125145 0 0 0 53 16 0 0 20 0 4 0 107385902 1247350784 126004 33554432000 4194304 16246674 140735528620672 140735528602560 5723965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 304529 126009 795 2943 0 301423 0 [pid=11440/tid=11441] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 126012 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 126015 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107385902 1247350784 126016 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.43 2.29 2.20 3/183 11444 /proc/meminfo: memFree=28798496/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 245772 0 0 0 119 30 0 0 20 0 4 0 107385902 1248399360 246609 33554432000 4194304 16246674 140735528620672 140735528619984 5661912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 304785 246609 852 2943 0 301679 0 [pid=11440/tid=11441] ppid=11437 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1248399360 246609 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1248399360 246609 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1248399360 246609 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10034 s] /proc/loadavg: 2.43 2.29 2.20 3/183 11444 /proc/meminfo: memFree=28632576/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1305156 CPUtime=3.09 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 267139 0 0 0 276 33 0 0 20 0 4 0 107385902 1336479744 267976 33554432000 4194304 16246674 140735528620672 140735528602560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 326289 267976 852 2943 0 323183 0 [pid=11440/tid=11441] ppid=11437 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1336479744 267976 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1336479744 267976 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1336479744 267976 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30039 s] /proc/loadavg: 2.43 2.29 2.20 3/183 11444 /proc/meminfo: memFree=28593180/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 267763 0 0 0 596 33 0 0 20 0 4 0 107385902 1338576896 268600 33554432000 4194304 16246674 140735528620672 140735528602560 13954525 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 326801 268600 852 2943 0 323695 0 [pid=11440/tid=11441] ppid=11437 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1338576896 268600 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1338576896 268600 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1338576896 268600 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.59 2.33 2.22 3/183 11444 /proc/meminfo: memFree=28591456/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 268019 0 0 0 1236 33 0 0 20 0 4 0 107385902 1339625472 268856 33554432000 4194304 16246674 140735528620672 140735528602560 5711092 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 327057 268856 854 2943 0 323951 0 [pid=11440/tid=11441] ppid=11437 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1339625472 268856 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1339625472 268856 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1339625472 268856 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5074 s] /proc/loadavg: 2.49 2.31 2.21 4/183 11444 /proc/meminfo: memFree=28590368/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 268154 0 0 0 2516 33 0 0 20 0 4 0 107385902 1339625472 268991 33554432000 4194304 16246674 140735528620672 140735528602560 6011082 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 327057 268991 855 2943 0 323951 0 [pid=11440/tid=11441] ppid=11437 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1339625472 268991 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1339625472 268991 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1339625472 268991 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1004 s] /proc/loadavg: 2.62 2.35 2.23 3/183 11444 /proc/meminfo: memFree=28587028/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1310276 CPUtime=51.08 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 268666 0 0 0 5075 33 0 0 20 0 4 0 107385902 1341722624 269503 33554432000 4194304 16246674 140735528620672 140735528602560 5721559 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 327569 269503 855 2943 0 324463 0 [pid=11440/tid=11441] ppid=11437 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1341722624 269503 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1341722624 269503 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1341722624 269503 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.3 s] /proc/loadavg: 2.41 2.34 2.23 3/184 11448 /proc/meminfo: memFree=28586572/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1310276 CPUtime=102.27 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 268667 0 0 0 10194 33 0 0 20 0 4 0 107385902 1341722624 269504 33554432000 4194304 16246674 140735528620672 140735528602560 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 327569 269504 856 2943 0 324463 0 [pid=11440/tid=11441] ppid=11437 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1341722624 269504 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1341722624 269504 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1341722624 269504 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1310276 ################ # More data... # ################ /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1313348 [startup+1362.3 s] /proc/loadavg: 2.22 2.19 2.16 3/183 11577 /proc/meminfo: memFree=28569424/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1361.85 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 136142 43 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 5522913 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1313348 [startup+1422.3 s] /proc/loadavg: 2.24 2.19 2.17 3/183 11578 /proc/meminfo: memFree=28569176/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1421.84 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 142140 44 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 6836125 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1313348 [startup+1482.3 s] /proc/loadavg: 2.28 2.22 2.18 3/183 11579 /proc/meminfo: memFree=28569100/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1481.83 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 148139 44 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 5677810 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1313348 [startup+1542.3 s] /proc/loadavg: 2.35 2.25 2.19 4/183 11581 /proc/meminfo: memFree=28568796/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1541.82 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 154138 44 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1313348 [startup+1602.3 s] /proc/loadavg: 2.29 2.25 2.19 4/183 11582 /proc/meminfo: memFree=28569040/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1601.82 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 160137 45 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 5677589 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1313348 [startup+1662.31 s] /proc/loadavg: 2.18 2.23 2.18 3/183 11583 /proc/meminfo: memFree=28569328/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1661.81 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 166136 45 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1313348 [startup+1722.3 s] /proc/loadavg: 2.17 2.21 2.18 3/183 11584 /proc/meminfo: memFree=28568784/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1721.8 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 172134 46 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1313348 [startup+1782.3 s] /proc/loadavg: 2.22 2.22 2.18 3/183 11585 /proc/meminfo: memFree=28568564/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1781.78 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 178132 46 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 6045664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1313348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.17 2.21 2.18 4/183 11585 /proc/meminfo: memFree=28568532/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1800.08 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 179962 46 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 5712465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1313348 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 11440 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.17 2.21 2.18 4/183 11585 /proc/meminfo: memFree=28568532/32872528 swapFree=12208/1156848 [pid=11440] ppid=11437 vsize=1313348 CPUtime=1800.08 cores=0,2,4,6 /proc/11440/stat : 11440 (toysat) R 11437 11440 9895 0 -1 4202496 269849 0 0 0 179962 46 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140735528602560 5712465 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/11440/statm: 328337 270276 857 2943 0 325231 0 [pid=11440/tid=11441] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11441/stat : 11441 (toysat) S 11437 11440 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068698172656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=11440/tid=11442] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11442/stat : 11442 (toysat) S 11437 11440 9895 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068614286576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=11440/tid=11443] ppid=11437 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/11440/task/11443/stat : 11443 (toysat) S 11437 11440 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107385902 1344868352 270276 33554432000 4194304 16246674 140735528620672 140068603813040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1313348 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.63 CPU system time (s): 0.468928 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 1313348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.468928 maximum resident set size= 1081104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269849 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= 426 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.71028 second user time and 6.79197 second system time The end
Begin job on node114 at 2016-06-07 01:08:33 IDJOB=4080201 IDBENCH=47928 IDSOLVER=2542 FILE ID=node114/4080201-1465254513 RUNJOBID= node114-1465241547-9911 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080201-1465254513/watcher-4080201-1465254513 -o /tmp/evaluation-result-4080201-1465254513/solver-4080201-1465254513 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080201-1465254513.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2a7888c7c4f71cd1bd795e0b54484781 RANDOM SEED=571433500 node114.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.852 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.70 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.852 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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.852 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.54 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.852 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: 29667068 kB Buffers: 57984 kB Cached: 213744 kB SwapCached: 1724 kB Active: 1192068 kB Inactive: 153268 kB Active(anon): 1074536 kB Inactive(anon): 1200 kB Active(file): 117532 kB Inactive(file): 152068 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096600 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 2229540 kB Mapped: 10508 kB Shmem: 0 kB Slab: 570000 kB SReclaimable: 14060 kB SUnreclaim: 555940 kB KernelStack: 1512 kB PageTables: 8360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2376136 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1146880 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= 71704 MiB End job on node114 at 2016-06-07 01:38:34