| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_3.opb |
| MD5SUM | 138d1c5c8dee06528dd1cfb072975c49 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -13 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -14 |
| Optimality of the best value was proved | NO |
| Number of variables | 100 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 50 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 101 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 50 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 50 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1236 |
| Sum of products size (including duplicates) | 2472 |
| Number of different products | 618 |
| Sum of products size | 1236 |
0.00/0.00 c 2016-06-18T21:19:58+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-4106772-1466277598.opb"] 0.00/0.01 c use --random-gen="3586686413 4016390043 1463691595 1845508592 2144570525 202120813 4243152563 4227915118 3567764354 2128127336 2670176612 3772897012 1400448265 1518778102 3837114390 2163842911 1223456903 2816532200 2547499200 2240115304 1427441320 2496999834 776679355 2075263579 1503433670 4219313317 1340346936 838654652 3107847078 655932154 1172926891 4156889697 1238149111 748575933 2721057289 529164944 4270852583 2484293908 1683540905 1860621812 1869893750 1099968618 1966664530 3218740987 1664012295 4089921060 390063219 1812686576 3654523803 1069808638 1389015668 3826931536 87423851 2211626631 3289408669 1619335631 669046189 633858498 2194297008 1160402298 3099421145 2086768735 409487535 4227762291 725966145 4011151575 298275096 1001322232 2014431117 168806549 1934581534 1542330513 3612862124 80409732 80953323 1265979641 3619752644 879366309 2475394466 408221143 1461485837 2717034930 4093905347 2981150759 3794609583 526371432 3437871167 2945078802 219853046 4172480142 3701301515 2411145414 350973587 297297210 3324696744 3979013988 3050137494 346249577 3972562241 1167656500 473617272 1330563814 2604683285 1879649281 1609285316 2849897321 3258083899 756881496 2964463702 4008809378 192501502 2825149923 2263471431 3641173283 3412011306 2042507757 2472850565 3032137249 2832847785 941145947 953093114 2920451582 871073935 3076094051 2082959797 3145459500 2531830183 4011799829 2022645018 3452812949 2284096071 2249642993 3229357792 3012644154 829797870 3978676859 2157662445 684867009 2043372046 3559468829 376581696 277216903 3606161610 162372665 1560402228 978471638 1991060753 1229060501 3857616166 3699485905 3285456081 2757367950 1426748564 2121415661 1980173130 4042918352 2079938330 1474620990 4016647974 1750700691 3566724498 2955544876 3169447679 4149440856 2446241940 2517194037 944354278 4181235455 2741062017 4002206985 1673230155 3998589449 2396206195 3706619799 3434517964 865639149 1738651092 383333330 1229840191 3631895828 3736187880 3156463501 3396917525 274811271 1194288474 3894552710 1246759515 2941632132 1587159259 3395524297 3018019231 1267497450 971713842 1675590023 2924122186 4158453898 758918963 2006963995 1716774766 1000426815 72117438 106177955 1893878971 159651052 583707034 1523641922 733309116 1115209736 1487610251 1720579804 1016945327 1335762362 442145080 1812071902 2754693524 3512720735 1810270926 672909237 2884094092 2100032820 3377044285 1033691722 3464329379 3331728233 2148635189 1104018401 4144975380 327698028 4074335915 2830734958 2863809949 2763252754 1930310486 864232706 1019610638 592961238 424058201 3258351711 730454439 899560198 302073754 2541493102 2149454683 2810084878 150191218 4218643865 233348869 1196121594 2927700042 824618592 4242512207 2181467702 2644672072 4211240461 1941406152 3563027952 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 151 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 496 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 70 | 1 | 496 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 70 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 o -9 0.00/0.03 c BCD2: updating upper bound: 50 -> 40 0.00/0.03 c BCD2: 0 <= obj <= 40 0.00/0.03 c BCD2: #cores=0, #unrelaxed=50, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 496 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 25 | 1 | 496 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 25 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 25: cost of the new core is >=1 0.00/0.03 c lower bound updated to -49 0.00/0.03 c BCD2: 1 <= obj <= 40 0.00/0.03 c BCD2: #cores=1, #unrelaxed=25, #relaxed=25, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 496 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 26 | 1 | 496 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.002s 0.00/0.03 c #wall_clock_time = 0.002s 0.00/0.03 c #decision = 26 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 50: cost of the new core is >=2 0.00/0.03 c lower bound updated to -48 0.00/0.03 c BCD2: 2 <= obj <= 40 0.00/0.03 c BCD2: #cores=1, #unrelaxed=0, #relaxed=50, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 496 0 | 1 | 0 0.00/0.05 c 0.0s | 1 | 936 | 100 | 546 0 | 1 | 1 0.00/0.08 c 0.0s | 2 | 2284 | 250 | 601 0 | 1 | 1 0.09/0.13 c 0.1s | 3 | 3987 | 475 | 662 0 | 1 | 1 0.19/0.21 c 0.2s | 4 | 5424 | 813 | 729 1 | 1 | 1 0.29/0.35 c 0.3s | 5 | 5999 | 1320 | 802 2 | 1 | 1 0.49/0.56 c 0.5s | 6 | 7005 | 2081 | 883 3 | 1 | 1 0.79/0.88 c 0.8s | 7 | 8362 | 3223 | 972 6 | 1 | 1 1.10/1.20 c 1.2s | 8 | 10973 | 4936 | 1070 9 | 1 | 1 1.59/1.65 c 1.6s | 9 | 16163 | 7506 | 1177 13 | 1 | 1 2.29/2.36 c 2.3s | 10 | 21787 | 11361 | 1295 19 | 1 | 1 3.29/3.33 c 3.3s | 11 | 32651 | 17144 | 1425 27 | 1 | 1 4.89/4.92 c 4.9s | 12 | 48224 | 25819 | 1568 39 | 1 | 1 6.89/6.93 c 6.9s | 12 | 67359 | 36519 | 1568 52 | 1 | 1 7.28/7.33 c 7.3s | 13 | 73232 | 38832 | 1725 54 | 1 | 1 9.28/9.35 c 9.3s | 13 | 94915 | 49432 | 1725 66 | 1 | 1 11.09/11.17 c 11.1s | 14 | 108634 | 58352 | 1898 76 | 1 | 1 13.08/13.18 c 13.1s | 14 | 134007 | 68452 | 1898 86 | 1 | 1 15.09/15.18 c 15.1s | 14 | 150261 | 77352 | 1898 95 | 1 | 1 17.19/17.20 c 17.2s | 14 | 165216 | 86352 | 1898 104 | 1 | 1 17.39/17.49 c 17.5s | 15 | 167480 | 87632 | 2088 105 | 1 | 1 19.49/19.51 c 19.5s | 15 | 194465 | 98032 | 2088 115 | 1 | 1 21.49/21.52 c 21.5s | 15 | 211192 | 107832 | 2088 124 | 1 | 1 23.49/23.53 c 23.5s | 15 | 226544 | 117332 | 2088 132 | 1 | 1 25.49/25.54 c 25.5s | 15 | 240485 | 126832 | 2088 141 | 1 | 1 26.50/26.54 c 26.5s | 16 | 246785 | 131552 | 2297 145 | 1 | 1 28.49/28.56 c 28.5s | 16 | 268129 | 141352 | 2297 153 | 1 | 1 30.49/30.56 c 30.5s | 16 | 280564 | 150552 | 2297 161 | 1 | 1 32.49/32.57 c 32.5s | 16 | 292594 | 159752 | 2297 169 | 1 | 1 34.49/34.57 c 34.5s | 16 | 304885 | 168752 | 2297 176 | 1 | 1 36.49/36.59 c 36.6s | 16 | 318980 | 178552 | 2297 185 | 1 | 1 38.59/38.61 c 38.6s | 16 | 333055 | 188152 | 2297 193 | 1 | 1 40.59/40.61 c 40.6s | 17 | 344913 | 197432 | 2527 200 | 1 | 1 42.59/42.63 c 42.6s | 17 | 358904 | 206732 | 2527 207 | 1 | 1 44.59/44.63 c 44.6s | 17 | 372399 | 215932 | 2527 214 | 1 | 1 46.58/46.63 c 46.6s | 17 | 391690 | 225532 | 2527 221 | 1 | 1 48.58/48.65 c 48.6s | 17 | 403484 | 234332 | 2527 228 | 1 | 1 50.59/50.65 c 50.6s | 17 | 416389 | 243732 | 2527 235 | 1 | 1 52.58/52.67 c 52.6s | 17 | 428843 | 253232 | 2527 243 | 1 | 1 54.58/54.67 c 54.6s | 17 | 440710 | 262732 | 2527 250 | 1 | 1 56.58/56.67 c 56.6s | 17 | 452844 | 272032 | 2527 257 | 1 | 1 58.58/58.69 c 58.7s | 17 | 465410 | 281532 | 2527 265 | 1 | 1 60.59/60.69 c 60.7s | 17 | 477740 | 291532 | 2527 272 | 1 | 1 61.59/61.70 c 61.7s | 18 | 483573 | 296252 | 2780 276 | 1 | 1 63.68/63.71 c 63.7s | 18 | 504060 | 306852 | 2780 283 | 1 | 1 65.68/65.71 c 65.7s | 18 | 519004 | 317152 | 2780 290 | 1 | 1 67.68/67.72 c 67.7s | 18 | 534699 | 327552 | 2780 297 | 1 | 1 69.68/69.72 c 69.7s | 18 | 551095 | 337952 | 2780 305 | 1 | 1 71.68/71.73 c 71.7s | 18 | 565203 | 347852 | 2780 312 | 1 | 1 73.68/73.74 c 73.7s | 18 | 578958 | 358052 | 2780 319 | 1 | 1 75.67/75.75 c 75.7s | 18 | 594593 | 368752 | 2780 326 | 1 | 1 77.67/77.76 c 77.7s | 18 | 618138 | 379652 | 2780 334 | 1 | 1 79.67/79.77 c 79.7s | 18 | 634731 | 390252 | 2780 341 | 1 | 1 81.67/81.79 c 81.8s | 18 | 648140 | 400352 | 2780 349 | 1 | 1 83.77/83.81 c 83.8s | 18 | 660664 | 410652 | 2780 356 | 1 | 1 85.78/85.81 c 85.8s | 18 | 673772 | 420652 | 2780 363 | 1 | 1 87.77/87.82 c 87.8s | 18 | 689311 | 431352 | 2780 370 | 1 | 1 89.77/89.82 c 89.8s | 18 | 706282 | 441952 | 3059 377 | 1 | 1 90.28/90.36 c 90.3s | 19 | 709153 | 444482 | 3059 379 | 1 | 1 92.27/92.37 c 92.3s | 19 | 726252 | 454082 | 3059 385 | 1 | 1 94.27/94.39 c 94.3s | 19 | 740580 | 463482 | 3059 391 | 1 | 1 96.37/96.40 c 96.4s | 19 | 755917 | 473482 | 3059 397 | 1 | 1 98.37/98.41 c 98.4s | 19 | 777570 | 483982 | 3059 404 | 1 | 1 100.37/100.43 c 100s | 19 | 796787 | 494282 | 3059 411 | 1 | 1 102.38/102.43 c 102s | 19 | 811735 | 504982 | 3059 418 | 1 | 1 104.37/104.44 c 104s | 19 | 824858 | 514882 | 3059 424 | 1 | 1 106.37/106.45 c 106s | 19 | 839016 | 524882 | 3059 430 | 1 | 1 108.37/108.47 c 108s | 19 | 854780 | 534982 | 3059 437 | 1 | 1 110.36/110.47 c 110s | 19 | 865454 | 544382 | 3059 443 | 1 | 1 112.36/112.48 c 112s | 19 | 878742 | 554982 | 3059 450 | 1 | 1 114.37/114.50 c 114s | 19 | 891946 | 565482 | 3059 456 | 1 | 1 116.46/116.50 c 116s | 19 | 904974 | 575482 | 3059 463 | 1 | 1 118.46/118.52 c 118s | 19 | 919304 | 585882 | 3059 469 | 1 | 1 120.46/120.53 c 120s | 19 | 933366 | 596082 | 3059 476 | 1 | 1 122.47/122.54 c 122s | 19 | 948021 | 606582 | 3059 483 | 1 | 1 124.47/124.56 c 124s | 19 | 963436 | 617182 | 3059 490 | 1 | 1 126.47/126.56 c 126s | 19 | 977761 | 626982 | 3059 496 | 1 | 1 128.46/128.57 c 128s | 19 | 992269 | 637582 | 3059 503 | 1 | 1 130.46/130.58 c 130s | 19 | 1008370 | 648282 | 3059 509 | 1 | 1 132.56/132.60 c 132s | 19 | 1023939 | 658882 | 3059 516 | 1 | 1 134.16/134.21 c 134s | 20 | 1034551 | 666827 | 3365 521 | 1 | 1 136.16/136.22 c 136s | 20 | 1051711 | 676527 | 3365 527 | 1 | 1 138.16/138.23 c 138s | 20 | 1065468 | 687027 | 3365 533 | 1 | 1 140.15/140.23 c 140s | 20 | 1083674 | 697527 | 3365 539 | 1 | 1 142.15/142.24 c 142s | 20 | 1098214 | 707627 | 3365 545 | 1 | 1 144.16/144.26 c 144s | 20 | 1111529 | 717927 | 3365 551 | 1 | 1 146.15/146.26 c 146s | 20 | 1125814 | 728327 | 3365 557 | 1 | 1 148.15/148.29 c 148s | 20 | 1137781 | 737727 | 3365 562 | 1 | 1 150.15/150.29 c 150s | 20 | 1150182 | 747627 | 3365 568 | 1 | 1 152.15/152.29 c 152s | 20 | 1162455 | 757627 | 3365 574 | 1 | 1 154.25/154.32 c 154s | 20 | 1175268 | 767827 | 3365 580 | 1 | 1 156.25/156.33 c 156s | 20 | 1186893 | 777127 | 3365 585 | 1 | 1 158.24/158.33 c 158s | 20 | 1200122 | 786527 | 3365 590 | 1 | 1 160.24/160.34 c 160s | 20 | 1214704 | 795627 | 3365 596 | 1 | 1 162.24/162.35 c 162s | 20 | 1228548 | 804927 | 3365 601 | 1 | 1 164.24/164.35 c 164s | 20 | 1240875 | 814427 | 3365 607 | 1 | 1 166.24/166.36 c 166s | 20 | 1255607 | 824227 | 3365 612 | 1 | 1 168.25/168.36 c 168s | 20 | 1268289 | 833927 | 3365 618 | 1 | 1 170.24/170.37 c 170s | 20 | 1280503 | 843427 | 3365 624 | 1 | 1 172.24/172.38 c 172s | 20 | 1292427 | 852927 | 3365 629 | 1 | 1 174.24/174.39 c 174s | 20 | 1304213 | 862327 | 3365 635 | 1 | 1 176.24/176.40 c 176s | 20 | 1317503 | 872727 | 3365 641 | 1 | 1 178.33/178.41 c 178s | 20 | 1335034 | 882727 | 3365 646 | 1 | 1 180.34/180.43 c 180s | 20 | 1348381 | 891327 | 3365 651 | 1 | 1 182.33/182.44 c 182s | 20 | 1360849 | 900327 | 3365 657 | 1 | 1 184.33/184.45 c 184s | 20 | 1372746 | 909527 | 3365 662 | 1 | 1 186.33/186.47 c 186s | 20 | 1384892 | 918827 | 3365 668 | 1 | 1 188.33/188.48 c 188s | 20 | 1401298 | 928827 | 3365 673 | 1 | 1 190.33/190.49 c 190s | 20 | 1415371 | 938927 | 3365 679 | 1 | 1 192.32/192.49 c 192s | 20 | 1427318 | 948727 | 3365 685 | 1 | 1 194.42/194.50 c 194s | 20 | 1441339 | 959127 | 3365 691 | 1 | 1 196.42/196.52 c 196s | 20 | 1455880 | 968827 | 3365 697 | 1 | 1 198.42/198.53 c 198s | 20 | 1470768 | 978627 | 3365 702 | 1 | 1 200.42/200.54 c 200s | 20 | 1486120 | 988427 | 3365 708 | 1 | 1 202.43/202.55 c 202s | 20 | 1501578 | 998727 | 3702 714 | 1 | 1 202.72/202.84 c 202s | 21 | 1504199 | 1000345 | 3702 714 | 1 | 1 204.72/204.85 c 204s | 21 | 1514140 | 1008545 | 3702 719 | 1 | 1 206.72/206.87 c 206s | 21 | 1527969 | 1018445 | 3702 724 | 1 | 1 208.71/208.88 c 208s | 21 | 1540748 | 1028745 | 3702 730 | 1 | 1 210.71/210.88 c 210s | 21 | 1553664 | 1038645 | 3702 735 | 1 | 1 212.71/212.89 c 212s | 21 | 1566213 | 1048845 | 3702 740 | 1 | 1 214.71/214.89 c 214s | 21 | 1578571 | 1058845 | 3702 746 | 1 | 1 216.72/216.90 c 216s | 21 | 1591470 | 1069145 | 3702 751 | 1 | 1 218.81/218.91 c 218s | 21 | 1604587 | 1079345 | 3702 757 | 1 | 1 220.80/220.92 c 220s | 21 | 1619001 | 1090345 | 3702 762 | 1 | 1 222.80/222.93 c 222s | 21 | 1633111 | 1100945 | 3702 768 | 1 | 1 224.80/224.93 c 224s | 21 | 1645741 | 1110945 | 3702 773 | 1 | 1 226.80/226.94 c 226s | 21 | 1659560 | 1121245 | 3702 779 | 1 | 1 228.81/228.95 c 228s | 21 | 1673039 | 1131745 | 3702 785 | 1 | 1 230.80/230.97 c 230s | 21 | 1686836 | 1142345 | 3702 790 | 1 | 1 232.80/232.98 c 232s | 21 | 1699489 | 1152445 | 3702 796 | 1 | 1 234.90/235.00 c 234s | 21 | 1712963 | 1162745 | 3702 801 | 1 | 1 236.89/237.01 c 236s | 21 | 1725435 | 1172945 | 3702 807 | 1 | 1 238.89/239.02 c 238s | 21 | 1738691 | 1183445 | 3702 812 | 1 | 1 240.91/241.03 c 240s | 21 | 1751817 | 1193745 | 3702 818 | 1 | 1 242.90/243.04 c 243s | 21 | 1763830 | 1203745 | 3702 823 | 1 | 1 244.90/245.05 c 245s | 21 | 1776526 | 1214045 | 3702 828 | 1 | 1 246.90/247.09 c 247s | 21 | 1789341 | 1224045 | 3702 834 | 1 | 1 248.90/249.09 c 249s | 21 | 1802578 | 1234545 | 3702 839 | 1 | 1 250.99/251.11 c 251s | 21 | 1814726 | 1244545 | 3702 845 | 1 | 1 253.00/253.13 c 253s | 21 | 1827659 | 1254845 | 3702 850 | 1 | 1 254.99/255.14 c 255s | 21 | 1840326 | 1264745 | 3702 855 | 1 | 1 256.99/257.14 c 257s | 21 | 1853288 | 1274945 | 3702 861 | 1 | 1 258.99/259.17 c 259s | 21 | 1866093 | 1285045 | 3702 866 | 1 | 1 260.99/261.17 c 261s | 21 | 1878631 | 1295145 | 3702 872 | 1 | 1 262.99/263.18 c 263s | 21 | 1891173 | 1305145 | 3702 877 | 1 | 1 264.99/265.19 c 265s | 21 | 1903718 | 1315245 | 3702 882 | 1 | 1 267.08/267.20 c 267s | 21 | 1916029 | 1325045 | 3702 887 | 1 | 1 269.08/269.21 c 269s | 21 | 1928511 | 1335045 | 3702 893 | 1 | 1 271.08/271.23 c 271s | 21 | 1940875 | 1345245 | 3702 898 | 1 | 1 273.08/273.24 c 273s | 21 | 1952440 | 1354645 | 3702 903 | 1 | 1 275.08/275.26 c 275s | 21 | 1965424 | 1365145 | 3702 909 | 1 | 1 277.08/277.26 c 277s | 21 | 1979031 | 1375845 | 3702 915 | 1 | 1 279.08/279.27 c 279s | 21 | 1991267 | 1385945 | 3702 920 | 1 | 1 281.08/281.27 c 281s | 21 | 2004673 | 1396545 | 3702 926 | 1 | 1 283.08/283.28 c 283s | 21 | 2018508 | 1407345 | 3702 931 | 1 | 1 285.07/285.28 c 285s | 21 | 2032294 | 1418145 | 3702 937 | 1 | 1 287.08/287.29 c 287s | 21 | 2045545 | 1428345 | 3702 943 | 1 | 1 289.07/289.30 c 289s | 21 | 2058413 | 1438345 | 3702 948 | 1 | 1 291.17/291.30 c 291s | 21 | 2071823 | 1448845 | 3702 954 | 1 | 1 293.17/293.31 c 293s | 21 | 2085435 | 1459745 | 3702 959 | 1 | 1 295.17/295.33 c 295s | 21 | 2098852 | 1470145 | 3702 965 | 1 | 1 297.16/297.34 c 297s | 21 | 2111405 | 1480145 | 3702 970 | 1 | 1 299.17/299.35 c 299s | 21 | 2123549 | 1489945 | 4073 975 | 1 | 1 301.16/301.39 c 301s | 21 | 2134904 | 1499145 | 4073 980 | 1 | 1 301.56/301.71 c 301s | 22 | 2136674 | 1500622 | 4073 980 | 1 | 1 303.57/303.71 c 303s | 22 | 2151196 | 1509322 | 4073 985 | 1 | 1 305.56/305.72 c 305s | 22 | 2163746 | 1518322 | 4073 989 | 1 | 1 307.56/307.73 c 307s | 22 | 2180385 | 1527422 | 4073 993 | 1 | 1 309.56/309.75 c 309s | 22 | 2194834 | 1536522 | 4073 998 | 1 | 1 311.56/311.76 c 311s | 22 | 2206854 | 1545622 | 4073 1002 | 1 | 1 313.56/313.78 c 313s | 22 | 2220705 | 1554422 | 4073 1006 | 1 | 1 315.68/315.81 c 315s | 22 | 2232439 | 1563222 | 4073 1011 | 1 | 1 317.67/317.82 c 317s | 22 | 2244074 | 1571922 | 4073 1015 | 1 | 1 319.67/319.84 c 319s | 22 | 2255268 | 1581022 | 4073 1019 | 1 | 1 321.66/321.84 c 321s | 22 | 2266819 | 1589922 | 4073 1023 | 1 | 1 323.66/323.85 c 323s | 22 | 2278483 | 1598822 | 4073 1028 | 1 | 1 325.66/325.87 c 325s | 22 | 2289705 | 1607722 | 4073 1032 | 1 | 1 327.66/327.87 c 327s | 22 | 2302313 | 1617022 | 4073 1036 | 1 | 1 329.65/329.89 c 329s | 22 | 2313202 | 1625722 | 4073 1041 | 1 | 1 331.75/331.90 c 331s | 22 | 2325479 | 1635122 | 4073 1045 | 1 | 1 333.75/333.90 c 333s | 22 | 2340140 | 1644622 | 4073 1050 | 1 | 1 335.75/335.92 c 335s | 22 | 2353649 | 1654022 | 4073 1054 | 1 | 1 337.75/337.95 c 337s | 22 | 2367890 | 1663422 | 4073 1059 | 1 | 1 339.75/339.97 c 339s | 22 | 2378093 | 1672122 | 4073 1063 | 1 | 1 341.75/341.98 c 341s | 22 | 2390142 | 1681822 | 4073 1067 | 1 | 1 343.85/344.02 c 343s | 22 | 2402443 | 1690622 | 4073 1072 | 1 | 1 345.85/346.03 c 345s | 22 | 2414765 | 1700022 | 4073 1076 | 1 | 1 347.84/348.05 c 348s | 22 | 2426313 | 1709422 | 4073 1081 | 1 | 1 349.84/350.07 c 350s | 22 | 2437687 | 1718622 | 4073 1085 | 1 | 1 351.85/352.08 c 352s | 22 | 2449115 | 1727822 | 4073 1090 | 1 | 1 353.85/354.08 c 354s | 22 | 2460899 | 1737222 | 4073 1094 | 1 | 1 355.85/356.09 c 356s | 22 | 2473654 | 1747322 | 4073 1099 | 1 | 1 357.95/358.10 c 358s | 22 | 2486408 | 1757222 | 4073 1104 | 1 | 1 359.95/360.10 c 360s | 22 | 2499282 | 1766222 | 4073 1108 | 1 | 1 361.94/362.11 c 362s | 22 | 2513547 | 1776422 | 4073 1113 | 1 | 1 363.95/364.11 c 364s | 22 | 2525940 | 1786122 | 4073 1118 | 1 | 1 365.94/366.15 c 366s | 22 | 2539273 | 1795722 | 4073 1123 | 1 | 1 367.94/368.15 c 368s | 22 | 2550371 | 1804422 | 4073 1127 | 1 | 1 369.94/370.16 c 370s | 22 | 2562674 | 1813722 | 4073 1131 | 1 | 1 371.93/372.17 c 372s | 22 | 2574203 | 1822422 | 4073 1135 | 1 | 1 373.94/374.19 c 374s | 22 | 2586304 | 1831622 | 4073 1140 | 1 | 1 375.93/376.19 c 376s | 22 | 2599198 | 1841022 | 4073 1144 | 1 | 1 377.93/378.19 c 378s | 22 | 2611256 | 1850622 | 4073 1149 | 1 | 1 380.03/380.22 c 380s | 22 | 2625458 | 1860022 | 4073 1154 | 1 | 1 382.03/382.23 c 382s | 22 | 2636268 | 1868922 | 4073 1158 | 1 | 1 384.03/384.24 c 384s | 22 | 2649400 | 1877922 | 4073 1162 | 1 | 1 386.04/386.24 c 386s | 22 | 2659747 | 1886622 | 4073 1166 | 1 | 1 388.02/388.27 c 388s | 22 | 2670244 | 1895322 | 4073 1171 | 1 | 1 390.02/390.27 c 390s | 22 | 2682384 | 1904222 | 4073 1175 | 1 | 1 392.02/392.29 c 392s | 22 | 2694367 | 1913722 | 4073 1179 | 1 | 1 394.13/394.30 c 394s | 22 | 2707348 | 1922722 | 4073 1184 | 1 | 1 396.13/396.32 c 396s | 22 | 2719352 | 1932122 | 4073 1188 | 1 | 1 398.13/398.32 c 398s | 22 | 2732576 | 1941422 | 4073 1193 | 1 | 1 400.13/400.33 c 400s | 22 | 2744547 | 1950622 | 4073 1197 | 1 | 1 402.13/402.33 c 402s | 22 | 2758440 | 1959622 | 4073 1202 | 1 | 1 404.13/404.33 c 404s | 22 | 2771918 | 1968822 | 4073 1206 | 1 | 1 406.13/406.36 c 406s | 22 | 2784269 | 1978322 | 4073 1211 | 1 | 1 408.12/408.36 c 408s | 22 | 2796540 | 1988022 | 4073 1215 | 1 | 1 410.13/410.36 c 410s | 22 | 2808192 | 1997322 | 4073 1220 | 1 | 1 412.12/412.39 c 412s | 22 | 2821431 | 2007322 | 4073 1225 | 1 | 1 414.12/414.39 c 414s | 22 | 2836263 | 2016722 | 4073 1229 | 1 | 1 416.22/416.40 c 416s | 22 | 2850599 | 2026322 | 4073 1234 | 1 | 1 418.21/418.43 c 418s | 22 | 2861716 | 2035222 | 4073 1238 | 1 | 1 420.21/420.43 c 420s | 22 | 2872721 | 2044022 | 4073 1242 | 1 | 1 422.22/422.45 c 422s | 22 | 2884427 | 2053622 | 4073 1247 | 1 | 1 424.21/424.46 c 424s | 22 | 2895630 | 2062622 | 4073 1251 | 1 | 1 426.21/426.46 c 426s | 22 | 2907442 | 2071622 | 4073 1256 | 1 | 1 428.21/428.47 c 428s | 22 | 2919654 | 2081222 | 4073 1260 | 1 | 1 430.21/430.47 c 430s | 22 | 2932274 | 2090922 | 4073 1265 | 1 | 1 432.21/432.47 c 432s | 22 | 2943959 | 2100422 | 4073 1269 | 1 | 1 434.20/434.48 c 434s | 22 | 2955637 | 2109722 | 4073 1274 | 1 | 1 436.30/436.51 c 436s | 22 | 2967097 | 2119222 | 4073 1279 | 1 | 1 438.30/438.52 c 438s | 22 | 2978102 | 2128422 | 4073 1283 | 1 | 1 440.30/440.52 c 440s | 22 | 2989588 | 2137622 | 4073 1287 | 1 | 1 442.30/442.53 c 442s | 22 | 3000442 | 2146522 | 4073 1292 | 1 | 1 444.30/444.54 c 444s | 22 | 3011907 | 2155422 | 4073 1296 | 1 | 1 446.30/446.59 c 446s | 22 | 3023220 | 2164722 | 4073 1301 | 1 | 1 448.39/448.61 c 448s | 22 | 3034011 | 2173722 | 4073 1305 | 1 | 1 450.39/450.62 c 450s | 22 | 3052668 | 2183622 | 4073 1310 | 1 | 1 452.39/452.63 c 452s | 22 | 3068297 | 2193522 | 4073 1314 | 1 | 1 454.39/454.64 c 454s | 22 | 3081870 | 2202422 | 4073 1319 | 1 | 1 456.40/456.65 c 456s | 22 | 3094003 | 2211022 | 4073 1323 | 1 | 1 458.39/458.65 c 458s | 22 | 3107210 | 2220422 | 4073 1327 | 1 | 1 460.39/460.66 c 460s | 22 | 3120712 | 2229822 | 4073 1332 | 1 | 1 462.38/462.66 c 462s | 22 | 3132716 | 2238722 | 4481 1336 | 1 | 1 464.38/464.67 c 464s | 22 | 3145941 | 2247722 | 4481 1340 | 1 | 1 465.19/465.40 c 465s | 23 | 3150873 | 2251038 | 4481 1341 | 1 | 1 467.18/467.42 c 467s | 23 | 3163118 | 2259438 | 4481 1345 | 1 | 1 469.18/469.43 c 469s | 23 | 3174801 | 2267838 | 4481 1349 | 1 | 1 471.18/471.43 c 471s | 23 | 3187270 | 2276638 | 4481 1353 | 1 | 1 473.19/473.43 c 473s | 23 | 3197774 | 2284838 | 4481 1356 | 1 | 1 475.19/475.45 c 475s | 23 | 3215774 | 2293338 | 4481 1360 | 1 | 1 477.19/477.45 c 477s | 23 | 3230348 | 2302438 | 4481 1364 | 1 | 1 479.18/479.46 c 479s | 23 | 3244471 | 2311138 | 4481 1368 | 1 | 1 481.18/481.47 c 481s | 23 | 3259047 | 2320038 | 4481 1372 | 1 | 1 483.18/483.47 c 483s | 23 | 3270247 | 2328538 | 4481 1375 | 1 | 1 485.18/485.49 c 485s | 23 | 3283698 | 2337738 | 4481 1379 | 1 | 1 487.18/487.49 c 487s | 23 | 3294731 | 2346238 | 4481 1383 | 1 | 1 489.17/489.50 c 489s | 23 | 3305456 | 2354838 | 4481 1387 | 1 | 1 491.27/491.51 c 491s | 23 | 3316136 | 2363838 | 4481 1391 | 1 | 1 493.27/493.51 c 493s | 23 | 3327146 | 2372738 | 4481 1395 | 1 | 1 495.27/495.52 c 495s | 23 | 3338373 | 2381738 | 4481 1399 | 1 | 1 497.27/497.53 c 497s | 23 | 3349915 | 2390738 | 4481 1403 | 1 | 1 499.27/499.54 c 499s | 23 | 3361220 | 2399738 | 4481 1407 | 1 | 1 501.27/501.55 c 501s | 23 | 3373381 | 2409538 | 4481 1411 | 1 | 1 503.26/503.56 c 503s | 23 | 3385270 | 2418938 | 4481 1415 | 1 | 1 505.26/505.59 c 505s | 23 | 3397780 | 2428738 | 4481 1420 | 1 | 1 507.26/507.59 c 507s | 23 | 3410725 | 2438438 | 4481 1424 | 1 | 1 509.35/509.60 c 509s | 23 | 3423025 | 2448038 | 4481 1428 | 1 | 1 511.26/511.60 c 511s | 23 | 3435885 | 2457938 | 4481 1432 | 1 | 1 513.35/513.61 c 513s | 23 | 3448334 | 2467638 | 4481 1437 | 1 | 1 515.35/515.62 c 515s | 23 | 3460895 | 2477438 | 4481 1441 | 1 | 1 517.35/517.63 c 517s | 23 | 3472537 | 2487038 | 4481 1445 | 1 | 1 519.35/519.64 c 519s | 23 | 3484252 | 2496638 | 4481 1450 | 1 | 1 521.35/521.64 c 521s | 23 | 3495814 | 2506138 | 4481 1454 | 1 | 1 523.35/523.64 c 523s | 23 | 3508508 | 2515838 | 4481 1458 | 1 | 1 525.35/525.66 c 525s | 23 | 3520612 | 2525038 | 4481 1462 | 1 | 1 527.34/527.67 c 527s | 23 | 3532399 | 2534738 | 4481 1466 | 1 | 1 529.34/529.68 c 529s | 23 | 3544146 | 2543838 | 4481 1470 | 1 | 1 531.34/531.68 c 531s | 23 | 3556106 | 2553438 | 4481 1475 | 1 | 1 533.34/533.68 c 533s | 23 | 3569279 | 2563138 | 4481 1479 | 1 | 1 535.34/535.69 c 535s | 23 | 3581512 | 2572838 | 4481 1483 | 1 | 1 537.43/537.72 c 537s | 23 | 3593655 | 2582638 | 4481 1488 | 1 | 1 539.44/539.73 c 539s | 23 | 3606038 | 2592138 | 4481 1492 | 1 | 1 541.44/541.74 c 541s | 23 | 3618489 | 2601538 | 4481 1496 | 1 | 1 543.44/543.74 c 543s | 23 | 3630283 | 2610838 | 4481 1500 | 1 | 1 545.45/545.75 c 545s | 23 | 3642699 | 2620838 | 4481 1504 | 1 | 1 547.43/547.77 c 547s | 23 | 3655055 | 2630438 | 4481 1509 | 1 | 1 549.43/549.77 c 549s | 23 | 3667332 | 2640138 | 4481 1513 | 1 | 1 551.43/551.78 c 551s | 23 | 3679320 | 2650138 | 4481 1517 | 1 | 1 553.43/553.79 c 553s | 23 | 3692265 | 2659938 | 4481 1522 | 1 | 1 555.53/555.80 c 555s | 23 | 3703780 | 2669538 | 4481 1526 | 1 | 1 557.53/557.82 c 557s | 23 | 3715954 | 2679438 | 4481 1530 | 1 | 1 559.53/559.83 c 559s | 23 | 3728949 | 2689238 | 4481 1535 | 1 | 1 561.52/561.83 c 561s | 23 | 3741527 | 2699038 | 4481 1539 | 1 | 1 563.52/563.83 c 563s | 23 | 3753958 | 2708838 | 4481 1543 | 1 | 1 565.52/565.85 c 565s | 23 | 3765653 | 2718338 | 4481 1548 | 1 | 1 567.52/567.85 c 567s | 23 | 3777151 | 2727338 | 4481 1551 | 1 | 1 569.52/569.86 c 569s | 23 | 3789182 | 2736838 | 4481 1556 | 1 | 1 571.52/571.87 c 571s | 23 | 3801401 | 2746838 | 4481 1560 | 1 | 1 573.51/573.89 c 573s | 23 | 3813594 | 2756638 | 4481 1564 | 1 | 1 575.61/575.90 c 575s | 23 | 3825598 | 2766138 | 4481 1569 | 1 | 1 577.61/577.91 c 577s | 23 | 3838027 | 2775638 | 4481 1573 | 1 | 1 579.61/579.93 c 579s | 23 | 3850111 | 2785238 | 4481 1577 | 1 | 1 581.61/581.94 c 581s | 23 | 3862017 | 2794938 | 4481 1581 | 1 | 1 583.61/583.94 c 583s | 23 | 3872515 | 2803638 | 4481 1585 | 1 | 1 585.61/585.95 c 585s | 23 | 3884117 | 2813038 | 4481 1589 | 1 | 1 587.60/587.96 c 587s | 23 | 3895833 | 2822138 | 4481 1593 | 1 | 1 589.60/589.97 c 589s | 23 | 3908457 | 2831338 | 4481 1597 | 1 | 1 591.61/591.98 c 591s | 23 | 3921126 | 2841038 | 4481 1602 | 1 | 1 593.71/594.02 c 593s | 23 | 3933908 | 2850938 | 4481 1606 | 1 | 1 595.70/596.02 c 595s | 23 | 3945729 | 2860438 | 4481 1610 | 1 | 1 597.70/598.03 c 597s | 23 | 3957777 | 2870438 | 4481 1615 | 1 | 1 599.70/600.04 c 600s | 23 | 3969622 | 2880138 | 4481 1619 | 1 | 1 601.69/602.05 c 602s | 23 | 3982146 | 2889938 | 4481 1623 | 1 | 1 603.70/604.07 c 604s | 23 | 3993484 | 2899138 | 4481 1627 | 1 | 1 605.69/606.08 c 606s | 23 | 4005490 | 2908738 | 4481 1632 | 1 | 1 607.69/608.08 c 608s | 23 | 4018277 | 2918938 | 4481 1636 | 1 | 1 609.70/610.09 c 610s | 23 | 4030956 | 2928438 | 4481 1640 | 1 | 1 611.80/612.10 c 612s | 23 | 4044111 | 2938238 | 4481 1645 | 1 | 1 613.79/614.10 c 614s | 23 | 4056842 | 2948038 | 4481 1649 | 1 | 1 615.80/616.11 c 616s | 23 | 4069297 | 2957638 | 4481 1653 | 1 | 1 617.79/618.13 c 618s | 23 | 4080833 | 2966638 | 4481 1657 | 1 | 1 619.79/620.13 c 620s | 23 | 4092353 | 2975838 | 4481 1661 | 1 | 1 621.79/622.14 c 622s | 23 | 4104467 | 2985338 | 4481 1666 | 1 | 1 623.79/624.16 c 624s | 23 | 4115793 | 2994238 | 4481 1669 | 1 | 1 625.78/626.18 c 626s | 23 | 4127862 | 3003638 | 4481 1674 | 1 | 1 627.78/628.19 c 628s | 23 | 4140414 | 3013438 | 4481 1678 | 1 | 1 629.78/630.19 c 630s | 23 | 4152267 | 3022738 | 4481 1682 | 1 | 1 631.88/632.21 c 632s | 23 | 4165369 | 3032338 | 4481 1686 | 1 | 1 633.88/634.25 c 634s | 23 | 4177914 | 3041838 | 4481 1691 | 1 | 1 635.88/636.26 c 636s | 23 | 4189901 | 3051238 | 4481 1695 | 1 | 1 637.87/638.27 c 638s | 23 | 4201005 | 3060238 | 4481 1699 | 1 | 1 639.87/640.27 c 640s | 23 | 4212553 | 3069038 | 4481 1702 | 1 | 1 641.87/642.28 c 642s | 23 | 4224864 | 3078838 | 4481 1707 | 1 | 1 643.87/644.28 c 644s | 23 | 4236904 | 3088238 | 4481 1711 | 1 | 1 645.87/646.28 c 646s | 23 | 4249335 | 3098038 | 4481 1715 | 1 | 1 647.96/648.32 c 648s | 23 | 4260760 | 3107538 | 4481 1720 | 1 | 1 649.96/650.34 c 650s | 23 | 4273454 | 3116838 | 4481 1724 | 1 | 1 651.97/652.34 c 652s | 23 | 4285558 | 3126338 | 4481 1728 | 1 | 1 653.96/654.36 c 654s | 23 | 4297285 | 3135238 | 4481 1732 | 1 | 1 655.96/656.37 c 656s | 23 | 4308375 | 3144338 | 4481 1736 | 1 | 1 657.96/658.38 c 658s | 23 | 4320107 | 3153538 | 4481 1740 | 1 | 1 660.06/660.40 c 660s | 23 | 4331411 | 3162538 | 4481 1744 | 1 | 1 662.06/662.40 c 662s | 23 | 4342916 | 3171838 | 4481 1748 | 1 | 1 664.06/664.40 c 664s | 23 | 4354451 | 3181438 | 4481 1752 | 1 | 1 666.06/666.41 c 666s | 23 | 4365817 | 3190738 | 4481 1756 | 1 | 1 668.05/668.41 c 668s | 23 | 4377833 | 3200338 | 4481 1761 | 1 | 1 670.05/670.43 c 670s | 23 | 4389278 | 3209738 | 4481 1765 | 1 | 1 672.05/672.45 c 672s | 23 | 4399924 | 3218338 | 4481 1768 | 1 | 1 674.06/674.47 c 674s | 23 | 4410649 | 3227138 | 4481 1772 | 1 | 1 676.05/676.49 c 676s | 23 | 4421667 | 3235838 | 4481 1776 | 1 | 1 678.14/678.50 c 678s | 23 | 4433784 | 3244938 | 4481 1780 | 1 | 1 680.14/680.50 c 680s | 23 | 4445179 | 3254138 | 4481 1784 | 1 | 1 682.14/682.52 c 682s | 23 | 4457276 | 3263338 | 4481 1788 | 1 | 1 684.14/684.53 c 684s | 23 | 4469299 | 3272938 | 4481 1793 | 1 | 1 686.15/686.53 c 686s | 23 | 4481695 | 3282638 | 4481 1797 | 1 | 1 688.14/688.55 c 688s | 23 | 4493645 | 3292138 | 4481 1801 | 1 | 1 690.14/690.55 c 690s | 23 | 4504917 | 3301038 | 4481 1805 | 1 | 1 692.14/692.56 c 692s | 23 | 4516427 | 3310438 | 4481 1809 | 1 | 1 694.14/694.58 c 694s | 23 | 4528439 | 3320138 | 4481 1813 | 1 | 1 696.14/696.60 c 696s | 23 | 4538889 | 3328438 | 4481 1817 | 1 | 1 698.15/698.60 c 698s | 23 | 4550097 | 3337438 | 4481 1821 | 1 | 1 700.24/700.62 c 700s | 23 | 4561516 | 3346538 | 4481 1825 | 1 | 1 702.24/702.63 c 702s | 23 | 4572278 | 3355238 | 4930 1829 | 1 | 1 704.24/704.66 c 704s | 23 | 4583714 | 3364538 | 4930 1833 | 1 | 1 706.24/706.68 c 706s | 23 | 4594527 | 3373738 | 4930 1836 | 1 | 1 706.94/707.32 c 707s | 24 | 4598037 | 3376662 | 4930 1837 | 1 | 1 708.93/709.33 c 709s | 24 | 4616434 | 3385162 | 4930 1841 | 1 | 1 710.93/711.35 c 711s | 24 | 4629343 | 3393762 | 4930 1844 | 1 | 1 712.93/713.38 c 713s | 24 | 4639627 | 3401762 | 4930 1847 | 1 | 1 714.93/715.39 c 715s | 24 | 4649546 | 3409662 | 4930 1851 | 1 | 1 716.93/717.40 c 717s | 24 | 4660263 | 3417862 | 4930 1854 | 1 | 1 719.03/719.42 c 719s | 24 | 4671481 | 3426762 | 4930 1857 | 1 | 1 721.03/721.42 c 721s | 24 | 4682310 | 3435162 | 4930 1861 | 1 | 1 723.03/723.44 c 723s | 24 | 4694263 | 3443662 | 4930 1864 | 1 | 1 725.02/725.44 c 725s | 24 | 4706244 | 3452362 | 4930 1868 | 1 | 1 727.02/727.45 c 727s | 24 | 4717391 | 3460762 | 4930 1871 | 1 | 1 729.03/729.47 c 729s | 24 | 4728373 | 3469162 | 4930 1875 | 1 | 1 731.02/731.47 c 731s | 24 | 4740321 | 3477962 | 4930 1878 | 1 | 1 733.02/733.48 c 733s | 24 | 4753132 | 3487162 | 4930 1882 | 1 | 1 735.02/735.48 c 735s | 24 | 4767161 | 3496362 | 4930 1885 | 1 | 1 737.02/737.48 c 737s | 24 | 4779821 | 3504762 | 4930 1889 | 1 | 1 739.02/739.50 c 739s | 24 | 4790834 | 3513162 | 4930 1892 | 1 | 1 741.13/741.53 c 741s | 24 | 4802035 | 3521662 | 4930 1896 | 1 | 1 743.12/743.54 c 743s | 24 | 4812104 | 3529662 | 4930 1899 | 1 | 1 745.12/745.55 c 745s | 24 | 4823262 | 3538162 | 4930 1902 | 1 | 1 747.12/747.57 c 747s | 24 | 4833591 | 3546462 | 4930 1905 | 1 | 1 749.12/749.58 c 749s | 24 | 4847415 | 3554962 | 4930 1909 | 1 | 1 751.12/751.59 c 751s | 24 | 4858962 | 3563262 | 4930 1912 | 1 | 1 753.22/753.62 c 753s | 24 | 4869160 | 3571662 | 4930 1916 | 1 | 1 755.22/755.62 c 755s | 24 | 4881574 | 3580862 | 4930 1919 | 1 | 1 757.22/757.64 c 757s | 24 | 4894109 | 3589562 | 4930 1923 | 1 | 1 759.22/759.64 c 759s | 24 | 4907164 | 3597562 | 4930 1926 | 1 | 1 761.22/761.66 c 761s | 24 | 4920771 | 3606562 | 4930 1930 | 1 | 1 763.22/763.67 c 763s | 24 | 4932990 | 3615162 | 4930 1933 | 1 | 1 765.23/765.68 c 765s | 24 | 4945513 | 3623462 | 4930 1936 | 1 | 1 767.22/767.69 c 767s | 24 | 4955139 | 3631362 | 4930 1939 | 1 | 1 769.32/769.71 c 769s | 24 | 4967790 | 3639662 | 4930 1943 | 1 | 1 771.32/771.72 c 771s | 24 | 4978537 | 3647462 | 4930 1946 | 1 | 1 773.32/773.72 c 773s | 24 | 4991661 | 3655662 | 4930 1949 | 1 | 1 775.32/775.72 c 775s | 24 | 5010523 | 3665562 | 4930 1953 | 1 | 1 777.32/777.72 c 777s | 24 | 5023229 | 3674062 | 4930 1957 | 1 | 1 779.32/779.74 c 779s | 24 | 5038333 | 3683362 | 4930 1960 | 1 | 1 781.32/781.74 c 781s | 24 | 5050293 | 3691262 | 4930 1963 | 1 | 1 783.31/783.75 c 783s | 24 | 5063761 | 3699462 | 4930 1967 | 1 | 1 785.31/785.75 c 785s | 24 | 5079099 | 3708662 | 4930 1970 | 1 | 1 787.32/787.77 c 787s | 24 | 5091400 | 3718062 | 4930 1974 | 1 | 1 789.31/789.78 c 789s | 24 | 5102438 | 3726362 | 4930 1978 | 1 | 1 791.41/791.80 c 791s | 24 | 5112035 | 3734262 | 4930 1981 | 1 | 1 793.41/793.82 c 793s | 24 | 5122499 | 3742462 | 4930 1984 | 1 | 1 795.41/795.82 c 795s | 24 | 5135420 | 3751062 | 4930 1987 | 1 | 1 797.41/797.86 c 797s | 24 | 5145666 | 3758762 | 4930 1991 | 1 | 1 799.42/799.87 c 799s | 24 | 5156132 | 3767162 | 4930 1994 | 1 | 1 801.41/801.88 c 801s | 24 | 5167825 | 3775462 | 4930 1997 | 1 | 1 803.51/803.91 c 803s | 24 | 5179073 | 3783662 | 4930 2001 | 1 | 1 805.51/805.92 c 805s | 24 | 5190400 | 3791862 | 4930 2004 | 1 | 1 807.51/807.92 c 807s | 24 | 5203096 | 3800362 | 4930 2007 | 1 | 1 809.51/809.94 c 809s | 24 | 5213402 | 3808362 | 4930 2010 | 1 | 1 811.51/811.95 c 811s | 24 | 5224017 | 3816862 | 4930 2014 | 1 | 1 813.51/813.96 c 813s | 24 | 5236033 | 3824662 | 4930 2017 | 1 | 1 815.51/815.97 c 815s | 24 | 5247716 | 3833062 | 4930 2020 | 1 | 1 817.50/817.99 c 817s | 24 | 5258019 | 3841262 | 4930 2024 | 1 | 1 819.60/820.01 c 819s | 24 | 5268638 | 3849662 | 4930 2027 | 1 | 1 821.60/822.05 c 822s | 24 | 5278793 | 3857662 | 4930 2030 | 1 | 1 823.61/824.06 c 824s | 24 | 5289715 | 3865262 | 4930 2033 | 1 | 1 825.60/826.07 c 826s | 24 | 5304707 | 3873062 | 4930 2036 | 1 | 1 827.70/828.11 c 828s | 24 | 5316096 | 3881262 | 4930 2040 | 1 | 1 829.71/830.12 c 830s | 24 | 5326701 | 3889262 | 4930 2043 | 1 | 1 831.71/832.12 c 832s | 24 | 5337920 | 3897462 | 4930 2046 | 1 | 1 833.71/834.14 c 834s | 24 | 5347061 | 3904862 | 4930 2049 | 1 | 1 835.71/836.15 c 836s | 24 | 5357933 | 3913162 | 4930 2052 | 1 | 1 837.71/838.18 c 838s | 24 | 5372348 | 3921462 | 4930 2056 | 1 | 1 839.81/840.21 c 840s | 24 | 5382311 | 3928962 | 4930 2059 | 1 | 1 841.81/842.21 c 842s | 24 | 5392992 | 3936762 | 4930 2062 | 1 | 1 843.81/844.23 c 844s | 24 | 5403639 | 3944362 | 4930 2065 | 1 | 1 845.80/846.25 c 846s | 24 | 5414630 | 3952462 | 4930 2068 | 1 | 1 847.81/848.27 c 848s | 24 | 5424041 | 3960262 | 4930 2071 | 1 | 1 849.80/850.29 c 850s | 24 | 5433679 | 3967962 | 4930 2074 | 1 | 1 851.80/852.29 c 852s | 24 | 5444658 | 3975662 | 4930 2077 | 1 | 1 853.90/854.31 c 854s | 24 | 5455132 | 3983662 | 4930 2080 | 1 | 1 855.90/856.31 c 856s | 24 | 5463821 | 3990962 | 4930 2083 | 1 | 1 857.90/858.34 c 858s | 24 | 5473323 | 3998762 | 4930 2086 | 1 | 1 859.91/860.35 c 860s | 24 | 5482885 | 4006362 | 4930 2089 | 1 | 1 861.90/862.37 c 862s | 24 | 5493604 | 4014462 | 4930 2093 | 1 | 1 863.90/864.38 c 864s | 24 | 5503227 | 4022262 | 4930 2096 | 1 | 1 866.00/866.40 c 866s | 24 | 5512175 | 4029862 | 4930 2099 | 1 | 1 868.00/868.42 c 868s | 24 | 5523196 | 4038662 | 4930 2102 | 1 | 1 870.00/870.44 c 870s | 24 | 5534076 | 4046662 | 4930 2106 | 1 | 1 872.01/872.47 c 872s | 24 | 5543849 | 4054862 | 4930 2109 | 1 | 1 874.00/874.48 c 874s | 24 | 5553443 | 4062962 | 4930 2112 | 1 | 1 876.00/876.49 c 876s | 24 | 5564966 | 4071962 | 4930 2116 | 1 | 1 878.10/878.51 c 878s | 24 | 5575382 | 4080362 | 4930 2119 | 1 | 1 880.10/880.52 c 880s | 24 | 5586822 | 4089462 | 4930 2123 | 1 | 1 882.10/882.52 c 882s | 24 | 5598322 | 4098562 | 4930 2126 | 1 | 1 884.10/884.54 c 884s | 24 | 5609056 | 4107062 | 4930 2130 | 1 | 1 886.09/886.57 c 886s | 24 | 5622053 | 4116462 | 4930 2134 | 1 | 1 888.19/888.60 c 888s | 24 | 5634417 | 4126362 | 4930 2138 | 1 | 1 890.19/890.61 c 890s | 24 | 5645663 | 4134962 | 4930 2141 | 1 | 1 892.19/892.61 c 892s | 24 | 5656584 | 4143662 | 4930 2144 | 1 | 1 894.19/894.62 c 894s | 24 | 5667761 | 4151962 | 4930 2148 | 1 | 1 896.20/896.63 c 896s | 24 | 5679530 | 4160962 | 4930 2151 | 1 | 1 898.19/898.64 c 898s | 24 | 5690550 | 4169262 | 4930 2155 | 1 | 1 900.19/900.64 c 900s | 24 | 5701776 | 4177562 | 4930 2158 | 1 | 1 902.19/902.66 c 902s | 24 | 5713285 | 4186162 | 4930 2161 | 1 | 1 904.19/904.68 c 904s | 24 | 5724262 | 4194662 | 4930 2165 | 1 | 1 906.29/906.70 c 906s | 24 | 5734767 | 4202862 | 4930 2168 | 1 | 1 908.31/908.71 c 908s | 24 | 5745665 | 4211362 | 4930 2172 | 1 | 1 910.30/910.74 c 910s | 24 | 5756392 | 4219862 | 4930 2175 | 1 | 1 912.30/912.76 c 912s | 24 | 5767340 | 4228662 | 4930 2179 | 1 | 1 914.30/914.76 c 914s | 24 | 5777564 | 4236762 | 4930 2182 | 1 | 1 916.30/916.76 c 916s | 24 | 5789570 | 4245062 | 4930 2185 | 1 | 1 918.30/918.78 c 918s | 24 | 5801710 | 4254262 | 4930 2189 | 1 | 1 920.30/920.79 c 920s | 24 | 5813344 | 4262862 | 4930 2192 | 1 | 1 922.39/922.84 c 922s | 24 | 5825822 | 4271762 | 4930 2196 | 1 | 1 924.39/924.85 c 924s | 24 | 5835560 | 4279362 | 4930 2199 | 1 | 1 926.39/926.86 c 926s | 24 | 5847251 | 4287662 | 4930 2202 | 1 | 1 928.39/928.87 c 928s | 24 | 5859463 | 4296462 | 4930 2206 | 1 | 1 930.39/930.89 c 930s | 24 | 5871037 | 4305262 | 4930 2209 | 1 | 1 932.40/932.90 c 932s | 24 | 5883529 | 4313862 | 4930 2213 | 1 | 1 934.49/934.90 c 934s | 24 | 5894284 | 4322162 | 4930 2216 | 1 | 1 936.49/936.93 c 936s | 24 | 5904134 | 4330062 | 4930 2219 | 1 | 1 938.50/938.96 c 938s | 24 | 5915470 | 4338562 | 4930 2223 | 1 | 1 940.50/940.98 c 940s | 24 | 5927907 | 4347462 | 4930 2226 | 1 | 1 942.49/942.98 c 942s | 24 | 5939745 | 4356462 | 4930 2230 | 1 | 1 944.60/945.01 c 944s | 24 | 5953058 | 4366062 | 4930 2234 | 1 | 1 946.59/947.01 c 946s | 24 | 5966030 | 4375262 | 4930 2237 | 1 | 1 948.59/949.02 c 948s | 24 | 5976832 | 4383662 | 4930 2241 | 1 | 1 950.59/951.04 c 951s | 24 | 5987819 | 4392762 | 4930 2244 | 1 | 1 952.59/953.05 c 953s | 24 | 5998947 | 4400662 | 4930 2247 | 1 | 1 954.59/955.05 c 955s | 24 | 6009348 | 4408562 | 4930 2251 | 1 | 1 956.60/957.07 c 957s | 24 | 6021093 | 4416862 | 4930 2254 | 1 | 1 958.59/959.07 c 959s | 24 | 6035619 | 4425862 | 4930 2257 | 1 | 1 960.59/961.07 c 961s | 24 | 6047160 | 4434762 | 4930 2261 | 1 | 1 962.59/963.08 c 963s | 24 | 6059519 | 4443062 | 4930 2264 | 1 | 1 964.69/965.10 c 965s | 24 | 6070531 | 4451362 | 4930 2268 | 1 | 1 966.69/967.10 c 967s | 24 | 6081411 | 4460062 | 4930 2271 | 1 | 1 968.69/969.11 c 969s | 24 | 6092311 | 4468362 | 4930 2274 | 1 | 1 970.69/971.12 c 971s | 24 | 6102477 | 4476162 | 4930 2278 | 1 | 1 972.69/973.12 c 973s | 24 | 6114813 | 4484862 | 4930 2281 | 1 | 1 974.69/975.13 c 975s | 24 | 6127911 | 4493462 | 4930 2285 | 1 | 1 976.69/977.15 c 977s | 24 | 6140767 | 4502262 | 4930 2288 | 1 | 1 978.69/979.17 c 979s | 24 | 6151391 | 4510662 | 4930 2291 | 1 | 1 980.68/981.18 c 981s | 24 | 6160758 | 4518562 | 4930 2295 | 1 | 1 982.78/983.20 c 983s | 24 | 6171449 | 4526962 | 4930 2298 | 1 | 1 984.78/985.21 c 985s | 24 | 6182232 | 4535462 | 4930 2301 | 1 | 1 986.78/987.21 c 987s | 24 | 6190887 | 4542262 | 4930 2304 | 1 | 1 988.78/989.23 c 989s | 24 | 6200751 | 4550162 | 4930 2307 | 1 | 1 990.79/991.25 c 991s | 24 | 6215252 | 4558362 | 4930 2310 | 1 | 1 992.78/993.29 c 993s | 24 | 6226082 | 4565962 | 4930 2314 | 1 | 1 994.78/995.29 c 995s | 24 | 6235292 | 4573362 | 4930 2317 | 1 | 1 996.88/997.30 c 997s | 24 | 6244834 | 4581162 | 4930 2320 | 1 | 1 998.88/999.32 c 999s | 24 | 6255073 | 4589162 | 4930 2323 | 1 | 1 1000.88/1001.32 c 1001s | 24 | 6265429 | 4597362 | 4930 2326 | 1 | 1 1002.88/1003.33 c 1003s | 24 | 6275426 | 4605162 | 4930 2329 | 1 | 1 1004.88/1005.34 c 1005s | 24 | 6285849 | 4612962 | 4930 2332 | 1 | 1 1006.88/1007.36 c 1007s | 24 | 6295545 | 4620662 | 4930 2335 | 1 | 1 1008.88/1009.38 c 1009s | 24 | 6305483 | 4628462 | 4930 2339 | 1 | 1 1010.88/1011.39 c 1011s | 24 | 6316521 | 4636862 | 4930 2342 | 1 | 1 1012.88/1013.40 c 1013s | 24 | 6329818 | 4645262 | 4930 2345 | 1 | 1 1014.89/1015.40 c 1015s | 24 | 6341088 | 4653062 | 4930 2348 | 1 | 1 1016.98/1017.41 c 1017s | 24 | 6351405 | 4661062 | 4930 2352 | 1 | 1 1018.98/1019.43 c 1019s | 24 | 6361895 | 4669062 | 4930 2355 | 1 | 1 1020.98/1021.47 c 1021s | 24 | 6371902 | 4676062 | 4930 2358 | 1 | 1 1022.98/1023.48 c 1023s | 24 | 6381726 | 4683362 | 4930 2361 | 1 | 1 1024.98/1025.49 c 1025s | 24 | 6391211 | 4690862 | 4930 2364 | 1 | 1 1026.99/1027.50 c 1027s | 24 | 6400944 | 4698662 | 4930 2367 | 1 | 1 1029.08/1029.50 c 1029s | 24 | 6409941 | 4705862 | 4930 2370 | 1 | 1 1031.08/1031.52 c 1031s | 24 | 6419512 | 4713462 | 4930 2373 | 1 | 1 1033.08/1033.54 c 1033s | 24 | 6429156 | 4720962 | 4930 2376 | 1 | 1 1035.08/1035.57 c 1035s | 24 | 6439318 | 4728962 | 4930 2379 | 1 | 1 1037.08/1037.59 c 1037s | 24 | 6448279 | 4736262 | 4930 2382 | 1 | 1 1039.19/1039.62 c 1039s | 24 | 6456866 | 4743162 | 4930 2385 | 1 | 1 1041.18/1041.64 c 1041s | 24 | 6465484 | 4750062 | 4930 2387 | 1 | 1 1043.18/1043.64 c 1043s | 24 | 6475099 | 4757562 | 4930 2390 | 1 | 1 1045.18/1045.66 c 1045s | 24 | 6484658 | 4764862 | 4930 2393 | 1 | 1 1047.18/1047.68 c 1047s | 24 | 6493843 | 4771962 | 4930 2396 | 1 | 1 1049.18/1049.68 c 1049s | 24 | 6502628 | 4778862 | 4930 2399 | 1 | 1 1051.18/1051.70 c 1051s | 24 | 6511793 | 4786062 | 4930 2402 | 1 | 1 1053.28/1053.71 c 1053s | 24 | 6520405 | 4793162 | 4930 2405 | 1 | 1 1055.28/1055.72 c 1055s | 24 | 6530314 | 4801262 | 4930 2408 | 1 | 1 1057.38/1057.84 c 1057s | 24 | 6540157 | 4809262 | 4930 2411 | 1 | 1 1059.38/1059.86 c 1059s | 24 | 6549470 | 4816862 | 4930 2414 | 1 | 1 1061.37/1061.88 c 1061s | 24 | 6558918 | 4824562 | 4930 2417 | 1 | 1 1063.38/1063.88 c 1063s | 24 | 6568471 | 4832162 | 4930 2420 | 1 | 1 1065.37/1065.89 c 1065s | 24 | 6578052 | 4839362 | 4930 2423 | 1 | 1 1067.47/1067.95 c 1067s | 24 | 6587546 | 4846562 | 4930 2426 | 1 | 1 1069.47/1069.95 c 1069s | 24 | 6596188 | 4853762 | 4930 2429 | 1 | 1 1071.47/1071.96 c 1071s | 24 | 6606112 | 4861562 | 4930 2432 | 1 | 1 1073.47/1073.97 c 1073s | 24 | 6614407 | 4868462 | 4930 2435 | 1 | 1 1075.48/1075.98 c 1075s | 24 | 6624331 | 4876462 | 4930 2438 | 1 | 1 1077.58/1078.01 c 1077s | 24 | 6633224 | 4883962 | 4930 2441 | 1 | 1 1079.57/1080.02 c 1079s | 24 | 6641977 | 4890862 | 4930 2444 | 1 | 1 1081.57/1082.03 c 1081s | 24 | 6650802 | 4898262 | 4930 2447 | 1 | 1 1083.57/1084.07 c 1084s | 24 | 6659796 | 4905562 | 4930 2450 | 1 | 1 1085.67/1086.10 c 1086s | 24 | 6669288 | 4913062 | 4930 2453 | 1 | 1 1087.67/1088.13 c 1088s | 24 | 6678568 | 4920562 | 4930 2456 | 1 | 1 1089.67/1090.15 c 1090s | 24 | 6688252 | 4928262 | 4930 2459 | 1 | 1 1091.67/1092.17 c 1092s | 24 | 6698330 | 4935662 | 4930 2462 | 1 | 1 1093.67/1094.18 c 1094s | 24 | 6708154 | 4943362 | 4930 2465 | 1 | 1 1095.77/1096.20 c 1096s | 24 | 6716447 | 4950262 | 4930 2467 | 1 | 1 1097.77/1098.21 c 1098s | 24 | 6725264 | 4957562 | 4930 2470 | 1 | 1 1099.76/1100.22 c 1100s | 24 | 6735310 | 4965862 | 4930 2474 | 1 | 1 1101.77/1102.23 c 1102s | 24 | 6744569 | 4973562 | 4930 2477 | 1 | 1 1103.76/1104.23 c 1104s | 24 | 6754899 | 4981562 | 4930 2480 | 1 | 1 1105.76/1106.25 c 1106s | 24 | 6763697 | 4989062 | 4930 2483 | 1 | 1 1107.76/1108.28 c 1108s | 24 | 6772711 | 4996462 | 4930 2486 | 1 | 1 1109.76/1110.28 c 1110s | 24 | 6783237 | 5004662 | 4930 2489 | 1 | 1 1111.78/1112.29 c 1112s | 24 | 6793101 | 5012662 | 4930 2492 | 1 | 1 1113.88/1114.31 c 1114s | 24 | 6802363 | 5020262 | 4930 2496 | 1 | 1 1115.87/1116.35 c 1116s | 24 | 6811337 | 5027762 | 4930 2499 | 1 | 1 1117.87/1118.35 c 1118s | 24 | 6820231 | 5035162 | 5423 2501 | 1 | 1 1119.87/1120.36 c 1120s | 24 | 6829051 | 5042362 | 5423 2504 | 1 | 1 1121.87/1122.37 c 1122s | 24 | 6838246 | 5049962 | 5423 2506 | 1 | 1 1123.87/1124.39 c 1124s | 24 | 6847368 | 5057262 | 5423 2509 | 1 | 1 1125.97/1126.40 c 1126s | 24 | 6856445 | 5064762 | 5423 2512 | 1 | 1 1125.97/1126.48 c 1126s | 25 | 6856843 | 5065098 | 5423 2512 | 1 | 1 1127.97/1128.49 c 1128s | 25 | 6874658 | 5072998 | 5423 2515 | 1 | 1 1129.97/1130.49 c 1130s | 25 | 6889180 | 5080898 | 5423 2518 | 1 | 1 1132.06/1132.53 c 1132s | 25 | 6899626 | 5088498 | 5423 2521 | 1 | 1 1134.06/1134.54 c 1134s | 25 | 6910548 | 5096498 | 5423 2523 | 1 | 1 1136.06/1136.55 c 1136s | 25 | 6920533 | 5104098 | 5423 2526 | 1 | 1 1138.07/1138.56 c 1138s | 25 | 6929870 | 5111698 | 5423 2529 | 1 | 1 1140.16/1140.61 c 1140s | 25 | 6940046 | 5119498 | 5423 2532 | 1 | 1 1142.16/1142.62 c 1142s | 25 | 6952952 | 5127398 | 5423 2535 | 1 | 1 1144.16/1144.64 c 1144s | 25 | 6964604 | 5135398 | 5423 2538 | 1 | 1 1146.16/1146.66 c 1146s | 25 | 6974569 | 5143398 | 5423 2540 | 1 | 1 1148.16/1148.67 c 1148s | 25 | 6984838 | 5151398 | 5423 2543 | 1 | 1 1150.17/1150.68 c 1150s | 25 | 6996673 | 5159498 | 5423 2546 | 1 | 1 1152.16/1152.68 c 1152s | 25 | 7008881 | 5167698 | 5423 2549 | 1 | 1 1154.26/1154.70 c 1154s | 25 | 7023321 | 5175598 | 5423 2552 | 1 | 1 1156.26/1156.72 c 1156s | 25 | 7037622 | 5183598 | 5423 2555 | 1 | 1 1158.25/1158.74 c 1158s | 25 | 7047334 | 5190998 | 5423 2558 | 1 | 1 1160.35/1160.81 c 1160s | 25 | 7056638 | 5198598 | 5423 2561 | 1 | 1 1162.36/1162.83 c 1162s | 25 | 7067983 | 5206298 | 5423 2563 | 1 | 1 1164.35/1164.84 c 1164s | 25 | 7076551 | 5213398 | 5423 2566 | 1 | 1 1166.35/1166.86 c 1166s | 25 | 7087949 | 5221098 | 5423 2569 | 1 | 1 1168.35/1168.86 c 1168s | 25 | 7098194 | 5229098 | 5423 2572 | 1 | 1 1170.35/1170.87 c 1170s | 25 | 7109007 | 5237098 | 5423 2575 | 1 | 1 1172.35/1172.89 c 1172s | 25 | 7121665 | 5245398 | 5423 2578 | 1 | 1 1174.36/1174.89 c 1174s | 25 | 7134221 | 5253598 | 5423 2581 | 1 | 1 1176.45/1176.91 c 1176s | 25 | 7144211 | 5261498 | 5423 2584 | 1 | 1 1178.45/1178.95 c 1178s | 25 | 7156471 | 5269698 | 5423 2587 | 1 | 1 1180.45/1180.96 c 1180s | 25 | 7166699 | 5277598 | 5423 2589 | 1 | 1 1182.45/1182.98 c 1182s | 25 | 7176375 | 5285098 | 5423 2592 | 1 | 1 1184.55/1185.00 c 1184s | 25 | 7186111 | 5292798 | 5423 2595 | 1 | 1 1186.56/1187.02 c 1186s | 25 | 7195883 | 5300698 | 5423 2598 | 1 | 1 1188.55/1189.02 c 1188s | 25 | 7206579 | 5308498 | 5423 2601 | 1 | 1 1190.55/1191.02 c 1190s | 25 | 7216413 | 5316198 | 5423 2603 | 1 | 1 1192.55/1193.03 c 1192s | 25 | 7226652 | 5323798 | 5423 2606 | 1 | 1 1194.55/1195.05 c 1195s | 25 | 7236208 | 5331398 | 5423 2609 | 1 | 1 1196.55/1197.07 c 1197s | 25 | 7246823 | 5339798 | 5423 2612 | 1 | 1 1198.56/1199.10 c 1199s | 25 | 7256288 | 5346698 | 5423 2615 | 1 | 1 1200.66/1201.11 c 1201s | 25 | 7265438 | 5354198 | 5423 2617 | 1 | 1 1202.66/1203.11 c 1203s | 25 | 7275104 | 5361698 | 5423 2620 | 1 | 1 1204.65/1205.16 c 1205s | 25 | 7283660 | 5368598 | 5423 2623 | 1 | 1 1206.65/1207.17 c 1207s | 25 | 7297714 | 5377098 | 5423 2626 | 1 | 1 1208.65/1209.18 c 1209s | 25 | 7308836 | 5385098 | 5423 2629 | 1 | 1 1210.76/1211.20 c 1211s | 25 | 7319646 | 5393298 | 5423 2632 | 1 | 1 1212.75/1213.22 c 1213s | 25 | 7330050 | 5401198 | 5423 2634 | 1 | 1 1214.75/1215.22 c 1215s | 25 | 7340760 | 5409098 | 5423 2637 | 1 | 1 1216.75/1217.23 c 1217s | 25 | 7352470 | 5416698 | 5423 2640 | 1 | 1 1218.75/1219.23 c 1219s | 25 | 7363907 | 5424598 | 5423 2643 | 1 | 1 1220.75/1221.24 c 1221s | 25 | 7373519 | 5432198 | 5423 2646 | 1 | 1 1222.76/1223.24 c 1223s | 25 | 7383788 | 5439898 | 5423 2649 | 1 | 1 1224.75/1225.25 c 1225s | 25 | 7392964 | 5447498 | 5423 2651 | 1 | 1 1226.75/1227.27 c 1227s | 25 | 7402063 | 5455098 | 5423 2654 | 1 | 1 1228.75/1229.28 c 1229s | 25 | 7412364 | 5463698 | 5423 2657 | 1 | 1 1230.75/1231.28 c 1231s | 25 | 7422228 | 5471598 | 5423 2660 | 1 | 1 1232.85/1233.30 c 1233s | 25 | 7431823 | 5479398 | 5423 2663 | 1 | 1 1234.85/1235.32 c 1235s | 25 | 7441748 | 5487498 | 5423 2666 | 1 | 1 1236.85/1237.33 c 1237s | 25 | 7452848 | 5495998 | 5423 2669 | 1 | 1 1238.85/1239.34 c 1239s | 25 | 7463557 | 5504198 | 5423 2672 | 1 | 1 1240.85/1241.36 c 1241s | 25 | 7473179 | 5511698 | 5423 2675 | 1 | 1 1242.85/1243.38 c 1243s | 25 | 7482892 | 5519498 | 5423 2678 | 1 | 1 1244.85/1245.38 c 1245s | 25 | 7493398 | 5527698 | 5423 2681 | 1 | 1 1246.85/1247.40 c 1247s | 25 | 7503848 | 5535898 | 5423 2683 | 1 | 1 1248.95/1249.41 c 1249s | 25 | 7514866 | 5543998 | 5423 2686 | 1 | 1 1250.94/1251.41 c 1251s | 25 | 7525314 | 5551698 | 5423 2689 | 1 | 1 1252.94/1253.43 c 1253s | 25 | 7537319 | 5559698 | 5423 2692 | 1 | 1 1254.94/1255.44 c 1255s | 25 | 7547920 | 5567498 | 5423 2695 | 1 | 1 1256.95/1257.46 c 1257s | 25 | 7559997 | 5575698 | 5423 2698 | 1 | 1 1258.94/1259.47 c 1259s | 25 | 7570861 | 5583298 | 5423 2701 | 1 | 1 1260.94/1261.48 c 1261s | 25 | 7584365 | 5590998 | 5423 2704 | 1 | 1 1262.94/1263.49 c 1263s | 25 | 7593952 | 5598798 | 5423 2706 | 1 | 1 1264.94/1265.49 c 1265s | 25 | 7602611 | 5605698 | 5423 2709 | 1 | 1 1267.04/1267.51 c 1267s | 25 | 7613260 | 5613498 | 5423 2712 | 1 | 1 1269.04/1269.51 c 1269s | 25 | 7624416 | 5620998 | 5423 2714 | 1 | 1 1271.04/1271.52 c 1271s | 25 | 7636686 | 5628798 | 5423 2717 | 1 | 1 1273.04/1273.52 c 1273s | 25 | 7648755 | 5636898 | 5423 2720 | 1 | 1 1275.04/1275.52 c 1275s | 25 | 7664273 | 5645598 | 5423 2723 | 1 | 1 1277.04/1277.54 c 1277s | 25 | 7675314 | 5653798 | 5423 2726 | 1 | 1 1279.04/1279.56 c 1279s | 25 | 7686194 | 5662198 | 5423 2729 | 1 | 1 1281.04/1281.57 c 1281s | 25 | 7695337 | 5669898 | 5423 2732 | 1 | 1 1283.04/1283.57 c 1283s | 25 | 7703739 | 5677098 | 5423 2735 | 1 | 1 1285.03/1285.59 c 1285s | 25 | 7714102 | 5685698 | 5423 2738 | 1 | 1 1287.03/1287.59 c 1287s | 25 | 7724961 | 5693998 | 5423 2741 | 1 | 1 1289.13/1289.60 c 1289s | 25 | 7735126 | 5701798 | 5423 2744 | 1 | 1 1291.13/1291.61 c 1291s | 25 | 7745512 | 5709798 | 5423 2747 | 1 | 1 1293.15/1293.66 c 1293s | 25 | 7755696 | 5717298 | 5423 2749 | 1 | 1 1295.14/1295.67 c 1295s | 25 | 7764715 | 5724398 | 5423 2752 | 1 | 1 1297.14/1297.68 c 1297s | 25 | 7774678 | 5732298 | 5423 2755 | 1 | 1 1299.14/1299.68 c 1299s | 25 | 7785079 | 5739998 | 5423 2758 | 1 | 1 1301.24/1301.75 c 1301s | 25 | 7794209 | 5747598 | 5423 2761 | 1 | 1 1303.24/1303.77 c 1303s | 25 | 7804417 | 5755898 | 5423 2764 | 1 | 1 1305.24/1305.77 c 1305s | 25 | 7814993 | 5764198 | 5423 2767 | 1 | 1 1307.24/1307.78 c 1307s | 25 | 7827079 | 5772898 | 5423 2770 | 1 | 1 1309.24/1309.78 c 1309s | 25 | 7836554 | 5780498 | 5423 2773 | 1 | 1 1311.34/1311.80 c 1311s | 25 | 7849662 | 5789798 | 5423 2776 | 1 | 1 1313.34/1313.82 c 1313s | 25 | 7861063 | 5798498 | 5423 2779 | 1 | 1 1315.34/1315.83 c 1315s | 25 | 7873734 | 5807298 | 5423 2782 | 1 | 1 1317.34/1317.86 c 1317s | 25 | 7884507 | 5815898 | 5423 2785 | 1 | 1 1319.33/1319.87 c 1319s | 25 | 7894664 | 5823898 | 5423 2788 | 1 | 1 1321.33/1321.89 c 1321s | 25 | 7904530 | 5831298 | 5423 2791 | 1 | 1 1323.43/1323.90 c 1323s | 25 | 7915716 | 5839598 | 5423 2794 | 1 | 1 1325.43/1325.91 c 1325s | 25 | 7927012 | 5847598 | 5423 2797 | 1 | 1 1327.43/1327.91 c 1327s | 25 | 7940024 | 5855498 | 5423 2800 | 1 | 1 1329.44/1329.93 c 1329s | 25 | 7950941 | 5863598 | 5423 2803 | 1 | 1 1331.43/1331.93 c 1331s | 25 | 7961434 | 5871598 | 5423 2806 | 1 | 1 1333.43/1333.95 c 1333s | 25 | 7973035 | 5879698 | 5423 2809 | 1 | 1 1335.43/1335.96 c 1335s | 25 | 7984796 | 5887398 | 5423 2812 | 1 | 1 1337.43/1337.97 c 1337s | 25 | 7999333 | 5896298 | 5423 2815 | 1 | 1 1339.43/1339.97 c 1339s | 25 | 8010053 | 5904798 | 5423 2818 | 1 | 1 1341.43/1341.97 c 1341s | 25 | 8020203 | 5913098 | 5423 2821 | 1 | 1 1343.53/1344.09 c 1344s | 25 | 8030745 | 5921198 | 5423 2824 | 1 | 1 1345.53/1346.10 c 1346s | 25 | 8041065 | 5929698 | 5423 2827 | 1 | 1 1347.63/1348.11 c 1348s | 25 | 8052208 | 5937998 | 5423 2830 | 1 | 1 1349.62/1350.12 c 1350s | 25 | 8064924 | 5946398 | 5423 2833 | 1 | 1 1351.62/1352.14 c 1352s | 25 | 8075231 | 5954698 | 5423 2836 | 1 | 1 1353.63/1354.15 c 1354s | 25 | 8089219 | 5963298 | 5423 2839 | 1 | 1 1355.63/1356.17 c 1356s | 25 | 8102511 | 5971698 | 5423 2842 | 1 | 1 1357.63/1358.18 c 1358s | 25 | 8116069 | 5980298 | 5423 2845 | 1 | 1 1359.63/1360.19 c 1360s | 25 | 8126957 | 5988998 | 5423 2849 | 1 | 1 1361.73/1362.21 c 1362s | 25 | 8138028 | 5997798 | 5423 2852 | 1 | 1 1363.73/1364.22 c 1364s | 25 | 8151300 | 6006798 | 5423 2855 | 1 | 1 1365.74/1366.23 c 1366s | 25 | 8161252 | 6015098 | 5423 2858 | 1 | 1 1367.73/1368.23 c 1368s | 25 | 8174678 | 6023598 | 5423 2861 | 1 | 1 1369.73/1370.25 c 1370s | 25 | 8185194 | 6031898 | 5423 2864 | 1 | 1 1371.73/1372.25 c 1372s | 25 | 8195605 | 6040298 | 5423 2867 | 1 | 1 1373.73/1374.27 c 1374s | 25 | 8207685 | 6049098 | 5423 2870 | 1 | 1 1375.73/1376.29 c 1376s | 25 | 8217911 | 6057498 | 5423 2874 | 1 | 1 1377.73/1378.30 c 1378s | 25 | 8227886 | 6065698 | 5423 2877 | 1 | 1 1379.83/1380.30 c 1380s | 25 | 8239343 | 6074698 | 5423 2880 | 1 | 1 1381.83/1382.32 c 1382s | 25 | 8250668 | 6083498 | 5423 2883 | 1 | 1 1383.82/1384.33 c 1384s | 25 | 8262444 | 6092098 | 5423 2886 | 1 | 1 1385.82/1386.33 c 1386s | 25 | 8275882 | 6101698 | 5423 2890 | 1 | 1 1387.83/1388.37 c 1388s | 25 | 8287058 | 6109998 | 5423 2893 | 1 | 1 1389.82/1390.37 c 1390s | 25 | 8300316 | 6119298 | 5423 2896 | 1 | 1 1391.82/1392.37 c 1392s | 25 | 8311862 | 6127998 | 5423 2899 | 1 | 1 1393.82/1394.38 c 1394s | 25 | 8322782 | 6136398 | 5423 2902 | 1 | 1 1395.82/1396.38 c 1396s | 25 | 8334744 | 6145198 | 5423 2906 | 1 | 1 1397.82/1398.39 c 1398s | 25 | 8345288 | 6153398 | 5423 2909 | 1 | 1 1399.83/1400.40 c 1400s | 25 | 8356053 | 6162098 | 5423 2912 | 1 | 1 1401.92/1402.42 c 1402s | 25 | 8366338 | 6170598 | 5423 2915 | 1 | 1 1403.92/1404.42 c 1404s | 25 | 8377139 | 6179698 | 5423 2918 | 1 | 1 1405.92/1406.48 c 1406s | 25 | 8387839 | 6188298 | 5423 2921 | 1 | 1 1408.02/1408.50 c 1408s | 25 | 8398801 | 6196998 | 5423 2925 | 1 | 1 1410.02/1410.50 c 1410s | 25 | 8409952 | 6205398 | 5423 2928 | 1 | 1 1411.93/1412.50 c 1412s | 25 | 8422120 | 6214398 | 5423 2931 | 1 | 1 1414.02/1414.52 c 1414s | 25 | 8433201 | 6222798 | 5423 2934 | 1 | 1 1416.02/1416.53 c 1416s | 25 | 8444503 | 6231298 | 5423 2937 | 1 | 1 1418.02/1418.54 c 1418s | 25 | 8456847 | 6240298 | 5423 2940 | 1 | 1 1420.02/1420.56 c 1420s | 25 | 8467993 | 6249398 | 5423 2944 | 1 | 1 1422.02/1422.58 c 1422s | 25 | 8477163 | 6257098 | 5423 2946 | 1 | 1 1424.03/1424.59 c 1424s | 25 | 8488601 | 6265398 | 5423 2949 | 1 | 1 1426.02/1426.59 c 1426s | 25 | 8499256 | 6273298 | 5423 2952 | 1 | 1 1428.12/1428.60 c 1428s | 25 | 8508527 | 6281098 | 5423 2955 | 1 | 1 1430.12/1430.62 c 1430s | 25 | 8520819 | 6289498 | 5423 2958 | 1 | 1 1432.12/1432.64 c 1432s | 25 | 8535099 | 6298498 | 5423 2962 | 1 | 1 1434.12/1434.65 c 1434s | 25 | 8545427 | 6306398 | 5423 2964 | 1 | 1 1436.12/1436.65 c 1436s | 25 | 8556611 | 6314398 | 5423 2967 | 1 | 1 1438.12/1438.66 c 1438s | 25 | 8572120 | 6322898 | 5423 2970 | 1 | 1 1440.12/1440.67 c 1440s | 25 | 8584461 | 6331398 | 5423 2974 | 1 | 1 1442.22/1442.70 c 1442s | 25 | 8594634 | 6339498 | 5423 2977 | 1 | 1 1444.22/1444.70 c 1444s | 25 | 8605057 | 6347698 | 5423 2979 | 1 | 1 1446.22/1446.71 c 1446s | 25 | 8615977 | 6356298 | 5423 2983 | 1 | 1 1448.22/1448.71 c 1448s | 25 | 8628546 | 6365098 | 5423 2986 | 1 | 1 1450.21/1450.73 c 1450s | 25 | 8638259 | 6372898 | 5423 2989 | 1 | 1 1452.21/1452.75 c 1452s | 25 | 8648705 | 6381198 | 5423 2992 | 1 | 1 1454.21/1454.75 c 1454s | 25 | 8659398 | 6389198 | 5423 2995 | 1 | 1 1456.21/1456.75 c 1456s | 25 | 8669125 | 6397298 | 5423 2998 | 1 | 1 1458.22/1458.77 c 1458s | 25 | 8680072 | 6405798 | 5423 3001 | 1 | 1 1460.21/1460.78 c 1460s | 25 | 8690194 | 6413998 | 5423 3004 | 1 | 1 1462.31/1462.82 c 1462s | 25 | 8700283 | 6422398 | 5423 3007 | 1 | 1 1464.31/1464.82 c 1464s | 25 | 8711592 | 6431698 | 5423 3010 | 1 | 1 1466.31/1466.88 c 1466s | 25 | 8722355 | 6440798 | 5423 3013 | 1 | 1 1468.31/1468.88 c 1468s | 25 | 8733064 | 6449698 | 5423 3017 | 1 | 1 1470.32/1470.88 c 1470s | 25 | 8743785 | 6458598 | 5423 3020 | 1 | 1 1472.31/1472.90 c 1472s | 25 | 8754598 | 6467798 | 5423 3023 | 1 | 1 1474.41/1474.91 c 1474s | 25 | 8765061 | 6476498 | 5423 3027 | 1 | 1 1476.41/1476.93 c 1476s | 25 | 8775652 | 6485198 | 5423 3030 | 1 | 1 1478.41/1478.95 c 1478s | 25 | 8786367 | 6494198 | 5423 3033 | 1 | 1 1480.41/1480.97 c 1480s | 25 | 8797489 | 6503098 | 5423 3036 | 1 | 1 1482.41/1482.99 c 1482s | 25 | 8808518 | 6512098 | 5423 3040 | 1 | 1 1484.40/1485.00 c 1484s | 25 | 8819537 | 6521198 | 5423 3043 | 1 | 1 1486.50/1487.00 c 1486s | 25 | 8830246 | 6529798 | 5423 3046 | 1 | 1 1488.50/1489.02 c 1488s | 25 | 8841602 | 6538798 | 5423 3049 | 1 | 1 1490.50/1491.05 c 1491s | 25 | 8852278 | 6547498 | 5423 3053 | 1 | 1 1492.50/1493.06 c 1493s | 25 | 8862299 | 6555698 | 5423 3056 | 1 | 1 1494.51/1495.07 c 1495s | 25 | 8873376 | 6564498 | 5423 3059 | 1 | 1 1496.50/1497.09 c 1497s | 25 | 8884240 | 6573498 | 5423 3062 | 1 | 1 1498.50/1499.09 c 1499s | 25 | 8894816 | 6582298 | 5423 3065 | 1 | 1 1500.60/1501.13 c 1501s | 25 | 8905705 | 6591098 | 5423 3069 | 1 | 1 1502.60/1503.14 c 1503s | 25 | 8916592 | 6599998 | 5423 3072 | 1 | 1 1504.60/1505.14 c 1505s | 25 | 8927140 | 6608098 | 5423 3075 | 1 | 1 1506.61/1507.16 c 1507s | 25 | 8937705 | 6616598 | 5423 3078 | 1 | 1 1508.60/1509.18 c 1509s | 25 | 8947928 | 6624998 | 5423 3081 | 1 | 1 1510.60/1511.18 c 1511s | 25 | 8958584 | 6633998 | 5423 3084 | 1 | 1 1512.60/1513.19 c 1513s | 25 | 8969167 | 6642698 | 5423 3087 | 1 | 1 1514.70/1515.21 c 1515s | 25 | 8979316 | 6651198 | 5423 3091 | 1 | 1 1516.70/1517.22 c 1517s | 25 | 8989899 | 6659998 | 5423 3094 | 1 | 1 1518.71/1519.24 c 1519s | 25 | 9001012 | 6669098 | 5423 3097 | 1 | 1 1520.71/1521.25 c 1521s | 25 | 9012164 | 6677698 | 5423 3100 | 1 | 1 1522.71/1523.26 c 1523s | 25 | 9023075 | 6686798 | 5423 3104 | 1 | 1 1524.71/1525.26 c 1525s | 25 | 9033791 | 6695198 | 5423 3107 | 1 | 1 1526.71/1527.28 c 1527s | 25 | 9045537 | 6704498 | 5423 3110 | 1 | 1 1528.80/1529.30 c 1529s | 25 | 9054848 | 6712298 | 5423 3113 | 1 | 1 1530.81/1531.31 c 1531s | 25 | 9065482 | 6720998 | 5423 3116 | 1 | 1 1532.80/1533.32 c 1533s | 25 | 9076159 | 6729498 | 5423 3119 | 1 | 1 1534.80/1535.34 c 1535s | 25 | 9086584 | 6738098 | 5423 3122 | 1 | 1 1536.80/1537.35 c 1537s | 25 | 9097190 | 6746898 | 5423 3126 | 1 | 1 1538.80/1539.35 c 1539s | 25 | 9107797 | 6755798 | 5423 3129 | 1 | 1 1540.80/1541.37 c 1541s | 25 | 9118032 | 6764398 | 5423 3132 | 1 | 1 1542.81/1543.37 c 1543s | 25 | 9128620 | 6773298 | 5423 3135 | 1 | 1 1544.80/1545.37 c 1545s | 25 | 9138875 | 6782098 | 5423 3138 | 1 | 1 1546.90/1547.41 c 1547s | 25 | 9149774 | 6790398 | 5423 3142 | 1 | 1 1548.90/1549.42 c 1549s | 25 | 9163684 | 6799898 | 5423 3145 | 1 | 1 1550.90/1551.42 c 1551s | 25 | 9175672 | 6808298 | 5423 3148 | 1 | 1 1552.90/1553.43 c 1553s | 25 | 9186414 | 6816598 | 5423 3151 | 1 | 1 1554.90/1555.43 c 1555s | 25 | 9198934 | 6825998 | 5423 3154 | 1 | 1 1556.90/1557.45 c 1557s | 25 | 9208785 | 6834398 | 5423 3158 | 1 | 1 1558.90/1559.45 c 1559s | 25 | 9219045 | 6842998 | 5423 3161 | 1 | 1 1560.89/1561.46 c 1561s | 25 | 9228575 | 6850698 | 5423 3164 | 1 | 1 1562.89/1563.47 c 1563s | 25 | 9239457 | 6859698 | 5423 3167 | 1 | 1 1564.90/1565.47 c 1565s | 25 | 9250052 | 6868598 | 5423 3170 | 1 | 1 1566.89/1567.49 c 1567s | 25 | 9260539 | 6877598 | 5423 3173 | 1 | 1 1568.99/1569.50 c 1569s | 25 | 9271077 | 6886298 | 5423 3177 | 1 | 1 1570.99/1571.51 c 1571s | 25 | 9282142 | 6895398 | 5423 3180 | 1 | 1 1572.99/1573.51 c 1573s | 25 | 9292411 | 6903698 | 5423 3183 | 1 | 1 1574.99/1575.52 c 1575s | 25 | 9304726 | 6913198 | 5423 3186 | 1 | 1 1577.00/1577.53 c 1577s | 25 | 9315759 | 6921998 | 5423 3190 | 1 | 1 1579.00/1579.53 c 1579s | 25 | 9327347 | 6930898 | 5423 3193 | 1 | 1 1581.00/1581.54 c 1581s | 25 | 9339243 | 6940098 | 5423 3196 | 1 | 1 1583.00/1583.56 c 1583s | 25 | 9348957 | 6948198 | 5423 3199 | 1 | 1 1585.20/1585.73 c 1585s | 25 | 9358535 | 6955898 | 5423 3202 | 1 | 1 1587.20/1587.75 c 1587s | 25 | 9369128 | 6964598 | 5423 3205 | 1 | 1 1589.20/1589.76 c 1589s | 25 | 9378459 | 6972598 | 5423 3208 | 1 | 1 1591.20/1591.76 c 1591s | 25 | 9388029 | 6980898 | 5423 3211 | 1 | 1 1593.29/1593.83 c 1593s | 25 | 9397435 | 6988898 | 5423 3214 | 1 | 1 1595.29/1595.85 c 1595s | 25 | 9409832 | 6997998 | 5423 3217 | 1 | 1 1597.29/1597.86 c 1597s | 25 | 9422810 | 7007098 | 5423 3221 | 1 | 1 1599.29/1599.87 c 1599s | 25 | 9434305 | 7015698 | 5423 3224 | 1 | 1 1601.29/1601.88 c 1601s | 25 | 9444332 | 7024098 | 5423 3227 | 1 | 1 1603.40/1603.91 c 1603s | 25 | 9454909 | 7032598 | 5423 3230 | 1 | 1 1605.39/1605.94 c 1605s | 25 | 9467277 | 7041698 | 5423 3233 | 1 | 1 1607.39/1607.94 c 1607s | 25 | 9479854 | 7051098 | 5423 3237 | 1 | 1 1609.39/1609.95 c 1609s | 25 | 9489870 | 7059498 | 5423 3240 | 1 | 1 1611.39/1611.97 c 1611s | 25 | 9500446 | 7068498 | 5423 3243 | 1 | 1 1613.39/1613.98 c 1613s | 25 | 9510846 | 7077098 | 5423 3246 | 1 | 1 1615.40/1615.98 c 1615s | 25 | 9520378 | 7085398 | 5423 3249 | 1 | 1 1617.49/1618.01 c 1617s | 25 | 9530904 | 7093698 | 5423 3252 | 1 | 1 1619.49/1620.02 c 1619s | 25 | 9542397 | 7102098 | 5423 3255 | 1 | 1 1621.49/1622.04 c 1622s | 25 | 9552932 | 7110498 | 5423 3259 | 1 | 1 1623.49/1624.06 c 1624s | 25 | 9564500 | 7119198 | 5423 3262 | 1 | 1 1625.49/1626.08 c 1626s | 25 | 9575305 | 7127598 | 5423 3265 | 1 | 1 1627.50/1628.09 c 1628s | 25 | 9585737 | 7135498 | 5423 3268 | 1 | 1 1629.59/1630.10 c 1630s | 25 | 9595497 | 7143298 | 5423 3270 | 1 | 1 1631.59/1632.11 c 1632s | 25 | 9605564 | 7150998 | 5423 3273 | 1 | 1 1633.59/1634.12 c 1634s | 25 | 9619007 | 7159398 | 5423 3276 | 1 | 1 1635.59/1636.17 c 1636s | 25 | 9629720 | 7167998 | 5423 3280 | 1 | 1 1637.59/1638.17 c 1638s | 25 | 9640658 | 7176298 | 5423 3283 | 1 | 1 1639.59/1640.17 c 1640s | 25 | 9653289 | 7184798 | 5423 3286 | 1 | 1 1641.59/1642.18 c 1642s | 25 | 9666034 | 7193698 | 5423 3289 | 1 | 1 1643.68/1644.20 c 1644s | 25 | 9677440 | 7202298 | 5423 3292 | 1 | 1 1645.68/1646.21 c 1646s | 25 | 9687420 | 7210398 | 5423 3295 | 1 | 1 1647.68/1648.21 c 1648s | 25 | 9698732 | 7218798 | 5423 3298 | 1 | 1 1649.68/1650.22 c 1650s | 25 | 9711719 | 7227898 | 5423 3301 | 1 | 1 1651.69/1652.22 c 1652s | 25 | 9721273 | 7235998 | 5423 3304 | 1 | 1 1653.68/1654.23 c 1654s | 25 | 9732698 | 7244498 | 5423 3307 | 1 | 1 1655.68/1656.23 c 1656s | 25 | 9743930 | 7253598 | 5423 3311 | 1 | 1 1657.68/1658.25 c 1658s | 25 | 9754908 | 7262198 | 5423 3314 | 1 | 1 1659.68/1660.26 c 1660s | 25 | 9763514 | 7269398 | 5423 3317 | 1 | 1 1661.68/1662.26 c 1662s | 25 | 9775015 | 7277898 | 5423 3320 | 1 | 1 1663.68/1664.27 c 1664s | 25 | 9786307 | 7286298 | 5423 3323 | 1 | 1 1665.68/1666.28 c 1666s | 25 | 9796981 | 7294698 | 5423 3326 | 1 | 1 1667.68/1668.28 c 1668s | 25 | 9810880 | 7303898 | 5423 3329 | 1 | 1 1669.78/1670.31 c 1670s | 25 | 9822963 | 7312998 | 5423 3333 | 1 | 1 1671.78/1672.33 c 1672s | 25 | 9833886 | 7320998 | 5423 3335 | 1 | 1 1673.79/1674.33 c 1674s | 25 | 9844229 | 7329198 | 5423 3338 | 1 | 1 1675.78/1676.33 c 1676s | 25 | 9853837 | 7337398 | 5423 3341 | 1 | 1 1677.78/1678.37 c 1678s | 25 | 9863865 | 7345898 | 5423 3345 | 1 | 1 1679.78/1680.38 c 1680s | 25 | 9873109 | 7353798 | 5423 3347 | 1 | 1 1681.88/1682.42 c 1682s | 25 | 9882837 | 7361998 | 5423 3350 | 1 | 1 1683.88/1684.43 c 1684s | 25 | 9893507 | 7371098 | 5423 3354 | 1 | 1 1685.88/1686.43 c 1686s | 25 | 9903593 | 7379598 | 5423 3357 | 1 | 1 1687.88/1688.43 c 1688s | 25 | 9913980 | 7388398 | 5423 3360 | 1 | 1 1689.88/1690.44 c 1690s | 25 | 9925008 | 7397098 | 5423 3363 | 1 | 1 1691.88/1692.46 c 1692s | 25 | 9935933 | 7406198 | 5423 3367 | 1 | 1 1693.88/1694.48 c 1694s | 25 | 9946843 | 7414798 | 5423 3370 | 1 | 1 1695.88/1696.49 c 1696s | 25 | 9958776 | 7424098 | 5423 3373 | 1 | 1 1697.98/1698.51 c 1698s | 25 | 9970229 | 7432898 | 5423 3376 | 1 | 1 1699.97/1700.52 c 1700s | 25 | 9981536 | 7441598 | 5423 3380 | 1 | 1 1701.97/1702.53 c 1702s | 25 | 9993505 | 7450498 | 5423 3383 | 1 | 1 1703.97/1704.54 c 1704s | 25 | 10005349 | 7459598 | 5423 3386 | 1 | 1 1705.97/1706.55 c 1706s | 25 | 10018178 | 7469298 | 5423 3390 | 1 | 1 1707.97/1708.56 c 1708s | 25 | 10031443 | 7478198 | 5423 3393 | 1 | 1 1709.98/1710.57 c 1710s | 25 | 10044299 | 7487298 | 5423 3396 | 1 | 1 1711.97/1712.59 c 1712s | 25 | 10055389 | 7496498 | 5423 3400 | 1 | 1 1714.07/1714.61 c 1714s | 25 | 10066363 | 7504798 | 5423 3403 | 1 | 1 1716.07/1716.62 c 1716s | 25 | 10077211 | 7513698 | 5423 3406 | 1 | 1 1718.07/1718.63 c 1718s | 25 | 10089167 | 7522598 | 5423 3409 | 1 | 1 1720.07/1720.64 c 1720s | 25 | 10102793 | 7532098 | 5423 3413 | 1 | 1 1722.08/1722.66 c 1722s | 25 | 10116384 | 7541398 | 5423 3416 | 1 | 1 1724.07/1724.66 c 1724s | 25 | 10127079 | 7550098 | 5966 3419 | 1 | 1 1726.07/1726.67 c 1726s | 25 | 10137401 | 7558398 | 5966 3422 | 1 | 1 1728.07/1728.67 c 1728s | 25 | 10147861 | 7566598 | 5966 3424 | 1 | 1 1730.07/1730.68 c 1730s | 25 | 10159244 | 7575498 | 5966 3427 | 1 | 1 1732.17/1732.72 c 1732s | 25 | 10170070 | 7583098 | 5966 3430 | 1 | 1 1734.17/1734.75 c 1734s | 25 | 10180018 | 7590998 | 5966 3433 | 1 | 1 1735.67/1736.29 c 1736s | 26 | 10189108 | 7597752 | 5966 3435 | 1 | 1 1737.76/1738.30 c 1738s | 26 | 10199693 | 7604652 | 5966 3437 | 1 | 1 1739.67/1740.30 c 1740s | 26 | 10211032 | 7612152 | 5966 3440 | 1 | 1 1741.76/1742.31 c 1742s | 26 | 10226991 | 7620852 | 5966 3442 | 1 | 1 1743.76/1744.32 c 1744s | 26 | 10236316 | 7628052 | 5966 3445 | 1 | 1 1745.76/1746.33 c 1746s | 26 | 10248369 | 7635852 | 5966 3447 | 1 | 1 1747.76/1748.34 c 1748s | 26 | 10258586 | 7643252 | 5966 3450 | 1 | 1 1749.76/1750.36 c 1750s | 26 | 10268228 | 7651552 | 5966 3453 | 1 | 1 1751.77/1752.37 c 1752s | 26 | 10277194 | 7658952 | 5966 3455 | 1 | 1 1753.76/1754.38 c 1754s | 26 | 10287673 | 7667452 | 5966 3458 | 1 | 1 1755.87/1756.44 c 1756s | 26 | 10298640 | 7675752 | 5966 3461 | 1 | 1 1757.87/1758.44 c 1758s | 26 | 10309315 | 7684552 | 5966 3464 | 1 | 1 1759.87/1760.46 c 1760s | 26 | 10320766 | 7693252 | 5966 3466 | 1 | 1 1761.97/1762.51 c 1762s | 26 | 10332854 | 7702352 | 5966 3470 | 1 | 1 1763.98/1764.53 c 1764s | 26 | 10344324 | 7710752 | 5966 3472 | 1 | 1 1765.97/1766.54 c 1766s | 26 | 10355856 | 7719752 | 5966 3475 | 1 | 1 1767.97/1768.54 c 1768s | 26 | 10367298 | 7728552 | 5966 3478 | 1 | 1 1769.97/1770.55 c 1770s | 26 | 10378914 | 7737052 | 5966 3481 | 1 | 1 1771.97/1772.56 c 1772s | 26 | 10391787 | 7745752 | 5966 3484 | 1 | 1 1773.97/1774.56 c 1774s | 26 | 10403379 | 7754052 | 5966 3487 | 1 | 1 1775.97/1776.57 c 1776s | 26 | 10415719 | 7763652 | 5966 3490 | 1 | 1 1777.96/1778.58 c 1778s | 26 | 10427232 | 7771452 | 5966 3493 | 1 | 1 1779.96/1780.59 c 1780s | 26 | 10438520 | 7780552 | 5966 3496 | 1 | 1 1781.96/1782.59 c 1782s | 26 | 10449165 | 7788752 | 5966 3498 | 1 | 1 1784.06/1784.61 c 1784s | 26 | 10461281 | 7797552 | 5966 3501 | 1 | 1 1786.06/1786.62 c 1786s | 26 | 10472561 | 7805952 | 5966 3504 | 1 | 1 1788.07/1788.63 c 1788s | 26 | 10483588 | 7814052 | 5966 3507 | 1 | 1 1790.06/1790.64 c 1790s | 26 | 10496845 | 7822752 | 5966 3510 | 1 | 1 1792.06/1792.67 c 1792s | 26 | 10509177 | 7831352 | 5966 3512 | 1 | 1 1794.16/1794.70 c 1794s | 26 | 10519647 | 7839752 | 5966 3515 | 1 | 1 1796.16/1796.73 c 1796s | 26 | 10531759 | 7848052 | 5966 3518 | 1 | 1 1798.16/1798.74 c 1798s | 26 | 10543780 | 7856252 | 5966 3521 | 1 | 1
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-4106772-1466277598/watcher-4106772-1466277598 -o /tmp/evaluation-result-4106772-1466277598/solver-4106772-1466277598 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106772-1466277598.opb pid=27214 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.20 2.23 2.25 3/179 27217 /proc/meminfo: memFree=28885756/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=656828 CPUtime=0 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 2438 0 0 0 0 0 0 0 20 0 4 0 29805518 672591872 2798 33554432000 4194304 16246674 140736884917504 140736884916928 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 164719 2808 441 2943 0 161613 0 [pid=27217/tid=27218] ppid=27214 vsize=673348 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 689508352 2866 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=677444 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 693702656 2881 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=681540 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29805519 697896960 2899 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.20 2.23 2.25 3/179 27217 /proc/meminfo: memFree=28885756/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 25308 0 0 0 6 3 0 0 20 0 4 0 29805518 1247350784 25656 33554432000 4194304 16246674 140736884917504 140736884916928 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 304529 25669 794 2943 0 301423 0 [pid=27217/tid=27218] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 25679 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 25685 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 25691 33554432000 4194304 16246674 140736884917504 139676180532400 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.200462 s] /proc/loadavg: 2.20 2.23 2.25 3/179 27217 /proc/meminfo: memFree=28885756/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 48327 0 0 0 13 6 0 0 20 0 4 0 29805518 1247350784 48674 33554432000 4194304 16246674 140736884917504 140736884916928 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 304529 48684 794 2943 0 301423 0 [pid=27217/tid=27218] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 48693 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 48704 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 48714 33554432000 4194304 16246674 140736884917504 139676180532400 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.300478 s] /proc/loadavg: 2.20 2.23 2.25 3/179 27217 /proc/meminfo: memFree=28885756/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 73121 0 0 0 20 9 0 0 20 0 4 0 29805518 1247350784 73468 33554432000 4194304 16246674 140736884917504 140736884916928 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 304529 73480 794 2943 0 301423 0 [pid=27217/tid=27218] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 73485 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 73489 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 73495 33554432000 4194304 16246674 140736884917504 139676180532400 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.700393 s] /proc/loadavg: 2.20 2.23 2.25 3/179 27217 /proc/meminfo: memFree=28885756/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 172797 0 0 0 48 21 0 0 20 0 4 0 29805518 1247350784 173144 33554432000 4194304 16246674 140736884917504 140736884899392 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 304529 173158 795 2943 0 301423 0 [pid=27217/tid=27218] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 173167 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 173177 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29805519 1247350784 173186 33554432000 4194304 16246674 140736884917504 139676180532400 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.20 2.23 2.25 3/183 27221 /proc/meminfo: memFree=27901960/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 245938 0 0 0 118 31 0 0 20 0 4 0 29805518 1249447936 246263 33554432000 4194304 16246674 140736884917504 140736884916816 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 305041 246263 854 2943 0 301935 0 [pid=27217/tid=27218] ppid=27214 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1249447936 246263 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1249447936 246263 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1249447936 246263 33554432000 4194304 16246674 140736884917504 139676180532400 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) 1220164 [startup+3.1004 s] /proc/loadavg: 2.20 2.23 2.25 3/183 27221 /proc/meminfo: memFree=27817268/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 267667 0 0 0 276 33 0 0 20 0 4 0 29805518 1338576896 267992 33554432000 4194304 16246674 140736884917504 140736884916680 13195113 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 326801 267992 854 2943 0 323695 0 [pid=27217/tid=27218] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 267992 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 267992 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 267992 33554432000 4194304 16246674 140736884917504 139676180532400 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) 1307204 [startup+6.30041 s] /proc/loadavg: 2.27 2.25 2.26 4/184 27224 /proc/meminfo: memFree=27814064/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 267680 0 0 0 596 33 0 0 20 0 4 0 29805518 1338576896 268005 33554432000 4194304 16246674 140736884917504 140736884899392 4225938 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 326801 268005 854 2943 0 323695 0 [pid=27217/tid=27218] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 268005 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 268005 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 268005 33554432000 4194304 16246674 140736884917504 139676180532400 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.25 2.24 2.26 3/184 27224 /proc/meminfo: memFree=27814176/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1307204 CPUtime=12.68 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 267847 0 0 0 1235 33 0 0 20 0 4 0 29805518 1338576896 268172 33554432000 4194304 16246674 140736884917504 140736884899392 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 326801 268172 854 2943 0 323695 0 [pid=27217/tid=27218] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 268172 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 268172 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1338576896 268172 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.19 2.23 2.25 4/184 27224 /proc/meminfo: memFree=27810696/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1311300 CPUtime=25.49 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 268925 0 0 0 2515 34 0 0 20 0 4 0 29805518 1342771200 269250 33554432000 4194304 16246674 140736884917504 140736884899392 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 327825 269250 854 2943 0 324719 0 [pid=27217/tid=27218] ppid=27214 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1342771200 269250 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1342771200 269250 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1342771200 269250 33554432000 4194304 16246674 140736884917504 139676180532400 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) 1311300 [startup+51.1005 s] /proc/loadavg: 2.19 2.23 2.25 3/184 27225 /proc/meminfo: memFree=27810304/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1311300 CPUtime=51.08 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 268926 0 0 0 5074 34 0 0 20 0 4 0 29805518 1342771200 269251 33554432000 4194304 16246674 140736884917504 140736884899392 5722912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 327825 269251 855 2943 0 324719 0 [pid=27217/tid=27218] ppid=27214 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1342771200 269251 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1342771200 269251 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1342771200 269251 33554432000 4194304 16246674 140736884917504 139676180532400 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) 1311300 [startup+102.3 s] /proc/loadavg: 2.14 2.20 2.24 3/183 27226 /proc/meminfo: memFree=27776428/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1312324 CPUtime=102.28 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 269187 0 0 0 10194 34 0 0 20 0 4 0 29805518 1343819776 269510 33554432000 4194304 16246674 140736884917504 140736884899392 5824003 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 328081 269510 855 2943 0 324975 0 [pid=27217/tid=27218] ppid=27214 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1343819776 269510 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1343819776 269510 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1343819776 269510 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 272859 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1326660 [startup+1302.3 s] /proc/loadavg: 2.36 2.28 2.22 4/183 27305 /proc/meminfo: memFree=27802056/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1301.84 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 130132 52 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884900504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1326660 [startup+1362.3 s] /proc/loadavg: 2.32 2.28 2.22 3/183 27306 /proc/meminfo: memFree=27801720/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1361.83 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 136130 53 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884900504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1326660 [startup+1422.3 s] /proc/loadavg: 2.26 2.27 2.22 3/183 27307 /proc/meminfo: memFree=27801588/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1421.83 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 142129 54 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884900504 13809239 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1326660 [startup+1482.3 s] /proc/loadavg: 2.32 2.28 2.22 4/183 27308 /proc/meminfo: memFree=27801844/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1481.8 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 148126 54 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884900504 5822536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1326660 [startup+1542.31 s] /proc/loadavg: 2.31 2.27 2.22 3/183 27309 /proc/meminfo: memFree=27801752/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1541.81 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 154126 55 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884899392 5823230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1326660 [startup+1602.3 s] /proc/loadavg: 2.23 2.25 2.21 3/183 27311 /proc/meminfo: memFree=27801716/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1601.79 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 160123 56 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884899392 6845797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1326660 [startup+1662.3 s] /proc/loadavg: 2.20 2.23 2.21 4/183 27312 /proc/meminfo: memFree=27801564/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1661.78 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 166122 56 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884899392 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1326660 [startup+1722.3 s] /proc/loadavg: 2.22 2.23 2.21 3/183 27313 /proc/meminfo: memFree=27801336/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1721.77 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 172120 57 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884899392 13965672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1326660 [startup+1782.3 s] /proc/loadavg: 2.23 2.23 2.20 3/183 27314 /proc/meminfo: memFree=27801064/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1781.76 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 178118 58 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884899392 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1326660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.26 2.24 2.21 4/183 27314 /proc/meminfo: memFree=27801776/32872528 swapFree=1499884/1696108 [pid=27217] ppid=27214 vsize=1326660 CPUtime=1800.06 cores=0,2,4,6 /proc/27217/stat : 27217 (toysat) R 27214 27217 24910 0 -1 4202496 273186 0 0 0 179948 58 0 0 20 0 4 0 29805518 1358499840 273096 33554432000 4194304 16246674 140736884917504 140736884899392 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27217/statm: 331665 273096 856 2943 0 328559 0 [pid=27217/tid=27218] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27218/stat : 27218 (toysat) S 27214 27217 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676201495792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27217/tid=27219] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27219/stat : 27219 (toysat) S 27214 27217 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676191005936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27217/tid=27220] ppid=27214 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/27217/task/27220/stat : 27220 (toysat) S 27214 27217 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29805519 1358499840 273096 33554432000 4194304 16246674 140736884917504 139676180532400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1326660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27217 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.49 CPU system time (s): 0.58891 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 1326660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.58891 maximum resident set size= 1092384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273186 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= 432 involuntary context switches= 1855 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.71328 second user time and 6.83896 second system time The end
Begin job on node137 at 2016-06-18 21:19:58 IDJOB=4106772 IDBENCH=48246 IDSOLVER=2542 FILE ID=node137/4106772-1466277598 RUNJOBID= node137-1466264772-24926 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106772-1466277598/watcher-4106772-1466277598 -o /tmp/evaluation-result-4106772-1466277598/solver-4106772-1466277598 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106772-1466277598.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 138d1c5c8dee06528dd1cfb072975c49 RANDOM SEED=1328906209 node137.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.486 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 : 5332.97 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.486 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 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.486 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.38 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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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: 28886392 kB Buffers: 158032 kB Cached: 259476 kB SwapCached: 1268 kB Active: 1282928 kB Inactive: 262128 kB Active(anon): 1128476 kB Inactive(anon): 1028 kB Active(file): 154452 kB Inactive(file): 261100 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 16344 kB Writeback: 0 kB AnonPages: 2824644 kB Mapped: 10880 kB Shmem: 0 kB Slab: 607840 kB SReclaimable: 51988 kB SUnreclaim: 555852 kB KernelStack: 1488 kB PageTables: 9704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2967548 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1257472 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= 71672 MiB End job on node137 at 2016-06-18 21:49:59