| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb |
| MD5SUM | 901fa4df755866cb23bdcc769669d554 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.170973 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 189 |
| Total number of constraints | 15 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 15 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 567 |
| Sum of products size (including duplicates) | 1134 |
| Number of different products | 567 |
| Sum of products size | 1134 |
0.00/0.00 c 2016-06-18T20:05:01+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-4106544-1466273101.opb"] 0.00/0.01 c use --random-gen="352851805 3950443940 2616227123 4286320850 3048675861 3294121178 3941388047 1107795805 2631613652 1368497522 812695672 4011746882 4027040138 3965616562 2062456980 1801416487 3901248712 703547626 3758042189 3874391144 1353732993 3284255188 1264371957 2860628426 3518369506 826987549 515043277 2238056931 1524305247 2818296898 3116387712 3574972460 3595624812 428648755 43654725 2898989793 507847201 925092185 2787147906 973212291 3133411710 2122022807 2744328305 3622060556 1788922612 1065093715 2010540447 2991280733 1688209651 2860698715 2894077783 3614775846 818497007 1074160261 1176633846 417522175 200399118 1684843731 1137053199 1135241359 4159794062 117718703 3815104236 1032626805 2574905105 1315585420 2399949405 3265491420 2573741093 1504035555 1405005594 2188134656 29689183 94157056 2264947967 2320214301 1576681120 72746891 3267961635 263278728 2682100845 3854168936 3412556733 3891551309 526458898 4266144238 2604460272 685109268 2856306100 1381907519 692069521 462734597 2871000093 3191179934 1115096663 3878607032 2288868442 2181027705 908886240 1247220334 3656317171 3882819358 2784317369 1463486060 3730999122 4070703270 3593676567 10860155 426178213 2766941701 906027778 2215453796 2185236700 3442891401 2121171130 866618904 2466404165 4050093846 953286344 2078842519 3324596115 1168851060 4024838317 3399329020 3030617885 1401912714 3219868885 3634434936 224732259 1566043974 4217375180 2279774172 794944224 1351403982 3457733404 1065552072 1119971293 2382832724 2211055304 3221537792 4180533969 2843786572 892382528 3160067586 3509344509 3870379755 462919285 982744977 718535756 3860164496 3032350302 3543584845 2180011588 3368500708 187358820 4059132481 3176616099 1349820686 547934587 1760001032 4208442093 3156329014 934020641 1108823700 3673640060 314051963 2951873717 2987835830 671130616 2474552348 2926797139 2114733632 4158234270 1368803721 3720867873 2462957603 3432334348 585424369 934574826 3111463610 2964551444 1282719225 658334857 2803096116 1976223963 2318425950 2192489519 607242583 2470106302 4189654368 2886778981 657726224 157363200 1597257600 2195648264 703938098 1338206431 2695263507 2266307016 259103002 1948698552 869866296 1717479490 1132283520 1229790605 4141049410 3645649701 3940391116 1421764580 296258646 3162757571 2817820703 1686199423 291278326 3395788457 2982137870 2314143113 1742329716 1060767758 2845766595 1060765046 2439577083 972417467 3589865249 326897958 149044656 2035831504 607755922 4092914502 248765399 1250401474 401683741 904316920 2734360734 1399645658 1791227086 558028535 3678173594 274796860 940628830 3540822554 3045633435 489956532 1553418740 2388866716 2035118120 967562722 1463344817 1191888810 1768824507 358422142 2316080539 2301610761 2179404881 781137995 1336122100 255 362436" option to reproduce the execution 0.00/0.01 c #vars 189 0.00/0.01 c #constraints 15 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 | 826 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 113 | 100 | 826 0 | 0 | 0 0.09/0.11 c 0.1s | 2 | 303 | 250 | 909 0 | 0 | 0 0.09/0.18 c 0.2s | 3 | 607 | 475 | 1000 0 | 0 | 0 0.19/0.29 c 0.3s | 4 | 1032 | 813 | 1100 0 | 0 | 0 0.79/0.86 c 0.8s | 5 | 1649 | 1320 | 1210 0 | 0 | 0 1.29/1.36 c 1.3s | 6 | 2532 | 2081 | 1465 1 | 0 | 0 1.69/1.77 c 1.7s | 7 | 3788 | 3223 | 1612 2 | 0 | 0 2.68/2.74 c 2.7s | 8 | 5973 | 4936 | 1774 4 | 0 | 0 3.48/3.58 c 3.5s | 9 | 8697 | 7506 | 1952 6 | 0 | 0 4.98/5.01 c 5.0s | 10 | 12865 | 11361 | 2148 9 | 0 | 0 6.98/7.04 c 7.0s | 10 | 16960 | 15161 | 2148 12 | 0 | 0 7.88/7.96 c 7.9s | 11 | 19063 | 17144 | 2363 13 | 0 | 0 9.89/9.97 c 9.9s | 11 | 24549 | 22344 | 2363 17 | 0 | 0 11.38/11.45 c 11.4s | 12 | 28081 | 25819 | 2600 19 | 0 | 0 13.38/13.47 c 13.4s | 12 | 34212 | 31519 | 2600 22 | 0 | 0 15.39/15.47 c 15.4s | 12 | 39436 | 36519 | 2600 26 | 0 | 0 16.28/16.30 c 16.3s | 13 | 41789 | 38832 | 2861 27 | 0 | 0 18.28/18.33 c 18.3s | 13 | 48596 | 45232 | 2861 31 | 0 | 0 20.28/20.35 c 20.3s | 13 | 54847 | 51132 | 2861 35 | 0 | 0 22.28/22.37 c 22.3s | 13 | 60947 | 57032 | 2861 38 | 0 | 0 22.68/22.76 c 22.7s | 14 | 62353 | 58352 | 3148 39 | 0 | 0 24.68/24.78 c 24.8s | 14 | 70360 | 65952 | 3148 43 | 0 | 0 24.98/25.00 c 25.0s | 14 | 71147 | 66703 | 3148 43 | 0 | 0 24.98/25.00 c #cpu_time = 24.972s 24.98/25.00 c #wall_clock_time = 24.972s 24.98/25.00 c #decision = 71147 24.98/25.00 c #random_decision = 220 24.98/25.00 c #conflict = 66703 24.98/25.00 c #restart = 14 24.98/25.00 o 419 24.98/25.00 c BCD2: updating upper bound: 511 -> 418 24.98/25.00 c BCD2: 0 <= obj <= 418 24.98/25.00 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 24.98/25.00 c BCD2: #sat=1 #unsat=1 bias=1/2 24.98/25.00 c Solving starts ... 24.98/25.00 c ============================[ Search Statistics ]============================ 24.98/25.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.98/25.00 c | | | | Limit GC | Var | Constra 24.98/25.00 c ============================================================================= 24.98/25.00 c 0.0s | 0 | 0 | 0 | 3148 0 | 0 | 0 24.98/25.02 c 0.0s | 0 | 7 | 0 | 3148 1 | 0 | 0 24.98/25.02 c #cpu_time = 0.020s 24.98/25.02 c #wall_clock_time = 0.020s 24.98/25.02 c #decision = 7 24.98/25.02 c #random_decision = 0 24.98/25.02 c #conflict = 0 24.98/25.02 c #restart = 0 24.98/25.02 c BCD2: found a new core of size 8: cost of the new core is >=2 24.98/25.02 c lower bound updated to 2 24.98/25.02 c BCD2: 2 <= obj <= 418 24.98/25.02 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 24.98/25.02 c BCD2: #sat=1 #unsat=2 bias=2/3 24.98/25.02 c Solving starts ... 24.98/25.02 c ============================[ Search Statistics ]============================ 24.98/25.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.98/25.02 c | | | | Limit GC | Var | Constra 24.98/25.02 c ============================================================================= 24.98/25.02 c 0.0s | 0 | 0 | 0 | 3148 0 | 0 | 0 25.18/25.28 c 0.3s | 1 | 226 | 100 | 3148 0 | 0 | 0 25.29/25.31 c 0.3s | 2 | 557 | 250 | 3148 0 | 0 | 0 25.29/25.40 c 0.4s | 3 | 823 | 475 | 3148 0 | 0 | 0 25.39/25.49 c 0.5s | 4 | 1329 | 813 | 3148 0 | 0 | 0 25.78/25.88 c 0.9s | 5 | 1904 | 1320 | 3148 0 | 0 | 0 25.98/26.05 c 1.0s | 6 | 2851 | 2081 | 3148 1 | 0 | 0 26.98/27.07 c 2.0s | 7 | 4169 | 3223 | 3148 2 | 0 | 0 27.38/27.49 c 2.5s | 8 | 6057 | 4936 | 3148 2 | 0 | 0 28.78/28.86 c 3.8s | 9 | 8884 | 7506 | 3148 4 | 0 | 0 29.88/29.96 c 4.9s | 10 | 12941 | 11361 | 3148 6 | 0 | 0 31.89/31.99 c 7.0s | 10 | 18182 | 16461 | 3148 9 | 0 | 0 32.08/32.19 c 7.2s | 11 | 18880 | 17144 | 3148 9 | 0 | 0 34.19/34.21 c 9.2s | 11 | 24907 | 22944 | 3463 13 | 0 | 0 34.98/35.00 c 10.0s | 12 | 27957 | 25819 | 3463 14 | 0 | 0 36.98/37.02 c 12.0s | 12 | 32145 | 29619 | 3463 16 | 0 | 0 38.98/39.04 c 14.0s | 12 | 36271 | 33719 | 3463 18 | 0 | 0 40.98/41.09 c 16.1s | 12 | 40024 | 36319 | 3463 19 | 0 | 0 42.98/43.06 c 18.0s | 13 | 45300 | 38832 | 3463 20 | 0 | 0 44.98/45.07 c 20.0s | 13 | 49523 | 41732 | 3463 22 | 0 | 0 47.08/47.11 c 22.1s | 13 | 52713 | 44832 | 3463 24 | 0 | 0 49.09/49.14 c 24.1s | 13 | 58238 | 50232 | 3463 26 | 0 | 0 51.09/51.14 c 26.1s | 13 | 63685 | 55532 | 3463 29 | 0 | 0 52.39/52.46 c 27.4s | 14 | 66606 | 58352 | 3463 31 | 0 | 0 54.38/54.48 c 29.5s | 14 | 74162 | 65052 | 3810 34 | 0 | 0 56.48/56.50 c 31.5s | 14 | 79543 | 70152 | 3810 36 | 0 | 0 58.48/58.52 c 33.5s | 14 | 84773 | 75152 | 3810 39 | 0 | 0 60.49/60.52 c 35.5s | 14 | 90788 | 80652 | 3810 41 | 0 | 0 62.48/62.53 c 37.5s | 14 | 96487 | 85852 | 3810 44 | 0 | 0 63.08/63.15 c 38.1s | 15 | 98359 | 87632 | 3810 45 | 0 | 0 65.08/65.17 c 40.2s | 15 | 105612 | 94732 | 3810 48 | 0 | 0 67.09/67.20 c 42.2s | 15 | 112324 | 101332 | 3810 51 | 0 | 0 69.18/69.21 c 44.2s | 15 | 119169 | 108032 | 3810 55 | 0 | 0 71.18/71.22 c 46.2s | 15 | 125793 | 114532 | 3810 58 | 0 | 0 73.18/73.24 c 48.2s | 15 | 132949 | 121532 | 3810 61 | 0 | 0 75.18/75.25 c 50.2s | 15 | 135988 | 124332 | 3810 62 | 0 | 0 77.18/77.28 c 52.3s | 15 | 140903 | 129032 | 3810 64 | 0 | 0 78.28/78.34 c 53.3s | 16 | 143499 | 131552 | 4191 65 | 0 | 0 80.29/80.38 c 55.4s | 16 | 148608 | 136452 | 4191 67 | 0 | 0 82.28/82.39 c 57.4s | 16 | 153140 | 140952 | 4191 69 | 0 | 0 84.38/84.42 c 59.4s | 16 | 157740 | 145452 | 4191 71 | 0 | 0 86.38/86.44 c 61.4s | 16 | 162982 | 150452 | 4191 73 | 0 | 0 88.38/88.46 c 63.4s | 16 | 167601 | 154852 | 4191 75 | 0 | 0 90.38/90.46 c 65.4s | 16 | 172336 | 159452 | 4191 77 | 0 | 0 92.48/92.53 c 67.5s | 16 | 176933 | 163552 | 4191 79 | 0 | 0 94.48/94.54 c 69.5s | 16 | 182113 | 168552 | 4191 81 | 0 | 0 96.48/96.57 c 71.5s | 16 | 186793 | 173152 | 4191 83 | 0 | 0 98.47/98.58 c 73.6s | 16 | 191086 | 177352 | 4191 85 | 0 | 0 100.47/100.59 c 75.6s | 16 | 195555 | 181652 | 4191 87 | 0 | 0 102.57/102.60 c 77.6s | 16 | 200305 | 186252 | 4191 89 | 0 | 0 104.58/104.63 c 79.6s | 16 | 205026 | 190552 | 4191 91 | 0 | 0 106.57/106.66 c 81.6s | 16 | 209802 | 194852 | 4191 92 | 0 | 0 107.78/107.84 c 82.8s | 17 | 212584 | 197432 | 4191 94 | 0 | 0 109.77/109.85 c 84.8s | 17 | 217187 | 201632 | 4191 95 | 0 | 0 111.77/111.85 c 86.8s | 17 | 223583 | 207932 | 4191 98 | 0 | 0 113.77/113.86 c 88.8s | 17 | 229951 | 214232 | 4191 101 | 0 | 0 115.77/115.87 c 90.8s | 17 | 236474 | 220632 | 4191 104 | 0 | 0 117.78/117.88 c 92.9s | 17 | 242839 | 226832 | 4191 106 | 0 | 0 119.77/119.90 c 94.9s | 17 | 249229 | 233132 | 4611 109 | 0 | 0 121.87/121.92 c 96.9s | 17 | 254828 | 238632 | 4611 111 | 0 | 0 123.87/123.95 c 98.9s | 17 | 260267 | 243932 | 4611 113 | 0 | 0 125.87/125.96 c 100s | 17 | 266133 | 249732 | 4611 116 | 0 | 0 127.87/127.98 c 102s | 17 | 271705 | 255232 | 4611 118 | 0 | 0 129.87/129.98 c 104s | 17 | 278070 | 261532 | 4611 120 | 0 | 0 131.97/132.02 c 106s | 17 | 284493 | 267832 | 4611 123 | 0 | 0 133.96/134.04 c 109s | 17 | 291089 | 274232 | 4611 126 | 0 | 0 135.96/136.05 c 111s | 17 | 297285 | 280132 | 4611 128 | 1 | 9 137.96/138.09 c 113s | 17 | 303015 | 285732 | 4611 130 | 1 | 9 140.06/140.12 c 115s | 17 | 308807 | 291132 | 4611 132 | 1 | 9 142.06/142.11 c 117s | 18 | 314034 | 296252 | 4611 134 | 1 | 9 144.07/144.14 c 119s | 18 | 321155 | 303052 | 4611 137 | 1 | 9 146.07/146.14 c 121s | 18 | 327413 | 308852 | 4611 139 | 1 | 9 148.07/148.18 c 123s | 18 | 333034 | 314152 | 4611 141 | 1 | 9 150.07/150.19 c 125s | 18 | 338591 | 319252 | 4611 143 | 1 | 9 152.17/152.22 c 127s | 18 | 344166 | 324552 | 4611 145 | 1 | 9 154.17/154.24 c 129s | 18 | 349992 | 329952 | 4611 147 | 1 | 9 156.17/156.26 c 131s | 18 | 355643 | 335252 | 4611 149 | 1 | 9 158.26/158.30 c 133s | 18 | 361144 | 340252 | 4611 151 | 1 | 9 160.26/160.32 c 135s | 18 | 366555 | 345252 | 4611 153 | 1 | 9 162.26/162.34 c 137s | 18 | 371676 | 350052 | 4611 155 | 1 | 9 164.26/164.37 c 139s | 18 | 376683 | 354952 | 4611 157 | 1 | 9 166.26/166.39 c 141s | 18 | 381396 | 359552 | 4611 159 | 1 | 9 168.36/168.45 c 143s | 18 | 386327 | 364352 | 4611 161 | 1 | 9 170.36/170.45 c 145s | 18 | 391245 | 369152 | 4611 162 | 1 | 9 172.36/172.48 c 147s | 18 | 397316 | 375052 | 5073 164 | 1 | 9 174.45/174.53 c 149s | 18 | 401828 | 379452 | 5073 166 | 1 | 9 176.45/176.55 c 151s | 18 | 406819 | 384252 | 5073 168 | 1 | 9 178.45/178.57 c 153s | 18 | 412364 | 389552 | 5073 170 | 1 | 9 180.46/180.59 c 155s | 18 | 418554 | 395652 | 5073 172 | 1 | 9 182.56/182.63 c 157s | 18 | 423651 | 400652 | 5073 173 | 1 | 9 184.55/184.65 c 159s | 18 | 428645 | 405552 | 5073 175 | 1 | 9 186.55/186.66 c 161s | 18 | 433611 | 410352 | 5073 177 | 1 | 9 188.55/188.69 c 163s | 18 | 439599 | 416252 | 5073 179 | 1 | 9 190.65/190.70 c 165s | 18 | 445297 | 421852 | 5073 181 | 1 | 9 192.64/192.70 c 167s | 18 | 451299 | 427752 | 5073 183 | 1 | 9 194.65/194.72 c 169s | 18 | 456938 | 433252 | 5073 185 | 1 | 9 196.64/196.75 c 171s | 18 | 461591 | 437852 | 5073 186 | 1 | 9 198.64/198.76 c 173s | 18 | 466433 | 442552 | 5073 188 | 1 | 9 199.54/199.64 c 174s | 19 | 468383 | 444482 | 5073 189 | 1 | 9 201.54/201.66 c 176s | 19 | 472192 | 447882 | 5073 190 | 1 | 9 203.55/203.69 c 178s | 19 | 475336 | 450882 | 5073 191 | 1 | 9 205.65/205.70 c 180s | 19 | 479540 | 454982 | 5073 193 | 1 | 9 207.64/207.71 c 182s | 19 | 483373 | 458682 | 5073 194 | 1 | 9 209.64/209.77 c 184s | 19 | 487689 | 462882 | 5073 195 | 1 | 9 211.64/211.78 c 186s | 19 | 492688 | 467382 | 5073 197 | 1 | 9 213.74/213.81 c 188s | 19 | 496382 | 470882 | 5073 198 | 1 | 9 215.73/215.82 c 190s | 19 | 500311 | 474682 | 5073 200 | 1 | 9 217.74/217.85 c 192s | 19 | 504379 | 478482 | 5073 201 | 1 | 9 219.73/219.86 c 194s | 19 | 507880 | 481682 | 5073 202 | 1 | 9 221.73/221.89 c 196s | 19 | 511842 | 485282 | 5073 203 | 1 | 9 223.83/223.91 c 198s | 19 | 516002 | 488582 | 5073 205 | 1 | 9 225.83/225.94 c 200s | 19 | 520623 | 492982 | 5073 206 | 1 | 9 227.83/227.97 c 202s | 19 | 523919 | 496082 | 5073 207 | 1 | 9 229.84/229.99 c 204s | 19 | 527787 | 499682 | 5073 208 | 1 | 9 231.93/232.03 c 207s | 19 | 531941 | 503482 | 5073 210 | 1 | 9 233.93/234.04 c 209s | 19 | 535908 | 507182 | 5073 211 | 1 | 9 236.02/236.10 c 211s | 19 | 539681 | 510582 | 5073 212 | 1 | 9 238.02/238.12 c 213s | 19 | 543429 | 513882 | 5073 213 | 1 | 9 240.02/240.15 c 215s | 19 | 547960 | 518082 | 5073 215 | 1 | 9 242.03/242.17 c 217s | 19 | 551836 | 521782 | 5073 216 | 1 | 9 244.13/244.22 c 219s | 19 | 556118 | 525882 | 5073 218 | 1 | 9 246.12/246.26 c 221s | 19 | 559384 | 528882 | 5073 219 | 1 | 9 248.22/248.33 c 223s | 19 | 562582 | 531982 | 5073 220 | 1 | 9 250.22/250.34 c 225s | 19 | 565965 | 535182 | 5073 221 | 1 | 9 252.22/252.34 c 227s | 19 | 568613 | 537582 | 5073 222 | 1 | 9 254.22/254.36 c 229s | 19 | 571259 | 539982 | 5073 223 | 1 | 9 256.22/256.38 c 231s | 19 | 574669 | 543282 | 5073 224 | 1 | 9 258.32/258.43 c 233s | 19 | 578194 | 546782 | 5073 225 | 1 | 9 260.32/260.45 c 235s | 19 | 581262 | 549582 | 5073 226 | 1 | 9 262.42/262.50 c 237s | 19 | 584159 | 552182 | 5073 227 | 1 | 9 264.41/264.51 c 239s | 19 | 587469 | 555282 | 5073 228 | 1 | 9 266.41/266.56 c 241s | 19 | 591284 | 558882 | 5073 229 | 1 | 9 268.42/268.59 c 243s | 19 | 594962 | 562282 | 5073 231 | 1 | 9 270.41/270.59 c 245s | 19 | 599025 | 566282 | 5073 232 | 1 | 9 272.51/272.60 c 247s | 19 | 603289 | 570482 | 5073 234 | 1 | 9 274.51/274.63 c 249s | 19 | 607118 | 574082 | 5073 235 | 1 | 9 276.51/276.64 c 251s | 19 | 611273 | 578182 | 5073 236 | 1 | 9 278.51/278.68 c 253s | 19 | 615435 | 582282 | 5073 238 | 1 | 9 280.51/280.68 c 255s | 19 | 619490 | 586282 | 5073 239 | 1 | 9 282.61/282.72 c 257s | 19 | 623352 | 590082 | 5073 240 | 1 | 9 284.60/284.75 c 259s | 19 | 627085 | 593782 | 5073 242 | 1 | 9 286.60/286.76 c 261s | 19 | 630908 | 597582 | 5581 243 | 1 | 9 288.60/288.79 c 263s | 19 | 634554 | 601182 | 5581 244 | 1 | 9 290.70/290.82 c 265s | 19 | 638176 | 604782 | 5581 245 | 1 | 9 292.70/292.83 c 267s | 19 | 642049 | 608582 | 5581 246 | 1 | 9 294.70/294.88 c 269s | 19 | 645895 | 612382 | 5581 248 | 1 | 9 296.79/296.93 c 271s | 19 | 649756 | 616182 | 5581 249 | 1 | 9 298.79/298.97 c 273s | 19 | 653681 | 620082 | 5581 250 | 1 | 9 300.79/300.97 c 275s | 19 | 657813 | 624182 | 5581 252 | 1 | 9 302.89/303.00 c 277s | 19 | 661955 | 628282 | 5581 253 | 1 | 9 304.89/305.03 c 280s | 19 | 666090 | 632382 | 5581 254 | 1 | 9 306.90/307.03 c 282s | 19 | 670077 | 636282 | 5581 256 | 1 | 9 308.89/309.07 c 284s | 19 | 673988 | 640082 | 5581 257 | 1 | 9 310.99/311.12 c 286s | 19 | 677706 | 643782 | 5581 258 | 1 | 9 312.99/313.15 c 288s | 19 | 681567 | 647582 | 5581 259 | 1 | 9 314.99/315.15 c 290s | 19 | 685153 | 651082 | 5581 260 | 1 | 9 316.99/317.17 c 292s | 19 | 688746 | 654582 | 5581 261 | 1 | 9 319.28/319.46 c 294s | 19 | 692726 | 658482 | 5581 263 | 1 | 9 321.28/321.47 c 296s | 19 | 694948 | 660482 | 5581 263 | 1 | 9 323.39/323.54 c 298s | 19 | 697966 | 663282 | 5581 264 | 1 | 9 325.38/325.60 c 300s | 19 | 701047 | 666282 | 5581 265 | 1 | 9 325.78/325.95 c 300s | 20 | 701616 | 666827 | 5581 265 | 1 | 9 327.79/327.95 c 302s | 20 | 708875 | 673527 | 5581 268 | 1 | 9 329.78/329.96 c 304s | 20 | 714648 | 679227 | 5581 269 | 1 | 9 331.78/331.98 c 306s | 20 | 719908 | 684427 | 5581 271 | 1 | 9 333.88/334.00 c 308s | 20 | 725996 | 690427 | 5581 273 | 1 | 9 335.88/336.01 c 310s | 20 | 731281 | 695627 | 5581 275 | 1 | 9 337.88/338.02 c 312s | 20 | 737283 | 701527 | 5581 277 | 1 | 9 339.89/340.05 c 315s | 20 | 742921 | 707127 | 5581 278 | 1 | 9 341.99/342.13 c 317s | 20 | 748584 | 712727 | 5581 280 | 1 | 9 343.98/344.13 c 319s | 20 | 754566 | 718627 | 5581 282 | 1 | 9 345.98/346.14 c 321s | 20 | 759925 | 723827 | 5581 284 | 1 | 9 347.98/348.16 c 323s | 20 | 765030 | 728827 | 5581 285 | 1 | 9 350.08/350.20 c 325s | 20 | 770101 | 733727 | 5581 287 | 1 | 9 352.08/352.21 c 327s | 20 | 775093 | 738627 | 5581 289 | 1 | 9 354.08/354.24 c 329s | 20 | 779984 | 743427 | 5581 290 | 1 | 9 356.07/356.26 c 331s | 20 | 784680 | 748027 | 5581 292 | 1 | 9 358.07/358.29 c 333s | 20 | 789761 | 752927 | 5581 293 | 1 | 9 360.17/360.33 c 335s | 20 | 794912 | 757927 | 5581 295 | 1 | 9 362.17/362.35 c 337s | 20 | 799809 | 762727 | 5581 296 | 1 | 9 364.16/364.38 c 339s | 20 | 805057 | 767827 | 5581 298 | 1 | 9 366.17/366.38 c 341s | 20 | 809686 | 772327 | 5581 299 | 1 | 9 368.26/368.42 c 343s | 20 | 814828 | 777327 | 5581 301 | 1 | 9 370.26/370.45 c 345s | 20 | 820057 | 782327 | 5581 303 | 1 | 9 372.26/372.47 c 347s | 20 | 824308 | 786427 | 5581 304 | 1 | 9 374.26/374.48 c 349s | 20 | 829494 | 791427 | 5581 306 | 1 | 9 376.36/376.52 c 351s | 20 | 834848 | 796527 | 5581 307 | 1 | 9 378.37/378.54 c 353s | 20 | 839380 | 801027 | 5581 309 | 1 | 9 380.36/380.56 c 355s | 20 | 844497 | 806027 | 5581 310 | 1 | 9 382.36/382.57 c 357s | 20 | 849103 | 810527 | 5581 312 | 1 | 9 384.35/384.59 c 359s | 20 | 854400 | 815527 | 5581 313 | 1 | 9 386.45/386.60 c 361s | 20 | 858873 | 819727 | 5581 315 | 1 | 9 388.45/388.61 c 363s | 20 | 864159 | 824827 | 5581 316 | 1 | 9 390.46/390.62 c 365s | 20 | 869132 | 829527 | 5581 318 | 1 | 9 392.45/392.66 c 367s | 20 | 873411 | 833627 | 5581 319 | 1 | 9 394.45/394.66 c 369s | 20 | 877719 | 837827 | 5581 321 | 1 | 9 396.45/396.67 c 371s | 20 | 883027 | 843027 | 5581 322 | 1 | 9 398.45/398.68 c 373s | 20 | 887726 | 847527 | 5581 324 | 1 | 9 400.55/400.72 c 375s | 20 | 892823 | 852527 | 5581 325 | 1 | 9 402.55/402.76 c 377s | 20 | 898040 | 857527 | 5581 327 | 1 | 9 404.54/404.77 c 379s | 20 | 902803 | 862027 | 5581 328 | 1 | 9 406.54/406.79 c 381s | 20 | 907588 | 866627 | 5581 330 | 1 | 9 408.64/408.83 c 383s | 20 | 912479 | 871227 | 5581 331 | 1 | 9 410.64/410.88 c 385s | 20 | 917332 | 875927 | 5581 333 | 1 | 9 412.64/412.89 c 387s | 20 | 922235 | 880727 | 5581 334 | 1 | 9 414.74/414.92 c 389s | 20 | 927512 | 885827 | 5581 336 | 1 | 9 416.74/416.96 c 391s | 20 | 932471 | 890727 | 5581 338 | 1 | 9 418.83/419.00 c 393s | 20 | 937740 | 895827 | 5581 339 | 1 | 9 420.83/421.03 c 396s | 20 | 942814 | 900727 | 5581 341 | 1 | 9 422.83/423.04 c 398s | 20 | 947413 | 905227 | 5581 342 | 1 | 9 424.83/425.06 c 400s | 20 | 952150 | 909827 | 5581 344 | 1 | 9 426.83/427.08 c 402s | 20 | 956986 | 914427 | 5581 345 | 1 | 9 428.84/429.09 c 404s | 20 | 961511 | 918827 | 5581 347 | 1 | 9 430.93/431.12 c 406s | 20 | 966582 | 923827 | 5581 348 | 1 | 9 432.93/433.13 c 408s | 20 | 971038 | 928127 | 6140 350 | 1 | 9 434.92/435.16 c 410s | 20 | 976128 | 933027 | 6140 351 | 1 | 9 436.92/437.16 c 412s | 20 | 980681 | 937427 | 6140 352 | 1 | 9 438.92/439.19 c 414s | 20 | 985968 | 942527 | 6140 354 | 1 | 9 440.93/441.19 c 416s | 20 | 990492 | 946927 | 6140 355 | 1 | 9 443.02/443.20 c 418s | 20 | 995557 | 951727 | 6140 356 | 1 | 9 445.01/445.24 c 420s | 20 | 999920 | 955927 | 6140 358 | 1 | 9 447.01/447.24 c 422s | 20 | 1004206 | 960127 | 6140 359 | 1 | 9 449.01/449.25 c 424s | 20 | 1008795 | 964627 | 6140 360 | 1 | 9 451.01/451.29 c 426s | 20 | 1013423 | 969127 | 6140 362 | 1 | 9 453.02/453.29 c 428s | 20 | 1018142 | 973727 | 6140 363 | 1 | 9 455.11/455.33 c 430s | 20 | 1022931 | 978427 | 6140 364 | 1 | 9 457.11/457.35 c 432s | 20 | 1028542 | 983727 | 6140 366 | 1 | 9 459.11/459.39 c 434s | 20 | 1033421 | 988327 | 6140 367 | 1 | 9 461.21/461.40 c 436s | 20 | 1038440 | 993227 | 6140 369 | 1 | 9 463.21/463.42 c 438s | 20 | 1043375 | 998027 | 6140 370 | 1 | 9 464.30/464.52 c 439s | 21 | 1045785 | 1000345 | 6140 371 | 1 | 9 466.31/466.53 c 441s | 21 | 1052336 | 1006745 | 6140 373 | 1 | 9 468.30/468.55 c 443s | 21 | 1057797 | 1012145 | 6140 375 | 1 | 9 470.30/470.56 c 445s | 21 | 1063351 | 1017645 | 6140 376 | 1 | 9 472.30/472.59 c 447s | 21 | 1068771 | 1022845 | 6140 378 | 1 | 9 474.40/474.61 c 449s | 21 | 1073843 | 1027845 | 6140 379 | 1 | 9 476.40/476.62 c 451s | 21 | 1079138 | 1033045 | 6140 381 | 1 | 9 478.41/478.66 c 453s | 21 | 1084127 | 1037945 | 6140 382 | 1 | 9 480.40/480.66 c 455s | 21 | 1089379 | 1043145 | 6140 384 | 1 | 9 482.40/482.68 c 457s | 21 | 1094744 | 1048445 | 6140 385 | 1 | 9 484.40/484.68 c 459s | 21 | 1099618 | 1053145 | 6140 387 | 1 | 9 486.40/486.69 c 461s | 21 | 1104657 | 1058145 | 6140 388 | 1 | 9 488.49/488.72 c 463s | 21 | 1109423 | 1062845 | 6140 390 | 1 | 9 490.50/490.78 c 465s | 21 | 1113418 | 1066445 | 6140 391 | 1 | 9 492.49/492.79 c 467s | 21 | 1116918 | 1069545 | 6140 392 | 1 | 9 494.59/494.86 c 469s | 21 | 1119386 | 1071745 | 6140 392 | 1 | 9 496.59/496.87 c 471s | 21 | 1122963 | 1074845 | 6140 393 | 1 | 9 498.59/498.87 c 473s | 21 | 1126866 | 1078645 | 6140 394 | 1 | 9 500.69/500.93 c 475s | 21 | 1130008 | 1081645 | 6140 395 | 1 | 9 502.69/502.98 c 477s | 21 | 1133322 | 1084945 | 6140 396 | 1 | 9 504.69/505.00 c 479s | 21 | 1136482 | 1087945 | 6140 397 | 1 | 9 506.79/507.04 c 482s | 21 | 1140997 | 1092345 | 6140 399 | 1 | 9 508.79/509.04 c 484s | 21 | 1145250 | 1096545 | 6140 400 | 1 | 9 510.78/511.06 c 486s | 21 | 1149184 | 1100445 | 6140 401 | 1 | 9 512.88/513.17 c 488s | 21 | 1152332 | 1103245 | 6140 402 | 1 | 9 514.88/515.19 c 490s | 21 | 1155844 | 1106545 | 6140 403 | 1 | 9 516.98/517.22 c 492s | 21 | 1159692 | 1110145 | 6140 404 | 1 | 9 518.99/519.23 c 494s | 21 | 1162866 | 1113245 | 6140 405 | 1 | 9 520.98/521.26 c 496s | 21 | 1166945 | 1117245 | 6140 406 | 1 | 9 523.08/523.32 c 498s | 21 | 1170789 | 1120945 | 6140 407 | 1 | 9 525.08/525.35 c 500s | 21 | 1175338 | 1125345 | 6140 408 | 1 | 9 527.08/527.36 c 502s | 21 | 1179263 | 1129245 | 6140 409 | 1 | 9 529.07/529.36 c 504s | 21 | 1183020 | 1132945 | 6140 411 | 1 | 9 531.08/531.37 c 506s | 21 | 1186897 | 1136345 | 6140 412 | 1 | 9 533.17/533.42 c 508s | 21 | 1191388 | 1140745 | 6140 413 | 1 | 9 535.17/535.45 c 510s | 21 | 1194586 | 1143745 | 6140 414 | 1 | 9 537.17/537.46 c 512s | 21 | 1198559 | 1147645 | 6140 415 | 1 | 9 539.17/539.50 c 514s | 21 | 1202906 | 1151845 | 6140 416 | 1 | 9 541.27/541.51 c 516s | 21 | 1206743 | 1155645 | 6140 417 | 1 | 9 543.28/543.53 c 518s | 21 | 1210915 | 1159745 | 6140 419 | 1 | 9 545.27/545.54 c 520s | 21 | 1215469 | 1164245 | 6140 420 | 1 | 9 547.27/547.57 c 522s | 21 | 1219277 | 1167945 | 6140 421 | 1 | 9 549.27/549.57 c 524s | 21 | 1223109 | 1171645 | 6140 422 | 1 | 9 551.37/551.61 c 526s | 21 | 1227268 | 1175745 | 6140 423 | 1 | 9 553.37/553.66 c 528s | 21 | 1231417 | 1179745 | 6140 425 | 1 | 9 555.47/555.75 c 530s | 21 | 1235931 | 1184045 | 6140 426 | 1 | 9 557.47/557.79 c 532s | 21 | 1240237 | 1188245 | 6140 427 | 1 | 9 559.56/559.82 c 534s | 21 | 1243731 | 1191645 | 6140 428 | 1 | 9 561.56/561.83 c 536s | 21 | 1248306 | 1196145 | 6140 429 | 1 | 9 563.66/563.99 c 538s | 21 | 1252355 | 1200145 | 6140 431 | 1 | 9 565.66/565.99 c 540s | 21 | 1257618 | 1205245 | 6140 432 | 1 | 9 567.76/568.04 c 543s | 21 | 1260733 | 1207845 | 6140 433 | 1 | 9 569.86/570.12 c 545s | 21 | 1263577 | 1210145 | 6140 434 | 1 | 9 571.86/572.18 c 547s | 21 | 1265846 | 1212045 | 6140 434 | 1 | 9 573.96/574.24 c 549s | 21 | 1267866 | 1214045 | 6140 435 | 1 | 9 575.95/576.25 c 551s | 21 | 1269877 | 1216045 | 6140 435 | 1 | 9 577.95/578.26 c 553s | 21 | 1271798 | 1217945 | 6140 436 | 1 | 9 579.95/580.28 c 555s | 21 | 1274639 | 1220745 | 6140 437 | 1 | 9 581.95/582.28 c 557s | 21 | 1279765 | 1225745 | 6140 438 | 1 | 9 584.05/584.30 c 559s | 21 | 1284270 | 1230145 | 6140 440 | 1 | 9 586.05/586.32 c 561s | 21 | 1289424 | 1235145 | 6140 441 | 1 | 9 588.05/588.32 c 563s | 21 | 1292645 | 1237945 | 6140 442 | 1 | 9 590.05/590.36 c 565s | 21 | 1295571 | 1240745 | 6140 443 | 1 | 9 592.15/592.40 c 567s | 21 | 1298629 | 1243645 | 6140 444 | 1 | 9 594.14/594.41 c 569s | 21 | 1302453 | 1247145 | 6140 445 | 1 | 9 596.14/596.42 c 571s | 21 | 1306803 | 1251445 | 6140 446 | 1 | 9 598.15/598.44 c 573s | 21 | 1310131 | 1254545 | 6140 447 | 1 | 9 600.14/600.49 c 575s | 21 | 1313468 | 1257545 | 6140 448 | 1 | 9 602.24/602.54 c 577s | 21 | 1316398 | 1260445 | 6140 449 | 1 | 9 604.34/604.61 c 579s | 21 | 1319886 | 1263845 | 6140 450 | 1 | 9 606.34/606.69 c 581s | 21 | 1323326 | 1267045 | 6140 450 | 1 | 9 608.44/608.72 c 583s | 21 | 1327322 | 1270945 | 6140 452 | 1 | 9 610.44/610.75 c 585s | 21 | 1330539 | 1274145 | 6140 453 | 1 | 9 612.44/612.76 c 587s | 21 | 1333905 | 1277345 | 6140 454 | 1 | 9 614.43/614.78 c 589s | 21 | 1338634 | 1281945 | 6140 455 | 1 | 9 616.53/616.80 c 591s | 21 | 1343540 | 1286745 | 6140 456 | 1 | 9 618.53/618.88 c 593s | 21 | 1348136 | 1291245 | 6140 458 | 1 | 9 620.63/620.90 c 595s | 21 | 1351446 | 1294445 | 6140 459 | 1 | 9 622.63/622.90 c 597s | 21 | 1355760 | 1298645 | 6140 460 | 1 | 9 624.64/624.98 c 599s | 21 | 1360264 | 1303045 | 6140 461 | 1 | 9 626.64/626.99 c 601s | 21 | 1363140 | 1305645 | 6140 462 | 1 | 9 628.64/628.99 c 603s | 21 | 1367186 | 1309645 | 6140 463 | 1 | 9 630.74/631.03 c 606s | 21 | 1370717 | 1313145 | 6140 464 | 1 | 9 632.74/633.04 c 608s | 21 | 1374450 | 1316845 | 6140 465 | 1 | 9 634.73/635.07 c 610s | 21 | 1378617 | 1320945 | 6140 467 | 1 | 9 636.74/637.08 c 612s | 21 | 1382055 | 1324345 | 6140 468 | 1 | 9 638.73/639.10 c 614s | 21 | 1385598 | 1327845 | 6140 469 | 1 | 9 640.83/641.14 c 616s | 21 | 1390563 | 1332745 | 6140 470 | 1 | 9 642.83/643.14 c 618s | 21 | 1394868 | 1336945 | 6140 471 | 1 | 9 644.83/645.17 c 620s | 21 | 1399754 | 1341745 | 6140 473 | 1 | 9 646.83/647.18 c 622s | 21 | 1404078 | 1345945 | 6140 474 | 1 | 9 648.83/649.19 c 624s | 21 | 1408809 | 1350645 | 6140 475 | 1 | 9 650.83/651.19 c 626s | 21 | 1413097 | 1354845 | 6140 477 | 1 | 9 652.82/653.20 c 628s | 21 | 1417388 | 1359045 | 6140 478 | 1 | 9 654.92/655.23 c 630s | 21 | 1422174 | 1363745 | 6140 479 | 1 | 9 656.92/657.24 c 632s | 21 | 1426150 | 1367645 | 6140 480 | 1 | 9 658.92/659.28 c 634s | 21 | 1430821 | 1372245 | 6140 482 | 1 | 9 660.92/661.28 c 636s | 21 | 1435080 | 1376445 | 6140 483 | 1 | 9 663.02/663.36 c 638s | 21 | 1438941 | 1380245 | 6140 484 | 1 | 9 665.11/665.43 c 640s | 21 | 1443486 | 1384645 | 6140 486 | 1 | 9 667.11/667.45 c 642s | 21 | 1447372 | 1388445 | 6140 487 | 1 | 9 669.21/669.51 c 644s | 21 | 1451067 | 1392045 | 6140 488 | 1 | 9 671.21/671.55 c 646s | 21 | 1453223 | 1394045 | 6140 488 | 1 | 9 673.21/673.56 c 648s | 21 | 1456151 | 1396945 | 6140 489 | 1 | 9 675.30/675.63 c 650s | 21 | 1458882 | 1399645 | 6140 490 | 1 | 9 677.31/677.63 c 652s | 21 | 1462061 | 1402745 | 6140 491 | 1 | 9 679.30/679.67 c 654s | 21 | 1465125 | 1405745 | 6140 492 | 1 | 9 681.40/681.72 c 656s | 21 | 1468067 | 1408645 | 6140 493 | 1 | 9 683.40/683.75 c 658s | 21 | 1471011 | 1411545 | 6140 494 | 1 | 9 685.50/685.80 c 660s | 21 | 1474267 | 1414745 | 6140 494 | 1 | 9 687.49/687.80 c 662s | 21 | 1477027 | 1417445 | 6140 495 | 1 | 9 689.50/689.86 c 664s | 21 | 1479973 | 1420345 | 6140 496 | 1 | 9 691.49/691.88 c 666s | 21 | 1483340 | 1423645 | 6755 497 | 1 | 9 693.49/693.89 c 668s | 21 | 1486490 | 1426745 | 6755 498 | 1 | 9 695.59/695.91 c 670s | 21 | 1489129 | 1429345 | 6755 499 | 1 | 9 697.59/697.98 c 672s | 21 | 1491959 | 1432145 | 6755 499 | 1 | 9 699.69/700.04 c 675s | 21 | 1494689 | 1434845 | 6755 500 | 1 | 9 701.69/702.10 c 677s | 21 | 1497541 | 1437645 | 6755 501 | 1 | 9 703.79/704.14 c 679s | 21 | 1500616 | 1440645 | 6755 502 | 1 | 9 705.78/706.20 c 681s | 21 | 1503676 | 1443645 | 6755 502 | 1 | 9 707.88/708.24 c 683s | 21 | 1506865 | 1446745 | 6755 503 | 1 | 9 709.89/710.27 c 685s | 21 | 1509726 | 1449545 | 6755 504 | 1 | 9 711.89/712.27 c 687s | 21 | 1512268 | 1452045 | 6755 505 | 1 | 9 713.99/714.30 c 689s | 21 | 1515133 | 1454845 | 6755 505 | 1 | 9 715.99/716.31 c 691s | 21 | 1518284 | 1457945 | 6755 506 | 1 | 9 717.99/718.34 c 693s | 21 | 1521725 | 1461345 | 6755 507 | 1 | 9 719.98/720.39 c 695s | 21 | 1524873 | 1464445 | 6755 508 | 1 | 9 722.08/722.42 c 697s | 21 | 1528019 | 1467545 | 6755 509 | 1 | 9 724.08/724.43 c 699s | 21 | 1530966 | 1470445 | 6755 510 | 1 | 9 726.08/726.44 c 701s | 21 | 1534113 | 1473545 | 6755 511 | 1 | 9 728.18/728.50 c 703s | 21 | 1537279 | 1476645 | 6755 511 | 1 | 9 730.19/730.52 c 705s | 21 | 1540334 | 1479645 | 6755 512 | 1 | 9 732.18/732.56 c 707s | 21 | 1543498 | 1482745 | 6755 513 | 1 | 9 734.28/734.61 c 709s | 21 | 1546567 | 1485745 | 6755 514 | 1 | 9 736.28/736.62 c 711s | 21 | 1549819 | 1488945 | 6755 515 | 1 | 9 738.27/738.62 c 713s | 21 | 1552552 | 1491645 | 6755 516 | 1 | 9 740.27/740.63 c 715s | 21 | 1555489 | 1494545 | 6755 516 | 1 | 9 742.28/742.65 c 717s | 21 | 1558539 | 1497545 | 6755 517 | 1 | 9 744.27/744.67 c 719s | 22 | 1561655 | 1500622 | 6755 518 | 1 | 9 746.27/746.67 c 721s | 22 | 1567025 | 1505722 | 6755 519 | 1 | 9 748.37/748.70 c 723s | 22 | 1571086 | 1509722 | 6755 520 | 1 | 9 750.37/750.70 c 725s | 22 | 1575234 | 1513622 | 6755 522 | 1 | 9 752.37/752.75 c 727s | 22 | 1579588 | 1517922 | 6755 523 | 1 | 9 754.47/754.81 c 729s | 22 | 1583533 | 1521822 | 6755 524 | 1 | 9 756.47/756.82 c 731s | 22 | 1587275 | 1525522 | 6755 525 | 1 | 9 758.46/758.85 c 733s | 22 | 1591142 | 1529122 | 6755 526 | 1 | 9 760.46/760.89 c 735s | 22 | 1595747 | 1533622 | 6755 527 | 1 | 9 762.56/762.91 c 737s | 22 | 1600247 | 1538022 | 6755 528 | 1 | 9 764.56/764.92 c 739s | 22 | 1604568 | 1542222 | 6755 529 | 1 | 9 766.56/766.92 c 741s | 22 | 1608748 | 1546322 | 6755 530 | 1 | 9 768.57/768.94 c 743s | 22 | 1613012 | 1550522 | 6755 532 | 1 | 9 770.56/770.97 c 745s | 22 | 1617166 | 1554522 | 6755 533 | 1 | 9 772.66/773.01 c 747s | 22 | 1621320 | 1558622 | 6755 534 | 1 | 9 774.65/775.02 c 749s | 22 | 1625341 | 1562622 | 6755 535 | 1 | 9 776.65/777.05 c 752s | 22 | 1628866 | 1566122 | 6755 536 | 1 | 9 778.65/779.07 c 754s | 22 | 1632370 | 1569522 | 6755 537 | 1 | 9 780.66/781.07 c 756s | 22 | 1636713 | 1573722 | 6755 538 | 1 | 9 782.65/783.09 c 758s | 22 | 1640630 | 1577522 | 6755 539 | 1 | 9 784.75/785.10 c 760s | 22 | 1644982 | 1581822 | 6755 540 | 1 | 9 786.75/787.15 c 762s | 22 | 1648882 | 1585622 | 6755 541 | 1 | 9 788.75/789.16 c 764s | 22 | 1652820 | 1589522 | 6755 542 | 1 | 9 790.85/791.22 c 766s | 22 | 1656964 | 1593522 | 6755 543 | 1 | 9 792.85/793.23 c 768s | 22 | 1661220 | 1597722 | 6755 545 | 1 | 9 794.84/795.24 c 770s | 22 | 1665648 | 1602122 | 6755 546 | 1 | 9 796.84/797.25 c 772s | 22 | 1669720 | 1606122 | 6755 547 | 1 | 9 798.84/799.27 c 774s | 22 | 1673407 | 1609722 | 6755 548 | 1 | 9 800.94/801.31 c 776s | 22 | 1677720 | 1613922 | 6755 549 | 1 | 9 802.94/803.32 c 778s | 22 | 1682010 | 1618122 | 6755 550 | 1 | 9 804.94/805.37 c 780s | 22 | 1685722 | 1621722 | 6755 551 | 1 | 9 806.93/807.39 c 782s | 22 | 1688988 | 1624922 | 6755 552 | 1 | 9 809.03/809.43 c 784s | 22 | 1692643 | 1628322 | 6755 553 | 1 | 9 811.03/811.46 c 786s | 22 | 1696471 | 1631922 | 6755 554 | 1 | 9 813.03/813.49 c 788s | 22 | 1701014 | 1636322 | 6755 555 | 1 | 9 815.13/815.54 c 790s | 22 | 1705241 | 1640422 | 6755 556 | 1 | 9 817.13/817.57 c 792s | 22 | 1708978 | 1644022 | 6755 557 | 1 | 9 819.14/819.60 c 794s | 22 | 1713042 | 1648022 | 6755 558 | 1 | 9 821.23/821.64 c 796s | 22 | 1716753 | 1651622 | 6755 559 | 1 | 9 823.23/823.67 c 798s | 22 | 1720726 | 1655222 | 6755 560 | 1 | 9 825.33/825.71 c 800s | 22 | 1724362 | 1658322 | 6755 561 | 1 | 9 827.33/827.72 c 802s | 22 | 1729068 | 1662922 | 6755 562 | 1 | 9 829.33/829.76 c 804s | 22 | 1733226 | 1666922 | 6755 563 | 1 | 9 831.33/831.77 c 806s | 22 | 1737485 | 1671122 | 6755 565 | 1 | 9 833.33/833.79 c 808s | 22 | 1741247 | 1674822 | 6755 566 | 1 | 9 835.43/835.80 c 810s | 22 | 1745581 | 1679022 | 6755 567 | 1 | 9 837.43/837.84 c 812s | 22 | 1749907 | 1683222 | 6755 568 | 1 | 9 839.43/839.88 c 814s | 22 | 1754133 | 1687322 | 6755 569 | 1 | 9 841.53/841.92 c 816s | 22 | 1757694 | 1690722 | 6755 570 | 1 | 9 843.52/843.92 c 818s | 22 | 1762323 | 1695122 | 6755 571 | 1 | 9 845.53/845.97 c 820s | 22 | 1766702 | 1699422 | 6755 572 | 1 | 9 847.52/847.97 c 822s | 22 | 1770454 | 1703022 | 6755 573 | 1 | 9 849.62/850.02 c 824s | 22 | 1774547 | 1707022 | 6755 574 | 1 | 9 851.62/852.04 c 827s | 22 | 1778876 | 1711222 | 6755 576 | 1 | 9 853.62/854.07 c 829s | 22 | 1783043 | 1715222 | 6755 577 | 1 | 9 855.62/856.08 c 831s | 22 | 1786827 | 1718922 | 6755 578 | 1 | 9 857.73/858.13 c 833s | 22 | 1790925 | 1722922 | 6755 579 | 1 | 9 859.72/860.15 c 835s | 22 | 1795100 | 1727022 | 6755 580 | 1 | 9 861.72/862.16 c 837s | 22 | 1799177 | 1731022 | 6755 581 | 1 | 9 863.72/864.17 c 839s | 22 | 1803476 | 1735222 | 6755 582 | 1 | 9 865.82/866.20 c 841s | 22 | 1808073 | 1739622 | 6755 583 | 1 | 9 867.82/868.27 c 843s | 22 | 1812002 | 1743322 | 6755 584 | 1 | 9 869.92/870.31 c 845s | 22 | 1815694 | 1746922 | 6755 585 | 1 | 9 871.93/872.33 c 847s | 22 | 1819445 | 1750622 | 6755 586 | 1 | 9 873.92/874.33 c 849s | 22 | 1823603 | 1754622 | 6755 587 | 1 | 9 875.92/876.36 c 851s | 22 | 1827670 | 1758622 | 6755 589 | 1 | 9 878.02/878.41 c 853s | 22 | 1831546 | 1762422 | 6755 590 | 1 | 9 880.02/880.41 c 855s | 22 | 1835369 | 1766122 | 6755 591 | 1 | 9 882.02/882.43 c 857s | 22 | 1839651 | 1770322 | 6755 592 | 1 | 9 884.03/884.47 c 859s | 22 | 1843676 | 1774222 | 6755 593 | 1 | 9 886.13/886.50 c 861s | 22 | 1847343 | 1777822 | 6755 594 | 1 | 9 888.13/888.50 c 863s | 22 | 1851218 | 1781522 | 6755 595 | 1 | 9 890.13/890.59 c 865s | 22 | 1855695 | 1785722 | 6755 596 | 1 | 9 892.23/892.64 c 867s | 22 | 1859589 | 1789422 | 6755 597 | 1 | 9 894.23/894.68 c 869s | 22 | 1863458 | 1793122 | 6755 598 | 1 | 9 896.32/896.73 c 871s | 22 | 1867452 | 1797022 | 6755 599 | 1 | 9 898.33/898.77 c 873s | 22 | 1871562 | 1801022 | 6755 600 | 1 | 9 900.42/900.80 c 875s | 22 | 1875663 | 1805022 | 6755 601 | 1 | 9 902.42/902.81 c 877s | 22 | 1879661 | 1808922 | 6755 602 | 1 | 9 904.42/904.85 c 879s | 22 | 1883974 | 1813022 | 6755 603 | 1 | 9 906.42/906.87 c 881s | 22 | 1887949 | 1816922 | 6755 605 | 1 | 9 908.42/908.88 c 883s | 22 | 1892225 | 1821122 | 6755 606 | 1 | 9 910.43/910.89 c 885s | 22 | 1896026 | 1824822 | 6755 607 | 1 | 9 912.52/912.98 c 887s | 22 | 1899843 | 1828522 | 6755 608 | 1 | 9 914.52/914.99 c 889s | 22 | 1903609 | 1832222 | 6755 609 | 1 | 9 916.52/916.99 c 891s | 22 | 1907746 | 1836222 | 6755 610 | 1 | 9 918.62/919.01 c 893s | 22 | 1911776 | 1840122 | 6755 611 | 1 | 9 920.62/921.04 c 896s | 22 | 1916473 | 1844722 | 6755 612 | 1 | 9 922.62/923.07 c 898s | 22 | 1920442 | 1848622 | 6755 613 | 1 | 9 924.72/925.11 c 900s | 22 | 1924869 | 1852922 | 6755 614 | 1 | 9 926.72/927.12 c 902s | 22 | 1929014 | 1856922 | 6755 616 | 1 | 9 928.72/929.15 c 904s | 22 | 1933769 | 1861522 | 6755 617 | 1 | 9 930.72/931.16 c 906s | 22 | 1937829 | 1865322 | 6755 618 | 1 | 9 932.72/933.18 c 908s | 22 | 1942107 | 1869522 | 6755 619 | 1 | 9 934.72/935.19 c 910s | 22 | 1946190 | 1873522 | 6755 620 | 1 | 9 936.82/937.22 c 912s | 22 | 1950344 | 1877622 | 6755 621 | 1 | 9 938.81/939.26 c 914s | 22 | 1954861 | 1882022 | 6755 622 | 1 | 9 940.81/941.26 c 916s | 22 | 1959015 | 1886022 | 6755 623 | 1 | 9 942.81/943.29 c 918s | 22 | 1963565 | 1890522 | 6755 625 | 1 | 9 944.91/945.33 c 920s | 22 | 1967822 | 1894622 | 6755 626 | 1 | 9 946.91/947.33 c 922s | 22 | 1971747 | 1898422 | 6755 627 | 1 | 9 948.92/949.39 c 924s | 22 | 1975309 | 1901822 | 6755 628 | 1 | 9 951.01/951.40 c 926s | 22 | 1980026 | 1906322 | 6755 629 | 1 | 9 953.01/953.41 c 928s | 22 | 1983906 | 1910122 | 6755 630 | 1 | 9 955.01/955.43 c 930s | 22 | 1987920 | 1914022 | 6755 631 | 1 | 9 957.01/957.44 c 932s | 22 | 1991717 | 1917722 | 6755 632 | 1 | 9 959.01/959.46 c 934s | 22 | 1995513 | 1921422 | 6755 633 | 1 | 9 961.02/961.50 c 936s | 22 | 1999119 | 1924922 | 6755 634 | 1 | 9 963.11/963.51 c 938s | 22 | 2002420 | 1928122 | 6755 635 | 1 | 9 965.11/965.57 c 940s | 22 | 2005870 | 1931422 | 6755 636 | 1 | 9 967.11/967.57 c 942s | 22 | 2009544 | 1934922 | 6755 637 | 1 | 9 969.11/969.59 c 944s | 22 | 2013009 | 1938222 | 6755 638 | 1 | 9 971.21/971.62 c 946s | 22 | 2016028 | 1941122 | 6755 639 | 1 | 9 973.31/973.75 c 948s | 22 | 2019392 | 1944422 | 6755 640 | 1 | 9 975.31/975.77 c 950s | 22 | 2022645 | 1947622 | 6755 640 | 1 | 9 977.41/977.82 c 952s | 22 | 2026189 | 1951022 | 6755 641 | 1 | 9 979.41/979.84 c 954s | 22 | 2029860 | 1954422 | 6755 642 | 1 | 9 981.41/981.86 c 956s | 22 | 2034576 | 1958922 | 6755 643 | 1 | 9 983.41/983.88 c 958s | 22 | 2038724 | 1962922 | 6755 645 | 1 | 9 985.41/985.89 c 960s | 22 | 2043491 | 1967422 | 6755 646 | 1 | 9 987.41/987.90 c 962s | 22 | 2047151 | 1970722 | 6755 647 | 1 | 9 989.50/989.91 c 964s | 22 | 2051630 | 1975122 | 6755 648 | 1 | 9 991.50/991.94 c 966s | 22 | 2055690 | 1979022 | 6755 649 | 1 | 9 993.60/994.00 c 968s | 22 | 2059833 | 1983122 | 6755 650 | 1 | 9 995.60/996.01 c 970s | 22 | 2063517 | 1986722 | 6755 651 | 1 | 9 997.60/998.06 c 973s | 22 | 2067584 | 1990722 | 6755 652 | 1 | 9 999.70/1000.11 c 975s | 22 | 2070845 | 1993822 | 6755 653 | 1 | 9 1001.71/1002.12 c 977s | 22 | 2074760 | 1997622 | 6755 654 | 1 | 9 1003.70/1004.17 c 979s | 22 | 2078538 | 2001222 | 6755 655 | 1 | 9 1005.80/1006.21 c 981s | 22 | 2082649 | 2005222 | 6755 656 | 1 | 9 1007.80/1008.22 c 983s | 22 | 2086434 | 2008922 | 6755 657 | 1 | 9 1009.80/1010.24 c 985s | 22 | 2089526 | 2011922 | 6755 658 | 1 | 9 1011.80/1012.27 c 987s | 22 | 2093112 | 2015422 | 6755 659 | 1 | 9 1013.91/1014.31 c 989s | 22 | 2096769 | 2019022 | 6755 660 | 1 | 9 1015.90/1016.37 c 991s | 22 | 2100311 | 2022522 | 6755 661 | 1 | 9 1017.90/1018.37 c 993s | 22 | 2103188 | 2025322 | 6755 662 | 1 | 9 1019.90/1020.39 c 995s | 22 | 2106464 | 2028522 | 6755 663 | 1 | 9 1022.00/1022.41 c 997s | 22 | 2110517 | 2032522 | 6755 664 | 1 | 9 1024.01/1024.46 c 999s | 22 | 2114774 | 2036722 | 6755 665 | 1 | 9 1026.10/1026.50 c 1001s | 22 | 2118403 | 2040322 | 6755 666 | 1 | 9 1028.11/1028.51 c 1003s | 22 | 2121947 | 2043822 | 6755 667 | 1 | 9 1030.10/1030.55 c 1005s | 22 | 2126545 | 2048122 | 6755 668 | 1 | 9 1032.10/1032.56 c 1007s | 22 | 2130340 | 2051722 | 6755 669 | 1 | 9 1034.10/1034.56 c 1009s | 22 | 2134347 | 2055622 | 6755 670 | 1 | 9 1036.20/1036.60 c 1011s | 22 | 2138279 | 2059322 | 6755 671 | 1 | 9 1038.20/1038.65 c 1013s | 22 | 2142435 | 2063322 | 6755 672 | 1 | 9 1040.20/1040.67 c 1015s | 22 | 2146521 | 2067222 | 6755 673 | 1 | 9 1042.20/1042.69 c 1017s | 22 | 2150456 | 2071022 | 6755 674 | 1 | 9 1044.30/1044.71 c 1019s | 22 | 2154357 | 2074722 | 6755 675 | 1 | 9 1046.30/1046.77 c 1021s | 22 | 2158678 | 2078722 | 6755 676 | 1 | 9 1048.40/1048.80 c 1023s | 22 | 2162507 | 2082322 | 6755 677 | 1 | 9 1050.40/1050.82 c 1025s | 22 | 2166809 | 2086122 | 6755 678 | 1 | 9 1052.40/1052.89 c 1027s | 22 | 2170981 | 2090022 | 6755 680 | 1 | 9 1054.50/1054.92 c 1029s | 22 | 2175077 | 2094022 | 6755 681 | 1 | 9 1056.49/1056.97 c 1031s | 22 | 2178983 | 2097822 | 6755 682 | 1 | 9 1058.59/1059.03 c 1034s | 22 | 2182486 | 2101122 | 6755 683 | 1 | 9 1060.59/1061.07 c 1036s | 22 | 2186071 | 2104522 | 6755 684 | 1 | 9 1062.69/1063.12 c 1038s | 22 | 2189923 | 2108322 | 6755 685 | 1 | 9 1064.69/1065.17 c 1040s | 22 | 2193748 | 2112022 | 6755 686 | 1 | 9 1066.79/1067.21 c 1042s | 22 | 2197360 | 2115422 | 6755 687 | 1 | 9 1068.80/1069.29 c 1044s | 22 | 2201337 | 2119022 | 6755 688 | 1 | 9 1070.79/1071.29 c 1046s | 22 | 2205483 | 2123122 | 6755 689 | 1 | 9 1072.79/1073.29 c 1048s | 22 | 2209811 | 2127322 | 6755 690 | 1 | 9 1074.89/1075.30 c 1050s | 22 | 2213908 | 2131222 | 6755 691 | 1 | 9 1076.89/1077.35 c 1052s | 22 | 2218319 | 2135522 | 6755 692 | 1 | 9 1078.89/1079.38 c 1054s | 22 | 2222253 | 2139422 | 6755 693 | 1 | 9 1081.00/1081.41 c 1056s | 22 | 2226556 | 2143622 | 6755 694 | 1 | 9 1082.99/1083.44 c 1058s | 22 | 2231042 | 2147822 | 6755 695 | 1 | 9 1084.99/1085.46 c 1060s | 22 | 2235940 | 2152622 | 6755 697 | 1 | 9 1086.99/1087.49 c 1062s | 22 | 2240468 | 2157022 | 6755 698 | 1 | 9 1089.09/1089.52 c 1064s | 22 | 2245087 | 2161522 | 6755 699 | 1 | 9 1091.09/1091.53 c 1066s | 22 | 2249168 | 2165522 | 6755 700 | 1 | 9 1093.09/1093.53 c 1068s | 22 | 2253377 | 2169622 | 7431 701 | 1 | 9 1095.09/1095.58 c 1070s | 22 | 2257417 | 2173622 | 7431 702 | 1 | 9 1097.19/1097.62 c 1072s | 22 | 2261091 | 2177222 | 7431 703 | 1 | 9 1099.18/1099.65 c 1074s | 22 | 2264997 | 2181022 | 7431 704 | 1 | 9 1101.18/1101.67 c 1076s | 22 | 2269404 | 2185222 | 7431 705 | 1 | 9 1103.18/1103.68 c 1078s | 22 | 2273695 | 2189422 | 7431 706 | 1 | 9 1105.19/1105.69 c 1080s | 22 | 2277823 | 2193422 | 7431 707 | 1 | 9 1107.18/1107.69 c 1082s | 22 | 2281320 | 2196822 | 7431 708 | 1 | 9 1109.28/1109.72 c 1084s | 22 | 2285273 | 2200622 | 7431 709 | 1 | 9 1111.28/1111.77 c 1086s | 22 | 2288929 | 2204222 | 7431 710 | 1 | 9 1113.28/1113.78 c 1088s | 22 | 2293775 | 2208522 | 7431 711 | 1 | 9 1115.38/1115.82 c 1090s | 22 | 2297617 | 2212222 | 7431 712 | 1 | 9 1117.38/1117.85 c 1092s | 22 | 2301587 | 2216022 | 7431 713 | 1 | 9 1119.39/1119.87 c 1094s | 22 | 2305835 | 2220122 | 7431 714 | 1 | 9 1121.38/1121.88 c 1096s | 22 | 2309681 | 2223822 | 7431 715 | 1 | 9 1123.38/1123.89 c 1098s | 22 | 2313264 | 2227322 | 7431 716 | 1 | 9 1125.48/1125.93 c 1100s | 22 | 2317437 | 2231422 | 7431 717 | 1 | 9 1127.48/1127.97 c 1102s | 22 | 2321357 | 2235322 | 7431 718 | 1 | 9 1129.49/1129.99 c 1104s | 22 | 2325649 | 2239522 | 7431 719 | 1 | 9 1131.60/1132.01 c 1106s | 22 | 2330222 | 2244022 | 7431 720 | 1 | 9 1133.59/1134.05 c 1109s | 22 | 2334395 | 2248122 | 7431 721 | 1 | 9 1135.29/1135.72 c 1110s | 23 | 2337373 | 2251038 | 7431 722 | 1 | 9 1137.29/1137.74 c 1112s | 23 | 2344155 | 2257538 | 7431 723 | 1 | 9 1139.29/1139.76 c 1114s | 23 | 2349491 | 2262638 | 7431 725 | 1 | 9 1141.28/1141.78 c 1116s | 23 | 2354962 | 2267938 | 7431 726 | 1 | 9 1143.38/1143.81 c 1118s | 23 | 2360088 | 2272938 | 7431 727 | 1 | 9 1145.38/1145.84 c 1120s | 23 | 2365179 | 2277838 | 7431 729 | 1 | 9 1147.38/1147.84 c 1122s | 23 | 2369308 | 2281838 | 7431 730 | 1 | 9 1149.38/1149.87 c 1124s | 23 | 2374481 | 2286838 | 7431 731 | 1 | 9 1151.39/1151.87 c 1126s | 23 | 2378194 | 2290438 | 7431 732 | 1 | 9 1153.49/1153.91 c 1128s | 23 | 2382177 | 2294238 | 7431 733 | 1 | 9 1155.48/1155.92 c 1130s | 23 | 2385990 | 2297838 | 7431 734 | 1 | 9 1157.48/1157.94 c 1132s | 23 | 2390764 | 2302438 | 7431 735 | 1 | 9 1159.48/1159.96 c 1134s | 23 | 2394853 | 2306438 | 7431 736 | 1 | 9 1161.58/1162.03 c 1137s | 23 | 2398955 | 2310338 | 7431 737 | 1 | 9 1163.58/1164.06 c 1139s | 23 | 2403716 | 2314938 | 7431 738 | 1 | 9 1165.58/1166.09 c 1141s | 23 | 2407640 | 2318638 | 7431 739 | 1 | 9 1167.68/1168.13 c 1143s | 23 | 2411651 | 2322438 | 7431 740 | 1 | 9 1169.68/1170.15 c 1145s | 23 | 2415782 | 2326338 | 7431 741 | 1 | 9 1171.67/1172.18 c 1147s | 23 | 2420205 | 2330338 | 7431 742 | 1 | 9 1173.67/1174.19 c 1149s | 23 | 2425133 | 2334738 | 7431 743 | 1 | 9 1175.67/1176.19 c 1151s | 23 | 2429622 | 2339138 | 7431 744 | 1 | 9 1177.78/1178.24 c 1153s | 23 | 2434039 | 2343438 | 7431 745 | 1 | 9 1179.77/1180.28 c 1155s | 23 | 2438536 | 2347738 | 7431 746 | 1 | 9 1181.87/1182.33 c 1157s | 23 | 2442661 | 2351738 | 7431 748 | 1 | 9 1183.87/1184.35 c 1159s | 23 | 2447040 | 2355938 | 7431 749 | 1 | 9 1185.87/1186.35 c 1161s | 23 | 2450842 | 2359638 | 7431 750 | 1 | 9 1187.87/1188.37 c 1163s | 23 | 2456570 | 2365138 | 7431 751 | 1 | 9 1189.88/1190.39 c 1165s | 23 | 2461096 | 2369338 | 7431 752 | 1 | 9 1191.98/1192.42 c 1167s | 23 | 2466552 | 2374638 | 7431 753 | 1 | 9 1193.97/1194.49 c 1169s | 23 | 2471306 | 2379138 | 7431 755 | 1 | 9 1195.97/1196.49 c 1171s | 23 | 2476396 | 2384038 | 7431 756 | 1 | 9 1198.07/1198.51 c 1173s | 23 | 2480053 | 2387538 | 7431 757 | 1 | 9 1200.07/1200.53 c 1175s | 23 | 2485281 | 2392538 | 7431 758 | 1 | 9 1202.07/1202.56 c 1177s | 23 | 2489564 | 2396638 | 7431 759 | 1 | 9 1204.08/1204.57 c 1179s | 23 | 2494626 | 2401438 | 7431 760 | 1 | 9 1206.17/1206.62 c 1181s | 23 | 2498468 | 2405138 | 7431 761 | 1 | 9 1208.17/1208.63 c 1183s | 23 | 2502721 | 2409238 | 7431 762 | 1 | 9 1210.17/1210.67 c 1185s | 23 | 2506873 | 2413138 | 7431 763 | 1 | 9 1212.28/1212.70 c 1187s | 23 | 2511214 | 2417238 | 7431 764 | 1 | 9 1214.28/1214.75 c 1189s | 23 | 2515467 | 2421338 | 7431 765 | 1 | 9 1216.28/1216.78 c 1191s | 23 | 2519472 | 2425038 | 7431 766 | 1 | 9 1218.38/1218.82 c 1193s | 23 | 2523881 | 2428938 | 7431 767 | 1 | 9 1220.38/1220.84 c 1195s | 23 | 2528663 | 2433538 | 7431 768 | 1 | 9 1222.38/1222.84 c 1197s | 23 | 2532794 | 2437538 | 7431 769 | 1 | 9 1224.37/1224.86 c 1199s | 23 | 2536612 | 2441238 | 7431 770 | 1 | 9 1226.37/1226.87 c 1201s | 23 | 2540815 | 2445338 | 7431 771 | 1 | 9 1228.38/1228.88 c 1203s | 23 | 2545258 | 2449638 | 7431 773 | 1 | 9 1230.37/1230.89 c 1205s | 23 | 2549908 | 2454138 | 7431 774 | 1 | 9 1232.47/1232.93 c 1207s | 23 | 2553740 | 2457838 | 7431 775 | 1 | 9 1234.47/1234.94 c 1209s | 23 | 2558552 | 2462538 | 7431 776 | 1 | 9 1236.47/1236.98 c 1211s | 23 | 2562533 | 2466438 | 7431 777 | 1 | 9 1238.57/1239.02 c 1213s | 23 | 2567477 | 2471238 | 7431 778 | 1 | 9 1240.57/1241.04 c 1216s | 23 | 2571900 | 2475538 | 7431 779 | 1 | 9 1242.58/1243.05 c 1218s | 23 | 2575904 | 2479338 | 7431 780 | 1 | 9 1244.57/1245.06 c 1220s | 23 | 2580024 | 2483338 | 7431 781 | 1 | 9 1246.57/1247.07 c 1222s | 23 | 2583967 | 2487138 | 7431 782 | 1 | 9 1248.67/1249.10 c 1224s | 23 | 2588412 | 2491438 | 7431 783 | 1 | 9 1250.67/1251.14 c 1226s | 23 | 2593027 | 2495938 | 7431 784 | 1 | 9 1252.67/1253.15 c 1228s | 23 | 2597495 | 2500238 | 7431 786 | 1 | 9 1254.68/1255.17 c 1230s | 23 | 2601878 | 2504438 | 7431 787 | 1 | 9 1256.67/1257.18 c 1232s | 23 | 2606159 | 2508538 | 7431 788 | 1 | 9 1258.77/1259.21 c 1234s | 23 | 2611593 | 2513838 | 7431 789 | 1 | 9 1260.77/1261.25 c 1236s | 23 | 2616290 | 2518338 | 7431 790 | 1 | 9 1262.87/1263.30 c 1238s | 23 | 2620780 | 2522638 | 7431 791 | 1 | 9 1264.86/1265.35 c 1240s | 23 | 2625527 | 2527038 | 7431 792 | 1 | 9 1266.87/1267.37 c 1242s | 23 | 2630341 | 2531738 | 7431 794 | 1 | 9 1268.86/1269.39 c 1244s | 23 | 2634742 | 2536038 | 7431 795 | 1 | 9 1270.96/1271.40 c 1246s | 23 | 2638945 | 2540038 | 7431 796 | 1 | 9 1272.96/1273.45 c 1248s | 23 | 2643401 | 2544138 | 7431 797 | 1 | 9 1274.96/1275.45 c 1250s | 23 | 2647756 | 2548038 | 7431 798 | 1 | 9 1276.96/1277.46 c 1252s | 23 | 2652519 | 2552638 | 7431 799 | 1 | 9 1278.97/1279.47 c 1254s | 23 | 2656558 | 2556538 | 7431 800 | 1 | 9 1280.96/1281.49 c 1256s | 23 | 2660905 | 2560838 | 7431 801 | 1 | 9 1283.06/1283.52 c 1258s | 23 | 2665254 | 2565038 | 7431 802 | 1 | 9 1285.06/1285.52 c 1260s | 23 | 2669108 | 2568738 | 7431 803 | 1 | 9 1287.06/1287.56 c 1262s | 23 | 2673155 | 2572638 | 7431 804 | 1 | 9 1289.16/1289.60 c 1264s | 23 | 2677359 | 2576738 | 7431 805 | 1 | 9 1291.16/1291.61 c 1266s | 23 | 2681505 | 2580738 | 7431 806 | 1 | 9 1293.17/1293.62 c 1268s | 23 | 2685891 | 2584938 | 7431 807 | 1 | 9 1295.16/1295.65 c 1270s | 23 | 2690105 | 2589038 | 7431 808 | 1 | 9 1297.16/1297.66 c 1272s | 23 | 2694225 | 2593038 | 7431 809 | 1 | 9 1299.26/1299.70 c 1274s | 23 | 2698360 | 2597038 | 7431 810 | 1 | 9 1301.26/1301.72 c 1276s | 23 | 2702661 | 2601238 | 7431 811 | 1 | 9 1303.26/1303.76 c 1278s | 23 | 2707030 | 2605438 | 7431 812 | 1 | 9 1305.26/1305.77 c 1280s | 23 | 2711353 | 2609638 | 7431 813 | 1 | 9 1307.36/1307.82 c 1282s | 23 | 2715329 | 2613538 | 7431 814 | 1 | 9 1309.36/1309.82 c 1284s | 23 | 2719528 | 2617638 | 7431 816 | 1 | 9 1311.35/1311.83 c 1286s | 23 | 2723436 | 2621438 | 7431 817 | 1 | 9 1313.35/1313.87 c 1288s | 23 | 2727853 | 2625738 | 7431 818 | 1 | 9 1315.35/1315.88 c 1290s | 23 | 2732042 | 2629738 | 7431 819 | 1 | 9 1317.36/1317.89 c 1292s | 23 | 2736200 | 2633738 | 7431 820 | 1 | 9 1319.45/1319.92 c 1294s | 23 | 2740974 | 2638338 | 7431 821 | 1 | 9 1321.45/1321.95 c 1296s | 23 | 2744710 | 2641938 | 7431 822 | 1 | 9 1323.45/1323.97 c 1298s | 23 | 2748850 | 2645938 | 7431 823 | 1 | 9 1325.45/1326.00 c 1300s | 23 | 2753154 | 2650138 | 7431 824 | 1 | 9 1327.55/1328.01 c 1302s | 23 | 2757853 | 2654738 | 7431 825 | 1 | 9 1329.56/1330.07 c 1305s | 23 | 2762017 | 2658738 | 7431 826 | 1 | 9 1331.55/1332.10 c 1307s | 23 | 2766242 | 2662838 | 7431 827 | 1 | 9 1333.65/1334.11 c 1309s | 23 | 2769934 | 2666438 | 7431 828 | 1 | 9 1335.65/1336.15 c 1311s | 23 | 2774030 | 2670438 | 7431 829 | 1 | 9 1337.65/1338.19 c 1313s | 23 | 2778439 | 2674738 | 7431 830 | 1 | 9 1339.75/1340.22 c 1315s | 23 | 2781693 | 2677938 | 7431 831 | 1 | 9 1341.75/1342.23 c 1317s | 23 | 2786118 | 2682238 | 7431 832 | 1 | 9 1343.76/1344.25 c 1319s | 23 | 2790243 | 2686238 | 7431 833 | 1 | 9 1345.75/1346.29 c 1321s | 23 | 2794367 | 2690238 | 7431 834 | 1 | 9 1347.85/1348.34 c 1323s | 23 | 2798776 | 2694538 | 7431 835 | 1 | 9 1349.85/1350.37 c 1325s | 23 | 2802738 | 2698238 | 7431 836 | 1 | 9 1351.95/1352.40 c 1327s | 23 | 2806900 | 2702238 | 7431 837 | 1 | 9 1353.95/1354.46 c 1329s | 23 | 2811024 | 2706238 | 7431 838 | 1 | 9 1355.95/1356.49 c 1331s | 23 | 2815433 | 2710538 | 7431 839 | 1 | 9 1358.05/1358.53 c 1333s | 23 | 2819729 | 2714638 | 7431 840 | 1 | 9 1360.05/1360.56 c 1335s | 23 | 2823863 | 2718638 | 7431 841 | 1 | 9 1362.05/1362.59 c 1337s | 23 | 2827948 | 2722538 | 7431 842 | 1 | 9 1364.14/1364.60 c 1339s | 23 | 2831668 | 2726138 | 7431 843 | 1 | 9 1366.14/1366.62 c 1341s | 23 | 2835361 | 2729738 | 7431 844 | 1 | 9 1368.14/1368.64 c 1343s | 23 | 2839182 | 2733438 | 7431 845 | 1 | 9 1370.15/1370.64 c 1345s | 23 | 2844817 | 2738938 | 7431 847 | 1 | 9 1372.14/1372.65 c 1347s | 23 | 2850116 | 2744138 | 7431 848 | 1 | 9 1374.15/1374.68 c 1349s | 23 | 2854905 | 2748838 | 7431 849 | 1 | 9 1376.15/1376.69 c 1351s | 23 | 2859887 | 2753638 | 7431 850 | 1 | 9 1378.15/1378.70 c 1353s | 23 | 2864777 | 2758338 | 7431 851 | 1 | 9 1380.25/1380.75 c 1355s | 23 | 2868902 | 2762338 | 7431 853 | 1 | 9 1382.26/1382.75 c 1357s | 23 | 2873560 | 2766838 | 7431 854 | 1 | 9 1384.25/1384.78 c 1359s | 23 | 2877872 | 2770938 | 7431 855 | 1 | 9 1386.25/1386.79 c 1361s | 23 | 2882096 | 2775038 | 7431 856 | 1 | 9 1388.35/1388.82 c 1363s | 23 | 2886210 | 2779038 | 7431 857 | 1 | 9 1390.35/1390.85 c 1365s | 23 | 2890853 | 2783538 | 7431 858 | 1 | 9 1392.45/1392.90 c 1367s | 23 | 2894712 | 2787238 | 7431 859 | 1 | 9 1394.36/1394.90 c 1369s | 23 | 2898623 | 2791038 | 7431 860 | 1 | 9 1396.45/1396.94 c 1371s | 23 | 2903007 | 2795338 | 7431 861 | 1 | 9 1398.45/1398.99 c 1373s | 23 | 2907362 | 2799538 | 7431 862 | 1 | 9 1400.55/1401.00 c 1375s | 23 | 2911763 | 2803738 | 7431 863 | 1 | 9 1402.55/1403.05 c 1378s | 23 | 2917445 | 2809238 | 7431 865 | 1 | 9 1404.55/1405.09 c 1380s | 23 | 2921488 | 2813138 | 7431 866 | 1 | 9 1406.65/1407.10 c 1382s | 23 | 2926540 | 2818038 | 7431 867 | 1 | 9 1408.65/1409.12 c 1384s | 23 | 2930993 | 2822338 | 7431 868 | 1 | 9 1410.65/1411.16 c 1386s | 23 | 2935396 | 2826638 | 7431 869 | 1 | 9 1412.65/1413.18 c 1388s | 23 | 2940932 | 2832038 | 7431 870 | 1 | 9 1414.74/1415.21 c 1390s | 23 | 2945743 | 2836738 | 7431 872 | 1 | 9 1416.74/1417.23 c 1392s | 23 | 2950440 | 2841238 | 7431 873 | 1 | 9 1418.74/1419.25 c 1394s | 23 | 2955042 | 2845638 | 7431 874 | 1 | 9 1420.75/1421.26 c 1396s | 23 | 2959262 | 2849538 | 7431 875 | 1 | 9 1422.84/1423.30 c 1398s | 23 | 2964205 | 2854038 | 7431 876 | 1 | 9 1424.84/1425.32 c 1400s | 23 | 2968249 | 2857838 | 7431 877 | 1 | 9 1426.84/1427.37 c 1402s | 23 | 2973270 | 2862638 | 7431 878 | 1 | 9 1428.84/1429.37 c 1404s | 23 | 2977513 | 2866538 | 7431 879 | 1 | 9 1430.84/1431.37 c 1406s | 23 | 2982501 | 2871338 | 7431 880 | 1 | 9 1432.85/1433.38 c 1408s | 23 | 2986650 | 2875338 | 7431 881 | 1 | 9 1434.94/1435.40 c 1410s | 23 | 2990652 | 2879138 | 7431 882 | 1 | 9 1436.94/1437.41 c 1412s | 23 | 2994657 | 2882938 | 7431 883 | 1 | 9 1438.94/1439.43 c 1414s | 23 | 2998872 | 2886738 | 7431 884 | 1 | 9 1440.94/1441.44 c 1416s | 23 | 3003048 | 2890638 | 7431 885 | 1 | 9 1442.94/1443.46 c 1418s | 23 | 3007539 | 2895038 | 7431 886 | 1 | 9 1444.94/1445.49 c 1420s | 23 | 3012071 | 2899438 | 7431 888 | 1 | 9 1447.04/1447.51 c 1422s | 23 | 3015902 | 2903138 | 7431 889 | 1 | 9 1449.04/1449.53 c 1424s | 23 | 3020179 | 2907238 | 7431 890 | 1 | 9 1451.04/1451.55 c 1426s | 23 | 3024264 | 2911238 | 7431 891 | 1 | 9 1453.04/1453.59 c 1428s | 23 | 3029248 | 2916038 | 7431 892 | 1 | 9 1455.13/1455.62 c 1430s | 23 | 3033662 | 2920338 | 7431 893 | 1 | 9 1457.14/1457.64 c 1432s | 23 | 3037678 | 2924238 | 7431 894 | 1 | 9 1459.13/1459.65 c 1434s | 23 | 3041672 | 2928038 | 7431 895 | 1 | 9 1461.13/1461.68 c 1436s | 23 | 3046383 | 2932638 | 7431 896 | 1 | 9 1463.23/1463.71 c 1438s | 23 | 3050479 | 2936638 | 7431 897 | 1 | 9 1465.23/1465.75 c 1440s | 23 | 3054659 | 2940738 | 7431 898 | 1 | 9 1467.23/1467.76 c 1442s | 23 | 3059081 | 2945038 | 7431 899 | 1 | 9 1469.33/1469.81 c 1444s | 23 | 3063715 | 2949538 | 7431 900 | 1 | 9 1471.34/1471.82 c 1446s | 23 | 3068160 | 2953838 | 7431 901 | 1 | 9 1473.33/1473.87 c 1448s | 23 | 3072322 | 2957838 | 7431 903 | 1 | 9 1475.33/1475.88 c 1450s | 23 | 3076476 | 2961838 | 7431 904 | 1 | 9 1477.43/1477.90 c 1452s | 23 | 3080788 | 2966038 | 7431 905 | 1 | 9 1479.43/1479.93 c 1454s | 23 | 3085053 | 2970138 | 7431 906 | 1 | 9 1481.43/1481.98 c 1456s | 23 | 3089704 | 2974538 | 7431 907 | 1 | 9 1483.53/1484.00 c 1458s | 23 | 3094391 | 2979138 | 7431 908 | 1 | 9 1485.53/1486.02 c 1460s | 23 | 3099014 | 2983538 | 7431 909 | 1 | 9 1487.53/1488.06 c 1463s | 23 | 3103277 | 2987538 | 7431 910 | 1 | 9 1489.53/1490.07 c 1465s | 23 | 3108164 | 2992338 | 7431 911 | 1 | 9 1491.63/1492.14 c 1467s | 23 | 3112937 | 2996938 | 7431 913 | 1 | 9 1493.63/1494.16 c 1469s | 23 | 3117747 | 3001538 | 7431 914 | 1 | 9 1495.63/1496.17 c 1471s | 23 | 3122272 | 3005838 | 7431 915 | 1 | 9 1497.62/1498.19 c 1473s | 23 | 3126621 | 3010038 | 7431 916 | 1 | 9 1499.73/1500.23 c 1475s | 23 | 3130880 | 3014238 | 7431 917 | 1 | 9 1501.73/1502.24 c 1477s | 23 | 3135350 | 3018638 | 7431 918 | 1 | 9 1503.73/1504.27 c 1479s | 23 | 3139765 | 3022938 | 7431 919 | 1 | 9 1505.83/1506.30 c 1481s | 23 | 3144069 | 3026938 | 7431 920 | 1 | 9 1507.83/1508.35 c 1483s | 23 | 3148031 | 3030838 | 7431 921 | 1 | 9 1509.84/1510.38 c 1485s | 23 | 3152669 | 3035338 | 7431 922 | 1 | 9 1511.93/1512.43 c 1487s | 23 | 3156627 | 3039138 | 7431 923 | 1 | 9 1513.93/1514.49 c 1489s | 23 | 3161067 | 3043438 | 7431 924 | 1 | 9 1516.03/1516.52 c 1491s | 23 | 3165233 | 3047538 | 7431 925 | 1 | 9 1518.03/1518.55 c 1493s | 23 | 3169442 | 3051638 | 7431 926 | 1 | 9 1520.03/1520.56 c 1495s | 23 | 3173244 | 3055338 | 7431 927 | 1 | 9 1522.03/1522.56 c 1497s | 23 | 3177519 | 3059438 | 7431 928 | 1 | 9 1524.13/1524.61 c 1499s | 23 | 3181736 | 3063538 | 7431 930 | 1 | 9 1526.13/1526.64 c 1501s | 23 | 3185648 | 3067238 | 7431 930 | 1 | 9 1528.13/1528.67 c 1503s | 23 | 3189984 | 3071438 | 7431 932 | 1 | 9 1530.13/1530.68 c 1505s | 23 | 3193735 | 3075038 | 7431 932 | 1 | 9 1532.22/1532.70 c 1507s | 23 | 3196983 | 3078238 | 7431 933 | 1 | 9 1534.22/1534.77 c 1509s | 23 | 3201363 | 3082538 | 7431 934 | 1 | 9 1536.23/1536.78 c 1511s | 23 | 3205602 | 3086638 | 7431 935 | 1 | 9 1538.32/1538.80 c 1513s | 23 | 3209824 | 3090738 | 7431 936 | 1 | 9 1540.32/1540.80 c 1515s | 23 | 3214275 | 3095038 | 7431 938 | 1 | 9 1542.32/1542.81 c 1517s | 23 | 3218306 | 3098938 | 7431 939 | 1 | 9 1544.32/1544.82 c 1519s | 23 | 3223127 | 3103638 | 7431 940 | 1 | 9 1546.32/1546.85 c 1521s | 23 | 3227240 | 3107638 | 7431 941 | 1 | 9 1548.33/1548.88 c 1523s | 23 | 3231298 | 3111538 | 7431 942 | 1 | 9 1550.42/1550.91 c 1525s | 23 | 3235532 | 3115638 | 7431 943 | 1 | 9 1552.42/1552.92 c 1527s | 23 | 3240198 | 3120138 | 7431 944 | 1 | 9 1554.42/1554.95 c 1529s | 23 | 3244741 | 3124538 | 7431 945 | 1 | 9 1556.42/1556.98 c 1531s | 23 | 3248168 | 3127838 | 7431 946 | 1 | 9 1558.52/1559.02 c 1533s | 23 | 3252747 | 3132338 | 7431 947 | 1 | 9 1560.52/1561.02 c 1536s | 23 | 3257170 | 3136638 | 7431 948 | 1 | 9 1562.52/1563.04 c 1538s | 23 | 3261812 | 3141138 | 7431 949 | 1 | 9 1564.52/1565.04 c 1540s | 23 | 3266238 | 3145338 | 7431 950 | 1 | 9 1566.51/1567.08 c 1542s | 23 | 3270621 | 3149538 | 7431 952 | 1 | 9 1568.61/1569.10 c 1544s | 23 | 3274941 | 3153738 | 7431 953 | 1 | 9 1570.61/1571.14 c 1546s | 23 | 3279634 | 3158338 | 7431 954 | 1 | 9 1572.71/1573.23 c 1548s | 23 | 3283948 | 3162538 | 7431 955 | 1 | 9 1574.72/1575.24 c 1550s | 23 | 3288610 | 3167038 | 7431 956 | 1 | 9 1576.71/1577.28 c 1552s | 23 | 3292188 | 3170538 | 7431 957 | 1 | 9 1578.71/1579.29 c 1554s | 23 | 3296612 | 3174838 | 7431 958 | 1 | 9 1580.81/1581.31 c 1556s | 23 | 3301121 | 3179238 | 7431 959 | 1 | 9 1582.81/1583.36 c 1558s | 23 | 3304682 | 3182738 | 7431 960 | 1 | 9 1584.81/1585.40 c 1560s | 23 | 3309012 | 3186938 | 7431 961 | 1 | 9 1586.92/1587.40 c 1562s | 23 | 3313835 | 3191538 | 7431 962 | 1 | 9 1588.91/1589.40 c 1564s | 23 | 3318248 | 3195838 | 7431 963 | 1 | 9 1590.91/1591.43 c 1566s | 23 | 3322646 | 3200138 | 7431 964 | 1 | 9 1592.91/1593.46 c 1568s | 23 | 3326784 | 3204138 | 7431 965 | 1 | 9 1595.01/1595.51 c 1570s | 23 | 3331045 | 3208238 | 7431 967 | 1 | 9 1597.01/1597.55 c 1572s | 23 | 3335782 | 3212838 | 7431 968 | 1 | 9 1599.02/1599.57 c 1574s | 23 | 3340495 | 3217438 | 7431 969 | 1 | 9 1601.01/1601.58 c 1576s | 23 | 3344751 | 3221538 | 7431 970 | 1 | 9 1603.01/1603.58 c 1578s | 23 | 3349095 | 3225738 | 7431 971 | 1 | 9 1605.11/1605.61 c 1580s | 23 | 3353285 | 3229738 | 7431 972 | 1 | 9 1607.11/1607.61 c 1582s | 23 | 3357803 | 3234138 | 7431 973 | 1 | 9 1609.11/1609.64 c 1584s | 23 | 3362368 | 3238538 | 7431 974 | 1 | 9 1611.11/1611.64 c 1586s | 23 | 3366746 | 3242738 | 7431 975 | 1 | 9 1613.11/1613.65 c 1588s | 23 | 3371379 | 3247138 | 7431 976 | 1 | 9 1615.21/1615.74 c 1590s | 23 | 3375752 | 3251338 | 7431 978 | 1 | 9 1617.21/1617.77 c 1592s | 23 | 3380521 | 3255938 | 7431 979 | 1 | 9 1619.31/1619.81 c 1594s | 23 | 3385096 | 3260338 | 7431 980 | 1 | 9 1621.31/1621.84 c 1596s | 23 | 3389074 | 3264138 | 7431 981 | 1 | 9 1623.31/1623.89 c 1598s | 23 | 3393742 | 3268638 | 7431 982 | 1 | 9 1625.42/1625.93 c 1600s | 23 | 3397872 | 3272638 | 7431 983 | 1 | 9 1627.41/1627.95 c 1602s | 23 | 3401990 | 3276638 | 7431 984 | 1 | 9 1629.41/1629.95 c 1604s | 23 | 3406067 | 3280638 | 7431 985 | 1 | 9 1631.41/1631.96 c 1606s | 23 | 3410188 | 3284638 | 7431 986 | 1 | 9 1633.41/1633.97 c 1608s | 23 | 3414386 | 3288738 | 8175 987 | 1 | 9 1635.51/1636.00 c 1610s | 23 | 3418962 | 3293238 | 8175 988 | 1 | 9 1637.52/1638.01 c 1612s | 23 | 3422692 | 3296838 | 8175 989 | 1 | 9 1639.51/1640.01 c 1614s | 23 | 3426990 | 3301038 | 8175 990 | 1 | 9 1641.51/1642.05 c 1617s | 23 | 3431351 | 3305238 | 8175 991 | 1 | 9 1643.51/1644.06 c 1619s | 23 | 3435025 | 3308838 | 8175 992 | 1 | 9 1645.61/1646.10 c 1621s | 23 | 3439539 | 3313238 | 8175 993 | 1 | 9 1647.61/1648.10 c 1623s | 23 | 3443089 | 3316638 | 8175 993 | 1 | 9 1649.62/1650.11 c 1625s | 23 | 3446561 | 3320038 | 8175 994 | 1 | 9 1651.61/1652.14 c 1627s | 23 | 3451494 | 3324838 | 8175 995 | 1 | 9 1653.61/1654.17 c 1629s | 23 | 3456027 | 3329238 | 8175 996 | 1 | 9 1655.61/1656.19 c 1631s | 23 | 3459976 | 3332938 | 8175 997 | 1 | 9 1657.71/1658.22 c 1633s | 23 | 3464519 | 3337338 | 8175 998 | 1 | 9 1659.71/1660.23 c 1635s | 23 | 3468729 | 3341438 | 8175 999 | 1 | 9 1661.71/1662.26 c 1637s | 23 | 3472892 | 3345238 | 8175 1000 | 1 | 9 1663.71/1664.28 c 1639s | 23 | 3477225 | 3349438 | 8175 1001 | 1 | 9 1665.80/1666.31 c 1641s | 23 | 3481602 | 3353738 | 8175 1002 | 1 | 9 1667.80/1668.33 c 1643s | 23 | 3485780 | 3357838 | 8175 1003 | 1 | 9 1669.80/1670.37 c 1645s | 23 | 3490096 | 3362038 | 8175 1004 | 1 | 9 1671.90/1672.40 c 1647s | 23 | 3494622 | 3366438 | 8175 1005 | 1 | 9 1673.90/1674.43 c 1649s | 23 | 3498650 | 3370338 | 8175 1006 | 1 | 9 1675.91/1676.43 c 1651s | 23 | 3502789 | 3374338 | 8175 1007 | 1 | 9 1676.90/1677.47 c 1652s | 24 | 3505148 | 3376662 | 8175 1007 | 1 | 9 1679.00/1679.51 c 1654s | 24 | 3511135 | 3382462 | 8175 1009 | 1 | 9 1681.00/1681.52 c 1656s | 24 | 3516611 | 3387862 | 8175 1010 | 1 | 9 1683.00/1683.52 c 1658s | 24 | 3521160 | 3392362 | 8175 1011 | 1 | 9 1685.00/1685.56 c 1660s | 24 | 3525698 | 3396862 | 8175 1012 | 1 | 9 1687.01/1687.57 c 1662s | 24 | 3530285 | 3401062 | 8175 1013 | 1 | 9 1689.00/1689.59 c 1664s | 24 | 3535488 | 3406162 | 8175 1014 | 1 | 9 1691.10/1691.63 c 1666s | 24 | 3539554 | 3410162 | 8175 1015 | 1 | 9 1693.10/1693.64 c 1668s | 24 | 3544107 | 3414662 | 8175 1016 | 1 | 9 1695.10/1695.65 c 1670s | 24 | 3548803 | 3419162 | 8175 1017 | 1 | 9 1697.10/1697.69 c 1672s | 24 | 3553485 | 3423762 | 8175 1018 | 1 | 9 1699.20/1699.71 c 1674s | 24 | 3557468 | 3427662 | 8175 1019 | 1 | 9 1701.21/1701.75 c 1676s | 24 | 3561422 | 3431562 | 8175 1020 | 1 | 9 1703.20/1703.77 c 1678s | 24 | 3565545 | 3435662 | 8175 1021 | 1 | 9 1705.20/1705.79 c 1680s | 24 | 3570673 | 3440662 | 8175 1022 | 1 | 9 1707.30/1707.84 c 1682s | 24 | 3575025 | 3444962 | 8175 1023 | 1 | 9 1709.30/1709.88 c 1684s | 24 | 3578651 | 3448562 | 8175 1024 | 1 | 9 1711.30/1711.89 c 1686s | 24 | 3582698 | 3452562 | 8175 1025 | 1 | 9 1713.40/1713.91 c 1688s | 24 | 3587566 | 3457262 | 8175 1026 | 1 | 9 1715.40/1715.96 c 1690s | 24 | 3592550 | 3462162 | 8175 1027 | 1 | 9 1717.49/1718.00 c 1692s | 24 | 3596919 | 3466462 | 8175 1028 | 1 | 9 1719.49/1720.05 c 1695s | 24 | 3600864 | 3470362 | 8175 1029 | 1 | 9 1721.59/1722.10 c 1697s | 24 | 3604921 | 3474362 | 8175 1030 | 1 | 9 1723.59/1724.14 c 1699s | 24 | 3608878 | 3478262 | 8175 1031 | 1 | 9 1725.59/1726.16 c 1701s | 24 | 3613742 | 3482962 | 8175 1032 | 1 | 9 1727.60/1728.17 c 1703s | 24 | 3617684 | 3486862 | 8175 1033 | 1 | 9 1729.69/1730.20 c 1705s | 24 | 3622010 | 3490962 | 8175 1034 | 1 | 9 1731.69/1732.24 c 1707s | 24 | 3625851 | 3494662 | 8175 1035 | 1 | 9 1733.69/1734.24 c 1709s | 24 | 3629387 | 3498062 | 8175 1036 | 1 | 9 1735.69/1736.25 c 1711s | 24 | 3633231 | 3501662 | 8175 1037 | 1 | 9 1737.69/1738.25 c 1713s | 24 | 3636664 | 3504962 | 8175 1038 | 1 | 9 1739.70/1740.29 c 1715s | 24 | 3639960 | 3508162 | 8175 1038 | 1 | 9 1741.69/1742.29 c 1717s | 24 | 3643592 | 3511662 | 8175 1039 | 1 | 9 1743.79/1744.30 c 1719s | 24 | 3647215 | 3515162 | 8175 1040 | 1 | 9 1745.79/1746.31 c 1721s | 24 | 3650281 | 3518162 | 8175 1041 | 1 | 9 1747.79/1748.31 c 1723s | 24 | 3653760 | 3521562 | 8175 1041 | 1 | 9 1749.79/1750.36 c 1725s | 24 | 3657238 | 3524962 | 8175 1042 | 1 | 9 1751.79/1752.40 c 1727s | 24 | 3660923 | 3528562 | 8175 1043 | 1 | 9 1753.89/1754.45 c 1729s | 24 | 3664284 | 3531862 | 8175 1044 | 1 | 9 1755.89/1756.47 c 1731s | 24 | 3668339 | 3535662 | 8175 1045 | 1 | 9 1757.89/1758.48 c 1733s | 24 | 3672154 | 3539162 | 8175 1046 | 1 | 9 1759.98/1760.52 c 1735s | 24 | 3675361 | 3542262 | 8175 1046 | 1 | 9 1761.98/1762.53 c 1737s | 24 | 3679150 | 3545962 | 8175 1047 | 1 | 9 1763.99/1764.58 c 1739s | 24 | 3682195 | 3548962 | 8175 1048 | 1 | 9 1765.98/1766.60 c 1741s | 24 | 3685631 | 3552362 | 8175 1049 | 1 | 9 1768.08/1768.64 c 1743s | 24 | 3689006 | 3555662 | 8175 1050 | 1 | 9 1770.08/1770.66 c 1745s | 24 | 3692280 | 3558862 | 8175 1050 | 1 | 9 1772.18/1772.70 c 1747s | 24 | 3696076 | 3562562 | 8175 1051 | 1 | 9 1774.19/1774.71 c 1749s | 24 | 3699100 | 3565462 | 8175 1052 | 1 | 9 1776.19/1776.74 c 1751s | 24 | 3702010 | 3568162 | 8175 1053 | 1 | 9 1778.20/1778.78 c 1753s | 24 | 3705679 | 3571662 | 8175 1053 | 1 | 9 1780.19/1780.79 c 1755s | 24 | 3709536 | 3575262 | 8175 1054 | 1 | 9 1782.29/1782.84 c 1757s | 24 | 3713784 | 3579462 | 8175 1055 | 1 | 9 1784.29/1784.85 c 1759s | 24 | 3717970 | 3583562 | 8175 1056 | 1 | 9 1786.29/1786.86 c 1761s | 24 | 3722059 | 3587562 | 8175 1057 | 1 | 9 1788.29/1788.88 c 1763s | 24 | 3726252 | 3591662 | 8175 1058 | 1 | 9 1790.29/1790.89 c 1765s | 24 | 3730546 | 3595862 | 8175 1059 | 1 | 9 1792.39/1792.92 c 1767s | 24 | 3734635 | 3599862 | 8175 1060 | 1 | 9 1794.39/1794.96 c 1769s | 24 | 3737883 | 3603062 | 8175 1061 | 1 | 9 1796.38/1796.99 c 1771s | 24 | 3741103 | 3606162 | 8175 1061 | 1 | 9 1798.38/1798.99 c 1773s | 24 | 3744984 | 3609762 | 8175 1062 | 1 | 9
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106544-1466273101/watcher-4106544-1466273101 -o /tmp/evaluation-result-4106544-1466273101/solver-4106544-1466273101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106544-1466273101.opb pid=9055 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.16 2.10 3/179 9058 /proc/meminfo: memFree=30104232/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=769468 CPUtime=0 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 2880 0 0 0 0 0 0 0 20 0 4 0 29355520 787935232 2731 33554432000 4194304 16246674 140735540929744 140735540929168 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 192879 2740 441 2943 0 189773 0 [pid=9058/tid=9059] ppid=9055 vsize=786876 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 805761024 2800 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=790972 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 809955328 2815 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=795068 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29355520 814149632 2832 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100174 s] /proc/loadavg: 2.22 2.16 2.10 3/179 9058 /proc/meminfo: memFree=30104232/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 22588 0 0 0 7 2 0 0 20 0 4 0 29355520 1247350784 22426 33554432000 4194304 16246674 140735540929744 140735540929168 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 304529 22431 759 2943 0 301423 0 [pid=9058/tid=9059] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 22436 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 22440 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 22446 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200537 s] /proc/loadavg: 2.22 2.16 2.10 3/179 9058 /proc/meminfo: memFree=30104232/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 40988 0 0 0 14 5 0 0 20 0 4 0 29355520 1247350784 40826 33554432000 4194304 16246674 140735540929744 140735540929168 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 304529 40835 759 2943 0 301423 0 [pid=9058/tid=9059] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 40846 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 40853 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 40860 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300486 s] /proc/loadavg: 2.22 2.16 2.10 3/179 9058 /proc/meminfo: memFree=30104232/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 59479 0 0 0 21 7 0 0 20 0 4 0 29355520 1247350784 59317 33554432000 4194304 16246674 140735540929744 140735540929168 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 304529 59323 759 2943 0 301423 0 [pid=9058/tid=9059] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 59327 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 59330 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 59335 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700397 s] /proc/loadavg: 2.22 2.16 2.10 3/179 9058 /proc/meminfo: memFree=30104232/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 110109 0 0 0 54 15 0 0 20 0 4 0 29355520 1247350784 109947 33554432000 4194304 16246674 140735540929744 140735540911616 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 304529 109949 759 2943 0 301423 0 [pid=9058/tid=9059] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 109953 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 109957 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 109961 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.22 2.16 2.10 3/183 9062 /proc/meminfo: memFree=29426032/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 237752 0 0 0 117 32 0 0 20 0 4 0 29355520 1247350784 237591 33554432000 4194304 16246674 140735540929744 140735540912744 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 304529 237600 766 2943 0 301423 0 [pid=9058/tid=9059] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 237606 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 237609 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29355520 1247350784 237612 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.10042 s] /proc/loadavg: 2.22 2.16 2.10 3/183 9062 /proc/meminfo: memFree=29120496/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1302084 CPUtime=3.08 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 266545 0 0 0 273 35 0 0 20 0 4 0 29355520 1333334016 266360 33554432000 4194304 16246674 140735540929744 140735540911616 6021028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 325521 266360 835 2943 0 322415 0 [pid=9058/tid=9059] ppid=9055 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1333334016 266360 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1333334016 266360 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1333334016 266360 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1302084 [startup+6.30042 s] /proc/loadavg: 2.28 2.17 2.10 4/183 9062 /proc/meminfo: memFree=29033808/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1309252 CPUtime=6.28 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 268230 0 0 0 593 35 0 0 20 0 4 0 29355520 1340674048 268045 33554432000 4194304 16246674 140735540929744 140735540912744 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 327313 268045 835 2943 0 324207 0 [pid=9058/tid=9059] ppid=9055 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1340674048 268045 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1340674048 268045 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1340674048 268045 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.26 2.17 2.10 3/183 9062 /proc/meminfo: memFree=29031524/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1310276 CPUtime=12.68 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 268588 0 0 0 1233 35 0 0 20 0 4 0 29355520 1341722624 268403 33554432000 4194304 16246674 140735540929744 140735540912744 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 327569 268403 835 2943 0 324463 0 [pid=9058/tid=9059] ppid=9055 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1341722624 268403 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1341722624 268403 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1341722624 268403 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 2.20 2.16 2.10 3/183 9062 /proc/meminfo: memFree=29024948/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1317444 CPUtime=25.48 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 270462 0 0 0 2513 35 0 0 20 0 4 0 29355520 1349062656 270277 33554432000 4194304 16246674 140735540929744 140735540911616 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 329361 270277 853 2943 0 326255 0 [pid=9058/tid=9059] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270277 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270277 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270277 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1317444 [startup+51.1005 s] /proc/loadavg: 2.25 2.18 2.11 3/183 9062 /proc/meminfo: memFree=29024672/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1317444 CPUtime=51.09 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 270463 0 0 0 5073 36 0 0 20 0 4 0 29355520 1349062656 270278 33554432000 4194304 16246674 140735540929744 140735540912744 5672988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 329361 270278 854 2943 0 326255 0 [pid=9058/tid=9059] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270278 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270278 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270278 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1317444 [startup+102.301 s] /proc/loadavg: 2.21 2.18 2.11 4/183 9063 /proc/meminfo: memFree=29023500/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1317444 CPUtime=102.28 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 270463 0 0 0 10192 36 0 0 20 0 4 0 29355520 1349062656 270278 33554432000 4194304 16246674 140735540929744 140735540912744 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 329361 270278 854 2943 0 326255 0 [pid=9058/tid=9059] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270278 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270278 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1349062656 270278 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1331780 [startup+1302.3 s] /proc/loadavg: 2.24 2.18 2.11 3/183 9141 /proc/meminfo: memFree=29006704/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1301.86 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 130140 46 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540912744 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.14 2.16 2.10 3/183 9142 /proc/meminfo: memFree=29006708/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1361.85 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 136139 46 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.12 2.16 2.10 3/183 9143 /proc/meminfo: memFree=29006968/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1421.85 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 142138 47 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.14 2.16 2.10 3/183 9145 /proc/meminfo: memFree=29007092/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1481.83 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 148136 47 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 6020448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.29 2.19 2.11 3/184 9149 /proc/meminfo: memFree=29006920/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1541.83 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 154135 48 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.27 2.20 2.12 3/183 9150 /proc/meminfo: memFree=29006936/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1601.81 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 160133 48 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 5711457 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.24 2.20 2.12 3/183 9151 /proc/meminfo: memFree=29007060/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1661.81 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 166132 49 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.14 2.18 2.11 3/184 9153 /proc/meminfo: memFree=29006948/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1721.79 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 172130 49 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1331780 [startup+1782.3 s] /proc/loadavg: 2.09 2.16 2.11 3/183 9155 /proc/meminfo: memFree=29006716/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1781.79 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 178129 50 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 4222062 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.06 2.15 2.10 3/183 9156 /proc/meminfo: memFree=29006344/32872528 swapFree=496868/529572 [pid=9058] ppid=9055 vsize=1331780 CPUtime=1800.08 cores=1,3,5,7 /proc/9058/stat : 9058 (toysat) R 9055 9058 7739 0 -1 4202496 274457 0 0 0 179958 50 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140735540911616 5823516 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9058/statm: 332945 274120 856 2943 0 329839 0 [pid=9058/tid=9059] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9059/stat : 9059 (toysat) S 9055 9058 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491944340720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9058/tid=9060] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9060/stat : 9060 (toysat) S 9055 9058 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491933850864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9058/tid=9061] ppid=9055 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/9058/task/9061/stat : 9061 (toysat) S 9055 9058 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29355520 1363742720 274120 33554432000 4194304 16246674 140735540929744 140491923377328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1331780 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 9058 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.1 CPU user time (s): 1799.59 CPU system time (s): 0.503923 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.503923 maximum resident set size= 1096480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274457 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= 422 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.34619 second user time and 7.35588 second system time The end
Begin job on node141 at 2016-06-18 20:05:01 IDJOB=4106544 IDBENCH=48098 IDSOLVER=2542 FILE ID=node141/4106544-1466273101 RUNJOBID= node141-1466264081-7756 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106544-1466273101/watcher-4106544-1466273101 -o /tmp/evaluation-result-4106544-1466273101/solver-4106544-1466273101 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106544-1466273101.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554 RANDOM SEED=1650329177 node141.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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 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.547 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.547 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.54 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.547 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.547 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.56 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.55 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.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30104496 kB Buffers: 152608 kB Cached: 256400 kB SwapCached: 2528 kB Active: 1227296 kB Inactive: 266644 kB Active(anon): 1085260 kB Inactive(anon): 2028 kB Active(file): 142036 kB Inactive(file): 264616 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16348 kB Writeback: 0 kB AnonPages: 1612648 kB Mapped: 10552 kB Shmem: 0 kB Slab: 609944 kB SReclaimable: 53348 kB SUnreclaim: 556596 kB KernelStack: 1456 kB PageTables: 7224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1756540 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 907264 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= 71696 MiB End job on node141 at 2016-06-18 20:35:02