Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_30_30.r.opb |
| MD5SUM | 28e00d9d9bb0c4a536b74577b47a7849 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 7.18691 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 30 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T22:09:13+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-4079708-1465243753.opb"] 0.00/0.01 c use --random-gen="2123632149 1954366829 1051685367 2709242804 3522807900 3733469580 3130592942 2215956982 4198207692 2313495356 2098337954 1763853156 1127534582 17950088 2949579440 2968581538 99872643 2658319290 890420992 1396072143 1485144374 2867282664 4123280680 4146377148 800613949 3694550571 3778785394 1630225266 1574758043 2560732326 1515848702 2782291963 2784422003 1715766597 677205606 2661514564 433303889 2819856216 1549975388 2713252389 1801918729 4117773705 2453304844 1861047686 3473835411 1877525742 3028313191 779891402 1328593488 1064428491 3502634354 2487157879 2126557409 3526428142 1565015766 3932435259 2288278894 2603277832 4276582160 1858011168 1962712557 2215242669 659680769 1369078849 3167292294 2580196932 769528478 3467799714 3763137744 38125201 3071891820 1901283434 3735414990 2500987530 793724149 1446272601 747310362 1290773508 150698997 4197077723 3964395429 2006860398 512569496 2404918746 3079951394 601974724 621579661 3978839883 3249259252 2199085081 387194813 2552261965 3704834120 3408561673 1033407587 1278534162 3686227216 449585884 3103700865 1239597353 1188174519 1205389896 3155849958 3500038074 822368572 663484374 2227213370 3483940494 2192773268 2188733011 2510488304 2568246688 4001428086 3663005492 3101619107 4153814074 3287844273 3626302286 3449490552 4001147170 469127052 2359703001 1141866372 2858033549 4135165146 2935288901 431807101 1612279088 992261556 3590519750 2363576414 2214059653 624900379 496788428 362028117 1352115872 2066821606 1454539369 3201966323 430565740 4149996514 3914316881 2135481792 1878988477 638215226 3488099145 3176654837 937879387 1078623576 2693526033 296055857 570707725 1092246445 2931093681 476652990 2242351590 1136061537 3185015397 4231812222 3960243468 1164506080 2145296155 421940536 3524648341 3069347169 2309342734 3600267410 2281937198 4123865930 466672432 2438459125 4178219161 81538274 74070060 1883406063 4165526567 2501259590 3896581452 2599516303 1350249554 3105273737 2339827906 1897021113 2168453217 2955240562 78514569 375022081 1726899105 3508760358 1384456836 1894031132 3362497987 3989214167 1924165667 330847822 1386791160 2072720419 763241022 1450397933 1818964169 170742720 4024714897 810474297 1687590249 2731226450 2533167994 3581178928 4097694280 121778028 1243448590 163425824 3022632509 3336074075 3274898090 2890806314 3025932968 3441541525 2095672757 631391807 2642976822 2722251825 3799209670 2154374662 2101474321 1378351029 2572175894 994650287 1179664263 1647823659 408409442 2298188657 1561638871 4261169022 871740846 1227361747 462007714 1999055829 3906858695 625612178 296646042 4004036388 1623781536 3186608193 1460893170 1436324002 2176734233 1316163522 2595782841 2491050050 4084078835 1764380910 1856867719 1710955193 1666657566 2920467169 621151119 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 100 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 | 66 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 100 | 0 | 66 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 100 0.00/0.02 c #random_decision = 1 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 100 0.00/0.02 c BCD2: updating upper bound: 100 -> 99 0.00/0.02 c BCD2: 0 <= obj <= 99 0.00/0.02 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 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.03 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 84 | 0 | 66 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 84 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 30: cost of the new core is >=1 0.00/0.03 c lower bound updated to 1 0.00/0.03 c BCD2: 1 <= obj <= 99 0.00/0.03 c BCD2: #cores=1, #unrelaxed=70, #relaxed=30, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 1 0.00/0.03 c 0.0s | 0 | 92 | 0 | 66 0 | 0 | 1 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 92 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 9 0.00/0.03 c BCD2: updating upper bound: 99 -> 8 0.00/0.03 c BCD2: 1 <= obj <= 8 0.00/0.03 c BCD2: #cores=1, #unrelaxed=70, #relaxed=30, #hardened=0 0.00/0.03 c BCD2: #sat=2 #unsat=2 bias=2/4 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 2 0.00/0.04 c 0.0s | 1 | 194 | 100 | 66 0 | 0 | 2 0.00/0.06 c 0.0s | 2 | 484 | 250 | 73 2 | 0 | 2 0.00/0.09 c 0.1s | 3 | 869 | 475 | 81 5 | 0 | 2 0.09/0.13 c 0.1s | 4 | 1480 | 813 | 90 9 | 0 | 2 0.19/0.20 c 0.2s | 5 | 2224 | 1320 | 100 15 | 0 | 2 0.29/0.30 c 0.3s | 6 | 3283 | 2081 | 123 23 | 0 | 2 0.39/0.46 c 0.4s | 7 | 5000 | 3223 | 136 35 | 0 | 2 0.59/0.66 c 0.6s | 7 | 7090 | 4676 | 136 49 | 0 | 2 0.59/0.66 c #cpu_time = 0.630s 0.59/0.66 c #wall_clock_time = 0.631s 0.59/0.66 c #decision = 7090 0.59/0.66 c #random_decision = 29 0.59/0.66 c #conflict = 4676 0.59/0.66 c #restart = 7 0.59/0.66 c BCD2: relaxing 70 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 0.59/0.66 c lower bound updated to 2 0.59/0.66 c BCD2: 2 <= obj <= 8 0.59/0.66 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.59/0.66 c BCD2: #sat=2 #unsat=3 bias=3/5 0.59/0.66 c Solving starts ... 0.59/0.66 c ============================[ Search Statistics ]============================ 0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.66 c | | | | Limit GC | Var | Constra 0.59/0.66 c ============================================================================= 0.59/0.66 c 0.0s | 0 | 0 | 0 | 136 0 | 2 | 2 0.59/0.68 c 0.0s | 1 | 204 | 100 | 136 0 | 2 | 5 0.69/0.70 c 0.0s | 2 | 479 | 250 | 150 2 | 2 | 5 0.69/0.74 c 0.1s | 3 | 908 | 475 | 150 4 | 2 | 5 0.69/0.79 c 0.1s | 4 | 1475 | 813 | 150 8 | 2 | 5 0.79/0.87 c 0.2s | 5 | 2407 | 1320 | 150 14 | 2 | 5 0.89/0.99 c 0.3s | 6 | 3699 | 2081 | 150 23 | 2 | 5 1.10/1.12 c 0.5s | 7 | 5768 | 3223 | 165 37 | 2 | 5 1.29/1.31 c 0.6s | 8 | 8953 | 4936 | 165 56 | 2 | 5 1.49/1.59 c 0.9s | 9 | 13203 | 7506 | 182 83 | 2 | 5 1.99/2.06 c 1.4s | 10 | 20692 | 11361 | 182 122 | 2 | 5 2.69/2.70 c 2.0s | 11 | 31406 | 17144 | 201 175 | 2 | 5 3.58/3.67 c 3.0s | 12 | 47692 | 25819 | 222 250 | 2 | 5 3.79/3.88 c 3.2s | 12 | 50975 | 27691 | 222 265 | 2 | 5 3.79/3.88 c #cpu_time = 3.224s 3.79/3.88 c #wall_clock_time = 3.224s 3.79/3.88 c #decision = 50975 3.79/3.88 c #random_decision = 252 3.79/3.88 c #conflict = 27691 3.79/3.88 c #restart = 12 3.79/3.88 o 6 3.79/3.88 c BCD2: updating upper bound: 8 -> 5 3.79/3.88 c BCD2: 2 <= obj <= 5 3.79/3.88 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 3.79/3.88 c BCD2: #sat=3 #unsat=3 bias=3/6 3.79/3.88 c Solving starts ... 3.79/3.88 c ============================[ Search Statistics ]============================ 3.79/3.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.88 c | | | | Limit GC | Var | Constra 3.79/3.88 c ============================================================================= 3.79/3.88 c 0.0s | 0 | 0 | 0 | 222 0 | 2 | 7 3.89/3.90 c 0.0s | 1 | 225 | 100 | 222 1 | 2 | 7 3.89/3.92 c 0.0s | 2 | 459 | 250 | 222 3 | 2 | 7 3.89/3.94 c 0.1s | 3 | 866 | 475 | 222 4 | 2 | 7 3.89/3.98 c 0.1s | 4 | 1512 | 813 | 222 7 | 2 | 7 3.99/4.04 c 0.2s | 5 | 2378 | 1320 | 222 11 | 2 | 7 4.09/4.12 c 0.2s | 6 | 3713 | 2081 | 222 18 | 2 | 7 4.19/4.23 c 0.3s | 7 | 5973 | 3223 | 222 27 | 2 | 7 4.40/4.41 c 0.5s | 8 | 9072 | 4936 | 222 42 | 2 | 7 4.59/4.69 c 0.8s | 9 | 13575 | 7506 | 245 62 | 2 | 7 5.09/5.13 c 1.2s | 10 | 20232 | 11361 | 245 91 | 2 | 7 5.69/5.74 c 1.9s | 11 | 30684 | 17144 | 245 135 | 2 | 7 6.60/6.69 c 2.8s | 12 | 45966 | 25819 | 270 201 | 2 | 7 7.99/8.05 c 4.2s | 13 | 68305 | 38832 | 270 292 | 2 | 7 9.99/10.05 c 6.2s | 13 | 100933 | 57332 | 297 420 | 2 | 7 10.08/10.16 c 6.3s | 14 | 102729 | 58352 | 297 426 | 2 | 7 12.09/12.16 c 8.3s | 14 | 134201 | 76952 | 297 546 | 2 | 7 13.19/13.27 c 9.4s | 15 | 152233 | 87632 | 297 616 | 2 | 7 15.18/15.28 c 11.4s | 15 | 184529 | 106132 | 327 730 | 2 | 7 17.19/17.29 c 13.4s | 15 | 219206 | 125732 | 327 850 | 2 | 7 17.78/17.83 c 13.9s | 16 | 229577 | 131552 | 327 887 | 2 | 7 19.79/19.84 c 16.0s | 16 | 262890 | 150552 | 327 1002 | 2 | 7 21.79/21.84 c 18.0s | 16 | 295066 | 169452 | 360 1111 | 2 | 7 23.79/23.85 c 20.0s | 16 | 330774 | 190352 | 360 1230 | 2 | 7 24.59/24.64 c 20.8s | 17 | 342755 | 197432 | 360 1268 | 2 | 7 26.59/26.64 c 22.8s | 17 | 375364 | 216332 | 360 1370 | 2 | 7 28.59/28.64 c 24.8s | 17 | 413779 | 237332 | 360 1489 | 2 | 7 30.59/30.65 c 26.8s | 17 | 445517 | 255732 | 360 1587 | 2 | 7 32.58/32.66 c 28.8s | 17 | 480190 | 275532 | 397 1689 | 2 | 7 34.58/34.66 c 30.8s | 17 | 512952 | 293832 | 397 1780 | 2 | 7 34.88/34.94 c 31.1s | 18 | 517067 | 296252 | 397 1792 | 2 | 7 36.89/36.95 c 33.1s | 18 | 548685 | 314452 | 397 1880 | 2 | 7 38.88/38.95 c 35.1s | 18 | 582919 | 333752 | 397 1978 | 2 | 7 40.88/40.96 c 37.1s | 18 | 614226 | 352152 | 397 2067 | 2 | 7 42.89/42.97 c 39.1s | 18 | 647722 | 371852 | 397 2165 | 2 | 7 44.89/44.98 c 41.1s | 18 | 681957 | 391852 | 397 2264 | 2 | 7 46.88/46.98 c 43.1s | 18 | 715074 | 411152 | 437 2357 | 2 | 7 48.88/48.98 c 45.1s | 18 | 749967 | 431152 | 437 2448 | 2 | 7 50.28/50.35 c 46.5s | 19 | 772937 | 444482 | 437 2507 | 2 | 7 52.28/52.35 c 48.5s | 19 | 807965 | 464682 | 437 2598 | 2 | 7 54.28/54.36 c 50.5s | 19 | 841837 | 484382 | 437 2686 | 2 | 7 56.28/56.37 c 52.5s | 19 | 875668 | 504482 | 437 2776 | 2 | 7 58.29/58.38 c 54.5s | 19 | 910456 | 524482 | 437 2866 | 2 | 7 60.28/60.38 c 56.5s | 19 | 943243 | 543482 | 437 2950 | 2 | 7 62.28/62.38 c 58.5s | 19 | 977960 | 563782 | 437 3041 | 2 | 7 64.28/64.39 c 60.5s | 19 | 1014526 | 584482 | 437 3133 | 2 | 7 66.28/66.40 c 62.5s | 19 | 1048215 | 603982 | 437 3218 | 2 | 7 68.38/68.40 c 64.5s | 19 | 1083788 | 624582 | 437 3310 | 2 | 7 70.39/70.41 c 66.5s | 19 | 1118700 | 645082 | 481 3395 | 2 | 7 72.38/72.41 c 68.5s | 19 | 1151341 | 663782 | 481 3470 | 2 | 7 72.68/72.75 c 68.9s | 20 | 1156486 | 666827 | 481 3482 | 2 | 7 74.68/74.75 c 70.9s | 20 | 1189754 | 686527 | 481 3560 | 2 | 7 76.68/76.76 c 72.9s | 20 | 1223901 | 706227 | 481 3640 | 2 | 7 78.68/78.76 c 74.9s | 20 | 1256545 | 725727 | 481 3718 | 2 | 7 80.68/80.77 c 76.9s | 20 | 1291823 | 746427 | 481 3801 | 2 | 7 82.68/82.78 c 78.9s | 20 | 1326159 | 766727 | 481 3881 | 2 | 7 84.69/84.78 c 80.9s | 20 | 1361817 | 787727 | 481 3965 | 2 | 7 86.68/86.78 c 82.9s | 20 | 1397800 | 808727 | 481 4048 | 2 | 7 88.68/88.79 c 84.9s | 20 | 1433269 | 830027 | 481 4132 | 2 | 7 90.68/90.79 c 86.9s | 20 | 1467433 | 850727 | 481 4213 | 2 | 7 92.77/92.80 c 88.9s | 20 | 1502524 | 871527 | 481 4295 | 2 | 7 94.77/94.81 c 90.9s | 20 | 1537950 | 892527 | 481 4377 | 2 | 7 96.78/96.82 c 92.9s | 20 | 1573911 | 914327 | 481 4462 | 2 | 7 98.78/98.82 c 94.9s | 20 | 1610193 | 935927 | 481 4546 | 2 | 7 100.77/100.83 c 96.9s | 20 | 1648066 | 958527 | 481 4634 | 2 | 7 102.77/102.84 c 99.0s | 20 | 1684710 | 981027 | 530 4713 | 2 | 7 104.48/104.54 c 100s | 21 | 1716155 | 1000345 | 530 4781 | 2 | 7 106.47/106.55 c 102s | 21 | 1755367 | 1024645 | 530 4864 | 2 | 7 106.58/106.67 c 102s | 21 | 1757707 | 1026110 | 530 4869 | 3 | 9 106.58/106.67 c #cpu_time = 102.783s 106.58/106.67 c #wall_clock_time = 102.786s 106.58/106.67 c #decision = 1757707 106.58/106.67 c #random_decision = 8485 106.58/106.67 c #conflict = 1026110 106.58/106.67 c #restart = 21 106.58/106.67 c BCD2: updating lower bound of a core 106.58/106.67 c lower bound updated to 5 106.58/106.67 c BCD2: 5 <= obj <= 5 106.58/106.67 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 106.58/106.67 c BCD2: #sat=3 #unsat=4 bias=4/7 106.58/106.67 c Solving starts ... 106.58/106.67 c ============================[ Search Statistics ]============================ 106.58/106.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 106.58/106.67 c | | | | Limit GC | Var | Constra 106.58/106.67 c ============================================================================= 106.58/106.67 c 0.0s | 0 | 0 | 0 | 530 0 | 3 | 10 106.58/106.69 c 0.0s | 1 | 227 | 100 | 530 0 | 3 | 10 106.68/106.70 c 0.0s | 2 | 552 | 250 | 530 0 | 3 | 10 106.68/106.73 c 0.1s | 3 | 1014 | 475 | 530 0 | 3 | 10 106.68/106.76 c 0.1s | 4 | 1580 | 813 | 530 1 | 3 | 10 106.78/106.82 c 0.2s | 5 | 2567 | 1320 | 530 3 | 3 | 10 106.88/106.90 c 0.2s | 6 | 3987 | 2081 | 530 6 | 3 | 10 106.98/107.03 c 0.4s | 7 | 6108 | 3223 | 530 10 | 3 | 10 107.18/107.21 c 0.5s | 8 | 8981 | 4936 | 530 16 | 3 | 10 107.38/107.49 c 0.8s | 9 | 13698 | 7506 | 530 26 | 3 | 10 107.88/107.91 c 1.2s | 10 | 20479 | 11361 | 530 39 | 3 | 10 108.48/108.52 c 1.9s | 11 | 30466 | 17144 | 530 60 | 3 | 10 109.37/109.46 c 2.8s | 12 | 45285 | 25819 | 530 92 | 3 | 10 110.77/110.85 c 4.2s | 13 | 67671 | 38832 | 530 139 | 3 | 10 112.77/112.85 c 6.2s | 13 | 100418 | 57532 | 530 207 | 3 | 10 112.87/112.94 c 6.3s | 14 | 101865 | 58352 | 530 210 | 3 | 10 114.87/114.94 c 8.3s | 14 | 133637 | 76952 | 530 278 | 3 | 10 115.97/116.07 c 9.4s | 15 | 151980 | 87632 | 530 318 | 3 | 10 117.97/118.08 c 11.4s | 15 | 184976 | 106532 | 530 387 | 3 | 10 119.98/120.08 c 13.4s | 15 | 219481 | 126032 | 530 459 | 3 | 10 120.58/120.63 c 14.0s | 16 | 228859 | 131552 | 530 480 | 3 | 10 122.57/122.64 c 16.0s | 16 | 266118 | 152652 | 530 562 | 3 | 10 124.57/124.65 c 18.0s | 16 | 299011 | 171552 | 530 630 | 3 | 10 126.58/126.65 c 20.0s | 16 | 332202 | 190852 | 530 702 | 3 | 10 127.27/127.31 c 20.6s | 17 | 343732 | 197432 | 530 727 | 3 | 10 129.27/129.31 c 22.6s | 17 | 378343 | 217232 | 530 803 | 3 | 10 131.27/131.32 c 24.6s | 17 | 411005 | 236132 | 530 872 | 3 | 10 133.27/133.33 c 26.7s | 17 | 444623 | 255332 | 530 944 | 3 | 10 135.27/135.33 c 28.7s | 17 | 479824 | 275432 | 530 1022 | 3 | 10 137.27/137.34 c 30.7s | 17 | 512111 | 293932 | 530 1090 | 3 | 10 137.48/137.58 c 30.9s | 18 | 516278 | 296252 | 530 1099 | 3 | 10 139.47/139.59 c 32.9s | 18 | 548348 | 314452 | 530 1166 | 3 | 10 141.57/141.60 c 34.9s | 18 | 580920 | 333052 | 530 1235 | 3 | 10 143.57/143.61 c 36.9s | 18 | 615800 | 352552 | 530 1310 | 3 | 10 145.56/145.61 c 38.9s | 18 | 648722 | 371752 | 530 1382 | 3 | 10 147.57/147.63 c 41.0s | 18 | 681405 | 390552 | 530 1451 | 3 | 10 149.58/149.63 c 43.0s | 18 | 716170 | 410552 | 530 1528 | 3 | 10 151.57/151.63 c 45.0s | 18 | 750297 | 430152 | 530 1602 | 3 | 10 153.07/153.17 c 46.5s | 19 | 775280 | 444482 | 583 1651 | 3 | 10 155.07/155.18 c 48.5s | 19 | 806770 | 462582 | 583 1711 | 3 | 10 157.07/157.18 c 50.5s | 19 | 839274 | 481482 | 583 1775 | 3 | 10 159.07/159.19 c 52.5s | 19 | 874077 | 501282 | 583 1844 | 3 | 10 161.16/161.20 c 54.5s | 19 | 906494 | 520282 | 583 1908 | 3 | 10 163.17/163.21 c 56.5s | 19 | 938702 | 538982 | 583 1971 | 3 | 10 165.16/165.21 c 58.5s | 19 | 972257 | 558282 | 583 2038 | 3 | 10 167.17/167.21 c 60.5s | 19 | 1006064 | 577982 | 583 2107 | 3 | 10 169.17/169.22 c 62.5s | 19 | 1038865 | 596582 | 583 2169 | 3 | 10 171.16/171.22 c 64.6s | 19 | 1073180 | 616182 | 583 2237 | 3 | 10 173.17/173.23 c 66.6s | 19 | 1106807 | 635582 | 583 2303 | 3 | 10 175.16/175.24 c 68.6s | 19 | 1138408 | 653782 | 583 2365 | 3 | 10 176.56/176.61 c 69.9s | 20 | 1161367 | 666827 | 583 2409 | 3 | 10 178.56/178.61 c 71.9s | 20 | 1193212 | 684627 | 583 2469 | 3 | 10 180.56/180.61 c 73.9s | 20 | 1225533 | 703027 | 583 2531 | 3 | 10 182.57/182.62 c 75.9s | 20 | 1261434 | 723027 | 583 2601 | 3 | 10 184.56/184.62 c 78.0s | 20 | 1293357 | 741427 | 583 2662 | 3 | 10 186.56/186.62 c 80.0s | 20 | 1326554 | 760127 | 583 2725 | 3 | 10 188.56/188.63 c 82.0s | 20 | 1362839 | 780327 | 583 2796 | 3 | 10 190.56/190.63 c 84.0s | 20 | 1395881 | 799427 | 583 2861 | 3 | 10 192.57/192.63 c 86.0s | 20 | 1428532 | 817827 | 583 2923 | 3 | 10 194.56/194.64 c 88.0s | 20 | 1461988 | 836927 | 583 2990 | 3 | 10 196.56/196.65 c 90.0s | 20 | 1493476 | 855227 | 583 3051 | 3 | 10 198.56/198.66 c 92.0s | 20 | 1525462 | 873627 | 583 3114 | 3 | 10 200.56/200.67 c 94.0s | 20 | 1558039 | 892527 | 583 3180 | 3 | 10 202.55/202.67 c 96.0s | 20 | 1589597 | 911027 | 583 3241 | 3 | 10 204.57/204.68 c 98.0s | 20 | 1622454 | 929727 | 583 3306 | 3 | 10 206.56/206.69 c 100s | 20 | 1654806 | 948327 | 583 3369 | 3 | 10 208.66/208.70 c 102s | 20 | 1685339 | 966227 | 583 3430 | 3 | 10 210.66/210.71 c 104s | 20 | 1716204 | 984227 | 583 3493 | 3 | 10 212.46/212.51 c 105s | 21 | 1743895 | 1000345 | 583 3547 | 3 | 10 214.46/214.52 c 107s | 21 | 1776255 | 1018945 | 583 3609 | 3 | 10 216.46/216.52 c 109s | 21 | 1809671 | 1038145 | 583 3674 | 3 | 10 218.45/218.53 c 111s | 21 | 1845519 | 1058745 | 583 3747 | 3 | 10 220.45/220.54 c 113s | 21 | 1875916 | 1076845 | 583 3808 | 3 | 10 222.46/222.55 c 115s | 21 | 1908478 | 1095445 | 583 3871 | 3 | 10 224.46/224.55 c 117s | 21 | 1942536 | 1115045 | 583 3939 | 3 | 10 226.45/226.56 c 119s | 21 | 1974063 | 1133445 | 583 4002 | 3 | 10 228.46/228.56 c 121s | 21 | 2005314 | 1151845 | 583 4064 | 3 | 10 230.46/230.57 c 123s | 21 | 2038518 | 1171245 | 583 4131 | 3 | 10 232.45/232.57 c 125s | 21 | 2070812 | 1190045 | 642 4191 | 3 | 10 234.45/234.58 c 127s | 21 | 2102750 | 1208445 | 642 4248 | 3 | 10 236.46/236.58 c 129s | 21 | 2137305 | 1228345 | 642 4311 | 3 | 10 238.45/238.59 c 131s | 21 | 2168470 | 1246745 | 642 4367 | 3 | 10 240.45/240.59 c 133s | 21 | 2200213 | 1265245 | 642 4425 | 3 | 10 242.45/242.59 c 135s | 21 | 2233904 | 1285045 | 642 4488 | 3 | 10 244.55/244.60 c 137s | 21 | 2264488 | 1303045 | 642 4543 | 3 | 10 246.55/246.60 c 139s | 21 | 2297183 | 1321745 | 642 4601 | 3 | 10 248.56/248.61 c 141s | 21 | 2330211 | 1341145 | 642 4663 | 3 | 10 250.56/250.62 c 143s | 21 | 2362026 | 1359645 | 642 4720 | 3 | 10 252.55/252.62 c 145s | 21 | 2395737 | 1379145 | 642 4781 | 3 | 10 254.55/254.63 c 147s | 21 | 2428527 | 1398345 | 642 4841 | 3 | 10 256.55/256.64 c 149s | 21 | 2460660 | 1417245 | 642 4900 | 3 | 10 258.56/258.65 c 151s | 21 | 2495142 | 1437245 | 642 4963 | 3 | 10 260.55/260.66 c 153s | 21 | 2526478 | 1455745 | 642 5021 | 3 | 10 262.55/262.66 c 155s | 21 | 2559202 | 1474845 | 642 5080 | 3 | 10 264.54/264.67 c 157s | 21 | 2591965 | 1494045 | 642 5141 | 3 | 10 265.24/265.38 c 158s | 22 | 2603107 | 1500622 | 642 5161 | 3 | 10 267.25/267.38 c 160s | 22 | 2634540 | 1518722 | 642 5216 | 3 | 10 269.24/269.39 c 162s | 22 | 2666427 | 1537122 | 642 5272 | 3 | 10 271.24/271.39 c 164s | 22 | 2700931 | 1556922 | 642 5335 | 3 | 10 273.24/273.39 c 166s | 22 | 2734289 | 1576222 | 642 5395 | 3 | 10 275.34/275.40 c 168s | 22 | 2765407 | 1594422 | 642 5451 | 3 | 10 277.34/277.41 c 170s | 22 | 2798193 | 1613422 | 642 5510 | 3 | 10 279.36/279.41 c 172s | 22 | 2832040 | 1633122 | 642 5573 | 3 | 10 281.35/281.41 c 174s | 22 | 2862843 | 1651422 | 642 5628 | 3 | 10 283.34/283.42 c 176s | 22 | 2895191 | 1670222 | 642 5686 | 3 | 10 285.34/285.43 c 178s | 22 | 2929376 | 1690122 | 642 5749 | 3 | 10 287.35/287.44 c 180s | 22 | 2960683 | 1707922 | 642 5804 | 3 | 10 289.35/289.44 c 182s | 22 | 2992962 | 1726422 | 642 5861 | 3 | 10 291.35/291.45 c 184s | 22 | 3027389 | 1746222 | 642 5924 | 3 | 10 293.35/293.45 c 186s | 22 | 3059591 | 1764822 | 642 5981 | 3 | 10 295.34/295.46 c 188s | 22 | 3093231 | 1784322 | 642 6041 | 3 | 10 297.34/297.46 c 190s | 22 | 3127250 | 1803922 | 642 6103 | 3 | 10 299.34/299.47 c 192s | 22 | 3159882 | 1822822 | 642 6161 | 3 | 10 301.35/301.48 c 194s | 22 | 3193796 | 1842522 | 642 6223 | 3 | 10 303.35/303.48 c 196s | 22 | 3225930 | 1861522 | 642 6282 | 3 | 10 305.35/305.49 c 198s | 22 | 3259436 | 1880622 | 642 6341 | 3 | 10 307.45/307.50 c 200s | 22 | 3293201 | 1900322 | 642 6404 | 3 | 10 309.44/309.50 c 202s | 22 | 3325246 | 1918922 | 642 6461 | 3 | 10 311.44/311.51 c 204s | 22 | 3359551 | 1938722 | 642 6524 | 3 | 10 313.45/313.52 c 206s | 22 | 3391805 | 1957622 | 642 6583 | 3 | 10 315.44/315.52 c 208s | 22 | 3424687 | 1976922 | 642 6643 | 3 | 10 317.44/317.53 c 210s | 22 | 3457317 | 1996322 | 642 6704 | 3 | 10 319.44/319.54 c 212s | 22 | 3490173 | 2015822 | 642 6765 | 3 | 10 321.43/321.55 c 214s | 22 | 3524074 | 2035422 | 642 6827 | 3 | 10 323.45/323.55 c 216s | 22 | 3556482 | 2054322 | 642 6885 | 3 | 10 325.43/325.55 c 218s | 22 | 3590251 | 2073822 | 642 6948 | 3 | 10 327.44/327.55 c 220s | 22 | 3622487 | 2092822 | 642 7007 | 3 | 10 329.44/329.56 c 222s | 22 | 3656759 | 2112422 | 642 7069 | 3 | 10 331.44/331.56 c 224s | 22 | 3689490 | 2131922 | 642 7130 | 3 | 10 333.43/333.57 c 226s | 22 | 3722672 | 2151622 | 642 7192 | 3 | 10 335.44/335.57 c 228s | 22 | 3756826 | 2171822 | 642 7257 | 3 | 10 337.43/337.58 c 230s | 22 | 3788902 | 2190922 | 642 7316 | 3 | 10 339.43/339.59 c 232s | 22 | 3823328 | 2210822 | 642 7380 | 3 | 10 341.53/341.60 c 234s | 22 | 3855881 | 2230022 | 642 7440 | 3 | 10 343.52/343.60 c 236s | 22 | 3888362 | 2249222 | 642 7501 | 3 | 10 343.62/343.79 c 237s | 23 | 3891488 | 2251038 | 642 7507 | 3 | 10 345.63/345.79 c 239s | 23 | 3922153 | 2268738 | 642 7560 | 3 | 10 347.73/347.80 c 241s | 23 | 3953606 | 2286938 | 642 7616 | 3 | 10 349.73/349.81 c 243s | 23 | 3985434 | 2305738 | 707 7671 | 3 | 10 351.73/351.82 c 245s | 23 | 4017827 | 2324638 | 707 7726 | 3 | 10 353.73/353.82 c 247s | 23 | 4047654 | 2342238 | 707 7774 | 3 | 10 355.72/355.82 c 249s | 23 | 4078859 | 2360438 | 707 7825 | 3 | 10 357.72/357.83 c 251s | 23 | 4111803 | 2379638 | 707 7881 | 3 | 10 359.74/359.83 c 253s | 23 | 4142245 | 2397338 | 707 7930 | 3 | 10 361.72/361.84 c 255s | 23 | 4174187 | 2415838 | 707 7982 | 3 | 10 363.72/363.86 c 257s | 23 | 4209253 | 2436038 | 707 8040 | 3 | 10 365.72/365.86 c 259s | 23 | 4240612 | 2454338 | 707 8091 | 3 | 10 367.73/367.86 c 261s | 23 | 4272658 | 2472838 | 707 8143 | 3 | 10 369.72/369.87 c 263s | 23 | 4306834 | 2492538 | 707 8199 | 3 | 10 371.73/371.88 c 265s | 23 | 4338224 | 2510838 | 707 8251 | 3 | 10 373.72/373.89 c 267s | 23 | 4371122 | 2529838 | 707 8304 | 3 | 10 375.72/375.89 c 269s | 23 | 4406040 | 2549738 | 707 8361 | 3 | 10 377.72/377.89 c 271s | 23 | 4436105 | 2567538 | 707 8411 | 3 | 10 379.82/379.90 c 273s | 23 | 4467202 | 2585638 | 707 8462 | 3 | 10 381.81/381.90 c 275s | 23 | 4497660 | 2604038 | 707 8515 | 3 | 10 383.82/383.91 c 277s | 23 | 4529090 | 2622738 | 707 8567 | 3 | 10 385.81/385.92 c 279s | 23 | 4562219 | 2642238 | 707 8623 | 3 | 10 387.81/387.93 c 281s | 23 | 4594972 | 2661438 | 707 8677 | 3 | 10 389.82/389.94 c 283s | 23 | 4627257 | 2680438 | 707 8731 | 3 | 10 391.81/391.94 c 285s | 23 | 4662044 | 2700638 | 707 8789 | 3 | 10 393.82/393.95 c 287s | 23 | 4691149 | 2718138 | 707 8838 | 3 | 10 395.81/395.95 c 289s | 23 | 4721124 | 2735438 | 707 8887 | 3 | 10 397.81/397.96 c 291s | 23 | 4751313 | 2753338 | 707 8937 | 3 | 10 399.81/399.97 c 293s | 23 | 4783029 | 2771838 | 707 8989 | 3 | 10 401.81/401.98 c 295s | 23 | 4815696 | 2791138 | 707 9045 | 3 | 10 403.80/403.98 c 297s | 23 | 4847079 | 2809538 | 707 9097 | 3 | 10 405.81/405.98 c 299s | 23 | 4880212 | 2828938 | 707 9153 | 3 | 10 407.80/407.99 c 301s | 23 | 4911108 | 2847338 | 707 9205 | 3 | 10 409.81/409.99 c 303s | 23 | 4943201 | 2866038 | 707 9258 | 3 | 10 411.80/411.99 c 305s | 23 | 4974186 | 2884538 | 707 9311 | 3 | 10 413.90/414.00 c 307s | 23 | 5009015 | 2904538 | 707 9368 | 3 | 10 415.90/416.00 c 309s | 23 | 5040879 | 2923438 | 707 9422 | 3 | 10 417.80/418.00 c 311s | 23 | 5074548 | 2943538 | 707 9480 | 3 | 10 419.90/420.00 c 313s | 23 | 5107456 | 2962638 | 707 9534 | 3 | 10 421.90/422.01 c 315s | 23 | 5141588 | 2982538 | 707 9592 | 3 | 10 423.90/424.02 c 317s | 23 | 5175201 | 3002338 | 707 9649 | 3 | 10 425.90/426.02 c 319s | 23 | 5207803 | 3021638 | 707 9704 | 3 | 10 427.91/428.03 c 321s | 23 | 5240991 | 3041238 | 707 9761 | 3 | 10 429.90/430.03 c 323s | 23 | 5274523 | 3060838 | 707 9817 | 3 | 10 431.90/432.03 c 325s | 23 | 5308173 | 3080438 | 707 9874 | 3 | 10 433.90/434.04 c 327s | 23 | 5341238 | 3099838 | 707 9930 | 3 | 10 435.89/436.04 c 329s | 23 | 5374064 | 3119038 | 707 9985 | 3 | 10 437.89/438.05 c 331s | 23 | 5407603 | 3138638 | 707 10042 | 3 | 10 439.90/440.05 c 333s | 23 | 5441082 | 3158538 | 707 10100 | 3 | 10 441.89/442.05 c 335s | 23 | 5472273 | 3177338 | 707 10154 | 3 | 10 443.89/444.06 c 337s | 23 | 5505914 | 3197338 | 707 10212 | 3 | 10 445.89/446.06 c 339s | 23 | 5539478 | 3217238 | 707 10270 | 3 | 10 447.89/448.06 c 341s | 23 | 5571192 | 3236738 | 707 10327 | 3 | 10 449.89/450.06 c 343s | 23 | 5605412 | 3257038 | 707 10386 | 3 | 10 451.89/452.06 c 345s | 23 | 5638961 | 3277438 | 707 10446 | 3 | 10 453.89/454.06 c 347s | 23 | 5672796 | 3297838 | 707 10505 | 3 | 10 455.88/456.08 c 349s | 23 | 5707287 | 3318838 | 707 10567 | 3 | 10 457.88/458.08 c 351s | 23 | 5741536 | 3339738 | 707 10628 | 3 | 10 459.89/460.09 c 353s | 23 | 5775585 | 3360638 | 707 10690 | 3 | 10 461.48/461.63 c 354s | 24 | 5801530 | 3376662 | 707 10737 | 3 | 10 463.48/463.64 c 356s | 24 | 5833128 | 3395262 | 707 10789 | 3 | 10 465.48/465.64 c 358s | 24 | 5865815 | 3414262 | 707 10842 | 3 | 10 467.49/467.65 c 360s | 24 | 5899982 | 3433962 | 707 10898 | 3 | 10 469.48/469.65 c 362s | 24 | 5932851 | 3453362 | 707 10953 | 3 | 10 471.48/471.66 c 364s | 24 | 5963401 | 3471262 | 707 11003 | 3 | 10 473.48/473.67 c 366s | 24 | 5995557 | 3490062 | 707 11056 | 3 | 10 475.48/475.67 c 368s | 24 | 6028811 | 3509462 | 707 11112 | 3 | 10 477.48/477.67 c 370s | 24 | 6061284 | 3528062 | 707 11164 | 3 | 10 479.48/479.67 c 373s | 24 | 6093865 | 3547262 | 707 11218 | 3 | 10 481.47/481.68 c 375s | 24 | 6127271 | 3566662 | 707 11273 | 3 | 10 483.47/483.69 c 377s | 24 | 6159438 | 3585462 | 707 11326 | 3 | 10 485.57/485.70 c 379s | 24 | 6192943 | 3604862 | 707 11381 | 3 | 10 487.58/487.71 c 381s | 24 | 6226096 | 3624262 | 707 11436 | 3 | 10 489.57/489.72 c 383s | 24 | 6257398 | 3642562 | 707 11488 | 3 | 10 491.58/491.72 c 385s | 24 | 6291182 | 3661662 | 707 11543 | 3 | 10 493.57/493.72 c 387s | 24 | 6322697 | 3680062 | 707 11594 | 3 | 10 495.57/495.73 c 389s | 24 | 6356626 | 3699562 | 707 11649 | 3 | 10 497.57/497.73 c 391s | 24 | 6390969 | 3719362 | 707 11706 | 3 | 10 499.56/499.74 c 393s | 24 | 6423219 | 3738062 | 707 11759 | 3 | 10 501.57/501.75 c 395s | 24 | 6458290 | 3758262 | 707 11817 | 3 | 10 503.56/503.76 c 397s | 24 | 6489943 | 3776862 | 707 11869 | 3 | 10 505.56/505.77 c 399s | 24 | 6521702 | 3795962 | 707 11923 | 3 | 10 507.56/507.77 c 401s | 24 | 6554744 | 3815062 | 707 11978 | 3 | 10 509.56/509.77 c 403s | 24 | 6587904 | 3834362 | 707 12032 | 3 | 10 511.55/511.78 c 405s | 24 | 6621779 | 3854162 | 707 12089 | 3 | 10 513.57/513.78 c 407s | 24 | 6654807 | 3873462 | 707 12144 | 3 | 10 515.55/515.79 c 409s | 24 | 6689408 | 3893762 | 707 12202 | 3 | 10 517.56/517.79 c 411s | 24 | 6723422 | 3913162 | 707 12257 | 3 | 10 519.56/519.79 c 413s | 24 | 6757586 | 3932862 | 707 12314 | 3 | 10 521.65/521.80 c 415s | 24 | 6786464 | 3950062 | 707 12362 | 3 | 10 523.65/523.81 c 417s | 24 | 6817117 | 3968262 | 707 12413 | 3 | 10 525.66/525.81 c 419s | 24 | 6848533 | 3986862 | 778 12462 | 3 | 10 527.65/527.82 c 421s | 24 | 6879095 | 4005362 | 778 12510 | 3 | 10 529.65/529.82 c 423s | 24 | 6911461 | 4024262 | 778 12559 | 3 | 10 531.65/531.82 c 425s | 24 | 6943254 | 4042962 | 778 12607 | 3 | 10 533.65/533.83 c 427s | 24 | 6976417 | 4062362 | 778 12658 | 3 | 10 535.66/535.83 c 429s | 24 | 7008030 | 4081162 | 778 12708 | 3 | 10 537.65/537.83 c 431s | 24 | 7039405 | 4099662 | 778 12756 | 3 | 10 539.64/539.84 c 433s | 24 | 7071243 | 4118562 | 778 12805 | 3 | 10 541.65/541.84 c 435s | 24 | 7105604 | 4138362 | 778 12857 | 3 | 10 543.65/543.84 c 437s | 24 | 7138003 | 4157462 | 778 12907 | 3 | 10 545.65/545.84 c 439s | 24 | 7171231 | 4177162 | 778 12958 | 3 | 10 547.65/547.85 c 441s | 24 | 7204788 | 4197162 | 778 13011 | 3 | 10 549.64/549.86 c 443s | 24 | 7237636 | 4216962 | 778 13063 | 3 | 10 551.64/551.86 c 445s | 24 | 7271860 | 4236862 | 778 13115 | 3 | 10 553.64/553.87 c 447s | 24 | 7305420 | 4256662 | 778 13168 | 3 | 10 555.64/555.87 c 449s | 24 | 7339270 | 4276862 | 778 13221 | 3 | 10 557.65/557.88 c 451s | 24 | 7373602 | 4297362 | 778 13275 | 3 | 10 559.64/559.88 c 453s | 24 | 7406759 | 4317562 | 778 13328 | 3 | 10 561.64/561.89 c 455s | 24 | 7441462 | 4338162 | 778 13383 | 3 | 10 563.64/563.89 c 457s | 24 | 7475789 | 4358662 | 778 13437 | 3 | 10 565.64/565.89 c 459s | 24 | 7509928 | 4379462 | 778 13493 | 3 | 10 567.64/567.89 c 461s | 24 | 7543729 | 4400362 | 778 13549 | 3 | 10 569.65/569.90 c 463s | 24 | 7578943 | 4421562 | 778 13606 | 3 | 10 571.73/571.91 c 465s | 24 | 7614349 | 4443062 | 778 13663 | 3 | 10 573.74/573.92 c 467s | 24 | 7649155 | 4465062 | 778 13723 | 3 | 10 575.73/575.92 c 469s | 24 | 7679546 | 4482762 | 778 13768 | 3 | 10 577.74/577.93 c 471s | 24 | 7710135 | 4500462 | 778 13813 | 3 | 10 579.73/579.93 c 473s | 24 | 7742339 | 4519062 | 778 13861 | 3 | 10 581.74/581.93 c 475s | 24 | 7774466 | 4537462 | 778 13908 | 3 | 10 583.74/583.93 c 477s | 24 | 7805941 | 4555662 | 778 13954 | 3 | 10 585.74/585.94 c 479s | 24 | 7838864 | 4574862 | 778 14003 | 3 | 10 587.73/587.94 c 481s | 24 | 7871456 | 4593662 | 778 14052 | 3 | 10 589.73/589.95 c 483s | 24 | 7903421 | 4612062 | 778 14098 | 3 | 10 591.74/591.96 c 485s | 24 | 7936956 | 4631262 | 778 14148 | 3 | 10 593.72/593.97 c 487s | 24 | 7969193 | 4650262 | 778 14197 | 3 | 10 595.73/595.98 c 489s | 24 | 7999954 | 4668462 | 778 14243 | 3 | 10 597.73/597.98 c 491s | 24 | 8032834 | 4687762 | 778 14293 | 3 | 10 599.73/599.99 c 493s | 24 | 8065654 | 4706662 | 778 14342 | 3 | 10 601.73/601.99 c 495s | 24 | 8097714 | 4724962 | 778 14388 | 3 | 10 603.73/604.00 c 497s | 24 | 8132068 | 4744562 | 778 14439 | 3 | 10 605.82/606.01 c 499s | 24 | 8163694 | 4762862 | 778 14486 | 3 | 10 607.83/608.01 c 501s | 24 | 8195578 | 4781662 | 778 14534 | 3 | 10 609.82/610.01 c 503s | 24 | 8229668 | 4801462 | 778 14586 | 3 | 10 611.82/612.02 c 505s | 24 | 8260761 | 4819462 | 778 14632 | 3 | 10 613.82/614.03 c 507s | 24 | 8294335 | 4838262 | 778 14680 | 3 | 10 615.82/616.03 c 509s | 24 | 8325666 | 4856362 | 778 14726 | 3 | 10 617.82/618.04 c 511s | 24 | 8358906 | 4875562 | 778 14776 | 3 | 10 619.82/620.04 c 513s | 24 | 8392653 | 4894962 | 778 14826 | 3 | 10 621.82/622.05 c 515s | 24 | 8425588 | 4913962 | 778 14875 | 3 | 10 623.82/624.05 c 517s | 24 | 8460315 | 4933562 | 778 14926 | 3 | 10 625.82/626.06 c 519s | 24 | 8492900 | 4952462 | 778 14974 | 3 | 10 627.81/628.07 c 521s | 24 | 8527718 | 4972762 | 778 15028 | 3 | 10 629.81/630.07 c 523s | 24 | 8560833 | 4991762 | 778 15076 | 3 | 10 631.81/632.07 c 525s | 24 | 8594940 | 5011562 | 778 15128 | 3 | 10 633.81/634.08 c 527s | 24 | 8626872 | 5030262 | 778 15176 | 3 | 10 635.81/636.09 c 529s | 24 | 8660343 | 5049962 | 778 15227 | 3 | 10 637.41/637.69 c 531s | 25 | 8687048 | 5065098 | 778 15266 | 3 | 10 639.51/639.70 c 533s | 25 | 8718287 | 5082898 | 778 15311 | 3 | 10 641.51/641.71 c 535s | 25 | 8749675 | 5100998 | 778 15357 | 3 | 10 643.51/643.71 c 537s | 25 | 8781852 | 5119698 | 778 15405 | 3 | 10 645.52/645.72 c 539s | 25 | 8813054 | 5137898 | 778 15451 | 3 | 10 647.51/647.72 c 541s | 25 | 8844384 | 5156098 | 778 15497 | 3 | 10 649.51/649.73 c 543s | 25 | 8875944 | 5174598 | 778 15545 | 3 | 10 651.50/651.74 c 545s | 25 | 8908484 | 5193298 | 778 15593 | 3 | 10 653.51/653.75 c 547s | 25 | 8939566 | 5211598 | 778 15639 | 3 | 10 655.51/655.75 c 549s | 25 | 8973811 | 5230898 | 778 15689 | 3 | 10 657.51/657.76 c 551s | 25 | 9004194 | 5248798 | 778 15734 | 3 | 10 659.50/659.76 c 553s | 25 | 9034901 | 5266598 | 778 15780 | 3 | 10 661.51/661.76 c 555s | 25 | 9066667 | 5285098 | 778 15828 | 3 | 10 663.51/663.76 c 557s | 25 | 9097471 | 5302998 | 778 15874 | 3 | 10 665.50/665.78 c 559s | 25 | 9129155 | 5321298 | 778 15920 | 3 | 10 667.51/667.78 c 561s | 25 | 9161541 | 5340398 | 778 15970 | 3 | 10 669.50/669.79 c 563s | 25 | 9192638 | 5358498 | 778 16016 | 3 | 10 671.49/671.79 c 565s | 25 | 9224730 | 5377098 | 778 16064 | 3 | 10 673.60/673.80 c 567s | 25 | 9256765 | 5395498 | 778 16111 | 3 | 10 675.60/675.80 c 569s | 25 | 9287798 | 5413498 | 778 16157 | 3 | 10 677.60/677.81 c 571s | 25 | 9319232 | 5431998 | 778 16206 | 3 | 10 679.60/679.82 c 573s | 25 | 9349840 | 5449798 | 778 16251 | 3 | 10 681.59/681.83 c 575s | 25 | 9381360 | 5468298 | 778 16299 | 3 | 10 683.59/683.83 c 577s | 25 | 9412633 | 5486598 | 778 16346 | 3 | 10 685.59/685.84 c 579s | 25 | 9446319 | 5505798 | 778 16396 | 3 | 10 687.59/687.84 c 581s | 25 | 9479007 | 5524798 | 778 16444 | 3 | 10 689.60/689.85 c 583s | 25 | 9512303 | 5543798 | 778 16494 | 3 | 10 691.59/691.86 c 585s | 25 | 9543217 | 5561998 | 778 16540 | 3 | 10 693.59/693.86 c 587s | 25 | 9572788 | 5579598 | 778 16586 | 3 | 10 695.58/695.87 c 589s | 25 | 9603948 | 5598098 | 778 16634 | 3 | 10 697.59/697.88 c 591s | 25 | 9636480 | 5617198 | 778 16683 | 3 | 10 699.58/699.89 c 593s | 25 | 9667376 | 5635398 | 778 16730 | 3 | 10 701.59/701.89 c 595s | 25 | 9699101 | 5654098 | 778 16779 | 3 | 10 703.68/703.90 c 597s | 25 | 9729617 | 5672398 | 778 16826 | 3 | 10 705.68/705.90 c 599s | 25 | 9762107 | 5691698 | 778 16877 | 3 | 10 707.69/707.91 c 601s | 25 | 9794109 | 5710498 | 778 16925 | 3 | 10 709.68/709.92 c 603s | 25 | 9825928 | 5729298 | 778 16974 | 3 | 10 711.68/711.93 c 605s | 25 | 9858748 | 5748398 | 778 17024 | 3 | 10 713.68/713.94 c 607s | 25 | 9890424 | 5767098 | 778 17072 | 3 | 10 715.67/715.94 c 609s | 25 | 9922293 | 5785898 | 778 17121 | 3 | 10 717.67/717.95 c 611s | 25 | 9954658 | 5805198 | 778 17171 | 3 | 10 719.67/719.95 c 613s | 25 | 9986547 | 5824198 | 778 17221 | 3 | 10 721.67/721.96 c 615s | 25 | 10019089 | 5843398 | 778 17271 | 3 | 10 723.68/723.96 c 617s | 25 | 10051054 | 5862598 | 778 17321 | 3 | 10 725.67/725.97 c 619s | 25 | 10083257 | 5881698 | 778 17371 | 3 | 10 727.67/727.98 c 621s | 25 | 10115452 | 5900998 | 778 17422 | 3 | 10 729.67/729.98 c 623s | 25 | 10147096 | 5919898 | 778 17471 | 3 | 10 731.67/731.99 c 625s | 25 | 10179284 | 5939198 | 778 17522 | 3 | 10 733.66/734.00 c 627s | 25 | 10210979 | 5958098 | 778 17572 | 3 | 10 735.67/736.00 c 629s | 25 | 10242849 | 5977398 | 778 17623 | 3 | 10 737.77/738.00 c 631s | 25 | 10274883 | 5996698 | 778 17674 | 3 | 10 739.76/740.01 c 633s | 25 | 10306235 | 6016098 | 778 17725 | 3 | 10 741.76/742.01 c 635s | 25 | 10337806 | 6035598 | 778 17777 | 3 | 10 743.77/744.02 c 637s | 25 | 10369800 | 6055098 | 778 17829 | 3 | 10 745.77/746.03 c 639s | 25 | 10401375 | 6074598 | 778 17881 | 3 | 10 747.77/748.03 c 641s | 25 | 10433282 | 6094398 | 778 17934 | 3 | 10 749.77/750.04 c 643s | 25 | 10465771 | 6114298 | 778 17987 | 3 | 10 751.76/752.05 c 645s | 25 | 10497073 | 6133798 | 778 18040 | 3 | 10 753.77/754.06 c 647s | 25 | 10526867 | 6150998 | 778 18083 | 3 | 10 755.76/756.06 c 649s | 25 | 10556583 | 6168398 | 778 18127 | 3 | 10 757.77/758.06 c 651s | 25 | 10588301 | 6186298 | 778 18173 | 3 | 10 759.77/760.07 c 653s | 25 | 10618927 | 6203998 | 778 18218 | 3 | 10 761.75/762.07 c 655s | 25 | 10649785 | 6222198 | 778 18264 | 3 | 10 763.76/764.07 c 657s | 25 | 10682326 | 6240998 | 778 18313 | 3 | 10 765.76/766.08 c 659s | 25 | 10712483 | 6258698 | 778 18358 | 3 | 10 767.76/768.09 c 661s | 25 | 10743000 | 6276698 | 778 18404 | 3 | 10 769.76/770.10 c 663s | 25 | 10774697 | 6294698 | 778 18450 | 3 | 10 771.85/772.10 c 665s | 25 | 10806356 | 6312598 | 778 18496 | 3 | 10 773.85/774.11 c 667s | 25 | 10838697 | 6330798 | 778 18543 | 3 | 10 775.85/776.12 c 669s | 25 | 10869992 | 6348798 | 778 18589 | 3 | 10 777.85/778.12 c 671s | 25 | 10900427 | 6366398 | 778 18633 | 3 | 10 779.85/780.13 c 673s | 25 | 10930314 | 6384098 | 778 18679 | 3 | 10 781.85/782.14 c 675s | 25 | 10960712 | 6401898 | 778 18725 | 3 | 10 783.85/784.15 c 677s | 25 | 10992202 | 6420098 | 778 18771 | 3 | 10 785.85/786.15 c 679s | 25 | 11022809 | 6438098 | 778 18818 | 3 | 10 787.85/788.15 c 681s | 25 | 11054450 | 6456598 | 778 18865 | 3 | 10 789.85/790.16 c 683s | 25 | 11086171 | 6475298 | 778 18914 | 3 | 10 791.86/792.17 c 685s | 25 | 11115772 | 6492998 | 856 18957 | 3 | 10 793.84/794.18 c 687s | 25 | 11145817 | 6510698 | 856 18999 | 3 | 10 795.85/796.18 c 689s | 25 | 11176141 | 6528498 | 856 19040 | 3 | 10 797.85/798.18 c 691s | 25 | 11207170 | 6546698 | 856 19083 | 3 | 10 799.85/800.19 c 693s | 25 | 11237663 | 6564598 | 856 19124 | 3 | 10 801.94/802.20 c 695s | 25 | 11268646 | 6582898 | 856 19168 | 3 | 10 803.84/804.20 c 697s | 25 | 11299845 | 6600998 | 856 19210 | 3 | 10 805.95/806.21 c 699s | 25 | 11331416 | 6619498 | 856 19254 | 3 | 10 807.94/808.22 c 701s | 25 | 11362316 | 6637798 | 856 19296 | 3 | 10 809.94/810.22 c 703s | 25 | 11394460 | 6656398 | 856 19340 | 3 | 10 811.93/812.23 c 705s | 25 | 11424757 | 6674498 | 856 19383 | 3 | 10 813.94/814.24 c 707s | 25 | 11455821 | 6692698 | 856 19426 | 3 | 10 815.94/816.24 c 709s | 25 | 11486071 | 6710798 | 856 19468 | 3 | 10 817.93/818.25 c 711s | 25 | 11516503 | 6728698 | 856 19511 | 3 | 10 819.93/820.26 c 713s | 25 | 11548493 | 6747098 | 856 19554 | 3 | 10 821.93/822.27 c 715s | 25 | 11580008 | 6765498 | 856 19598 | 3 | 10 823.93/824.27 c 717s | 25 | 11611171 | 6784198 | 856 19642 | 3 | 10 825.94/826.27 c 719s | 25 | 11642713 | 6802798 | 856 19686 | 3 | 10 827.94/828.28 c 721s | 25 | 11674058 | 6821298 | 856 19729 | 3 | 10 829.93/830.29 c 723s | 25 | 11705311 | 6839698 | 856 19773 | 3 | 10 831.93/832.29 c 725s | 25 | 11736793 | 6858398 | 856 19818 | 3 | 10 834.03/834.30 c 727s | 25 | 11768706 | 6877598 | 856 19863 | 3 | 10 836.03/836.31 c 729s | 25 | 11801413 | 6896498 | 856 19908 | 3 | 10 838.04/838.31 c 731s | 25 | 11833880 | 6915398 | 856 19953 | 3 | 10 840.03/840.32 c 733s | 25 | 11865312 | 6933998 | 856 19998 | 3 | 10 842.02/842.32 c 735s | 25 | 11896168 | 6952498 | 856 20042 | 3 | 10 844.02/844.33 c 737s | 25 | 11927439 | 6971398 | 856 20087 | 3 | 10 846.02/846.33 c 739s | 25 | 11959248 | 6990498 | 856 20133 | 3 | 10 848.02/848.33 c 741s | 25 | 11990930 | 7009498 | 856 20178 | 3 | 10 850.03/850.34 c 743s | 25 | 12022331 | 7028598 | 856 20224 | 3 | 10 852.01/852.35 c 745s | 25 | 12053768 | 7047798 | 856 20271 | 3 | 10 854.01/854.36 c 747s | 25 | 12085030 | 7067098 | 856 20318 | 3 | 10 856.01/856.36 c 749s | 25 | 12116037 | 7086698 | 856 20365 | 3 | 10 858.01/858.37 c 751s | 25 | 12146611 | 7105398 | 856 20410 | 3 | 10 860.03/860.37 c 753s | 25 | 12176018 | 7122398 | 856 20449 | 3 | 10 862.02/862.38 c 755s | 25 | 12205285 | 7139498 | 856 20489 | 3 | 10 864.02/864.39 c 757s | 25 | 12235473 | 7157098 | 856 20530 | 3 | 10 866.01/866.39 c 759s | 25 | 12266057 | 7174898 | 856 20571 | 3 | 10 868.11/868.41 c 761s | 25 | 12297837 | 7193198 | 856 20614 | 3 | 10 870.11/870.42 c 763s | 25 | 12330003 | 7211798 | 856 20657 | 3 | 10 872.12/872.42 c 765s | 25 | 12359041 | 7228898 | 856 20697 | 3 | 10 874.11/874.42 c 767s | 25 | 12390592 | 7246698 | 856 20739 | 3 | 10 876.11/876.43 c 769s | 25 | 12420329 | 7264198 | 856 20779 | 3 | 10 878.11/878.44 c 771s | 25 | 12450745 | 7281998 | 856 20820 | 3 | 10 880.11/880.45 c 773s | 25 | 12482836 | 7300598 | 856 20864 | 3 | 10 882.10/882.45 c 775s | 25 | 12512856 | 7318098 | 856 20905 | 3 | 10 884.12/884.46 c 777s | 25 | 12544860 | 7336198 | 856 20947 | 3 | 10 886.11/886.47 c 779s | 25 | 12575853 | 7354298 | 856 20990 | 3 | 10 888.10/888.48 c 781s | 25 | 12606324 | 7371998 | 856 21031 | 3 | 10 890.10/890.48 c 783s | 25 | 12638078 | 7390498 | 856 21074 | 3 | 10 892.10/892.49 c 785s | 25 | 12667417 | 7407798 | 856 21114 | 3 | 10 894.11/894.49 c 787s | 25 | 12697815 | 7425398 | 856 21156 | 3 | 10 896.11/896.50 c 789s | 25 | 12726818 | 7442698 | 856 21196 | 3 | 10 898.20/898.50 c 791s | 25 | 12758215 | 7460898 | 856 21239 | 3 | 10 900.20/900.50 c 793s | 25 | 12788945 | 7479198 | 856 21282 | 3 | 10 902.20/902.50 c 795s | 25 | 12820620 | 7497798 | 856 21325 | 3 | 10 904.20/904.50 c 797s | 25 | 12851303 | 7516098 | 856 21368 | 3 | 10 906.20/906.51 c 799s | 25 | 12881136 | 7533498 | 856 21409 | 3 | 10 908.19/908.51 c 801s | 25 | 12911078 | 7550998 | 856 21450 | 3 | 10 910.19/910.52 c 803s | 25 | 12943033 | 7569698 | 856 21494 | 3 | 10 912.20/912.52 c 805s | 25 | 12973492 | 7587698 | 856 21536 | 3 | 10 913.30/913.60 c 806s | 26 | 12990682 | 7597752 | 856 21560 | 3 | 10 915.30/915.60 c 808s | 26 | 13020316 | 7615452 | 856 21601 | 3 | 10 917.30/917.61 c 810s | 26 | 13051068 | 7633552 | 856 21642 | 3 | 10 919.30/919.61 c 812s | 26 | 13084451 | 7652852 | 856 21688 | 3 | 10 921.29/921.61 c 814s | 26 | 13115563 | 7671052 | 856 21730 | 3 | 10 923.29/923.62 c 816s | 26 | 13148446 | 7689852 | 856 21773 | 3 | 10 925.29/925.62 c 818s | 26 | 13182792 | 7709452 | 856 21820 | 3 | 10 927.29/927.62 c 820s | 26 | 13212536 | 7727152 | 856 21860 | 3 | 10 929.29/929.62 c 822s | 26 | 13243183 | 7745052 | 856 21902 | 3 | 10 931.28/931.63 c 824s | 26 | 13276749 | 7764252 | 856 21947 | 3 | 10 933.29/933.64 c 826s | 26 | 13307507 | 7782452 | 856 21989 | 3 | 10 935.29/935.65 c 828s | 26 | 13340194 | 7801352 | 856 22033 | 3 | 10 937.29/937.65 c 830s | 26 | 13375254 | 7821452 | 856 22080 | 3 | 10 939.29/939.66 c 832s | 26 | 13406265 | 7839652 | 856 22122 | 3 | 10 941.29/941.66 c 834s | 26 | 13439275 | 7858552 | 856 22166 | 3 | 10 943.28/943.67 c 836s | 26 | 13473048 | 7877952 | 856 22212 | 3 | 10 945.28/945.67 c 838s | 26 | 13503644 | 7895952 | 856 22254 | 3 | 10 947.28/947.67 c 840s | 26 | 13536468 | 7914952 | 856 22298 | 3 | 10 949.28/949.68 c 843s | 26 | 13567679 | 7933252 | 856 22341 | 3 | 10 951.29/951.68 c 845s | 26 | 13599024 | 7951452 | 856 22383 | 3 | 10 953.28/953.69 c 847s | 26 | 13631751 | 7970752 | 856 22429 | 3 | 10 955.28/955.70 c 849s | 26 | 13662526 | 7988952 | 856 22471 | 3 | 10 957.37/957.70 c 851s | 26 | 13695488 | 8008052 | 856 22516 | 3 | 10 959.38/959.70 c 853s | 26 | 13726622 | 8026052 | 856 22558 | 3 | 10 961.38/961.71 c 855s | 26 | 13758103 | 8044152 | 856 22600 | 3 | 10 963.38/963.71 c 857s | 26 | 13789314 | 8062552 | 856 22644 | 3 | 10 965.38/965.72 c 859s | 26 | 13821253 | 8081352 | 856 22688 | 3 | 10 967.38/967.73 c 861s | 26 | 13853876 | 8100852 | 856 22734 | 3 | 10 969.38/969.74 c 863s | 26 | 13885299 | 8119352 | 856 22777 | 3 | 10 971.38/971.74 c 865s | 26 | 13918109 | 8139152 | 856 22824 | 3 | 10 973.37/973.75 c 867s | 26 | 13949241 | 8157452 | 856 22866 | 3 | 10 975.38/975.76 c 869s | 26 | 13982519 | 8176952 | 856 22913 | 3 | 10 977.37/977.76 c 871s | 26 | 14013510 | 8195352 | 856 22956 | 3 | 10 979.38/979.77 c 873s | 26 | 14044539 | 8214452 | 856 23001 | 3 | 10 981.38/981.78 c 875s | 26 | 14076499 | 8233152 | 856 23045 | 3 | 10 983.37/983.79 c 877s | 26 | 14108286 | 8252252 | 856 23090 | 3 | 10 985.38/985.79 c 879s | 26 | 14138395 | 8270552 | 856 23133 | 3 | 10 987.37/987.79 c 881s | 26 | 14168539 | 8288852 | 856 23176 | 3 | 10 989.47/989.80 c 883s | 26 | 14200384 | 8307852 | 856 23221 | 3 | 10 991.47/991.80 c 885s | 26 | 14231079 | 8326352 | 856 23265 | 3 | 10 993.47/993.80 c 887s | 26 | 14262940 | 8345052 | 856 23309 | 3 | 10 995.48/995.81 c 889s | 26 | 14295692 | 8364152 | 856 23355 | 3 | 10 997.48/997.81 c 891s | 26 | 14326887 | 8382752 | 856 23398 | 3 | 10 999.47/999.82 c 893s | 26 | 14358497 | 8401752 | 856 23444 | 3 | 10 1001.47/1001.82 c 895s | 26 | 14390821 | 8421252 | 856 23490 | 3 | 10 1003.47/1003.83 c 897s | 26 | 14424469 | 8440852 | 856 23537 | 3 | 10 1005.47/1005.84 c 899s | 26 | 14456753 | 8460252 | 856 23583 | 3 | 10 1007.47/1007.84 c 901s | 26 | 14489637 | 8479752 | 856 23629 | 3 | 10 1009.48/1009.84 c 903s | 26 | 14521901 | 8499152 | 856 23675 | 3 | 10 1011.47/1011.85 c 905s | 26 | 14555872 | 8519052 | 856 23723 | 3 | 10 1013.47/1013.85 c 907s | 26 | 14589502 | 8538952 | 856 23771 | 3 | 10 1015.47/1015.86 c 909s | 26 | 14622795 | 8558852 | 856 23818 | 3 | 10 1017.47/1017.86 c 911s | 26 | 14656102 | 8578852 | 856 23866 | 3 | 10 1019.47/1019.87 c 913s | 26 | 14689668 | 8599152 | 856 23915 | 3 | 10 1021.47/1021.87 c 915s | 26 | 14723192 | 8619452 | 856 23964 | 3 | 10 1023.47/1023.88 c 917s | 26 | 14756700 | 8639652 | 856 24013 | 3 | 10 1025.47/1025.89 c 919s | 26 | 14790727 | 8660352 | 856 24063 | 3 | 10 1027.47/1027.89 c 921s | 26 | 14825342 | 8681552 | 856 24114 | 3 | 10 1029.57/1029.90 c 923s | 26 | 14858511 | 8702052 | 856 24164 | 3 | 10 1031.47/1031.90 c 925s | 26 | 14888270 | 8719552 | 856 24204 | 3 | 10 1033.57/1033.90 c 927s | 26 | 14920118 | 8737952 | 856 24247 | 3 | 10 1035.56/1035.91 c 929s | 26 | 14953186 | 8756952 | 856 24291 | 3 | 10 1037.56/1037.92 c 931s | 26 | 14982704 | 8774152 | 856 24331 | 3 | 10 1039.56/1039.93 c 933s | 26 | 15013575 | 8792152 | 856 24372 | 3 | 10 1041.57/1041.94 c 935s | 26 | 15047117 | 8811252 | 856 24418 | 3 | 10 1043.57/1043.95 c 937s | 26 | 15075451 | 8828052 | 856 24456 | 3 | 10 1045.57/1045.95 c 939s | 26 | 15104535 | 8845252 | 856 24496 | 3 | 10 1047.57/1047.96 c 941s | 26 | 15136055 | 8863652 | 856 24539 | 3 | 10 1049.56/1049.96 c 943s | 26 | 15165950 | 8881052 | 856 24579 | 3 | 10 1051.56/1051.96 c 945s | 26 | 15196671 | 8898752 | 856 24620 | 3 | 10 1053.57/1053.97 c 947s | 26 | 15229562 | 8917752 | 856 24665 | 3 | 10 1055.56/1055.97 c 949s | 26 | 15260531 | 8935952 | 856 24707 | 3 | 10 1057.56/1057.97 c 951s | 26 | 15292973 | 8954752 | 856 24751 | 3 | 10 1059.56/1059.98 c 953s | 26 | 15325914 | 8974052 | 856 24796 | 3 | 10 1061.56/1061.98 c 955s | 26 | 15355859 | 8991552 | 856 24837 | 3 | 10 1063.57/1063.98 c 957s | 26 | 15386184 | 9009352 | 856 24879 | 3 | 10 1065.57/1065.99 c 959s | 26 | 15416400 | 9027152 | 856 24920 | 3 | 10 1067.67/1068.00 c 961s | 26 | 15448456 | 9045652 | 856 24963 | 3 | 10 1069.66/1070.01 c 963s | 26 | 15480895 | 9065052 | 856 25009 | 3 | 10 1071.66/1072.02 c 965s | 26 | 15513304 | 9083652 | 856 25052 | 3 | 10 1073.66/1074.03 c 967s | 26 | 15547420 | 9103052 | 856 25098 | 3 | 10 1075.66/1076.03 c 969s | 26 | 15578157 | 9120952 | 856 25139 | 3 | 10 1077.67/1078.04 c 971s | 26 | 15609512 | 9139152 | 856 25182 | 3 | 10 1079.66/1080.04 c 973s | 26 | 15640601 | 9157252 | 856 25224 | 3 | 10 1081.66/1082.04 c 975s | 26 | 15673794 | 9176752 | 856 25270 | 3 | 10 1083.66/1084.05 c 977s | 26 | 15705525 | 9195252 | 856 25313 | 3 | 10 1085.66/1086.05 c 979s | 26 | 15738416 | 9214452 | 856 25358 | 3 | 10 1087.66/1088.05 c 981s | 26 | 15768948 | 9232652 | 856 25401 | 3 | 10 1089.65/1090.06 c 983s | 26 | 15802066 | 9251952 | 856 25446 | 3 | 10 1091.66/1092.06 c 985s | 26 | 15835470 | 9271352 | 856 25492 | 3 | 10 1093.66/1094.06 c 987s | 26 | 15867482 | 9290452 | 856 25537 | 3 | 10 1095.66/1096.07 c 989s | 26 | 15898944 | 9309352 | 856 25582 | 3 | 10 1097.66/1098.08 c 991s | 26 | 15931484 | 9328452 | 856 25626 | 3 | 10 1099.66/1100.09 c 993s | 26 | 15963842 | 9347752 | 856 25672 | 3 | 10 1101.65/1102.09 c 995s | 26 | 15996975 | 9367152 | 856 25718 | 3 | 10 1103.66/1104.10 c 997s | 26 | 16027911 | 9385552 | 856 25761 | 3 | 10 1105.76/1106.10 c 999s | 26 | 16060449 | 9404752 | 856 25806 | 3 | 10 1107.76/1108.10 c 1001s | 26 | 16092559 | 9424052 | 856 25852 | 3 | 10 1109.76/1110.10 c 1003s | 26 | 16125188 | 9443352 | 856 25898 | 3 | 10 1111.76/1112.11 c 1005s | 26 | 16158170 | 9462752 | 856 25944 | 3 | 10 1113.75/1114.11 c 1007s | 26 | 16190940 | 9482052 | 856 25990 | 3 | 10 1115.75/1116.12 c 1009s | 26 | 16223502 | 9501552 | 856 26036 | 3 | 10 1117.75/1118.12 c 1011s | 26 | 16257041 | 9521252 | 856 26083 | 3 | 10 1119.75/1120.13 c 1013s | 26 | 16290641 | 9541252 | 856 26130 | 3 | 10 1121.76/1122.13 c 1015s | 26 | 16323673 | 9561152 | 856 26178 | 3 | 10 1123.75/1124.14 c 1017s | 26 | 16356207 | 9580852 | 856 26225 | 3 | 10 1125.75/1126.14 c 1019s | 26 | 16389499 | 9600752 | 856 26273 | 3 | 10 1127.75/1128.15 c 1021s | 26 | 16421728 | 9620652 | 856 26320 | 3 | 10 1129.75/1130.15 c 1023s | 26 | 16455488 | 9641052 | 856 26369 | 3 | 10 1131.76/1132.16 c 1025s | 26 | 16488543 | 9661352 | 856 26418 | 3 | 10 1133.76/1134.17 c 1027s | 26 | 16521630 | 9681752 | 856 26468 | 3 | 10 1135.75/1136.18 c 1029s | 26 | 16555180 | 9702652 | 856 26519 | 3 | 10 1137.75/1138.19 c 1031s | 26 | 16585604 | 9720852 | 856 26561 | 3 | 10 1139.75/1140.19 c 1033s | 26 | 16616300 | 9738452 | 856 26601 | 3 | 10 1141.85/1142.20 c 1035s | 26 | 16648744 | 9756852 | 856 26644 | 3 | 10 1143.85/1144.20 c 1037s | 26 | 16678874 | 9774452 | 856 26685 | 3 | 10 1145.86/1146.21 c 1039s | 26 | 16710113 | 9792452 | 856 26726 | 3 | 10 1147.85/1148.21 c 1041s | 26 | 16742733 | 9811152 | 856 26770 | 3 | 10 1149.85/1150.22 c 1043s | 26 | 16772175 | 9828452 | 856 26810 | 3 | 10 1151.85/1152.22 c 1045s | 26 | 16803104 | 9846452 | 856 26851 | 3 | 10 1153.84/1154.23 c 1047s | 26 | 16836288 | 9865552 | 856 26896 | 3 | 10 1155.85/1156.24 c 1049s | 26 | 16867103 | 9883752 | 856 26938 | 3 | 10 1157.84/1158.25 c 1051s | 26 | 16899705 | 9902852 | 856 26983 | 3 | 10 1159.84/1160.26 c 1053s | 26 | 16932781 | 9922052 | 856 27028 | 3 | 10 1161.85/1162.27 c 1055s | 26 | 16964685 | 9940552 | 856 27070 | 3 | 10 1163.85/1164.28 c 1057s | 26 | 16998240 | 9960152 | 856 27117 | 3 | 10 1165.85/1166.29 c 1059s | 26 | 17029348 | 9978152 | 856 27158 | 3 | 10 1167.86/1168.30 c 1061s | 26 | 17062927 | 9997352 | 856 27203 | 3 | 10 1169.95/1170.31 c 1063s | 26 | 17093435 | 10015152 | 856 27245 | 3 | 10 1171.95/1172.32 c 1065s | 26 | 17125178 | 10033552 | 856 27288 | 3 | 10 1173.95/1174.32 c 1067s | 26 | 17156983 | 10051852 | 856 27330 | 3 | 10 1175.94/1176.33 c 1069s | 26 | 17188875 | 10070352 | 856 27374 | 3 | 10 1177.94/1178.34 c 1071s | 26 | 17221929 | 10089552 | 856 27419 | 3 | 10 1179.95/1180.34 c 1073s | 26 | 17254383 | 10108352 | 856 27463 | 3 | 10 1181.95/1182.35 c 1075s | 26 | 17286464 | 10127252 | 856 27507 | 3 | 10 1183.94/1184.35 c 1077s | 26 | 17320308 | 10146352 | 856 27552 | 3 | 10 1185.94/1186.35 c 1079s | 26 | 17351983 | 10164852 | 856 27595 | 3 | 10 1187.94/1188.36 c 1081s | 26 | 17384142 | 10183852 | 856 27640 | 3 | 10 1189.95/1190.36 c 1083s | 26 | 17414742 | 10202052 | 856 27682 | 3 | 10 1191.94/1192.37 c 1085s | 26 | 17446473 | 10220652 | 856 27726 | 3 | 10 1193.94/1194.37 c 1087s | 26 | 17478197 | 10239352 | 856 27770 | 3 | 10 1195.94/1196.37 c 1089s | 26 | 17510769 | 10258252 | 942 27814 | 3 | 10 1197.94/1198.37 c 1091s | 26 | 17543169 | 10277252 | 942 27854 | 3 | 10 1199.94/1200.39 c 1093s | 26 | 17573784 | 10294952 | 942 27892 | 3 | 10 1201.95/1202.39 c 1095s | 26 | 17604608 | 10313252 | 942 27930 | 3 | 10 1204.05/1204.40 c 1097s | 26 | 17637447 | 10332552 | 942 27972 | 3 | 10 1206.04/1206.40 c 1099s | 26 | 17669464 | 10351652 | 942 28013 | 3 | 10 1208.04/1208.40 c 1101s | 26 | 17701217 | 10370452 | 942 28053 | 3 | 10 1210.04/1210.40 c 1103s | 26 | 17733695 | 10389452 | 942 28094 | 3 | 10 1212.04/1212.41 c 1105s | 26 | 17765865 | 10408652 | 942 28135 | 3 | 10 1214.04/1214.41 c 1107s | 26 | 17799031 | 10428052 | 942 28177 | 3 | 10 1216.04/1216.41 c 1109s | 26 | 17830687 | 10447052 | 942 28217 | 3 | 10 1218.03/1218.42 c 1111s | 26 | 17862584 | 10466152 | 942 28259 | 3 | 10 1220.04/1220.43 c 1113s | 26 | 17895093 | 10485652 | 942 28300 | 3 | 10 1222.04/1222.44 c 1115s | 26 | 17927577 | 10505452 | 942 28343 | 3 | 10 1224.05/1224.44 c 1117s | 26 | 17960082 | 10524952 | 942 28385 | 3 | 10 1226.04/1226.45 c 1119s | 26 | 17991217 | 10543952 | 942 28426 | 3 | 10 1228.04/1228.46 c 1121s | 26 | 18022720 | 10563152 | 942 28468 | 3 | 10 1230.04/1230.46 c 1123s | 26 | 18054654 | 10582652 | 942 28510 | 3 | 10 1232.04/1232.46 c 1125s | 26 | 18086736 | 10602052 | 942 28553 | 3 | 10 1234.04/1234.47 c 1127s | 26 | 18117993 | 10621452 | 942 28595 | 3 | 10 1236.04/1236.47 c 1129s | 26 | 18148728 | 10639552 | 942 28633 | 3 | 10 1238.04/1238.47 c 1131s | 26 | 18178543 | 10656952 | 942 28669 | 3 | 10 1240.03/1240.48 c 1133s | 26 | 18211357 | 10675952 | 942 28710 | 3 | 10 1242.03/1242.50 c 1135s | 26 | 18240779 | 10693052 | 942 28746 | 3 | 10 1244.14/1244.50 c 1137s | 26 | 18272148 | 10710952 | 942 28783 | 3 | 10 1246.14/1246.51 c 1139s | 26 | 18305183 | 10730152 | 942 28824 | 3 | 10 1248.15/1248.51 c 1141s | 26 | 18335145 | 10747752 | 942 28861 | 3 | 10 1250.13/1250.52 c 1143s | 26 | 18367687 | 10766452 | 942 28901 | 3 | 10 1252.13/1252.52 c 1145s | 26 | 18398812 | 10784752 | 942 28939 | 3 | 10 1254.14/1254.53 c 1147s | 26 | 18427290 | 10801952 | 942 28975 | 3 | 10 1256.13/1256.53 c 1149s | 26 | 18456396 | 10819052 | 942 29012 | 3 | 10 1258.14/1258.54 c 1151s | 26 | 18487158 | 10836852 | 942 29049 | 3 | 10 1260.14/1260.55 c 1153s | 26 | 18520031 | 10855552 | 942 29088 | 3 | 10 1262.13/1262.55 c 1155s | 26 | 18552830 | 10874452 | 942 29128 | 3 | 10 1264.14/1264.56 c 1157s | 26 | 18582930 | 10892052 | 942 29165 | 3 | 10 1266.13/1266.56 c 1159s | 26 | 18614046 | 10910352 | 942 29204 | 3 | 10 1268.13/1268.56 c 1161s | 26 | 18645606 | 10928452 | 942 29242 | 3 | 10 1270.13/1270.56 c 1163s | 26 | 18679133 | 10947952 | 942 29284 | 3 | 10 1272.13/1272.57 c 1165s | 26 | 18710028 | 10965752 | 942 29321 | 3 | 10 1274.13/1274.58 c 1167s | 26 | 18739937 | 10983552 | 942 29359 | 3 | 10 1276.13/1276.58 c 1169s | 26 | 18771011 | 11001552 | 942 29397 | 3 | 10 1278.13/1278.59 c 1171s | 26 | 18803660 | 11020352 | 942 29437 | 3 | 10 1280.14/1280.59 c 1173s | 26 | 18835146 | 11038852 | 942 29476 | 3 | 10 1282.13/1282.60 c 1175s | 26 | 18868803 | 11058352 | 942 29518 | 3 | 10 1284.23/1284.60 c 1177s | 26 | 18901532 | 11077352 | 942 29558 | 3 | 10 1286.23/1286.61 c 1179s | 26 | 18932963 | 11095852 | 942 29597 | 3 | 10 1288.23/1288.61 c 1181s | 26 | 18964486 | 11114352 | 942 29637 | 3 | 10 1290.23/1290.61 c 1183s | 26 | 18996071 | 11132852 | 942 29676 | 3 | 10 1292.23/1292.62 c 1185s | 26 | 19029067 | 11152152 | 942 29718 | 3 | 10 1294.22/1294.62 c 1187s | 26 | 19062799 | 11171352 | 942 29759 | 3 | 10 1296.22/1296.63 c 1189s | 26 | 19095136 | 11190152 | 942 29799 | 3 | 10 1298.22/1298.64 c 1191s | 26 | 19127460 | 11209152 | 942 29839 | 3 | 10 1300.22/1300.64 c 1193s | 26 | 19159889 | 11228152 | 942 29880 | 3 | 10 1302.22/1302.65 c 1195s | 26 | 19192201 | 11247152 | 942 29921 | 3 | 10 1304.23/1304.65 c 1197s | 26 | 19224723 | 11266552 | 942 29962 | 3 | 10 1306.22/1306.65 c 1199s | 26 | 19256755 | 11285652 | 942 30003 | 3 | 10 1308.22/1308.66 c 1201s | 26 | 19288742 | 11304652 | 942 30044 | 3 | 10 1310.23/1310.67 c 1203s | 26 | 19321848 | 11324352 | 942 30086 | 3 | 10 1312.23/1312.68 c 1206s | 26 | 19354135 | 11343352 | 942 30127 | 3 | 10 1314.23/1314.68 c 1208s | 26 | 19386515 | 11362352 | 942 30168 | 3 | 10 1316.22/1316.68 c 1210s | 26 | 19419149 | 11381752 | 942 30210 | 3 | 10 1317.82/1318.22 c 1211s | 27 | 19444545 | 11396733 | 942 30242 | 3 | 10 1319.83/1320.23 c 1213s | 27 | 19477112 | 11415633 | 942 30282 | 3 | 10 1321.83/1322.24 c 1215s | 27 | 19507303 | 11433333 | 942 30320 | 3 | 10 1323.82/1324.25 c 1217s | 27 | 19539964 | 11452133 | 942 30359 | 3 | 10 1325.82/1326.26 c 1219s | 27 | 19571403 | 11470333 | 942 30398 | 3 | 10 1327.82/1328.26 c 1221s | 27 | 19602519 | 11488233 | 942 30435 | 3 | 10 1329.83/1330.26 c 1223s | 27 | 19636394 | 11507433 | 942 30476 | 3 | 10 1331.83/1332.27 c 1225s | 27 | 19665647 | 11524633 | 942 30512 | 3 | 10 1333.82/1334.28 c 1227s | 27 | 19697093 | 11542733 | 942 30550 | 3 | 10 1335.82/1336.28 c 1229s | 27 | 19728342 | 11560833 | 942 30589 | 3 | 10 1337.82/1338.29 c 1231s | 27 | 19759586 | 11579033 | 942 30627 | 3 | 10 1339.82/1340.29 c 1233s | 27 | 19792313 | 11597833 | 942 30667 | 3 | 10 1341.92/1342.31 c 1235s | 27 | 19822366 | 11615333 | 942 30704 | 3 | 10 1343.93/1344.31 c 1237s | 27 | 19853938 | 11633233 | 942 30742 | 3 | 10 1345.92/1346.32 c 1239s | 27 | 19883164 | 11650733 | 942 30779 | 3 | 10 1347.92/1348.32 c 1241s | 27 | 19914533 | 11669333 | 942 30818 | 3 | 10 1349.92/1350.33 c 1243s | 27 | 19945687 | 11687633 | 942 30857 | 3 | 10 1351.92/1352.34 c 1245s | 27 | 19976860 | 11706033 | 942 30896 | 3 | 10 1353.91/1354.34 c 1247s | 27 | 20008306 | 11724933 | 942 30936 | 3 | 10 1355.92/1356.34 c 1249s | 27 | 20038222 | 11742633 | 942 30974 | 3 | 10 1357.92/1358.34 c 1251s | 27 | 20069413 | 11760633 | 942 31012 | 3 | 10 1359.92/1360.35 c 1253s | 27 | 20100120 | 11778833 | 942 31051 | 3 | 10 1361.91/1362.36 c 1255s | 27 | 20130958 | 11797133 | 942 31090 | 3 | 10 1363.92/1364.37 c 1257s | 27 | 20162306 | 11815333 | 942 31128 | 3 | 10 1365.93/1366.38 c 1259s | 27 | 20193507 | 11833433 | 942 31167 | 3 | 10 1367.92/1368.38 c 1261s | 27 | 20226466 | 11852633 | 942 31208 | 3 | 10 1369.92/1370.38 c 1263s | 27 | 20257421 | 11870533 | 942 31246 | 3 | 10 1371.92/1372.39 c 1265s | 27 | 20288942 | 11889133 | 942 31286 | 3 | 10 1373.92/1374.39 c 1267s | 27 | 20322413 | 11908533 | 942 31327 | 3 | 10 1376.02/1376.40 c 1269s | 27 | 20352227 | 11926333 | 942 31365 | 3 | 10 1378.02/1378.41 c 1271s | 27 | 20382896 | 11944433 | 942 31404 | 3 | 10 1380.02/1380.41 c 1273s | 27 | 20413941 | 11963233 | 942 31444 | 3 | 10 1382.01/1382.42 c 1275s | 27 | 20445835 | 11982233 | 942 31485 | 3 | 10 1384.01/1384.42 c 1277s | 27 | 20476631 | 12000933 | 942 31525 | 3 | 10 1386.01/1386.43 c 1279s | 27 | 20508506 | 12020033 | 942 31566 | 3 | 10 1388.01/1388.43 c 1281s | 27 | 20541620 | 12039433 | 942 31607 | 3 | 10 1390.02/1390.45 c 1283s | 27 | 20573880 | 12058633 | 942 31649 | 3 | 10 1392.01/1392.45 c 1285s | 27 | 20605834 | 12077833 | 942 31690 | 3 | 10 1394.01/1394.45 c 1287s | 27 | 20638286 | 12097233 | 942 31732 | 3 | 10 1396.01/1396.45 c 1289s | 27 | 20671287 | 12116833 | 942 31774 | 3 | 10 1398.01/1398.46 c 1291s | 27 | 20703074 | 12136333 | 942 31816 | 3 | 10 1400.01/1400.47 c 1293s | 27 | 20734529 | 12155433 | 942 31857 | 3 | 10 1402.01/1402.48 c 1295s | 27 | 20767607 | 12174933 | 942 31900 | 3 | 10 1404.01/1404.49 c 1297s | 27 | 20800526 | 12194733 | 942 31942 | 3 | 10 1406.01/1406.49 c 1299s | 27 | 20833058 | 12214333 | 942 31985 | 3 | 10 1408.11/1408.50 c 1301s | 27 | 20865724 | 12234233 | 942 32028 | 3 | 10 1410.11/1410.50 c 1303s | 27 | 20899055 | 12254333 | 942 32072 | 3 | 10 1412.11/1412.51 c 1305s | 27 | 20932534 | 12274733 | 942 32117 | 3 | 10 1414.10/1414.51 c 1307s | 27 | 20965048 | 12295533 | 942 32163 | 3 | 10 1416.11/1416.52 c 1309s | 27 | 20994803 | 12313633 | 942 32201 | 3 | 10 1418.11/1418.52 c 1311s | 27 | 21025200 | 12331233 | 942 32238 | 3 | 10 1420.11/1420.52 c 1313s | 27 | 21056731 | 12349533 | 942 32277 | 3 | 10 1422.11/1422.53 c 1315s | 27 | 21087146 | 12367233 | 942 32314 | 3 | 10 1424.12/1424.53 c 1317s | 27 | 21118510 | 12385433 | 942 32352 | 3 | 10 1426.11/1426.53 c 1319s | 27 | 21150679 | 12404133 | 942 32391 | 3 | 10 1428.11/1428.55 c 1321s | 27 | 21181193 | 12421833 | 942 32429 | 3 | 10 1430.11/1430.56 c 1323s | 27 | 21211699 | 12439433 | 942 32466 | 3 | 10 1432.11/1432.56 c 1325s | 27 | 21243891 | 12458033 | 942 32505 | 3 | 10 1434.11/1434.56 c 1327s | 27 | 21273741 | 12475533 | 942 32542 | 3 | 10 1436.10/1436.56 c 1329s | 27 | 21305702 | 12494233 | 942 32581 | 3 | 10 1438.10/1438.57 c 1331s | 27 | 21337843 | 12512933 | 942 32621 | 3 | 10 1440.11/1440.57 c 1333s | 27 | 21369308 | 12531233 | 942 32660 | 3 | 10 1442.10/1442.58 c 1335s | 27 | 21401673 | 12550333 | 942 32700 | 3 | 10 1444.10/1444.58 c 1337s | 27 | 21433369 | 12568633 | 942 32739 | 3 | 10 1446.11/1446.59 c 1339s | 27 | 21465691 | 12587533 | 942 32779 | 3 | 10 1448.10/1448.59 c 1341s | 27 | 21497285 | 12605933 | 942 32817 | 3 | 10 1450.20/1450.60 c 1343s | 27 | 21530126 | 12625133 | 942 32858 | 3 | 10 1452.20/1452.61 c 1345s | 27 | 21561104 | 12643433 | 942 32897 | 3 | 10 1454.21/1454.62 c 1347s | 27 | 21594016 | 12662433 | 942 32937 | 3 | 10 1456.21/1456.62 c 1349s | 27 | 21625146 | 12680533 | 942 32975 | 3 | 10 1458.21/1458.62 c 1351s | 27 | 21657547 | 12699433 | 942 33016 | 3 | 10 1460.21/1460.63 c 1353s | 27 | 21689242 | 12718133 | 942 33055 | 3 | 10 1462.20/1462.64 c 1355s | 27 | 21720789 | 12736733 | 942 33095 | 3 | 10 1464.20/1464.65 c 1357s | 27 | 21753425 | 12755933 | 942 33136 | 3 | 10 1466.20/1466.66 c 1359s | 27 | 21785304 | 12774633 | 942 33175 | 3 | 10 1468.21/1468.66 c 1361s | 27 | 21817629 | 12793533 | 942 33215 | 3 | 10 1470.20/1470.67 c 1363s | 27 | 21849273 | 12812233 | 942 33255 | 3 | 10 1472.20/1472.67 c 1366s | 27 | 21881206 | 12830733 | 942 33295 | 3 | 10 1474.20/1474.67 c 1368s | 27 | 21913098 | 12849433 | 942 33335 | 3 | 10 1476.20/1476.68 c 1370s | 27 | 21945733 | 12868533 | 942 33375 | 3 | 10 1478.20/1478.68 c 1372s | 27 | 21976171 | 12886533 | 942 33414 | 3 | 10 1480.20/1480.69 c 1374s | 27 | 22007643 | 12905333 | 942 33454 | 3 | 10 1482.20/1482.69 c 1376s | 27 | 22039461 | 12924333 | 942 33494 | 3 | 10 1484.30/1484.70 c 1378s | 27 | 22072537 | 12943733 | 942 33536 | 3 | 10 1486.30/1486.71 c 1380s | 27 | 22105200 | 12963033 | 942 33577 | 3 | 10 1488.30/1488.71 c 1382s | 27 | 22136955 | 12982333 | 942 33619 | 3 | 10 1490.30/1490.72 c 1384s | 27 | 22169914 | 13002033 | 942 33661 | 3 | 10 1492.30/1492.72 c 1386s | 27 | 22202130 | 13021333 | 942 33703 | 3 | 10 1494.30/1494.72 c 1388s | 27 | 22233779 | 13040633 | 942 33745 | 3 | 10 1496.29/1496.72 c 1390s | 27 | 22265847 | 13060033 | 942 33786 | 3 | 10 1498.29/1498.73 c 1392s | 27 | 22298038 | 13079533 | 942 33829 | 3 | 10 1500.30/1500.73 c 1394s | 27 | 22330905 | 13099533 | 942 33872 | 3 | 10 1502.30/1502.74 c 1396s | 27 | 22363286 | 13119733 | 942 33916 | 3 | 10 1504.29/1504.74 c 1398s | 27 | 22396103 | 13140233 | 942 33961 | 3 | 10 1506.30/1506.75 c 1400s | 27 | 22425380 | 13157233 | 942 33997 | 3 | 10 1508.29/1508.75 c 1402s | 27 | 22454634 | 13174233 | 942 34032 | 3 | 10 1510.29/1510.76 c 1404s | 27 | 22484753 | 13191833 | 942 34069 | 3 | 10 1512.29/1512.76 c 1406s | 27 | 22515418 | 13209633 | 942 34107 | 3 | 10 1514.30/1514.77 c 1408s | 27 | 22548409 | 13228633 | 942 34147 | 3 | 10 1516.29/1516.77 c 1410s | 27 | 22579306 | 13246933 | 942 34185 | 3 | 10 1518.29/1518.78 c 1412s | 27 | 22609273 | 13264733 | 942 34223 | 3 | 10 1520.29/1520.79 c 1414s | 27 | 22639171 | 13282133 | 942 34259 | 3 | 10 1522.29/1522.79 c 1416s | 27 | 22668676 | 13299233 | 942 34295 | 3 | 10 1524.40/1524.80 c 1418s | 27 | 22697759 | 13316633 | 942 34332 | 3 | 10 1526.40/1526.80 c 1420s | 27 | 22728242 | 13334433 | 942 34369 | 3 | 10 1528.39/1528.81 c 1422s | 27 | 22759919 | 13352933 | 942 34408 | 3 | 10 1530.39/1530.82 c 1424s | 27 | 22792538 | 13371933 | 942 34448 | 3 | 10 1532.39/1532.82 c 1426s | 27 | 22824852 | 13390633 | 942 34488 | 3 | 10 1534.39/1534.83 c 1428s | 27 | 22856990 | 13409233 | 942 34527 | 3 | 10 1536.40/1536.83 c 1430s | 27 | 22886707 | 13426733 | 942 34564 | 3 | 10 1538.39/1538.83 c 1432s | 27 | 22917277 | 13444633 | 942 34602 | 3 | 10 1540.39/1540.84 c 1434s | 27 | 22949035 | 13463333 | 942 34641 | 3 | 10 1542.39/1542.85 c 1436s | 27 | 22979765 | 13482033 | 942 34681 | 3 | 10 1544.39/1544.85 c 1438s | 27 | 23012196 | 13501133 | 942 34721 | 3 | 10 1546.38/1546.86 c 1440s | 27 | 23043163 | 13519633 | 942 34760 | 3 | 10 1548.40/1548.86 c 1442s | 27 | 23076321 | 13538933 | 942 34801 | 3 | 10 1550.39/1550.87 c 1444s | 27 | 23109139 | 13557733 | 942 34841 | 3 | 10 1552.39/1552.87 c 1446s | 27 | 23139616 | 13575833 | 942 34880 | 3 | 10 1554.39/1554.88 c 1448s | 27 | 23171458 | 13594333 | 942 34919 | 3 | 10 1556.39/1556.88 c 1450s | 27 | 23204063 | 13613633 | 942 34960 | 3 | 10 1558.39/1558.89 c 1452s | 27 | 23236059 | 13632333 | 942 35000 | 3 | 10 1560.39/1560.90 c 1454s | 27 | 23267475 | 13651133 | 942 35040 | 3 | 10 1562.49/1562.90 c 1456s | 27 | 23300303 | 13670533 | 942 35081 | 3 | 10 1564.49/1564.91 c 1458s | 27 | 23333200 | 13689933 | 942 35122 | 3 | 10 1566.49/1566.91 c 1460s | 27 | 23365653 | 13709233 | 942 35164 | 3 | 10 1568.48/1568.92 c 1462s | 27 | 23397504 | 13728033 | 942 35204 | 3 | 10 1570.49/1570.92 c 1464s | 27 | 23431139 | 13747733 | 942 35246 | 3 | 10 1572.48/1572.93 c 1466s | 27 | 23464012 | 13767233 | 942 35288 | 3 | 10 1574.48/1574.93 c 1468s | 27 | 23497524 | 13787033 | 942 35330 | 3 | 10 1576.48/1576.94 c 1470s | 27 | 23529501 | 13806133 | 942 35371 | 3 | 10 1578.48/1578.96 c 1472s | 27 | 23562453 | 13825833 | 942 35414 | 3 | 10 1580.48/1580.96 c 1474s | 27 | 23594858 | 13845333 | 942 35456 | 3 | 10 1582.49/1582.96 c 1476s | 27 | 23627075 | 13865033 | 942 35498 | 3 | 10 1584.48/1584.97 c 1478s | 27 | 23657974 | 13883833 | 942 35539 | 3 | 10 1586.48/1586.98 c 1480s | 27 | 23689130 | 13903233 | 942 35581 | 3 | 10 1588.48/1588.99 c 1482s | 27 | 23720561 | 13923033 | 942 35624 | 3 | 10 1590.48/1590.99 c 1484s | 27 | 23753021 | 13943433 | 942 35668 | 3 | 10 1592.58/1593.00 c 1486s | 27 | 23782512 | 13960533 | 942 35704 | 3 | 10 1594.59/1595.01 c 1488s | 27 | 23814845 | 13979133 | 942 35743 | 3 | 10 1596.58/1597.02 c 1490s | 27 | 23847028 | 13997733 | 942 35782 | 3 | 10 1598.58/1599.02 c 1492s | 27 | 23879866 | 14016333 | 942 35821 | 3 | 10 1600.58/1601.03 c 1494s | 27 | 23911936 | 14034733 | 942 35860 | 3 | 10 1602.58/1603.04 c 1496s | 27 | 23941858 | 14052533 | 942 35897 | 3 | 10 1604.59/1605.04 c 1498s | 27 | 23973863 | 14070833 | 942 35936 | 3 | 10 1606.58/1607.05 c 1500s | 27 | 24005466 | 14089133 | 942 35974 | 3 | 10 1608.58/1609.06 c 1502s | 27 | 24039132 | 14108633 | 942 36016 | 3 | 10 1610.58/1611.07 c 1504s | 27 | 24070697 | 14126833 | 942 36054 | 3 | 10 1612.58/1613.07 c 1506s | 27 | 24103861 | 14145933 | 942 36094 | 3 | 10 1614.58/1615.08 c 1508s | 27 | 24135389 | 14163833 | 942 36132 | 3 | 10 1616.58/1617.08 c 1510s | 27 | 24166725 | 14182033 | 942 36170 | 3 | 10 1618.58/1619.09 c 1512s | 27 | 24198496 | 14200733 | 942 36210 | 3 | 10 1620.58/1621.10 c 1514s | 27 | 24230429 | 14219533 | 942 36249 | 3 | 10 1622.67/1623.10 c 1516s | 27 | 24262201 | 14238033 | 942 36289 | 3 | 10 1624.68/1625.11 c 1518s | 27 | 24292656 | 14255933 | 942 36326 | 3 | 10 1626.68/1627.12 c 1520s | 27 | 24325120 | 14274533 | 942 36366 | 3 | 10 1628.69/1629.12 c 1522s | 27 | 24356111 | 14293033 | 942 36405 | 3 | 10 1630.68/1631.13 c 1524s | 27 | 24386026 | 14310933 | 942 36443 | 3 | 10 1632.68/1633.14 c 1526s | 27 | 24417896 | 14329433 | 942 36482 | 3 | 10 1634.68/1635.14 c 1528s | 27 | 24449565 | 14348133 | 942 36521 | 3 | 10 1636.68/1637.15 c 1530s | 27 | 24481817 | 14366933 | 942 36561 | 3 | 10 1638.68/1639.16 c 1532s | 27 | 24513888 | 14385933 | 942 36602 | 3 | 10 1640.67/1641.16 c 1534s | 27 | 24546005 | 14404933 | 942 36642 | 3 | 10 1642.67/1643.16 c 1536s | 27 | 24576663 | 14423533 | 942 36682 | 3 | 10 1644.67/1645.17 c 1538s | 27 | 24608945 | 14442733 | 942 36723 | 3 | 10 1646.67/1647.17 c 1540s | 27 | 24641427 | 14461933 | 942 36764 | 3 | 10 1648.67/1649.18 c 1542s | 27 | 24674154 | 14481433 | 942 36805 | 3 | 10 1650.68/1651.18 c 1544s | 27 | 24706050 | 14500633 | 942 36846 | 3 | 10 1652.67/1653.19 c 1546s | 27 | 24737828 | 14519733 | 942 36887 | 3 | 10 1654.77/1655.20 c 1548s | 27 | 24770006 | 14539133 | 942 36929 | 3 | 10 1656.77/1657.21 c 1550s | 27 | 24803285 | 14558633 | 942 36971 | 3 | 10 1658.77/1659.21 c 1552s | 27 | 24836232 | 14578433 | 942 37013 | 3 | 10 1660.77/1661.21 c 1554s | 27 | 24869278 | 14598233 | 942 37056 | 3 | 10 1662.77/1663.22 c 1556s | 27 | 24904452 | 14618533 | 942 37100 | 3 | 10 1664.77/1665.22 c 1558s | 27 | 24937383 | 14638733 | 942 37144 | 3 | 10 1666.77/1667.23 c 1560s | 27 | 24969214 | 14658533 | 942 37187 | 3 | 10 1668.77/1669.24 c 1562s | 27 | 24998986 | 14676133 | 942 37223 | 3 | 10 1670.77/1671.24 c 1564s | 27 | 25030328 | 14694833 | 942 37263 | 3 | 10 1672.78/1673.26 c 1566s | 27 | 25060872 | 14712533 | 942 37300 | 3 | 10 1674.77/1675.26 c 1568s | 27 | 25093377 | 14731333 | 942 37339 | 3 | 10 1676.77/1677.27 c 1570s | 27 | 25124331 | 14749633 | 942 37378 | 3 | 10 1678.77/1679.27 c 1572s | 27 | 25156428 | 14768033 | 942 37416 | 3 | 10 1680.77/1681.27 c 1574s | 27 | 25188287 | 14786433 | 942 37455 | 3 | 10 1682.77/1683.27 c 1576s | 27 | 25221312 | 14805233 | 942 37495 | 3 | 10 1684.78/1685.28 c 1578s | 27 | 25252851 | 14823633 | 942 37533 | 3 | 10 1686.77/1687.28 c 1580s | 27 | 25282756 | 14841533 | 942 37571 | 3 | 10 1688.77/1689.29 c 1582s | 27 | 25312668 | 14859233 | 942 37608 | 3 | 10 1690.87/1691.30 c 1584s | 27 | 25346520 | 14878533 | 942 37649 | 3 | 10 1692.86/1693.30 c 1586s | 27 | 25378231 | 14896733 | 942 37687 | 3 | 10 1694.87/1695.31 c 1588s | 27 | 25410030 | 14915533 | 942 37727 | 3 | 10 1696.88/1697.31 c 1590s | 27 | 25441775 | 14933933 | 942 37765 | 3 | 10 1698.86/1699.32 c 1592s | 27 | 25473673 | 14952433 | 942 37804 | 3 | 10 1700.87/1701.33 c 1594s | 27 | 25504797 | 14970933 | 942 37844 | 3 | 10 1702.87/1703.33 c 1596s | 27 | 25535550 | 14989333 | 942 37882 | 3 | 10 1704.86/1705.34 c 1598s | 27 | 25567856 | 15008333 | 942 37923 | 3 | 10 1706.88/1707.35 c 1600s | 27 | 25599929 | 15027633 | 942 37964 | 3 | 10 1708.87/1709.35 c 1602s | 27 | 25630953 | 15046433 | 942 38004 | 3 | 10 1710.87/1711.36 c 1604s | 27 | 25663117 | 15065133 | 942 38043 | 3 | 10 1712.86/1713.37 c 1606s | 27 | 25696108 | 15084633 | 942 38085 | 3 | 10 1714.86/1715.37 c 1608s | 27 | 25728986 | 15103833 | 942 38126 | 3 | 10 1716.86/1717.38 c 1610s | 27 | 25760889 | 15122733 | 942 38166 | 3 | 10 1718.87/1719.39 c 1612s | 27 | 25792137 | 15141933 | 942 38207 | 3 | 10 1720.86/1721.39 c 1614s | 27 | 25824144 | 15160833 | 942 38247 | 3 | 10 1722.97/1723.40 c 1616s | 27 | 25857060 | 15180233 | 942 38288 | 3 | 10 1724.97/1725.41 c 1618s | 27 | 25889746 | 15199633 | 942 38330 | 3 | 10 1726.96/1727.42 c 1620s | 27 | 25921868 | 15219133 | 942 38371 | 3 | 10 1728.96/1729.42 c 1622s | 27 | 25953101 | 15238133 | 942 38412 | 3 | 10 1730.97/1731.43 c 1624s | 27 | 25984861 | 15257433 | 942 38453 | 3 | 10 1732.96/1733.44 c 1626s | 27 | 26017321 | 15277033 | 942 38496 | 3 | 10 1734.96/1735.45 c 1628s | 27 | 26049723 | 15296633 | 942 38538 | 3 | 10 1736.96/1737.45 c 1630s | 27 | 26081198 | 15316133 | 942 38580 | 3 | 10 1738.96/1739.45 c 1632s | 27 | 26113967 | 15335833 | 942 38623 | 3 | 10 1740.96/1741.45 c 1634s | 27 | 26146683 | 15355833 | 942 38666 | 3 | 10 1742.96/1743.46 c 1636s | 27 | 26178149 | 15375233 | 942 38708 | 3 | 10 1744.96/1745.46 c 1638s | 27 | 26207237 | 15392333 | 942 38743 | 3 | 10 1746.96/1747.46 c 1640s | 27 | 26238864 | 15410333 | 942 38782 | 3 | 10 1748.96/1749.47 c 1642s | 27 | 26269077 | 15427833 | 942 38818 | 3 | 10 1750.95/1751.47 c 1644s | 27 | 26301607 | 15446533 | 942 38857 | 3 | 10 1752.97/1753.48 c 1646s | 27 | 26332641 | 15464733 | 942 38895 | 3 | 10 1754.96/1755.48 c 1648s | 27 | 26363811 | 15483033 | 942 38934 | 3 | 10 1756.96/1757.48 c 1650s | 27 | 26394509 | 15501133 | 942 38972 | 3 | 10 1758.96/1759.49 c 1652s | 27 | 26425413 | 15519133 | 942 39010 | 3 | 10 1761.06/1761.50 c 1654s | 27 | 26455894 | 15536733 | 942 39046 | 3 | 10 1763.05/1763.50 c 1656s | 27 | 26486175 | 15554133 | 942 39083 | 3 | 10 1765.06/1765.51 c 1658s | 27 | 26516669 | 15571833 | 942 39120 | 3 | 10 1767.06/1767.52 c 1660s | 27 | 26547741 | 15589733 | 942 39158 | 3 | 10 1769.06/1769.53 c 1662s | 27 | 26578409 | 15607733 | 942 39196 | 3 | 10 1771.05/1771.54 c 1664s | 27 | 26608692 | 15625333 | 942 39232 | 3 | 10 1773.06/1773.54 c 1666s | 27 | 26639512 | 15643033 | 942 39270 | 3 | 10 1775.06/1775.54 c 1668s | 27 | 26670025 | 15660633 | 942 39307 | 3 | 10 1777.05/1777.55 c 1670s | 27 | 26700873 | 15678333 | 942 39344 | 3 | 10 1779.05/1779.55 c 1672s | 27 | 26732417 | 15696633 | 942 39383 | 3 | 10 1781.05/1781.56 c 1674s | 27 | 26762056 | 15713833 | 942 39419 | 3 | 10 1783.05/1783.56 c 1676s | 27 | 26792037 | 15731433 | 942 39456 | 3 | 10 1785.05/1785.56 c 1678s | 27 | 26822709 | 15749333 | 942 39494 | 3 | 10 1787.06/1787.56 c 1680s | 27 | 26854783 | 15767733 | 942 39533 | 3 | 10 1789.05/1789.57 c 1682s | 27 | 26884958 | 15785733 | 942 39571 | 3 | 10 1791.06/1791.58 c 1684s | 27 | 26914751 | 15803733 | 942 39609 | 3 | 10 1793.05/1793.58 c 1686s | 27 | 26945687 | 15821833 | 942 39648 | 3 | 10 1795.05/1795.59 c 1688s | 27 | 26977130 | 15840433 | 942 39687 | 3 | 10 1797.15/1797.60 c 1690s | 27 | 27008210 | 15858933 | 942 39727 | 3 | 10 1799.05/1799.60 c 1692s | 27 | 27038101 | 15877233 | 942 39766 | 3 | 10
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-4079708-1465243753/watcher-4079708-1465243753 -o /tmp/evaluation-result-4079708-1465243753/solver-4079708-1465243753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079708-1465243753.opb pid=11633 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.05 2.05 2.01 3/179 11636 /proc/meminfo: memFree=30570652/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=654780 CPUtime=0 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 2429 0 0 0 0 0 0 0 20 0 4 0 106308725 670494720 3301 33554432000 4194304 16246674 140735905741680 140735905741104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 164463 3309 441 2943 0 161357 0 [pid=11636/tid=11637] ppid=11633 vsize=672188 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 688320512 3369 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=676284 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 692514816 3385 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=680380 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 696709120 3401 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100153 s] /proc/loadavg: 2.05 2.05 2.01 3/179 11636 /proc/meminfo: memFree=30570652/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 28783 0 0 0 5 4 0 0 20 0 4 0 106308725 1247350784 29642 33554432000 4194304 16246674 140735905741680 140735905741104 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 304529 29652 781 2943 0 301423 0 [pid=11636/tid=11637] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 29662 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 29670 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 29675 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20048 s] /proc/loadavg: 2.05 2.05 2.01 3/179 11636 /proc/meminfo: memFree=30570652/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 55649 0 0 0 10 9 0 0 20 0 4 0 106308725 1247350784 56509 33554432000 4194304 16246674 140735905741680 140735905741104 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 304529 56523 781 2943 0 301423 0 [pid=11636/tid=11637] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 56527 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 56532 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 56541 33554432000 4194304 16246674 140735905741680 140004793773232 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.300467 s] /proc/loadavg: 2.05 2.05 2.01 3/179 11636 /proc/meminfo: memFree=30570652/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 82985 0 0 0 17 12 0 0 20 0 4 0 106308725 1247350784 83844 33554432000 4194304 16246674 140735905741680 140735905741104 6010521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 304529 83854 781 2943 0 301423 0 [pid=11636/tid=11637] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 83860 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 83873 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 83882 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700382 s] /proc/loadavg: 2.05 2.05 2.01 3/179 11636 /proc/meminfo: memFree=30570652/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 190168 0 0 0 41 28 0 0 20 0 4 0 106308725 1247350784 191028 33554432000 4194304 16246674 140735905741680 140735905723584 6021055 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 304529 191039 784 2943 0 301423 0 [pid=11636/tid=11637] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 191042 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 191047 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1247350784 191049 33554432000 4194304 16246674 140735905741680 140004793773232 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.04 2.05 2.00 3/183 11640 /proc/meminfo: memFree=29586064/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 245642 0 0 0 113 36 0 0 20 0 4 0 106308725 1248399360 246479 33554432000 4194304 16246674 140735905741680 140735905724680 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 304785 246479 843 2943 0 301679 0 [pid=11636/tid=11637] ppid=11633 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1248399360 246479 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1248399360 246479 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1248399360 246479 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1219140 [startup+3.10037 s] /proc/loadavg: 2.04 2.05 2.00 3/183 11640 /proc/meminfo: memFree=29498892/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1306180 CPUtime=3.08 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 267430 0 0 0 269 39 0 0 20 0 4 0 106308725 1337528320 268267 33554432000 4194304 16246674 140735905741680 140735905724680 6045912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 326545 268267 843 2943 0 323439 0 [pid=11636/tid=11637] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268267 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268267 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268267 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1306180 [startup+6.30039 s] /proc/loadavg: 2.04 2.05 2.00 3/183 11640 /proc/meminfo: memFree=29498032/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 267482 0 0 0 589 40 0 0 20 0 4 0 106308725 1337528320 268319 33554432000 4194304 16246674 140735905741680 140735905724680 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 326545 268319 843 2943 0 323439 0 [pid=11636/tid=11637] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268319 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268319 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268319 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1306180 [startup+12.7004 s] /proc/loadavg: 2.04 2.05 2.00 3/183 11640 /proc/meminfo: memFree=29497924/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 267540 0 0 0 1228 41 0 0 20 0 4 0 106308725 1337528320 268377 33554432000 4194304 16246674 140735905741680 140735905723584 6837016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 326545 268377 843 2943 0 323439 0 [pid=11636/tid=11637] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268377 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268377 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268377 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1306180 [startup+25.5005 s] /proc/loadavg: 2.10 2.06 2.01 3/183 11640 /proc/meminfo: memFree=29498668/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 267545 0 0 0 2505 44 0 0 20 0 4 0 106308725 1337528320 268382 33554432000 4194304 16246674 140735905741680 140735905724680 5996237 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 326545 268382 846 2943 0 323439 0 [pid=11636/tid=11637] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268382 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268382 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268382 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1306180 [startup+51.1005 s] /proc/loadavg: 2.06 2.06 2.01 3/184 11643 /proc/meminfo: memFree=29497232/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 267619 0 0 0 5059 49 0 0 20 0 4 0 106308725 1337528320 268456 33554432000 4194304 16246674 140735905741680 140735905724680 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 326545 268456 847 2943 0 323439 0 [pid=11636/tid=11637] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268456 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268456 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268456 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1306180 [startup+102.3 s] /proc/loadavg: 2.02 2.05 2.00 3/183 11644 /proc/meminfo: memFree=29497888/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1306180 CPUtime=102.28 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 267620 0 0 0 10170 58 0 0 20 0 4 0 106308725 1337528320 268457 33554432000 4194304 16246674 140735905741680 140735905724680 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 326545 268457 847 2943 0 323439 0 [pid=11636/tid=11637] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268457 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268457 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1337528320 268457 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1306180 ################ # More data... # ################ /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1341722624 269498 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1310276 [startup+1362.3 s] /proc/loadavg: 2.03 2.07 2.02 3/183 11773 /proc/meminfo: memFree=29494568/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1310276 CPUtime=1361.91 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 268990 0 0 0 135954 237 0 0 20 0 4 0 106308725 1341722624 269498 33554432000 4194304 16246674 140735905741680 140735905724680 13760224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327569 269498 848 2943 0 324463 0 [pid=11636/tid=11637] ppid=11633 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1341722624 269498 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1341722624 269498 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1341722624 269498 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1310276 [startup+1422.3 s] /proc/loadavg: 2.16 2.10 2.03 3/183 11774 /proc/meminfo: memFree=29493852/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1421.92 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269116 0 0 0 141931 261 0 0 20 0 4 0 106308725 1342771200 269624 33554432000 4194304 16246674 140735905741680 140735905724680 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269624 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269624 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269624 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269624 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1311300 [startup+1482.3 s] /proc/loadavg: 2.06 2.08 2.02 3/183 11775 /proc/meminfo: memFree=29493948/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1481.9 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269116 0 0 0 147921 269 0 0 20 0 4 0 106308725 1342771200 269624 33554432000 4194304 16246674 140735905741680 140735905724680 5667604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269624 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269624 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269624 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269624 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1311300 [startup+1542.31 s] /proc/loadavg: 2.14 2.09 2.03 4/183 11776 /proc/meminfo: memFree=29492488/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1541.9 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269246 0 0 0 153916 274 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140735905724680 5661374 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269754 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1311300 [startup+1602.3 s] /proc/loadavg: 2.18 2.10 2.03 3/183 11777 /proc/meminfo: memFree=29492016/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1601.88 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269246 0 0 0 159906 282 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140735905724680 5722428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269754 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1311300 [startup+1662.3 s] /proc/loadavg: 2.10 2.10 2.03 3/183 11779 /proc/meminfo: memFree=29492100/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1661.87 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269246 0 0 0 165901 286 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140735905724680 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269754 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1311300 [startup+1722.3 s] /proc/loadavg: 2.04 2.08 2.02 3/183 11780 /proc/meminfo: memFree=29492096/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1721.87 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269246 0 0 0 171891 296 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140735905724680 12861132 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269754 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1311300 [startup+1782.3 s] /proc/loadavg: 2.11 2.09 2.03 3/183 11781 /proc/meminfo: memFree=29491972/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1781.85 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269246 0 0 0 177882 303 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140735905724680 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269754 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004793773232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1311300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.09 2.03 3/183 11781 /proc/meminfo: memFree=29491976/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1800.05 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269246 0 0 0 179701 304 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140735905724680 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269754 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1311300 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 11636 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.09 2.03 3/183 11781 /proc/meminfo: memFree=29491976/32872528 swapFree=11196/354588 [pid=11636] ppid=11633 vsize=1311300 CPUtime=1800.05 cores=1,3,5,7 /proc/11636/stat : 11636 (toysat) R 11633 11636 8429 0 -1 4202496 269246 0 0 0 179701 304 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140735905724680 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/11636/statm: 327825 269754 848 2943 0 324719 0 [pid=11636/tid=11637] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11637/stat : 11637 (toysat) S 11633 11636 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004886031600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=11636/tid=11638] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11638/stat : 11638 (toysat) S 11633 11636 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004875541744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=11636/tid=11639] ppid=11633 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/11636/task/11639/stat : 11639 (toysat) S 11633 11636 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106308725 1342771200 269754 33554432000 4194304 16246674 140735905741680 140004793773232 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) 1311300 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1797.02 CPU system time (s): 3.04754 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1311300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.02 system time used= 3.04754 maximum resident set size= 1079016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269246 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= 345 involuntary context switches= 1859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.64329 second user time and 6.89395 second system time The end
Begin job on node126 at 2016-06-06 22:09:13 IDJOB=4079708 IDBENCH=2891 IDSOLVER=2542 FILE ID=node126/4079708-1465243753 RUNJOBID= node126-1465218023-8446 PBS_JOBID= 19843210 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_30_30.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079708-1465243753/watcher-4079708-1465243753 -o /tmp/evaluation-result-4079708-1465243753/solver-4079708-1465243753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079708-1465243753.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 28e00d9d9bb0c4a536b74577b47a7849 RANDOM SEED=749259948 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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 : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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: 30571180 kB Buffers: 44628 kB Cached: 125268 kB SwapCached: 2248 kB Active: 1153256 kB Inactive: 91040 kB Active(anon): 1073892 kB Inactive(anon): 2384 kB Active(file): 79364 kB Inactive(file): 88656 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098544 kB Dirty: 16316 kB Writeback: 0 kB AnonPages: 1542004 kB Mapped: 10640 kB Shmem: 0 kB Slab: 567536 kB SReclaimable: 11768 kB SUnreclaim: 555768 kB KernelStack: 1520 kB PageTables: 7020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1574936 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1087488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node126 at 2016-06-06 22:39:13