| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb |
| MD5SUM | 773aedb43187ca11a13e2d0d2a59ebe9 |
| 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.113981 |
| 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 | 135 |
| Total number of constraints | 11 |
| 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 | 11 |
| 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) | 405 |
| Sum of products size (including duplicates) | 810 |
| Number of different products | 405 |
| Sum of products size | 810 |
0.00/0.00 c 2016-06-18T19:28:28+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-4106412-1466270908.opb"] 0.00/0.01 c use --random-gen="468437911 1940927603 2391783076 1133810206 1641733797 217710116 1744155061 1471327243 1351494573 529916575 315054076 800690824 643491855 2575702384 2093909715 363477146 3978266148 2847512896 2662379770 1080360927 4034229319 3217012088 508807010 3682787562 2851921911 2319254513 3247842661 3040602200 2769340488 2408351458 1399221082 2706139797 2384499945 3015425090 765928957 236897061 2134508237 3845380830 1531312473 1408068213 2842931845 1364521934 196519591 2249755948 3445902147 480403777 3763672177 1629694994 138069083 2998958455 343018121 1748385170 3898434774 3370649031 1105560018 662819940 2424868322 2997599468 1965499021 3298357551 3077518524 2551584608 4256172623 1142607087 3168803886 2222697450 2142978812 1798548379 1329958586 669728777 1075393472 3325188425 2694917539 2164396088 3979418125 3688085772 4144720329 477223789 2281541709 2066850325 4137351059 3362342880 2972711722 553669103 2787367156 724206515 3852338287 2715168958 885487887 611142356 2779959141 3477215238 4290957097 3239289080 1936824311 443979731 406556616 1240776901 1368619325 3674364256 2726417549 1291873474 1735843789 2793887666 1212877700 2640376852 755081870 1236569526 190238873 4166046246 2389768628 1615555585 154237818 2447079803 2307917488 210521043 1022381228 1393278896 869592209 71528994 238744203 954783900 2291972778 4166809117 2779200532 12717157 2472981394 2063920352 1964534616 1149132514 2458902129 3908277253 3729250851 377702513 792263616 100982413 3164159835 2435588820 1496970018 2724581541 3238449054 61045630 1180786164 255416525 160311973 410530169 1549804523 2229530612 672266039 952676661 1001980280 532362591 626250039 242830549 1595890126 739827365 3085065921 1107753519 1727979625 1763315956 889581221 1920015482 3725598416 3252475383 80872680 154658917 1806173119 1596139970 3599561022 3612835625 3268510074 3243423355 1961777733 1580941446 4130203700 3683185552 2691740116 4187254760 884414437 1541929490 3432395214 965522377 117613200 599417728 1790424819 492706106 1034496910 2465130300 1265415461 2437664675 3606015000 1225974331 2521621682 4209430405 349349594 3072010448 1594273929 4166502839 3916566420 2837323723 2811985189 355604889 450719113 3962960177 3463203439 861719357 1956388456 3302285887 2003967610 1870657415 2656602443 3239924254 494331431 2939579669 2226293985 4036146322 719273183 1880289936 2773853227 12387678 91084414 2586463207 519444794 2486699800 214157587 1001481166 698422165 3789878974 568830420 2900598559 2609411176 570957950 1606938799 3191224178 933978533 674744387 770165986 2799866159 2692683707 3833345457 1415504646 3865359902 3935508607 2729022592 1934548975 3927909755 1141069356 1639878265 2108089527 1569534973 4204835588 3341019712 729972765 336364106 545715558 4014794911 255 362436" option to reproduce the execution 0.00/0.01 c #vars 135 0.00/0.01 c #constraints 11 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 590 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 139 | 100 | 590 0 | 0 | 0 0.08/0.10 c 0.1s | 2 | 364 | 250 | 649 0 | 0 | 0 0.19/0.22 c 0.2s | 3 | 673 | 475 | 714 0 | 0 | 0 0.39/0.46 c 0.4s | 4 | 1078 | 813 | 786 0 | 0 | 0 0.69/0.73 c 0.7s | 5 | 1649 | 1320 | 865 1 | 0 | 0 0.99/1.09 c 1.1s | 6 | 2487 | 2081 | 1048 2 | 0 | 0 1.49/1.52 c 1.5s | 7 | 3714 | 3223 | 1153 4 | 0 | 0 1.89/1.97 c 1.9s | 8 | 5530 | 4936 | 1269 6 | 0 | 0 1.99/2.08 c 2.1s | 8 | 6130 | 5453 | 1269 7 | 0 | 0 1.99/2.08 c #cpu_time = 2.049s 1.99/2.08 c #wall_clock_time = 2.054s 1.99/2.08 c #decision = 6130 1.99/2.08 c #random_decision = 23 1.99/2.08 c #conflict = 5453 1.99/2.08 c #restart = 8 1.99/2.08 o 335 1.99/2.08 c BCD2: updating upper bound: 511 -> 334 1.99/2.08 c BCD2: 0 <= obj <= 334 1.99/2.08 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 1.99/2.08 c BCD2: #sat=1 #unsat=1 bias=1/2 1.99/2.08 c Solving starts ... 1.99/2.08 c ============================[ Search Statistics ]============================ 1.99/2.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.08 c | | | | Limit GC | Var | Constra 1.99/2.08 c ============================================================================= 1.99/2.08 c 0.0s | 0 | 0 | 0 | 1269 0 | 0 | 0 1.99/2.08 c 0.0s | 0 | 7 | 0 | 1269 0 | 0 | 0 1.99/2.08 c #cpu_time = 0.003s 1.99/2.08 c #wall_clock_time = 0.004s 1.99/2.08 c #decision = 7 1.99/2.08 c #random_decision = 0 1.99/2.08 c #conflict = 0 1.99/2.08 c #restart = 0 1.99/2.08 c BCD2: found a new core of size 8: cost of the new core is >=2 1.99/2.08 c lower bound updated to 2 1.99/2.08 c BCD2: 2 <= obj <= 334 1.99/2.08 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 1.99/2.08 c BCD2: #sat=1 #unsat=2 bias=2/3 1.99/2.08 c Solving starts ... 1.99/2.08 c ============================[ Search Statistics ]============================ 1.99/2.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.08 c | | | | Limit GC | Var | Constra 1.99/2.08 c ============================================================================= 1.99/2.08 c 0.0s | 0 | 0 | 0 | 1269 0 | 0 | 0 2.09/2.15 c 0.1s | 1 | 159 | 100 | 1269 0 | 0 | 0 2.19/2.21 c 0.1s | 2 | 393 | 250 | 1269 1 | 0 | 0 2.19/2.25 c 0.2s | 3 | 634 | 475 | 1269 1 | 0 | 0 2.29/2.32 c 0.2s | 4 | 1022 | 813 | 1269 1 | 0 | 0 2.48/2.54 c 0.5s | 5 | 1610 | 1320 | 1269 2 | 0 | 0 2.58/2.69 c 0.6s | 6 | 2514 | 2081 | 1396 3 | 0 | 0 2.88/2.95 c 0.9s | 7 | 3729 | 3223 | 1396 4 | 0 | 0 4.09/4.18 c 2.1s | 8 | 5549 | 4936 | 1396 6 | 0 | 0 4.89/4.90 c 2.8s | 9 | 8315 | 7506 | 1536 9 | 0 | 0 5.99/6.09 c 4.0s | 10 | 12520 | 11361 | 1536 13 | 0 | 0 8.09/8.12 c 6.0s | 10 | 17999 | 16561 | 1690 17 | 0 | 0 8.39/8.41 c 6.3s | 11 | 18678 | 17144 | 1690 18 | 0 | 0 10.39/10.44 c 8.4s | 11 | 24986 | 23044 | 1860 24 | 0 | 0 11.29/11.39 c 9.3s | 12 | 27970 | 25819 | 1860 26 | 0 | 0 13.39/13.42 c 11.3s | 12 | 35633 | 33319 | 2047 32 | 0 | 0 14.99/15.09 c 13.0s | 13 | 41254 | 38832 | 2047 37 | 0 | 0 16.99/17.09 c 15.0s | 13 | 46710 | 44032 | 2047 41 | 0 | 0 19.09/19.10 c 17.0s | 13 | 52343 | 49432 | 2047 45 | 0 | 0 21.09/21.11 c 19.0s | 13 | 57780 | 54732 | 2252 49 | 0 | 0 22.39/22.46 c 20.4s | 14 | 61563 | 58352 | 2252 52 | 0 | 0 24.39/24.47 c 22.4s | 14 | 68517 | 65052 | 2252 57 | 0 | 0 26.39/26.48 c 24.4s | 14 | 74670 | 71052 | 2252 62 | 0 | 0 28.39/28.49 c 26.4s | 14 | 80866 | 77152 | 2252 66 | 0 | 0 30.49/30.50 c 28.4s | 14 | 86546 | 82452 | 2478 70 | 0 | 0 32.09/32.18 c 30.1s | 15 | 91782 | 87632 | 2478 73 | 0 | 0 34.19/34.24 c 32.2s | 15 | 97390 | 92632 | 2478 77 | 0 | 0 36.18/36.26 c 34.2s | 15 | 101263 | 96032 | 2478 79 | 0 | 0 38.18/38.29 c 36.2s | 15 | 106309 | 99732 | 2478 82 | 0 | 0 40.28/40.37 c 38.3s | 15 | 109847 | 102432 | 2478 84 | 0 | 0 42.28/42.37 c 40.3s | 15 | 112131 | 104232 | 2478 85 | 0 | 0 44.38/44.49 c 42.4s | 15 | 117524 | 109332 | 2478 88 | 0 | 0 46.48/46.53 c 44.5s | 15 | 122664 | 114032 | 2478 92 | 0 | 0 48.49/48.54 c 46.5s | 15 | 126868 | 117532 | 2478 94 | 0 | 0 50.48/50.55 c 48.5s | 15 | 132591 | 122632 | 2478 97 | 0 | 0 52.48/52.58 c 50.5s | 15 | 137508 | 127432 | 2726 100 | 0 | 0 54.48/54.58 c 52.5s | 16 | 141653 | 131552 | 2726 103 | 0 | 0 56.58/56.60 c 54.5s | 16 | 149117 | 138752 | 2726 108 | 0 | 0 58.58/58.63 c 56.5s | 16 | 156676 | 146052 | 2726 113 | 0 | 0 60.59/60.64 c 58.6s | 16 | 163647 | 152752 | 2726 118 | 0 | 0 62.58/62.66 c 60.6s | 16 | 171026 | 159952 | 2726 123 | 0 | 0 64.58/64.69 c 62.6s | 16 | 178815 | 167552 | 2726 128 | 0 | 0 66.58/66.69 c 64.6s | 16 | 186526 | 175052 | 2726 134 | 0 | 0 68.68/68.72 c 66.6s | 16 | 194962 | 183352 | 2726 139 | 0 | 0 70.68/70.76 c 68.7s | 16 | 201979 | 190152 | 2726 144 | 0 | 0 72.68/72.78 c 70.7s | 16 | 209481 | 197252 | 2999 149 | 0 | 0 72.77/72.82 c 70.7s | 17 | 209662 | 197432 | 2999 149 | 0 | 0 74.78/74.86 c 72.8s | 17 | 217427 | 204832 | 2999 153 | 0 | 0 76.77/76.89 c 74.8s | 17 | 223384 | 210532 | 2999 156 | 0 | 0 78.87/78.92 c 76.8s | 17 | 229356 | 216332 | 2999 160 | 0 | 0 80.87/80.92 c 78.8s | 17 | 236232 | 222732 | 2999 163 | 0 | 0 82.87/82.93 c 80.8s | 17 | 242184 | 228332 | 2999 167 | 0 | 0 84.87/84.94 c 82.9s | 17 | 248582 | 234532 | 2999 170 | 0 | 0 86.89/86.95 c 84.9s | 17 | 255134 | 240932 | 2999 174 | 0 | 0 88.88/88.98 c 86.9s | 17 | 260801 | 246432 | 2999 177 | 0 | 0 90.88/90.99 c 88.9s | 17 | 266198 | 251632 | 2999 180 | 0 | 0 92.98/93.00 c 90.9s | 17 | 272495 | 257632 | 2999 184 | 0 | 0 94.98/95.02 c 92.9s | 17 | 278520 | 263432 | 2999 187 | 0 | 0 96.98/97.03 c 95.0s | 17 | 285638 | 270332 | 2999 191 | 0 | 0 98.98/99.07 c 97.0s | 17 | 291939 | 276532 | 2999 195 | 0 | 0 100.97/101.08 c 99.0s | 17 | 298573 | 283032 | 2999 199 | 0 | 0 102.97/103.10 c 101s | 17 | 305029 | 289332 | 3299 202 | 0 | 0 105.07/105.13 c 103s | 17 | 311613 | 295732 | 3299 206 | 0 | 0 105.17/105.29 c 103s | 18 | 312139 | 296252 | 3299 206 | 0 | 0 107.27/107.30 c 105s | 18 | 315885 | 299852 | 3299 208 | 0 | 0 109.27/109.34 c 107s | 18 | 321424 | 305252 | 3299 211 | 0 | 0 111.27/111.38 c 109s | 18 | 327369 | 310952 | 3299 214 | 0 | 0 113.28/113.39 c 111s | 18 | 333106 | 316452 | 3299 217 | 0 | 0 115.37/115.41 c 113s | 18 | 339050 | 322152 | 3299 220 | 0 | 0 117.37/117.42 c 115s | 18 | 343862 | 326652 | 3299 222 | 0 | 0 119.37/119.43 c 117s | 18 | 348976 | 331252 | 3299 225 | 0 | 0 121.37/121.44 c 119s | 18 | 354486 | 336352 | 3299 227 | 0 | 0 123.37/123.47 c 121s | 18 | 359366 | 341052 | 3299 230 | 0 | 0 125.37/125.48 c 123s | 18 | 363513 | 344952 | 3299 232 | 0 | 0 127.47/127.50 c 125s | 18 | 368387 | 349452 | 3299 234 | 0 | 0 129.47/129.50 c 127s | 18 | 373916 | 354652 | 3299 237 | 0 | 0 131.47/131.51 c 129s | 18 | 379250 | 359652 | 3299 240 | 0 | 0 133.46/133.55 c 131s | 18 | 384006 | 364052 | 3299 242 | 0 | 0 135.46/135.57 c 133s | 18 | 388840 | 368752 | 3299 245 | 0 | 0 137.57/137.64 c 135s | 18 | 394532 | 374252 | 3299 248 | 0 | 0 139.56/139.64 c 137s | 18 | 400647 | 380152 | 3299 251 | 0 | 0 141.56/141.65 c 139s | 18 | 406347 | 385652 | 3299 254 | 0 | 0 143.56/143.66 c 141s | 18 | 412020 | 391152 | 3299 257 | 0 | 0 145.66/145.70 c 143s | 18 | 417312 | 396252 | 3299 259 | 0 | 0 147.66/147.73 c 145s | 18 | 422310 | 400952 | 3299 262 | 0 | 0 149.67/149.74 c 147s | 18 | 426824 | 405252 | 3299 264 | 0 | 0 151.67/151.74 c 149s | 18 | 432450 | 410752 | 3299 267 | 0 | 0 153.67/153.76 c 151s | 18 | 437818 | 415952 | 3299 270 | 0 | 0 155.67/155.76 c 153s | 18 | 444308 | 422352 | 3299 273 | 0 | 0 157.67/157.78 c 155s | 18 | 450155 | 428152 | 3299 276 | 0 | 0 159.77/159.80 c 157s | 18 | 455596 | 433052 | 3299 279 | 0 | 0 161.77/161.81 c 159s | 18 | 460175 | 437352 | 3629 281 | 0 | 0 163.77/163.85 c 161s | 18 | 465609 | 442652 | 3629 284 | 0 | 0 164.47/164.57 c 162s | 19 | 467508 | 444482 | 3629 284 | 0 | 0 166.47/166.58 c 164s | 19 | 474805 | 451582 | 3629 288 | 0 | 0 168.47/168.58 c 166s | 19 | 480708 | 457382 | 3629 291 | 0 | 0 170.47/170.59 c 168s | 19 | 486769 | 463282 | 3629 294 | 0 | 0 172.56/172.60 c 170s | 19 | 492833 | 469182 | 3629 297 | 0 | 0 174.56/174.60 c 172s | 19 | 498768 | 474982 | 3629 300 | 0 | 0 176.56/176.60 c 174s | 19 | 504674 | 480782 | 3629 302 | 0 | 0 178.56/178.61 c 176s | 19 | 510613 | 486582 | 3629 305 | 0 | 0 180.56/180.61 c 178s | 19 | 517258 | 492982 | 3629 308 | 0 | 0 182.57/182.61 c 180s | 19 | 523110 | 498782 | 3629 311 | 0 | 0 184.56/184.63 c 182s | 19 | 529218 | 504682 | 3629 314 | 0 | 0 186.56/186.65 c 184s | 19 | 535208 | 510582 | 3629 317 | 0 | 0 188.56/188.67 c 186s | 19 | 541700 | 516682 | 3629 320 | 0 | 0 190.66/190.70 c 188s | 19 | 548283 | 522982 | 3629 323 | 0 | 0 192.66/192.73 c 190s | 19 | 555269 | 529482 | 3629 327 | 0 | 0 194.67/194.73 c 192s | 19 | 561155 | 535282 | 3629 329 | 0 | 0 196.66/196.78 c 194s | 19 | 567497 | 541482 | 3629 333 | 0 | 0 198.76/198.83 c 196s | 19 | 573584 | 547482 | 3629 336 | 0 | 0 200.76/200.86 c 198s | 19 | 579895 | 553682 | 3629 339 | 0 | 0 202.76/202.88 c 200s | 19 | 585349 | 559082 | 3629 341 | 0 | 0 204.86/204.90 c 202s | 19 | 591100 | 564582 | 3629 344 | 0 | 0 206.86/206.93 c 204s | 19 | 596567 | 569882 | 3629 347 | 0 | 0 208.86/208.97 c 206s | 19 | 602191 | 575182 | 3629 349 | 0 | 0 210.96/211.01 c 208s | 19 | 607807 | 580482 | 3629 352 | 0 | 0 212.96/213.03 c 210s | 19 | 613282 | 585682 | 3629 355 | 0 | 0 214.96/215.03 c 212s | 19 | 618776 | 591082 | 3629 358 | 0 | 0 216.96/217.06 c 214s | 19 | 625023 | 597282 | 3629 360 | 0 | 0 219.06/219.10 c 217s | 19 | 630785 | 602982 | 3629 363 | 0 | 0 221.06/221.14 c 219s | 19 | 636854 | 608782 | 3629 366 | 0 | 0 223.06/223.15 c 221s | 19 | 642760 | 614582 | 3629 369 | 0 | 0 225.05/225.18 c 223s | 19 | 648702 | 620382 | 3629 372 | 0 | 0 227.15/227.21 c 225s | 19 | 654791 | 626382 | 3629 375 | 0 | 0 229.15/229.21 c 227s | 19 | 660408 | 631882 | 3629 378 | 0 | 0 231.15/231.24 c 229s | 19 | 667546 | 638782 | 3629 381 | 0 | 0 233.16/233.25 c 231s | 19 | 673412 | 644582 | 3629 384 | 0 | 0 235.15/235.27 c 233s | 19 | 679303 | 650382 | 3629 387 | 0 | 0 237.25/237.30 c 235s | 19 | 685391 | 656282 | 3629 390 | 0 | 0 239.25/239.32 c 237s | 19 | 691336 | 661982 | 3992 392 | 0 | 0 240.86/240.98 c 238s | 20 | 696287 | 666827 | 3992 394 | 0 | 0 242.95/243.07 c 240s | 20 | 699562 | 669627 | 3992 396 | 0 | 0 245.05/245.11 c 243s | 20 | 702626 | 672227 | 3992 397 | 0 | 0 247.05/247.13 c 245s | 20 | 705696 | 675027 | 3992 398 | 0 | 0 249.05/249.14 c 247s | 20 | 708577 | 677827 | 3992 399 | 0 | 0 251.05/251.14 c 249s | 20 | 711230 | 680227 | 3992 400 | 0 | 0 253.05/253.17 c 251s | 20 | 714059 | 682827 | 3992 402 | 0 | 0 255.15/255.26 c 253s | 20 | 716785 | 685427 | 3992 403 | 0 | 0 257.15/257.27 c 255s | 20 | 719775 | 688227 | 3992 404 | 0 | 0 259.25/259.30 c 257s | 20 | 722597 | 690727 | 3992 405 | 0 | 0 261.25/261.32 c 259s | 20 | 725529 | 693427 | 3992 406 | 0 | 0 263.25/263.33 c 261s | 20 | 727703 | 695427 | 3992 407 | 0 | 0 265.24/265.35 c 263s | 20 | 730495 | 698127 | 3992 408 | 0 | 0 267.35/267.43 c 265s | 20 | 733180 | 700627 | 3992 410 | 0 | 0 269.34/269.48 c 267s | 20 | 735620 | 702827 | 3992 411 | 0 | 0 271.34/271.49 c 269s | 20 | 740661 | 707827 | 3992 413 | 0 | 0 273.44/273.52 c 271s | 20 | 746469 | 713327 | 3992 415 | 0 | 0 275.44/275.54 c 273s | 20 | 751087 | 717827 | 3992 417 | 0 | 0 277.44/277.55 c 275s | 20 | 756518 | 722927 | 3992 420 | 0 | 0 279.45/279.58 c 277s | 20 | 761595 | 727927 | 3992 422 | 0 | 0 281.55/281.61 c 279s | 20 | 766535 | 732827 | 3992 424 | 0 | 0 283.54/283.65 c 281s | 20 | 771676 | 737927 | 3992 426 | 0 | 0 285.54/285.66 c 283s | 20 | 776278 | 742427 | 3992 428 | 0 | 0 287.64/287.74 c 285s | 20 | 780355 | 746127 | 3992 430 | 0 | 0 289.64/289.75 c 287s | 20 | 783535 | 748027 | 3992 431 | 0 | 0 291.64/291.76 c 289s | 20 | 788954 | 753227 | 3992 433 | 0 | 0 293.65/293.77 c 291s | 20 | 793863 | 757927 | 3992 435 | 0 | 0 295.74/295.80 c 293s | 20 | 798010 | 761627 | 3992 437 | 0 | 0 297.74/297.80 c 295s | 20 | 802030 | 765427 | 3992 439 | 0 | 0 299.74/299.88 c 297s | 20 | 805398 | 768727 | 3992 440 | 0 | 0 301.84/301.90 c 299s | 20 | 809713 | 772927 | 3992 442 | 0 | 0 303.84/303.94 c 301s | 20 | 814504 | 777627 | 3992 444 | 0 | 0 305.84/305.95 c 303s | 20 | 819115 | 782127 | 3992 446 | 0 | 0 307.85/307.96 c 305s | 20 | 823297 | 785927 | 3992 448 | 0 | 0 309.85/309.97 c 307s | 20 | 828588 | 791027 | 3992 450 | 0 | 0 311.84/311.97 c 309s | 20 | 834061 | 796327 | 3992 453 | 0 | 0 313.84/313.99 c 311s | 20 | 839465 | 801627 | 3992 455 | 0 | 0 315.94/316.03 c 313s | 20 | 845136 | 807027 | 3992 457 | 0 | 0 317.95/318.04 c 315s | 20 | 850416 | 812027 | 3992 460 | 0 | 0 319.94/320.06 c 317s | 20 | 856259 | 817727 | 3992 462 | 0 | 0 322.04/322.10 c 320s | 20 | 862432 | 823327 | 3992 465 | 0 | 0 324.04/324.13 c 322s | 20 | 868320 | 828827 | 3992 467 | 0 | 0 326.04/326.13 c 324s | 20 | 873817 | 834227 | 3992 470 | 0 | 0 328.04/328.15 c 326s | 20 | 879631 | 839927 | 3992 472 | 0 | 0 330.05/330.17 c 328s | 20 | 885438 | 845027 | 3992 474 | 0 | 0 332.04/332.19 c 330s | 20 | 891361 | 850927 | 3992 477 | 0 | 0 334.14/334.20 c 332s | 20 | 897144 | 856527 | 3992 480 | 0 | 0 336.14/336.21 c 334s | 20 | 902673 | 861827 | 3992 482 | 0 | 0 338.14/338.26 c 336s | 20 | 908098 | 867227 | 3992 484 | 0 | 0 340.14/340.27 c 338s | 20 | 913770 | 872327 | 3992 487 | 0 | 0 342.14/342.28 c 340s | 20 | 918994 | 877227 | 3992 489 | 0 | 0 344.14/344.30 c 342s | 20 | 924442 | 882527 | 3992 491 | 0 | 0 346.24/346.33 c 344s | 20 | 930162 | 888127 | 3992 494 | 0 | 0 348.23/348.34 c 346s | 20 | 935077 | 892927 | 3992 496 | 0 | 0 350.23/350.34 c 348s | 20 | 940619 | 898227 | 3992 498 | 0 | 0 352.23/352.37 c 350s | 20 | 945753 | 903127 | 3992 501 | 0 | 0 354.33/354.40 c 352s | 20 | 950742 | 907527 | 3992 503 | 0 | 0 356.34/356.40 c 354s | 20 | 954478 | 910627 | 3992 504 | 0 | 0 358.33/358.44 c 356s | 20 | 959338 | 915127 | 3992 506 | 0 | 0 360.33/360.45 c 358s | 20 | 964352 | 919027 | 3992 508 | 0 | 0 362.33/362.48 c 360s | 20 | 970409 | 924827 | 3992 510 | 0 | 0 364.43/364.50 c 362s | 20 | 976283 | 930227 | 3992 513 | 0 | 0 366.44/366.51 c 364s | 20 | 982567 | 936227 | 3992 515 | 0 | 0 368.44/368.53 c 366s | 20 | 988460 | 941727 | 3992 518 | 0 | 0 370.44/370.55 c 368s | 20 | 994085 | 947027 | 3992 520 | 0 | 0 372.44/372.57 c 370s | 20 | 999664 | 952527 | 3992 523 | 0 | 0 374.44/374.58 c 372s | 20 | 1004561 | 957227 | 3992 525 | 0 | 0 376.54/376.61 c 374s | 20 | 1010379 | 962627 | 3992 527 | 0 | 0 378.54/378.63 c 376s | 20 | 1015672 | 967327 | 3992 529 | 0 | 0 380.54/380.63 c 378s | 20 | 1021607 | 972727 | 3992 532 | 0 | 0 382.53/382.65 c 380s | 20 | 1026599 | 976627 | 3992 534 | 0 | 0 384.53/384.66 c 382s | 20 | 1029022 | 978427 | 3992 534 | 0 | 0 386.53/386.68 c 384s | 20 | 1032134 | 981227 | 3992 536 | 0 | 0 388.63/388.70 c 386s | 20 | 1036976 | 985627 | 3992 538 | 0 | 0 390.63/390.72 c 388s | 20 | 1041566 | 989727 | 4392 539 | 0 | 0 392.64/392.72 c 390s | 20 | 1044535 | 992527 | 4392 541 | 0 | 0 394.73/394.80 c 392s | 20 | 1048962 | 996527 | 4392 542 | 0 | 0 396.73/396.84 c 394s | 20 | 1052300 | 999527 | 4392 543 | 0 | 0 397.04/397.14 c 395s | 21 | 1053179 | 1000345 | 4392 544 | 0 | 0 399.03/399.15 c 397s | 21 | 1060055 | 1006645 | 4392 546 | 0 | 0 401.13/401.20 c 399s | 21 | 1065278 | 1011745 | 4392 549 | 0 | 0 403.13/403.23 c 401s | 21 | 1070848 | 1017145 | 4392 551 | 0 | 0 405.13/405.26 c 403s | 21 | 1076865 | 1023045 | 4392 553 | 0 | 0 407.13/407.28 c 405s | 21 | 1081673 | 1027745 | 4392 555 | 0 | 0 409.24/409.32 c 407s | 21 | 1087771 | 1033645 | 4392 558 | 0 | 0 411.23/411.33 c 409s | 21 | 1093036 | 1038745 | 4392 560 | 0 | 0 413.23/413.37 c 411s | 21 | 1098778 | 1044345 | 4392 562 | 0 | 0 415.23/415.38 c 413s | 21 | 1103427 | 1048845 | 4392 564 | 0 | 0 417.33/417.42 c 415s | 21 | 1107736 | 1052845 | 4392 566 | 0 | 0 419.33/419.43 c 417s | 21 | 1112398 | 1057345 | 4392 568 | 0 | 0 421.33/421.46 c 419s | 21 | 1117708 | 1062345 | 4392 570 | 0 | 0 423.32/423.47 c 421s | 21 | 1122536 | 1067045 | 4392 572 | 0 | 0 425.32/425.48 c 423s | 21 | 1127984 | 1072345 | 4392 574 | 0 | 0 427.42/427.51 c 425s | 21 | 1132980 | 1077145 | 4392 576 | 0 | 0 429.42/429.56 c 427s | 21 | 1138582 | 1082545 | 4392 578 | 0 | 0 431.42/431.58 c 429s | 21 | 1144212 | 1087845 | 4392 580 | 0 | 0 433.52/433.61 c 431s | 21 | 1149523 | 1093045 | 4392 582 | 0 | 0 435.53/435.63 c 433s | 21 | 1153682 | 1097045 | 4392 584 | 0 | 0 437.52/437.66 c 435s | 21 | 1158708 | 1101945 | 4392 586 | 0 | 0 439.62/439.70 c 437s | 21 | 1163430 | 1106545 | 4392 588 | 0 | 0 441.62/441.70 c 439s | 21 | 1168505 | 1111445 | 4392 590 | 0 | 0 443.62/443.73 c 441s | 21 | 1173377 | 1116145 | 4392 592 | 0 | 0 445.62/445.74 c 443s | 21 | 1178540 | 1121145 | 4392 594 | 0 | 0 447.63/447.75 c 445s | 21 | 1184275 | 1126745 | 4392 596 | 0 | 0 449.62/449.77 c 447s | 21 | 1189924 | 1132245 | 4392 599 | 0 | 0 451.62/451.79 c 449s | 21 | 1194450 | 1136545 | 4392 600 | 0 | 0 453.72/453.82 c 451s | 21 | 1198963 | 1140745 | 4392 602 | 0 | 0 455.72/455.87 c 453s | 21 | 1204762 | 1146345 | 4392 605 | 0 | 0 457.72/457.87 c 455s | 21 | 1210819 | 1152145 | 4392 607 | 0 | 0 459.72/459.87 c 457s | 21 | 1215210 | 1156345 | 4392 609 | 0 | 0 461.82/461.92 c 459s | 21 | 1219799 | 1160745 | 4392 611 | 0 | 0 463.82/463.93 c 461s | 21 | 1224000 | 1164745 | 4392 612 | 0 | 0 465.82/465.94 c 463s | 21 | 1228716 | 1169245 | 4392 614 | 0 | 0 467.81/467.96 c 465s | 21 | 1235106 | 1175445 | 4392 617 | 0 | 0 469.81/469.99 c 467s | 21 | 1240372 | 1180545 | 4392 619 | 0 | 0 471.82/472.00 c 469s | 21 | 1246088 | 1186045 | 4392 621 | 0 | 0 473.91/474.03 c 471s | 21 | 1251128 | 1190845 | 4392 623 | 0 | 0 475.91/476.08 c 473s | 21 | 1256445 | 1195745 | 4392 625 | 0 | 0 478.01/478.10 c 476s | 21 | 1261746 | 1200545 | 4392 627 | 0 | 0 480.01/480.10 c 478s | 21 | 1266982 | 1205545 | 4392 629 | 0 | 0 482.01/482.11 c 480s | 21 | 1272075 | 1210445 | 4392 631 | 0 | 0 484.02/484.12 c 482s | 21 | 1277418 | 1215345 | 4392 633 | 0 | 0 486.01/486.14 c 484s | 21 | 1282399 | 1219845 | 4392 635 | 0 | 0 488.01/488.17 c 486s | 21 | 1287352 | 1224445 | 4392 637 | 0 | 0 490.12/490.21 c 488s | 21 | 1292347 | 1229045 | 4392 639 | 0 | 0 492.12/492.22 c 490s | 21 | 1297460 | 1233845 | 4392 641 | 0 | 0 494.12/494.23 c 492s | 21 | 1302406 | 1238445 | 4392 643 | 0 | 0 496.12/496.25 c 494s | 21 | 1307274 | 1243045 | 4392 645 | 0 | 0 498.12/498.27 c 496s | 21 | 1312164 | 1247745 | 4392 647 | 0 | 0 500.12/500.28 c 498s | 21 | 1316709 | 1252145 | 4392 649 | 0 | 0 502.22/502.31 c 500s | 21 | 1322103 | 1257345 | 4392 651 | 0 | 0 504.21/504.31 c 502s | 21 | 1326913 | 1261845 | 4392 653 | 0 | 0 506.21/506.33 c 504s | 21 | 1331498 | 1266245 | 4392 655 | 0 | 0 508.22/508.34 c 506s | 21 | 1336507 | 1271145 | 4392 657 | 0 | 0 510.21/510.36 c 508s | 21 | 1340847 | 1275445 | 4392 658 | 0 | 0 512.21/512.38 c 510s | 21 | 1346252 | 1280745 | 4392 661 | 0 | 0 514.31/514.41 c 512s | 21 | 1351238 | 1285545 | 4392 663 | 0 | 0 516.31/516.42 c 514s | 21 | 1356267 | 1290445 | 4392 665 | 0 | 0 518.31/518.43 c 516s | 21 | 1361190 | 1295145 | 4392 667 | 0 | 0 520.32/520.46 c 518s | 21 | 1365643 | 1299445 | 4392 668 | 0 | 0 522.31/522.50 c 520s | 21 | 1369533 | 1303245 | 4392 670 | 0 | 0 524.41/524.52 c 522s | 21 | 1374093 | 1307645 | 4392 672 | 0 | 0 526.41/526.52 c 524s | 21 | 1379065 | 1312445 | 4392 674 | 0 | 0 528.41/528.54 c 526s | 21 | 1383359 | 1316645 | 4392 675 | 0 | 0 530.41/530.56 c 528s | 21 | 1388186 | 1321345 | 4392 677 | 0 | 0 532.41/532.58 c 530s | 21 | 1393805 | 1326745 | 4392 680 | 0 | 0 534.41/534.60 c 532s | 21 | 1398750 | 1331445 | 4392 682 | 0 | 0 536.51/536.60 c 534s | 21 | 1403374 | 1335845 | 4392 684 | 0 | 0 538.51/538.62 c 536s | 21 | 1408480 | 1340845 | 4392 686 | 0 | 0 540.51/540.65 c 538s | 21 | 1412971 | 1345145 | 4392 687 | 0 | 0 542.51/542.67 c 540s | 21 | 1418826 | 1350845 | 4392 690 | 0 | 0 544.51/544.67 c 542s | 21 | 1424696 | 1356545 | 4392 692 | 0 | 0 546.50/546.68 c 544s | 21 | 1429415 | 1361145 | 4392 694 | 0 | 0 548.60/548.70 c 546s | 21 | 1434376 | 1365945 | 4392 696 | 0 | 0 550.60/550.71 c 548s | 21 | 1439576 | 1371045 | 4392 698 | 0 | 0 552.60/552.75 c 550s | 21 | 1444678 | 1376045 | 4392 700 | 0 | 0 554.60/554.75 c 552s | 21 | 1449806 | 1381045 | 4392 702 | 0 | 0 556.70/556.81 c 554s | 21 | 1455105 | 1386245 | 4392 704 | 0 | 0 558.71/558.81 c 556s | 21 | 1460318 | 1391345 | 4392 707 | 0 | 0 560.70/560.84 c 558s | 21 | 1465460 | 1396345 | 4392 709 | 0 | 0 562.69/562.85 c 560s | 21 | 1470763 | 1401545 | 4392 711 | 0 | 0 564.69/564.87 c 562s | 21 | 1475648 | 1406345 | 4392 713 | 0 | 0 566.79/566.90 c 564s | 21 | 1481362 | 1411945 | 4392 715 | 0 | 0 568.79/568.94 c 566s | 21 | 1486870 | 1417345 | 4392 717 | 0 | 0 570.80/570.95 c 568s | 21 | 1492380 | 1422745 | 4392 720 | 0 | 0 572.79/572.95 c 570s | 21 | 1497673 | 1427945 | 4392 722 | 0 | 0 574.79/574.97 c 572s | 21 | 1501303 | 1431545 | 4392 723 | 0 | 0 576.89/577.02 c 574s | 21 | 1504621 | 1434845 | 4392 725 | 0 | 0 578.89/579.03 c 576s | 21 | 1508264 | 1438445 | 4392 726 | 0 | 0 580.89/581.04 c 578s | 21 | 1511671 | 1441845 | 4392 728 | 0 | 0 582.89/583.09 c 581s | 21 | 1515486 | 1445645 | 4392 729 | 0 | 0 584.89/585.10 c 583s | 21 | 1519621 | 1449745 | 4392 731 | 0 | 0 586.99/587.10 c 585s | 21 | 1523044 | 1453145 | 4392 732 | 0 | 0 588.99/589.11 c 587s | 21 | 1526484 | 1456545 | 4392 734 | 0 | 0 590.99/591.14 c 589s | 21 | 1530832 | 1460845 | 4392 735 | 0 | 0 592.99/593.15 c 591s | 21 | 1534579 | 1464545 | 4392 737 | 0 | 0 595.00/595.15 c 593s | 21 | 1538518 | 1468445 | 4392 739 | 0 | 0 596.99/597.17 c 595s | 21 | 1542754 | 1472545 | 4392 740 | 0 | 0 598.99/599.18 c 597s | 21 | 1546670 | 1476445 | 4392 742 | 0 | 0 601.09/601.21 c 599s | 21 | 1551122 | 1480845 | 4392 744 | 0 | 0 603.08/603.23 c 601s | 21 | 1555152 | 1484845 | 4832 745 | 0 | 0 605.08/605.24 c 603s | 21 | 1559239 | 1488845 | 4832 747 | 0 | 0 607.09/607.26 c 605s | 21 | 1564126 | 1493645 | 4832 749 | 0 | 0 609.18/609.30 c 607s | 21 | 1569059 | 1498445 | 4832 750 | 0 | 0 609.98/610.17 c 608s | 22 | 1571265 | 1500622 | 4832 751 | 0 | 0 612.08/612.20 c 610s | 22 | 1577912 | 1507122 | 4832 754 | 0 | 0 614.08/614.21 c 612s | 22 | 1583362 | 1512522 | 4832 756 | 0 | 0 616.08/616.21 c 614s | 22 | 1588110 | 1517122 | 4832 758 | 0 | 0 618.08/618.25 c 616s | 22 | 1592867 | 1521822 | 4832 760 | 0 | 0 620.07/620.27 c 618s | 22 | 1598071 | 1526922 | 4832 761 | 0 | 0 622.07/622.28 c 620s | 22 | 1603119 | 1531922 | 4832 763 | 0 | 0 624.17/624.32 c 622s | 22 | 1607854 | 1536622 | 4832 765 | 0 | 0 626.17/626.35 c 624s | 22 | 1612794 | 1541522 | 4832 767 | 0 | 0 628.27/628.42 c 626s | 22 | 1617242 | 1545922 | 4832 769 | 0 | 0 630.28/630.45 c 628s | 22 | 1622026 | 1550622 | 4832 770 | 0 | 0 632.26/632.47 c 630s | 22 | 1627013 | 1555522 | 4832 772 | 0 | 0 634.26/634.49 c 632s | 22 | 1632459 | 1560822 | 4832 774 | 1 | 9 636.26/636.49 c 634s | 22 | 1638704 | 1567022 | 4832 777 | 1 | 9 638.36/638.50 c 636s | 22 | 1645227 | 1573322 | 4832 779 | 1 | 9 640.36/640.50 c 638s | 22 | 1650719 | 1578622 | 4832 781 | 1 | 9 642.37/642.52 c 640s | 22 | 1656131 | 1583622 | 4832 783 | 1 | 9 644.36/644.54 c 642s | 22 | 1661978 | 1589122 | 4832 785 | 1 | 9 646.36/646.56 c 644s | 22 | 1668334 | 1595222 | 4832 787 | 1 | 9 648.36/648.58 c 646s | 22 | 1673894 | 1600422 | 4832 789 | 1 | 9 650.46/650.60 c 648s | 22 | 1679377 | 1605622 | 4832 791 | 1 | 9 652.45/652.63 c 650s | 22 | 1685511 | 1611422 | 4832 794 | 1 | 9 654.46/654.64 c 652s | 22 | 1691513 | 1617022 | 4832 796 | 1 | 9 656.45/656.67 c 654s | 22 | 1697056 | 1622422 | 4832 798 | 1 | 9 658.45/658.68 c 656s | 22 | 1702888 | 1627922 | 4832 800 | 1 | 9 660.55/660.70 c 658s | 22 | 1708202 | 1632822 | 4832 802 | 1 | 9 662.55/662.72 c 660s | 22 | 1713245 | 1637722 | 4832 804 | 1 | 9 664.55/664.75 c 662s | 22 | 1718914 | 1643122 | 4832 806 | 1 | 9 666.55/666.75 c 664s | 22 | 1724333 | 1648322 | 4832 808 | 1 | 9 668.55/668.76 c 666s | 22 | 1729735 | 1653422 | 4832 810 | 1 | 9 670.55/670.79 c 668s | 22 | 1735107 | 1658522 | 4832 812 | 1 | 9 672.54/672.80 c 670s | 22 | 1740811 | 1663922 | 4832 814 | 1 | 9 674.64/674.82 c 672s | 22 | 1746210 | 1669022 | 4832 816 | 1 | 9 676.64/676.84 c 674s | 22 | 1751484 | 1674022 | 4832 817 | 1 | 9 678.65/678.85 c 676s | 22 | 1756609 | 1678922 | 4832 819 | 1 | 9 680.64/680.86 c 678s | 22 | 1761950 | 1684022 | 4832 821 | 1 | 9 682.64/682.86 c 680s | 22 | 1767457 | 1689222 | 4832 823 | 1 | 9 684.64/684.89 c 682s | 22 | 1773337 | 1694622 | 4832 825 | 1 | 9 686.74/686.92 c 684s | 22 | 1778842 | 1699622 | 4832 827 | 1 | 9 688.74/688.95 c 686s | 22 | 1784270 | 1704722 | 4832 829 | 1 | 9 690.74/690.97 c 688s | 22 | 1789723 | 1709822 | 4832 831 | 1 | 9 692.73/692.98 c 690s | 22 | 1795064 | 1715022 | 4832 833 | 1 | 9 694.83/695.01 c 692s | 22 | 1800497 | 1720222 | 4832 835 | 1 | 9 696.83/697.02 c 694s | 22 | 1805847 | 1725322 | 4832 837 | 1 | 9 698.83/699.05 c 696s | 22 | 1811428 | 1730522 | 4832 839 | 1 | 9 700.84/701.06 c 698s | 22 | 1817017 | 1735822 | 4832 841 | 1 | 9 702.84/703.09 c 701s | 22 | 1822321 | 1740922 | 4832 843 | 1 | 9 704.94/705.12 c 703s | 22 | 1827491 | 1745722 | 4832 845 | 1 | 9 706.93/707.15 c 705s | 22 | 1832598 | 1750422 | 4832 846 | 1 | 9 708.93/709.16 c 707s | 22 | 1837936 | 1755722 | 4832 848 | 1 | 9 710.93/711.17 c 709s | 22 | 1842971 | 1760722 | 4832 850 | 1 | 9 713.03/713.20 c 711s | 22 | 1848322 | 1766022 | 4832 852 | 1 | 9 715.02/715.21 c 713s | 22 | 1853703 | 1771322 | 4832 854 | 1 | 9 717.03/717.24 c 715s | 22 | 1858926 | 1776522 | 4832 856 | 1 | 9 719.02/719.26 c 717s | 22 | 1864278 | 1781722 | 4832 858 | 1 | 9 721.02/721.28 c 719s | 22 | 1869922 | 1787222 | 4832 860 | 1 | 9 723.12/723.30 c 721s | 22 | 1874947 | 1792122 | 4832 862 | 1 | 9 725.12/725.33 c 723s | 22 | 1880370 | 1797422 | 4832 864 | 1 | 9 727.12/727.34 c 725s | 22 | 1886605 | 1803422 | 4832 867 | 1 | 9 729.13/729.36 c 727s | 22 | 1892911 | 1809622 | 4832 869 | 1 | 9 731.12/731.38 c 729s | 22 | 1899038 | 1815522 | 4832 871 | 1 | 9 733.11/733.39 c 731s | 22 | 1904945 | 1821122 | 4832 874 | 1 | 9 735.21/735.40 c 733s | 22 | 1910993 | 1826922 | 4832 876 | 1 | 9 737.21/737.40 c 735s | 22 | 1916158 | 1831922 | 4832 878 | 1 | 9 739.21/739.43 c 737s | 22 | 1922128 | 1837322 | 4832 880 | 1 | 9 741.22/741.44 c 739s | 22 | 1927616 | 1842522 | 4832 882 | 1 | 9 743.21/743.44 c 741s | 22 | 1933247 | 1848022 | 4832 884 | 1 | 9 745.21/745.45 c 743s | 22 | 1938770 | 1853322 | 4832 886 | 1 | 9 747.21/747.46 c 745s | 22 | 1944383 | 1858722 | 4832 888 | 1 | 9 749.21/749.48 c 747s | 22 | 1949932 | 1864022 | 4832 890 | 1 | 9 751.31/751.51 c 749s | 22 | 1955572 | 1869422 | 4832 892 | 1 | 9 753.31/753.52 c 751s | 22 | 1960864 | 1874522 | 4832 894 | 1 | 9 755.30/755.55 c 753s | 22 | 1966525 | 1880022 | 4832 896 | 1 | 9 757.30/757.56 c 755s | 22 | 1972609 | 1885922 | 4832 899 | 1 | 9 759.30/759.56 c 757s | 22 | 1978290 | 1891422 | 4832 901 | 1 | 9 761.30/761.57 c 759s | 22 | 1984234 | 1897122 | 4832 903 | 1 | 9 763.31/763.58 c 761s | 22 | 1989803 | 1902522 | 4832 905 | 1 | 9 765.41/765.61 c 763s | 22 | 1995358 | 1907822 | 4832 907 | 1 | 9 767.40/767.63 c 765s | 22 | 2001365 | 1913722 | 4832 909 | 1 | 9 769.40/769.66 c 767s | 22 | 2007581 | 1919822 | 4832 912 | 1 | 9 771.40/771.69 c 769s | 22 | 2013649 | 1925522 | 4832 914 | 1 | 9 773.49/773.70 c 771s | 22 | 2019114 | 1930622 | 4832 916 | 1 | 9 775.49/775.71 c 773s | 22 | 2025834 | 1937222 | 4832 918 | 1 | 9 777.50/777.74 c 775s | 22 | 2031402 | 1942722 | 4832 920 | 1 | 9 779.49/779.75 c 777s | 22 | 2037543 | 1948722 | 4832 923 | 1 | 9 781.49/781.78 c 779s | 22 | 2042880 | 1954022 | 4832 925 | 1 | 9 783.49/783.79 c 781s | 22 | 2048952 | 1959822 | 4832 927 | 1 | 9 785.59/785.82 c 783s | 22 | 2054823 | 1965622 | 4832 929 | 1 | 9 787.59/787.84 c 785s | 22 | 2060196 | 1970922 | 4832 931 | 1 | 9 789.59/789.87 c 787s | 22 | 2066246 | 1976822 | 4832 933 | 1 | 9 791.69/791.90 c 789s | 22 | 2071722 | 1982222 | 4832 935 | 1 | 9 793.68/793.91 c 791s | 22 | 2077506 | 1987822 | 4832 938 | 1 | 9 795.68/795.91 c 793s | 22 | 2083455 | 1993722 | 4832 940 | 1 | 9 797.68/797.94 c 795s | 22 | 2089739 | 1999822 | 4832 942 | 1 | 9 799.68/799.94 c 797s | 22 | 2095524 | 2005522 | 4832 944 | 1 | 9 801.69/801.96 c 799s | 22 | 2101135 | 2011022 | 4832 946 | 1 | 9 803.67/803.97 c 801s | 22 | 2107682 | 2017222 | 4832 949 | 1 | 9 805.67/805.99 c 803s | 22 | 2113263 | 2022722 | 4832 951 | 1 | 9 807.77/808.01 c 805s | 22 | 2119268 | 2028522 | 4832 953 | 1 | 9 809.77/810.02 c 807s | 22 | 2125608 | 2034722 | 4832 955 | 1 | 9 811.77/812.03 c 809s | 22 | 2131400 | 2040422 | 4832 958 | 1 | 9 813.78/814.04 c 811s | 22 | 2137223 | 2046122 | 4832 960 | 1 | 9 815.78/816.06 c 813s | 22 | 2142468 | 2051322 | 4832 962 | 1 | 9 817.78/818.07 c 815s | 22 | 2147699 | 2056522 | 4832 964 | 1 | 9 819.78/820.09 c 818s | 22 | 2152332 | 2061122 | 4832 966 | 1 | 9 821.88/822.11 c 820s | 22 | 2157844 | 2066522 | 4832 968 | 1 | 9 823.87/824.13 c 822s | 22 | 2162684 | 2071322 | 4832 970 | 1 | 9 825.88/826.15 c 824s | 22 | 2167745 | 2076322 | 4832 971 | 1 | 9 827.87/828.16 c 826s | 22 | 2172528 | 2081022 | 4832 973 | 1 | 9 829.87/830.18 c 828s | 22 | 2178065 | 2086322 | 4832 975 | 1 | 9 831.97/832.21 c 830s | 22 | 2183702 | 2091822 | 4832 977 | 1 | 9 833.97/834.22 c 832s | 22 | 2188707 | 2096722 | 4832 979 | 1 | 9 835.97/836.27 c 834s | 22 | 2193974 | 2101922 | 4832 981 | 1 | 9 837.97/838.28 c 836s | 22 | 2199360 | 2107222 | 4832 983 | 1 | 9 839.97/840.29 c 838s | 22 | 2204704 | 2112422 | 4832 985 | 1 | 9 842.07/842.32 c 840s | 22 | 2209835 | 2117422 | 4832 987 | 1 | 9 844.06/844.35 c 842s | 22 | 2215697 | 2123122 | 4832 989 | 1 | 9 846.06/846.38 c 844s | 22 | 2221140 | 2128522 | 4832 992 | 1 | 9 848.06/848.39 c 846s | 22 | 2227482 | 2134722 | 4832 994 | 1 | 9 850.17/850.41 c 848s | 22 | 2232723 | 2139922 | 4832 996 | 1 | 9 852.16/852.44 c 850s | 22 | 2238350 | 2145422 | 4832 998 | 1 | 9 854.15/854.44 c 852s | 22 | 2243843 | 2150822 | 4832 1000 | 1 | 9 856.15/856.45 c 854s | 22 | 2249534 | 2156422 | 4832 1002 | 1 | 9 858.15/858.45 c 856s | 22 | 2255412 | 2162222 | 4832 1004 | 1 | 9 860.15/860.49 c 858s | 22 | 2261056 | 2167822 | 4832 1006 | 1 | 9 862.16/862.50 c 860s | 22 | 2266075 | 2172822 | 4832 1008 | 1 | 9 864.25/864.53 c 862s | 22 | 2271343 | 2178022 | 4832 1010 | 1 | 9 866.25/866.57 c 864s | 22 | 2276360 | 2183022 | 4832 1012 | 1 | 9 868.35/868.60 c 866s | 22 | 2281426 | 2188022 | 4832 1014 | 1 | 9 870.35/870.62 c 868s | 22 | 2286609 | 2193122 | 4832 1016 | 1 | 9 872.34/872.63 c 870s | 22 | 2291541 | 2198022 | 4832 1018 | 1 | 9 874.35/874.63 c 872s | 22 | 2296463 | 2202922 | 4832 1020 | 1 | 9 876.34/876.67 c 874s | 22 | 2301364 | 2207722 | 4832 1022 | 1 | 9 878.34/878.67 c 876s | 22 | 2306204 | 2212522 | 4832 1024 | 1 | 9 880.34/880.69 c 878s | 22 | 2311710 | 2217922 | 4832 1026 | 1 | 9 882.33/882.69 c 880s | 22 | 2317343 | 2223422 | 4832 1028 | 1 | 9 884.43/884.72 c 882s | 22 | 2323327 | 2229222 | 4832 1030 | 1 | 9 886.44/886.77 c 884s | 22 | 2329123 | 2234822 | 5316 1032 | 1 | 9 888.43/888.79 c 886s | 22 | 2334580 | 2240222 | 5316 1034 | 1 | 9 890.53/890.82 c 888s | 22 | 2339631 | 2245222 | 5316 1035 | 1 | 9 892.43/892.76 c 890s | 23 | 2345608 | 2251038 | 5316 1037 | 1 | 9 894.53/894.83 c 892s | 23 | 2348002 | 2253338 | 5316 1038 | 1 | 9 896.53/896.86 c 894s | 23 | 2350160 | 2255338 | 5316 1039 | 1 | 9 898.53/898.89 c 896s | 23 | 2352839 | 2257638 | 5316 1040 | 1 | 9 900.53/900.89 c 898s | 23 | 2355628 | 2260338 | 5316 1041 | 1 | 9 902.62/902.92 c 900s | 23 | 2359205 | 2263638 | 5316 1042 | 1 | 9 904.62/904.95 c 902s | 23 | 2363219 | 2267538 | 5316 1043 | 1 | 9 906.62/906.98 c 904s | 23 | 2367961 | 2272138 | 5316 1045 | 1 | 9 908.72/909.09 c 907s | 23 | 2372198 | 2276238 | 5316 1046 | 1 | 9 910.82/911.19 c 909s | 23 | 2374461 | 2278238 | 5316 1047 | 1 | 9 912.92/913.24 c 911s | 23 | 2378542 | 2282138 | 5316 1048 | 1 | 9 914.92/915.27 c 913s | 23 | 2383576 | 2287038 | 5316 1050 | 1 | 9 917.02/917.33 c 915s | 23 | 2387331 | 2290438 | 5316 1051 | 1 | 9 919.02/919.38 c 917s | 23 | 2390721 | 2293538 | 5316 1052 | 1 | 9 921.12/921.44 c 919s | 23 | 2394304 | 2296738 | 5316 1054 | 1 | 9 923.21/923.51 c 921s | 23 | 2397887 | 2300038 | 5316 1055 | 1 | 9 925.21/925.56 c 923s | 23 | 2401316 | 2303238 | 5316 1056 | 1 | 9 927.31/927.60 c 925s | 23 | 2405245 | 2307138 | 5316 1057 | 1 | 9 929.32/929.62 c 927s | 23 | 2409353 | 2311138 | 5316 1059 | 1 | 9 931.31/931.67 c 929s | 23 | 2413618 | 2315238 | 5316 1060 | 1 | 9 933.41/933.73 c 931s | 23 | 2417967 | 2319438 | 5316 1062 | 1 | 9 935.41/935.76 c 933s | 23 | 2422552 | 2323938 | 5316 1063 | 1 | 9 937.41/937.79 c 935s | 23 | 2427246 | 2328538 | 5316 1065 | 1 | 9 939.51/939.83 c 937s | 23 | 2431210 | 2332438 | 5316 1066 | 1 | 9 941.51/941.85 c 939s | 23 | 2435521 | 2336638 | 5316 1068 | 1 | 9 943.51/943.89 c 941s | 23 | 2440159 | 2341138 | 5316 1069 | 1 | 9 945.60/945.92 c 943s | 23 | 2443850 | 2344738 | 5316 1070 | 1 | 9 947.60/947.96 c 945s | 23 | 2448755 | 2349438 | 5316 1072 | 1 | 9 949.60/949.98 c 947s | 23 | 2453146 | 2353738 | 5316 1074 | 1 | 9 951.60/951.99 c 949s | 23 | 2458731 | 2359138 | 5316 1076 | 1 | 9 953.70/954.03 c 951s | 23 | 2463595 | 2363838 | 5316 1077 | 1 | 9 955.70/956.07 c 953s | 23 | 2468493 | 2368638 | 5316 1079 | 1 | 9 957.70/958.08 c 955s | 23 | 2473485 | 2373538 | 5316 1081 | 1 | 9 959.80/960.10 c 958s | 23 | 2477494 | 2377438 | 5316 1082 | 1 | 9 961.80/962.16 c 960s | 23 | 2480764 | 2380538 | 5316 1083 | 1 | 9 963.79/964.17 c 962s | 23 | 2483938 | 2383638 | 5316 1084 | 1 | 9 965.79/966.18 c 964s | 23 | 2487704 | 2387338 | 5316 1085 | 1 | 9 967.89/968.23 c 966s | 23 | 2491324 | 2390838 | 5316 1087 | 1 | 9 969.90/970.28 c 968s | 23 | 2494987 | 2394438 | 5316 1088 | 1 | 9 971.89/972.28 c 970s | 23 | 2498665 | 2398038 | 5316 1089 | 1 | 9 973.98/974.31 c 972s | 23 | 2502689 | 2401938 | 5316 1091 | 1 | 9 975.98/976.34 c 974s | 23 | 2506760 | 2405938 | 5316 1092 | 1 | 9 977.98/978.35 c 976s | 23 | 2509644 | 2408738 | 5316 1093 | 1 | 9 979.98/980.38 c 978s | 23 | 2512719 | 2411738 | 5316 1094 | 1 | 9 981.99/982.40 c 980s | 23 | 2516910 | 2415838 | 5316 1096 | 1 | 9 984.08/984.42 c 982s | 23 | 2521013 | 2419838 | 5316 1097 | 1 | 9 986.08/986.46 c 984s | 23 | 2525053 | 2423638 | 5316 1098 | 1 | 9 988.08/988.48 c 986s | 23 | 2529287 | 2427838 | 5316 1100 | 1 | 9 990.18/990.52 c 988s | 23 | 2533244 | 2431738 | 5316 1101 | 1 | 9 992.18/992.52 c 990s | 23 | 2536687 | 2435038 | 5316 1102 | 1 | 9 994.18/994.59 c 992s | 23 | 2539633 | 2437838 | 5316 1103 | 1 | 9 996.28/996.61 c 994s | 23 | 2542783 | 2440938 | 5316 1104 | 1 | 9 998.27/998.64 c 996s | 23 | 2545775 | 2443838 | 5316 1105 | 1 | 9 1000.27/1000.68 c 998s | 23 | 2549236 | 2447238 | 5316 1107 | 1 | 9 1002.37/1002.71 c 1000s | 23 | 2552701 | 2450638 | 5316 1108 | 1 | 9 1004.37/1004.76 c 1002s | 23 | 2556314 | 2454138 | 5316 1109 | 1 | 9 1006.37/1006.77 c 1004s | 23 | 2560285 | 2458038 | 5316 1110 | 1 | 9 1008.37/1008.79 c 1006s | 23 | 2564550 | 2462238 | 5316 1112 | 1 | 9 1010.47/1010.80 c 1008s | 23 | 2568988 | 2466638 | 5316 1113 | 1 | 9 1012.46/1012.80 c 1010s | 23 | 2573371 | 2470938 | 5316 1115 | 1 | 9 1014.46/1014.83 c 1012s | 23 | 2577653 | 2475138 | 5316 1116 | 1 | 9 1016.46/1016.83 c 1014s | 23 | 2581513 | 2478938 | 5316 1118 | 1 | 9 1018.46/1018.84 c 1016s | 23 | 2585703 | 2483038 | 5316 1119 | 1 | 9 1020.47/1020.87 c 1018s | 23 | 2588799 | 2485738 | 5316 1120 | 1 | 9 1022.45/1022.88 c 1020s | 23 | 2592865 | 2489538 | 5316 1121 | 1 | 9 1024.45/1024.88 c 1022s | 23 | 2596655 | 2492938 | 5316 1123 | 1 | 9 1026.55/1026.91 c 1024s | 23 | 2600664 | 2496838 | 5316 1124 | 1 | 9 1028.55/1028.92 c 1026s | 23 | 2605193 | 2501138 | 5316 1126 | 1 | 9 1030.55/1030.95 c 1028s | 23 | 2610034 | 2505738 | 5316 1127 | 1 | 9 1032.56/1032.97 c 1030s | 23 | 2614726 | 2510338 | 5316 1129 | 1 | 9 1034.65/1035.00 c 1032s | 23 | 2619083 | 2514638 | 5316 1130 | 1 | 9 1036.65/1037.03 c 1034s | 23 | 2623600 | 2518938 | 5316 1132 | 1 | 9 1038.65/1039.05 c 1036s | 23 | 2627784 | 2522838 | 5316 1133 | 1 | 9 1040.65/1041.05 c 1038s | 23 | 2631495 | 2526238 | 5316 1134 | 1 | 9 1042.75/1043.11 c 1041s | 23 | 2635091 | 2529738 | 5316 1135 | 1 | 9 1044.76/1045.15 c 1043s | 23 | 2638268 | 2532838 | 5316 1137 | 1 | 9 1046.75/1047.19 c 1045s | 23 | 2642528 | 2536938 | 5316 1138 | 1 | 9 1048.85/1049.21 c 1047s | 23 | 2646377 | 2540638 | 5316 1139 | 1 | 9 1050.85/1051.26 c 1049s | 23 | 2650288 | 2544438 | 5316 1141 | 1 | 9 1052.94/1053.32 c 1051s | 23 | 2654156 | 2548138 | 5316 1142 | 1 | 9 1054.94/1055.37 c 1053s | 23 | 2658234 | 2552038 | 5316 1143 | 1 | 9 1056.94/1057.39 c 1055s | 23 | 2661829 | 2555538 | 5316 1144 | 1 | 9 1059.05/1059.43 c 1057s | 23 | 2666607 | 2560138 | 5316 1146 | 1 | 9 1061.04/1061.47 c 1059s | 23 | 2670601 | 2563938 | 5316 1147 | 1 | 9 1063.04/1063.48 c 1061s | 23 | 2674267 | 2567538 | 5316 1149 | 1 | 9 1065.14/1065.59 c 1063s | 23 | 2677771 | 2570938 | 5316 1150 | 1 | 9 1067.24/1067.64 c 1065s | 23 | 2680958 | 2573938 | 5316 1151 | 1 | 9 1069.24/1069.66 c 1067s | 23 | 2684979 | 2577838 | 5316 1152 | 1 | 9 1071.24/1071.69 c 1069s | 23 | 2689084 | 2581838 | 5316 1154 | 1 | 9 1073.24/1073.69 c 1071s | 23 | 2692711 | 2585338 | 5316 1155 | 1 | 9 1075.33/1075.71 c 1073s | 23 | 2695655 | 2588238 | 5316 1156 | 1 | 9 1077.33/1077.76 c 1075s | 23 | 2699340 | 2591838 | 5316 1157 | 1 | 9 1079.33/1079.80 c 1077s | 23 | 2703018 | 2595438 | 5316 1158 | 1 | 9 1081.43/1081.85 c 1079s | 23 | 2707057 | 2599338 | 5316 1160 | 1 | 9 1083.42/1083.88 c 1081s | 23 | 2710342 | 2602438 | 5316 1161 | 1 | 9 1085.52/1085.90 c 1083s | 23 | 2713908 | 2605938 | 5316 1162 | 1 | 9 1087.52/1087.95 c 1085s | 23 | 2717458 | 2609438 | 5316 1163 | 1 | 9 1089.51/1089.98 c 1087s | 23 | 2721852 | 2613738 | 5316 1165 | 1 | 9 1091.61/1092.00 c 1089s | 23 | 2725637 | 2617238 | 5316 1166 | 1 | 9 1093.61/1094.02 c 1091s | 23 | 2729517 | 2621038 | 5316 1167 | 1 | 9 1095.61/1096.05 c 1093s | 23 | 2733585 | 2625038 | 5316 1169 | 1 | 9 1097.61/1098.10 c 1096s | 23 | 2737770 | 2629138 | 5316 1170 | 1 | 9 1099.71/1100.13 c 1098s | 23 | 2741611 | 2632938 | 5316 1172 | 1 | 9 1101.70/1102.15 c 1100s | 23 | 2745970 | 2637238 | 5316 1173 | 1 | 9 1103.70/1104.18 c 1102s | 23 | 2750264 | 2641438 | 5316 1175 | 1 | 9 1105.80/1106.21 c 1104s | 23 | 2753856 | 2644938 | 5316 1176 | 1 | 9 1107.91/1108.34 c 1106s | 23 | 2758142 | 2649038 | 5316 1177 | 1 | 9 1110.01/1110.46 c 1108s | 23 | 2760113 | 2650838 | 5316 1178 | 1 | 9 1112.11/1112.50 c 1110s | 23 | 2764054 | 2654638 | 5316 1179 | 1 | 9 1114.11/1114.51 c 1112s | 23 | 2767693 | 2658238 | 5316 1181 | 1 | 9 1116.11/1116.53 c 1114s | 23 | 2771347 | 2661838 | 5316 1182 | 1 | 9 1118.11/1118.59 c 1116s | 23 | 2775285 | 2665638 | 5316 1183 | 1 | 9 1120.21/1120.61 c 1118s | 23 | 2778847 | 2669138 | 5316 1184 | 1 | 9 1122.21/1122.64 c 1120s | 23 | 2782517 | 2672738 | 5316 1186 | 1 | 9 1124.20/1124.67 c 1122s | 23 | 2786268 | 2676438 | 5316 1187 | 1 | 9 1126.30/1126.70 c 1124s | 23 | 2790084 | 2680238 | 5316 1188 | 1 | 9 1128.30/1128.72 c 1126s | 23 | 2793945 | 2684038 | 5316 1190 | 1 | 9 1130.30/1130.76 c 1128s | 23 | 2797595 | 2687638 | 5316 1191 | 1 | 9 1132.29/1132.76 c 1130s | 23 | 2801555 | 2691538 | 5316 1192 | 1 | 9 1134.29/1134.78 c 1132s | 23 | 2805357 | 2695238 | 5316 1194 | 1 | 9 1136.39/1136.83 c 1134s | 23 | 2809531 | 2699338 | 5316 1195 | 1 | 9 1138.39/1138.87 c 1136s | 23 | 2813583 | 2703238 | 5316 1196 | 1 | 9 1140.49/1140.90 c 1138s | 23 | 2817666 | 2707238 | 5316 1198 | 1 | 9 1142.49/1142.94 c 1140s | 23 | 2821663 | 2711138 | 5316 1199 | 1 | 9 1144.48/1144.99 c 1142s | 23 | 2825341 | 2714738 | 5316 1200 | 1 | 9 1146.58/1147.02 c 1144s | 23 | 2828691 | 2718038 | 5316 1202 | 1 | 9 1148.58/1149.03 c 1146s | 23 | 2833006 | 2722238 | 5316 1203 | 1 | 9 1150.59/1151.04 c 1148s | 23 | 2837001 | 2726138 | 5316 1204 | 1 | 9 1152.58/1153.06 c 1150s | 23 | 2840474 | 2729538 | 5316 1206 | 1 | 9 1154.59/1155.09 c 1153s | 23 | 2844059 | 2733038 | 5316 1207 | 1 | 9 1156.68/1157.13 c 1155s | 23 | 2848541 | 2737338 | 5316 1208 | 1 | 9 1158.68/1159.14 c 1157s | 23 | 2852988 | 2741638 | 5316 1210 | 1 | 9 1160.68/1161.17 c 1159s | 23 | 2856929 | 2745438 | 5316 1211 | 1 | 9 1162.68/1163.19 c 1161s | 23 | 2860999 | 2749338 | 5316 1213 | 1 | 9 1164.78/1165.22 c 1163s | 23 | 2864740 | 2752938 | 5316 1214 | 1 | 9 1166.78/1167.24 c 1165s | 23 | 2869143 | 2757138 | 5316 1215 | 1 | 9 1168.78/1169.26 c 1167s | 23 | 2872989 | 2760838 | 5316 1217 | 1 | 9 1170.77/1171.26 c 1169s | 23 | 2877345 | 2765038 | 5316 1218 | 1 | 9 1172.77/1173.29 c 1171s | 23 | 2881419 | 2769038 | 5316 1220 | 1 | 9 1174.87/1175.31 c 1173s | 23 | 2885320 | 2772838 | 5316 1221 | 1 | 9 1176.87/1177.35 c 1175s | 23 | 2889132 | 2776538 | 5316 1222 | 1 | 9 1178.87/1179.38 c 1177s | 23 | 2893247 | 2780538 | 5316 1224 | 1 | 9 1180.97/1181.43 c 1179s | 23 | 2897450 | 2784638 | 5316 1225 | 1 | 9 1182.96/1183.44 c 1181s | 23 | 2901571 | 2788638 | 5316 1226 | 1 | 9 1184.96/1185.47 c 1183s | 23 | 2905579 | 2792538 | 5316 1228 | 1 | 9 1186.96/1187.48 c 1185s | 23 | 2909773 | 2796638 | 5316 1229 | 1 | 9 1189.06/1189.52 c 1187s | 23 | 2914092 | 2800938 | 5316 1231 | 1 | 9 1191.07/1191.52 c 1189s | 23 | 2918255 | 2805038 | 5316 1232 | 1 | 9 1193.07/1193.58 c 1191s | 23 | 2921817 | 2808538 | 5316 1234 | 1 | 9 1195.06/1195.59 c 1193s | 23 | 2925618 | 2812238 | 5316 1235 | 1 | 9 1197.16/1197.64 c 1195s | 23 | 2929087 | 2815638 | 5316 1236 | 1 | 9 1199.16/1199.66 c 1197s | 23 | 2932683 | 2819138 | 5316 1237 | 1 | 9 1201.16/1201.66 c 1199s | 23 | 2936385 | 2822738 | 5316 1239 | 1 | 9 1203.15/1203.66 c 1201s | 23 | 2940195 | 2826438 | 5316 1240 | 1 | 9 1205.16/1205.69 c 1203s | 23 | 2944122 | 2830238 | 5316 1241 | 1 | 9 1207.25/1207.74 c 1205s | 23 | 2947709 | 2833738 | 5316 1242 | 1 | 9 1209.25/1209.77 c 1207s | 23 | 2951475 | 2837438 | 5316 1244 | 1 | 9 1211.35/1211.81 c 1209s | 23 | 2955098 | 2840938 | 5316 1245 | 1 | 9 1213.35/1213.82 c 1211s | 23 | 2958671 | 2844438 | 5316 1246 | 1 | 9 1215.35/1215.83 c 1213s | 23 | 2962006 | 2847738 | 5316 1247 | 1 | 9 1217.35/1217.88 c 1215s | 23 | 2965351 | 2851038 | 5316 1249 | 1 | 9 1219.45/1219.93 c 1217s | 23 | 2969403 | 2855038 | 5316 1250 | 1 | 9 1221.45/1221.97 c 1219s | 23 | 2973099 | 2858638 | 5316 1251 | 2 | 18 1223.45/1223.97 c 1221s | 23 | 2978942 | 2864238 | 5316 1253 | 2 | 18 1225.44/1225.98 c 1223s | 23 | 2984303 | 2869438 | 5316 1255 | 2 | 18 1227.54/1228.01 c 1225s | 23 | 2989499 | 2874538 | 5316 1257 | 2 | 18 1229.54/1230.03 c 1227s | 23 | 2994629 | 2879438 | 5316 1259 | 2 | 18 1231.55/1232.05 c 1229s | 23 | 2999903 | 2884538 | 5316 1260 | 2 | 18 1233.54/1234.08 c 1231s | 23 | 3005563 | 2889938 | 5316 1262 | 2 | 18 1235.54/1236.09 c 1234s | 23 | 3010960 | 2895138 | 5316 1264 | 2 | 18 1237.64/1238.12 c 1236s | 23 | 3015984 | 2899938 | 5316 1266 | 2 | 18 1239.64/1240.14 c 1238s | 23 | 3021073 | 2904738 | 5316 1268 | 2 | 18 1241.64/1242.18 c 1240s | 23 | 3026515 | 2909538 | 5316 1269 | 2 | 18 1243.75/1244.23 c 1242s | 23 | 3031429 | 2913838 | 5316 1271 | 2 | 18 1245.74/1246.24 c 1244s | 23 | 3036770 | 2918838 | 5316 1273 | 2 | 18 1247.74/1248.27 c 1246s | 23 | 3041408 | 2923338 | 5316 1274 | 2 | 18 1249.75/1250.28 c 1248s | 23 | 3046126 | 2927938 | 5316 1276 | 2 | 18 1251.85/1252.31 c 1250s | 23 | 3050961 | 2932538 | 5316 1278 | 2 | 18 1253.85/1254.35 c 1252s | 23 | 3056290 | 2937538 | 5316 1279 | 2 | 18 1255.85/1256.37 c 1254s | 23 | 3061299 | 2942438 | 5316 1281 | 2 | 18 1257.85/1258.40 c 1256s | 23 | 3065981 | 2946938 | 5316 1283 | 2 | 18 1259.95/1260.41 c 1258s | 23 | 3070962 | 2951638 | 5316 1284 | 2 | 18 1261.95/1262.43 c 1260s | 23 | 3075722 | 2956138 | 5316 1286 | 2 | 18 1263.94/1264.44 c 1262s | 23 | 3080412 | 2960638 | 5316 1288 | 2 | 18 1265.94/1266.46 c 1264s | 23 | 3085134 | 2965238 | 5316 1289 | 2 | 18 1267.95/1268.49 c 1266s | 23 | 3089970 | 2969938 | 5316 1291 | 2 | 18 1270.05/1270.51 c 1268s | 23 | 3095169 | 2974938 | 5316 1293 | 2 | 18 1272.04/1272.53 c 1270s | 23 | 3099728 | 2979438 | 5316 1294 | 2 | 18 1274.04/1274.54 c 1272s | 23 | 3104051 | 2983638 | 5316 1296 | 2 | 18 1276.04/1276.58 c 1274s | 23 | 3108905 | 2988338 | 5316 1297 | 2 | 18 1278.04/1278.58 c 1276s | 23 | 3113758 | 2992938 | 5316 1299 | 2 | 18 1280.14/1280.60 c 1278s | 23 | 3118168 | 2997238 | 5316 1301 | 2 | 18 1282.15/1282.64 c 1280s | 23 | 3122874 | 3001738 | 5316 1302 | 2 | 18 1284.14/1284.64 c 1282s | 23 | 3127587 | 3006338 | 5316 1304 | 2 | 18 1286.14/1286.65 c 1284s | 23 | 3132188 | 3010738 | 5316 1305 | 2 | 18 1288.14/1288.68 c 1286s | 23 | 3137222 | 3015638 | 5316 1307 | 2 | 18 1290.24/1290.71 c 1288s | 23 | 3141682 | 3019938 | 5316 1309 | 2 | 18 1292.24/1292.76 c 1290s | 23 | 3146359 | 3024438 | 5316 1310 | 2 | 18 1294.24/1294.77 c 1292s | 23 | 3151278 | 3029238 | 5316 1312 | 2 | 18 1296.33/1296.84 c 1294s | 23 | 3156094 | 3033838 | 5316 1314 | 2 | 18 1298.33/1298.84 c 1296s | 23 | 3160515 | 3038038 | 5316 1315 | 2 | 18 1300.33/1300.87 c 1298s | 23 | 3165661 | 3043038 | 5316 1317 | 2 | 18 1302.43/1302.90 c 1300s | 23 | 3170684 | 3047938 | 5316 1319 | 2 | 18 1304.43/1304.94 c 1302s | 23 | 3175686 | 3052738 | 5316 1320 | 2 | 18 1306.44/1306.96 c 1304s | 23 | 3180500 | 3057438 | 5316 1322 | 2 | 18 1308.43/1308.98 c 1306s | 23 | 3185058 | 3061838 | 5316 1323 | 2 | 18 1310.53/1311.01 c 1308s | 23 | 3189689 | 3066438 | 5316 1325 | 2 | 18 1312.53/1313.01 c 1310s | 23 | 3194626 | 3071238 | 5316 1327 | 2 | 18 1314.53/1315.03 c 1312s | 23 | 3199454 | 3075938 | 5316 1328 | 2 | 18 1316.53/1317.06 c 1314s | 23 | 3204370 | 3080738 | 5316 1330 | 2 | 18 1318.63/1319.10 c 1317s | 23 | 3208974 | 3085238 | 5316 1332 | 2 | 18 1320.63/1321.15 c 1319s | 23 | 3214076 | 3090038 | 5316 1334 | 2 | 18 1322.64/1323.16 c 1321s | 23 | 3218929 | 3094638 | 5316 1335 | 2 | 18 1324.63/1325.17 c 1323s | 23 | 3223944 | 3099438 | 5316 1337 | 2 | 18 1326.73/1327.24 c 1325s | 23 | 3228847 | 3104138 | 5316 1339 | 2 | 18 1328.73/1329.28 c 1327s | 23 | 3233719 | 3108838 | 5316 1340 | 2 | 18 1330.73/1331.29 c 1329s | 23 | 3238799 | 3113738 | 5316 1342 | 2 | 18 1332.74/1333.30 c 1331s | 23 | 3243064 | 3117938 | 5316 1343 | 2 | 18 1334.83/1335.33 c 1333s | 23 | 3247764 | 3122438 | 5316 1345 | 2 | 18 1336.83/1337.36 c 1335s | 23 | 3252612 | 3127138 | 5316 1347 | 2 | 18 1338.83/1339.39 c 1337s | 23 | 3257650 | 3131938 | 5316 1348 | 2 | 18 1340.93/1341.40 c 1339s | 23 | 3262555 | 3136638 | 5316 1350 | 2 | 18 1342.93/1343.43 c 1341s | 23 | 3267053 | 3141038 | 5316 1352 | 2 | 18 1344.94/1345.46 c 1343s | 23 | 3271789 | 3145438 | 5316 1353 | 2 | 18 1346.93/1347.49 c 1345s | 23 | 3276467 | 3149938 | 5316 1355 | 2 | 18 1349.03/1349.52 c 1347s | 23 | 3281009 | 3154238 | 5316 1356 | 2 | 18 1351.03/1351.57 c 1349s | 23 | 3285750 | 3158638 | 5316 1358 | 2 | 18 1353.13/1353.63 c 1351s | 23 | 3290794 | 3163438 | 5316 1360 | 2 | 18 1355.13/1355.65 c 1353s | 23 | 3295681 | 3168038 | 5316 1361 | 2 | 18 1357.13/1357.68 c 1355s | 23 | 3300140 | 3172338 | 5316 1363 | 2 | 18 1359.23/1359.70 c 1357s | 23 | 3304540 | 3176438 | 5316 1364 | 2 | 18 1361.23/1361.71 c 1359s | 23 | 3309500 | 3181238 | 5316 1366 | 2 | 18 1363.23/1363.75 c 1361s | 23 | 3314115 | 3185738 | 5316 1368 | 2 | 18 1365.22/1365.76 c 1363s | 23 | 3318549 | 3190038 | 5316 1369 | 2 | 18 1367.22/1367.78 c 1365s | 23 | 3323670 | 3194938 | 5316 1371 | 2 | 18 1369.32/1369.82 c 1367s | 23 | 3328557 | 3199638 | 5316 1372 | 2 | 18 1371.33/1371.82 c 1369s | 23 | 3333002 | 3203938 | 5316 1374 | 2 | 18 1373.32/1373.84 c 1371s | 23 | 3337416 | 3208238 | 5316 1376 | 2 | 18 1375.32/1375.85 c 1373s | 23 | 3342070 | 3212738 | 5316 1377 | 2 | 18 1377.32/1377.87 c 1375s | 23 | 3346807 | 3217338 | 5316 1379 | 2 | 18 1379.32/1379.89 c 1377s | 23 | 3351341 | 3221738 | 5316 1380 | 2 | 18 1381.32/1381.89 c 1379s | 23 | 3356447 | 3226638 | 5316 1382 | 2 | 18 1383.33/1383.90 c 1381s | 23 | 3360961 | 3230938 | 5316 1384 | 2 | 18 1385.42/1385.95 c 1383s | 23 | 3366150 | 3235938 | 5316 1385 | 2 | 18 1387.42/1387.99 c 1385s | 23 | 3370824 | 3240338 | 5316 1387 | 2 | 18 1389.52/1390.03 c 1387s | 23 | 3375435 | 3244838 | 5316 1389 | 2 | 18 1391.52/1392.07 c 1389s | 23 | 3379948 | 3249238 | 5316 1390 | 2 | 18 1393.62/1394.11 c 1392s | 23 | 3384883 | 3253938 | 5316 1392 | 2 | 18 1395.62/1396.17 c 1394s | 23 | 3389828 | 3258738 | 5316 1394 | 2 | 18 1397.73/1398.22 c 1396s | 23 | 3394690 | 3263438 | 5316 1395 | 2 | 18 1399.72/1400.25 c 1398s | 23 | 3399657 | 3268238 | 5316 1397 | 2 | 18 1401.72/1402.28 c 1400s | 23 | 3404061 | 3272538 | 5316 1398 | 2 | 18 1403.82/1404.31 c 1402s | 23 | 3408620 | 3276938 | 5316 1400 | 2 | 18 1405.82/1406.33 c 1404s | 23 | 3412899 | 3281138 | 5316 1401 | 2 | 18 1407.82/1408.36 c 1406s | 23 | 3417325 | 3285438 | 5316 1403 | 2 | 18 1409.92/1410.42 c 1408s | 23 | 3422113 | 3290038 | 5316 1405 | 2 | 18 1411.92/1412.46 c 1410s | 23 | 3426782 | 3294438 | 5316 1406 | 2 | 18 1413.92/1414.47 c 1412s | 23 | 3431221 | 3298738 | 5316 1408 | 2 | 18 1416.02/1416.50 c 1414s | 23 | 3436024 | 3303438 | 5316 1409 | 2 | 18 1418.02/1418.53 c 1416s | 23 | 3440452 | 3307738 | 5316 1411 | 2 | 18 1420.02/1420.55 c 1418s | 23 | 3445330 | 3312338 | 5316 1413 | 2 | 18 1422.01/1422.58 c 1420s | 23 | 3450509 | 3317238 | 5316 1414 | 2 | 18 1424.12/1424.61 c 1422s | 23 | 3455590 | 3322138 | 5316 1416 | 2 | 18 1426.11/1426.65 c 1424s | 23 | 3460216 | 3326638 | 5316 1418 | 2 | 18 1428.11/1428.69 c 1426s | 23 | 3464989 | 3331238 | 5316 1419 | 2 | 18 1430.21/1430.72 c 1428s | 23 | 3469615 | 3335738 | 5316 1421 | 2 | 18 1432.21/1432.77 c 1430s | 23 | 3474537 | 3340438 | 5316 1423 | 2 | 18 1434.31/1434.80 c 1432s | 23 | 3479632 | 3345338 | 5316 1424 | 2 | 18 1436.31/1436.85 c 1434s | 23 | 3484652 | 3349938 | 5848 1426 | 2 | 18 1438.32/1438.89 c 1436s | 23 | 3489441 | 3354538 | 5848 1427 | 2 | 18 1440.42/1440.91 c 1438s | 23 | 3493682 | 3358638 | 5848 1429 | 2 | 18 1442.42/1442.94 c 1440s | 23 | 3498571 | 3363238 | 5848 1430 | 2 | 18 1444.42/1444.97 c 1442s | 23 | 3503153 | 3367638 | 5848 1431 | 2 | 18 1446.42/1446.98 c 1444s | 23 | 3507691 | 3371838 | 5848 1433 | 2 | 18 1448.51/1449.02 c 1446s | 23 | 3512771 | 3376538 | 5848 1434 | 2 | 18 1448.51/1449.07 c 1446s | 24 | 3512894 | 3376662 | 5848 1434 | 2 | 18 1450.52/1451.09 c 1449s | 24 | 3519162 | 3382662 | 5848 1436 | 2 | 18 1452.62/1453.12 c 1451s | 24 | 3524648 | 3388062 | 5848 1438 | 2 | 18 1454.61/1455.13 c 1453s | 24 | 3529418 | 3392762 | 5848 1440 | 2 | 18 1456.61/1457.16 c 1455s | 24 | 3534412 | 3397662 | 5848 1441 | 2 | 18 1458.61/1459.17 c 1457s | 24 | 3538966 | 3402162 | 5848 1443 | 2 | 18 1460.61/1461.17 c 1459s | 24 | 3543846 | 3406962 | 5848 1444 | 2 | 18 1462.71/1463.20 c 1461s | 24 | 3548251 | 3411262 | 5848 1446 | 2 | 18 1464.71/1465.25 c 1463s | 24 | 3552510 | 3415462 | 5848 1447 | 2 | 18 1466.71/1467.26 c 1465s | 24 | 3556819 | 3419662 | 5848 1448 | 2 | 18 1468.70/1469.28 c 1467s | 24 | 3561359 | 3424062 | 5848 1450 | 2 | 18 1470.80/1471.30 c 1469s | 24 | 3565299 | 3427962 | 5848 1451 | 2 | 18 1472.80/1473.32 c 1471s | 24 | 3570007 | 3432562 | 5848 1453 | 2 | 18 1474.80/1475.34 c 1473s | 24 | 3574802 | 3437262 | 5848 1454 | 2 | 18 1476.81/1477.37 c 1475s | 24 | 3579313 | 3441662 | 5848 1456 | 2 | 18 1478.80/1479.37 c 1477s | 24 | 3584345 | 3446562 | 5848 1457 | 2 | 18 1480.90/1481.41 c 1479s | 24 | 3588806 | 3450962 | 5848 1459 | 2 | 18 1482.90/1483.43 c 1481s | 24 | 3593169 | 3455262 | 5848 1460 | 2 | 18 1484.90/1485.45 c 1483s | 24 | 3597930 | 3459962 | 5848 1462 | 2 | 18 1486.90/1487.49 c 1485s | 24 | 3603365 | 3465262 | 5848 1463 | 2 | 18 1488.91/1489.49 c 1487s | 24 | 3608818 | 3470562 | 5848 1465 | 2 | 18 1490.90/1491.49 c 1489s | 24 | 3613660 | 3475262 | 5848 1467 | 2 | 18 1493.00/1493.54 c 1491s | 24 | 3619328 | 3480762 | 5848 1468 | 2 | 18 1495.00/1495.54 c 1493s | 24 | 3624318 | 3485662 | 5848 1470 | 2 | 18 1497.00/1497.54 c 1495s | 24 | 3629417 | 3490662 | 5848 1472 | 2 | 18 1499.00/1499.55 c 1497s | 24 | 3634629 | 3495762 | 5848 1473 | 2 | 18 1501.00/1501.57 c 1499s | 24 | 3640079 | 3501062 | 5848 1475 | 2 | 18 1503.10/1503.63 c 1501s | 24 | 3645042 | 3505962 | 5848 1477 | 2 | 18 1505.10/1505.64 c 1503s | 24 | 3650010 | 3510862 | 5848 1478 | 2 | 18 1507.10/1507.67 c 1505s | 24 | 3655087 | 3515862 | 5848 1480 | 2 | 18 1509.10/1509.69 c 1507s | 24 | 3660263 | 3520962 | 5848 1481 | 2 | 18 1511.20/1511.72 c 1509s | 24 | 3665480 | 3526062 | 5848 1483 | 2 | 18 1513.21/1513.73 c 1511s | 24 | 3670553 | 3530962 | 5848 1485 | 2 | 18 1515.20/1515.74 c 1513s | 24 | 3675555 | 3535862 | 5848 1486 | 2 | 18 1517.20/1517.75 c 1515s | 24 | 3680767 | 3540962 | 5848 1488 | 2 | 18 1519.20/1519.79 c 1517s | 24 | 3685409 | 3545562 | 5848 1489 | 2 | 18 1521.30/1521.81 c 1519s | 24 | 3689547 | 3549662 | 5848 1491 | 2 | 18 1523.30/1523.81 c 1521s | 24 | 3693907 | 3553962 | 5848 1492 | 2 | 18 1525.30/1525.83 c 1523s | 24 | 3698268 | 3558262 | 5848 1494 | 2 | 18 1527.30/1527.86 c 1525s | 24 | 3703600 | 3563462 | 5848 1495 | 2 | 18 1529.30/1529.87 c 1527s | 24 | 3708273 | 3568062 | 5848 1497 | 2 | 18 1531.29/1531.89 c 1529s | 24 | 3713138 | 3572862 | 5848 1498 | 2 | 18 1533.39/1533.92 c 1531s | 24 | 3717302 | 3576962 | 5848 1500 | 2 | 18 1535.39/1535.95 c 1533s | 24 | 3721714 | 3581262 | 5848 1501 | 2 | 18 1537.40/1537.97 c 1535s | 24 | 3726593 | 3586062 | 5848 1503 | 2 | 18 1539.50/1540.02 c 1537s | 24 | 3731123 | 3590462 | 5848 1504 | 2 | 18 1541.49/1542.07 c 1539s | 24 | 3735606 | 3594862 | 5848 1506 | 2 | 18 1543.59/1544.10 c 1542s | 24 | 3739975 | 3599162 | 5848 1507 | 2 | 18 1545.59/1546.14 c 1544s | 24 | 3744588 | 3603662 | 5848 1508 | 2 | 18 1547.60/1548.18 c 1546s | 24 | 3749197 | 3608162 | 5848 1510 | 2 | 18 1549.70/1550.21 c 1548s | 24 | 3753950 | 3612862 | 5848 1511 | 2 | 18 1551.70/1552.23 c 1550s | 24 | 3758932 | 3617762 | 5848 1513 | 2 | 18 1553.70/1554.24 c 1552s | 24 | 3763649 | 3622362 | 5848 1515 | 2 | 18 1555.70/1556.24 c 1554s | 24 | 3768565 | 3627162 | 5848 1516 | 2 | 18 1557.70/1558.24 c 1556s | 24 | 3773038 | 3631562 | 5848 1518 | 2 | 18 1559.69/1560.26 c 1558s | 24 | 3778160 | 3636562 | 5848 1519 | 2 | 18 1561.79/1562.30 c 1560s | 24 | 3782458 | 3640762 | 5848 1521 | 2 | 18 1563.70/1564.30 c 1562s | 24 | 3786724 | 3644962 | 5848 1522 | 2 | 18 1565.79/1566.32 c 1564s | 24 | 3790870 | 3649062 | 5848 1523 | 2 | 18 1567.79/1568.35 c 1566s | 24 | 3795677 | 3653762 | 5848 1525 | 2 | 18 1569.79/1570.37 c 1568s | 24 | 3800275 | 3658262 | 5848 1526 | 2 | 18 1571.79/1572.38 c 1570s | 24 | 3804051 | 3661962 | 5848 1527 | 2 | 18 1573.89/1574.40 c 1572s | 24 | 3808126 | 3665962 | 5848 1529 | 2 | 18 1575.90/1576.44 c 1574s | 24 | 3812503 | 3670262 | 5848 1530 | 2 | 18 1577.89/1578.44 c 1576s | 24 | 3816780 | 3674462 | 5848 1532 | 2 | 18 1579.89/1580.46 c 1578s | 24 | 3821000 | 3678562 | 5848 1533 | 2 | 18 1581.89/1582.49 c 1580s | 24 | 3824981 | 3682462 | 5848 1534 | 2 | 18 1583.99/1584.51 c 1582s | 24 | 3829026 | 3686462 | 5848 1536 | 2 | 18 1585.98/1586.51 c 1584s | 24 | 3832798 | 3690162 | 5848 1537 | 2 | 18 1587.99/1588.53 c 1586s | 24 | 3836761 | 3694062 | 5848 1538 | 2 | 18 1589.98/1590.57 c 1588s | 24 | 3841143 | 3698362 | 5848 1539 | 2 | 18 1592.08/1592.63 c 1590s | 24 | 3845123 | 3702162 | 5848 1541 | 2 | 18 1594.08/1594.65 c 1592s | 24 | 3848772 | 3705562 | 5848 1542 | 2 | 18 1596.08/1596.69 c 1594s | 24 | 3853056 | 3709762 | 5848 1543 | 2 | 18 1598.18/1598.74 c 1596s | 24 | 3857131 | 3713762 | 5848 1545 | 2 | 18 1600.18/1600.78 c 1598s | 24 | 3861333 | 3717862 | 5848 1546 | 2 | 18 1602.29/1602.81 c 1600s | 24 | 3866610 | 3723062 | 5848 1548 | 2 | 18 1604.29/1604.87 c 1602s | 24 | 3870646 | 3726962 | 5848 1549 | 2 | 18 1606.39/1606.91 c 1604s | 24 | 3874153 | 3730262 | 5848 1550 | 2 | 18 1608.39/1608.96 c 1606s | 24 | 3878150 | 3733762 | 5848 1551 | 2 | 18 1610.39/1610.98 c 1608s | 24 | 3881666 | 3736962 | 5848 1552 | 2 | 18 1612.48/1613.02 c 1610s | 24 | 3885373 | 3740462 | 5848 1553 | 2 | 18 1614.48/1615.07 c 1612s | 24 | 3889157 | 3743662 | 5848 1554 | 2 | 18 1616.49/1617.10 c 1615s | 24 | 3892488 | 3746662 | 5848 1555 | 2 | 18 1618.58/1619.12 c 1617s | 24 | 3897056 | 3751162 | 5848 1557 | 2 | 18 1620.58/1621.13 c 1619s | 24 | 3899880 | 3753762 | 5848 1558 | 2 | 18 1622.58/1623.18 c 1621s | 24 | 3903224 | 3757062 | 5848 1559 | 2 | 18 1624.68/1625.22 c 1623s | 24 | 3906452 | 3760262 | 5848 1560 | 2 | 18 1626.68/1627.25 c 1625s | 24 | 3909598 | 3763362 | 5848 1561 | 2 | 18 1628.69/1629.29 c 1627s | 24 | 3912841 | 3766562 | 5848 1562 | 2 | 18 1630.79/1631.35 c 1629s | 24 | 3915877 | 3769562 | 5848 1563 | 2 | 18 1632.78/1633.36 c 1631s | 24 | 3919781 | 3773362 | 5848 1564 | 2 | 18 1634.88/1635.40 c 1633s | 24 | 3923819 | 3777262 | 5848 1565 | 2 | 18 1636.88/1637.47 c 1635s | 24 | 3927661 | 3780962 | 5848 1567 | 2 | 18 1638.98/1639.53 c 1637s | 24 | 3930987 | 3784262 | 5848 1568 | 2 | 18 1640.98/1641.53 c 1639s | 24 | 3934535 | 3787762 | 5848 1569 | 2 | 18 1642.98/1643.53 c 1641s | 24 | 3938211 | 3791362 | 5848 1570 | 2 | 18 1644.98/1645.55 c 1643s | 24 | 3941658 | 3794762 | 5848 1571 | 2 | 18 1646.97/1647.57 c 1645s | 24 | 3945142 | 3798162 | 5848 1572 | 2 | 18 1649.07/1649.61 c 1647s | 24 | 3948689 | 3801662 | 5848 1573 | 2 | 18 1651.07/1651.67 c 1649s | 24 | 3952315 | 3805162 | 5848 1574 | 2 | 18 1653.17/1653.74 c 1651s | 24 | 3955848 | 3808562 | 5848 1576 | 2 | 18 1655.17/1655.75 c 1653s | 24 | 3959135 | 3811762 | 5848 1577 | 2 | 18 1657.18/1657.78 c 1655s | 24 | 3962697 | 3815262 | 5848 1578 | 2 | 18 1659.27/1659.82 c 1657s | 24 | 3966368 | 3818862 | 5848 1579 | 2 | 18 1661.27/1661.85 c 1659s | 24 | 3969312 | 3821762 | 5848 1580 | 2 | 18 1663.27/1663.86 c 1661s | 24 | 3972301 | 3824662 | 5848 1581 | 2 | 18 1665.27/1665.88 c 1663s | 24 | 3975804 | 3828062 | 5848 1582 | 2 | 18 1667.37/1667.91 c 1665s | 24 | 3979515 | 3831662 | 5848 1583 | 2 | 18 1669.38/1669.95 c 1667s | 24 | 3982700 | 3834762 | 5848 1584 | 2 | 18 1671.47/1672.00 c 1669s | 24 | 3985982 | 3837962 | 5848 1585 | 2 | 18 1673.47/1674.03 c 1671s | 24 | 3989703 | 3841562 | 5848 1586 | 2 | 18 1675.47/1676.05 c 1673s | 24 | 3993079 | 3844862 | 5848 1587 | 2 | 18 1677.57/1678.17 c 1676s | 24 | 3996267 | 3847962 | 5848 1588 | 2 | 18 1679.57/1680.19 c 1678s | 24 | 3999560 | 3851162 | 5848 1589 | 2 | 18 1681.67/1682.20 c 1680s | 24 | 4002740 | 3854262 | 5848 1590 | 2 | 18 1683.67/1684.24 c 1682s | 24 | 4006132 | 3857562 | 5848 1592 | 2 | 18 1685.67/1686.25 c 1684s | 24 | 4009279 | 3860662 | 5848 1593 | 2 | 18 1687.76/1688.31 c 1686s | 24 | 4012905 | 3864162 | 5848 1594 | 2 | 18 1689.76/1690.34 c 1688s | 24 | 4016842 | 3867962 | 5848 1595 | 2 | 18 1691.76/1692.34 c 1690s | 24 | 4021021 | 3871962 | 5848 1596 | 2 | 18 1693.77/1694.38 c 1692s | 24 | 4024774 | 3875562 | 5848 1597 | 2 | 18 1695.87/1696.40 c 1694s | 24 | 4029055 | 3879762 | 5848 1599 | 2 | 18 1697.88/1698.42 c 1696s | 24 | 4032631 | 3883262 | 5848 1600 | 2 | 18 1699.87/1700.47 c 1698s | 24 | 4037013 | 3887462 | 5848 1601 | 2 | 18 1701.87/1702.48 c 1700s | 24 | 4041031 | 3891362 | 5848 1603 | 2 | 18 1703.97/1704.51 c 1702s | 24 | 4045115 | 3895262 | 5848 1604 | 2 | 18 1705.97/1706.54 c 1704s | 24 | 4049640 | 3899662 | 5848 1605 | 2 | 18 1707.97/1708.55 c 1706s | 24 | 4053663 | 3903562 | 5848 1607 | 2 | 18 1709.98/1710.57 c 1708s | 24 | 4057847 | 3907562 | 5848 1608 | 2 | 18 1712.07/1712.61 c 1710s | 24 | 4062393 | 3911962 | 5848 1609 | 2 | 18 1714.07/1714.63 c 1712s | 24 | 4066598 | 3916062 | 5848 1611 | 2 | 18 1716.07/1716.67 c 1714s | 24 | 4070198 | 3919562 | 5848 1612 | 2 | 18 1718.07/1718.69 c 1716s | 24 | 4074589 | 3923862 | 5848 1613 | 2 | 18 1720.17/1720.71 c 1718s | 24 | 4078197 | 3927362 | 5848 1614 | 2 | 18 1722.17/1722.73 c 1720s | 24 | 4082797 | 3931862 | 5848 1616 | 2 | 18 1724.16/1724.75 c 1722s | 24 | 4086830 | 3935862 | 5848 1617 | 2 | 18 1726.16/1726.79 c 1724s | 24 | 4090797 | 3939762 | 5848 1619 | 2 | 18 1728.26/1728.80 c 1726s | 24 | 4095045 | 3943962 | 5848 1620 | 2 | 18 1730.26/1730.82 c 1728s | 24 | 4099173 | 3947962 | 5848 1621 | 2 | 18 1732.26/1732.87 c 1730s | 24 | 4102951 | 3951662 | 5848 1622 | 2 | 18 1734.27/1734.87 c 1732s | 24 | 4106823 | 3955462 | 5848 1624 | 2 | 18 1736.37/1736.91 c 1734s | 24 | 4110735 | 3959262 | 5848 1625 | 2 | 18 1738.36/1738.95 c 1736s | 24 | 4115025 | 3963462 | 5848 1626 | 2 | 18 1740.36/1740.97 c 1738s | 24 | 4118788 | 3967162 | 5848 1628 | 2 | 18 1742.36/1742.99 c 1740s | 24 | 4122675 | 3970962 | 5848 1629 | 2 | 18 1744.46/1745.04 c 1742s | 24 | 4127049 | 3975262 | 5848 1630 | 2 | 18 1746.46/1747.08 c 1744s | 24 | 4130878 | 3978962 | 5848 1631 | 2 | 18 1748.46/1749.08 c 1746s | 24 | 4134473 | 3982462 | 5848 1633 | 2 | 18 1750.55/1751.12 c 1749s | 24 | 4138606 | 3986462 | 5848 1634 | 2 | 18 1752.56/1753.14 c 1751s | 24 | 4143114 | 3990762 | 5848 1635 | 2 | 18 1754.56/1755.16 c 1753s | 24 | 4148138 | 3995662 | 5848 1637 | 2 | 18 1756.56/1757.18 c 1755s | 24 | 4152699 | 4000162 | 5848 1638 | 2 | 18 1758.66/1759.20 c 1757s | 24 | 4157645 | 4005062 | 5848 1640 | 2 | 18 1760.67/1761.24 c 1759s | 24 | 4162077 | 4009462 | 5848 1641 | 2 | 18 1762.66/1763.25 c 1761s | 24 | 4166400 | 4013762 | 5848 1643 | 2 | 18 1764.66/1765.26 c 1763s | 24 | 4170846 | 4018162 | 5848 1644 | 2 | 18 1766.66/1767.27 c 1765s | 24 | 4174696 | 4021662 | 5848 1645 | 2 | 18 1768.66/1769.28 c 1767s | 24 | 4179103 | 4025962 | 5848 1647 | 2 | 18 1770.76/1771.30 c 1769s | 24 | 4182665 | 4029462 | 5848 1648 | 2 | 18 1772.76/1773.33 c 1771s | 24 | 4186313 | 4033062 | 5848 1649 | 2 | 18 1774.76/1775.38 c 1773s | 24 | 4190016 | 4036662 | 5848 1650 | 2 | 18 1776.85/1777.40 c 1775s | 24 | 4193912 | 4040462 | 5848 1652 | 2 | 18 1778.85/1779.42 c 1777s | 24 | 4197490 | 4043962 | 5848 1653 | 2 | 18 1780.85/1781.44 c 1779s | 24 | 4200950 | 4047362 | 5848 1654 | 2 | 18 1782.85/1783.47 c 1781s | 24 | 4205245 | 4051562 | 5848 1655 | 2 | 18 1784.95/1785.50 c 1783s | 24 | 4209610 | 4055762 | 5848 1657 | 2 | 18 1786.96/1787.55 c 1785s | 24 | 4213890 | 4059762 | 5848 1658 | 2 | 18 1789.05/1789.66 c 1787s | 24 | 4216866 | 4062262 | 5848 1659 | 2 | 18 1791.05/1791.66 c 1789s | 24 | 4219568 | 4064562 | 5848 1660 | 2 | 18 1793.15/1793.71 c 1791s | 24 | 4224132 | 4069062 | 5848 1661 | 2 | 18 1795.15/1795.71 c 1793s | 24 | 4228296 | 4073162 | 5848 1662 | 2 | 18 1797.15/1797.71 c 1795s | 24 | 4231551 | 4076162 | 5848 1663 | 2 | 18 1799.15/1799.73 c 1797s | 24 | 4234781 | 4079062 | 5848 1664 | 2 | 18
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-4106412-1466270908/watcher-4106412-1466270908 -o /tmp/evaluation-result-4106412-1466270908/solver-4106412-1466270908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106412-1466270908.opb pid=9712 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.08 2.10 2.09 3/179 9715 /proc/meminfo: memFree=30190152/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=567740 CPUtime=0 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 2091 0 0 0 0 0 0 0 20 0 4 0 29140902 581365760 2452 33554432000 4194304 16246674 140733420654336 140733420653760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 142703 2460 441 2943 0 139597 0 [pid=9715/tid=9716] ppid=9712 vsize=610748 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 625405952 2620 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=615868 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 630648832 2637 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=619964 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29140903 634843136 2655 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.08 2.10 2.09 3/179 9715 /proc/meminfo: memFree=30190152/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 22203 0 0 0 5 3 0 0 20 0 4 0 29140902 1247350784 22551 33554432000 4194304 16246674 140733420654336 140733420637328 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 304529 22557 758 2943 0 301423 0 [pid=9715/tid=9716] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1247350784 22561 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1247350784 22566 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29140903 1247350784 22573 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200531 s] /proc/loadavg: 2.08 2.10 2.09 3/179 9715 /proc/meminfo: memFree=30190152/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 37698 0 0 0 13 6 0 0 20 0 4 0 29140902 1247350784 38047 33554432000 4194304 16246674 140733420654336 140733420637328 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 304529 38055 758 2943 0 301423 0 [pid=9715/tid=9716] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1247350784 38064 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1247350784 38069 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29140903 1247350784 38075 33554432000 4194304 16246674 140733420654336 140130671119536 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.300488 s] /proc/loadavg: 2.08 2.10 2.09 3/179 9715 /proc/meminfo: memFree=30190152/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 53729 0 0 0 21 7 0 0 20 0 4 0 29140902 1247350784 54077 33554432000 4194304 16246674 140733420654336 140733420637328 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 304529 54083 758 2943 0 301423 0 [pid=9715/tid=9716] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1247350784 54088 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1247350784 54092 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29140903 1247350784 54096 33554432000 4194304 16246674 140733420654336 140130671119536 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.700414 s] /proc/loadavg: 2.08 2.10 2.09 3/179 9715 /proc/meminfo: memFree=30190152/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 117605 0 0 0 52 17 0 0 20 0 4 0 29140902 1247350784 117953 33554432000 4194304 16246674 140733420654336 140733420636224 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 304529 117959 765 2943 0 301423 0 [pid=9715/tid=9716] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1247350784 117963 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1247350784 117967 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29140903 1247350784 117971 33554432000 4194304 16246674 140733420654336 140130671119536 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.08 2.10 2.09 3/183 9719 /proc/meminfo: memFree=29462896/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 246134 0 0 0 113 36 0 0 20 0 4 0 29140902 1250496512 246459 33554432000 4194304 16246674 140733420654336 140733420653648 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 305297 246459 831 2943 0 302191 0 [pid=9715/tid=9716] ppid=9712 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1250496512 246459 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1250496512 246459 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1250496512 246459 33554432000 4194304 16246674 140733420654336 140130671119536 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) 1221188 [startup+3.10037 s] /proc/loadavg: 2.08 2.10 2.09 3/183 9719 /proc/meminfo: memFree=29204960/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1303108 CPUtime=3.08 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 266697 0 0 0 270 38 0 0 20 0 4 0 29140902 1334382592 267022 33554432000 4194304 16246674 140733420654336 140733420636224 5712756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 325777 267022 849 2943 0 322671 0 [pid=9715/tid=9716] ppid=9712 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1334382592 267022 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1334382592 267022 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1334382592 267022 33554432000 4194304 16246674 140733420654336 140130671119536 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) 1303108 [startup+6.30043 s] /proc/loadavg: 2.08 2.10 2.09 3/183 9719 /proc/meminfo: memFree=29118364/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 267807 0 0 0 590 39 0 0 20 0 4 0 29140902 1338576896 268132 33554432000 4194304 16246674 140733420654336 140733420636224 13760120 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 326801 268132 850 2943 0 323695 0 [pid=9715/tid=9716] ppid=9712 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1338576896 268132 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1338576896 268132 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1338576896 268132 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.07 2.10 2.09 3/182 9719 /proc/meminfo: memFree=29116792/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1309252 CPUtime=12.69 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 268170 0 0 0 1230 39 0 0 20 0 4 0 29140902 1340674048 268495 33554432000 4194304 16246674 140733420654336 140733420636224 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 327313 268495 853 2943 0 324207 0 [pid=9715/tid=9716] ppid=9712 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1340674048 268495 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1340674048 268495 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1340674048 268495 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.05 2.09 2.09 3/183 9720 /proc/meminfo: memFree=29114708/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1310276 CPUtime=25.49 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 268668 0 0 0 2510 39 0 0 20 0 4 0 29140902 1341722624 268993 33554432000 4194304 16246674 140733420654336 140733420636224 13191988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 327569 268993 854 2943 0 324463 0 [pid=9715/tid=9716] ppid=9712 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1341722624 268993 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1341722624 268993 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1341722624 268993 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.09 2.10 2.09 3/183 9720 /proc/meminfo: memFree=29110460/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1310276 CPUtime=51.08 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 268669 0 0 0 5069 39 0 0 20 0 4 0 29140902 1341722624 268994 33554432000 4194304 16246674 140733420654336 140733420636224 5712482 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 327569 268994 855 2943 0 324463 0 [pid=9715/tid=9716] ppid=9712 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1341722624 268994 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1341722624 268994 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1341722624 268994 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.301 s] /proc/loadavg: 2.04 2.08 2.08 3/184 9724 /proc/meminfo: memFree=29108992/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1313348 CPUtime=102.28 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 269437 0 0 0 10188 40 0 0 20 0 4 0 29140902 1344868352 269762 33554432000 4194304 16246674 140733420654336 140733420636224 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9715/statm: 328337 269762 855 2943 0 325231 0 [pid=9715/tid=9716] ppid=9712 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1344868352 269762 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1344868352 269762 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1344868352 269762 33554432000 4194304 16246674 140733420654336 140130671119536 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) 1313348 ################ # More data... # ################ /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1324612 [startup+1302.3 s] /proc/loadavg: 2.16 2.13 2.09 3/184 9754 /proc/meminfo: memFree=29092348/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1324612 CPUtime=1301.83 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272680 0 0 0 130130 53 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140733420636224 5823877 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331153 272581 855 2943 0 328047 0 [pid=9715/tid=9716] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.11 2.12 2.09 3/183 9755 /proc/meminfo: memFree=29092532/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1324612 CPUtime=1361.83 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272680 0 0 0 136129 54 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140733420636224 5545752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331153 272581 855 2943 0 328047 0 [pid=9715/tid=9716] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1324612 [startup+1422.3 s] /proc/loadavg: 2.08 2.11 2.09 3/183 9756 /proc/meminfo: memFree=29092652/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1324612 CPUtime=1421.82 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272680 0 0 0 142127 55 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140733420636224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331153 272581 855 2943 0 328047 0 [pid=9715/tid=9716] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1324612 [startup+1482.3 s] /proc/loadavg: 2.18 2.13 2.09 3/183 9757 /proc/meminfo: memFree=29092524/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1324612 CPUtime=1481.8 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272680 0 0 0 148124 56 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140733420636224 6012036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331153 272581 855 2943 0 328047 0 [pid=9715/tid=9716] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1324612 [startup+1542.31 s] /proc/loadavg: 2.12 2.12 2.09 3/183 9759 /proc/meminfo: memFree=29092528/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1324612 CPUtime=1541.8 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272680 0 0 0 154123 57 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140733420637328 6012302 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331153 272581 855 2943 0 328047 0 [pid=9715/tid=9716] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1356402688 272581 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1324612 [startup+1602.3 s] /proc/loadavg: 2.04 2.10 2.08 3/183 9760 /proc/meminfo: memFree=29091532/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1325636 CPUtime=1601.78 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272936 0 0 0 160120 58 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140733420636224 5717660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331409 272837 855 2943 0 328303 0 [pid=9715/tid=9716] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.09 2.10 2.09 3/183 9809 /proc/meminfo: memFree=29094328/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1325636 CPUtime=1661.77 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272936 0 0 0 166118 59 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140733420637328 5599986 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331409 272837 855 2943 0 328303 0 [pid=9715/tid=9716] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.08 2.10 2.09 3/183 9810 /proc/meminfo: memFree=29094516/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1325636 CPUtime=1721.76 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272936 0 0 0 172116 60 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140733420636224 6020585 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331409 272837 855 2943 0 328303 0 [pid=9715/tid=9716] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.16 2.12 2.09 3/183 9811 /proc/meminfo: memFree=29093904/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1325636 CPUtime=1781.75 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272936 0 0 0 178114 61 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140733420636224 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331409 272837 855 2943 0 328303 0 [pid=9715/tid=9716] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.27 2.15 2.10 3/183 9812 /proc/meminfo: memFree=29094012/32872528 swapFree=526336/559040 [pid=9715] ppid=9712 vsize=1325636 CPUtime=1800.05 cores=1,3,5,7 /proc/9715/stat : 9715 (toysat) R 9712 9715 28898 0 -1 4202496 272936 0 0 0 179944 61 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140733420637336 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9715/statm: 331409 272837 855 2943 0 328303 0 [pid=9715/tid=9716] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9716/stat : 9716 (toysat) S 9712 9715 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130692082928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9715/tid=9717] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9717/stat : 9717 (toysat) S 9712 9715 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29140902 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130681593072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9715/tid=9718] ppid=9712 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/9715/task/9718/stat : 9718 (toysat) S 9712 9715 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29140903 1357451264 272837 33554432000 4194304 16246674 140733420654336 140130671119536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1325636 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 9715 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.07 CPU user time (s): 1799.45 CPU system time (s): 0.618905 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.618905 maximum resident set size= 1091348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272936 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= 440 involuntary context switches= 2258 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.81927 second user time and 6.86496 second system time The end
Begin job on node106 at 2016-06-18 19:28:28 IDJOB=4106412 IDBENCH=48051 IDSOLVER=2542 FILE ID=node106/4106412-1466270908 RUNJOBID= node106-1466241787-28915 PBS_JOBID= 19918214 Free space on /tmp= 71684 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=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106412-1466270908/watcher-4106412-1466270908 -o /tmp/evaluation-result-4106412-1466270908/solver-4106412-1466270908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106412-1466270908.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED=746395768 node106.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 : 2667.073 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 : 5334.14 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 : 2667.073 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 : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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.56 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 : 2667.073 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.38 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 : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30190408 kB Buffers: 92172 kB Cached: 197416 kB SwapCached: 1736 kB Active: 1179900 kB Inactive: 192708 kB Active(anon): 1081372 kB Inactive(anon): 4000 kB Active(file): 98528 kB Inactive(file): 188708 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16472 kB Writeback: 0 kB AnonPages: 1643996 kB Mapped: 10528 kB Shmem: 0 kB Slab: 613248 kB SReclaimable: 56816 kB SUnreclaim: 556432 kB KernelStack: 1448 kB PageTables: 7588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1785240 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 253952 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= 71668 MiB End job on node106 at 2016-06-18 19:58:29