| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.52 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_2.opb |
| MD5SUM | b5a23f46b7c8ffe564ae87cb51d69480 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -48 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -59 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 4984 |
| Sum of products size (including duplicates) | 9968 |
| Number of different products | 2492 |
| Sum of products size | 4984 |
0.00/0.00 c 2016-06-18T21:36:28+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106808-1466278587.opb"] 0.00/0.01 c use --random-gen="2328927139 2826526681 335662230 2185144194 3258240624 2479105790 747370133 2107634754 363508402 2388874256 277656551 2309389389 3646550061 2167736510 2361184436 1106208074 4253851787 1310571182 3711087614 1099082630 4256347119 3138635637 2619341705 1398564019 197836559 394214745 3986150394 3979922365 1105740814 2766513134 1157412786 1975509762 464587056 2340185496 3456807692 3024640933 1686516659 92673710 15883935 1606903723 2170477306 211649301 903217961 2481688945 2574360206 574045564 1671244051 2571995421 3107163711 2463018282 3472688162 285790119 1305426327 1243299825 1573690373 239736059 2267900036 80510764 400706185 4133599729 531647703 1887152234 1682505270 1463655672 2939223085 1118450857 2671780983 179847855 3045555970 3271759972 1738522013 760708511 2389995242 3406583253 1442882589 656238649 327322494 2500720505 3235726044 4034699215 1590532120 1339762454 842660528 1904569597 2652209768 4007741903 3002244485 2093743901 1227425811 61168391 2595660833 2222049074 2786792201 1671397887 1574133794 1462043408 1742797053 2589556542 3893622002 908635618 3047769097 1836058512 2825096057 3255921005 1743746877 873055796 1406945455 4141358721 2079906729 1346157313 2406564968 1920572354 2366872427 687479400 1125581578 1810919249 198198333 1884963465 1480356514 552026376 57301343 3039120253 3084399418 2462905545 97252645 1313579798 4004829663 2118840787 2074496249 70023671 498964094 2343501770 3343026192 3532685354 3709073192 3337883933 3213406475 2232927620 120089135 1878818602 2278582132 176015980 3499287026 3227209163 1233576776 2560977705 4212717653 3915640840 905540358 695259409 482925725 3592402239 1200126920 202318057 2874676120 68139161 1536172306 1344359461 1021824862 2538373549 2787268616 3482420108 2582229571 1212396657 237367700 3312352961 2694955820 897924396 69022623 1605828775 730594109 3008954525 2449092417 3408124159 1628098758 1758120135 2834200898 4165324308 1385018358 4277326982 3269408814 408083904 2768473057 151961887 3436389644 739024301 3868969728 776228434 3032190189 1722254244 1133759693 4107533577 2113814041 1514876657 2579931091 2917673858 3451983080 3393027856 773898416 418347275 3661240672 2893301417 3468847143 673540767 1068523247 3157698077 788230449 4020464076 930960776 550642649 3286604519 2286454107 3149154874 2413321438 1835810491 1176423127 1351863136 4279454701 1761053988 367649216 83068767 641779468 786505275 3795740236 782282052 396386889 1187997512 943622467 3528725905 2131510617 3514812095 4257926795 268658133 4077282557 1447920110 2663660374 1059009717 1845070705 1838395510 408339194 1551200008 2520774241 1990977988 307182789 1866568139 805603297 1027001727 1083585702 1365306478 4032919457 4212046626 165452640 2656465928 1249710601 1674603499 2979684091 255 362436" option to reproduce the execution 0.00/0.03 c #vars 400 0.00/0.03 c #constraints 601 0.00/0.09 c BCD2: Hardening is enabled. 0.00/0.09 c BCD2: BiasedSearch is enabled. 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 1995 0 | 0 | 0 0.09/0.10 c 0.0s | 0 | 293 | 1 | 1995 0 | 0 | 0 0.09/0.10 c #cpu_time = 0.005s 0.09/0.10 c #wall_clock_time = 0.005s 0.09/0.10 c #decision = 293 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 1 0.09/0.10 c #restart = 0 0.09/0.10 o -34 0.09/0.11 c BCD2: updating upper bound: 200 -> 165 0.09/0.11 c BCD2: 0 <= obj <= 165 0.09/0.11 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 1995 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 106 | 2 | 1995 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.004s 0.09/0.11 c #wall_clock_time = 0.004s 0.09/0.11 c #decision = 106 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 2 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 100: cost of the new core is >=1 0.09/0.11 c lower bound updated to -199 0.09/0.11 c BCD2: 1 <= obj <= 165 0.09/0.11 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 1995 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 101 | 1 | 1995 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.009s 0.09/0.12 c #wall_clock_time = 0.009s 0.09/0.12 c #decision = 101 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.09/0.12 c lower bound updated to -198 0.09/0.12 c BCD2: 2 <= obj <= 165 0.09/0.12 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 1995 0 | 1 | 0 0.09/0.17 c 0.0s | 1 | 2917 | 100 | 2195 0 | 1 | 1 0.29/0.35 c 0.2s | 2 | 10639 | 250 | 2415 0 | 1 | 1 0.69/0.77 c 0.7s | 3 | 15635 | 475 | 2657 0 | 1 | 1 1.29/1.32 c 1.2s | 4 | 21349 | 813 | 2923 0 | 1 | 1 2.39/2.42 c 2.3s | 5 | 23001 | 1320 | 3216 0 | 1 | 1 3.89/3.96 c 3.8s | 6 | 25716 | 2081 | 3538 0 | 1 | 1 5.99/6.07 c 6.0s | 6 | 29008 | 2981 | 3538 0 | 1 | 1 6.39/6.41 c 6.3s | 7 | 31283 | 3223 | 3892 0 | 1 | 1 8.39/8.45 c 8.3s | 7 | 45424 | 4423 | 3892 1 | 1 | 1 9.59/9.64 c 9.5s | 8 | 45953 | 4936 | 4282 1 | 1 | 1 11.59/11.67 c 11.5s | 8 | 65560 | 6336 | 4282 1 | 1 | 1 13.69/13.76 c 13.6s | 8 | 76436 | 7436 | 4282 2 | 1 | 1 13.89/13.92 c 13.8s | 9 | 76499 | 7506 | 4711 2 | 1 | 1 15.89/15.94 c 15.8s | 9 | 85978 | 8706 | 4711 2 | 1 | 1 17.89/17.97 c 17.9s | 9 | 114391 | 10306 | 4711 3 | 1 | 1 19.39/19.44 c 19.3s | 10 | 127853 | 11361 | 5183 3 | 1 | 1 21.49/21.50 c 21.4s | 10 | 167364 | 13161 | 5183 4 | 1 | 1 23.48/23.52 c 23.4s | 10 | 198077 | 14861 | 5183 5 | 1 | 1 25.58/25.63 c 25.5s | 10 | 231100 | 16961 | 5183 5 | 1 | 1 25.78/25.86 c 25.7s | 11 | 235295 | 17144 | 5702 5 | 1 | 1 27.79/27.86 c 27.7s | 11 | 275785 | 18744 | 5702 6 | 1 | 1 29.89/29.93 c 29.8s | 11 | 333311 | 21344 | 5702 7 | 1 | 1 31.90/31.94 c 31.8s | 11 | 389333 | 23344 | 5702 7 | 1 | 1 33.89/33.97 c 33.9s | 11 | 438114 | 24944 | 5702 8 | 1 | 1 35.20/35.25 c 35.1s | 12 | 465139 | 25819 | 6273 8 | 1 | 1 37.19/37.25 c 37.1s | 12 | 499090 | 27119 | 6273 8 | 1 | 1 39.29/39.34 c 39.2s | 12 | 532328 | 28619 | 6273 9 | 1 | 1 41.29/41.36 c 41.2s | 12 | 558684 | 30219 | 6273 9 | 1 | 1 43.39/43.44 c 43.3s | 12 | 596815 | 31719 | 6273 10 | 1 | 1 45.39/45.44 c 45.3s | 12 | 640182 | 33319 | 6273 10 | 1 | 1 47.48/47.50 c 47.4s | 12 | 685589 | 35519 | 6273 11 | 1 | 1 49.49/49.56 c 49.4s | 12 | 721156 | 37019 | 6273 12 | 1 | 1 51.08/51.18 c 51.1s | 13 | 763866 | 38832 | 6901 12 | 1 | 1 53.18/53.22 c 53.1s | 13 | 818447 | 40632 | 6901 13 | 1 | 1 55.18/55.28 c 55.2s | 13 | 871150 | 42532 | 6901 13 | 1 | 1 57.29/57.33 c 57.2s | 13 | 934118 | 44532 | 6901 14 | 1 | 1 59.28/59.38 c 59.3s | 13 | 983447 | 46532 | 6901 14 | 1 | 1 61.38/61.47 c 61.3s | 13 | 1057353 | 48732 | 6901 15 | 1 | 1 63.48/63.55 c 63.4s | 13 | 1104476 | 50632 | 6901 15 | 1 | 1 65.58/65.65 c 65.5s | 13 | 1162987 | 52632 | 6901 16 | 1 | 1 67.68/67.74 c 67.6s | 13 | 1202499 | 54632 | 6901 16 | 1 | 1 69.68/69.77 c 69.7s | 13 | 1263022 | 56732 | 6901 17 | 1 | 1 71.59/71.65 c 71.5s | 14 | 1294451 | 58352 | 7592 17 | 1 | 1 73.58/73.70 c 73.6s | 14 | 1318643 | 60052 | 7592 18 | 1 | 1 75.68/75.77 c 75.6s | 14 | 1343077 | 61752 | 7592 18 | 1 | 1 77.78/77.80 c 77.7s | 14 | 1363835 | 63452 | 7592 19 | 1 | 1 79.78/79.83 c 79.7s | 14 | 1384324 | 65152 | 7592 19 | 1 | 1 81.88/81.99 c 81.9s | 14 | 1410380 | 67252 | 7592 20 | 1 | 1 83.98/84.02 c 83.9s | 14 | 1434392 | 69152 | 7592 20 | 1 | 1 85.98/86.09 c 86.0s | 14 | 1466091 | 71052 | 7592 21 | 1 | 1 88.08/88.14 c 88.0s | 14 | 1486289 | 73052 | 7592 21 | 1 | 1 90.08/90.16 c 90.0s | 14 | 1496082 | 75052 | 7592 22 | 1 | 1 92.18/92.24 c 92.1s | 14 | 1517628 | 77152 | 7592 22 | 1 | 1 94.87/94.91 c 94.8s | 14 | 1532958 | 78752 | 7592 23 | 1 | 1 96.88/96.91 c 96.8s | 14 | 1600002 | 80652 | 7592 23 | 1 | 1 98.87/98.98 c 98.9s | 14 | 1630657 | 82152 | 7592 23 | 1 | 1 100.97/101.01 c 100s | 14 | 1681095 | 84052 | 7592 24 | 1 | 1 103.07/103.11 c 102s | 14 | 1712105 | 86052 | 7592 24 | 1 | 1 104.37/104.48 c 104s | 15 | 1746666 | 87632 | 8352 25 | 1 | 1 106.57/106.60 c 106s | 15 | 1773594 | 89332 | 8352 25 | 1 | 1 108.57/108.61 c 108s | 15 | 1816732 | 91332 | 8352 26 | 1 | 1 110.57/110.65 c 110s | 15 | 1883465 | 93332 | 8352 26 | 1 | 1 112.67/112.71 c 112s | 15 | 1918195 | 95232 | 8352 26 | 1 | 1 114.77/114.82 c 114s | 15 | 1958281 | 96932 | 8352 27 | 1 | 1 116.77/116.85 c 116s | 15 | 1987590 | 98932 | 8352 27 | 1 | 1 118.87/118.95 c 118s | 15 | 2011825 | 100432 | 8352 28 | 1 | 1 120.87/120.99 c 120s | 15 | 2049570 | 102132 | 8352 28 | 1 | 1 122.97/123.02 c 122s | 15 | 2056035 | 103532 | 8352 28 | 1 | 1 124.97/125.08 c 124s | 15 | 2086818 | 105332 | 8352 29 | 1 | 1 127.07/127.13 c 127s | 15 | 2118519 | 107532 | 8352 29 | 1 | 1 129.17/129.20 c 129s | 15 | 2134688 | 109132 | 8352 30 | 1 | 1 131.17/131.20 c 131s | 15 | 2157031 | 110932 | 8352 30 | 1 | 1 133.17/133.24 c 133s | 15 | 2166614 | 112532 | 8352 30 | 1 | 1 135.17/135.26 c 135s | 15 | 2176695 | 114032 | 8352 31 | 1 | 1 137.27/137.33 c 137s | 15 | 2188582 | 115732 | 8352 31 | 1 | 1 139.37/139.44 c 139s | 15 | 2200713 | 117332 | 8352 32 | 1 | 1 141.37/141.44 c 141s | 15 | 2212851 | 119132 | 8352 32 | 1 | 1 143.37/143.45 c 143s | 15 | 2219887 | 121032 | 8352 32 | 1 | 1 145.47/145.51 c 145s | 15 | 2228827 | 122832 | 8352 33 | 1 | 1 147.48/147.54 c 147s | 15 | 2250720 | 124732 | 8352 33 | 1 | 1 149.47/149.56 c 149s | 15 | 2268103 | 126332 | 8352 34 | 1 | 1 151.47/151.59 c 151s | 15 | 2297439 | 128032 | 8352 34 | 1 | 1 153.57/153.67 c 153s | 15 | 2325656 | 129832 | 8352 35 | 1 | 1 155.67/155.70 c 155s | 15 | 2371863 | 131232 | 9188 35 | 1 | 1 155.97/156.04 c 155s | 16 | 2382352 | 131552 | 9188 35 | 1 | 1 157.97/158.06 c 157s | 16 | 2427841 | 133352 | 9188 35 | 1 | 1 160.07/160.12 c 159s | 16 | 2457561 | 134852 | 9188 36 | 1 | 1 162.07/162.13 c 162s | 16 | 2507704 | 136652 | 9188 36 | 1 | 1 164.07/164.18 c 164s | 16 | 2544074 | 138452 | 9188 36 | 1 | 1 166.17/166.25 c 166s | 16 | 2593755 | 140152 | 9188 37 | 1 | 1 168.27/168.32 c 168s | 16 | 2649648 | 141952 | 9188 37 | 1 | 1 170.27/170.34 c 170s | 16 | 2680543 | 143752 | 9188 37 | 1 | 1 172.27/172.36 c 172s | 16 | 2720891 | 145852 | 9188 38 | 1 | 1 174.37/174.41 c 174s | 16 | 2758456 | 147652 | 9188 38 | 1 | 1 176.37/176.44 c 176s | 16 | 2796738 | 149452 | 9188 39 | 1 | 1 178.37/178.44 c 178s | 16 | 2830632 | 151252 | 9188 39 | 1 | 1 180.37/180.46 c 180s | 16 | 2855608 | 152952 | 9188 39 | 1 | 1 182.37/182.48 c 182s | 16 | 2886706 | 154852 | 9188 40 | 1 | 1 184.47/184.58 c 184s | 16 | 2926427 | 156752 | 9188 40 | 1 | 1 186.56/186.64 c 186s | 16 | 2963318 | 158752 | 9188 41 | 1 | 1 188.66/188.71 c 188s | 16 | 3011928 | 160752 | 9188 41 | 1 | 1 190.76/190.83 c 190s | 16 | 3053848 | 162752 | 9188 42 | 1 | 1 192.86/192.91 c 192s | 16 | 3094999 | 164752 | 9188 42 | 1 | 1 194.96/195.02 c 194s | 16 | 3126616 | 166552 | 9188 42 | 1 | 1 196.97/197.02 c 196s | 16 | 3139281 | 167952 | 9188 43 | 1 | 1 199.07/199.14 c 199s | 16 | 3153057 | 169652 | 9188 43 | 1 | 1 201.06/201.18 c 201s | 16 | 3172894 | 171352 | 9188 43 | 1 | 1 203.16/203.20 c 203s | 16 | 3184163 | 172852 | 9188 44 | 1 | 1 205.16/205.24 c 205s | 16 | 3199299 | 174452 | 9188 44 | 1 | 1 207.26/207.34 c 207s | 16 | 3209656 | 175952 | 9188 44 | 1 | 1 209.26/209.38 c 209s | 16 | 3220340 | 177452 | 9188 45 | 1 | 1 211.36/211.44 c 211s | 16 | 3235753 | 179452 | 9188 45 | 1 | 1 213.37/213.50 c 213s | 16 | 3246280 | 181252 | 9188 45 | 1 | 1 215.46/215.54 c 215s | 16 | 3258112 | 182152 | 9188 46 | 1 | 1 217.76/217.84 c 217s | 16 | 3297048 | 184052 | 9188 46 | 1 | 1 219.85/219.92 c 219s | 16 | 3322958 | 186052 | 9188 46 | 1 | 1 221.95/222.03 c 221s | 16 | 3356072 | 187852 | 9188 47 | 1 | 1 223.95/224.07 c 223s | 16 | 3391754 | 189652 | 9188 47 | 1 | 1 226.05/226.13 c 226s | 16 | 3427212 | 191352 | 9188 48 | 1 | 1 228.15/228.22 c 228s | 16 | 3476495 | 193552 | 9188 48 | 1 | 1 230.15/230.26 c 230s | 16 | 3516460 | 195352 | 9188 48 | 1 | 1 232.25/232.30 c 232s | 16 | 3531068 | 196952 | 10107 49 | 1 | 1 232.85/232.91 c 232s | 17 | 3540067 | 197432 | 10107 49 | 1 | 1 234.85/234.92 c 234s | 17 | 3570365 | 198832 | 10107 49 | 1 | 1 236.95/237.00 c 236s | 17 | 3597578 | 200732 | 10107 49 | 1 | 1 238.95/239.03 c 238s | 17 | 3624204 | 202332 | 10107 50 | 1 | 1 241.05/241.12 c 241s | 17 | 3656074 | 204432 | 10107 50 | 1 | 1 243.06/243.15 c 243s | 17 | 3691996 | 206232 | 10107 50 | 1 | 1 245.05/245.17 c 245s | 17 | 3731294 | 207932 | 10107 51 | 1 | 1 247.05/247.19 c 247s | 17 | 3772822 | 210132 | 10107 51 | 1 | 1 249.15/249.27 c 249s | 17 | 3817483 | 212132 | 10107 52 | 1 | 1 251.25/251.31 c 251s | 17 | 3839852 | 214032 | 10107 52 | 1 | 1 253.25/253.35 c 253s | 17 | 3875344 | 215832 | 10107 52 | 1 | 1 255.35/255.40 c 255s | 17 | 3900208 | 217732 | 10107 53 | 1 | 1 257.35/257.42 c 257s | 17 | 3927315 | 219732 | 10107 53 | 1 | 1 259.35/259.48 c 259s | 17 | 3954552 | 221632 | 10107 53 | 1 | 1 261.45/261.53 c 261s | 17 | 3969001 | 223432 | 10107 54 | 1 | 1 263.55/263.62 c 263s | 17 | 3998654 | 225632 | 10107 54 | 1 | 1 265.65/265.70 c 265s | 17 | 4026327 | 227832 | 10107 55 | 1 | 1 267.65/267.74 c 267s | 17 | 4043527 | 230032 | 10107 55 | 1 | 1 269.65/269.77 c 269s | 17 | 4057376 | 231932 | 10107 55 | 1 | 1 271.75/271.89 c 271s | 17 | 4084243 | 234132 | 10107 56 | 1 | 1 273.85/273.91 c 273s | 17 | 4101198 | 235932 | 10107 56 | 1 | 1 275.95/276.09 c 275s | 17 | 4109609 | 237432 | 10107 57 | 1 | 1 278.04/278.12 c 277s | 17 | 4142623 | 238632 | 10107 57 | 1 | 1 280.15/280.22 c 280s | 17 | 4180894 | 240532 | 10107 57 | 1 | 1 282.25/282.31 c 282s | 17 | 4211201 | 242332 | 10107 57 | 1 | 1 284.25/284.38 c 284s | 17 | 4255645 | 244332 | 10107 58 | 1 | 1 286.35/286.46 c 286s | 17 | 4278601 | 246132 | 10107 58 | 1 | 1 288.45/288.52 c 288s | 17 | 4308401 | 247932 | 10107 59 | 1 | 1 290.55/290.62 c 290s | 17 | 4323281 | 249532 | 10107 59 | 1 | 1 292.66/292.72 c 292s | 17 | 4350809 | 251232 | 10107 59 | 1 | 1 294.65/294.72 c 294s | 17 | 4366186 | 253032 | 10107 60 | 1 | 1 296.75/296.82 c 296s | 17 | 4397412 | 255032 | 10107 60 | 1 | 1 298.85/298.94 c 298s | 17 | 4418380 | 256832 | 10107 60 | 1 | 1 300.85/300.98 c 300s | 17 | 4439393 | 258832 | 10107 61 | 1 | 1 302.95/303.01 c 302s | 17 | 4459501 | 260832 | 10107 61 | 1 | 1 305.05/305.12 c 304s | 17 | 4474878 | 262532 | 10107 61 | 1 | 1 307.05/307.18 c 307s | 17 | 4492205 | 264432 | 10107 62 | 1 | 1 309.15/309.23 c 309s | 17 | 4509599 | 266232 | 10107 62 | 1 | 1 311.15/311.25 c 311s | 17 | 4516058 | 267732 | 10107 62 | 1 | 1 313.25/313.31 c 313s | 17 | 4529853 | 269032 | 10107 63 | 1 | 1 315.35/315.40 c 315s | 17 | 4556293 | 270932 | 10107 63 | 1 | 1 317.34/317.48 c 317s | 17 | 4568666 | 272632 | 10107 63 | 1 | 1 319.44/319.52 c 319s | 17 | 4586680 | 274532 | 10107 64 | 1 | 1 321.54/321.66 c 321s | 17 | 4594995 | 275932 | 10107 64 | 1 | 1 323.54/323.70 c 323s | 17 | 4644700 | 277832 | 10107 64 | 1 | 1 325.65/325.75 c 325s | 17 | 4674631 | 279632 | 10107 65 | 1 | 1 328.04/328.11 c 327s | 17 | 4703560 | 281132 | 10107 65 | 1 | 1 330.05/330.13 c 330s | 17 | 4736566 | 282932 | 10107 65 | 1 | 1 332.04/332.19 c 332s | 17 | 4757754 | 284432 | 10107 66 | 1 | 1 334.14/334.25 c 334s | 17 | 4793601 | 286132 | 10107 66 | 1 | 1 336.24/336.31 c 336s | 17 | 4830025 | 288032 | 10107 66 | 1 | 1 338.34/338.42 c 338s | 17 | 4846512 | 289532 | 10107 67 | 1 | 1 340.34/340.46 c 340s | 17 | 4871413 | 291432 | 10107 67 | 1 | 1 342.44/342.52 c 342s | 17 | 4889284 | 293232 | 10107 67 | 1 | 1 344.44/344.55 c 344s | 17 | 4908422 | 294932 | 11118 67 | 1 | 1 346.14/346.24 c 346s | 18 | 4931476 | 296252 | 11118 68 | 1 | 1 348.14/348.29 c 348s | 18 | 4952314 | 297652 | 11118 68 | 1 | 1 350.24/350.30 c 350s | 18 | 4983816 | 299052 | 11118 68 | 1 | 1 352.24/352.35 c 352s | 18 | 5015520 | 300552 | 11118 68 | 1 | 1 354.24/354.37 c 354s | 18 | 5037026 | 301952 | 11118 69 | 1 | 1 356.34/356.44 c 356s | 18 | 5058005 | 303552 | 11118 69 | 1 | 1 358.33/358.45 c 358s | 18 | 5078072 | 304852 | 11118 69 | 1 | 1 360.43/360.52 c 360s | 18 | 5116409 | 306452 | 11118 69 | 1 | 1 362.43/362.53 c 362s | 18 | 5143464 | 307952 | 11118 70 | 1 | 1 364.43/364.55 c 364s | 18 | 5162172 | 309452 | 11118 70 | 1 | 1 366.53/366.65 c 366s | 18 | 5183526 | 310952 | 11118 70 | 1 | 1 368.73/368.82 c 368s | 18 | 5208783 | 312252 | 11118 71 | 1 | 1 370.74/370.89 c 370s | 18 | 5245245 | 314152 | 11118 71 | 1 | 1 372.84/372.98 c 372s | 18 | 5283159 | 315952 | 11118 71 | 1 | 1 374.93/375.04 c 374s | 18 | 5308231 | 317452 | 11118 71 | 1 | 1 377.03/377.12 c 377s | 18 | 5322881 | 318852 | 11118 72 | 1 | 1 379.03/379.14 c 379s | 18 | 5337612 | 320452 | 11118 72 | 1 | 1 381.13/381.26 c 381s | 18 | 5352474 | 321852 | 11118 72 | 1 | 1 383.13/383.29 c 383s | 18 | 5388594 | 323352 | 11118 72 | 1 | 1 385.33/385.41 c 385s | 18 | 5413407 | 325252 | 11118 73 | 1 | 1 387.33/387.42 c 387s | 18 | 5436679 | 326752 | 11118 73 | 1 | 1 389.34/389.47 c 389s | 18 | 5460776 | 328452 | 11118 73 | 1 | 1 391.33/391.48 c 391s | 18 | 5470715 | 329852 | 11118 74 | 1 | 1 393.43/393.57 c 393s | 18 | 5497803 | 331452 | 11118 74 | 1 | 1 395.53/395.63 c 395s | 18 | 5535624 | 333252 | 11118 74 | 1 | 1 397.53/397.65 c 397s | 18 | 5560170 | 334852 | 11118 74 | 1 | 1 399.63/399.78 c 399s | 18 | 5578744 | 336652 | 11118 75 | 1 | 1 401.63/401.78 c 401s | 18 | 5608350 | 338352 | 11118 75 | 1 | 1 403.73/403.88 c 403s | 18 | 5631505 | 340052 | 11118 75 | 1 | 1 405.83/405.91 c 405s | 18 | 5650326 | 341652 | 11118 76 | 1 | 1 407.83/407.94 c 407s | 18 | 5674834 | 343252 | 11118 76 | 1 | 1 409.93/410.05 c 409s | 18 | 5692383 | 345152 | 11118 76 | 1 | 1 411.93/412.09 c 411s | 18 | 5706306 | 346652 | 11118 77 | 1 | 1 413.93/414.09 c 413s | 18 | 5720948 | 348352 | 11118 77 | 1 | 1 416.02/416.10 c 415s | 18 | 5735485 | 350052 | 11118 77 | 1 | 1 418.03/418.16 c 418s | 18 | 5746127 | 351652 | 11118 77 | 1 | 1 420.02/420.20 c 420s | 18 | 5752537 | 353152 | 11118 78 | 1 | 1 422.12/422.20 c 422s | 18 | 5773867 | 354352 | 11118 78 | 1 | 1 424.12/424.28 c 424s | 18 | 5792816 | 355952 | 11118 78 | 1 | 1 426.62/426.76 c 426s | 18 | 5824573 | 357152 | 11118 78 | 1 | 1 428.62/428.79 c 428s | 18 | 5865491 | 358652 | 11118 79 | 1 | 1 431.42/431.57 c 431s | 18 | 5904483 | 360652 | 11118 79 | 1 | 1 433.52/433.65 c 433s | 18 | 5928104 | 362252 | 11118 79 | 1 | 1 435.53/435.68 c 435s | 18 | 5972528 | 364052 | 11118 80 | 1 | 1 437.62/437.77 c 437s | 18 | 5995982 | 365752 | 11118 80 | 1 | 1 439.72/439.82 c 439s | 18 | 6034727 | 367852 | 11118 80 | 1 | 1 441.72/441.82 c 441s | 18 | 6060322 | 369452 | 11118 81 | 1 | 1 443.72/443.85 c 443s | 18 | 6086149 | 371352 | 11118 81 | 1 | 1 445.82/445.93 c 445s | 18 | 6117760 | 373252 | 11118 81 | 1 | 1 447.82/447.97 c 447s | 18 | 6146814 | 374952 | 11118 82 | 1 | 1 449.93/450.03 c 449s | 18 | 6172674 | 376652 | 11118 82 | 1 | 1 451.92/452.10 c 451s | 18 | 6198225 | 378452 | 11118 82 | 1 | 1 454.02/454.12 c 454s | 18 | 6223012 | 380052 | 11118 82 | 1 | 1 456.02/456.15 c 456s | 18 | 6256087 | 381852 | 11118 83 | 1 | 1 458.12/458.22 c 458s | 18 | 6284585 | 383652 | 11118 83 | 1 | 1 460.12/460.29 c 460s | 18 | 6310923 | 385552 | 11118 83 | 1 | 1 462.22/462.30 c 462s | 18 | 6326637 | 387052 | 11118 84 | 1 | 1 464.32/464.43 c 464s | 18 | 6337446 | 388752 | 11118 84 | 1 | 1 466.32/466.45 c 466s | 18 | 6346977 | 390552 | 11118 84 | 1 | 1 468.32/468.47 c 468s | 18 | 6354233 | 392052 | 11118 85 | 1 | 1 470.41/470.53 c 470s | 18 | 6367710 | 393452 | 11118 85 | 1 | 1 472.41/472.56 c 472s | 18 | 6403454 | 395152 | 11118 85 | 1 | 1 474.41/474.57 c 474s | 18 | 6450593 | 396752 | 11118 85 | 1 | 1 476.51/476.61 c 476s | 18 | 6474543 | 398652 | 11118 86 | 1 | 1 478.52/478.65 c 478s | 18 | 6528500 | 400752 | 11118 86 | 1 | 1 480.51/480.70 c 480s | 18 | 6578217 | 402652 | 11118 86 | 1 | 1 482.61/482.71 c 482s | 18 | 6607350 | 404352 | 11118 87 | 1 | 1 484.61/484.77 c 484s | 18 | 6642017 | 406152 | 11118 87 | 1 | 1 486.61/486.77 c 486s | 18 | 6667209 | 407752 | 11118 87 | 1 | 1 488.71/488.87 c 488s | 18 | 6684830 | 409552 | 11118 88 | 1 | 1 490.81/490.95 c 490s | 18 | 6713674 | 411452 | 11118 88 | 1 | 1 492.91/493.05 c 492s | 18 | 6742031 | 413352 | 11118 88 | 1 | 1 494.92/495.10 c 494s | 18 | 6763241 | 414952 | 11118 89 | 1 | 1 497.01/497.16 c 497s | 18 | 6790517 | 416752 | 11118 89 | 1 | 1 499.01/499.18 c 499s | 18 | 6808727 | 418652 | 11118 89 | 1 | 1 501.01/501.18 c 501s | 18 | 6817280 | 420152 | 11118 89 | 1 | 1 503.01/503.19 c 503s | 18 | 6830765 | 421652 | 11118 90 | 1 | 1 505.11/505.24 c 505s | 18 | 6834539 | 423252 | 11118 90 | 1 | 1 507.21/507.32 c 507s | 18 | 6839094 | 424752 | 11118 90 | 1 | 1 509.31/509.42 c 509s | 18 | 6853460 | 426552 | 11118 91 | 1 | 1 511.31/511.44 c 511s | 18 | 6888196 | 428052 | 11118 91 | 1 | 1 513.32/513.48 c 513s | 18 | 6908027 | 429152 | 11118 91 | 1 | 1 515.42/515.55 c 515s | 18 | 6942648 | 430752 | 11118 91 | 1 | 1 517.52/517.64 c 517s | 18 | 6974464 | 432452 | 11118 92 | 1 | 1 519.62/519.70 c 519s | 18 | 7025550 | 434252 | 11118 92 | 1 | 1 521.61/521.74 c 521s | 18 | 7050774 | 435952 | 11118 92 | 1 | 1 523.62/523.79 c 523s | 18 | 7075457 | 437652 | 11118 93 | 1 | 1 525.61/525.80 c 525s | 18 | 7103231 | 439652 | 11118 93 | 1 | 1 527.71/527.87 c 527s | 18 | 7130825 | 441352 | 12230 93 | 1 | 1 529.91/530.00 c 529s | 18 | 7163150 | 443152 | 12230 93 | 1 | 1 531.71/531.83 c 531s | 19 | 7186292 | 444482 | 12230 94 | 1 | 1 533.81/533.96 c 533s | 19 | 7202895 | 445682 | 12230 94 | 1 | 1 535.91/536.01 c 535s | 19 | 7209605 | 446482 | 12230 94 | 1 | 1 537.92/538.03 c 537s | 19 | 7222408 | 447882 | 12230 94 | 1 | 1 540.02/540.11 c 539s | 19 | 7234312 | 449382 | 12230 94 | 1 | 1 542.11/542.21 c 542s | 19 | 7251687 | 450982 | 12230 95 | 1 | 1 544.21/544.33 c 544s | 19 | 7274385 | 452382 | 12230 95 | 1 | 1 546.31/546.47 c 546s | 19 | 7298643 | 453782 | 12230 95 | 1 | 1 548.41/548.57 c 548s | 19 | 7332688 | 455382 | 12230 95 | 1 | 1 550.51/550.66 c 550s | 19 | 7359283 | 457182 | 12230 96 | 1 | 1 552.71/552.82 c 552s | 19 | 7392879 | 458782 | 12230 96 | 1 | 1 554.81/554.90 c 554s | 19 | 7417267 | 460382 | 12230 96 | 1 | 1 556.91/557.06 c 556s | 19 | 7441177 | 461982 | 12230 96 | 1 | 1 558.91/559.07 c 558s | 19 | 7462990 | 463082 | 12230 97 | 1 | 1 561.01/561.12 c 560s | 19 | 7493515 | 464682 | 12230 97 | 1 | 1 563.11/563.25 c 563s | 19 | 7515718 | 466282 | 12230 97 | 1 | 1 565.21/565.40 c 565s | 19 | 7539053 | 467882 | 12230 97 | 1 | 1 567.30/567.46 c 567s | 19 | 7570693 | 469182 | 12230 98 | 1 | 1 569.40/569.50 c 569s | 19 | 7591336 | 470582 | 12230 98 | 1 | 1 571.40/571.58 c 571s | 19 | 7625453 | 472082 | 12230 98 | 1 | 1 573.50/573.61 c 573s | 19 | 7655184 | 473782 | 12230 98 | 1 | 1 575.60/575.73 c 575s | 19 | 7678665 | 475282 | 12230 99 | 1 | 1 577.60/577.78 c 577s | 19 | 7706919 | 476682 | 12230 99 | 1 | 1 579.61/579.80 c 579s | 19 | 7731826 | 478282 | 12230 99 | 1 | 1 581.81/581.90 c 581s | 19 | 7763896 | 479782 | 12230 99 | 1 | 1 584.01/584.12 c 584s | 19 | 7789294 | 481482 | 12230 100 | 1 | 1 586.00/586.16 c 586s | 19 | 7809386 | 483182 | 12230 100 | 1 | 1 588.10/588.26 c 588s | 19 | 7837080 | 484982 | 12230 100 | 1 | 1 590.20/590.33 c 590s | 19 | 7860118 | 486782 | 12230 100 | 1 | 1 592.20/592.36 c 592s | 19 | 7866685 | 488382 | 12230 101 | 1 | 1 594.20/594.37 c 594s | 19 | 7878157 | 490282 | 12230 101 | 1 | 1 596.30/596.43 c 596s | 19 | 7883109 | 491982 | 12230 101 | 1 | 1 598.31/598.46 c 598s | 19 | 7891842 | 493782 | 12230 101 | 1 | 1 600.30/600.47 c 600s | 19 | 7898782 | 495082 | 12230 102 | 1 | 1 602.40/602.52 c 602s | 19 | 7910873 | 496682 | 12230 102 | 1 | 1 604.40/604.56 c 604s | 19 | 7925671 | 498282 | 12230 102 | 1 | 1 606.50/606.61 c 606s | 19 | 7937492 | 499682 | 12230 102 | 1 | 1 608.49/608.62 c 608s | 19 | 7949801 | 500782 | 12230 103 | 1 | 1 610.59/610.71 c 610s | 19 | 7971290 | 502382 | 12230 103 | 1 | 1 612.60/612.77 c 612s | 19 | 7978513 | 503382 | 12230 103 | 1 | 1 614.81/614.91 c 614s | 19 | 8010508 | 504682 | 12230 103 | 1 | 1 616.90/617.00 c 616s | 19 | 8041716 | 505782 | 12230 103 | 1 | 1 618.90/619.07 c 618s | 19 | 8073850 | 507482 | 12230 104 | 1 | 1 621.00/621.12 c 620s | 19 | 8095104 | 508582 | 12230 104 | 1 | 1 623.00/623.14 c 623s | 19 | 8128235 | 510382 | 12230 104 | 1 | 1 625.00/625.18 c 625s | 19 | 8140694 | 511682 | 12230 104 | 1 | 1 627.10/627.27 c 627s | 19 | 8167354 | 513182 | 12230 105 | 1 | 1 629.20/629.38 c 629s | 19 | 8209931 | 514682 | 12230 105 | 1 | 1 631.30/631.44 c 631s | 19 | 8244393 | 516482 | 12230 105 | 1 | 1 633.30/633.46 c 633s | 19 | 8268149 | 518182 | 12230 105 | 1 | 1 635.29/635.47 c 635s | 19 | 8281691 | 519582 | 12230 106 | 1 | 1 637.39/637.53 c 637s | 19 | 8308201 | 520882 | 12230 106 | 1 | 1 639.39/639.55 c 639s | 19 | 8350973 | 522582 | 12230 106 | 1 | 1 641.49/641.65 c 641s | 19 | 8369011 | 524082 | 12230 106 | 1 | 1 643.59/643.73 c 643s | 19 | 8394854 | 525382 | 12230 107 | 1 | 1 645.70/645.83 c 645s | 19 | 8408022 | 526682 | 12230 107 | 1 | 1 647.80/647.92 c 647s | 19 | 8426756 | 528482 | 12230 107 | 1 | 1 649.79/649.99 c 649s | 19 | 8458409 | 530282 | 12230 107 | 1 | 1 651.99/652.12 c 652s | 19 | 8478996 | 531382 | 12230 108 | 1 | 1 654.09/654.23 c 654s | 19 | 8513951 | 533182 | 12230 108 | 1 | 1 656.29/656.44 c 656s | 19 | 8529076 | 534482 | 12230 108 | 1 | 1 658.39/658.52 c 658s | 19 | 8555282 | 536082 | 12230 108 | 1 | 1 660.39/660.56 c 660s | 19 | 8584391 | 537482 | 12230 108 | 1 | 1 662.89/663.03 c 662s | 19 | 8603733 | 538482 | 12230 109 | 1 | 1 664.98/665.10 c 664s | 19 | 8639120 | 539882 | 12230 109 | 1 | 1 666.98/667.15 c 667s | 19 | 8667683 | 541582 | 12230 109 | 1 | 1 669.18/669.37 c 669s | 19 | 8691748 | 542682 | 12230 109 | 1 | 1 671.58/671.77 c 671s | 19 | 8708210 | 543582 | 12230 109 | 1 | 1 673.68/673.83 c 673s | 19 | 8734618 | 545082 | 12230 110 | 1 | 1 675.68/675.85 c 675s | 19 | 8765497 | 546482 | 12230 110 | 1 | 1 677.78/677.98 c 677s | 19 | 8794801 | 547982 | 12230 110 | 1 | 1 679.88/680.05 c 679s | 19 | 8821742 | 548982 | 12230 110 | 1 | 1 681.89/682.09 c 681s | 19 | 8843280 | 550182 | 12230 111 | 1 | 1 683.98/684.10 c 683s | 19 | 8868774 | 551882 | 12230 111 | 1 | 1 685.98/686.16 c 686s | 19 | 8893813 | 553082 | 12230 111 | 1 | 1 688.08/688.24 c 688s | 19 | 8927748 | 554782 | 12230 111 | 1 | 1 690.18/690.32 c 690s | 19 | 8959169 | 556382 | 12230 112 | 1 | 1 692.28/692.47 c 692s | 19 | 8982743 | 557382 | 12230 112 | 1 | 1 694.28/694.47 c 694s | 19 | 9013347 | 559182 | 12230 112 | 1 | 1 696.38/696.59 c 696s | 19 | 9024339 | 560482 | 12230 112 | 1 | 1 698.39/698.60 c 698s | 19 | 9052898 | 561882 | 12230 112 | 1 | 1 700.59/700.71 c 700s | 19 | 9066199 | 563182 | 12230 113 | 1 | 1 702.89/703.04 c 702s | 19 | 9079709 | 564182 | 12230 113 | 1 | 1 704.88/705.09 c 704s | 19 | 9110831 | 565582 | 12230 113 | 1 | 1 706.98/707.11 c 706s | 19 | 9135455 | 567182 | 12230 113 | 1 | 1 708.98/709.16 c 709s | 19 | 9151954 | 568382 | 12230 113 | 1 | 1 711.08/711.29 c 711s | 19 | 9174959 | 569682 | 12230 114 | 1 | 1 713.18/713.30 c 713s | 19 | 9194998 | 571082 | 12230 114 | 1 | 1 715.18/715.36 c 715s | 19 | 9223274 | 572782 | 12230 114 | 1 | 1 717.28/717.46 c 717s | 19 | 9240121 | 573782 | 12230 114 | 1 | 1 719.48/719.61 c 719s | 19 | 9259395 | 574882 | 12230 114 | 1 | 1 721.78/721.98 c 721s | 19 | 9283795 | 575982 | 12230 115 | 1 | 1 723.98/724.15 c 724s | 19 | 9304323 | 577282 | 12230 115 | 1 | 1 726.08/726.25 c 726s | 19 | 9325764 | 578582 | 12230 115 | 1 | 1 728.28/728.40 c 728s | 19 | 9345935 | 579882 | 12230 115 | 1 | 1 730.39/730.50 c 730s | 19 | 9362292 | 581082 | 12230 115 | 1 | 1 732.38/732.54 c 732s | 19 | 9392061 | 582682 | 12230 116 | 1 | 1 734.38/734.55 c 734s | 19 | 9432091 | 584482 | 12230 116 | 1 | 1 736.48/736.63 c 736s | 19 | 9477934 | 586082 | 12230 116 | 1 | 1 738.48/738.67 c 738s | 19 | 9511318 | 587382 | 12230 117 | 1 | 1 740.58/740.72 c 740s | 19 | 9534493 | 588582 | 12230 117 | 1 | 1 742.68/742.83 c 742s | 19 | 9564910 | 590382 | 12230 117 | 1 | 1 744.78/744.96 c 744s | 19 | 9585616 | 591582 | 12230 117 | 1 | 1 746.88/747.04 c 746s | 19 | 9619029 | 592982 | 12230 117 | 1 | 1 748.98/749.13 c 749s | 19 | 9635449 | 594582 | 12230 118 | 1 | 1 750.98/751.13 c 751s | 19 | 9644544 | 595782 | 12230 118 | 1 | 1 753.08/753.29 c 753s | 19 | 9661744 | 596682 | 12230 118 | 1 | 1 755.18/755.32 c 755s | 19 | 9701944 | 598382 | 12230 118 | 1 | 1 757.17/757.40 c 757s | 19 | 9720350 | 599882 | 12230 118 | 1 | 1 759.27/759.47 c 759s | 19 | 9723719 | 600382 | 12230 119 | 1 | 1 761.37/761.50 c 761s | 19 | 9744489 | 601682 | 12230 119 | 1 | 1 763.38/763.52 c 763s | 19 | 9765817 | 603282 | 12230 119 | 1 | 1 765.58/765.74 c 765s | 19 | 9778504 | 604382 | 12230 119 | 1 | 1 767.68/767.84 c 767s | 19 | 9791427 | 605582 | 12230 119 | 1 | 1 769.77/769.94 c 769s | 19 | 9827052 | 607382 | 12230 120 | 1 | 1 771.97/772.10 c 771s | 19 | 9861537 | 608882 | 12230 120 | 1 | 1 773.97/774.11 c 773s | 19 | 9890048 | 609982 | 12230 120 | 1 | 1 775.97/776.11 c 775s | 19 | 9909796 | 611382 | 12230 120 | 1 | 1 777.97/778.19 c 778s | 19 | 9928498 | 612682 | 12230 121 | 1 | 1 780.07/780.24 c 780s | 19 | 9944676 | 613582 | 12230 121 | 1 | 1 782.17/782.34 c 782s | 19 | 9968040 | 614982 | 12230 121 | 1 | 1 784.37/784.50 c 784s | 19 | 9985367 | 616382 | 12230 121 | 1 | 1 786.47/786.64 c 786s | 19 | 10012951 | 617582 | 12230 121 | 1 | 1 788.87/789.04 c 788s | 19 | 10040784 | 618782 | 12230 122 | 1 | 1 790.97/791.16 c 791s | 19 | 10079728 | 620582 | 12230 122 | 1 | 1 793.07/793.25 c 793s | 19 | 10116453 | 621982 | 12230 122 | 1 | 1 795.17/795.34 c 795s | 19 | 10137208 | 623082 | 12230 122 | 1 | 1 797.17/797.39 c 797s | 19 | 10163885 | 624682 | 12230 122 | 1 | 1 799.27/799.46 c 799s | 19 | 10192745 | 625782 | 12230 123 | 1 | 1 801.37/801.50 c 801s | 19 | 10231499 | 627182 | 12230 123 | 1 | 1 803.36/803.57 c 803s | 19 | 10261659 | 628882 | 12230 123 | 1 | 1 805.46/805.60 c 805s | 19 | 10295778 | 630282 | 12230 123 | 1 | 1 807.46/807.61 c 807s | 19 | 10326193 | 631882 | 12230 124 | 1 | 1 809.47/809.70 c 809s | 19 | 10367087 | 633282 | 12230 124 | 1 | 1 811.56/811.74 c 811s | 19 | 10410808 | 634882 | 12230 124 | 1 | 1 813.56/813.79 c 813s | 19 | 10426104 | 635882 | 12230 124 | 1 | 1 815.66/815.87 c 815s | 19 | 10454441 | 637482 | 12230 125 | 1 | 1 817.66/817.88 c 817s | 19 | 10485936 | 638782 | 12230 125 | 1 | 1 819.76/819.93 c 819s | 19 | 10511380 | 640082 | 12230 125 | 1 | 1 821.86/822.05 c 821s | 19 | 10538375 | 641382 | 12230 125 | 1 | 1 823.96/824.13 c 824s | 19 | 10569446 | 642682 | 12230 125 | 1 | 1 825.97/826.19 c 826s | 19 | 10592442 | 643982 | 12230 126 | 1 | 1 828.56/828.72 c 828s | 19 | 10627876 | 645382 | 12230 126 | 1 | 1 830.56/830.74 c 830s | 19 | 10661389 | 647082 | 12230 126 | 1 | 1 833.17/833.39 c 833s | 19 | 10689474 | 648182 | 12230 126 | 1 | 1 835.27/835.47 c 835s | 19 | 10724303 | 649482 | 12230 126 | 1 | 1 837.36/837.57 c 837s | 19 | 10757871 | 651082 | 12230 127 | 1 | 1 839.36/839.58 c 839s | 19 | 10772628 | 652182 | 12230 127 | 1 | 1 841.37/841.59 c 841s | 19 | 10793634 | 653682 | 12230 127 | 1 | 1 843.46/843.66 c 843s | 19 | 10813253 | 655182 | 12230 127 | 1 | 1 845.96/846.13 c 846s | 19 | 10835686 | 656582 | 12230 128 | 1 | 1 847.97/848.14 c 848s | 19 | 10859469 | 658082 | 12230 128 | 1 | 1 850.06/850.26 c 850s | 19 | 10891586 | 659582 | 12230 128 | 1 | 1 852.06/852.28 c 852s | 19 | 10912980 | 660682 | 12230 128 | 1 | 1 854.16/854.34 c 854s | 19 | 10951431 | 662282 | 13454 128 | 1 | 1 856.36/856.55 c 856s | 19 | 10959732 | 663382 | 13454 128 | 1 | 1 858.36/858.58 c 858s | 19 | 10983680 | 664782 | 13454 129 | 1 | 1 860.46/860.63 c 860s | 19 | 10992786 | 666082 | 13454 129 | 1 | 1 861.96/862.13 c 862s | 20 | 11003850 | 666827 | 13454 129 | 1 | 1 863.96/864.17 c 864s | 20 | 11028623 | 668027 | 13454 129 | 1 | 1 866.06/866.22 c 866s | 20 | 11049924 | 669527 | 13454 129 | 1 | 1 868.06/868.25 c 868s | 20 | 11066565 | 670927 | 13454 130 | 1 | 1 870.46/870.65 c 870s | 20 | 11096385 | 672227 | 13454 130 | 1 | 1 872.96/873.15 c 873s | 20 | 11116354 | 672927 | 13454 130 | 1 | 1 874.96/875.19 c 875s | 20 | 11158910 | 675027 | 13454 130 | 1 | 1 877.15/877.32 c 877s | 20 | 11196075 | 676427 | 13454 130 | 1 | 1 879.15/879.34 c 879s | 20 | 11228094 | 677527 | 13454 131 | 1 | 1 881.25/881.44 c 881s | 20 | 11243540 | 678327 | 13454 131 | 1 | 1 883.26/883.45 c 883s | 20 | 11269493 | 679727 | 13454 131 | 1 | 1 885.25/885.45 c 885s | 20 | 11317718 | 681527 | 13454 131 | 1 | 1 887.25/887.49 c 887s | 20 | 11351634 | 682827 | 13454 131 | 1 | 1 889.45/889.60 c 889s | 20 | 11366240 | 683727 | 13454 131 | 1 | 1 891.55/891.74 c 891s | 20 | 11381814 | 684727 | 13454 132 | 1 | 1 893.65/893.88 c 893s | 20 | 11402788 | 686227 | 13454 132 | 1 | 1 895.85/896.08 c 895s | 20 | 11418150 | 687627 | 13454 132 | 1 | 1 897.95/898.10 c 897s | 20 | 11447282 | 688827 | 13454 132 | 1 | 1 899.95/900.17 c 900s | 20 | 11473671 | 690127 | 13454 132 | 1 | 1 902.05/902.20 c 902s | 20 | 11504752 | 691427 | 13454 133 | 1 | 1 904.05/904.22 c 904s | 20 | 11529019 | 692927 | 13454 133 | 1 | 1 906.05/906.23 c 906s | 20 | 11552996 | 694127 | 13454 133 | 1 | 1 908.05/908.29 c 908s | 20 | 11579768 | 695827 | 13454 133 | 1 | 1 910.15/910.35 c 910s | 20 | 11600289 | 697227 | 13454 133 | 1 | 1 912.15/912.36 c 912s | 20 | 11615035 | 698627 | 13454 134 | 1 | 1 914.25/914.45 c 914s | 20 | 11649242 | 700327 | 13454 134 | 1 | 1 916.35/916.57 c 916s | 20 | 11674299 | 702127 | 13454 134 | 1 | 1 918.46/918.61 c 918s | 20 | 11689574 | 703327 | 13454 134 | 1 | 1 920.56/920.74 c 920s | 20 | 11723459 | 704627 | 13454 135 | 1 | 1 922.55/922.76 c 922s | 20 | 11746498 | 706227 | 13454 135 | 1 | 1 924.55/924.77 c 924s | 20 | 11765383 | 707427 | 13454 135 | 1 | 1 926.65/926.80 c 926s | 20 | 11800708 | 709127 | 13454 135 | 1 | 1 928.65/928.80 c 928s | 20 | 11828034 | 710627 | 13454 135 | 1 | 1 930.75/930.91 c 930s | 20 | 11856484 | 712427 | 13454 136 | 1 | 1 932.76/932.92 c 932s | 20 | 11883732 | 714227 | 13454 136 | 1 | 1 934.86/935.02 c 934s | 20 | 11918964 | 716127 | 13454 136 | 1 | 1 936.95/937.12 c 937s | 20 | 11929653 | 717527 | 13454 136 | 1 | 1 938.95/939.17 c 939s | 20 | 11953132 | 718927 | 13454 137 | 1 | 1 941.05/941.22 c 941s | 20 | 11991037 | 720627 | 13454 137 | 1 | 1 943.15/943.32 c 943s | 20 | 12011453 | 722127 | 13454 137 | 1 | 1 945.15/945.35 c 945s | 20 | 12027676 | 723727 | 13454 137 | 1 | 1 947.15/947.38 c 947s | 20 | 12052987 | 725327 | 13454 138 | 1 | 1 949.16/949.40 c 949s | 20 | 12075410 | 726927 | 13454 138 | 1 | 1 951.25/951.43 c 951s | 20 | 12095252 | 728727 | 13454 138 | 1 | 1 953.25/953.44 c 953s | 20 | 12113895 | 730127 | 13454 138 | 1 | 1 955.25/955.48 c 955s | 20 | 12123715 | 731527 | 13454 138 | 1 | 1 957.35/957.50 c 957s | 20 | 12129040 | 732727 | 13454 139 | 1 | 1 959.35/959.55 c 959s | 20 | 12138802 | 734327 | 13454 139 | 1 | 1 961.45/961.61 c 961s | 20 | 12147410 | 735727 | 13454 139 | 1 | 1 963.45/963.67 c 963s | 20 | 12152176 | 737227 | 13454 139 | 1 | 1 965.45/965.67 c 965s | 20 | 12169022 | 738227 | 13454 139 | 1 | 1 967.54/967.78 c 967s | 20 | 12190177 | 739427 | 13454 140 | 1 | 1 969.64/969.87 c 969s | 20 | 12202728 | 740827 | 13454 140 | 1 | 1 971.74/971.98 c 971s | 20 | 12209037 | 741727 | 13454 140 | 1 | 1 973.84/974.02 c 973s | 20 | 12226707 | 742327 | 13454 140 | 1 | 1 975.94/976.12 c 976s | 20 | 12286630 | 744127 | 13454 140 | 1 | 1 977.94/978.15 c 978s | 20 | 12328311 | 745827 | 13454 141 | 1 | 1 980.64/980.83 c 980s | 20 | 12352702 | 747527 | 13454 141 | 1 | 1 982.84/983.08 c 982s | 20 | 12398412 | 749227 | 13454 141 | 1 | 1 984.94/985.11 c 984s | 20 | 12437343 | 750927 | 13454 141 | 1 | 1 986.94/987.14 c 987s | 20 | 12472711 | 752527 | 13454 142 | 1 | 1 989.04/989.26 c 989s | 20 | 12513197 | 753927 | 13454 142 | 1 | 1 991.24/991.40 c 991s | 20 | 12561763 | 756027 | 13454 142 | 1 | 1 993.24/993.41 c 993s | 20 | 12583306 | 757427 | 13454 142 | 1 | 1 995.24/995.50 c 995s | 20 | 12621707 | 759027 | 13454 143 | 1 | 1 997.34/997.53 c 997s | 20 | 12655083 | 760827 | 13454 143 | 1 | 1 999.44/999.62 c 999s | 20 | 12685654 | 762327 | 13454 143 | 1 | 1 1001.43/1001.66 c 1001s | 20 | 12724104 | 764027 | 13454 143 | 1 | 1 1003.53/1003.76 c 1003s | 20 | 12735188 | 765527 | 13454 143 | 1 | 1 1005.63/1005.83 c 1005s | 20 | 12752155 | 766827 | 13454 144 | 1 | 1 1007.73/1007.91 c 1007s | 20 | 12781693 | 768627 | 13454 144 | 1 | 1 1009.74/1009.93 c 1009s | 20 | 12805144 | 770027 | 13454 144 | 1 | 1 1011.73/1011.99 c 1011s | 20 | 12837264 | 771827 | 13454 144 | 1 | 1 1013.83/1014.04 c 1013s | 20 | 12854729 | 773227 | 13454 145 | 1 | 1 1015.83/1016.08 c 1015s | 20 | 12875143 | 774927 | 13454 145 | 1 | 1 1017.93/1018.14 c 1018s | 20 | 12896553 | 776527 | 13454 145 | 1 | 1 1019.93/1020.19 c 1020s | 20 | 12909826 | 778027 | 13454 145 | 1 | 1 1021.93/1022.19 c 1022s | 20 | 12914049 | 779227 | 13454 145 | 1 | 1 1024.04/1024.22 c 1024s | 20 | 12932387 | 780827 | 13454 146 | 1 | 1 1026.03/1026.29 c 1026s | 20 | 12957577 | 782627 | 13454 146 | 1 | 1 1028.13/1028.30 c 1028s | 20 | 12971166 | 784427 | 13454 146 | 1 | 1 1030.13/1030.31 c 1030s | 20 | 12978719 | 786027 | 13454 146 | 1 | 1 1032.13/1032.35 c 1032s | 20 | 12987891 | 787827 | 13454 147 | 1 | 1 1034.13/1034.37 c 1034s | 20 | 13010032 | 789227 | 13454 147 | 1 | 1 1036.23/1036.45 c 1036s | 20 | 13034747 | 790527 | 13454 147 | 1 | 1 1038.24/1038.49 c 1038s | 20 | 13057879 | 792027 | 13454 147 | 1 | 1 1040.33/1040.58 c 1040s | 20 | 13074898 | 793127 | 13454 147 | 1 | 1 1042.43/1042.65 c 1042s | 20 | 13098465 | 794527 | 13454 148 | 1 | 1 1044.53/1044.73 c 1044s | 20 | 13129699 | 796227 | 13454 148 | 1 | 1 1046.63/1046.86 c 1046s | 20 | 13153833 | 798027 | 13454 148 | 1 | 1 1048.63/1048.88 c 1048s | 20 | 13177902 | 799427 | 13454 148 | 1 | 1 1050.83/1051.00 c 1050s | 20 | 13193512 | 800727 | 13454 149 | 1 | 1 1052.83/1053.04 c 1052s | 20 | 13210112 | 802027 | 13454 149 | 1 | 1 1054.93/1055.18 c 1055s | 20 | 13224890 | 803127 | 13454 149 | 1 | 1 1057.04/1057.21 c 1057s | 20 | 13233051 | 804227 | 13454 149 | 1 | 1 1059.03/1059.30 c 1059s | 20 | 13251413 | 805527 | 13454 149 | 1 | 1 1061.34/1061.54 c 1061s | 20 | 13274192 | 807027 | 13454 150 | 1 | 1 1063.33/1063.56 c 1063s | 20 | 13306686 | 808727 | 13454 150 | 1 | 1 1065.43/1065.66 c 1065s | 20 | 13322976 | 809327 | 13454 150 | 1 | 1 1067.53/1067.74 c 1067s | 20 | 13368310 | 811127 | 13454 150 | 1 | 1 1069.53/1069.75 c 1069s | 20 | 13411989 | 812827 | 13454 150 | 1 | 1 1071.53/1071.79 c 1071s | 20 | 13449934 | 814227 | 13454 151 | 1 | 1 1073.63/1073.80 c 1073s | 20 | 13477838 | 815827 | 13454 151 | 1 | 1 1075.64/1075.84 c 1075s | 20 | 13527188 | 817727 | 13454 151 | 1 | 1 1077.73/1077.90 c 1077s | 20 | 13561585 | 819227 | 13454 151 | 1 | 1 1079.83/1080.00 c 1079s | 20 | 13583909 | 820827 | 13454 152 | 1 | 1 1081.83/1082.04 c 1081s | 20 | 13626027 | 822427 | 13454 152 | 1 | 1 1083.83/1084.09 c 1083s | 20 | 13645247 | 823827 | 13454 152 | 1 | 1 1085.93/1086.10 c 1085s | 20 | 13677482 | 825227 | 13454 152 | 1 | 1 1088.03/1088.20 c 1088s | 20 | 13688852 | 826927 | 13454 152 | 1 | 1 1090.13/1090.34 c 1090s | 20 | 13698048 | 828427 | 13454 153 | 1 | 1 1092.23/1092.42 c 1092s | 20 | 13726842 | 830127 | 13454 153 | 1 | 1 1094.23/1094.48 c 1094s | 20 | 13744207 | 831627 | 13454 153 | 1 | 1 1096.33/1096.56 c 1096s | 20 | 13770965 | 833227 | 13454 153 | 1 | 1 1098.43/1098.62 c 1098s | 20 | 13787512 | 834727 | 13454 154 | 1 | 1 1100.42/1100.65 c 1100s | 20 | 13801201 | 836227 | 13454 154 | 1 | 1 1102.52/1102.79 c 1102s | 20 | 13822932 | 837927 | 13454 154 | 1 | 1 1104.62/1104.86 c 1104s | 20 | 13838419 | 839427 | 13454 154 | 1 | 1 1106.72/1106.96 c 1106s | 20 | 13851608 | 840627 | 13454 154 | 1 | 1 1108.92/1109.12 c 1108s | 20 | 13864005 | 841927 | 13454 155 | 1 | 1 1111.02/1111.29 c 1111s | 20 | 13880834 | 843427 | 13454 155 | 1 | 1 1113.13/1113.32 c 1113s | 20 | 13895329 | 844827 | 13454 155 | 1 | 1 1115.23/1115.46 c 1115s | 20 | 13913395 | 846327 | 13454 155 | 1 | 1 1117.32/1117.54 c 1117s | 20 | 13925440 | 847727 | 13454 155 | 1 | 1 1119.42/1119.62 c 1119s | 20 | 13933750 | 849027 | 13454 156 | 1 | 1 1121.42/1121.70 c 1121s | 20 | 13939870 | 850427 | 13454 156 | 1 | 1 1123.62/1123.80 c 1123s | 20 | 13944204 | 851727 | 13454 156 | 1 | 1 1125.62/1125.89 c 1125s | 20 | 13949617 | 853027 | 13454 156 | 1 | 1 1127.72/1127.99 c 1127s | 20 | 13955248 | 854527 | 13454 156 | 1 | 1 1130.02/1130.21 c 1130s | 20 | 13964011 | 855927 | 13454 157 | 1 | 1 1132.12/1132.34 c 1132s | 20 | 14006643 | 857327 | 13454 157 | 1 | 1 1134.62/1134.84 c 1134s | 20 | 14027715 | 858227 | 13454 157 | 1 | 1 1136.82/1137.08 c 1136s | 20 | 14041609 | 859727 | 13454 157 | 1 | 1 1139.02/1139.21 c 1139s | 20 | 14071068 | 860727 | 13454 157 | 1 | 1 1141.02/1141.29 c 1141s | 20 | 14115125 | 862227 | 13454 158 | 1 | 1 1143.12/1143.38 c 1143s | 20 | 14160235 | 864327 | 13454 158 | 1 | 1 1145.32/1145.52 c 1145s | 20 | 14203774 | 865827 | 13454 158 | 1 | 1 1147.32/1147.55 c 1147s | 20 | 14251619 | 867627 | 13454 158 | 1 | 1 1149.32/1149.57 c 1149s | 20 | 14286637 | 868927 | 13454 159 | 1 | 1 1151.32/1151.58 c 1151s | 20 | 14320017 | 870627 | 13454 159 | 1 | 1 1153.31/1153.59 c 1153s | 20 | 14358954 | 872327 | 13454 159 | 1 | 1 1155.41/1155.62 c 1155s | 20 | 14385553 | 873927 | 13454 159 | 1 | 1 1157.41/1157.67 c 1157s | 20 | 14412218 | 875527 | 13454 160 | 1 | 1 1159.51/1159.78 c 1159s | 20 | 14436406 | 877627 | 13454 160 | 1 | 1 1161.52/1161.79 c 1161s | 20 | 14459252 | 879027 | 13454 160 | 1 | 1 1163.62/1163.89 c 1163s | 20 | 14494289 | 880727 | 13454 160 | 1 | 1 1165.71/1165.97 c 1165s | 20 | 14518113 | 882327 | 13454 160 | 1 | 1 1167.81/1168.08 c 1167s | 20 | 14545745 | 884027 | 13454 161 | 1 | 1 1169.91/1170.10 c 1169s | 20 | 14557389 | 885527 | 13454 161 | 1 | 1 1171.91/1172.19 c 1172s | 20 | 14573220 | 887127 | 13454 161 | 1 | 1 1174.11/1174.33 c 1174s | 20 | 14586467 | 888527 | 13454 161 | 1 | 1 1176.21/1176.43 c 1176s | 20 | 14596030 | 890027 | 13454 162 | 1 | 1 1178.21/1178.44 c 1178s | 20 | 14605570 | 891627 | 13454 162 | 1 | 1 1180.31/1180.56 c 1180s | 20 | 14614258 | 892927 | 13454 162 | 1 | 1 1182.42/1182.67 c 1182s | 20 | 14643239 | 894527 | 13454 162 | 1 | 1 1184.51/1184.73 c 1184s | 20 | 14660323 | 895727 | 13454 162 | 1 | 1 1186.71/1186.94 c 1186s | 20 | 14698092 | 897127 | 13454 163 | 1 | 1 1188.71/1188.94 c 1188s | 20 | 14709347 | 898727 | 13454 163 | 1 | 1 1190.81/1191.05 c 1190s | 20 | 14749555 | 900427 | 13454 163 | 1 | 1 1192.91/1193.13 c 1193s | 20 | 14775095 | 901627 | 13454 163 | 1 | 1 1194.90/1195.14 c 1195s | 20 | 14799569 | 903127 | 13454 164 | 1 | 1 1197.00/1197.23 c 1197s | 20 | 14822684 | 904627 | 13454 164 | 1 | 1 1199.10/1199.31 c 1199s | 20 | 14842658 | 906327 | 13454 164 | 1 | 1 1201.11/1201.38 c 1201s | 20 | 14868915 | 907827 | 13454 164 | 1 | 1 1203.21/1203.40 c 1203s | 20 | 14899892 | 909427 | 13454 164 | 1 | 1 1205.20/1205.43 c 1205s | 20 | 14920310 | 911127 | 13454 165 | 1 | 1 1207.30/1207.54 c 1207s | 20 | 14943421 | 912827 | 13454 165 | 1 | 1 1209.40/1209.62 c 1209s | 20 | 14962612 | 914527 | 13454 165 | 1 | 1 1211.41/1211.63 c 1211s | 20 | 15001252 | 916227 | 13454 165 | 1 | 1 1213.51/1213.71 c 1213s | 20 | 15027235 | 917927 | 13454 166 | 1 | 1 1215.61/1215.80 c 1215s | 20 | 15051663 | 919627 | 13454 166 | 1 | 1 1217.61/1217.82 c 1217s | 20 | 15080977 | 921327 | 13454 166 | 1 | 1 1219.61/1219.89 c 1219s | 20 | 15097544 | 922927 | 13454 166 | 1 | 1 1221.71/1221.90 c 1221s | 20 | 15109593 | 924427 | 13454 167 | 1 | 1 1223.71/1223.96 c 1223s | 20 | 15126124 | 926227 | 13454 167 | 1 | 1 1225.81/1226.00 c 1225s | 20 | 15135614 | 927727 | 13454 167 | 1 | 1 1228.61/1228.84 c 1228s | 20 | 15140222 | 929027 | 13454 167 | 1 | 1 1230.71/1230.92 c 1230s | 20 | 15172597 | 930527 | 13454 168 | 1 | 1 1232.70/1232.99 c 1232s | 20 | 15203296 | 932027 | 13454 168 | 1 | 1 1234.90/1235.11 c 1234s | 20 | 15222254 | 933427 | 13454 168 | 1 | 1 1237.00/1237.27 c 1237s | 20 | 15244189 | 934827 | 13454 168 | 1 | 1 1239.10/1239.38 c 1239s | 20 | 15266795 | 936227 | 13454 168 | 1 | 1 1241.10/1241.39 c 1241s | 20 | 15280824 | 937327 | 13454 169 | 1 | 1 1243.20/1243.41 c 1243s | 20 | 15294897 | 938427 | 13454 169 | 1 | 1 1245.20/1245.42 c 1245s | 20 | 15310326 | 939627 | 13454 169 | 1 | 1 1247.31/1247.56 c 1247s | 20 | 15321481 | 941027 | 13454 169 | 1 | 1 1249.41/1249.66 c 1249s | 20 | 15327805 | 942227 | 13454 169 | 1 | 1 1251.50/1251.73 c 1251s | 20 | 15342748 | 943427 | 13454 169 | 1 | 1 1253.50/1253.78 c 1253s | 20 | 15361632 | 944527 | 13454 170 | 1 | 1 1255.70/1255.91 c 1255s | 20 | 15375745 | 945927 | 13454 170 | 1 | 1 1257.70/1257.91 c 1257s | 20 | 15406397 | 947627 | 13454 170 | 1 | 1 1259.80/1260.02 c 1259s | 20 | 15433392 | 949327 | 13454 170 | 1 | 1 1261.90/1262.19 c 1262s | 20 | 15455549 | 950827 | 13454 171 | 1 | 1 1264.00/1264.28 c 1264s | 20 | 15477204 | 952427 | 13454 171 | 1 | 1 1266.10/1266.34 c 1266s | 20 | 15505613 | 954127 | 13454 171 | 1 | 1 1268.10/1268.36 c 1268s | 20 | 15551595 | 955727 | 13454 171 | 1 | 1 1270.19/1270.50 c 1270s | 20 | 15581103 | 957327 | 13454 171 | 1 | 1 1272.39/1272.60 c 1272s | 20 | 15611148 | 958727 | 13454 172 | 1 | 1 1274.39/1274.63 c 1274s | 20 | 15645695 | 960527 | 13454 172 | 1 | 1 1276.49/1276.74 c 1276s | 20 | 15670014 | 962427 | 13454 172 | 1 | 1 1278.49/1278.75 c 1278s | 20 | 15699799 | 964127 | 13454 172 | 1 | 1 1280.59/1280.86 c 1280s | 20 | 15726673 | 965827 | 13454 173 | 1 | 1 1282.79/1283.04 c 1282s | 20 | 15745883 | 967527 | 13454 173 | 1 | 1 1284.89/1285.11 c 1284s | 20 | 15761079 | 969027 | 13454 173 | 1 | 1 1286.89/1287.14 c 1287s | 20 | 15780288 | 970627 | 13454 173 | 1 | 1 1288.99/1289.24 c 1289s | 20 | 15799759 | 972327 | 13454 174 | 1 | 1 1290.98/1291.26 c 1291s | 20 | 15815370 | 973927 | 13454 174 | 1 | 1 1293.08/1293.37 c 1293s | 20 | 15827190 | 975527 | 13454 174 | 1 | 1 1295.18/1295.43 c 1295s | 20 | 15838148 | 977027 | 13454 174 | 1 | 1 1297.18/1297.47 c 1297s | 20 | 15848293 | 978427 | 13454 175 | 1 | 1 1299.38/1299.61 c 1299s | 20 | 15853946 | 979827 | 13454 175 | 1 | 1 1301.48/1301.71 c 1301s | 20 | 15860022 | 981227 | 13454 175 | 1 | 1 1303.58/1303.81 c 1303s | 20 | 15870756 | 982627 | 13454 175 | 1 | 1 1306.08/1306.38 c 1306s | 20 | 15891850 | 983827 | 13454 175 | 1 | 1 1308.17/1308.46 c 1308s | 20 | 15927739 | 984927 | 13454 176 | 1 | 1 1310.27/1310.53 c 1310s | 20 | 15938851 | 986327 | 13454 176 | 1 | 1 1312.37/1312.60 c 1312s | 20 | 15964143 | 987627 | 13454 176 | 1 | 1 1314.47/1314.72 c 1314s | 20 | 15990662 | 989327 | 13454 176 | 1 | 1 1316.58/1316.81 c 1316s | 20 | 16008765 | 990627 | 13454 176 | 1 | 1 1318.57/1318.82 c 1318s | 20 | 16043979 | 991827 | 13454 177 | 1 | 1 1320.67/1320.90 c 1320s | 20 | 16082890 | 993527 | 14800 177 | 1 | 1 1322.77/1323.04 c 1322s | 20 | 16108641 | 995027 | 14800 177 | 1 | 1 1324.77/1325.08 c 1324s | 20 | 16152778 | 996727 | 14800 177 | 1 | 1 1326.87/1327.11 c 1326s | 20 | 16177218 | 997927 | 14800 177 | 1 | 1 1328.97/1329.20 c 1329s | 20 | 16209953 | 999727 | 14800 177 | 1 | 1 1329.87/1330.19 c 1330s | 21 | 16218966 | 1000345 | 14800 178 | 1 | 1 1332.07/1332.34 c 1332s | 21 | 16236426 | 1001545 | 14800 178 | 1 | 1 1334.08/1334.35 c 1334s | 21 | 16263781 | 1002945 | 14800 178 | 1 | 1 1336.17/1336.41 c 1336s | 21 | 16296359 | 1004345 | 14800 178 | 1 | 1 1338.17/1338.47 c 1338s | 21 | 16324751 | 1005945 | 14800 178 | 1 | 1 1340.37/1340.61 c 1340s | 21 | 16337825 | 1007445 | 14800 179 | 1 | 1 1342.37/1342.62 c 1342s | 21 | 16356495 | 1009045 | 14800 179 | 1 | 1 1344.37/1344.64 c 1344s | 21 | 16383922 | 1010645 | 14800 179 | 1 | 1 1346.47/1346.75 c 1346s | 21 | 16412126 | 1012345 | 14800 179 | 1 | 1 1348.47/1348.76 c 1348s | 21 | 16437206 | 1013745 | 14800 179 | 1 | 1 1350.46/1350.80 c 1350s | 21 | 16456500 | 1015045 | 14800 180 | 1 | 1 1352.66/1352.90 c 1352s | 21 | 16482082 | 1016745 | 14800 180 | 1 | 1 1354.76/1355.02 c 1354s | 21 | 16501990 | 1018445 | 14800 180 | 1 | 1 1356.76/1357.08 c 1356s | 21 | 16516835 | 1020145 | 14800 180 | 1 | 1 1358.86/1359.15 c 1359s | 21 | 16535248 | 1021645 | 14800 180 | 1 | 1 1360.96/1361.24 c 1361s | 21 | 16556541 | 1023045 | 14800 181 | 1 | 1 1362.95/1363.25 c 1363s | 21 | 16577078 | 1024745 | 14800 181 | 1 | 1 1364.96/1365.28 c 1365s | 21 | 16593401 | 1026345 | 14800 181 | 1 | 1 1366.95/1367.29 c 1367s | 21 | 16604617 | 1028245 | 14800 181 | 1 | 1 1369.15/1369.46 c 1369s | 21 | 16617490 | 1030045 | 14800 182 | 1 | 1 1371.64/1371.97 c 1371s | 21 | 16638755 | 1031345 | 14800 182 | 1 | 1 1373.75/1374.07 c 1373s | 21 | 16656852 | 1032945 | 14800 182 | 1 | 1 1375.85/1376.11 c 1375s | 21 | 16660453 | 1033145 | 14800 182 | 1 | 1 1377.84/1378.15 c 1378s | 21 | 16687242 | 1034445 | 14800 182 | 1 | 1 1379.84/1380.16 c 1380s | 21 | 16704125 | 1035945 | 14800 182 | 1 | 1 1381.95/1382.26 c 1382s | 21 | 16717722 | 1037445 | 14800 182 | 1 | 1 1384.05/1384.31 c 1384s | 21 | 16741942 | 1038745 | 14800 183 | 1 | 1 1386.15/1386.46 c 1386s | 21 | 16779153 | 1040545 | 14800 183 | 1 | 1 1388.35/1388.61 c 1388s | 21 | 16793445 | 1041445 | 14800 183 | 1 | 1 1390.34/1390.62 c 1390s | 21 | 16804296 | 1043045 | 14800 183 | 1 | 1 1392.45/1392.76 c 1392s | 21 | 16826524 | 1044445 | 14800 183 | 1 | 1 1394.44/1394.80 c 1394s | 21 | 16852974 | 1045945 | 14800 184 | 1 | 1 1396.54/1396.89 c 1396s | 21 | 16872106 | 1047445 | 14800 184 | 1 | 1 1398.64/1398.98 c 1398s | 21 | 16882051 | 1048745 | 14800 184 | 1 | 1 1400.74/1401.05 c 1400s | 21 | 16899745 | 1049845 | 14800 184 | 1 | 1 1402.73/1403.08 c 1402s | 21 | 16930037 | 1051345 | 14800 184 | 1 | 1 1404.83/1405.18 c 1405s | 21 | 16948000 | 1052645 | 14800 185 | 1 | 1 1407.03/1407.32 c 1407s | 21 | 16976173 | 1054445 | 14800 185 | 1 | 1 1409.03/1409.33 c 1409s | 21 | 16991889 | 1055745 | 14800 185 | 1 | 1 1411.04/1411.39 c 1411s | 21 | 17010857 | 1057345 | 14800 185 | 1 | 1 1413.13/1413.44 c 1413s | 21 | 17029031 | 1058645 | 14800 185 | 1 | 1 1415.22/1415.53 c 1415s | 21 | 17053449 | 1059945 | 14800 185 | 1 | 1 1417.32/1417.64 c 1417s | 21 | 17059649 | 1061045 | 14800 186 | 1 | 1 1419.42/1419.78 c 1419s | 21 | 17080122 | 1062745 | 14800 186 | 1 | 1 1421.52/1421.83 c 1421s | 21 | 17091623 | 1064245 | 14800 186 | 1 | 1 1423.52/1423.85 c 1423s | 21 | 17103213 | 1065645 | 14800 186 | 1 | 1 1425.52/1425.85 c 1425s | 21 | 17128906 | 1067045 | 14800 186 | 1 | 1 1427.63/1427.92 c 1427s | 21 | 17141070 | 1068545 | 14800 187 | 1 | 1 1429.72/1430.01 c 1429s | 21 | 17153160 | 1070145 | 14800 187 | 1 | 1 1431.71/1432.05 c 1431s | 21 | 17165515 | 1071745 | 14800 187 | 1 | 1 1433.81/1434.15 c 1434s | 21 | 17183570 | 1073345 | 14800 187 | 1 | 1 1435.91/1436.24 c 1436s | 21 | 17194223 | 1074845 | 14800 187 | 1 | 1 1438.01/1438.36 c 1438s | 21 | 17203310 | 1076245 | 14800 188 | 1 | 1 1440.11/1440.46 c 1440s | 21 | 17214941 | 1078045 | 14800 188 | 1 | 1 1442.21/1442.59 c 1442s | 21 | 17220208 | 1079745 | 14800 188 | 1 | 1 1444.41/1444.73 c 1444s | 21 | 17231215 | 1081345 | 14800 188 | 1 | 1 1446.51/1446.86 c 1446s | 21 | 17249273 | 1082745 | 14800 189 | 1 | 1 1448.61/1448.91 c 1448s | 21 | 17263110 | 1083845 | 14800 189 | 1 | 1 1450.61/1450.99 c 1450s | 21 | 17282022 | 1085545 | 14800 189 | 1 | 1 1452.70/1453.06 c 1452s | 21 | 17300752 | 1086645 | 14800 189 | 1 | 1 1454.80/1455.15 c 1455s | 21 | 17330057 | 1088645 | 14800 189 | 1 | 1 1456.90/1457.20 c 1457s | 21 | 17351591 | 1089945 | 14800 189 | 1 | 1 1459.00/1459.31 c 1459s | 21 | 17375119 | 1091145 | 14800 190 | 1 | 1 1461.00/1461.34 c 1461s | 21 | 17398593 | 1092345 | 14800 190 | 1 | 1 1463.10/1463.43 c 1463s | 21 | 17420833 | 1093945 | 14800 190 | 1 | 1 1465.10/1465.49 c 1465s | 21 | 17435586 | 1095345 | 14800 190 | 1 | 1 1467.21/1467.53 c 1467s | 21 | 17468573 | 1096545 | 14800 190 | 1 | 1 1469.41/1469.73 c 1469s | 21 | 17500421 | 1097645 | 14800 191 | 1 | 1 1471.50/1471.81 c 1471s | 21 | 17542908 | 1099045 | 14800 191 | 1 | 1 1473.49/1473.82 c 1473s | 21 | 17595199 | 1100945 | 14800 191 | 1 | 1 1475.49/1475.85 c 1475s | 21 | 17635810 | 1102645 | 14800 191 | 1 | 1 1477.59/1477.92 c 1477s | 21 | 17657747 | 1104245 | 14800 191 | 1 | 1 1479.69/1480.01 c 1479s | 21 | 17685956 | 1105445 | 14800 192 | 1 | 1 1481.79/1482.10 c 1481s | 21 | 17728613 | 1106945 | 14800 192 | 1 | 1 1483.79/1484.17 c 1484s | 21 | 17762948 | 1108745 | 14800 192 | 1 | 1 1485.80/1486.20 c 1486s | 21 | 17794334 | 1110145 | 14800 192 | 1 | 1 1487.89/1488.26 c 1488s | 21 | 17820387 | 1111345 | 14800 192 | 1 | 1 1489.99/1490.32 c 1490s | 21 | 17851754 | 1112545 | 14800 192 | 1 | 1 1491.99/1492.34 c 1492s | 21 | 17893797 | 1114245 | 14800 193 | 1 | 1 1494.08/1494.42 c 1494s | 21 | 17917651 | 1115845 | 14800 193 | 1 | 1 1496.18/1496.50 c 1496s | 21 | 17948294 | 1117245 | 14800 193 | 1 | 1 1498.18/1498.53 c 1498s | 21 | 17980934 | 1118845 | 14800 193 | 1 | 1 1500.28/1500.64 c 1500s | 21 | 18000373 | 1120145 | 14800 194 | 1 | 1 1502.39/1502.72 c 1502s | 21 | 18024146 | 1121445 | 14800 194 | 1 | 1 1504.38/1504.74 c 1504s | 21 | 18062448 | 1122845 | 14800 194 | 1 | 1 1506.38/1506.77 c 1506s | 21 | 18093772 | 1124245 | 14800 194 | 1 | 1 1508.49/1508.90 c 1508s | 21 | 18120964 | 1125645 | 14800 194 | 1 | 1 1510.59/1511.00 c 1510s | 21 | 18141231 | 1127145 | 14800 194 | 1 | 1 1512.69/1513.07 c 1512s | 21 | 18171184 | 1128445 | 14800 195 | 1 | 1 1514.79/1515.12 c 1515s | 21 | 18205470 | 1130345 | 14800 195 | 1 | 1 1516.89/1517.24 c 1517s | 21 | 18229602 | 1131745 | 14800 195 | 1 | 1 1518.99/1519.35 c 1519s | 21 | 18257442 | 1133245 | 14800 195 | 1 | 1 1521.09/1521.40 c 1521s | 21 | 18295159 | 1134845 | 14800 195 | 1 | 1 1523.08/1523.46 c 1523s | 21 | 18324394 | 1136445 | 14800 196 | 1 | 1 1525.18/1525.52 c 1525s | 21 | 18357682 | 1137845 | 14800 196 | 1 | 1 1527.18/1527.59 c 1527s | 21 | 18379954 | 1139245 | 14800 196 | 1 | 1 1529.28/1529.67 c 1529s | 21 | 18402761 | 1140745 | 14800 196 | 1 | 1 1531.48/1531.81 c 1531s | 21 | 18426065 | 1142045 | 14800 196 | 1 | 1 1533.48/1533.86 c 1533s | 21 | 18443909 | 1143245 | 14800 197 | 1 | 1 1535.58/1535.96 c 1535s | 21 | 18459086 | 1144745 | 14800 197 | 1 | 1 1537.68/1538.05 c 1537s | 21 | 18480083 | 1146245 | 14800 197 | 1 | 1 1539.68/1540.08 c 1539s | 21 | 18493609 | 1147645 | 14800 197 | 1 | 1 1541.77/1542.17 c 1542s | 21 | 18510691 | 1148945 | 14800 197 | 1 | 1 1543.87/1544.23 c 1544s | 21 | 18526541 | 1150345 | 14800 198 | 1 | 1 1545.97/1546.32 c 1546s | 21 | 18543449 | 1151645 | 14800 198 | 1 | 1 1547.97/1548.36 c 1548s | 21 | 18579538 | 1153245 | 14800 198 | 1 | 1 1549.97/1550.38 c 1550s | 21 | 18601476 | 1155045 | 14800 198 | 1 | 1 1552.16/1552.54 c 1552s | 21 | 18615349 | 1156545 | 14800 198 | 1 | 1 1554.26/1554.68 c 1554s | 21 | 18629772 | 1157645 | 14800 198 | 1 | 1 1556.46/1556.83 c 1556s | 21 | 18648112 | 1159145 | 14800 199 | 1 | 1 1558.47/1558.86 c 1558s | 21 | 18659382 | 1160445 | 14800 199 | 1 | 1 1560.57/1560.95 c 1560s | 21 | 18675149 | 1161945 | 14800 199 | 1 | 1 1562.66/1563.05 c 1562s | 21 | 18690658 | 1163345 | 14800 199 | 1 | 1 1564.66/1565.07 c 1564s | 21 | 18703505 | 1164745 | 14800 199 | 1 | 1 1566.76/1567.17 c 1567s | 21 | 18723743 | 1166045 | 14800 200 | 1 | 1 1568.86/1569.27 c 1569s | 21 | 18741511 | 1167445 | 14800 200 | 1 | 1 1570.96/1571.32 c 1571s | 21 | 18762874 | 1168945 | 14800 200 | 1 | 1 1573.05/1573.46 c 1573s | 21 | 18778143 | 1170345 | 14800 200 | 1 | 1 1575.15/1575.55 c 1575s | 21 | 18787446 | 1171545 | 14800 200 | 1 | 1 1577.25/1577.61 c 1577s | 21 | 18803469 | 1172845 | 14800 200 | 1 | 1 1579.26/1579.67 c 1579s | 21 | 18822951 | 1174145 | 14800 201 | 1 | 1 1581.35/1581.71 c 1581s | 21 | 18833144 | 1175445 | 14800 201 | 1 | 1 1583.45/1583.81 c 1583s | 21 | 18845596 | 1176845 | 14800 201 | 1 | 1 1585.55/1585.93 c 1585s | 21 | 18861006 | 1178345 | 14800 201 | 1 | 1 1587.55/1587.99 c 1587s | 21 | 18871978 | 1179645 | 14800 201 | 1 | 1 1589.65/1590.02 c 1589s | 21 | 18885469 | 1180945 | 14800 202 | 1 | 1 1591.65/1592.05 c 1591s | 21 | 18893743 | 1182245 | 14800 202 | 1 | 1 1594.04/1594.48 c 1594s | 21 | 18896589 | 1183145 | 14800 202 | 1 | 1 1596.95/1597.33 c 1597s | 21 | 18902268 | 1184045 | 14800 202 | 1 | 1 1598.94/1599.34 c 1599s | 21 | 18937174 | 1185345 | 14800 202 | 1 | 1 1601.04/1601.43 c 1601s | 21 | 18968160 | 1187045 | 14800 202 | 1 | 1 1603.04/1603.49 c 1603s | 21 | 18984165 | 1188245 | 14800 203 | 1 | 1 1605.14/1605.51 c 1605s | 21 | 19001084 | 1189545 | 14800 203 | 1 | 1 1607.14/1607.59 c 1607s | 21 | 19020184 | 1190745 | 14800 203 | 1 | 1 1609.34/1609.70 c 1609s | 21 | 19031328 | 1192145 | 14800 203 | 1 | 1 1611.44/1611.85 c 1611s | 21 | 19059040 | 1193445 | 14800 203 | 1 | 1 1613.53/1613.94 c 1613s | 21 | 19091917 | 1194845 | 14800 203 | 1 | 1 1615.64/1616.04 c 1615s | 21 | 19103470 | 1195945 | 14800 204 | 1 | 1 1617.84/1618.23 c 1618s | 21 | 19113687 | 1197245 | 14800 204 | 1 | 1 1619.83/1620.28 c 1620s | 21 | 19131681 | 1197845 | 14800 204 | 1 | 1 1622.03/1622.42 c 1622s | 21 | 19173438 | 1199645 | 14800 204 | 1 | 1 1624.13/1624.54 c 1624s | 21 | 19208756 | 1201145 | 14800 204 | 1 | 1 1626.73/1627.12 c 1626s | 21 | 19231110 | 1202245 | 14800 204 | 1 | 1 1628.73/1629.19 c 1629s | 21 | 19258326 | 1203345 | 14800 205 | 1 | 1 1630.83/1631.21 c 1631s | 21 | 19291071 | 1204745 | 14800 205 | 1 | 1 1632.92/1633.35 c 1633s | 21 | 19316015 | 1206145 | 14800 205 | 1 | 1 1635.02/1635.41 c 1635s | 21 | 19345458 | 1207445 | 14800 205 | 1 | 1 1637.12/1637.54 c 1637s | 21 | 19380011 | 1209145 | 14800 205 | 1 | 1 1639.22/1639.67 c 1639s | 21 | 19400777 | 1210245 | 14800 205 | 1 | 1 1641.32/1641.71 c 1641s | 21 | 19432756 | 1211445 | 14800 206 | 1 | 1 1643.32/1643.72 c 1643s | 21 | 19455058 | 1212845 | 14800 206 | 1 | 1 1645.41/1645.84 c 1645s | 21 | 19463605 | 1214145 | 14800 206 | 1 | 1 1647.52/1647.97 c 1647s | 21 | 19495458 | 1215545 | 14800 206 | 1 | 1 1649.62/1650.03 c 1649s | 21 | 19514926 | 1217045 | 14800 206 | 1 | 1 1651.61/1652.04 c 1651s | 21 | 19545840 | 1218345 | 14800 207 | 1 | 1 1653.71/1654.14 c 1654s | 21 | 19575955 | 1220045 | 14800 207 | 1 | 1 1655.71/1656.14 c 1656s | 21 | 19600223 | 1221545 | 14800 207 | 1 | 1 1657.71/1658.16 c 1658s | 21 | 19637311 | 1223045 | 14800 207 | 1 | 1 1659.91/1660.30 c 1660s | 21 | 19658744 | 1224545 | 14800 207 | 1 | 1 1661.91/1662.38 c 1662s | 21 | 19688895 | 1225745 | 14800 208 | 1 | 1 1664.01/1664.43 c 1664s | 21 | 19704976 | 1227345 | 14800 208 | 1 | 1 1666.01/1666.47 c 1666s | 21 | 19717339 | 1228645 | 14800 208 | 1 | 1 1668.11/1668.56 c 1668s | 21 | 19732667 | 1229945 | 14800 208 | 1 | 1 1670.21/1670.63 c 1670s | 21 | 19749860 | 1231345 | 14800 208 | 1 | 1 1672.30/1672.70 c 1672s | 21 | 19762477 | 1232645 | 14800 208 | 1 | 1 1674.31/1674.78 c 1674s | 21 | 19779803 | 1234045 | 14800 209 | 1 | 1 1676.51/1676.91 c 1676s | 21 | 19796826 | 1235545 | 14800 209 | 1 | 1 1678.51/1678.94 c 1678s | 21 | 19807673 | 1237045 | 14800 209 | 1 | 1 1680.51/1681.00 c 1680s | 21 | 19821138 | 1238345 | 14800 209 | 1 | 1 1682.61/1683.03 c 1682s | 21 | 19825946 | 1239545 | 14800 209 | 1 | 1 1684.71/1685.15 c 1685s | 21 | 19835627 | 1240645 | 14800 210 | 1 | 1 1686.81/1687.27 c 1687s | 21 | 19853733 | 1242545 | 14800 210 | 1 | 1 1688.91/1689.33 c 1689s | 21 | 19869834 | 1244145 | 14800 210 | 1 | 1 1691.01/1691.48 c 1691s | 21 | 19878077 | 1245545 | 14800 210 | 1 | 1 1693.10/1693.57 c 1693s | 21 | 19887503 | 1246945 | 14800 210 | 1 | 1 1695.30/1695.74 c 1695s | 21 | 19891338 | 1248245 | 14800 211 | 1 | 1 1697.40/1697.85 c 1697s | 21 | 19902067 | 1249845 | 14800 211 | 1 | 1 1699.50/1699.97 c 1699s | 21 | 19914057 | 1251345 | 14800 211 | 1 | 1 1701.60/1702.03 c 1701s | 21 | 19931893 | 1252645 | 14800 211 | 1 | 1 1704.29/1704.71 c 1704s | 21 | 19943196 | 1253745 | 14800 211 | 1 | 1 1706.39/1706.89 c 1706s | 21 | 19963182 | 1254545 | 14800 211 | 1 | 1 1708.39/1708.89 c 1708s | 21 | 19977830 | 1255745 | 14800 212 | 1 | 1 1710.49/1710.92 c 1710s | 21 | 19995883 | 1257445 | 14800 212 | 1 | 1 1712.48/1712.99 c 1712s | 21 | 20021441 | 1258645 | 14800 212 | 1 | 1 1714.68/1715.14 c 1715s | 21 | 20057358 | 1260045 | 14800 212 | 1 | 1 1716.79/1717.22 c 1717s | 21 | 20076902 | 1261245 | 14800 212 | 1 | 1 1718.89/1719.33 c 1719s | 21 | 20105749 | 1262445 | 14800 212 | 1 | 1 1720.98/1721.44 c 1721s | 21 | 20139765 | 1263745 | 14800 213 | 1 | 1 1723.08/1723.53 c 1723s | 21 | 20154838 | 1265145 | 14800 213 | 1 | 1 1725.08/1725.55 c 1725s | 21 | 20185198 | 1266445 | 14800 213 | 1 | 1 1727.18/1727.61 c 1727s | 21 | 20200988 | 1267745 | 14800 213 | 1 | 1 1729.18/1729.62 c 1729s | 21 | 20212259 | 1268745 | 14800 213 | 1 | 1 1731.28/1731.75 c 1731s | 21 | 20225772 | 1269945 | 14800 213 | 1 | 1 1733.28/1733.77 c 1733s | 21 | 20243550 | 1271345 | 14800 214 | 1 | 1 1735.38/1735.83 c 1735s | 21 | 20258779 | 1272745 | 14800 214 | 1 | 1 1737.48/1737.93 c 1737s | 21 | 20282239 | 1274345 | 14800 214 | 1 | 1 1739.48/1739.95 c 1739s | 21 | 20304624 | 1275745 | 14800 214 | 1 | 1 1741.58/1742.01 c 1741s | 21 | 20327698 | 1277245 | 14800 214 | 1 | 1 1743.67/1744.14 c 1744s | 21 | 20351161 | 1278745 | 14800 215 | 1 | 1 1745.77/1746.28 c 1746s | 21 | 20373689 | 1280245 | 14800 215 | 1 | 1 1747.87/1748.38 c 1748s | 21 | 20393171 | 1281845 | 14800 215 | 1 | 1 1749.97/1750.46 c 1750s | 21 | 20408174 | 1283245 | 14800 215 | 1 | 1 1752.07/1752.50 c 1752s | 21 | 20420965 | 1284545 | 14800 215 | 1 | 1 1754.07/1754.54 c 1754s | 21 | 20429060 | 1285945 | 14800 216 | 1 | 1 1756.07/1756.57 c 1756s | 21 | 20435927 | 1287545 | 14800 216 | 1 | 1 1758.37/1758.87 c 1758s | 21 | 20445325 | 1288845 | 14800 216 | 1 | 1 1760.57/1761.03 c 1760s | 21 | 20455921 | 1289845 | 14800 216 | 1 | 1 1762.66/1763.18 c 1763s | 21 | 20466341 | 1290845 | 14800 216 | 1 | 1 1764.86/1765.37 c 1765s | 21 | 20479946 | 1291845 | 14800 216 | 1 | 1 1766.96/1767.46 c 1767s | 21 | 20493681 | 1292745 | 14800 216 | 1 | 1 1769.07/1769.54 c 1769s | 21 | 20502778 | 1293645 | 14800 217 | 1 | 1 1771.07/1771.58 c 1771s | 21 | 20514449 | 1294645 | 14800 217 | 1 | 1 1773.16/1773.69 c 1773s | 21 | 20532458 | 1295945 | 14800 217 | 1 | 1 1775.26/1775.72 c 1775s | 21 | 20539468 | 1296945 | 14800 217 | 1 | 1 1777.27/1777.78 c 1777s | 21 | 20545176 | 1297845 | 14800 217 | 1 | 1 1779.47/1779.92 c 1779s | 21 | 20554129 | 1298845 | 14800 217 | 1 | 1 1781.57/1782.08 c 1781s | 21 | 20558165 | 1300045 | 14800 217 | 1 | 1 1783.56/1784.09 c 1783s | 21 | 20560346 | 1300945 | 14800 217 | 1 | 1 1785.66/1786.18 c 1786s | 21 | 20562069 | 1301845 | 14800 218 | 1 | 1 1787.76/1788.21 c 1788s | 21 | 20565970 | 1303045 | 14800 218 | 1 | 1 1789.75/1790.23 c 1790s | 21 | 20584277 | 1303845 | 14800 218 | 1 | 1 1791.75/1792.26 c 1792s | 21 | 20600046 | 1305145 | 14800 218 | 1 | 1 1793.85/1794.31 c 1794s | 21 | 20612794 | 1306145 | 14800 218 | 1 | 1 1795.96/1796.41 c 1796s | 21 | 20639963 | 1307645 | 14800 218 | 1 | 1 1797.95/1798.44 c 1798s | 21 | 20652839 | 1308845 | 14800 219 | 1 | 1
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106808-1466278587/watcher-4106808-1466278587 -o /tmp/evaluation-result-4106808-1466278587/solver-4106808-1466278587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106808-1466278587.opb pid=25091 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.30 2.25 2.19 4/179 25094 /proc/meminfo: memFree=29928112/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=772540 CPUtime=0 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 2888 0 0 0 0 0 0 0 20 0 4 0 29905241 791080960 3249 33554432000 4194304 16246674 140734687062528 140734687061464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 193647 3259 441 2943 0 190541 0 [pid=25094/tid=25095] ppid=25091 vsize=789948 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 808906752 3319 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=794044 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 813101056 3335 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=799164 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29905241 818343936 3353 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.30 2.25 2.19 4/179 25094 /proc/meminfo: memFree=29928112/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 26179 0 0 0 5 4 0 0 20 0 4 0 29905241 1250496512 26505 33554432000 4194304 16246674 140734687062528 140734687061464 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 305297 26508 727 2943 0 302191 0 [pid=25094/tid=25095] ppid=25091 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1250496512 26511 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1250496512 26514 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29905241 1250496512 26516 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200492 s] /proc/loadavg: 2.30 2.25 2.19 4/179 25094 /proc/meminfo: memFree=29928112/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1222212 CPUtime=0.19 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 34175 0 0 0 14 5 0 0 20 0 4 0 29905241 1251545088 34501 33554432000 4194304 16246674 140734687062528 140734687045296 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 305553 34517 845 2943 0 302447 0 [pid=25094/tid=25095] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 34528 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 34540 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 34550 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300468 s] /proc/loadavg: 2.30 2.25 2.19 4/179 25094 /proc/meminfo: memFree=29928112/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1222212 CPUtime=0.29 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 58645 0 0 0 20 9 0 0 20 0 4 0 29905241 1251545088 58971 33554432000 4194304 16246674 140734687062528 140734687044416 13194563 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 305553 58979 845 2943 0 302447 0 [pid=25094/tid=25095] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 58985 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 58991 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 58998 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1222212 [startup+0.700392 s] /proc/loadavg: 2.30 2.25 2.19 4/179 25094 /proc/meminfo: memFree=29928112/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1222212 CPUtime=0.69 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 163585 0 0 0 46 23 0 0 20 0 4 0 29905241 1251545088 163911 33554432000 4194304 16246674 140734687062528 140734687044416 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 305553 163921 845 2943 0 302447 0 [pid=25094/tid=25095] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 163927 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 163934 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1251545088 163940 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.5004 s] /proc/loadavg: 2.30 2.25 2.19 4/183 25098 /proc/meminfo: memFree=28106068/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1302084 CPUtime=1.49 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 266430 0 0 0 113 36 0 0 20 0 4 0 29905241 1333334016 266755 33554432000 4194304 16246674 140734687062528 140734687044416 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 325521 266755 848 2943 0 322415 0 [pid=25094/tid=25095] ppid=25091 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1333334016 266755 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1333334016 266755 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1333334016 266755 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1302084 [startup+3.10036 s] /proc/loadavg: 2.30 2.25 2.19 4/183 25098 /proc/meminfo: memFree=28094884/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 267679 0 0 0 273 36 0 0 20 0 4 0 29905241 1338576896 268004 33554432000 4194304 16246674 140734687062528 140734687044416 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 326801 268004 851 2943 0 323695 0 [pid=25094/tid=25095] ppid=25091 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1338576896 268004 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1338576896 268004 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1338576896 268004 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.3004 s] /proc/loadavg: 2.28 2.25 2.19 4/183 25098 /proc/meminfo: memFree=28095132/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 267679 0 0 0 593 36 0 0 20 0 4 0 29905241 1338576896 268004 33554432000 4194304 16246674 140734687062528 140734687044416 5707807 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 326801 268004 851 2943 0 323695 0 [pid=25094/tid=25095] ppid=25091 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1338576896 268004 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1338576896 268004 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1338576896 268004 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.25 2.25 2.19 3/183 25098 /proc/meminfo: memFree=28090204/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1311300 CPUtime=12.69 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 268921 0 0 0 1233 36 0 0 20 0 4 0 29905241 1342771200 269246 33554432000 4194304 16246674 140734687062528 140734687044416 6021608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 327825 269246 852 2943 0 324719 0 [pid=25094/tid=25095] ppid=25091 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1342771200 269246 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1342771200 269246 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1342771200 269246 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.20 2.23 2.19 3/183 25098 /proc/meminfo: memFree=28085524/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1313348 CPUtime=25.48 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 269433 0 0 0 2512 36 0 0 20 0 4 0 29905241 1344868352 269758 33554432000 4194304 16246674 140734687062528 140734687044416 6012046 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 328337 269758 852 2943 0 325231 0 [pid=25094/tid=25095] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1344868352 269758 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1344868352 269758 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1344868352 269758 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1313348 [startup+51.1004 s] /proc/loadavg: 2.20 2.23 2.18 3/183 25098 /proc/meminfo: memFree=28071148/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1326660 CPUtime=51.08 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 272761 0 0 0 5071 37 0 0 20 0 4 0 29905241 1358499840 273086 33554432000 4194304 16246674 140734687062528 140734687044416 13809250 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 331665 273086 852 2943 0 328559 0 [pid=25094/tid=25095] ppid=25091 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1358499840 273086 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1358499840 273086 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1358499840 273086 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1326660 [startup+102.3 s] /proc/loadavg: 2.19 2.22 2.18 3/183 25099 /proc/meminfo: memFree=28068584/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1326660 CPUtime=102.28 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 272761 0 0 0 10191 37 0 0 20 0 4 0 29905241 1358499840 273086 33554432000 4194304 16246674 140734687062528 140734687044416 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 331665 273086 852 2943 0 328559 0 [pid=25094/tid=25095] ppid=25091 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1358499840 273086 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1358499840 273086 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1358499840 273086 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 1333828 [startup+1362.3 s] /proc/loadavg: 2.29 2.28 2.21 3/183 25131 /proc/meminfo: memFree=28043016/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1362.05 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274617 0 0 0 136158 47 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 5723016 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 1333828 [startup+1422.3 s] /proc/loadavg: 2.26 2.27 2.20 3/184 25135 /proc/meminfo: memFree=28042644/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1422.03 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274657 0 0 0 142155 48 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 5722834 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.28 2.27 2.20 3/184 25158 /proc/meminfo: memFree=28042136/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1481.99 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274690 0 0 0 148151 48 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1333828 [startup+1542.31 s] /proc/loadavg: 2.33 2.28 2.21 3/183 25159 /proc/meminfo: memFree=28040208/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1541.98 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274720 0 0 0 154149 49 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.34 2.29 2.21 3/183 25160 /proc/meminfo: memFree=28040496/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1601.94 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274757 0 0 0 160144 50 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 5822756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1333828 [startup+1662.3 s] /proc/loadavg: 2.20 2.26 2.20 3/183 25162 /proc/meminfo: memFree=28040188/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1661.91 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274790 0 0 0 166141 50 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 5707816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.36 2.30 2.22 3/183 25163 /proc/meminfo: memFree=28040320/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1721.88 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274827 0 0 0 172137 51 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1333828 [startup+1782.3 s] /proc/loadavg: 2.35 2.30 2.22 3/183 25164 /proc/meminfo: memFree=28039976/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1781.86 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274853 0 0 0 178134 52 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.25 2.28 2.22 3/183 25164 /proc/meminfo: memFree=28039820/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1800.05 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274861 0 0 0 179953 52 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 6021684 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1333828 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 25094 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.25 2.28 2.22 3/183 25164 /proc/meminfo: memFree=28039820/32872528 swapFree=1370848/1518016 [pid=25094] ppid=25091 vsize=1333828 CPUtime=1800.05 cores=0,2,4,6 /proc/25094/stat : 25094 (toysat) R 25091 25094 24737 0 -1 4202496 274861 0 0 0 179953 52 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140734687044416 6021684 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25094/statm: 333457 274882 853 2943 0 330351 0 [pid=25094/tid=25095] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25095/stat : 25095 (toysat) S 25091 25094 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415976058096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25094/tid=25096] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25096/stat : 25096 (toysat) S 25091 25094 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415965568240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=25094/tid=25097] ppid=25091 vsize=1333828 CPUtime=0 cores=0,2,4,6 /proc/25094/task/25097/stat : 25097 (toysat) S 25091 25094 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29905241 1365839872 274882 33554432000 4194304 16246674 140734687062528 140415955094704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1333828 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1799.54 CPU system time (s): 0.533918 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.533918 maximum resident set size= 1099528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274861 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= 327 involuntary context switches= 1849 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.56731 second user time and 6.93595 second system time The end
Begin job on node129 at 2016-06-18 21:36:28 IDJOB=4106808 IDBENCH=48271 IDSOLVER=2542 FILE ID=node129/4106808-1466278587 RUNJOBID= node129-1466274985-24753 PBS_JOBID= 19918243 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106808-1466278587/watcher-4106808-1466278587 -o /tmp/evaluation-result-4106808-1466278587/solver-4106808-1466278587 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106808-1466278587.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b5a23f46b7c8ffe564ae87cb51d69480 RANDOM SEED=1288800324 node129.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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.28 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.143 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.143 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.143 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.143 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.143 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.54 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.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29945380 kB Buffers: 160168 kB Cached: 213088 kB SwapCached: 1940 kB Active: 423848 kB Inactive: 244440 kB Active(anon): 295668 kB Inactive(anon): 1076 kB Active(file): 128180 kB Inactive(file): 243364 kB Unevictable: 1518016 kB Mlocked: 1370848 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 32632 kB Writeback: 0 kB AnonPages: 1789212 kB Mapped: 10400 kB Shmem: 0 kB Slab: 603516 kB SReclaimable: 47668 kB SUnreclaim: 555848 kB KernelStack: 1480 kB PageTables: 8416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2650352 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 126976 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 node129 at 2016-06-18 22:06:28