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.07 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_15.r.opb |
| MD5SUM | 7e1b8a9f40a52781f7629bf04a2d5793 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 500.006 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 10 |
| 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 | 10 |
| Maximum length of a constraint | 15 |
| 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:02:29+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-4079706-1465243349.opb"] 0.00/0.01 c use --random-gen="2096828241 125918253 2488414484 610973079 2640170791 2695130806 1908841105 1039323195 768431277 1702883997 2689852018 2185672783 613783832 810115318 3492418361 2489189315 1943194067 3906936357 2225430305 683724152 2522565871 1354598248 1563628509 2780767149 128052647 4283880941 518609458 3658739320 4237919929 2678075013 1592988170 2151421053 3906014994 4209240640 1752863882 3883262545 3347360846 3934293698 494594993 774086501 1576281551 3371188639 491426699 825501584 3019398185 873385180 243796494 68049019 2641575550 2994226209 2822795042 1862872577 3425081324 261929373 137793855 2287421188 202906771 3991437112 959390144 821792993 1688342143 4068683224 3399918131 2551209999 3273642058 2079859075 590967878 3723151456 545556780 1764705710 1015783931 2824862677 429889240 492671876 4039447467 1141043846 2200543922 2839003389 2739995036 2590074350 1909065063 133885030 458264857 311853674 2776511189 3677653249 1455871660 2205333498 2674982114 34201691 814880333 501535285 1567608823 524731881 2275350095 788083412 4037187545 3636690108 3957144603 2645973730 3184971883 1648895994 3913584039 2818898105 1021545135 1420206159 868823187 626763260 2759595369 219079008 2361337603 2681911557 2994987249 253513927 1135074804 1105240146 545744213 3169117604 2670481132 3153632385 1101585878 3250002836 513247206 3314373529 166239942 1907691231 1610804244 1879014045 2714773260 775241952 2369642783 3346399188 942129592 3976107287 3414843900 1292144928 1712195045 2307592818 37684326 2980687948 2852095187 3790474351 2362680245 2299295220 4111431716 1986924243 519470236 622211039 1515308025 526375745 3911347686 3760400933 3358564616 2864992094 4285799463 2972829737 3563185266 1606188195 985013761 2337603792 3331543645 2977189286 1196318397 4023061927 3800074925 1490670815 2345193661 103553359 2517053277 1162106516 675253944 72615139 3419078777 3948478874 2314018023 2489069557 3411885014 3631128218 892766834 2079142614 1037391227 1154506239 3920501542 1362175108 3676482485 2664640145 2948555586 1049915123 2761527135 469875295 1066141199 581117549 273693528 2194310967 2777327982 1262001340 2171685927 4035403779 2905268741 240760290 204611497 3950301838 1531286391 2031530790 3438848728 3420573300 1695083195 2012316520 689866759 450904897 2895786328 366437553 1630205355 1145295938 1762023438 553519595 1251751652 3522775560 3478174969 347743370 4161218865 2308846639 2699869304 1579154579 472359152 2284017914 1939594644 1699584722 2883087342 2266956856 1038897130 2912935661 3704484673 1609759900 3464610472 3064036867 1057008499 12923646 663762077 1121781465 292841446 1932820337 3901491525 3124161202 1086898563 387016464 3473674949 1999483534 2371800649 3140767852 850337300 2089227290 3972203317 4216443673 3165335662 891410048 255 362436" option to reproduce the execution 0.00/0.01 c #vars 100 0.00/0.01 c #constraints 100 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.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.02 c 0.0s | 0 | 0 | 0 | 66 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 68 | 0 | 66 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 68 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 1 0.00/0.02 c BCD2: 1 <= obj <= 99 0.00/0.02 c BCD2: #cores=1, #unrelaxed=90, #relaxed=10, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 1 0.00/0.02 c 0.0s | 0 | 78 | 0 | 66 0 | 0 | 1 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 78 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 11: cost of the new core is >=1 0.00/0.02 c lower bound updated to 2 0.00/0.02 c BCD2: 2 <= obj <= 99 0.00/0.02 c BCD2: #cores=2, #unrelaxed=79, #relaxed=21, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 2 0.00/0.02 c 0.0s | 0 | 73 | 0 | 66 0 | 0 | 2 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 73 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 3 0.00/0.02 c BCD2: 3 <= obj <= 99 0.00/0.02 c BCD2: #cores=3, #unrelaxed=69, #relaxed=31, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 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 | 3 0.00/0.02 c 0.0s | 0 | 95 | 0 | 66 0 | 0 | 3 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 95 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 19 0.00/0.02 c BCD2: updating upper bound: 99 -> 18 0.00/0.02 c BCD2: 3 <= obj <= 18 0.00/0.02 c BCD2: #cores=3, #unrelaxed=69, #relaxed=31, #hardened=0 0.00/0.02 c BCD2: #sat=2 #unsat=4 bias=4/6 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 | 4 0.00/0.03 c 0.0s | 0 | 140 | 51 | 66 0 | 0 | 4 0.00/0.03 c #cpu_time = 0.006s 0.00/0.03 c #wall_clock_time = 0.006s 0.00/0.03 c #decision = 140 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 51 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 69 and merging with 3 cores into a new core of size 100: cost of the new core is >=4 0.00/0.03 c lower bound updated to 4 0.00/0.03 c BCD2: 4 <= obj <= 18 0.00/0.03 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.00/0.03 c BCD2: #sat=2 #unsat=5 bias=5/7 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 | 8 | 4 0.00/0.04 c 0.0s | 1 | 223 | 100 | 73 0 | 8 | 17 0.00/0.06 c 0.0s | 2 | 561 | 250 | 81 3 | 8 | 17 0.00/0.09 c 0.1s | 3 | 1180 | 475 | 90 7 | 8 | 17 0.08/0.14 c 0.1s | 4 | 1976 | 813 | 100 13 | 8 | 17 0.18/0.21 c 0.2s | 5 | 3238 | 1320 | 111 21 | 8 | 17 0.18/0.22 c 0.2s | 5 | 3514 | 1403 | 111 22 | 8 | 17 0.18/0.22 c #cpu_time = 0.190s 0.18/0.22 c #wall_clock_time = 0.191s 0.18/0.22 c #decision = 3514 0.18/0.22 c #random_decision = 17 0.18/0.22 c #conflict = 1403 0.18/0.22 c #restart = 5 0.18/0.22 o 14 0.18/0.22 c BCD2: updating upper bound: 18 -> 13 0.18/0.22 c BCD2: 4 <= obj <= 13 0.18/0.22 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.18/0.22 c BCD2: #sat=3 #unsat=5 bias=5/8 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 111 0 | 8 | 19 0.18/0.23 c 0.0s | 1 | 244 | 100 | 111 2 | 8 | 19 0.18/0.25 c 0.0s | 2 | 602 | 250 | 111 4 | 8 | 19 0.18/0.28 c 0.1s | 3 | 1209 | 475 | 111 7 | 8 | 19 0.29/0.32 c 0.1s | 4 | 2096 | 813 | 123 12 | 8 | 19 0.29/0.38 c 0.2s | 5 | 3435 | 1320 | 123 19 | 8 | 19 0.39/0.48 c 0.3s | 6 | 5297 | 2081 | 136 29 | 8 | 19 0.59/0.61 c 0.4s | 7 | 8187 | 3223 | 136 44 | 8 | 19 0.78/0.82 c 0.6s | 8 | 12657 | 4936 | 150 65 | 8 | 19 1.09/1.12 c 0.9s | 9 | 18837 | 7506 | 165 95 | 8 | 19 1.49/1.52 c 1.3s | 10 | 29038 | 11361 | 182 137 | 8 | 19 1.99/2.01 c 1.8s | 11 | 44050 | 17144 | 201 194 | 8 | 19 2.69/2.76 c 2.5s | 12 | 67140 | 25819 | 222 274 | 8 | 19 3.78/3.86 c 3.6s | 13 | 101861 | 38832 | 245 383 | 8 | 19 5.49/5.53 c 5.3s | 14 | 152065 | 58352 | 270 534 | 8 | 19 7.48/7.53 c 7.3s | 14 | 213813 | 82052 | 270 703 | 8 | 19 7.89/7.99 c 7.8s | 15 | 228227 | 87632 | 297 743 | 8 | 19 9.88/10.00 c 9.8s | 15 | 286425 | 111232 | 297 896 | 8 | 19 11.68/11.70 c 11.5s | 16 | 338162 | 131552 | 327 1027 | 8 | 19 13.68/13.71 c 13.5s | 16 | 396600 | 155252 | 327 1168 | 8 | 19 15.68/15.71 c 15.5s | 16 | 454407 | 178752 | 327 1307 | 8 | 19 17.29/17.37 c 17.1s | 17 | 500295 | 197432 | 360 1417 | 8 | 19 19.29/19.37 c 19.2s | 17 | 558304 | 220232 | 360 1540 | 8 | 19 21.29/21.38 c 21.2s | 17 | 618872 | 243032 | 360 1663 | 8 | 19 23.30/23.39 c 23.2s | 17 | 677542 | 266132 | 360 1789 | 8 | 19 25.29/25.39 c 25.2s | 17 | 735761 | 288732 | 360 1911 | 8 | 19 25.99/26.07 c 25.9s | 18 | 754716 | 296252 | 397 1950 | 8 | 19 27.99/28.07 c 27.9s | 18 | 814063 | 318752 | 397 2061 | 8 | 19 29.99/30.08 c 29.9s | 18 | 871525 | 340852 | 397 2169 | 8 | 19 31.99/32.08 c 31.9s | 18 | 926142 | 362652 | 397 2277 | 8 | 19 33.99/34.08 c 33.9s | 18 | 981714 | 384952 | 397 2387 | 8 | 19 35.99/36.09 c 35.9s | 18 | 1039791 | 407452 | 397 2498 | 8 | 19 37.99/38.09 c 37.9s | 18 | 1096078 | 430152 | 397 2611 | 8 | 19 39.28/39.35 c 39.1s | 19 | 1132016 | 444482 | 437 2680 | 8 | 19 41.28/41.36 c 41.1s | 19 | 1190693 | 467182 | 437 2782 | 8 | 19 43.28/43.36 c 43.1s | 19 | 1249445 | 490082 | 437 2885 | 8 | 19 45.29/45.37 c 45.2s | 19 | 1303712 | 512282 | 437 2985 | 8 | 19 47.28/47.37 c 47.2s | 19 | 1359913 | 534682 | 437 3086 | 8 | 19 49.28/49.37 c 49.2s | 19 | 1416008 | 557082 | 437 3187 | 8 | 19 51.28/51.38 c 51.2s | 19 | 1469711 | 579082 | 437 3286 | 8 | 19 53.28/53.38 c 53.2s | 19 | 1524975 | 602282 | 437 3391 | 8 | 19 55.28/55.38 c 55.2s | 19 | 1580608 | 625282 | 437 3496 | 8 | 19 57.28/57.39 c 57.2s | 19 | 1637176 | 647382 | 437 3595 | 8 | 19 59.08/59.13 c 58.9s | 20 | 1686394 | 666827 | 481 3680 | 8 | 19 61.07/61.13 c 60.9s | 20 | 1746295 | 689827 | 481 3774 | 8 | 19 63.07/63.13 c 62.9s | 20 | 1803590 | 712227 | 481 3865 | 8 | 19 65.08/65.14 c 64.9s | 20 | 1860067 | 734527 | 481 3957 | 8 | 19 67.08/67.14 c 66.9s | 20 | 1916435 | 757027 | 481 4049 | 8 | 19 69.08/69.14 c 68.9s | 20 | 1973087 | 779527 | 481 4141 | 8 | 19 71.08/71.14 c 70.9s | 20 | 2031515 | 803027 | 481 4238 | 8 | 19 73.08/73.15 c 72.9s | 20 | 2089472 | 826327 | 481 4334 | 8 | 19 75.08/75.15 c 74.9s | 20 | 2147416 | 849527 | 481 4430 | 8 | 19 77.09/77.16 c 76.9s | 20 | 2203088 | 873027 | 481 4527 | 8 | 19 79.08/79.16 c 78.9s | 20 | 2256903 | 896227 | 481 4624 | 8 | 19 81.08/81.17 c 81.0s | 20 | 2314012 | 919627 | 481 4720 | 8 | 19 83.08/83.17 c 83.0s | 20 | 2370531 | 942627 | 481 4814 | 8 | 19 85.08/85.18 c 85.0s | 20 | 2427801 | 965827 | 481 4909 | 8 | 19 87.08/87.18 c 87.0s | 20 | 2480627 | 988427 | 481 5001 | 8 | 19 88.18/88.22 c 88.0s | 21 | 2509520 | 1000345 | 530 5047 | 8 | 19 90.18/90.23 c 90.0s | 21 | 2566701 | 1023545 | 530 5133 | 8 | 19 92.18/92.23 c 92.0s | 21 | 2624233 | 1046545 | 530 5219 | 8 | 19 94.18/94.23 c 94.0s | 21 | 2682317 | 1069445 | 530 5304 | 8 | 19 96.18/96.24 c 96.0s | 21 | 2739859 | 1092245 | 530 5389 | 8 | 19 98.18/98.25 c 98.0s | 21 | 2798159 | 1115345 | 530 5475 | 8 | 19 100.18/100.25 c 100s | 21 | 2855179 | 1138745 | 530 5563 | 8 | 19 102.17/102.25 c 102s | 21 | 2913419 | 1162245 | 530 5651 | 8 | 19 104.17/104.25 c 104s | 21 | 2967206 | 1185745 | 530 5740 | 8 | 19 106.17/106.25 c 106s | 21 | 3020852 | 1207245 | 530 5820 | 8 | 19 108.17/108.26 c 108s | 21 | 3075237 | 1229045 | 530 5901 | 8 | 19 110.17/110.26 c 110s | 21 | 3129531 | 1251145 | 530 5983 | 8 | 19 112.17/112.26 c 112s | 21 | 3182959 | 1273345 | 530 6066 | 8 | 19 114.17/114.26 c 114s | 21 | 3237018 | 1295545 | 530 6149 | 8 | 19 116.17/116.27 c 116s | 21 | 3292197 | 1318045 | 530 6233 | 8 | 19 118.17/118.27 c 118s | 21 | 3345805 | 1339645 | 530 6314 | 8 | 19 120.17/120.28 c 120s | 21 | 3401349 | 1361545 | 530 6396 | 8 | 19 122.18/122.28 c 122s | 21 | 3455250 | 1383745 | 530 6479 | 8 | 19 124.17/124.28 c 124s | 21 | 3509489 | 1405745 | 530 6561 | 8 | 19 126.17/126.28 c 126s | 21 | 3565230 | 1427445 | 530 6642 | 8 | 19 128.17/128.29 c 128s | 21 | 3622971 | 1450245 | 530 6727 | 8 | 19 130.17/130.29 c 130s | 21 | 3679558 | 1473445 | 530 6814 | 8 | 19 132.27/132.30 c 132s | 21 | 3735791 | 1496645 | 583 6898 | 8 | 19 132.57/132.67 c 132s | 22 | 3745673 | 1500622 | 583 6911 | 8 | 19 134.57/134.67 c 134s | 22 | 3800283 | 1522322 | 583 6984 | 8 | 19 136.58/136.67 c 136s | 22 | 3857574 | 1544622 | 583 7059 | 8 | 19 138.57/138.68 c 138s | 22 | 3914770 | 1567222 | 583 7136 | 8 | 19 140.57/140.68 c 140s | 22 | 3975404 | 1589822 | 583 7213 | 8 | 19 142.57/142.69 c 142s | 22 | 4033036 | 1612822 | 583 7291 | 8 | 19 144.57/144.69 c 144s | 22 | 4089600 | 1635522 | 583 7368 | 8 | 19 146.67/146.70 c 146s | 22 | 4144247 | 1657722 | 583 7443 | 8 | 19 148.67/148.70 c 148s | 22 | 4200239 | 1680622 | 583 7521 | 8 | 19 150.67/150.70 c 150s | 22 | 4255567 | 1703622 | 583 7600 | 8 | 19 152.66/152.71 c 152s | 22 | 4310736 | 1725922 | 583 7676 | 8 | 19 154.66/154.71 c 154s | 22 | 4364665 | 1747322 | 583 7748 | 8 | 19 156.66/156.72 c 156s | 22 | 4423465 | 1770322 | 583 7826 | 8 | 19 158.66/158.72 c 158s | 22 | 4477874 | 1792522 | 583 7901 | 8 | 19 160.67/160.73 c 160s | 22 | 4533216 | 1815222 | 583 7978 | 8 | 19 162.66/162.73 c 162s | 22 | 4589296 | 1838322 | 583 8057 | 8 | 19 164.66/164.74 c 164s | 22 | 4645161 | 1861322 | 583 8136 | 8 | 19 166.66/166.74 c 166s | 22 | 4700568 | 1884022 | 583 8213 | 8 | 19 168.66/168.75 c 168s | 22 | 4754908 | 1906422 | 583 8290 | 8 | 19 170.67/170.75 c 170s | 22 | 4810182 | 1928622 | 583 8365 | 8 | 19 172.66/172.75 c 172s | 22 | 4865345 | 1950622 | 583 8440 | 8 | 19 174.66/174.76 c 174s | 22 | 4921587 | 1973022 | 583 8516 | 8 | 19 176.66/176.77 c 176s | 22 | 4976927 | 1995622 | 583 8593 | 8 | 19 178.66/178.77 c 178s | 22 | 5033284 | 2018322 | 583 8670 | 8 | 19 180.66/180.77 c 180s | 22 | 5090004 | 2041522 | 583 8749 | 8 | 19 182.66/182.78 c 182s | 22 | 5147515 | 2064522 | 583 8828 | 8 | 19 184.66/184.79 c 184s | 22 | 5202541 | 2087322 | 583 8906 | 8 | 19 186.76/186.80 c 186s | 22 | 5259596 | 2110222 | 583 8984 | 8 | 19 188.76/188.80 c 188s | 22 | 5313659 | 2132622 | 583 9061 | 8 | 19 190.76/190.81 c 190s | 22 | 5368845 | 2155222 | 583 9137 | 8 | 19 192.76/192.81 c 192s | 22 | 5423910 | 2177522 | 583 9213 | 8 | 19 194.76/194.81 c 194s | 22 | 5479522 | 2200022 | 583 9290 | 8 | 19 196.76/196.82 c 196s | 22 | 5535573 | 2222922 | 583 9368 | 8 | 19 198.76/198.82 c 198s | 22 | 5590587 | 2245422 | 642 9441 | 8 | 19 199.27/199.34 c 199s | 23 | 5603541 | 2251038 | 642 9459 | 8 | 19 201.26/201.34 c 201s | 23 | 5656937 | 2272138 | 642 9524 | 8 | 19 203.26/203.35 c 203s | 23 | 5710146 | 2294138 | 642 9592 | 8 | 19 205.26/205.35 c 205s | 23 | 5764419 | 2315438 | 642 9658 | 8 | 19 207.26/207.35 c 207s | 23 | 5818820 | 2336638 | 642 9723 | 8 | 19 209.26/209.36 c 209s | 23 | 5872817 | 2358138 | 642 9789 | 8 | 19 211.26/211.36 c 211s | 23 | 5927698 | 2380038 | 642 9857 | 8 | 19 213.25/213.36 c 213s | 23 | 5979652 | 2402038 | 642 9925 | 8 | 19 215.25/215.37 c 215s | 23 | 6032237 | 2424038 | 642 9993 | 8 | 19 217.25/217.38 c 217s | 23 | 6084017 | 2446038 | 642 10062 | 8 | 19 219.25/219.38 c 219s | 23 | 6137382 | 2467638 | 642 10129 | 8 | 19 221.26/221.39 c 221s | 23 | 6188871 | 2489338 | 642 10196 | 8 | 19 223.25/223.39 c 223s | 23 | 6240298 | 2511338 | 642 10265 | 8 | 19 225.36/225.40 c 225s | 23 | 6289520 | 2533038 | 642 10333 | 8 | 19 227.36/227.40 c 227s | 23 | 6343514 | 2554538 | 642 10399 | 8 | 19 229.36/229.40 c 229s | 23 | 6396847 | 2576438 | 642 10466 | 8 | 19 231.35/231.40 c 231s | 23 | 6450760 | 2598338 | 642 10534 | 8 | 19 233.36/233.40 c 233s | 23 | 6506377 | 2620638 | 642 10603 | 8 | 19 235.35/235.40 c 235s | 23 | 6558250 | 2642238 | 642 10670 | 8 | 19 237.35/237.41 c 237s | 23 | 6611497 | 2664238 | 642 10738 | 8 | 19 239.35/239.41 c 239s | 23 | 6663508 | 2685838 | 642 10805 | 8 | 19 241.35/241.41 c 241s | 23 | 6713623 | 2707638 | 642 10873 | 8 | 19 243.35/243.42 c 243s | 23 | 6767594 | 2729738 | 642 10942 | 8 | 19 245.36/245.42 c 245s | 23 | 6818623 | 2751338 | 642 11008 | 8 | 19 247.35/247.42 c 247s | 23 | 6872613 | 2773138 | 642 11076 | 8 | 19 249.35/249.43 c 249s | 23 | 6925059 | 2794738 | 642 11142 | 8 | 19 251.35/251.43 c 251s | 23 | 6978366 | 2816438 | 642 11210 | 8 | 19 253.35/253.44 c 253s | 23 | 7031265 | 2838138 | 642 11277 | 8 | 19 255.35/255.44 c 255s | 23 | 7083392 | 2860238 | 642 11346 | 8 | 19 257.34/257.44 c 257s | 23 | 7136981 | 2882338 | 642 11414 | 8 | 19 259.34/259.45 c 259s | 23 | 7191206 | 2904438 | 642 11483 | 8 | 19 261.34/261.45 c 261s | 23 | 7243950 | 2926338 | 642 11552 | 8 | 19 263.34/263.45 c 263s | 23 | 7297387 | 2948538 | 642 11621 | 8 | 19 265.34/265.46 c 265s | 23 | 7350602 | 2970138 | 642 11688 | 8 | 19 267.35/267.46 c 267s | 23 | 7403474 | 2991738 | 642 11754 | 8 | 19 269.34/269.47 c 269s | 23 | 7456425 | 3013538 | 642 11822 | 8 | 19 271.34/271.47 c 271s | 23 | 7508508 | 3035038 | 642 11888 | 8 | 19 273.35/273.47 c 273s | 23 | 7559549 | 3056738 | 642 11956 | 8 | 19 275.35/275.47 c 275s | 23 | 7614387 | 3078438 | 642 12023 | 8 | 19 277.36/277.48 c 277s | 23 | 7670040 | 3100538 | 642 12091 | 8 | 19 279.35/279.48 c 279s | 23 | 7721489 | 3121938 | 642 12157 | 8 | 19 281.35/281.48 c 281s | 23 | 7773380 | 3143338 | 642 12223 | 8 | 19 283.35/283.49 c 283s | 23 | 7824766 | 3164438 | 642 12289 | 8 | 19 285.45/285.50 c 285s | 23 | 7875698 | 3186138 | 642 12356 | 8 | 19 287.45/287.51 c 287s | 23 | 7929932 | 3208038 | 642 12424 | 8 | 19 289.45/289.51 c 289s | 23 | 7982689 | 3229638 | 642 12491 | 8 | 19 291.44/291.52 c 291s | 23 | 8035713 | 3251538 | 642 12559 | 8 | 19 293.44/293.52 c 293s | 23 | 8088381 | 3273038 | 642 12625 | 8 | 19 295.44/295.52 c 295s | 23 | 8141561 | 3294938 | 642 12693 | 8 | 19 297.44/297.53 c 297s | 23 | 8192363 | 3316838 | 642 12761 | 8 | 19 299.44/299.53 c 299s | 23 | 8243216 | 3338638 | 642 12829 | 8 | 19 301.45/301.54 c 301s | 23 | 8293272 | 3358938 | 707 12890 | 8 | 19 303.14/303.29 c 303s | 24 | 8334264 | 3376662 | 707 12940 | 8 | 19 305.14/305.29 c 305s | 24 | 8385949 | 3397362 | 707 12997 | 8 | 19 307.25/307.30 c 307s | 24 | 8437551 | 3418562 | 707 13057 | 8 | 19 309.25/309.31 c 309s | 24 | 8486581 | 3439162 | 707 13115 | 8 | 19 311.24/311.31 c 311s | 24 | 8539423 | 3460062 | 707 13173 | 8 | 19 313.24/313.31 c 313s | 24 | 8590962 | 3481462 | 707 13233 | 8 | 19 315.24/315.32 c 315s | 24 | 8645583 | 3502562 | 707 13293 | 8 | 19 317.24/317.33 c 317s | 24 | 8698963 | 3523862 | 707 13352 | 8 | 19 319.24/319.33 c 319s | 24 | 8751073 | 3544862 | 707 13411 | 8 | 19 321.25/321.34 c 321s | 24 | 8802912 | 3566462 | 707 13472 | 8 | 19 323.24/323.35 c 323s | 24 | 8855340 | 3588162 | 707 13534 | 8 | 19 325.24/325.35 c 325s | 24 | 8907333 | 3608762 | 707 13591 | 8 | 19 327.24/327.36 c 327s | 24 | 8958174 | 3628862 | 707 13647 | 8 | 19 329.24/329.37 c 329s | 24 | 9009868 | 3649162 | 707 13704 | 8 | 19 331.24/331.37 c 331s | 24 | 9061463 | 3670162 | 707 13763 | 8 | 19 333.24/333.38 c 333s | 24 | 9112685 | 3691362 | 707 13822 | 8 | 19 335.24/335.38 c 335s | 24 | 9164261 | 3712262 | 707 13881 | 8 | 19 337.24/337.38 c 337s | 24 | 9214085 | 3733262 | 707 13940 | 8 | 19 339.24/339.39 c 339s | 24 | 9266525 | 3755062 | 707 14001 | 8 | 19 341.24/341.39 c 341s | 24 | 9318324 | 3776562 | 707 14062 | 8 | 19 343.24/343.39 c 343s | 24 | 9371624 | 3797562 | 707 14121 | 8 | 19 345.23/345.40 c 345s | 24 | 9424921 | 3819062 | 707 14181 | 8 | 19 347.33/347.40 c 347s | 24 | 9478125 | 3840462 | 707 14241 | 8 | 19 349.33/349.41 c 349s | 24 | 9530190 | 3861762 | 707 14301 | 8 | 19 351.33/351.41 c 351s | 24 | 9583325 | 3883462 | 707 14362 | 8 | 19 353.34/353.42 c 353s | 24 | 9635262 | 3905262 | 707 14423 | 8 | 19 355.35/355.43 c 355s | 24 | 9688080 | 3927062 | 707 14485 | 8 | 19 357.34/357.43 c 357s | 24 | 9739349 | 3948362 | 707 14545 | 8 | 19 359.34/359.43 c 359s | 24 | 9792148 | 3969362 | 707 14604 | 8 | 19 361.34/361.44 c 361s | 24 | 9843240 | 3990262 | 707 14662 | 8 | 19 363.34/363.44 c 363s | 24 | 9895301 | 4010962 | 707 14720 | 8 | 19 365.34/365.45 c 365s | 24 | 9945568 | 4032062 | 707 14779 | 8 | 19 367.33/367.45 c 367s | 24 | 9999972 | 4053362 | 707 14840 | 8 | 19 369.33/369.46 c 369s | 24 | 10050974 | 4074562 | 707 14899 | 8 | 19 371.33/371.46 c 371s | 24 | 10102722 | 4094562 | 707 14955 | 8 | 19 373.33/373.47 c 373s | 24 | 10154597 | 4115962 | 707 15015 | 8 | 19 375.33/375.48 c 375s | 24 | 10207141 | 4137162 | 707 15075 | 8 | 19 377.34/377.49 c 377s | 24 | 10258838 | 4158662 | 707 15135 | 8 | 19 379.33/379.50 c 379s | 24 | 10308201 | 4179462 | 707 15194 | 8 | 19 381.43/381.50 c 381s | 24 | 10359124 | 4199962 | 707 15252 | 8 | 19 383.43/383.51 c 383s | 24 | 10411700 | 4221162 | 707 15311 | 8 | 19 385.43/385.52 c 385s | 24 | 10462082 | 4242262 | 707 15371 | 8 | 19 387.43/387.52 c 387s | 24 | 10510581 | 4263462 | 707 15431 | 8 | 19 389.43/389.53 c 389s | 24 | 10562396 | 4284262 | 707 15489 | 8 | 19 391.43/391.54 c 391s | 24 | 10615655 | 4305762 | 707 15549 | 8 | 19 393.43/393.54 c 393s | 24 | 10669204 | 4327262 | 707 15610 | 8 | 19 395.42/395.55 c 395s | 24 | 10720730 | 4348862 | 707 15671 | 8 | 19 397.42/397.56 c 397s | 24 | 10770922 | 4370462 | 707 15732 | 8 | 19 399.43/399.56 c 399s | 24 | 10821102 | 4391262 | 707 15790 | 8 | 19 401.42/401.57 c 401s | 24 | 10874045 | 4413062 | 707 15852 | 8 | 19 403.42/403.57 c 403s | 24 | 10926034 | 4434762 | 707 15913 | 8 | 19 405.42/405.58 c 405s | 24 | 10977493 | 4455862 | 707 15972 | 8 | 19 407.42/407.58 c 407s | 24 | 11027342 | 4476562 | 707 16031 | 8 | 19 409.42/409.59 c 409s | 24 | 11077472 | 4497762 | 707 16091 | 8 | 19 411.43/411.60 c 411s | 24 | 11126553 | 4518562 | 707 16150 | 8 | 19 413.52/413.60 c 413s | 24 | 11177359 | 4539562 | 707 16209 | 8 | 19 415.52/415.61 c 415s | 24 | 11229102 | 4561362 | 707 16271 | 8 | 19 417.52/417.61 c 417s | 24 | 11279987 | 4582762 | 707 16331 | 8 | 19 419.52/419.62 c 419s | 24 | 11331757 | 4604462 | 707 16392 | 8 | 19 421.52/421.62 c 421s | 24 | 11382389 | 4625962 | 707 16453 | 8 | 19 423.53/423.63 c 423s | 24 | 11434230 | 4647162 | 707 16513 | 8 | 19 425.53/425.63 c 425s | 24 | 11483102 | 4667862 | 707 16572 | 8 | 19 427.53/427.64 c 427s | 24 | 11534531 | 4689462 | 707 16633 | 8 | 19 429.53/429.64 c 429s | 24 | 11582133 | 4710762 | 707 16693 | 8 | 19 431.53/431.65 c 431s | 24 | 11630591 | 4731562 | 707 16752 | 8 | 19 433.53/433.65 c 433s | 24 | 11678479 | 4752162 | 707 16811 | 8 | 19 435.52/435.66 c 435s | 24 | 11730171 | 4772662 | 707 16868 | 8 | 19 437.52/437.66 c 437s | 24 | 11782969 | 4793962 | 707 16928 | 8 | 19 439.52/439.67 c 439s | 24 | 11833912 | 4814962 | 707 16987 | 8 | 19 441.52/441.67 c 441s | 24 | 11885088 | 4836262 | 707 17046 | 8 | 19 443.52/443.68 c 443s | 24 | 11937050 | 4857062 | 707 17105 | 8 | 19 445.53/445.68 c 445s | 24 | 11984121 | 4876562 | 707 17160 | 8 | 19 447.52/447.69 c 447s | 24 | 12030440 | 4896162 | 707 17215 | 8 | 19 449.52/449.69 c 449s | 24 | 12077651 | 4916362 | 707 17272 | 8 | 19 451.62/451.70 c 451s | 24 | 12123351 | 4935962 | 707 17327 | 8 | 19 453.62/453.70 c 453s | 24 | 12172407 | 4956262 | 707 17384 | 8 | 19 455.61/455.71 c 455s | 24 | 12225625 | 4977462 | 707 17444 | 8 | 19 457.62/457.71 c 457s | 24 | 12276989 | 4997662 | 707 17500 | 8 | 19 459.61/459.71 c 459s | 24 | 12328035 | 5018362 | 707 17558 | 8 | 19 461.61/461.72 c 461s | 24 | 12379715 | 5039362 | 778 17614 | 8 | 19 463.61/463.73 c 463s | 24 | 12429292 | 5059762 | 778 17666 | 8 | 19 464.11/464.25 c 464s | 25 | 12443184 | 5065098 | 778 17679 | 8 | 19 466.11/466.25 c 466s | 25 | 12496008 | 5085298 | 778 17731 | 8 | 19 468.11/468.25 c 468s | 25 | 12550509 | 5106098 | 778 17783 | 8 | 19 470.11/470.26 c 470s | 25 | 12605185 | 5127598 | 778 17838 | 8 | 19 472.11/472.27 c 472s | 25 | 12657889 | 5148898 | 778 17892 | 8 | 19 474.11/474.28 c 474s | 25 | 12710235 | 5169498 | 778 17945 | 8 | 19 476.10/476.28 c 476s | 25 | 12764982 | 5190898 | 778 18000 | 8 | 19 478.10/478.28 c 478s | 25 | 12817934 | 5212298 | 778 18054 | 8 | 19 480.10/480.28 c 480s | 25 | 12872787 | 5233698 | 778 18109 | 8 | 19 482.10/482.29 c 482s | 25 | 12925694 | 5254798 | 778 18163 | 8 | 19 484.11/484.29 c 484s | 25 | 12974964 | 5275998 | 778 18218 | 8 | 19 486.11/486.29 c 486s | 25 | 13027014 | 5296698 | 778 18270 | 8 | 19 488.11/488.30 c 488s | 25 | 13079242 | 5317298 | 778 18322 | 8 | 19 490.21/490.30 c 490s | 25 | 13132007 | 5337898 | 778 18375 | 8 | 19 492.21/492.30 c 492s | 25 | 13184683 | 5358398 | 778 18427 | 8 | 19 494.21/494.31 c 494s | 25 | 13237182 | 5379698 | 778 18481 | 8 | 19 496.21/496.31 c 496s | 25 | 13289385 | 5401098 | 778 18536 | 8 | 19 498.21/498.31 c 498s | 25 | 13340558 | 5422498 | 778 18591 | 8 | 19 500.21/500.31 c 500s | 25 | 13393778 | 5443798 | 778 18645 | 8 | 19 502.21/502.32 c 502s | 25 | 13441685 | 5464498 | 778 18699 | 8 | 19 504.20/504.32 c 504s | 25 | 13488998 | 5484698 | 778 18750 | 8 | 19 506.20/506.32 c 506s | 25 | 13536176 | 5505898 | 778 18805 | 8 | 19 508.21/508.33 c 508s | 25 | 13585149 | 5525698 | 778 18855 | 8 | 19 510.20/510.33 c 510s | 25 | 13636230 | 5545798 | 778 18906 | 8 | 19 512.20/512.34 c 512s | 25 | 13687558 | 5566498 | 778 18959 | 8 | 19 514.19/514.35 c 514s | 25 | 13739114 | 5587098 | 778 19012 | 8 | 19 516.19/516.35 c 516s | 25 | 13789727 | 5607998 | 778 19065 | 8 | 19 518.20/518.36 c 518s | 25 | 13841864 | 5628298 | 778 19117 | 8 | 19 520.19/520.36 c 520s | 25 | 13890704 | 5648398 | 778 19169 | 8 | 19 522.19/522.36 c 522s | 25 | 13943013 | 5669498 | 778 19223 | 8 | 19 524.19/524.36 c 524s | 25 | 13995367 | 5690798 | 778 19277 | 8 | 19 526.19/526.36 c 526s | 25 | 14046878 | 5711898 | 778 19332 | 8 | 19 528.19/528.37 c 528s | 25 | 14097641 | 5733498 | 778 19387 | 8 | 19 530.19/530.37 c 530s | 25 | 14148503 | 5755298 | 778 19444 | 8 | 19 532.19/532.38 c 532s | 25 | 14199228 | 5776898 | 778 19499 | 8 | 19 534.18/534.38 c 534s | 25 | 14250547 | 5797298 | 778 19552 | 8 | 19 536.18/536.38 c 536s | 25 | 14302172 | 5817298 | 778 19602 | 8 | 19 538.18/538.38 c 538s | 25 | 14354572 | 5837898 | 778 19655 | 8 | 19 540.19/540.38 c 540s | 25 | 14407845 | 5858598 | 778 19708 | 8 | 19 542.18/542.38 c 542s | 25 | 14460121 | 5879398 | 778 19761 | 8 | 19 544.18/544.39 c 544s | 25 | 14514168 | 5899998 | 778 19814 | 8 | 19 546.18/546.39 c 546s | 25 | 14569187 | 5921598 | 778 19869 | 8 | 19 548.18/548.39 c 548s | 25 | 14621791 | 5942598 | 778 19923 | 8 | 19 550.28/550.40 c 550s | 25 | 14674518 | 5963798 | 778 19977 | 8 | 19 552.29/552.41 c 552s | 25 | 14727698 | 5984798 | 778 20031 | 8 | 19 554.27/554.41 c 554s | 25 | 14776933 | 6004798 | 778 20082 | 8 | 19 556.27/556.42 c 556s | 25 | 14827451 | 6025298 | 778 20135 | 8 | 19 558.28/558.43 c 558s | 25 | 14877656 | 6045298 | 778 20186 | 8 | 19 560.28/560.43 c 560s | 25 | 14929420 | 6065498 | 778 20238 | 8 | 19 562.28/562.44 c 562s | 25 | 14980416 | 6085598 | 778 20289 | 8 | 19 564.29/564.44 c 564s | 25 | 15030080 | 6105698 | 778 20340 | 8 | 19 566.28/566.44 c 566s | 25 | 15081900 | 6126398 | 778 20393 | 8 | 19 568.28/568.44 c 568s | 25 | 15133508 | 6147198 | 778 20446 | 8 | 19 570.28/570.45 c 570s | 25 | 15182868 | 6167598 | 778 20499 | 8 | 19 572.28/572.46 c 572s | 25 | 15230467 | 6188198 | 778 20551 | 8 | 19 574.28/574.46 c 574s | 25 | 15279196 | 6208998 | 778 20605 | 8 | 19 576.27/576.47 c 576s | 25 | 15325348 | 6229898 | 778 20659 | 8 | 19 578.27/578.47 c 578s | 25 | 15377042 | 6250898 | 778 20713 | 8 | 19 580.27/580.47 c 580s | 25 | 15428469 | 6272098 | 778 20767 | 8 | 19 582.27/582.48 c 582s | 25 | 15478721 | 6293098 | 778 20821 | 8 | 19 584.27/584.49 c 584s | 25 | 15529352 | 6314698 | 778 20876 | 8 | 19 586.28/586.50 c 586s | 25 | 15577850 | 6335398 | 778 20930 | 8 | 19 588.37/588.50 c 588s | 25 | 15629203 | 6356298 | 778 20983 | 8 | 19 590.37/590.50 c 590s | 25 | 15679774 | 6376998 | 778 21036 | 8 | 19 592.37/592.50 c 592s | 25 | 15729170 | 6396898 | 778 21087 | 8 | 19 594.36/594.50 c 594s | 25 | 15773996 | 6416098 | 778 21137 | 8 | 19 596.36/596.51 c 596s | 25 | 15822353 | 6435698 | 778 21187 | 8 | 19 598.37/598.51 c 598s | 25 | 15869205 | 6455398 | 778 21237 | 8 | 19 600.36/600.51 c 600s | 25 | 15916399 | 6475198 | 778 21288 | 8 | 19 602.36/602.51 c 602s | 25 | 15965464 | 6495098 | 778 21339 | 8 | 19 604.36/604.52 c 604s | 25 | 16011289 | 6514898 | 778 21390 | 8 | 19 606.36/606.52 c 606s | 25 | 16058696 | 6535198 | 778 21442 | 8 | 19 608.36/608.52 c 608s | 25 | 16104908 | 6555098 | 778 21493 | 8 | 19 610.36/610.53 c 610s | 25 | 16151017 | 6574598 | 778 21543 | 8 | 19 612.36/612.53 c 612s | 25 | 16196944 | 6594098 | 778 21593 | 8 | 19 614.35/614.54 c 614s | 25 | 16242554 | 6613798 | 778 21644 | 8 | 19 616.36/616.54 c 616s | 25 | 16286244 | 6633498 | 778 21695 | 8 | 19 618.36/618.54 c 618s | 25 | 16331426 | 6652798 | 778 21744 | 8 | 19 620.37/620.55 c 620s | 25 | 16381827 | 6674098 | 778 21799 | 8 | 19 622.36/622.56 c 622s | 25 | 16432037 | 6695898 | 778 21855 | 8 | 19 624.36/624.56 c 624s | 25 | 16481628 | 6717598 | 778 21911 | 8 | 19 626.35/626.57 c 626s | 25 | 16532669 | 6738198 | 778 21964 | 8 | 19 628.35/628.57 c 628s | 25 | 16582307 | 6758598 | 778 22016 | 8 | 19 630.36/630.57 c 630s | 25 | 16634767 | 6779698 | 778 22069 | 8 | 19 632.35/632.57 c 632s | 25 | 16686612 | 6800298 | 778 22122 | 8 | 19 634.35/634.58 c 634s | 25 | 16736454 | 6821198 | 778 22175 | 8 | 19 636.35/636.58 c 636s | 25 | 16786537 | 6842298 | 778 22229 | 8 | 19 638.35/638.59 c 638s | 25 | 16836500 | 6863098 | 778 22282 | 8 | 19 640.45/640.60 c 640s | 25 | 16885665 | 6883998 | 778 22336 | 8 | 19 642.45/642.60 c 642s | 25 | 16930254 | 6904098 | 778 22388 | 8 | 19 644.44/644.61 c 644s | 25 | 16979611 | 6924698 | 778 22440 | 8 | 19 646.44/646.62 c 646s | 25 | 17030427 | 6944298 | 778 22490 | 8 | 19 648.44/648.62 c 648s | 25 | 17082219 | 6964898 | 778 22543 | 8 | 19 650.44/650.63 c 650s | 25 | 17134837 | 6985398 | 778 22595 | 8 | 19 652.44/652.63 c 652s | 25 | 17185670 | 7005998 | 778 22648 | 8 | 19 654.45/654.64 c 654s | 25 | 17235902 | 7026698 | 778 22701 | 8 | 19 656.44/656.65 c 656s | 25 | 17285769 | 7047298 | 778 22754 | 8 | 19 658.44/658.65 c 658s | 25 | 17335877 | 7068298 | 778 22807 | 8 | 19 660.44/660.65 c 660s | 25 | 17387176 | 7089798 | 778 22863 | 8 | 19 662.44/662.66 c 662s | 25 | 17435317 | 7109798 | 778 22914 | 8 | 19 664.45/664.66 c 664s | 25 | 17480430 | 7129198 | 778 22963 | 8 | 19 666.44/666.66 c 666s | 25 | 17529037 | 7148898 | 778 23014 | 8 | 19 668.44/668.66 c 668s | 25 | 17575868 | 7168498 | 778 23063 | 8 | 19 670.44/670.67 c 670s | 25 | 17622824 | 7188398 | 778 23114 | 8 | 19 672.44/672.67 c 672s | 25 | 17670156 | 7208098 | 778 23165 | 8 | 19 674.43/674.68 c 674s | 25 | 17720898 | 7229098 | 778 23218 | 8 | 19 676.44/676.68 c 676s | 25 | 17773177 | 7249798 | 778 23271 | 8 | 19 678.43/678.68 c 678s | 25 | 17824848 | 7270398 | 778 23324 | 8 | 19 680.43/680.68 c 680s | 25 | 17876226 | 7291098 | 778 23377 | 8 | 19 682.43/682.69 c 682s | 25 | 17924286 | 7310698 | 778 23427 | 8 | 19 684.43/684.69 c 684s | 25 | 17972030 | 7330398 | 778 23477 | 8 | 19 686.53/686.70 c 686s | 25 | 18021592 | 7351098 | 778 23530 | 8 | 19 688.53/688.71 c 688s | 25 | 18073661 | 7372598 | 778 23585 | 8 | 19 690.52/690.71 c 690s | 25 | 18125702 | 7393498 | 778 23638 | 8 | 19 692.52/692.72 c 692s | 25 | 18176334 | 7414298 | 778 23692 | 8 | 19 694.52/694.72 c 694s | 25 | 18228064 | 7434998 | 778 23744 | 8 | 19 696.52/696.73 c 696s | 25 | 18279293 | 7456198 | 778 23799 | 8 | 19 698.53/698.73 c 698s | 25 | 18330514 | 7476998 | 778 23852 | 8 | 19 700.52/700.74 c 700s | 25 | 18382024 | 7497998 | 778 23906 | 8 | 19 702.52/702.74 c 702s | 25 | 18433904 | 7518998 | 778 23959 | 8 | 19 704.53/704.75 c 704s | 25 | 18486397 | 7539898 | 778 24013 | 8 | 19 706.53/706.75 c 706s | 25 | 18533831 | 7560698 | 856 24062 | 8 | 19 708.53/708.75 c 708s | 25 | 18584809 | 7581898 | 856 24111 | 8 | 19 710.03/710.27 c 710s | 26 | 18622645 | 7597752 | 856 24148 | 8 | 19 712.02/712.27 c 712s | 26 | 18674150 | 7618452 | 856 24196 | 8 | 19 714.03/714.28 c 714s | 26 | 18724943 | 7638452 | 856 24243 | 8 | 19 716.03/716.29 c 716s | 26 | 18775396 | 7658852 | 856 24290 | 8 | 19 718.02/718.29 c 718s | 26 | 18824763 | 7679852 | 856 24339 | 8 | 19 720.12/720.30 c 720s | 26 | 18875160 | 7700752 | 856 24387 | 8 | 19 722.12/722.30 c 722s | 26 | 18925112 | 7721652 | 856 24436 | 8 | 19 724.12/724.31 c 724s | 26 | 18975828 | 7742652 | 856 24485 | 8 | 19 726.11/726.31 c 726s | 26 | 19026125 | 7762952 | 856 24532 | 8 | 19 728.12/728.32 c 728s | 26 | 19078765 | 7784452 | 856 24581 | 8 | 19 730.11/730.32 c 730s | 26 | 19129766 | 7805352 | 856 24630 | 8 | 19 732.11/732.33 c 732s | 26 | 19182010 | 7826652 | 856 24679 | 8 | 19 734.11/734.33 c 734s | 26 | 19233127 | 7847752 | 856 24728 | 8 | 19 736.11/736.33 c 736s | 26 | 19284063 | 7868852 | 856 24777 | 8 | 19 738.12/738.33 c 738s | 26 | 19334929 | 7890252 | 856 24827 | 8 | 19 740.11/740.34 c 740s | 26 | 19385847 | 7911852 | 856 24877 | 8 | 19 742.11/742.34 c 742s | 26 | 19435484 | 7932652 | 856 24925 | 8 | 19 744.11/744.35 c 744s | 26 | 19486776 | 7953652 | 856 24974 | 8 | 19 746.10/746.35 c 746s | 26 | 19537604 | 7974552 | 856 25022 | 8 | 19 748.10/748.35 c 748s | 26 | 19589097 | 7996052 | 856 25072 | 8 | 19 750.11/750.36 c 750s | 26 | 19640211 | 8016752 | 856 25120 | 8 | 19 752.10/752.36 c 752s | 26 | 19689746 | 8037752 | 856 25169 | 8 | 19 754.10/754.37 c 754s | 26 | 19740864 | 8058952 | 856 25219 | 8 | 19 756.11/756.38 c 756s | 26 | 19791559 | 8080652 | 856 25269 | 8 | 19 758.10/758.38 c 758s | 26 | 19842231 | 8101752 | 856 25318 | 8 | 19 760.11/760.39 c 760s | 26 | 19893194 | 8122652 | 856 25367 | 8 | 19 762.10/762.39 c 762s | 26 | 19947402 | 8144052 | 856 25417 | 8 | 19 764.10/764.39 c 764s | 26 | 19997845 | 8164952 | 856 25465 | 8 | 19 766.20/766.40 c 766s | 26 | 20047452 | 8186052 | 856 25514 | 8 | 19 768.20/768.40 c 768s | 26 | 20097888 | 8207852 | 856 25565 | 8 | 19 770.20/770.41 c 770s | 26 | 20147138 | 8228852 | 856 25614 | 8 | 19 772.21/772.41 c 772s | 26 | 20199074 | 8249952 | 856 25663 | 8 | 19 774.20/774.42 c 774s | 26 | 20250469 | 8271552 | 856 25713 | 8 | 19 776.20/776.43 c 776s | 26 | 20303630 | 8292852 | 856 25763 | 8 | 19 778.20/778.44 c 778s | 26 | 20353297 | 8314052 | 856 25812 | 8 | 19 780.20/780.44 c 780s | 26 | 20401448 | 8334452 | 856 25860 | 8 | 19 782.20/782.44 c 782s | 26 | 20450464 | 8355152 | 856 25908 | 8 | 19 784.20/784.45 c 784s | 26 | 20502195 | 8376152 | 856 25957 | 8 | 19 786.19/786.45 c 786s | 26 | 20552207 | 8397352 | 856 26006 | 8 | 19 788.19/788.46 c 788s | 26 | 20599444 | 8418052 | 856 26054 | 8 | 19 790.19/790.46 c 790s | 26 | 20647711 | 8439352 | 856 26104 | 8 | 19 792.19/792.46 c 792s | 26 | 20694481 | 8460452 | 856 26153 | 8 | 19 794.20/794.47 c 794s | 26 | 20745986 | 8481352 | 856 26202 | 8 | 19 796.19/796.47 c 796s | 26 | 20796401 | 8501752 | 856 26249 | 8 | 19 798.19/798.48 c 798s | 26 | 20844600 | 8522552 | 856 26298 | 8 | 19 800.19/800.48 c 800s | 26 | 20891211 | 8542752 | 856 26345 | 8 | 19 802.19/802.48 c 802s | 26 | 20940227 | 8563952 | 856 26394 | 8 | 19 804.18/804.49 c 804s | 26 | 20990497 | 8585452 | 856 26444 | 8 | 19 806.19/806.50 c 806s | 26 | 21040018 | 8607552 | 856 26496 | 8 | 19 808.28/808.50 c 808s | 26 | 21090168 | 8629452 | 856 26547 | 8 | 19 810.28/810.50 c 810s | 26 | 21138948 | 8650052 | 856 26595 | 8 | 19 812.28/812.51 c 812s | 26 | 21189433 | 8671452 | 856 26645 | 8 | 19 814.28/814.51 c 814s | 26 | 21239319 | 8693452 | 856 26696 | 8 | 19 816.28/816.51 c 816s | 26 | 21288229 | 8714952 | 856 26746 | 8 | 19 818.29/818.52 c 818s | 26 | 21336793 | 8736052 | 856 26795 | 8 | 19 820.28/820.52 c 820s | 26 | 21388188 | 8757552 | 856 26846 | 8 | 19 822.28/822.53 c 822s | 26 | 21436258 | 8778852 | 856 26895 | 8 | 19 824.28/824.54 c 824s | 26 | 21485306 | 8800052 | 856 26945 | 8 | 19 826.28/826.54 c 826s | 26 | 21537216 | 8821352 | 856 26995 | 8 | 19 828.29/828.54 c 828s | 26 | 21585186 | 8842552 | 856 27044 | 8 | 19 830.28/830.55 c 830s | 26 | 21633588 | 8863652 | 856 27094 | 8 | 19 832.28/832.55 c 832s | 26 | 21681178 | 8885052 | 856 27144 | 8 | 19 834.28/834.55 c 834s | 26 | 21730071 | 8906152 | 856 27193 | 8 | 19 836.27/836.56 c 836s | 26 | 21780254 | 8927652 | 856 27243 | 8 | 19 838.27/838.56 c 838s | 26 | 21827858 | 8949052 | 856 27293 | 8 | 19 840.28/840.57 c 840s | 26 | 21876038 | 8970652 | 856 27344 | 8 | 19 842.27/842.58 c 842s | 26 | 21922956 | 8991352 | 856 27393 | 8 | 19 844.27/844.59 c 844s | 26 | 21968196 | 9010852 | 856 27438 | 8 | 19 846.27/846.59 c 846s | 26 | 22021006 | 9031952 | 856 27486 | 8 | 19 848.27/848.59 c 848s | 26 | 22073690 | 9053452 | 856 27536 | 8 | 19 850.28/850.59 c 850s | 26 | 22125116 | 9075152 | 856 27586 | 8 | 19 852.27/852.60 c 852s | 26 | 22177333 | 9095952 | 856 27635 | 8 | 19 854.36/854.60 c 854s | 26 | 22228673 | 9117152 | 856 27684 | 8 | 19 856.36/856.60 c 856s | 26 | 22278917 | 9138552 | 856 27734 | 8 | 19 858.36/858.60 c 858s | 26 | 22330543 | 9159952 | 856 27784 | 8 | 19 860.36/860.60 c 860s | 26 | 22381928 | 9181652 | 856 27834 | 8 | 19 862.38/862.61 c 862s | 26 | 22433151 | 9202752 | 856 27884 | 8 | 19 864.36/864.62 c 864s | 26 | 22486420 | 9223652 | 856 27932 | 8 | 19 866.36/866.62 c 866s | 26 | 22539007 | 9244852 | 856 27981 | 8 | 19 868.36/868.62 c 868s | 26 | 22593188 | 9266152 | 856 28030 | 8 | 19 870.36/870.63 c 870s | 26 | 22646216 | 9287252 | 856 28079 | 8 | 19 872.36/872.63 c 872s | 26 | 22698673 | 9308252 | 856 28128 | 8 | 19 874.37/874.64 c 874s | 26 | 22749033 | 9329352 | 856 28177 | 8 | 19 876.36/876.64 c 876s | 26 | 22798343 | 9349852 | 856 28225 | 8 | 19 878.36/878.65 c 878s | 26 | 22850328 | 9370852 | 856 28274 | 8 | 19 880.36/880.65 c 880s | 26 | 22901850 | 9391852 | 856 28322 | 8 | 19 882.36/882.66 c 882s | 26 | 22955841 | 9413752 | 856 28373 | 8 | 19 884.36/884.66 c 884s | 26 | 23009515 | 9435352 | 856 28424 | 8 | 19 886.36/886.66 c 886s | 26 | 23060716 | 9456752 | 856 28473 | 8 | 19 888.36/888.67 c 888s | 26 | 23108772 | 9478052 | 856 28523 | 8 | 19 890.35/890.67 c 890s | 26 | 23161508 | 9499552 | 856 28573 | 8 | 19 892.35/892.68 c 892s | 26 | 23211563 | 9520152 | 856 28620 | 8 | 19 894.35/894.69 c 894s | 26 | 23262651 | 9541252 | 856 28670 | 8 | 19 896.36/896.69 c 896s | 26 | 23313760 | 9562752 | 856 28720 | 8 | 19 898.35/898.69 c 898s | 26 | 23364055 | 9584152 | 856 28770 | 8 | 19 900.45/900.70 c 900s | 26 | 23415938 | 9606152 | 856 28821 | 8 | 19 902.45/902.70 c 902s | 26 | 23466788 | 9628252 | 856 28873 | 8 | 19 904.45/904.71 c 904s | 26 | 23518100 | 9649252 | 856 28921 | 8 | 19 906.45/906.72 c 906s | 26 | 23569614 | 9670152 | 856 28970 | 8 | 19 908.45/908.72 c 908s | 26 | 23618873 | 9691252 | 856 29019 | 8 | 19 910.44/910.72 c 910s | 26 | 23670523 | 9712452 | 856 29068 | 8 | 19 912.44/912.72 c 912s | 26 | 23720759 | 9733752 | 856 29118 | 8 | 19 914.44/914.73 c 914s | 26 | 23768404 | 9755352 | 856 29169 | 8 | 19 916.44/916.73 c 916s | 26 | 23820139 | 9776652 | 856 29218 | 8 | 19 918.45/918.74 c 918s | 26 | 23874619 | 9798352 | 856 29269 | 8 | 19 920.44/920.74 c 920s | 26 | 23926745 | 9819952 | 856 29319 | 8 | 19 922.44/922.75 c 922s | 26 | 23980022 | 9841752 | 856 29370 | 8 | 19 924.43/924.75 c 924s | 26 | 24031225 | 9863552 | 856 29421 | 8 | 19 926.43/926.75 c 926s | 26 | 24082379 | 9885052 | 856 29471 | 8 | 19 928.43/928.76 c 928s | 26 | 24135478 | 9905752 | 856 29519 | 8 | 19 930.44/930.77 c 930s | 26 | 24187612 | 9926952 | 856 29569 | 8 | 19 932.43/932.77 c 932s | 26 | 24239424 | 9948452 | 856 29619 | 8 | 19 934.43/934.78 c 934s | 26 | 24290975 | 9969652 | 856 29668 | 8 | 19 936.43/936.78 c 936s | 26 | 24340947 | 9990652 | 856 29717 | 8 | 19 938.43/938.79 c 938s | 26 | 24390914 | 10011752 | 856 29766 | 8 | 19 940.44/940.79 c 940s | 26 | 24442354 | 10033452 | 856 29817 | 8 | 19 942.43/942.80 c 942s | 26 | 24491615 | 10054552 | 856 29866 | 8 | 19 944.52/944.80 c 944s | 26 | 24543026 | 10076352 | 856 29917 | 8 | 19 946.52/946.80 c 946s | 26 | 24592410 | 10097652 | 856 29967 | 8 | 19 948.52/948.81 c 948s | 26 | 24641070 | 10118352 | 856 30016 | 8 | 19 950.52/950.82 c 950s | 26 | 24693203 | 10139952 | 856 30066 | 8 | 19 952.54/952.82 c 952s | 26 | 24745226 | 10161752 | 856 30117 | 8 | 19 954.53/954.83 c 954s | 26 | 24798039 | 10183452 | 856 30168 | 8 | 19 956.52/956.83 c 956s | 26 | 24847888 | 10204752 | 856 30218 | 8 | 19 958.52/958.84 c 958s | 26 | 24899205 | 10226252 | 856 30268 | 8 | 19 960.52/960.84 c 960s | 26 | 24949715 | 10247052 | 856 30316 | 8 | 19 962.52/962.84 c 962s | 26 | 25001320 | 10268152 | 856 30366 | 8 | 19 964.53/964.84 c 964s | 26 | 25052765 | 10289752 | 856 30416 | 8 | 19 966.52/966.84 c 966s | 26 | 25103253 | 10311552 | 856 30468 | 8 | 19 968.52/968.85 c 968s | 26 | 25152600 | 10333252 | 856 30519 | 8 | 19 970.52/970.86 c 970s | 26 | 25202636 | 10354852 | 856 30569 | 8 | 19 972.52/972.86 c 972s | 26 | 25252254 | 10376352 | 856 30620 | 8 | 19 974.52/974.87 c 974s | 26 | 25303114 | 10398052 | 856 30670 | 8 | 19 976.51/976.87 c 976s | 26 | 25353483 | 10419452 | 856 30721 | 8 | 19 978.51/978.88 c 978s | 26 | 25402722 | 10440952 | 856 30771 | 8 | 19 980.51/980.88 c 980s | 26 | 25451012 | 10462052 | 856 30820 | 8 | 19 982.51/982.89 c 982s | 26 | 25499569 | 10482052 | 856 30867 | 8 | 19 984.51/984.89 c 984s | 26 | 25548665 | 10502252 | 856 30914 | 8 | 19 986.51/986.90 c 986s | 26 | 25597930 | 10522652 | 856 30961 | 8 | 19 988.60/988.91 c 988s | 26 | 25647422 | 10542752 | 856 31007 | 8 | 19 990.60/990.92 c 990s | 26 | 25697435 | 10562952 | 856 31054 | 8 | 19 992.60/992.92 c 992s | 26 | 25746415 | 10583552 | 856 31102 | 8 | 19 994.60/994.93 c 994s | 26 | 25796801 | 10604252 | 856 31150 | 8 | 19 996.60/996.94 c 996s | 26 | 25847310 | 10624652 | 856 31198 | 8 | 19 998.61/998.94 c 998s | 26 | 25897320 | 10645552 | 856 31247 | 8 | 19 1000.61/1000.95 c 1000s | 26 | 25947207 | 10666752 | 856 31296 | 8 | 19 1002.61/1002.95 c 1002s | 26 | 25995547 | 10687152 | 856 31344 | 8 | 19 1004.60/1004.96 c 1004s | 26 | 26047044 | 10707952 | 856 31392 | 8 | 19 1006.60/1006.96 c 1006s | 26 | 26097484 | 10728652 | 856 31440 | 8 | 19 1008.61/1008.96 c 1008s | 26 | 26144837 | 10749152 | 856 31488 | 8 | 19 1010.60/1010.97 c 1010s | 26 | 26192526 | 10769752 | 856 31536 | 8 | 19 1012.60/1012.97 c 1012s | 26 | 26241378 | 10790452 | 856 31584 | 8 | 19 1014.60/1014.98 c 1014s | 26 | 26290149 | 10811352 | 856 31633 | 8 | 19 1016.60/1016.98 c 1016s | 26 | 26339246 | 10832152 | 856 31681 | 8 | 19 1018.60/1018.98 c 1018s | 26 | 26391737 | 10852752 | 856 31729 | 8 | 19 1020.60/1020.99 c 1020s | 26 | 26442612 | 10874252 | 856 31779 | 8 | 19 1022.60/1022.99 c 1022s | 26 | 26492952 | 10895452 | 856 31828 | 8 | 19 1024.69/1025.00 c 1024s | 26 | 26543170 | 10917152 | 856 31879 | 8 | 19 1026.69/1027.00 c 1026s | 26 | 26594720 | 10939252 | 856 31931 | 8 | 19 1028.69/1029.01 c 1028s | 26 | 26646418 | 10960952 | 856 31981 | 8 | 19 1030.69/1031.01 c 1030s | 26 | 26695487 | 10982652 | 856 32032 | 8 | 19 1032.69/1033.02 c 1032s | 26 | 26743043 | 11002952 | 856 32079 | 8 | 19 1034.68/1035.03 c 1034s | 26 | 26790595 | 11023052 | 856 32126 | 8 | 19 1036.68/1037.03 c 1036s | 26 | 26840358 | 11043452 | 856 32173 | 8 | 19 1038.68/1039.03 c 1038s | 26 | 26889494 | 11064352 | 856 32222 | 8 | 19 1040.67/1041.03 c 1040s | 26 | 26936565 | 11084552 | 856 32269 | 8 | 19 1042.69/1043.03 c 1042s | 26 | 26984709 | 11105252 | 856 32318 | 8 | 19 1044.68/1045.04 c 1044s | 26 | 27033475 | 11125952 | 856 32366 | 8 | 19 1046.68/1047.04 c 1046s | 26 | 27085033 | 11147552 | 856 32416 | 8 | 19 1048.68/1049.05 c 1048s | 26 | 27138229 | 11169352 | 856 32467 | 8 | 19 1050.68/1051.06 c 1050s | 26 | 27189324 | 11191052 | 856 32518 | 8 | 19 1052.68/1053.06 c 1052s | 26 | 27237301 | 11212952 | 856 32569 | 8 | 19 1054.68/1055.07 c 1054s | 26 | 27283478 | 11233852 | 856 32618 | 8 | 19 1056.67/1057.07 c 1056s | 26 | 27332905 | 11255052 | 856 32667 | 8 | 19 1058.67/1059.08 c 1058s | 26 | 27382713 | 11276052 | 856 32716 | 8 | 19 1060.67/1061.08 c 1060s | 26 | 27433006 | 11297252 | 856 32765 | 8 | 19 1062.67/1063.08 c 1062s | 26 | 27482892 | 11318252 | 942 32813 | 8 | 19 1064.67/1065.09 c 1064s | 26 | 27531968 | 11339252 | 942 32858 | 8 | 19 1066.67/1067.10 c 1066s | 26 | 27583170 | 11360352 | 942 32903 | 8 | 19 1068.77/1069.10 c 1068s | 26 | 27632107 | 11381352 | 942 32948 | 8 | 19 1070.27/1070.60 c 1070s | 27 | 27667488 | 11396733 | 942 32980 | 8 | 19 1072.27/1072.60 c 1072s | 27 | 27717622 | 11417033 | 942 33023 | 8 | 19 1074.26/1074.61 c 1074s | 27 | 27767082 | 11436833 | 942 33065 | 8 | 19 1076.26/1076.62 c 1076s | 27 | 27817240 | 11457333 | 942 33108 | 8 | 19 1078.26/1078.62 c 1078s | 27 | 27867013 | 11477433 | 942 33150 | 8 | 19 1080.26/1080.63 c 1080s | 27 | 27915479 | 11497133 | 942 33192 | 8 | 19 1082.27/1082.64 c 1082s | 27 | 27965407 | 11517333 | 942 33234 | 8 | 19 1084.26/1084.64 c 1084s | 27 | 28012201 | 11537233 | 942 33276 | 8 | 19 1086.26/1086.64 c 1086s | 27 | 28060446 | 11557633 | 942 33319 | 8 | 19 1088.26/1088.65 c 1088s | 27 | 28108143 | 11577533 | 942 33362 | 8 | 19 1090.26/1090.65 c 1090s | 27 | 28155323 | 11597533 | 942 33404 | 8 | 19 1092.26/1092.66 c 1092s | 27 | 28204534 | 11618033 | 942 33447 | 8 | 19 1094.27/1094.67 c 1094s | 27 | 28254242 | 11638933 | 942 33492 | 8 | 19 1096.26/1096.68 c 1096s | 27 | 28304270 | 11658233 | 942 33533 | 8 | 19 1098.26/1098.68 c 1098s | 27 | 28355713 | 11677733 | 942 33573 | 8 | 19 1100.26/1100.69 c 1100s | 27 | 28408198 | 11697533 | 942 33615 | 8 | 19 1102.26/1102.69 c 1102s | 27 | 28459210 | 11716733 | 942 33656 | 8 | 19 1104.36/1104.70 c 1104s | 27 | 28511799 | 11736633 | 942 33698 | 8 | 19 1106.36/1106.70 c 1106s | 27 | 28561481 | 11756233 | 942 33739 | 8 | 19 1108.35/1108.71 c 1108s | 27 | 28608940 | 11775633 | 942 33780 | 8 | 19 1110.35/1110.72 c 1110s | 27 | 28659843 | 11795233 | 942 33822 | 8 | 19 1112.35/1112.72 c 1112s | 27 | 28708566 | 11814533 | 942 33863 | 8 | 19 1114.35/1114.74 c 1114s | 27 | 28757193 | 11833933 | 942 33904 | 8 | 19 1116.36/1116.74 c 1116s | 27 | 28806363 | 11853833 | 942 33946 | 8 | 19 1118.35/1118.75 c 1118s | 27 | 28852643 | 11873333 | 942 33987 | 8 | 19 1120.35/1120.76 c 1120s | 27 | 28899370 | 11892333 | 942 34027 | 8 | 19 1122.35/1122.76 c 1122s | 27 | 28946543 | 11912233 | 942 34069 | 8 | 19 1124.35/1124.76 c 1124s | 27 | 28995592 | 11932233 | 942 34111 | 8 | 19 1126.35/1126.77 c 1126s | 27 | 29042867 | 11952233 | 942 34153 | 8 | 19 1128.36/1128.77 c 1128s | 27 | 29091765 | 11972333 | 942 34196 | 8 | 19 1130.35/1130.78 c 1130s | 27 | 29140187 | 11992933 | 942 34239 | 8 | 19 1132.36/1132.78 c 1132s | 27 | 29186801 | 12012933 | 942 34282 | 8 | 19 1134.36/1134.79 c 1134s | 27 | 29237511 | 12032233 | 942 34323 | 8 | 19 1136.36/1136.79 c 1136s | 27 | 29288421 | 12052333 | 942 34365 | 8 | 19 1138.36/1138.79 c 1138s | 27 | 29337220 | 12071733 | 942 34406 | 8 | 19 1140.36/1140.80 c 1140s | 27 | 29387361 | 12091733 | 942 34448 | 8 | 19 1142.46/1142.80 c 1142s | 27 | 29436649 | 12111733 | 942 34490 | 8 | 19 1144.46/1144.80 c 1144s | 27 | 29485275 | 12131433 | 942 34532 | 8 | 19 1146.46/1146.81 c 1146s | 27 | 29532642 | 12150933 | 942 34573 | 8 | 19 1148.46/1148.81 c 1148s | 27 | 29579876 | 12170333 | 942 34614 | 8 | 19 1150.46/1150.82 c 1150s | 27 | 29627169 | 12190233 | 942 34656 | 8 | 19 1152.45/1152.82 c 1152s | 27 | 29675479 | 12210033 | 942 34698 | 8 | 19 1154.45/1154.82 c 1154s | 27 | 29719884 | 12229233 | 942 34739 | 8 | 19 1156.45/1156.83 c 1156s | 27 | 29765717 | 12248833 | 942 34780 | 8 | 19 1158.45/1158.83 c 1158s | 27 | 29813785 | 12268633 | 942 34822 | 8 | 19 1160.45/1160.84 c 1160s | 27 | 29861808 | 12288533 | 942 34864 | 8 | 19 1162.46/1162.84 c 1162s | 27 | 29909180 | 12308133 | 942 34906 | 8 | 19 1164.45/1164.84 c 1164s | 27 | 29955806 | 12327933 | 942 34947 | 8 | 19 1166.45/1166.85 c 1166s | 27 | 30001517 | 12347033 | 942 34988 | 8 | 19 1168.45/1168.85 c 1168s | 27 | 30048429 | 12366733 | 942 35030 | 8 | 19 1170.45/1170.86 c 1170s | 27 | 30096874 | 12386333 | 942 35071 | 8 | 19 1172.46/1172.86 c 1172s | 27 | 30144621 | 12405533 | 942 35112 | 8 | 19 1174.45/1174.87 c 1174s | 27 | 30194892 | 12425833 | 942 35155 | 8 | 19 1176.45/1176.88 c 1176s | 27 | 30243157 | 12445633 | 942 35196 | 8 | 19 1178.45/1178.88 c 1178s | 27 | 30292105 | 12465733 | 942 35239 | 8 | 19 1180.45/1180.89 c 1180s | 27 | 30338964 | 12485733 | 942 35281 | 8 | 19 1182.55/1182.90 c 1182s | 27 | 30387360 | 12505733 | 942 35324 | 8 | 19 1184.55/1184.91 c 1184s | 27 | 30435672 | 12525933 | 942 35367 | 8 | 19 1186.54/1186.92 c 1186s | 27 | 30482001 | 12546233 | 942 35410 | 8 | 19 1188.54/1188.92 c 1188s | 27 | 30529319 | 12565833 | 942 35451 | 8 | 19 1190.54/1190.93 c 1190s | 27 | 30574724 | 12585133 | 942 35492 | 8 | 19 1192.54/1192.93 c 1192s | 27 | 30619798 | 12604833 | 942 35534 | 8 | 19 1194.54/1194.94 c 1194s | 27 | 30667503 | 12624833 | 942 35576 | 8 | 19 1196.55/1196.94 c 1196s | 27 | 30714136 | 12644733 | 942 35619 | 8 | 19 1198.54/1198.94 c 1198s | 27 | 30763972 | 12665333 | 942 35662 | 8 | 19 1200.54/1200.95 c 1200s | 27 | 30812328 | 12685433 | 942 35705 | 8 | 19 1202.54/1202.95 c 1202s | 27 | 30860917 | 12705833 | 942 35748 | 8 | 19 1204.54/1204.96 c 1204s | 27 | 30907855 | 12726133 | 942 35791 | 8 | 19 1206.55/1206.96 c 1206s | 27 | 30954898 | 12746333 | 942 35834 | 8 | 19 1208.54/1208.97 c 1208s | 27 | 31004582 | 12766833 | 942 35878 | 8 | 19 1210.54/1210.98 c 1210s | 27 | 31052028 | 12787133 | 942 35921 | 8 | 19 1212.54/1212.98 c 1212s | 27 | 31098107 | 12807533 | 942 35964 | 8 | 19 1214.54/1214.98 c 1214s | 27 | 31145532 | 12827933 | 942 36008 | 8 | 19 1216.54/1216.99 c 1216s | 27 | 31193186 | 12848033 | 942 36050 | 8 | 19 1218.54/1218.99 c 1218s | 27 | 31240779 | 12868733 | 942 36094 | 8 | 19 1220.54/1220.99 c 1220s | 27 | 31287069 | 12888033 | 942 36135 | 8 | 19 1222.64/1223.00 c 1222s | 27 | 31336354 | 12907233 | 942 36176 | 8 | 19 1224.64/1225.01 c 1224s | 27 | 31383359 | 12926633 | 942 36217 | 8 | 19 1226.64/1227.01 c 1226s | 27 | 31429141 | 12945833 | 942 36257 | 8 | 19 1228.64/1229.02 c 1228s | 27 | 31478725 | 12965433 | 942 36298 | 8 | 19 1230.65/1231.02 c 1230s | 27 | 31529082 | 12985233 | 942 36340 | 8 | 19 1232.64/1233.02 c 1232s | 27 | 31578072 | 13005133 | 942 36382 | 8 | 19 1234.64/1235.02 c 1234s | 27 | 31626107 | 13024633 | 942 36423 | 8 | 19 1236.64/1237.03 c 1236s | 27 | 31674442 | 13044833 | 942 36466 | 8 | 19 1238.64/1239.04 c 1238s | 27 | 31720888 | 13064833 | 942 36508 | 8 | 19 1240.65/1241.04 c 1240s | 27 | 31766227 | 13084733 | 942 36551 | 8 | 19 1242.64/1243.04 c 1242s | 27 | 31815552 | 13104233 | 942 36592 | 8 | 19 1244.64/1245.04 c 1244s | 27 | 31865348 | 13124333 | 942 36634 | 8 | 19 1246.64/1247.04 c 1246s | 27 | 31913065 | 13143433 | 942 36674 | 8 | 19 1248.63/1249.05 c 1248s | 27 | 31961197 | 13163333 | 942 36716 | 8 | 19 1250.63/1251.05 c 1250s | 27 | 32010239 | 13183333 | 942 36759 | 8 | 19 1252.64/1253.06 c 1252s | 27 | 32062542 | 13203533 | 942 36802 | 8 | 19 1254.63/1255.06 c 1254s | 27 | 32111370 | 13223333 | 942 36843 | 8 | 19 1256.63/1257.06 c 1256s | 27 | 32158860 | 13243033 | 942 36885 | 8 | 19 1258.63/1259.07 c 1258s | 27 | 32209288 | 13262233 | 942 36926 | 8 | 19 1260.64/1261.07 c 1260s | 27 | 32256592 | 13281333 | 942 36966 | 8 | 19 1262.65/1263.08 c 1262s | 27 | 32307738 | 13300733 | 942 37007 | 8 | 19 1264.64/1265.08 c 1264s | 27 | 32357426 | 13320133 | 942 37048 | 8 | 19 1266.64/1267.09 c 1266s | 27 | 32406744 | 13339633 | 942 37089 | 8 | 19 1268.64/1269.09 c 1268s | 27 | 32455334 | 13358733 | 942 37129 | 8 | 19 1270.64/1271.09 c 1270s | 27 | 32505019 | 13378633 | 942 37172 | 8 | 19 1272.74/1273.10 c 1272s | 27 | 32551697 | 13398933 | 942 37215 | 8 | 19 1274.74/1275.10 c 1274s | 27 | 32601561 | 13418833 | 942 37257 | 8 | 19 1276.73/1277.10 c 1276s | 27 | 32650614 | 13438533 | 942 37298 | 8 | 19 1278.73/1279.11 c 1278s | 27 | 32700110 | 13459133 | 942 37342 | 8 | 19 1280.73/1281.11 c 1280s | 27 | 32748062 | 13479533 | 942 37385 | 8 | 19 1282.73/1283.13 c 1282s | 27 | 32795839 | 13499633 | 942 37428 | 8 | 19 1284.73/1285.13 c 1284s | 27 | 32842914 | 13520033 | 942 37471 | 8 | 19 1286.74/1287.14 c 1286s | 27 | 32889055 | 13539433 | 942 37512 | 8 | 19 1288.73/1289.15 c 1288s | 27 | 32937429 | 13558533 | 942 37552 | 8 | 19 1290.73/1291.16 c 1290s | 27 | 32983130 | 13577833 | 942 37593 | 8 | 19 1292.73/1293.16 c 1292s | 27 | 33028966 | 13597333 | 942 37634 | 8 | 19 1294.73/1295.16 c 1294s | 27 | 33077595 | 13617233 | 942 37676 | 8 | 19 1296.74/1297.16 c 1296s | 27 | 33124376 | 13635833 | 942 37716 | 8 | 19 1298.73/1299.17 c 1298s | 27 | 33171921 | 13655533 | 942 37757 | 8 | 19 1300.73/1301.17 c 1300s | 27 | 33220320 | 13675333 | 942 37799 | 8 | 19 1302.73/1303.17 c 1302s | 27 | 33267414 | 13695133 | 942 37841 | 8 | 19 1304.72/1305.18 c 1304s | 27 | 33314590 | 13714533 | 942 37882 | 8 | 19 1306.72/1307.19 c 1306s | 27 | 33365182 | 13734133 | 942 37924 | 8 | 19 1308.73/1309.19 c 1308s | 27 | 33412171 | 13753933 | 942 37966 | 8 | 19 1310.72/1311.20 c 1310s | 27 | 33458682 | 13773633 | 942 38007 | 8 | 19 1312.82/1313.20 c 1312s | 27 | 33504961 | 13793633 | 942 38050 | 8 | 19 1314.82/1315.21 c 1314s | 27 | 33554180 | 13813533 | 942 38092 | 8 | 19 1316.82/1317.21 c 1316s | 27 | 33601100 | 13833633 | 942 38134 | 8 | 19 1318.82/1319.22 c 1318s | 27 | 33646059 | 13853033 | 942 38175 | 8 | 19 1320.84/1321.22 c 1321s | 27 | 33692247 | 13872933 | 942 38218 | 8 | 19 1322.83/1323.23 c 1323s | 27 | 33741976 | 13892933 | 942 38260 | 8 | 19 1324.83/1325.23 c 1325s | 27 | 33790447 | 13913133 | 942 38303 | 8 | 19 1326.83/1327.24 c 1327s | 27 | 33838265 | 13932433 | 942 38344 | 8 | 19 1328.83/1329.24 c 1329s | 27 | 33887443 | 13952333 | 942 38386 | 8 | 19 1330.83/1331.25 c 1331s | 27 | 33933929 | 13972333 | 942 38429 | 8 | 19 1332.83/1333.26 c 1333s | 27 | 33980530 | 13992333 | 942 38471 | 8 | 19 1334.83/1335.27 c 1335s | 27 | 34024721 | 14012333 | 942 38514 | 8 | 19 1336.83/1337.27 c 1337s | 27 | 34073747 | 14032133 | 942 38556 | 8 | 19 1338.82/1339.28 c 1339s | 27 | 34121552 | 14052333 | 942 38599 | 8 | 19 1340.83/1341.28 c 1341s | 27 | 34167423 | 14072033 | 942 38641 | 8 | 19 1342.83/1343.29 c 1343s | 27 | 34214112 | 14092033 | 942 38683 | 8 | 19 1344.82/1345.29 c 1345s | 27 | 34257804 | 14111733 | 942 38725 | 8 | 19 1346.92/1347.30 c 1347s | 27 | 34302524 | 14131833 | 942 38768 | 8 | 19 1348.92/1349.31 c 1349s | 27 | 34348146 | 14151733 | 942 38810 | 8 | 19 1350.92/1351.31 c 1351s | 27 | 34394325 | 14171833 | 942 38853 | 8 | 19 1352.92/1353.32 c 1353s | 27 | 34436632 | 14191633 | 942 38895 | 8 | 19 1354.93/1355.32 c 1355s | 27 | 34483132 | 14210733 | 942 38936 | 8 | 19 1356.92/1357.33 c 1357s | 27 | 34532923 | 14230533 | 942 38977 | 8 | 19 1358.92/1359.34 c 1359s | 27 | 34583254 | 14250633 | 942 39020 | 8 | 19 1360.92/1361.35 c 1361s | 27 | 34632871 | 14270733 | 942 39062 | 8 | 19 1362.92/1363.35 c 1363s | 27 | 34680741 | 14290233 | 942 39103 | 8 | 19 1364.92/1365.35 c 1365s | 27 | 34723233 | 14308733 | 942 39142 | 8 | 19 1366.92/1367.35 c 1367s | 27 | 34769324 | 14328133 | 942 39183 | 8 | 19 1368.92/1369.36 c 1369s | 27 | 34816797 | 14347733 | 942 39224 | 8 | 19 1370.92/1371.37 c 1371s | 27 | 34867669 | 14367933 | 942 39267 | 8 | 19 1372.92/1373.37 c 1373s | 27 | 34915834 | 14387633 | 942 39309 | 8 | 19 1374.92/1375.39 c 1375s | 27 | 34966203 | 14407933 | 942 39352 | 8 | 19 1376.92/1377.39 c 1377s | 27 | 35015472 | 14427633 | 942 39393 | 8 | 19 1379.01/1379.40 c 1379s | 27 | 35064583 | 14448033 | 942 39437 | 8 | 19 1381.01/1381.41 c 1381s | 27 | 35111718 | 14468133 | 942 39479 | 8 | 19 1383.01/1383.41 c 1383s | 27 | 35160031 | 14488733 | 942 39523 | 8 | 19 1385.01/1385.42 c 1385s | 27 | 35208310 | 14508433 | 942 39565 | 8 | 19 1387.02/1387.43 c 1387s | 27 | 35256601 | 14528533 | 942 39607 | 8 | 19 1389.03/1389.43 c 1389s | 27 | 35304376 | 14548433 | 942 39649 | 8 | 19 1391.02/1391.44 c 1391s | 27 | 35351745 | 14568233 | 942 39691 | 8 | 19 1393.02/1393.44 c 1393s | 27 | 35398377 | 14588333 | 942 39733 | 8 | 19 1395.02/1395.45 c 1395s | 27 | 35448352 | 14608233 | 942 39776 | 8 | 19 1397.02/1397.45 c 1397s | 27 | 35497209 | 14628433 | 942 39819 | 8 | 19 1399.02/1399.45 c 1399s | 27 | 35545774 | 14648833 | 942 39862 | 8 | 19 1401.02/1401.46 c 1401s | 27 | 35590803 | 14667833 | 942 39902 | 8 | 19 1403.02/1403.46 c 1403s | 27 | 35638382 | 14688033 | 942 39945 | 8 | 19 1405.02/1405.47 c 1405s | 27 | 35683741 | 14707633 | 942 39986 | 8 | 19 1407.02/1407.47 c 1407s | 27 | 35732344 | 14727333 | 942 40028 | 8 | 19 1409.02/1409.48 c 1409s | 27 | 35780358 | 14746933 | 942 40070 | 8 | 19 1411.02/1411.48 c 1411s | 27 | 35827230 | 14767533 | 942 40113 | 8 | 19 1413.01/1413.49 c 1413s | 27 | 35875652 | 14787633 | 942 40156 | 8 | 19 1415.01/1415.49 c 1415s | 27 | 35924270 | 14807333 | 942 40198 | 8 | 19 1417.11/1417.50 c 1417s | 27 | 35971921 | 14827633 | 942 40241 | 8 | 19 1419.11/1419.50 c 1419s | 27 | 36018225 | 14847433 | 942 40283 | 8 | 19 1421.11/1421.51 c 1421s | 27 | 36067446 | 14867333 | 942 40325 | 8 | 19 1423.12/1423.51 c 1423s | 27 | 36117526 | 14887833 | 942 40368 | 8 | 19 1425.11/1425.52 c 1425s | 27 | 36166246 | 14908133 | 942 40411 | 8 | 19 1427.11/1427.52 c 1427s | 27 | 36214325 | 14928233 | 942 40454 | 8 | 19 1429.11/1429.53 c 1429s | 27 | 36260485 | 14948033 | 942 40496 | 8 | 19 1431.11/1431.53 c 1431s | 27 | 36310636 | 14968533 | 942 40539 | 8 | 19 1433.11/1433.54 c 1433s | 27 | 36360503 | 14989033 | 942 40583 | 8 | 19 1435.11/1435.54 c 1435s | 27 | 36409334 | 15009433 | 942 40626 | 8 | 19 1437.11/1437.55 c 1437s | 27 | 36455946 | 15029333 | 942 40668 | 8 | 19 1439.11/1439.56 c 1439s | 27 | 36504590 | 15050033 | 942 40712 | 8 | 19 1441.11/1441.56 c 1441s | 27 | 36550604 | 15069933 | 942 40754 | 8 | 19 1443.11/1443.57 c 1443s | 27 | 36599691 | 15089833 | 942 40797 | 8 | 19 1445.11/1445.57 c 1445s | 27 | 36647713 | 15109933 | 942 40839 | 8 | 19 1447.11/1447.57 c 1447s | 27 | 36694177 | 15129933 | 942 40881 | 8 | 19 1449.10/1449.58 c 1449s | 27 | 36742069 | 15149633 | 942 40923 | 8 | 19 1451.10/1451.59 c 1451s | 27 | 36787653 | 15169033 | 942 40964 | 8 | 19 1453.10/1453.59 c 1453s | 27 | 36833938 | 15188733 | 942 41006 | 8 | 19 1455.20/1455.60 c 1455s | 27 | 36880272 | 15208933 | 942 41049 | 8 | 19 1457.21/1457.61 c 1457s | 27 | 36929307 | 15228833 | 942 41091 | 8 | 19 1459.20/1459.61 c 1459s | 27 | 36978318 | 15249333 | 942 41135 | 8 | 19 1461.20/1461.61 c 1461s | 27 | 37024528 | 15269133 | 942 41177 | 8 | 19 1463.20/1463.62 c 1463s | 27 | 37071503 | 15289233 | 942 41219 | 8 | 19 1465.20/1465.62 c 1465s | 27 | 37117858 | 15309233 | 942 41262 | 8 | 19 1467.21/1467.63 c 1467s | 27 | 37162183 | 15328933 | 942 41304 | 8 | 19 1469.20/1469.64 c 1469s | 27 | 37207846 | 15348833 | 942 41346 | 8 | 19 1471.20/1471.64 c 1471s | 27 | 37252911 | 15369233 | 942 41389 | 8 | 19 1473.21/1473.64 c 1473s | 27 | 37298087 | 15388833 | 942 41431 | 8 | 19 1475.21/1475.65 c 1475s | 27 | 37344975 | 15408533 | 942 41473 | 8 | 19 1477.21/1477.66 c 1477s | 27 | 37392210 | 15428533 | 942 41516 | 8 | 19 1479.21/1479.67 c 1479s | 27 | 37440086 | 15448333 | 942 41558 | 8 | 19 1481.20/1481.67 c 1481s | 27 | 37486982 | 15468833 | 942 41601 | 8 | 19 1483.20/1483.67 c 1483s | 27 | 37531837 | 15489133 | 942 41645 | 8 | 19 1485.21/1485.68 c 1485s | 27 | 37578034 | 15509033 | 942 41687 | 8 | 19 1487.20/1487.69 c 1487s | 27 | 37623964 | 15528633 | 942 41729 | 8 | 19 1489.21/1489.69 c 1489s | 27 | 37672562 | 15548333 | 942 41770 | 8 | 19 1491.20/1491.70 c 1491s | 27 | 37720000 | 15567633 | 942 41811 | 8 | 19 1493.30/1493.70 c 1493s | 27 | 37767020 | 15586833 | 942 41851 | 8 | 19 1495.30/1495.70 c 1495s | 27 | 37814553 | 15606633 | 942 41893 | 8 | 19 1497.30/1497.71 c 1497s | 27 | 37861280 | 15625733 | 942 41933 | 8 | 19 1499.30/1499.71 c 1499s | 27 | 37907141 | 15644933 | 942 41974 | 8 | 19 1501.31/1501.71 c 1501s | 27 | 37952926 | 15664233 | 942 42015 | 8 | 19 1503.30/1503.72 c 1503s | 27 | 38001338 | 15684333 | 942 42057 | 8 | 19 1505.30/1505.72 c 1505s | 27 | 38049545 | 15704033 | 942 42099 | 8 | 19 1507.30/1507.72 c 1507s | 27 | 38099095 | 15724133 | 942 42141 | 8 | 19 1509.30/1509.72 c 1509s | 27 | 38147395 | 15744233 | 942 42184 | 8 | 19 1511.30/1511.73 c 1511s | 27 | 38195540 | 15764433 | 942 42227 | 8 | 19 1513.30/1513.73 c 1513s | 27 | 38244013 | 15784633 | 942 42270 | 8 | 19 1515.30/1515.74 c 1515s | 27 | 38292244 | 15804933 | 942 42312 | 8 | 19 1517.30/1517.74 c 1517s | 27 | 38339633 | 15824833 | 942 42354 | 8 | 19 1519.30/1519.74 c 1519s | 27 | 38385264 | 15844633 | 942 42396 | 8 | 19 1521.29/1521.75 c 1521s | 27 | 38432717 | 15864733 | 942 42439 | 8 | 19 1523.30/1523.75 c 1523s | 27 | 38482565 | 15885133 | 942 42482 | 8 | 19 1525.29/1525.76 c 1525s | 27 | 38529257 | 15905733 | 942 42526 | 8 | 19 1527.29/1527.76 c 1527s | 27 | 38573628 | 15925233 | 942 42567 | 8 | 19 1529.29/1529.77 c 1529s | 27 | 38620122 | 15945133 | 942 42609 | 8 | 19 1531.29/1531.78 c 1531s | 27 | 38667755 | 15965133 | 942 42651 | 8 | 19 1533.29/1533.79 c 1533s | 27 | 38716009 | 15985633 | 942 42695 | 8 | 19 1535.30/1535.79 c 1535s | 27 | 38763903 | 16006233 | 942 42738 | 8 | 19 1537.39/1537.80 c 1537s | 27 | 38812988 | 16026133 | 942 42781 | 8 | 19 1539.39/1539.81 c 1539s | 27 | 38863870 | 16046933 | 942 42825 | 8 | 19 1541.39/1541.81 c 1541s | 27 | 38911383 | 16066933 | 942 42867 | 8 | 19 1543.39/1543.81 c 1543s | 27 | 38960008 | 16086833 | 942 42909 | 8 | 19 1545.39/1545.81 c 1545s | 27 | 39006139 | 16106933 | 942 42952 | 8 | 19 1547.39/1547.82 c 1547s | 27 | 39054412 | 16127733 | 942 42996 | 8 | 19 1549.39/1549.82 c 1549s | 27 | 39101618 | 16148533 | 942 43041 | 8 | 19 1551.39/1551.82 c 1551s | 27 | 39149718 | 16168533 | 942 43083 | 8 | 19 1553.39/1553.83 c 1553s | 27 | 39196447 | 16188533 | 942 43126 | 8 | 19 1555.39/1555.83 c 1555s | 27 | 39242909 | 16208633 | 942 43168 | 8 | 19 1557.40/1557.84 c 1557s | 27 | 39288377 | 16227933 | 942 43209 | 8 | 19 1559.39/1559.84 c 1559s | 27 | 39333063 | 16247133 | 942 43250 | 8 | 19 1561.39/1561.84 c 1561s | 27 | 39380839 | 16266833 | 942 43292 | 8 | 19 1563.39/1563.85 c 1563s | 27 | 39428419 | 16287133 | 942 43335 | 8 | 19 1565.39/1565.86 c 1565s | 27 | 39474990 | 16307233 | 942 43377 | 8 | 19 1567.39/1567.86 c 1567s | 27 | 39523811 | 16327533 | 942 43421 | 8 | 19 1569.40/1569.86 c 1569s | 27 | 39570013 | 16347933 | 942 43464 | 8 | 19 1571.39/1571.86 c 1571s | 27 | 39615504 | 16367733 | 942 43506 | 8 | 19 1573.39/1573.87 c 1573s | 27 | 39662663 | 16387333 | 942 43548 | 8 | 19 1575.39/1575.88 c 1575s | 27 | 39709168 | 16407133 | 942 43590 | 8 | 19 1577.39/1577.88 c 1577s | 27 | 39756635 | 16427233 | 942 43632 | 8 | 19 1579.40/1579.88 c 1579s | 27 | 39804633 | 16447333 | 942 43675 | 8 | 19 1581.39/1581.89 c 1581s | 27 | 39852583 | 16467833 | 942 43719 | 8 | 19 1583.39/1583.90 c 1583s | 27 | 39899953 | 16488233 | 942 43762 | 8 | 19 1585.49/1585.90 c 1585s | 27 | 39945371 | 16508133 | 942 43805 | 8 | 19 1587.49/1587.90 c 1587s | 27 | 39990003 | 16527333 | 942 43846 | 8 | 19 1589.49/1589.91 c 1589s | 27 | 40036911 | 16547133 | 942 43888 | 8 | 19 1591.49/1591.92 c 1591s | 27 | 40083859 | 16567433 | 942 43931 | 8 | 19 1593.48/1593.92 c 1593s | 27 | 40127583 | 16586933 | 942 43972 | 8 | 19 1595.48/1595.93 c 1595s | 27 | 40171827 | 16606833 | 942 44015 | 8 | 19 1597.48/1597.93 c 1597s | 27 | 40219062 | 16626733 | 942 44057 | 8 | 19 1599.48/1599.94 c 1599s | 27 | 40267008 | 16646733 | 942 44099 | 8 | 19 1601.48/1601.95 c 1601s | 27 | 40312451 | 16666433 | 942 44141 | 8 | 19 1603.49/1603.95 c 1603s | 27 | 40359461 | 16686333 | 942 44184 | 8 | 19 1605.48/1605.97 c 1605s | 27 | 40405444 | 16706833 | 942 44228 | 8 | 19 1607.48/1607.98 c 1607s | 27 | 40453021 | 16727333 | 942 44271 | 8 | 19 1609.48/1609.99 c 1609s | 27 | 40500247 | 16748533 | 942 44317 | 8 | 19 1611.48/1611.99 c 1611s | 27 | 40548489 | 16769733 | 942 44362 | 8 | 19 1613.58/1614.01 c 1613s | 27 | 40595167 | 16789233 | 942 44404 | 8 | 19 1615.58/1616.01 c 1615s | 27 | 40645108 | 16809333 | 942 44446 | 8 | 19 1617.58/1618.01 c 1617s | 27 | 40692712 | 16829333 | 942 44488 | 8 | 19 1619.58/1620.01 c 1619s | 27 | 40739796 | 16849333 | 942 44530 | 8 | 19 1621.58/1622.02 c 1621s | 27 | 40787203 | 16869233 | 942 44572 | 8 | 19 1623.58/1624.02 c 1623s | 27 | 40836636 | 16889233 | 942 44615 | 8 | 19 1625.58/1626.02 c 1625s | 27 | 40883273 | 16909433 | 942 44658 | 8 | 19 1627.58/1628.03 c 1627s | 27 | 40931722 | 16929233 | 942 44700 | 8 | 19 1629.58/1630.03 c 1629s | 27 | 40981023 | 16949233 | 942 44742 | 8 | 19 1631.58/1632.04 c 1631s | 27 | 41028888 | 16968933 | 942 44783 | 8 | 19 1633.58/1634.04 c 1633s | 27 | 41076915 | 16988933 | 1037 44822 | 8 | 19 1635.58/1636.04 c 1635s | 27 | 41124689 | 17008933 | 1037 44861 | 8 | 19 1637.59/1638.05 c 1637s | 27 | 41174524 | 17029633 | 1037 44901 | 8 | 19 1639.58/1640.05 c 1639s | 27 | 41221042 | 17049133 | 1037 44938 | 8 | 19 1641.58/1642.06 c 1641s | 27 | 41268130 | 17069233 | 1037 44977 | 8 | 19 1643.58/1644.07 c 1643s | 27 | 41315538 | 17089033 | 1037 45015 | 8 | 19 1644.18/1644.69 c 1644s | 28 | 41330456 | 17095205 | 1037 45027 | 8 | 19 1646.18/1646.69 c 1646s | 28 | 41383365 | 17115305 | 1037 45065 | 8 | 19 1648.18/1648.69 c 1648s | 28 | 41433766 | 17135105 | 1037 45103 | 8 | 19 1650.28/1650.70 c 1650s | 28 | 41484880 | 17155505 | 1037 45142 | 8 | 19 1652.27/1652.71 c 1652s | 28 | 41535905 | 17175605 | 1037 45180 | 8 | 19 1654.27/1654.71 c 1654s | 28 | 41584683 | 17195805 | 1037 45219 | 8 | 19 1656.28/1656.72 c 1656s | 28 | 41636516 | 17216905 | 1037 45260 | 8 | 19 1658.27/1658.72 c 1658s | 28 | 41685736 | 17237705 | 1037 45300 | 8 | 19 1660.27/1660.73 c 1660s | 28 | 41735437 | 17258405 | 1037 45339 | 8 | 19 1662.27/1662.73 c 1662s | 28 | 41785397 | 17279405 | 1037 45380 | 8 | 19 1664.27/1664.74 c 1664s | 28 | 41831642 | 17299405 | 1037 45418 | 8 | 19 1666.28/1666.74 c 1666s | 28 | 41878008 | 17318805 | 1037 45455 | 8 | 19 1668.27/1668.75 c 1668s | 28 | 41924678 | 17338105 | 1037 45492 | 8 | 19 1670.27/1670.75 c 1670s | 28 | 41972055 | 17357905 | 1037 45530 | 8 | 19 1672.27/1672.76 c 1672s | 28 | 42017924 | 17377205 | 1037 45567 | 8 | 19 1674.27/1674.76 c 1674s | 28 | 42065672 | 17397305 | 1037 45606 | 8 | 19 1676.27/1676.76 c 1676s | 28 | 42112960 | 17417605 | 1037 45645 | 8 | 19 1678.27/1678.77 c 1678s | 28 | 42160126 | 17437105 | 1037 45682 | 8 | 19 1680.27/1680.77 c 1680s | 28 | 42208821 | 17456705 | 1037 45720 | 8 | 19 1682.27/1682.78 c 1682s | 28 | 42257613 | 17477105 | 1037 45759 | 8 | 19 1684.27/1684.79 c 1684s | 28 | 42306150 | 17497205 | 1037 45797 | 8 | 19 1686.27/1686.79 c 1686s | 28 | 42355368 | 17517905 | 1037 45837 | 8 | 19 1688.27/1688.79 c 1688s | 28 | 42403459 | 17538305 | 1037 45876 | 8 | 19 1690.27/1690.80 c 1690s | 28 | 42450971 | 17558905 | 1037 45916 | 8 | 19 1692.37/1692.80 c 1692s | 28 | 42498606 | 17579505 | 1037 45956 | 8 | 19 1694.37/1694.80 c 1694s | 28 | 42548688 | 17599705 | 1037 45994 | 8 | 19 1696.37/1696.81 c 1696s | 28 | 42600552 | 17620305 | 1037 46034 | 8 | 19 1698.37/1698.81 c 1698s | 28 | 42651207 | 17641005 | 1037 46073 | 8 | 19 1700.38/1700.82 c 1700s | 28 | 42700569 | 17661405 | 1037 46113 | 8 | 19 1702.37/1702.82 c 1702s | 28 | 42750170 | 17682305 | 1037 46153 | 8 | 19 1704.37/1704.83 c 1704s | 28 | 42799824 | 17703305 | 1037 46193 | 8 | 19 1706.37/1706.83 c 1706s | 28 | 42849867 | 17724605 | 1037 46234 | 8 | 19 1708.37/1708.84 c 1708s | 28 | 42898414 | 17744705 | 1037 46273 | 8 | 19 1710.37/1710.85 c 1710s | 28 | 42948322 | 17764805 | 1037 46311 | 8 | 19 1712.37/1712.85 c 1712s | 28 | 42996353 | 17784705 | 1037 46349 | 8 | 19 1714.37/1714.85 c 1714s | 28 | 43045391 | 17805105 | 1037 46389 | 8 | 19 1716.37/1716.85 c 1716s | 28 | 43093418 | 17825605 | 1037 46428 | 8 | 19 1718.37/1718.85 c 1718s | 28 | 43141081 | 17845905 | 1037 46467 | 8 | 19 1720.37/1720.86 c 1720s | 28 | 43187883 | 17866205 | 1037 46506 | 8 | 19 1722.37/1722.86 c 1722s | 28 | 43239268 | 17886505 | 1037 46545 | 8 | 19 1724.36/1724.87 c 1724s | 28 | 43286138 | 17905805 | 1037 46582 | 8 | 19 1726.36/1726.88 c 1726s | 28 | 43333557 | 17925105 | 1037 46619 | 8 | 19 1728.36/1728.88 c 1728s | 28 | 43378274 | 17944305 | 1037 46656 | 8 | 19 1730.36/1730.89 c 1730s | 28 | 43423584 | 17963405 | 1037 46693 | 8 | 19 1732.36/1732.89 c 1732s | 28 | 43473033 | 17983705 | 1037 46732 | 8 | 19 1734.37/1734.90 c 1734s | 28 | 43519761 | 18003205 | 1037 46770 | 8 | 19 1736.46/1736.91 c 1736s | 28 | 43567761 | 18023005 | 1037 46808 | 8 | 19 1738.46/1738.91 c 1738s | 28 | 43612550 | 18042205 | 1037 46845 | 8 | 19 1740.46/1740.92 c 1740s | 28 | 43661337 | 18062405 | 1037 46883 | 8 | 19 1742.46/1742.93 c 1742s | 28 | 43709734 | 18083405 | 1037 46924 | 8 | 19 1744.46/1744.94 c 1744s | 28 | 43756639 | 18103805 | 1037 46963 | 8 | 19 1746.46/1746.94 c 1746s | 28 | 43803831 | 18123705 | 1037 47001 | 8 | 19 1748.47/1748.94 c 1748s | 28 | 43849088 | 18142505 | 1037 47037 | 8 | 19 1750.46/1750.95 c 1750s | 28 | 43893901 | 18161505 | 1037 47074 | 8 | 19 1752.46/1752.95 c 1752s | 28 | 43937894 | 18180705 | 1037 47111 | 8 | 19 1754.46/1754.96 c 1754s | 28 | 43982086 | 18200005 | 1037 47148 | 8 | 19 1756.47/1756.96 c 1756s | 28 | 44029096 | 18219905 | 1037 47187 | 8 | 19 1758.46/1758.97 c 1758s | 28 | 44075806 | 18240205 | 1037 47226 | 8 | 19 1760.46/1760.97 c 1760s | 28 | 44122923 | 18260405 | 1037 47265 | 8 | 19 1762.46/1762.97 c 1762s | 28 | 44171262 | 18281005 | 1037 47304 | 8 | 19 1764.46/1764.98 c 1764s | 28 | 44217965 | 18301505 | 1037 47344 | 8 | 19 1766.46/1766.98 c 1766s | 28 | 44269219 | 18322305 | 1037 47384 | 8 | 19 1768.47/1768.99 c 1768s | 28 | 44317325 | 18342505 | 1037 47423 | 8 | 19 1770.46/1770.99 c 1770s | 28 | 44364357 | 18363005 | 1037 47463 | 8 | 19 1772.56/1773.00 c 1772s | 28 | 44412798 | 18384205 | 1037 47504 | 8 | 19 1774.56/1775.01 c 1774s | 28 | 44462272 | 18405605 | 1037 47545 | 8 | 19 1776.56/1777.01 c 1776s | 28 | 44510534 | 18426205 | 1037 47585 | 8 | 19 1778.56/1779.01 c 1778s | 28 | 44558176 | 18447405 | 1037 47626 | 8 | 19 1780.56/1781.02 c 1780s | 28 | 44605632 | 18468205 | 1037 47666 | 8 | 19 1782.55/1783.03 c 1782s | 28 | 44651859 | 18487305 | 1037 47702 | 8 | 19 1784.55/1785.03 c 1784s | 28 | 44701304 | 18507305 | 1037 47741 | 8 | 19 1786.55/1787.03 c 1786s | 28 | 44749672 | 18527405 | 1037 47779 | 8 | 19 1788.55/1789.04 c 1788s | 28 | 44800443 | 18547405 | 1037 47818 | 8 | 19 1790.56/1791.05 c 1790s | 28 | 44850263 | 18567705 | 1037 47857 | 8 | 19 1792.55/1793.05 c 1792s | 28 | 44898475 | 18587905 | 1037 47895 | 8 | 19 1794.55/1795.05 c 1794s | 28 | 44945609 | 18608205 | 1037 47934 | 8 | 19 1796.55/1797.06 c 1796s | 28 | 44995300 | 18628805 | 1037 47974 | 8 | 19 1798.55/1799.06 c 1798s | 28 | 45042973 | 18649305 | 1037 48013 | 8 | 19
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-4079706-1465243349/watcher-4079706-1465243349 -o /tmp/evaluation-result-4079706-1465243349/solver-4079706-1465243349 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079706-1465243349.opb pid=10107 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.13 2.09 3/179 10110 /proc/meminfo: memFree=29576544/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 2702 0 0 0 0 0 0 0 20 0 4 0 106269465 741797888 3064 33554432000 4194304 16246674 140735938426656 140735938426080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 181615 3073 441 2943 0 178509 0 [pid=10110/tid=10111] ppid=10107 vsize=741820 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 759623680 3132 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=745916 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 763817984 3147 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=750012 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269465 768012288 3164 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100163 s] /proc/loadavg: 2.08 2.13 2.09 3/179 10110 /proc/meminfo: memFree=29576544/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 23255 0 0 0 5 3 0 0 20 0 4 0 106269465 1247350784 23602 33554432000 4194304 16246674 140735938426656 140735938408576 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 304529 23607 784 2943 0 301423 0 [pid=10110/tid=10111] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 23612 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 23621 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 23627 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200568 s] /proc/loadavg: 2.08 2.13 2.09 3/179 10110 /proc/meminfo: memFree=29576544/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 41016 0 0 0 12 6 0 0 20 0 4 0 106269465 1247350784 41364 33554432000 4194304 16246674 140735938426656 140735938408576 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 304529 41377 784 2943 0 301423 0 [pid=10110/tid=10111] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 41382 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 41386 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 41390 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300459 s] /proc/loadavg: 2.08 2.13 2.09 3/179 10110 /proc/meminfo: memFree=29576544/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 58529 0 0 0 20 9 0 0 20 0 4 0 106269465 1247350784 58876 33554432000 4194304 16246674 140735938426656 140735938408576 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 304529 58882 784 2943 0 301423 0 [pid=10110/tid=10111] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 58884 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 58893 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 58898 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700396 s] /proc/loadavg: 2.08 2.13 2.09 3/179 10110 /proc/meminfo: memFree=29576544/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 127312 0 0 0 52 17 0 0 20 0 4 0 106269465 1247350784 127660 33554432000 4194304 16246674 140735938426656 140735938408576 13191557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 304529 127666 784 2943 0 301423 0 [pid=10110/tid=10111] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 127668 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 127678 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269465 1247350784 127682 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.08 2.13 2.09 4/183 10114 /proc/meminfo: memFree=28794644/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 245677 0 0 0 117 32 0 0 20 0 4 0 106269465 1248399360 246003 33554432000 4194304 16246674 140735938426656 140735938425968 5662156 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 304785 246003 844 2943 0 301679 0 [pid=10110/tid=10111] ppid=10107 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1248399360 246003 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1248399360 246003 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1248399360 246003 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10035 s] /proc/loadavg: 2.08 2.13 2.09 3/183 10114 /proc/meminfo: memFree=28593020/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1305156 CPUtime=3.08 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 267341 0 0 0 274 34 0 0 20 0 4 0 106269465 1336479744 267667 33554432000 4194304 16246674 140735938426656 140735938408576 6000340 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 326289 267667 844 2943 0 323183 0 [pid=10110/tid=10111] ppid=10107 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1336479744 267667 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1336479744 267667 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1336479744 267667 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1305156 [startup+6.30041 s] /proc/loadavg: 1.99 2.11 2.08 3/183 10212 /proc/meminfo: memFree=28777816/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 267502 0 0 0 594 34 0 0 20 0 4 0 106269465 1337528320 267828 33554432000 4194304 16246674 140735938426656 140735938408576 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 326545 267828 844 2943 0 323439 0 [pid=10110/tid=10111] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267828 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267828 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267828 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.07 2.13 2.09 3/183 10212 /proc/meminfo: memFree=28606644/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1306180 CPUtime=12.68 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 267528 0 0 0 1234 34 0 0 20 0 4 0 106269465 1337528320 267854 33554432000 4194304 16246674 140735938426656 140735938408576 13950218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 326545 267854 844 2943 0 323439 0 [pid=10110/tid=10111] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267854 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267854 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267854 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5074 s] /proc/loadavg: 2.06 2.12 2.09 3/183 10212 /proc/meminfo: memFree=28607316/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1306180 CPUtime=25.5 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 267569 0 0 0 2515 35 0 0 20 0 4 0 106269465 1337528320 267895 33554432000 4194304 16246674 140735938426656 140735938408576 13923712 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 326545 267895 844 2943 0 323439 0 [pid=10110/tid=10111] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267895 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267895 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267895 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1306180 [startup+51.1004 s] /proc/loadavg: 2.24 2.16 2.10 3/183 10212 /proc/meminfo: memFree=28604036/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1306180 CPUtime=51.08 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 267634 0 0 0 5073 35 0 0 20 0 4 0 106269465 1337528320 267960 33554432000 4194304 16246674 140735938426656 140735938408576 5822964 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 326545 267960 846 2943 0 323439 0 [pid=10110/tid=10111] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267960 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267960 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267960 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.27 2.18 2.11 3/183 10213 /proc/meminfo: memFree=28604308/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1306180 CPUtime=102.27 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 267635 0 0 0 10191 36 0 0 20 0 4 0 106269465 1337528320 267961 33554432000 4194304 16246674 140735938426656 140735938408576 5676258 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 326545 267961 846 2943 0 323439 0 [pid=10110/tid=10111] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267961 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267961 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1337528320 267961 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1311300 [startup+1302.3 s] /proc/loadavg: 2.30 2.27 2.17 3/183 10243 /proc/meminfo: memFree=28592032/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1301.93 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 130136 57 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 6020879 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1311300 [startup+1362.3 s] /proc/loadavg: 2.20 2.25 2.17 3/183 10244 /proc/meminfo: memFree=28592292/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1361.92 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 136134 58 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 6862302 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1311300 [startup+1422.3 s] /proc/loadavg: 2.18 2.23 2.17 3/183 10246 /proc/meminfo: memFree=28592012/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1421.91 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 142132 59 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 5823340 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1311300 [startup+1482.3 s] /proc/loadavg: 2.17 2.22 2.16 3/183 10247 /proc/meminfo: memFree=28592376/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1481.9 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 148130 60 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 13191314 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1311300 [startup+1542.3 s] /proc/loadavg: 2.18 2.21 2.16 3/183 10248 /proc/meminfo: memFree=28592420/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1541.9 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 154130 60 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 6025239 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.29 2.23 2.17 3/183 10249 /proc/meminfo: memFree=28592420/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1601.88 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 160127 61 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 8224652 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1311300 [startup+1662.31 s] /proc/loadavg: 2.28 2.23 2.18 3/184 10253 /proc/meminfo: memFree=28591540/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1661.88 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 166126 62 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1311300 [startup+1722.3 s] /proc/loadavg: 2.21 2.22 2.18 3/183 10255 /proc/meminfo: memFree=28591716/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1721.87 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 172124 63 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 5545984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.15 2.20 2.18 3/183 10256 /proc/meminfo: memFree=28591696/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1781.85 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 178121 64 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 6022984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.25 2.22 2.18 3/183 10256 /proc/meminfo: memFree=28592136/32872528 swapFree=12208/1156848 [pid=10110] ppid=10107 vsize=1311300 CPUtime=1800.05 cores=0,2,4,6 /proc/10110/stat : 10110 (toysat) R 10107 10110 9895 0 -1 4202496 269214 0 0 0 179941 64 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 140735938408576 13191840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10110/statm: 327825 269247 848 2943 0 324719 0 [pid=10110/tid=10111] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10111/stat : 10111 (toysat) S 10107 10110 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679116537072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10110/tid=10112] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10112/stat : 10112 (toysat) S 10107 10110 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679106047216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10110/tid=10113] ppid=10107 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/10110/task/10113/stat : 10113 (toysat) S 10107 10110 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106269465 1342771200 269247 33554432000 4194304 16246674 140735938426656 139679095573680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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 10110 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.42 CPU system time (s): 0.648901 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 1311300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.648901 maximum resident set size= 1076988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269214 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= 311 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.138 second user time and 16.0386 second system time The end
Begin job on node114 at 2016-06-06 22:02:29 IDJOB=4079706 IDBENCH=2874 IDSOLVER=2542 FILE ID=node114/4079706-1465243349 RUNJOBID= node114-1465241547-9911 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_15.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079706-1465243349/watcher-4079706-1465243349 -o /tmp/evaluation-result-4079706-1465243349/solver-4079706-1465243349 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079706-1465243349.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7e1b8a9f40a52781f7629bf04a2d5793 RANDOM SEED=1654401311 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29577088 kB Buffers: 39968 kB Cached: 209432 kB SwapCached: 1724 kB Active: 1304656 kB Inactive: 130992 kB Active(anon): 1187440 kB Inactive(anon): 1200 kB Active(file): 117216 kB Inactive(file): 129792 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096600 kB Dirty: 16360 kB Writeback: 0 kB AnonPages: 2342572 kB Mapped: 10748 kB Shmem: 0 kB Slab: 568956 kB SReclaimable: 13244 kB SUnreclaim: 555712 kB KernelStack: 1496 kB PageTables: 8892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2486440 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2326528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node114 at 2016-06-06 22:32:30