Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb |
| MD5SUM | b3e6d54e40b24334877b0ae377edea30 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.148976 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | YES |
| Number of variables | 464 |
| Total number of constraints | 845 |
| Number of constraints which are clauses | 845 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 149 |
| Number of terms in the objective function | 464 |
| 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 | 464 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 464 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T18:44:29+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079477-1465231469.opb"] 0.00/0.01 c use --random-gen="514197542 4279440646 2351000057 3205547778 4209204943 3161402150 2663365526 2736872841 173538802 2934483184 51911525 4020485865 2645192002 2999887925 1410956549 2227409543 690878135 3198968491 2730956633 2881627476 2486849007 285038934 1660040029 2527967790 202378180 4214886524 1036122722 228072368 3910136916 2294176027 4076472541 1714056330 1639438595 3482646564 3815834670 130474781 973476001 502339793 2504587403 3668521448 363790348 3095300496 513826678 3272276782 770704992 991510657 1668313784 4151000408 607873528 595458578 3600396106 1887146557 994009878 4155319210 3100468583 2639369011 4009495580 361287379 1367277668 362995376 3917168197 433070070 3676955983 3449537797 2158650036 2209166753 2075833512 1631588765 2479425655 2917085505 3699324792 414414700 4205780981 1953225260 2809819116 1342611383 1936423731 2805242832 3482446250 1988842094 419674890 634193813 3564028436 1477898615 940927371 374413262 880353904 2648145986 2573224125 4277165693 2179781624 1507033588 2983832370 2395606960 3873744625 2273349677 1831730443 2434921869 2119747654 2562501382 4183036349 173876125 3484121193 1282868721 3497832940 4058590653 1792585532 203175368 3651288501 3822857537 460257258 360657768 3458075717 3262800588 543855024 1904138819 3302465385 3198977436 1206590114 1677609849 497908724 1951929703 140890297 2704827127 1434804980 2067403940 985914206 283838646 400329890 1274194314 2638281920 3816832211 3627694834 3188173025 4104900831 3145658411 852237479 402693995 3124854067 2822826040 2107414585 763873029 257749397 4251059533 4193467599 2872879925 1877169742 2819649998 3817289173 3866396060 887774065 1523007771 337037854 1148224008 914724998 2130866975 626061874 2264458461 2721420720 3312099191 2279676603 901515026 33959268 436940285 3239603629 3557536316 2042261068 4025634893 1073613699 4275118561 3931231019 2294739159 2305498332 626660931 1600408440 295446401 3645308815 3908016155 1290731109 1611111009 2494379397 1904774566 541570317 3976826655 1613397985 2605319025 474058408 192153421 2765243581 3903345856 2374981050 551456640 3379776615 3007608770 2286230309 1796006709 3624260558 2514528017 145881435 1594037368 3279287304 2458204727 4111893845 2651939370 2394395918 3863506921 3519326446 770274070 291609424 1170059910 2052150643 4250389681 1332698132 2247085933 3195637564 274283220 4259236038 871170213 2376762783 3231641838 1735515284 1876796541 1479387275 3391327706 2946324014 3176767174 2730269641 2918832383 3762481903 3167080962 3396258668 2958227226 3720928344 2765281017 2349839495 2973356566 2597039451 335064410 3175268404 227124338 1837927262 4242107676 3630156171 1874230617 3452068055 3079584011 1523547799 4235762052 2137239924 3651685304 3328786416 4202658265 2480053935 3388076891 1277529486 1849989429 255 362436" option to reproduce the execution 0.00/0.07 c #vars 464 0.00/0.07 c #constraints 845 0.08/0.14 c BCD2: Hardening is enabled. 0.08/0.14 c BCD2: BiasedSearch is enabled. 0.08/0.14 c Solving starts ... 0.08/0.14 c ============================[ Search Statistics ]============================ 0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.14 c | | | | Limit GC | Var | Constra 0.08/0.14 c ============================================================================= 0.08/0.14 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 0 0.08/0.15 c 0.0s | 0 | 463 | 0 | 435 0 | 1 | 0 0.08/0.15 c #cpu_time = 0.005s 0.08/0.15 c #wall_clock_time = 0.005s 0.08/0.15 c #decision = 463 0.08/0.15 c #random_decision = 2 0.08/0.15 c #conflict = 0 0.08/0.15 c #restart = 0 0.08/0.15 o 464 0.08/0.15 c BCD2: updating upper bound: 464 -> 463 0.08/0.15 c BCD2: 0 <= obj <= 463 0.08/0.15 c BCD2: #cores=0, #unrelaxed=464, #relaxed=0, #hardened=0 0.08/0.15 c BCD2: #sat=1 #unsat=1 bias=1/2 0.08/0.15 c Solving starts ... 0.08/0.15 c ============================[ Search Statistics ]============================ 0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.15 c | | | | Limit GC | Var | Constra 0.08/0.15 c ============================================================================= 0.08/0.15 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 0 0.08/0.15 c 0.0s | 0 | 1 | 0 | 435 0 | 1 | 0 0.08/0.15 c #cpu_time = 0.004s 0.08/0.15 c #wall_clock_time = 0.004s 0.08/0.15 c #decision = 1 0.08/0.15 c #random_decision = 0 0.08/0.15 c #conflict = 0 0.08/0.15 c #restart = 0 0.08/0.15 c BCD2: found a new core of size 1: cost of the new core is >=1 0.08/0.15 c lower bound updated to 1 0.08/0.15 c BCD2: 1 <= obj <= 463 0.08/0.15 c BCD2: #cores=1, #unrelaxed=463, #relaxed=1, #hardened=0 0.08/0.15 c BCD2: #sat=1 #unsat=2 bias=2/3 0.08/0.15 c Solving starts ... 0.08/0.15 c ============================[ Search Statistics ]============================ 0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.15 c | | | | Limit GC | Var | Constra 0.08/0.15 c ============================================================================= 0.08/0.15 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 0 0.08/0.16 c 0.0s | 0 | 319 | 0 | 435 0 | 1 | 0 0.08/0.16 c #cpu_time = 0.004s 0.08/0.16 c #wall_clock_time = 0.004s 0.08/0.16 c #decision = 319 0.08/0.16 c #random_decision = 0 0.08/0.16 c #conflict = 0 0.08/0.16 c #restart = 0 0.08/0.16 c BCD2: found a new core of size 3: cost of the new core is >=1 0.08/0.16 c lower bound updated to 2 0.08/0.16 c BCD2: 2 <= obj <= 463 0.08/0.16 c BCD2: #cores=2, #unrelaxed=460, #relaxed=4, #hardened=0 0.08/0.16 c BCD2: #sat=1 #unsat=3 bias=3/4 0.08/0.16 c Solving starts ... 0.08/0.16 c ============================[ Search Statistics ]============================ 0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.16 c | | | | Limit GC | Var | Constra 0.08/0.16 c ============================================================================= 0.08/0.16 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 41 0.08/0.16 c 0.0s | 0 | 351 | 0 | 435 0 | 1 | 41 0.08/0.16 c #cpu_time = 0.004s 0.08/0.16 c #wall_clock_time = 0.004s 0.08/0.16 c #decision = 351 0.08/0.16 c #random_decision = 0 0.08/0.16 c #conflict = 0 0.08/0.16 c #restart = 0 0.08/0.16 c BCD2: found a new core of size 37: cost of the new core is >=1 0.08/0.16 c lower bound updated to 3 0.08/0.16 c BCD2: 3 <= obj <= 463 0.08/0.16 c BCD2: #cores=3, #unrelaxed=423, #relaxed=41, #hardened=0 0.08/0.16 c BCD2: #sat=1 #unsat=4 bias=4/5 0.08/0.16 c Solving starts ... 0.08/0.16 c ============================[ Search Statistics ]============================ 0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.16 c | | | | Limit GC | Var | Constra 0.08/0.16 c ============================================================================= 0.08/0.16 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 42 0.08/0.17 c 0.0s | 0 | 367 | 0 | 435 0 | 1 | 42 0.08/0.17 c #cpu_time = 0.004s 0.08/0.17 c #wall_clock_time = 0.004s 0.08/0.17 c #decision = 367 0.08/0.17 c #random_decision = 0 0.08/0.17 c #conflict = 0 0.08/0.17 c #restart = 0 0.08/0.17 c BCD2: found a new core of size 18: cost of the new core is >=1 0.08/0.17 c lower bound updated to 4 0.08/0.17 c BCD2: 4 <= obj <= 463 0.08/0.17 c BCD2: #cores=4, #unrelaxed=405, #relaxed=59, #hardened=0 0.08/0.17 c BCD2: #sat=1 #unsat=5 bias=5/6 0.08/0.17 c Solving starts ... 0.08/0.17 c ============================[ Search Statistics ]============================ 0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.17 c | | | | Limit GC | Var | Constra 0.08/0.17 c ============================================================================= 0.08/0.17 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 45 0.08/0.17 c 0.0s | 0 | 367 | 0 | 435 0 | 1 | 45 0.08/0.17 c #cpu_time = 0.004s 0.08/0.17 c #wall_clock_time = 0.004s 0.08/0.17 c #decision = 367 0.08/0.17 c #random_decision = 0 0.08/0.17 c #conflict = 0 0.08/0.17 c #restart = 0 0.08/0.17 c BCD2: found a new core of size 16: cost of the new core is >=1 0.08/0.17 c lower bound updated to 5 0.08/0.17 c BCD2: 5 <= obj <= 463 0.08/0.17 c BCD2: #cores=5, #unrelaxed=389, #relaxed=75, #hardened=0 0.08/0.17 c BCD2: #sat=1 #unsat=6 bias=6/7 0.08/0.17 c Solving starts ... 0.08/0.17 c ============================[ Search Statistics ]============================ 0.08/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.17 c | | | | Limit GC | Var | Constra 0.08/0.17 c ============================================================================= 0.08/0.17 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 66 0.08/0.18 c 0.0s | 0 | 360 | 0 | 435 0 | 1 | 66 0.08/0.18 c #cpu_time = 0.004s 0.08/0.18 c #wall_clock_time = 0.004s 0.08/0.18 c #decision = 360 0.08/0.18 c #random_decision = 0 0.08/0.18 c #conflict = 0 0.08/0.18 c #restart = 0 0.08/0.18 c BCD2: found a new core of size 22: cost of the new core is >=1 0.08/0.18 c lower bound updated to 6 0.08/0.18 c BCD2: 6 <= obj <= 463 0.08/0.18 c BCD2: #cores=6, #unrelaxed=367, #relaxed=97, #hardened=0 0.08/0.18 c BCD2: #sat=1 #unsat=7 bias=7/8 0.08/0.18 c Solving starts ... 0.08/0.18 c ============================[ Search Statistics ]============================ 0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.18 c | | | | Limit GC | Var | Constra 0.08/0.18 c ============================================================================= 0.08/0.18 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 66 0.08/0.18 c 0.0s | 0 | 350 | 0 | 435 0 | 1 | 66 0.08/0.18 c #cpu_time = 0.004s 0.08/0.18 c #wall_clock_time = 0.004s 0.08/0.18 c #decision = 350 0.08/0.18 c #random_decision = 0 0.08/0.18 c #conflict = 0 0.08/0.18 c #restart = 0 0.08/0.18 c BCD2: found a new core of size 12: cost of the new core is >=1 0.08/0.18 c lower bound updated to 7 0.08/0.18 c BCD2: 7 <= obj <= 463 0.08/0.18 c BCD2: #cores=7, #unrelaxed=355, #relaxed=109, #hardened=0 0.08/0.18 c BCD2: #sat=1 #unsat=8 bias=8/9 0.08/0.18 c Solving starts ... 0.08/0.18 c ============================[ Search Statistics ]============================ 0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.18 c | | | | Limit GC | Var | Constra 0.08/0.18 c ============================================================================= 0.08/0.18 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 67 0.08/0.19 c 0.0s | 0 | 351 | 0 | 435 0 | 1 | 67 0.08/0.19 c #cpu_time = 0.004s 0.08/0.19 c #wall_clock_time = 0.004s 0.08/0.19 c #decision = 351 0.08/0.19 c #random_decision = 0 0.08/0.19 c #conflict = 0 0.08/0.19 c #restart = 0 0.08/0.19 c BCD2: found a new core of size 10: cost of the new core is >=1 0.08/0.19 c lower bound updated to 8 0.08/0.19 c BCD2: 8 <= obj <= 463 0.08/0.19 c BCD2: #cores=8, #unrelaxed=345, #relaxed=119, #hardened=0 0.08/0.19 c BCD2: #sat=1 #unsat=9 bias=9/10 0.08/0.19 c Solving starts ... 0.08/0.19 c ============================[ Search Statistics ]============================ 0.08/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.19 c | | | | Limit GC | Var | Constra 0.08/0.19 c ============================================================================= 0.08/0.19 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 68 0.08/0.19 c 0.0s | 0 | 430 | 0 | 435 0 | 1 | 68 0.08/0.19 c #cpu_time = 0.004s 0.08/0.19 c #wall_clock_time = 0.004s 0.08/0.19 c #decision = 430 0.08/0.19 c #random_decision = 0 0.08/0.19 c #conflict = 0 0.08/0.19 c #restart = 0 0.08/0.19 o 22 0.08/0.19 c BCD2: updating upper bound: 463 -> 21 0.08/0.20 c BCD2: 8 <= obj <= 21 0.08/0.20 c BCD2: #cores=8, #unrelaxed=345, #relaxed=119, #hardened=0 0.08/0.20 c BCD2: #sat=2 #unsat=9 bias=9/11 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 69 0.19/0.20 c 0.0s | 0 | 398 | 14 | 435 0 | 1 | 69 0.19/0.20 c #cpu_time = 0.007s 0.19/0.20 c #wall_clock_time = 0.007s 0.19/0.20 c #decision = 398 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 14 0.19/0.20 c #restart = 0 0.19/0.20 o 17 0.19/0.20 c BCD2: updating upper bound: 21 -> 16 0.19/0.21 c BCD2: 8 <= obj <= 16 0.19/0.21 c BCD2: #cores=8, #unrelaxed=345, #relaxed=119, #hardened=0 0.19/0.21 c BCD2: #sat=3 #unsat=9 bias=9/12 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 435 0 | 1 | 70 0.19/0.22 c 0.0s | 0 | 514 | 26 | 435 0 | 1 | 70 0.19/0.22 c #cpu_time = 0.008s 0.19/0.22 c #wall_clock_time = 0.008s 0.19/0.22 c #decision = 514 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 26 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: relaxing 145 and merging with 4 cores into a new core of size 232: cost of the new core is >=5 0.19/0.22 c lower bound updated to 9 0.19/0.22 c BCD2: 9 <= obj <= 16 0.19/0.22 c BCD2: #cores=5, #unrelaxed=200, #relaxed=264, #hardened=0 0.19/0.22 c BCD2: #sat=3 #unsat=10 bias=10/13 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 435 0 | 17 | 70 0.19/0.26 c 0.0s | 1 | 1018 | 100 | 479 0 | 17 | 98 0.28/0.32 c 0.1s | 2 | 2071 | 250 | 527 0 | 17 | 98 0.38/0.41 c 0.2s | 3 | 3884 | 475 | 580 0 | 17 | 98 0.49/0.55 c 0.3s | 4 | 6910 | 813 | 638 0 | 17 | 98 0.69/0.73 c 0.5s | 5 | 10287 | 1320 | 702 1 | 17 | 98 0.99/1.04 c 0.8s | 6 | 13687 | 2081 | 773 3 | 17 | 98 1.48/1.53 c 1.3s | 7 | 23193 | 3223 | 851 5 | 17 | 98 1.99/2.09 c 1.9s | 8 | 38663 | 4936 | 937 8 | 17 | 98 2.89/2.91 c 2.7s | 9 | 55892 | 7506 | 1031 12 | 17 | 98 3.99/4.06 c 3.8s | 10 | 78300 | 11361 | 1135 18 | 17 | 98 5.99/6.07 c 5.9s | 11 | 118880 | 17144 | 1249 27 | 17 | 98 7.99/8.08 c 7.9s | 11 | 158082 | 23244 | 1249 35 | 17 | 98 8.79/8.90 c 8.7s | 12 | 170244 | 25819 | 1374 38 | 17 | 98 10.88/10.91 c 10.7s | 12 | 206055 | 31919 | 1374 46 | 17 | 98 12.88/12.93 c 12.7s | 12 | 247508 | 38019 | 1374 53 | 17 | 98 13.19/13.21 c 13.0s | 13 | 253120 | 38832 | 1512 54 | 17 | 98 15.18/15.23 c 15.0s | 13 | 286529 | 44932 | 1512 61 | 17 | 98 17.18/17.26 c 17.0s | 13 | 317529 | 50932 | 1512 68 | 17 | 98 19.28/19.30 c 19.1s | 13 | 357981 | 57732 | 1512 75 | 17 | 98 19.48/19.53 c 19.3s | 14 | 360773 | 58352 | 1664 76 | 17 | 98 21.48/21.56 c 21.3s | 14 | 400659 | 64852 | 1664 83 | 17 | 98 23.48/23.57 c 23.3s | 14 | 438562 | 70852 | 1664 89 | 17 | 98 25.48/25.58 c 25.4s | 14 | 476638 | 77352 | 1664 96 | 17 | 98 27.59/27.61 c 27.4s | 14 | 505540 | 83752 | 1664 102 | 17 | 98 28.78/28.86 c 28.6s | 15 | 526608 | 87632 | 1831 106 | 17 | 98 30.79/30.88 c 30.7s | 15 | 554847 | 93632 | 1831 112 | 17 | 98 32.78/32.88 c 32.7s | 15 | 594401 | 99332 | 1831 118 | 17 | 98 34.87/34.90 c 34.7s | 15 | 630670 | 105232 | 1831 123 | 17 | 98 36.88/36.92 c 36.7s | 15 | 663989 | 111332 | 1831 129 | 17 | 98 38.88/38.93 c 38.7s | 15 | 696933 | 117132 | 1831 135 | 17 | 98 40.88/40.93 c 40.7s | 15 | 727925 | 122532 | 1831 140 | 17 | 98 42.88/42.93 c 42.7s | 15 | 761025 | 128232 | 1831 145 | 17 | 98 44.08/44.15 c 43.9s | 16 | 778871 | 131552 | 2015 149 | 17 | 98 46.07/46.16 c 45.9s | 16 | 812606 | 138152 | 2015 154 | 17 | 98 48.08/48.17 c 48.0s | 16 | 846720 | 144852 | 2015 160 | 17 | 98 50.17/50.20 c 50.0s | 16 | 884863 | 151752 | 2015 166 | 17 | 98 52.18/52.21 c 52.0s | 16 | 923410 | 158052 | 2015 172 | 17 | 98 54.18/54.23 c 54.0s | 16 | 964541 | 164952 | 2015 178 | 17 | 98 56.18/56.24 c 56.0s | 16 | 1000932 | 171352 | 2015 184 | 17 | 98 58.17/58.27 c 58.1s | 16 | 1038709 | 178152 | 2015 190 | 17 | 98 60.27/60.30 c 60.1s | 16 | 1076520 | 185052 | 2015 196 | 17 | 98 62.27/62.32 c 62.1s | 16 | 1111751 | 192152 | 2015 202 | 17 | 98 63.88/63.92 c 63.7s | 17 | 1140950 | 197432 | 2217 206 | 17 | 98 65.88/65.93 c 65.7s | 17 | 1179636 | 204132 | 2217 212 | 17 | 98 67.87/67.94 c 67.7s | 17 | 1218161 | 210532 | 2217 217 | 17 | 98 69.87/69.94 c 69.7s | 17 | 1257805 | 216732 | 2217 222 | 17 | 98 71.87/71.95 c 71.7s | 17 | 1292695 | 222332 | 2217 227 | 17 | 98 73.87/73.95 c 73.7s | 17 | 1330771 | 228032 | 2217 231 | 17 | 98 75.87/75.97 c 75.8s | 17 | 1367156 | 233632 | 2217 236 | 17 | 98 77.87/77.99 c 77.8s | 17 | 1401155 | 239232 | 2217 240 | 17 | 98 79.97/80.01 c 79.8s | 17 | 1435837 | 244732 | 2217 245 | 17 | 98 81.97/82.01 c 81.8s | 17 | 1460729 | 249732 | 2217 249 | 17 | 98 83.97/84.02 c 83.8s | 17 | 1496417 | 256132 | 2217 254 | 17 | 98 85.96/86.08 c 85.9s | 17 | 1529135 | 261932 | 2217 259 | 17 | 98 87.98/88.09 c 87.9s | 17 | 1556861 | 267732 | 2217 264 | 17 | 98 90.07/90.13 c 89.9s | 17 | 1587863 | 273532 | 2217 268 | 17 | 98 92.07/92.16 c 91.9s | 17 | 1621773 | 279432 | 2217 273 | 17 | 98 94.06/94.17 c 94.0s | 17 | 1660326 | 285232 | 2217 278 | 17 | 98 96.07/96.18 c 96.0s | 17 | 1697008 | 290532 | 2217 282 | 17 | 98 98.07/98.16 c 97.9s | 18 | 1732613 | 296252 | 2439 286 | 17 | 98 100.08/100.18 c 100.0s | 18 | 1775185 | 301952 | 2439 291 | 17 | 98 102.07/102.19 c 101s | 18 | 1811369 | 307452 | 2439 295 | 17 | 98 104.17/104.21 c 103s | 18 | 1843127 | 312652 | 2439 299 | 17 | 98 106.16/106.24 c 106s | 18 | 1875479 | 318052 | 2439 303 | 17 | 98 108.16/108.25 c 108s | 18 | 1907079 | 323352 | 2439 307 | 17 | 98 110.16/110.27 c 110s | 18 | 1941310 | 328752 | 2439 311 | 17 | 98 112.17/112.30 c 112s | 18 | 1974427 | 333852 | 2439 314 | 17 | 98 114.27/114.33 c 114s | 18 | 2005999 | 339152 | 2439 318 | 17 | 98 116.26/116.36 c 116s | 18 | 2040432 | 344052 | 2439 322 | 17 | 98 118.26/118.39 c 118s | 18 | 2071611 | 348952 | 2439 326 | 17 | 98 120.26/120.39 c 120s | 18 | 2100164 | 353952 | 2439 329 | 17 | 98 122.26/122.39 c 122s | 18 | 2128636 | 359252 | 2439 333 | 17 | 98 124.37/124.41 c 124s | 18 | 2159681 | 364652 | 2439 337 | 17 | 98 126.36/126.45 c 126s | 18 | 2185996 | 369552 | 2439 341 | 17 | 98 128.36/128.47 c 128s | 18 | 2211734 | 374352 | 2439 345 | 17 | 98 130.36/130.50 c 130s | 18 | 2239066 | 379252 | 2439 348 | 17 | 98 132.45/132.53 c 132s | 18 | 2261732 | 384052 | 2439 352 | 17 | 98 134.46/134.55 c 134s | 18 | 2284198 | 388852 | 2439 356 | 17 | 98 136.47/136.56 c 136s | 18 | 2305656 | 393552 | 2439 359 | 17 | 98 138.46/138.60 c 138s | 18 | 2335701 | 398052 | 2439 362 | 17 | 98 140.55/140.61 c 140s | 18 | 2371699 | 403552 | 2439 367 | 17 | 98 142.56/142.63 c 142s | 18 | 2408409 | 409252 | 2439 371 | 17 | 98 144.56/144.63 c 144s | 18 | 2443207 | 415052 | 2439 375 | 17 | 98 146.56/146.65 c 146s | 18 | 2481732 | 420752 | 2439 379 | 17 | 98 148.56/148.69 c 148s | 18 | 2510063 | 425952 | 2439 383 | 17 | 98 150.56/150.70 c 150s | 18 | 2541397 | 431452 | 2439 387 | 17 | 98 152.66/152.72 c 152s | 18 | 2567721 | 436752 | 2439 391 | 17 | 98 154.65/154.73 c 154s | 18 | 2599190 | 441852 | 2683 395 | 17 | 98 155.65/155.74 c 155s | 19 | 2611276 | 444482 | 2683 397 | 17 | 98 157.65/157.75 c 157s | 19 | 2640675 | 449382 | 2683 400 | 17 | 98 159.66/159.79 c 159s | 19 | 2671430 | 454882 | 2683 404 | 17 | 98 161.76/161.84 c 161s | 19 | 2698951 | 460482 | 2683 408 | 17 | 98 163.75/163.85 c 163s | 19 | 2730147 | 465882 | 2683 411 | 17 | 98 165.75/165.88 c 165s | 19 | 2759694 | 471582 | 2683 415 | 17 | 98 167.86/167.91 c 167s | 19 | 2788073 | 476782 | 2683 419 | 17 | 98 169.85/169.92 c 169s | 19 | 2815743 | 482082 | 2683 422 | 17 | 98 171.85/171.94 c 171s | 19 | 2840761 | 486882 | 2683 425 | 17 | 98 173.86/173.94 c 173s | 19 | 2865925 | 492082 | 2683 429 | 17 | 98 175.95/176.01 c 175s | 19 | 2888064 | 496482 | 2683 432 | 17 | 98 177.95/178.05 c 177s | 19 | 2917397 | 501382 | 2683 435 | 17 | 98 179.95/180.08 c 179s | 19 | 2948162 | 506782 | 2683 439 | 17 | 98 181.95/182.09 c 181s | 19 | 2976698 | 511682 | 2683 442 | 17 | 98 184.05/184.11 c 183s | 19 | 3007896 | 517382 | 2683 446 | 17 | 98 186.05/186.14 c 185s | 19 | 3037495 | 522882 | 2683 450 | 17 | 98 188.05/188.14 c 187s | 19 | 3071733 | 528182 | 2683 454 | 17 | 98 190.05/190.18 c 189s | 19 | 3102130 | 533682 | 2683 457 | 17 | 98 192.05/192.19 c 191s | 19 | 3138159 | 538782 | 2683 461 | 17 | 98 194.14/194.21 c 193s | 19 | 3169607 | 544082 | 2683 465 | 17 | 98 196.14/196.23 c 196s | 19 | 3199165 | 549282 | 2683 468 | 17 | 98 198.15/198.25 c 198s | 19 | 3228373 | 554382 | 2683 472 | 17 | 98 200.15/200.29 c 200s | 19 | 3254826 | 559382 | 2683 475 | 17 | 98 202.25/202.34 c 202s | 19 | 3277270 | 563782 | 2683 478 | 17 | 98 204.25/204.34 c 204s | 19 | 3306688 | 568982 | 2683 482 | 17 | 98 206.24/206.37 c 206s | 19 | 3335148 | 574482 | 2683 485 | 17 | 98 208.34/208.40 c 208s | 19 | 3363956 | 579682 | 2683 489 | 17 | 98 210.34/210.43 c 210s | 19 | 3393330 | 584782 | 2683 492 | 17 | 98 212.35/212.48 c 212s | 19 | 3422421 | 589582 | 2683 496 | 17 | 98 214.45/214.52 c 214s | 19 | 3447485 | 594582 | 2683 499 | 17 | 98 216.44/216.56 c 216s | 19 | 3475292 | 599482 | 2683 502 | 17 | 98 218.44/218.59 c 218s | 19 | 3500184 | 603882 | 2683 505 | 17 | 98 220.54/220.61 c 220s | 19 | 3524448 | 608182 | 2683 508 | 17 | 98 222.54/222.61 c 222s | 19 | 3546829 | 612582 | 2683 511 | 17 | 98 224.54/224.64 c 224s | 19 | 3575473 | 617582 | 2683 515 | 17 | 98 226.54/226.67 c 226s | 19 | 3611291 | 622882 | 2683 518 | 17 | 98 228.54/228.69 c 228s | 19 | 3644471 | 627782 | 2683 521 | 17 | 98 230.64/230.70 c 230s | 19 | 3674678 | 632882 | 2683 525 | 17 | 98 232.64/232.73 c 232s | 19 | 3704128 | 637882 | 2683 528 | 17 | 98 234.64/234.73 c 234s | 19 | 3733068 | 642682 | 2683 532 | 17 | 98 236.64/236.74 c 236s | 19 | 3758406 | 647282 | 2683 535 | 17 | 98 238.65/238.76 c 238s | 19 | 3778368 | 651282 | 2683 537 | 17 | 98 240.64/240.79 c 240s | 19 | 3807873 | 655982 | 2683 541 | 17 | 98 242.74/242.80 c 242s | 19 | 3833096 | 660282 | 2683 544 | 17 | 98 244.74/244.82 c 244s | 19 | 3856738 | 664482 | 2952 546 | 17 | 98 245.74/245.81 c 245s | 20 | 3869247 | 666827 | 2952 548 | 17 | 98 247.74/247.83 c 247s | 20 | 3895466 | 671527 | 2952 551 | 17 | 98 249.75/249.86 c 249s | 20 | 3929331 | 677027 | 2952 554 | 17 | 98 251.74/251.88 c 251s | 20 | 3961427 | 682427 | 2952 557 | 17 | 98 253.84/253.90 c 253s | 20 | 3989387 | 687927 | 2952 561 | 17 | 98 255.84/255.93 c 255s | 20 | 4020835 | 693327 | 2952 564 | 17 | 98 257.84/257.96 c 257s | 20 | 4051498 | 698627 | 2952 568 | 17 | 98 259.84/259.97 c 259s | 20 | 4078537 | 703927 | 2952 571 | 17 | 98 261.84/261.98 c 261s | 20 | 4105574 | 708627 | 2952 574 | 17 | 98 263.83/263.99 c 263s | 20 | 4144742 | 713927 | 2952 577 | 17 | 98 265.93/266.03 c 265s | 20 | 4175867 | 719627 | 2952 581 | 17 | 98 267.93/268.05 c 267s | 20 | 4209543 | 725327 | 2952 584 | 17 | 98 269.93/270.07 c 269s | 20 | 4242854 | 730527 | 2952 587 | 17 | 98 271.93/272.09 c 271s | 20 | 4272772 | 736027 | 2952 591 | 17 | 98 273.94/274.09 c 273s | 20 | 4300270 | 741327 | 2952 594 | 17 | 98 276.04/276.11 c 275s | 20 | 4325177 | 745827 | 2952 597 | 17 | 98 278.03/278.11 c 277s | 20 | 4356963 | 751527 | 2952 601 | 17 | 98 280.02/280.15 c 279s | 20 | 4387045 | 757227 | 2952 604 | 17 | 98 282.03/282.18 c 281s | 20 | 4419234 | 762927 | 2952 608 | 17 | 98 284.13/284.22 c 284s | 20 | 4448956 | 768927 | 2952 611 | 17 | 98 286.13/286.23 c 286s | 20 | 4479465 | 774727 | 2952 615 | 17 | 98 288.14/288.26 c 288s | 20 | 4511000 | 780227 | 2952 618 | 17 | 98 290.22/290.31 c 290s | 20 | 4540663 | 785527 | 2952 622 | 17 | 98 292.22/292.32 c 292s | 20 | 4572863 | 790927 | 2952 625 | 17 | 98 294.23/294.32 c 294s | 20 | 4606604 | 796927 | 2952 629 | 17 | 98 296.23/296.35 c 296s | 20 | 4638291 | 802827 | 2952 633 | 17 | 98 298.23/298.36 c 298s | 20 | 4671449 | 808127 | 2952 636 | 17 | 98 300.23/300.37 c 300s | 20 | 4703415 | 813427 | 2952 639 | 17 | 98 302.23/302.37 c 302s | 20 | 4731514 | 818827 | 2952 643 | 17 | 98 304.22/304.39 c 304s | 20 | 4762002 | 824127 | 2952 646 | 17 | 98 306.32/306.40 c 306s | 20 | 4790007 | 829327 | 2952 649 | 17 | 98 308.32/308.44 c 308s | 20 | 4822980 | 834427 | 2952 652 | 17 | 98 310.32/310.45 c 310s | 20 | 4849308 | 838927 | 2952 655 | 17 | 98 312.33/312.47 c 312s | 20 | 4884790 | 844127 | 2952 658 | 17 | 98 314.42/314.51 c 314s | 20 | 4919727 | 849727 | 2952 662 | 17 | 98 316.42/316.52 c 316s | 20 | 4954428 | 855227 | 2952 665 | 17 | 98 318.42/318.55 c 318s | 20 | 4984526 | 860927 | 2952 669 | 17 | 98 320.42/320.57 c 320s | 20 | 5013540 | 866527 | 2952 672 | 17 | 98 322.52/322.60 c 322s | 20 | 5043090 | 871827 | 2952 676 | 17 | 98 324.53/324.63 c 324s | 20 | 5079030 | 877427 | 2952 679 | 17 | 98 326.52/326.63 c 326s | 20 | 5108509 | 883127 | 2952 683 | 17 | 98 328.52/328.66 c 328s | 20 | 5140338 | 888627 | 2952 686 | 17 | 98 330.51/330.68 c 330s | 20 | 5167931 | 893927 | 2952 690 | 17 | 98 332.51/332.68 c 332s | 20 | 5197493 | 899227 | 2952 693 | 17 | 98 334.51/334.69 c 334s | 20 | 5223412 | 904327 | 2952 696 | 17 | 98 336.62/336.70 c 336s | 20 | 5248315 | 909127 | 2952 699 | 17 | 98 338.61/338.71 c 338s | 20 | 5275513 | 913527 | 2952 702 | 17 | 98 340.61/340.73 c 340s | 20 | 5305185 | 918627 | 2952 705 | 17 | 98 342.62/342.74 c 342s | 20 | 5337874 | 924327 | 2952 709 | 17 | 98 344.61/344.75 c 344s | 20 | 5372597 | 929827 | 2952 712 | 17 | 98 346.61/346.79 c 346s | 20 | 5404501 | 935427 | 2952 716 | 17 | 98 348.62/348.80 c 348s | 20 | 5433049 | 940327 | 2952 719 | 17 | 98 350.71/350.83 c 350s | 20 | 5463327 | 945727 | 2952 722 | 17 | 98 352.71/352.87 c 352s | 20 | 5498589 | 951027 | 2952 725 | 17 | 98 354.71/354.89 c 354s | 20 | 5530989 | 956027 | 2952 728 | 17 | 98 356.81/356.91 c 356s | 20 | 5563024 | 961127 | 2952 732 | 17 | 98 358.81/358.92 c 358s | 20 | 5592608 | 966227 | 2952 735 | 17 | 98 360.82/360.93 c 360s | 20 | 5626518 | 971327 | 2952 738 | 17 | 98 362.81/362.94 c 362s | 20 | 5655308 | 976627 | 2952 741 | 17 | 98 364.81/364.96 c 364s | 20 | 5685985 | 981927 | 2952 745 | 17 | 98 366.81/366.99 c 366s | 20 | 5711109 | 987027 | 2952 748 | 17 | 98 368.91/369.00 c 368s | 20 | 5739128 | 991927 | 2952 751 | 17 | 98 370.90/371.02 c 370s | 20 | 5766005 | 996927 | 3248 754 | 17 | 98 372.31/372.47 c 372s | 21 | 5784891 | 1000345 | 3248 756 | 17 | 98 374.41/374.50 c 374s | 21 | 5813128 | 1005245 | 3248 759 | 17 | 98 376.40/376.53 c 376s | 21 | 5846626 | 1010645 | 3248 762 | 17 | 98 378.41/378.54 c 378s | 21 | 5880210 | 1015645 | 3248 764 | 17 | 98 380.40/380.57 c 380s | 21 | 5912071 | 1020945 | 3248 767 | 17 | 98 382.50/382.62 c 382s | 21 | 5941004 | 1026145 | 3248 770 | 17 | 98 384.51/384.64 c 384s | 21 | 5971746 | 1031345 | 3248 773 | 17 | 98 386.51/386.65 c 386s | 21 | 6002130 | 1036445 | 3248 776 | 17 | 98 388.50/388.66 c 388s | 21 | 6035474 | 1041045 | 3248 779 | 17 | 98 390.51/390.69 c 390s | 21 | 6062374 | 1045845 | 3248 782 | 17 | 98 392.61/392.72 c 392s | 21 | 6096119 | 1051245 | 3248 785 | 17 | 98 394.61/394.74 c 394s | 21 | 6125487 | 1056345 | 3248 788 | 17 | 98 396.60/396.79 c 396s | 21 | 6153858 | 1061345 | 3248 790 | 17 | 98 398.70/398.83 c 398s | 21 | 6182071 | 1066545 | 3248 793 | 17 | 98 400.70/400.85 c 400s | 21 | 6208015 | 1071545 | 3248 796 | 17 | 98 402.71/402.87 c 402s | 21 | 6233305 | 1075945 | 3248 799 | 17 | 98 404.70/404.87 c 404s | 21 | 6259599 | 1080545 | 3248 801 | 17 | 98 406.70/406.88 c 406s | 21 | 6290862 | 1085945 | 3248 805 | 17 | 98 408.80/408.91 c 408s | 21 | 6321733 | 1091545 | 3248 808 | 17 | 98 410.80/410.92 c 410s | 21 | 6351364 | 1096945 | 3248 811 | 17 | 98 412.80/412.95 c 412s | 21 | 6377283 | 1101845 | 3248 814 | 17 | 98 414.80/414.95 c 414s | 21 | 6406175 | 1107145 | 3248 817 | 17 | 98 416.80/416.98 c 416s | 21 | 6435290 | 1112445 | 3248 820 | 17 | 98 418.80/418.98 c 418s | 21 | 6466518 | 1117845 | 3248 823 | 17 | 98 420.80/420.99 c 420s | 21 | 6496143 | 1123145 | 3248 826 | 17 | 98 422.80/423.00 c 422s | 21 | 6523308 | 1128145 | 3248 829 | 17 | 98 424.90/425.01 c 424s | 21 | 6556836 | 1133445 | 3248 832 | 17 | 98 426.89/427.03 c 426s | 21 | 6589142 | 1138445 | 3248 834 | 17 | 98 428.90/429.04 c 428s | 21 | 6621502 | 1143345 | 3248 837 | 17 | 98 430.90/431.06 c 430s | 21 | 6649041 | 1148445 | 3248 840 | 17 | 98 432.90/433.08 c 432s | 21 | 6688173 | 1153845 | 3248 843 | 17 | 98 434.89/435.08 c 434s | 21 | 6714452 | 1159145 | 3248 846 | 17 | 98 436.99/437.10 c 436s | 21 | 6740841 | 1164245 | 3248 849 | 17 | 98 438.99/439.10 c 438s | 21 | 6765815 | 1169045 | 3248 852 | 17 | 98 441.00/441.18 c 440s | 21 | 6797140 | 1173445 | 3248 854 | 17 | 98 443.09/443.21 c 442s | 21 | 6831381 | 1179045 | 3248 858 | 17 | 98 445.09/445.22 c 444s | 21 | 6862268 | 1184345 | 3248 861 | 17 | 98 447.09/447.25 c 447s | 21 | 6893397 | 1189745 | 3248 864 | 17 | 98 449.10/449.26 c 449s | 21 | 6927956 | 1195445 | 3248 867 | 17 | 98 451.10/451.27 c 451s | 21 | 6957386 | 1200945 | 3248 870 | 17 | 98 453.20/453.32 c 453s | 21 | 6982971 | 1205845 | 3248 873 | 17 | 98 455.20/455.33 c 455s | 21 | 7010318 | 1210845 | 3248 876 | 17 | 98 457.20/457.35 c 457s | 21 | 7042395 | 1216445 | 3248 879 | 17 | 98 459.20/459.37 c 459s | 21 | 7076056 | 1221545 | 3248 882 | 17 | 98 461.19/461.40 c 461s | 21 | 7103548 | 1226745 | 3248 885 | 17 | 98 463.29/463.43 c 463s | 21 | 7133152 | 1231645 | 3248 888 | 17 | 98 465.30/465.48 c 465s | 21 | 7161929 | 1236545 | 3248 890 | 17 | 98 467.40/467.51 c 467s | 21 | 7189988 | 1241145 | 3248 893 | 17 | 98 469.39/469.56 c 469s | 21 | 7215174 | 1245745 | 3248 896 | 17 | 98 471.39/471.59 c 471s | 21 | 7244892 | 1250645 | 3248 899 | 17 | 98 473.49/473.61 c 473s | 21 | 7278855 | 1255845 | 3248 901 | 17 | 98 475.49/475.63 c 475s | 21 | 7311557 | 1261345 | 3248 905 | 17 | 98 477.49/477.67 c 477s | 21 | 7338990 | 1266445 | 3248 908 | 17 | 98 479.60/479.71 c 479s | 21 | 7366624 | 1271445 | 3248 910 | 17 | 98 481.59/481.73 c 481s | 21 | 7393147 | 1276245 | 3248 913 | 17 | 98 483.59/483.74 c 483s | 21 | 7417547 | 1280845 | 3248 916 | 17 | 98 485.58/485.77 c 485s | 21 | 7438705 | 1285045 | 3248 918 | 17 | 98 487.59/487.79 c 487s | 21 | 7471451 | 1290545 | 3248 921 | 17 | 98 489.69/489.84 c 489s | 21 | 7496398 | 1295545 | 3248 924 | 17 | 98 491.70/491.88 c 491s | 21 | 7522439 | 1300745 | 3248 927 | 17 | 98 493.79/493.91 c 493s | 21 | 7553150 | 1305845 | 3248 930 | 17 | 98 495.79/495.96 c 495s | 21 | 7581295 | 1310345 | 3248 933 | 17 | 98 497.79/497.98 c 497s | 21 | 7604442 | 1315045 | 3248 935 | 17 | 98 499.78/499.98 c 499s | 21 | 7628220 | 1318945 | 3248 937 | 17 | 98 501.88/502.01 c 501s | 21 | 7657930 | 1324245 | 3248 940 | 17 | 98 503.88/504.02 c 503s | 21 | 7683858 | 1329245 | 3248 943 | 17 | 98 505.89/506.06 c 505s | 21 | 7712642 | 1334945 | 3248 947 | 17 | 98 507.89/508.09 c 507s | 21 | 7739869 | 1340145 | 3248 950 | 17 | 98 509.99/510.11 c 509s | 21 | 7768290 | 1345345 | 3248 952 | 17 | 98 511.99/512.14 c 511s | 21 | 7790677 | 1350145 | 3248 955 | 17 | 98 513.99/514.16 c 513s | 21 | 7813803 | 1354145 | 3248 958 | 17 | 98 515.99/516.18 c 515s | 21 | 7841066 | 1358745 | 3248 960 | 17 | 98 517.99/518.19 c 517s | 21 | 7872741 | 1363945 | 3248 963 | 17 | 98 520.09/520.22 c 520s | 21 | 7899000 | 1369245 | 3248 966 | 17 | 98 522.08/522.24 c 522s | 21 | 7931905 | 1374345 | 3248 969 | 17 | 98 524.08/524.24 c 524s | 21 | 7956460 | 1378945 | 3248 972 | 17 | 98 526.09/526.25 c 526s | 21 | 7988737 | 1384345 | 3248 975 | 17 | 98 528.08/528.27 c 528s | 21 | 8020281 | 1389545 | 3248 978 | 17 | 98 530.09/530.30 c 530s | 21 | 8055530 | 1394745 | 3248 981 | 17 | 98 532.18/532.33 c 532s | 21 | 8088796 | 1399545 | 3248 983 | 17 | 98 534.18/534.34 c 534s | 21 | 8119126 | 1404245 | 3248 986 | 17 | 98 536.19/536.36 c 536s | 21 | 8146215 | 1409345 | 3248 989 | 17 | 98 538.18/538.38 c 538s | 21 | 8170590 | 1414045 | 3248 992 | 17 | 98 540.28/540.42 c 540s | 21 | 8196387 | 1418345 | 3248 994 | 17 | 98 542.28/542.46 c 542s | 21 | 8226543 | 1423845 | 3248 997 | 17 | 98 544.28/544.46 c 544s | 21 | 8254930 | 1428845 | 3248 1000 | 17 | 98 546.28/546.47 c 546s | 21 | 8289250 | 1434045 | 3248 1003 | 17 | 98 548.28/548.47 c 548s | 21 | 8312476 | 1439145 | 3248 1006 | 17 | 98 550.27/550.47 c 550s | 21 | 8339070 | 1444145 | 3248 1009 | 17 | 98 552.38/552.50 c 552s | 21 | 8369463 | 1449245 | 3248 1012 | 17 | 98 554.38/554.53 c 554s | 21 | 8400220 | 1454545 | 3248 1015 | 17 | 98 556.37/556.55 c 556s | 21 | 8430619 | 1459545 | 3248 1018 | 17 | 98 558.37/558.58 c 558s | 21 | 8459662 | 1464945 | 3248 1021 | 17 | 98 560.37/560.59 c 560s | 21 | 8486031 | 1469445 | 3248 1023 | 17 | 98 562.47/562.63 c 562s | 21 | 8511431 | 1474445 | 3248 1026 | 17 | 98 564.47/564.68 c 564s | 21 | 8537908 | 1479345 | 3248 1029 | 17 | 98 566.57/566.70 c 566s | 21 | 8566077 | 1484645 | 3248 1032 | 17 | 98 568.57/568.71 c 568s | 21 | 8597889 | 1489945 | 3573 1035 | 17 | 98 570.57/570.73 c 570s | 21 | 8625323 | 1495045 | 3573 1038 | 17 | 98 572.57/572.75 c 572s | 21 | 8652536 | 1499945 | 3573 1040 | 17 | 98 572.87/573.02 c 572s | 22 | 8655628 | 1500622 | 3573 1041 | 17 | 98 574.87/575.06 c 574s | 22 | 8679493 | 1505422 | 3573 1043 | 17 | 98 576.86/577.06 c 576s | 22 | 8707774 | 1510522 | 3573 1046 | 17 | 98 578.86/579.10 c 578s | 22 | 8738663 | 1515922 | 3573 1049 | 17 | 98 580.96/581.10 c 580s | 22 | 8765009 | 1521022 | 3573 1051 | 17 | 98 582.86/583.10 c 582s | 22 | 8796437 | 1526222 | 3573 1054 | 17 | 98 584.97/585.11 c 584s | 22 | 8822628 | 1531222 | 3573 1057 | 17 | 98 586.96/587.14 c 586s | 22 | 8850175 | 1536122 | 3573 1059 | 17 | 98 588.96/589.17 c 588s | 22 | 8879523 | 1541122 | 3573 1062 | 17 | 98 590.96/591.19 c 590s | 22 | 8911482 | 1546022 | 3573 1064 | 17 | 98 592.95/593.19 c 592s | 22 | 8941023 | 1550722 | 3573 1067 | 17 | 98 595.06/595.22 c 595s | 22 | 8967506 | 1555522 | 3573 1069 | 17 | 98 597.05/597.29 c 597s | 22 | 8989962 | 1559922 | 3573 1072 | 17 | 98 599.06/599.29 c 599s | 22 | 9022386 | 1564522 | 3573 1074 | 17 | 98 601.15/601.31 c 601s | 22 | 9052645 | 1569122 | 3573 1076 | 17 | 98 603.15/603.31 c 603s | 22 | 9087313 | 1574522 | 3573 1079 | 17 | 98 605.15/605.33 c 605s | 22 | 9118786 | 1579822 | 3573 1082 | 17 | 98 607.16/607.36 c 607s | 22 | 9148999 | 1584922 | 3573 1085 | 17 | 98 609.15/609.37 c 609s | 22 | 9177124 | 1590122 | 3573 1087 | 17 | 98 611.15/611.38 c 611s | 22 | 9208217 | 1595222 | 3573 1090 | 17 | 98 613.15/613.39 c 613s | 22 | 9236117 | 1600522 | 3573 1093 | 17 | 98 615.24/615.40 c 615s | 22 | 9265377 | 1605622 | 3573 1095 | 17 | 98 617.24/617.41 c 617s | 22 | 9293846 | 1610622 | 3573 1098 | 17 | 98 619.25/619.43 c 619s | 22 | 9318866 | 1615922 | 3573 1101 | 17 | 98 621.24/621.44 c 621s | 22 | 9342333 | 1620322 | 3573 1103 | 17 | 98 623.24/623.47 c 623s | 22 | 9369646 | 1625522 | 3573 1106 | 17 | 98 625.24/625.48 c 625s | 22 | 9395620 | 1630222 | 3573 1108 | 17 | 98 627.33/627.52 c 627s | 22 | 9422198 | 1635122 | 3573 1111 | 17 | 98 629.33/629.53 c 629s | 22 | 9446564 | 1639522 | 3573 1113 | 17 | 98 631.43/631.61 c 631s | 22 | 9476629 | 1644422 | 3573 1116 | 17 | 98 633.44/633.65 c 633s | 22 | 9505450 | 1649322 | 3573 1118 | 17 | 98 635.43/635.68 c 635s | 22 | 9534336 | 1654422 | 3573 1121 | 17 | 98 637.53/637.70 c 637s | 22 | 9559047 | 1659822 | 3573 1124 | 17 | 98 639.53/639.72 c 639s | 22 | 9591576 | 1665222 | 3573 1127 | 17 | 98 641.53/641.75 c 641s | 22 | 9623924 | 1670322 | 3573 1129 | 17 | 98 643.53/643.75 c 643s | 22 | 9655176 | 1675122 | 3573 1132 | 17 | 98 645.54/645.79 c 645s | 22 | 9682721 | 1679622 | 3573 1134 | 17 | 98 647.63/647.81 c 647s | 22 | 9717188 | 1684922 | 3573 1137 | 17 | 98 649.62/649.81 c 649s | 22 | 9748794 | 1690522 | 3573 1140 | 17 | 98 651.62/651.84 c 651s | 22 | 9778794 | 1696022 | 3573 1143 | 17 | 98 653.63/653.84 c 653s | 22 | 9810741 | 1701322 | 3573 1145 | 17 | 98 655.62/655.84 c 655s | 22 | 9840688 | 1706422 | 3573 1148 | 17 | 98 657.63/657.86 c 657s | 22 | 9871635 | 1711522 | 3573 1151 | 17 | 98 659.62/659.88 c 659s | 22 | 9900332 | 1716722 | 3573 1154 | 17 | 98 661.72/661.91 c 661s | 22 | 9931690 | 1722222 | 3573 1156 | 17 | 98 663.72/663.95 c 663s | 22 | 9961201 | 1727522 | 3573 1159 | 17 | 98 665.72/665.98 c 665s | 22 | 9992028 | 1732622 | 3573 1162 | 17 | 98 667.82/668.01 c 667s | 22 | 10018617 | 1737922 | 3573 1165 | 17 | 98 669.82/670.04 c 669s | 22 | 10046180 | 1742522 | 3573 1167 | 17 | 98 671.82/672.08 c 671s | 22 | 10074720 | 1747722 | 3573 1170 | 17 | 98 673.82/674.08 c 673s | 22 | 10103334 | 1752622 | 3573 1172 | 17 | 98 675.82/676.09 c 675s | 22 | 10129763 | 1757622 | 3573 1175 | 17 | 98 677.92/678.13 c 677s | 22 | 10155269 | 1762322 | 3573 1177 | 17 | 98 679.91/680.16 c 679s | 22 | 10181856 | 1767122 | 3573 1180 | 17 | 98 682.02/682.20 c 681s | 22 | 10210754 | 1772522 | 3573 1183 | 17 | 98 684.02/684.22 c 683s | 22 | 10238778 | 1777522 | 3573 1185 | 17 | 98 686.01/686.22 c 686s | 22 | 10266055 | 1782522 | 3573 1188 | 17 | 98 688.01/688.24 c 688s | 22 | 10286520 | 1786722 | 3573 1190 | 17 | 98 690.01/690.25 c 690s | 22 | 10307204 | 1790622 | 3573 1192 | 17 | 98 692.11/692.30 c 692s | 22 | 10330292 | 1794822 | 3573 1195 | 17 | 98 694.11/694.34 c 694s | 22 | 10357730 | 1799622 | 3573 1197 | 17 | 98 696.11/696.35 c 696s | 22 | 10389966 | 1804722 | 3573 1200 | 17 | 98 698.11/698.37 c 698s | 22 | 10426636 | 1810122 | 3573 1202 | 17 | 98 700.10/700.38 c 700s | 22 | 10457635 | 1815622 | 3573 1205 | 17 | 98 702.21/702.40 c 702s | 22 | 10488752 | 1820222 | 3573 1208 | 17 | 98 704.20/704.43 c 704s | 22 | 10525710 | 1825822 | 3573 1211 | 17 | 98 706.20/706.44 c 706s | 22 | 10560989 | 1831122 | 3573 1213 | 17 | 98 708.21/708.44 c 708s | 22 | 10591268 | 1835822 | 3573 1216 | 17 | 98 710.20/710.45 c 710s | 22 | 10620387 | 1841122 | 3573 1219 | 17 | 98 712.20/712.46 c 712s | 22 | 10651190 | 1846522 | 3573 1221 | 17 | 98 714.20/714.46 c 714s | 22 | 10678381 | 1851422 | 3573 1224 | 17 | 98 716.19/716.49 c 716s | 22 | 10712850 | 1856722 | 3573 1227 | 17 | 98 718.29/718.54 c 718s | 22 | 10741811 | 1861922 | 3573 1230 | 17 | 98 720.31/720.56 c 720s | 22 | 10771609 | 1866922 | 3573 1232 | 17 | 98 722.29/722.57 c 722s | 22 | 10794484 | 1871422 | 3573 1235 | 17 | 98 724.40/724.61 c 724s | 22 | 10818121 | 1875922 | 3573 1237 | 17 | 98 726.39/726.62 c 726s | 22 | 10849904 | 1881122 | 3573 1240 | 17 | 98 728.38/728.63 c 728s | 22 | 10881493 | 1886322 | 3573 1242 | 17 | 98 730.39/730.65 c 730s | 22 | 10910620 | 1891422 | 3573 1245 | 17 | 98 732.39/732.66 c 732s | 22 | 10940464 | 1896722 | 3573 1248 | 17 | 98 734.39/734.69 c 734s | 22 | 10974610 | 1902322 | 3573 1251 | 17 | 98 736.48/736.71 c 736s | 22 | 11004242 | 1907722 | 3573 1253 | 17 | 98 738.48/738.74 c 738s | 22 | 11037458 | 1912522 | 3573 1256 | 17 | 98 740.48/740.78 c 740s | 22 | 11066410 | 1917622 | 3573 1259 | 17 | 98 742.58/742.82 c 742s | 22 | 11096109 | 1922922 | 3573 1261 | 17 | 98 744.59/744.82 c 744s | 22 | 11125678 | 1928222 | 3573 1264 | 17 | 98 746.57/746.84 c 746s | 22 | 11156784 | 1933322 | 3573 1267 | 17 | 98 748.58/748.88 c 748s | 22 | 11181681 | 1938322 | 3573 1269 | 17 | 98 750.58/750.89 c 750s | 22 | 11209685 | 1943622 | 3573 1272 | 17 | 98 752.68/752.90 c 752s | 22 | 11241608 | 1948722 | 3573 1275 | 17 | 98 754.68/754.93 c 754s | 22 | 11263004 | 1952922 | 3573 1277 | 17 | 98 756.68/756.95 c 756s | 22 | 11288146 | 1957322 | 3573 1279 | 17 | 98 758.67/758.97 c 758s | 22 | 11317360 | 1962522 | 3573 1282 | 17 | 98 760.77/761.01 c 760s | 22 | 11346619 | 1967722 | 3573 1285 | 17 | 98 762.77/763.02 c 762s | 22 | 11377370 | 1972722 | 3573 1288 | 17 | 98 764.77/765.05 c 764s | 22 | 11404332 | 1977422 | 3573 1290 | 17 | 98 766.76/767.07 c 766s | 22 | 11435651 | 1982422 | 3573 1293 | 17 | 98 768.87/769.10 c 768s | 22 | 11465719 | 1987422 | 3573 1295 | 17 | 98 770.87/771.11 c 770s | 22 | 11494969 | 1992422 | 3573 1298 | 17 | 98 772.87/773.13 c 772s | 22 | 11521638 | 1997022 | 3573 1300 | 17 | 98 774.87/775.15 c 774s | 22 | 11549657 | 2001622 | 3573 1303 | 17 | 98 776.86/777.16 c 776s | 22 | 11579710 | 2006222 | 3573 1305 | 17 | 98 778.85/779.18 c 778s | 22 | 11604183 | 2010622 | 3573 1307 | 17 | 98 780.86/781.19 c 780s | 22 | 11630758 | 2015022 | 3573 1310 | 17 | 98 782.96/783.22 c 783s | 22 | 11654834 | 2019422 | 3573 1312 | 17 | 98 784.96/785.25 c 785s | 22 | 11681919 | 2023922 | 3573 1314 | 17 | 98 786.95/787.27 c 787s | 22 | 11706270 | 2028322 | 3573 1317 | 17 | 98 788.95/789.27 c 789s | 22 | 11731987 | 2032822 | 3573 1319 | 17 | 98 791.05/791.32 c 791s | 22 | 11755973 | 2037422 | 3573 1321 | 17 | 98 793.05/793.34 c 793s | 22 | 11779513 | 2041822 | 3573 1324 | 17 | 98 795.06/795.35 c 795s | 22 | 11800882 | 2045722 | 3573 1326 | 17 | 98 797.05/797.35 c 797s | 22 | 11820349 | 2049722 | 3573 1328 | 17 | 98 799.04/799.37 c 799s | 22 | 11841437 | 2053622 | 3573 1330 | 17 | 98 801.15/801.40 c 801s | 22 | 11868738 | 2058822 | 3573 1333 | 17 | 98 803.15/803.41 c 803s | 22 | 11897499 | 2063822 | 3573 1335 | 17 | 98 805.15/805.43 c 805s | 22 | 11928251 | 2068822 | 3573 1338 | 17 | 98 807.15/807.43 c 807s | 22 | 11959179 | 2073922 | 3573 1341 | 17 | 98 809.14/809.45 c 809s | 22 | 11987181 | 2078722 | 3573 1343 | 17 | 98 811.14/811.47 c 811s | 22 | 12015824 | 2083722 | 3573 1346 | 17 | 98 813.24/813.54 c 813s | 22 | 12037968 | 2088422 | 3573 1348 | 17 | 98 815.24/815.57 c 815s | 22 | 12065451 | 2092822 | 3573 1350 | 17 | 98 817.23/817.58 c 817s | 22 | 12098132 | 2098122 | 3573 1353 | 17 | 98 819.24/819.58 c 819s | 22 | 12128111 | 2103322 | 3573 1356 | 17 | 98 821.33/821.61 c 821s | 22 | 12160072 | 2108422 | 3573 1359 | 17 | 98 823.33/823.63 c 823s | 22 | 12188372 | 2113022 | 3573 1361 | 17 | 98 825.33/825.67 c 825s | 22 | 12208167 | 2117822 | 3573 1363 | 17 | 98 827.33/827.69 c 827s | 22 | 12235688 | 2122522 | 3573 1366 | 17 | 98 829.43/829.73 c 829s | 22 | 12261300 | 2127122 | 3573 1368 | 17 | 98 831.44/831.75 c 831s | 22 | 12283548 | 2131522 | 3573 1371 | 17 | 98 833.43/833.79 c 833s | 22 | 12313418 | 2136622 | 3573 1373 | 17 | 98 835.53/835.80 c 835s | 22 | 12338832 | 2141322 | 3573 1376 | 17 | 98 837.53/837.82 c 837s | 22 | 12363471 | 2146122 | 3573 1378 | 17 | 98 839.53/839.86 c 839s | 22 | 12390993 | 2151222 | 3573 1381 | 17 | 98 841.53/841.88 c 841s | 22 | 12417998 | 2156022 | 3573 1384 | 17 | 98 843.54/843.88 c 843s | 22 | 12441658 | 2160322 | 3573 1386 | 17 | 98 845.53/845.90 c 845s | 22 | 12468710 | 2165022 | 3573 1388 | 17 | 98 847.62/847.92 c 847s | 22 | 12496685 | 2169822 | 3573 1391 | 17 | 98 849.62/849.93 c 849s | 22 | 12523988 | 2174522 | 3573 1393 | 17 | 98 851.62/851.95 c 851s | 22 | 12548116 | 2179222 | 3573 1396 | 17 | 98 853.62/853.96 c 853s | 22 | 12574526 | 2184122 | 3573 1398 | 17 | 98 855.63/855.98 c 855s | 22 | 12601972 | 2188722 | 3573 1401 | 17 | 98 857.61/857.99 c 857s | 22 | 12628971 | 2193122 | 3573 1403 | 17 | 98 859.72/860.04 c 859s | 22 | 12658879 | 2197822 | 3573 1405 | 17 | 98 861.72/862.07 c 861s | 22 | 12681779 | 2202222 | 3573 1408 | 17 | 98 863.72/864.07 c 863s | 22 | 12706539 | 2206522 | 3573 1410 | 17 | 98 865.71/866.09 c 865s | 22 | 12731916 | 2210922 | 3573 1412 | 17 | 98 867.81/868.12 c 867s | 22 | 12758312 | 2215322 | 3573 1415 | 17 | 98 869.81/870.14 c 869s | 22 | 12783521 | 2219722 | 3573 1417 | 17 | 98 871.81/872.16 c 871s | 22 | 12806869 | 2224222 | 3573 1419 | 17 | 98 873.81/874.17 c 873s | 22 | 12835220 | 2228722 | 3573 1422 | 17 | 98 875.90/876.26 c 876s | 22 | 12857784 | 2232822 | 3573 1424 | 17 | 98 878.20/878.55 c 878s | 22 | 12880933 | 2236522 | 3931 1426 | 17 | 98 880.20/880.58 c 880s | 22 | 12908314 | 2241722 | 3931 1428 | 17 | 98 882.30/882.60 c 882s | 22 | 12935960 | 2246622 | 3931 1431 | 17 | 98 884.11/884.41 c 884s | 23 | 12960872 | 2251038 | 3931 1433 | 17 | 98 886.10/886.42 c 886s | 23 | 12981337 | 2254638 | 3931 1434 | 17 | 98 888.10/888.42 c 888s | 23 | 13007394 | 2259338 | 3931 1437 | 17 | 98 890.10/890.44 c 890s | 23 | 13033477 | 2264438 | 3931 1439 | 17 | 98 892.10/892.48 c 892s | 23 | 13059116 | 2269638 | 3931 1441 | 17 | 98 894.20/894.51 c 894s | 23 | 13087614 | 2275138 | 3931 1444 | 17 | 98 896.20/896.53 c 896s | 23 | 13114392 | 2280238 | 3931 1447 | 17 | 98 898.19/898.55 c 898s | 23 | 13141588 | 2285238 | 3931 1449 | 17 | 98 900.19/900.57 c 900s | 23 | 13171305 | 2290438 | 3931 1451 | 17 | 98 902.19/902.59 c 902s | 23 | 13199978 | 2295738 | 3931 1454 | 17 | 98 904.29/904.60 c 904s | 23 | 13224162 | 2300338 | 3931 1456 | 17 | 98 906.30/906.61 c 906s | 23 | 13246489 | 2304338 | 3931 1458 | 17 | 98 908.30/908.61 c 908s | 23 | 13273611 | 2309338 | 3931 1460 | 17 | 98 910.29/910.63 c 910s | 23 | 13307194 | 2314938 | 3931 1463 | 17 | 98 912.30/912.63 c 912s | 23 | 13338184 | 2320138 | 3931 1466 | 17 | 98 914.29/914.63 c 914s | 23 | 13370836 | 2325338 | 3931 1468 | 17 | 98 916.29/916.66 c 916s | 23 | 13395514 | 2330538 | 3931 1471 | 17 | 98 918.30/918.69 c 918s | 23 | 13427357 | 2336038 | 3931 1473 | 17 | 98 920.29/920.70 c 920s | 23 | 13457881 | 2341238 | 3931 1476 | 17 | 98 922.39/922.74 c 922s | 23 | 13485658 | 2346538 | 3931 1478 | 17 | 98 924.38/924.76 c 924s | 23 | 13513030 | 2351638 | 3931 1481 | 17 | 98 926.39/926.79 c 926s | 23 | 13536860 | 2356238 | 3931 1483 | 17 | 98 928.49/928.83 c 928s | 23 | 13560327 | 2360538 | 3931 1485 | 17 | 98 930.48/930.85 c 930s | 23 | 13593770 | 2365838 | 3931 1488 | 17 | 98 932.49/932.88 c 932s | 23 | 13620914 | 2371038 | 3931 1490 | 17 | 98 934.58/934.90 c 934s | 23 | 13647051 | 2376438 | 3931 1493 | 17 | 98 936.58/936.93 c 936s | 23 | 13675938 | 2381738 | 3931 1495 | 17 | 98 938.58/938.95 c 938s | 23 | 13702456 | 2387138 | 3931 1498 | 17 | 98 940.97/941.34 c 941s | 23 | 13722261 | 2391638 | 3931 1500 | 17 | 98 942.98/943.36 c 943s | 23 | 13744915 | 2397238 | 3931 1502 | 17 | 98 944.98/945.38 c 945s | 23 | 13769621 | 2402338 | 3931 1505 | 17 | 98 947.08/947.41 c 947s | 23 | 13804443 | 2407538 | 3931 1507 | 17 | 98 949.08/949.45 c 949s | 23 | 13831578 | 2412638 | 3931 1510 | 17 | 98 951.08/951.47 c 951s | 23 | 13858591 | 2417638 | 3931 1512 | 17 | 98 953.07/953.48 c 953s | 23 | 13886921 | 2422638 | 3931 1515 | 17 | 98 955.17/955.50 c 955s | 23 | 13914740 | 2427438 | 3931 1517 | 17 | 98 957.16/957.52 c 957s | 23 | 13940590 | 2432238 | 3931 1519 | 17 | 98 959.27/959.62 c 959s | 23 | 13961159 | 2436438 | 3931 1521 | 17 | 98 961.27/961.63 c 961s | 23 | 13990471 | 2441238 | 3931 1523 | 17 | 98 963.27/963.66 c 963s | 23 | 14025412 | 2447238 | 3931 1526 | 17 | 98 965.27/965.68 c 965s | 23 | 14056798 | 2453138 | 3931 1529 | 17 | 98 967.36/967.71 c 967s | 23 | 14087341 | 2458138 | 3931 1532 | 17 | 98 969.37/969.73 c 969s | 23 | 14123749 | 2463638 | 3931 1534 | 17 | 98 971.36/971.73 c 971s | 23 | 14155249 | 2468838 | 3931 1537 | 17 | 98 973.36/973.74 c 973s | 23 | 14184981 | 2474138 | 3931 1539 | 17 | 98 975.37/975.78 c 975s | 23 | 14216949 | 2479438 | 3931 1542 | 17 | 98 977.46/977.80 c 977s | 23 | 14240939 | 2484238 | 3931 1544 | 17 | 98 979.45/979.83 c 979s | 23 | 14269394 | 2489238 | 3931 1546 | 17 | 98 981.45/981.85 c 981s | 23 | 14296240 | 2494338 | 3931 1549 | 17 | 98 983.46/983.86 c 983s | 23 | 14322464 | 2499238 | 3931 1551 | 17 | 98 985.46/985.86 c 985s | 23 | 14350096 | 2504038 | 3931 1553 | 17 | 98 987.46/987.89 c 987s | 23 | 14374406 | 2509038 | 3931 1556 | 17 | 98 989.55/989.91 c 989s | 23 | 14397706 | 2513438 | 3931 1558 | 17 | 98 991.55/991.93 c 991s | 23 | 14422713 | 2518038 | 3931 1560 | 17 | 98 993.66/994.02 c 993s | 23 | 14443461 | 2522238 | 3931 1562 | 17 | 98 995.66/996.03 c 995s | 23 | 14466134 | 2526338 | 3931 1564 | 17 | 98 997.65/998.03 c 997s | 23 | 14494401 | 2531338 | 3931 1567 | 17 | 98 999.66/1000.05 c 999s | 23 | 14527574 | 2536538 | 3931 1569 | 17 | 98 1001.65/1002.07 c 1001s | 23 | 14560304 | 2541638 | 3931 1571 | 17 | 98 1003.75/1004.10 c 1003s | 23 | 14590639 | 2546738 | 3931 1574 | 17 | 98 1005.74/1006.13 c 1005s | 23 | 14619687 | 2552038 | 3931 1576 | 17 | 98 1007.75/1008.15 c 1007s | 23 | 14644779 | 2556738 | 3931 1579 | 17 | 98 1009.74/1010.16 c 1009s | 23 | 14668932 | 2561638 | 3931 1581 | 17 | 98 1011.75/1012.17 c 1011s | 23 | 14695250 | 2566538 | 3931 1583 | 17 | 98 1013.74/1014.18 c 1013s | 23 | 14714864 | 2570938 | 3931 1585 | 17 | 98 1015.74/1016.18 c 1015s | 23 | 14736744 | 2575638 | 3931 1588 | 17 | 98 1017.74/1018.18 c 1017s | 23 | 14763240 | 2581438 | 3931 1590 | 17 | 98 1019.84/1020.20 c 1019s | 23 | 14792198 | 2586438 | 3931 1593 | 17 | 98 1021.83/1022.25 c 1022s | 23 | 14821609 | 2591838 | 3931 1595 | 17 | 98 1023.85/1024.27 c 1024s | 23 | 14850305 | 2597138 | 3931 1598 | 17 | 98 1025.83/1026.29 c 1026s | 23 | 14881029 | 2602438 | 3931 1600 | 17 | 98 1027.93/1028.30 c 1028s | 23 | 14907895 | 2607638 | 3931 1603 | 17 | 98 1029.93/1030.30 c 1030s | 23 | 14930843 | 2611938 | 3931 1605 | 17 | 98 1031.93/1032.31 c 1032s | 23 | 14959572 | 2617038 | 3931 1607 | 17 | 98 1033.93/1034.33 c 1034s | 23 | 14985946 | 2622038 | 3931 1610 | 17 | 98 1035.93/1036.35 c 1036s | 23 | 15011904 | 2627138 | 3931 1612 | 17 | 98 1037.93/1038.38 c 1038s | 23 | 15039033 | 2631838 | 3931 1615 | 17 | 98 1040.03/1040.40 c 1040s | 23 | 15065781 | 2636538 | 3931 1617 | 17 | 98 1042.03/1042.42 c 1042s | 23 | 15090204 | 2640438 | 3931 1619 | 17 | 98 1044.03/1044.44 c 1044s | 23 | 15123098 | 2645738 | 3931 1621 | 17 | 98 1046.02/1046.45 c 1046s | 23 | 15154153 | 2650738 | 3931 1624 | 17 | 98 1048.02/1048.49 c 1048s | 23 | 15181038 | 2656038 | 3931 1626 | 17 | 98 1050.13/1050.52 c 1050s | 23 | 15206667 | 2660838 | 3931 1628 | 17 | 98 1052.12/1052.55 c 1052s | 23 | 15230457 | 2665738 | 3931 1631 | 17 | 98 1054.12/1054.56 c 1054s | 23 | 15255805 | 2670338 | 3931 1633 | 17 | 98 1056.11/1056.58 c 1056s | 23 | 15279871 | 2675038 | 3931 1635 | 17 | 98 1058.11/1058.58 c 1058s | 23 | 15302657 | 2679138 | 3931 1637 | 17 | 98 1060.22/1060.60 c 1060s | 23 | 15334718 | 2684638 | 3931 1640 | 17 | 98 1062.22/1062.61 c 1062s | 23 | 15363102 | 2689738 | 3931 1642 | 17 | 98 1064.21/1064.66 c 1064s | 23 | 15390737 | 2694738 | 3931 1645 | 17 | 98 1066.21/1066.69 c 1066s | 23 | 15416673 | 2699438 | 3931 1647 | 17 | 98 1068.31/1068.70 c 1068s | 23 | 15440853 | 2704138 | 3931 1649 | 17 | 98 1070.31/1070.72 c 1070s | 23 | 15464890 | 2708638 | 3931 1651 | 17 | 98 1072.31/1072.72 c 1072s | 23 | 15487361 | 2712938 | 3931 1653 | 17 | 98 1074.31/1074.75 c 1074s | 23 | 15513645 | 2717538 | 3931 1655 | 17 | 98 1076.30/1076.76 c 1076s | 23 | 15537170 | 2722638 | 3931 1658 | 17 | 98 1078.30/1078.77 c 1078s | 23 | 15560758 | 2727938 | 3931 1660 | 17 | 98 1080.31/1080.78 c 1080s | 23 | 15585723 | 2732438 | 3931 1663 | 17 | 98 1082.30/1082.78 c 1082s | 23 | 15612916 | 2737238 | 3931 1665 | 17 | 98 1084.31/1084.79 c 1084s | 23 | 15638572 | 2742238 | 3931 1667 | 17 | 98 1086.41/1086.80 c 1086s | 23 | 15665901 | 2747138 | 3931 1670 | 17 | 98 1088.40/1088.83 c 1088s | 23 | 15695603 | 2752038 | 3931 1672 | 17 | 98 1090.40/1090.85 c 1090s | 23 | 15720082 | 2756938 | 3931 1674 | 17 | 98 1092.40/1092.88 c 1092s | 23 | 15744479 | 2761838 | 3931 1677 | 17 | 98 1094.49/1094.90 c 1094s | 23 | 15774301 | 2767338 | 3931 1679 | 17 | 98 1096.49/1096.92 c 1096s | 23 | 15799652 | 2772538 | 3931 1682 | 17 | 98 1098.50/1098.94 c 1098s | 23 | 15826707 | 2777238 | 3931 1684 | 17 | 98 1100.49/1100.96 c 1100s | 23 | 15853597 | 2781738 | 3931 1686 | 17 | 98 1102.59/1103.00 c 1102s | 23 | 15877772 | 2786238 | 3931 1688 | 17 | 98 1104.59/1105.04 c 1104s | 23 | 15900516 | 2790438 | 3931 1690 | 17 | 98 1106.59/1107.06 c 1106s | 23 | 15922875 | 2794838 | 3931 1692 | 17 | 98 1108.59/1109.08 c 1108s | 23 | 15949224 | 2799938 | 3931 1695 | 17 | 98 1110.59/1111.10 c 1110s | 23 | 15975574 | 2804538 | 3931 1697 | 17 | 98 1112.69/1113.12 c 1112s | 23 | 15998340 | 2809038 | 3931 1699 | 17 | 98 1114.68/1115.13 c 1114s | 23 | 16023007 | 2813338 | 3931 1701 | 17 | 98 1116.68/1117.18 c 1116s | 23 | 16044265 | 2817538 | 3931 1703 | 17 | 98 1118.68/1119.19 c 1118s | 23 | 16065359 | 2821538 | 3931 1705 | 17 | 98 1120.77/1121.23 c 1121s | 23 | 16083344 | 2824838 | 3931 1707 | 17 | 98 1122.79/1123.23 c 1123s | 23 | 16108970 | 2829338 | 3931 1709 | 17 | 98 1124.78/1125.27 c 1125s | 23 | 16139173 | 2834438 | 3931 1711 | 17 | 98 1126.87/1127.31 c 1127s | 23 | 16164912 | 2838938 | 3931 1713 | 17 | 98 1128.87/1129.35 c 1129s | 23 | 16191579 | 2843238 | 3931 1716 | 17 | 98 1130.88/1131.35 c 1131s | 23 | 16212855 | 2847438 | 3931 1718 | 17 | 98 1132.88/1133.36 c 1133s | 23 | 16237456 | 2851738 | 3931 1720 | 17 | 98 1134.88/1135.39 c 1135s | 23 | 16260445 | 2855938 | 3931 1722 | 17 | 98 1136.98/1137.40 c 1137s | 23 | 16285686 | 2860938 | 3931 1724 | 17 | 98 1138.97/1139.42 c 1139s | 23 | 16313977 | 2865738 | 3931 1726 | 17 | 98 1140.97/1141.45 c 1141s | 23 | 16339122 | 2870538 | 3931 1729 | 17 | 98 1142.97/1143.47 c 1143s | 23 | 16360641 | 2875038 | 3931 1731 | 17 | 98 1145.07/1145.51 c 1145s | 23 | 16384227 | 2879738 | 3931 1733 | 17 | 98 1147.07/1147.52 c 1147s | 23 | 16408211 | 2883838 | 3931 1735 | 17 | 98 1149.07/1149.54 c 1149s | 23 | 16434720 | 2888738 | 3931 1737 | 17 | 98 1151.06/1151.59 c 1151s | 23 | 16459495 | 2893438 | 3931 1740 | 17 | 98 1153.17/1153.64 c 1153s | 23 | 16483366 | 2897838 | 3931 1742 | 17 | 98 1155.16/1155.66 c 1155s | 23 | 16510780 | 2902538 | 3931 1744 | 17 | 98 1157.16/1157.66 c 1157s | 23 | 16535890 | 2907438 | 3931 1746 | 17 | 98 1159.16/1159.67 c 1159s | 23 | 16561397 | 2912038 | 3931 1748 | 17 | 98 1161.27/1161.71 c 1161s | 23 | 16587001 | 2916438 | 3931 1751 | 17 | 98 1163.26/1163.73 c 1163s | 23 | 16608271 | 2920938 | 3931 1753 | 17 | 98 1165.26/1165.76 c 1165s | 23 | 16632890 | 2925138 | 3931 1755 | 17 | 98 1167.26/1167.79 c 1167s | 23 | 16662052 | 2930338 | 3931 1757 | 17 | 98 1169.35/1169.81 c 1169s | 23 | 16687313 | 2934938 | 3931 1759 | 17 | 98 1171.36/1171.86 c 1171s | 23 | 16709918 | 2939238 | 3931 1761 | 17 | 98 1173.45/1173.97 c 1173s | 23 | 16733017 | 2943438 | 3931 1763 | 17 | 98 1175.57/1176.01 c 1175s | 23 | 16757508 | 2948038 | 3931 1766 | 17 | 98 1177.56/1178.07 c 1177s | 23 | 16773585 | 2951738 | 3931 1767 | 17 | 98 1179.55/1180.08 c 1179s | 23 | 16800704 | 2956538 | 3931 1770 | 17 | 98 1181.55/1182.09 c 1181s | 23 | 16830253 | 2962138 | 3931 1772 | 17 | 98 1183.65/1184.12 c 1183s | 23 | 16860038 | 2967838 | 3931 1775 | 17 | 98 1185.65/1186.14 c 1185s | 23 | 16887000 | 2973138 | 3931 1778 | 17 | 98 1187.66/1188.19 c 1187s | 23 | 16912982 | 2978238 | 3931 1780 | 17 | 98 1189.66/1190.20 c 1189s | 23 | 16946499 | 2982938 | 3931 1782 | 17 | 98 1191.76/1192.24 c 1192s | 23 | 16972329 | 2988138 | 3931 1785 | 17 | 98 1193.75/1194.28 c 1194s | 23 | 16997150 | 2992538 | 3931 1787 | 17 | 98 1195.84/1196.32 c 1196s | 23 | 17023819 | 2997538 | 3931 1789 | 17 | 98 1197.84/1198.36 c 1198s | 23 | 17048332 | 3002338 | 3931 1792 | 17 | 98 1199.85/1200.37 c 1200s | 23 | 17073021 | 3007038 | 3931 1794 | 17 | 98 1201.85/1202.38 c 1202s | 23 | 17096602 | 3011538 | 3931 1796 | 17 | 98 1203.94/1204.45 c 1204s | 23 | 17118685 | 3015538 | 3931 1798 | 17 | 98 1205.94/1206.47 c 1206s | 23 | 17142512 | 3019338 | 3931 1800 | 17 | 98 1207.95/1208.48 c 1208s | 23 | 17174581 | 3024338 | 3931 1802 | 17 | 98 1209.94/1210.49 c 1210s | 23 | 17198013 | 3028838 | 3931 1804 | 17 | 98 1212.04/1212.51 c 1212s | 23 | 17220686 | 3033538 | 3931 1806 | 17 | 98 1214.05/1214.51 c 1214s | 23 | 17240845 | 3038038 | 3931 1809 | 17 | 98 1216.04/1216.55 c 1216s | 23 | 17264732 | 3042638 | 3931 1811 | 17 | 98 1218.04/1218.58 c 1218s | 23 | 17292112 | 3047138 | 3931 1813 | 17 | 98 1220.04/1220.59 c 1220s | 23 | 17312301 | 3051338 | 3931 1815 | 17 | 98 1222.13/1222.61 c 1222s | 23 | 17339616 | 3055538 | 3931 1817 | 17 | 98 1224.14/1224.62 c 1224s | 23 | 17369044 | 3060638 | 3931 1819 | 17 | 98 1226.14/1226.63 c 1226s | 23 | 17399148 | 3066038 | 3931 1822 | 17 | 98 1228.13/1228.63 c 1228s | 23 | 17429866 | 3071038 | 3931 1824 | 17 | 98 1230.13/1230.66 c 1230s | 23 | 17452880 | 3075738 | 3931 1827 | 17 | 98 1232.14/1232.67 c 1232s | 23 | 17489407 | 3080638 | 3931 1829 | 17 | 98 1234.24/1234.70 c 1234s | 23 | 17517613 | 3085438 | 3931 1831 | 17 | 98 1236.24/1236.70 c 1236s | 23 | 17542569 | 3089838 | 3931 1833 | 17 | 98 1238.25/1238.72 c 1238s | 23 | 17566120 | 3094438 | 3931 1835 | 17 | 98 1240.24/1240.77 c 1240s | 23 | 17587399 | 3098738 | 3931 1838 | 17 | 98 1242.23/1242.78 c 1242s | 23 | 17607760 | 3102838 | 3931 1840 | 17 | 98 1244.33/1244.82 c 1244s | 23 | 17629730 | 3106938 | 3931 1841 | 17 | 98 1246.33/1246.84 c 1246s | 23 | 17651473 | 3110838 | 3931 1843 | 17 | 98 1248.34/1248.88 c 1248s | 23 | 17683619 | 3115438 | 3931 1846 | 17 | 98 1250.44/1250.91 c 1250s | 23 | 17708795 | 3119838 | 3931 1848 | 17 | 98 1252.44/1252.94 c 1252s | 23 | 17738877 | 3124338 | 3931 1850 | 17 | 98 1254.53/1255.02 c 1254s | 23 | 17763896 | 3128438 | 3931 1852 | 17 | 98 1256.53/1257.02 c 1256s | 23 | 17783686 | 3132638 | 3931 1854 | 17 | 98 1258.53/1259.08 c 1258s | 23 | 17803728 | 3136438 | 3931 1856 | 17 | 98 1260.63/1261.11 c 1260s | 23 | 17822258 | 3140138 | 3931 1857 | 17 | 98 1262.63/1263.12 c 1262s | 23 | 17843364 | 3143638 | 3931 1859 | 17 | 98 1264.64/1265.15 c 1264s | 23 | 17869831 | 3148338 | 3931 1861 | 17 | 98 1266.63/1267.16 c 1266s | 23 | 17894842 | 3153438 | 3931 1864 | 17 | 98 1268.73/1269.20 c 1268s | 23 | 17920105 | 3157838 | 3931 1866 | 17 | 98 1270.74/1271.21 c 1270s | 23 | 17944862 | 3162438 | 3931 1868 | 17 | 98 1272.73/1273.24 c 1273s | 23 | 17967695 | 3167138 | 3931 1870 | 17 | 98 1274.73/1275.29 c 1275s | 23 | 17989927 | 3171538 | 3931 1872 | 17 | 98 1277.03/1277.58 c 1277s | 23 | 18008493 | 3174738 | 3931 1874 | 17 | 98 1279.12/1279.61 c 1279s | 23 | 18034945 | 3179538 | 3931 1876 | 17 | 98 1281.14/1281.65 c 1281s | 23 | 18067493 | 3184238 | 3931 1878 | 17 | 98 1283.13/1283.66 c 1283s | 23 | 18093783 | 3189038 | 3931 1881 | 17 | 98 1285.13/1285.69 c 1285s | 23 | 18120886 | 3193738 | 3931 1883 | 17 | 98 1287.23/1287.72 c 1287s | 23 | 18147530 | 3198638 | 3931 1885 | 17 | 98 1289.23/1289.72 c 1289s | 23 | 18175362 | 3203338 | 3931 1888 | 17 | 98 1291.23/1291.74 c 1291s | 23 | 18204947 | 3208038 | 3931 1890 | 17 | 98 1293.23/1293.74 c 1293s | 23 | 18231804 | 3212838 | 3931 1892 | 17 | 98 1295.22/1295.76 c 1295s | 23 | 18256429 | 3217238 | 3931 1894 | 17 | 98 1297.32/1297.80 c 1297s | 23 | 18275677 | 3221038 | 3931 1896 | 17 | 98 1299.33/1299.81 c 1299s | 23 | 18298769 | 3225338 | 3931 1898 | 17 | 98 1301.33/1301.84 c 1301s | 23 | 18330227 | 3230138 | 3931 1900 | 17 | 98 1303.33/1303.86 c 1303s | 23 | 18356158 | 3234838 | 3931 1903 | 17 | 98 1305.33/1305.87 c 1305s | 23 | 18380221 | 3239338 | 3931 1905 | 17 | 98 1307.43/1307.92 c 1307s | 23 | 18406040 | 3243538 | 3931 1907 | 17 | 98 1309.43/1309.92 c 1309s | 23 | 18428477 | 3247538 | 3931 1909 | 17 | 98 1311.43/1311.94 c 1311s | 23 | 18445545 | 3250938 | 3931 1910 | 17 | 98 1313.42/1313.97 c 1313s | 23 | 18472751 | 3255838 | 3931 1913 | 17 | 98 1315.42/1315.97 c 1315s | 23 | 18498775 | 3260538 | 3931 1915 | 17 | 98 1317.52/1318.00 c 1317s | 23 | 18527595 | 3265238 | 3931 1917 | 17 | 98 1319.43/1320.00 c 1319s | 23 | 18553523 | 3269938 | 3931 1919 | 17 | 98 1321.53/1322.04 c 1321s | 23 | 18578820 | 3274438 | 3931 1922 | 17 | 98 1323.52/1324.06 c 1323s | 23 | 18601651 | 3279338 | 3931 1924 | 17 | 98 1325.52/1326.08 c 1325s | 23 | 18627090 | 3283738 | 3931 1926 | 17 | 98 1327.52/1328.09 c 1327s | 23 | 18646666 | 3288038 | 3931 1928 | 17 | 98 1329.62/1330.13 c 1329s | 23 | 18669177 | 3292338 | 3931 1930 | 17 | 98 1331.63/1332.16 c 1331s | 23 | 18690960 | 3296438 | 3931 1932 | 17 | 98 1333.62/1334.20 c 1333s | 23 | 18717762 | 3301038 | 3931 1934 | 17 | 98 1335.72/1336.24 c 1336s | 23 | 18743367 | 3305738 | 3931 1936 | 17 | 98 1337.72/1338.27 c 1338s | 23 | 18766237 | 3310738 | 3931 1939 | 17 | 98 1339.82/1340.30 c 1340s | 23 | 18788868 | 3315038 | 3931 1941 | 17 | 98 1341.92/1342.48 c 1342s | 23 | 18809955 | 3319238 | 3931 1943 | 17 | 98 1344.12/1344.69 c 1344s | 23 | 18830803 | 3323038 | 3931 1945 | 17 | 98 1346.22/1346.71 c 1346s | 23 | 18861127 | 3327638 | 3931 1947 | 17 | 98 1348.23/1348.73 c 1348s | 23 | 18885327 | 3331838 | 3931 1949 | 17 | 98 1350.22/1350.74 c 1350s | 23 | 18906250 | 3335738 | 3931 1951 | 17 | 98 1352.22/1352.78 c 1352s | 23 | 18926076 | 3339638 | 3931 1953 | 17 | 98 1354.32/1354.83 c 1354s | 23 | 18947511 | 3343538 | 3931 1954 | 17 | 98 1356.32/1356.85 c 1356s | 23 | 18964581 | 3347438 | 3931 1956 | 17 | 98 1358.31/1358.85 c 1358s | 23 | 18991743 | 3351938 | 3931 1958 | 17 | 98 1360.32/1360.88 c 1360s | 23 | 19012911 | 3356738 | 4325 1960 | 17 | 98 1362.31/1362.89 c 1362s | 23 | 19035101 | 3361038 | 4325 1962 | 17 | 98 1364.42/1364.93 c 1364s | 23 | 19056406 | 3365738 | 4325 1964 | 17 | 98 1366.41/1366.95 c 1366s | 23 | 19075473 | 3369438 | 4325 1966 | 17 | 98 1368.42/1368.98 c 1368s | 23 | 19099399 | 3373738 | 4325 1968 | 17 | 98 1369.81/1370.32 c 1370s | 24 | 19118668 | 3376662 | 4325 1969 | 17 | 98 1371.81/1372.33 c 1372s | 24 | 19140666 | 3380362 | 4325 1971 | 17 | 98 1373.81/1374.39 c 1374s | 24 | 19164775 | 3384562 | 4325 1973 | 17 | 98 1375.81/1376.40 c 1376s | 24 | 19190018 | 3388962 | 4325 1975 | 17 | 98 1377.92/1378.43 c 1378s | 24 | 19218016 | 3393962 | 4325 1977 | 17 | 98 1379.91/1380.43 c 1380s | 24 | 19243134 | 3398962 | 4325 1979 | 17 | 98 1381.92/1382.44 c 1382s | 24 | 19268545 | 3403862 | 4325 1981 | 17 | 98 1383.92/1384.46 c 1384s | 24 | 19301147 | 3408762 | 4325 1983 | 17 | 98 1386.02/1386.51 c 1386s | 24 | 19333269 | 3414062 | 4325 1986 | 17 | 98 1388.02/1388.57 c 1388s | 24 | 19362946 | 3419362 | 4325 1988 | 17 | 98 1390.02/1390.59 c 1390s | 24 | 19385630 | 3423862 | 4325 1990 | 17 | 98 1392.12/1392.62 c 1392s | 24 | 19412738 | 3428462 | 4325 1992 | 17 | 98 1394.11/1394.63 c 1394s | 24 | 19438216 | 3433062 | 4325 1994 | 17 | 98 1396.11/1396.64 c 1396s | 24 | 19464892 | 3437562 | 4325 1996 | 17 | 98 1398.11/1398.66 c 1398s | 24 | 19490408 | 3442062 | 4325 1998 | 17 | 98 1400.11/1400.66 c 1400s | 24 | 19515039 | 3446262 | 4325 2000 | 17 | 98 1402.12/1402.68 c 1402s | 24 | 19538335 | 3450262 | 4325 2001 | 17 | 98 1404.11/1404.70 c 1404s | 24 | 19571919 | 3455062 | 4325 2003 | 17 | 98 1406.21/1406.73 c 1406s | 24 | 19605031 | 3459662 | 4325 2005 | 17 | 98 1408.21/1408.75 c 1408s | 24 | 19629572 | 3463762 | 4325 2007 | 17 | 98 1410.21/1410.76 c 1410s | 24 | 19659687 | 3468162 | 4325 2009 | 17 | 98 1412.21/1412.76 c 1412s | 24 | 19686903 | 3472562 | 4325 2011 | 17 | 98 1414.22/1414.78 c 1414s | 24 | 19712738 | 3476962 | 4325 2013 | 17 | 98 1416.32/1416.81 c 1416s | 24 | 19742711 | 3481462 | 4325 2015 | 17 | 98 1418.31/1418.83 c 1418s | 24 | 19770969 | 3485862 | 4325 2017 | 17 | 98 1420.41/1420.93 c 1420s | 24 | 19788686 | 3489762 | 4325 2019 | 17 | 98 1422.41/1422.94 c 1422s | 24 | 19807582 | 3494662 | 4325 2021 | 17 | 98 1424.40/1424.97 c 1424s | 24 | 19825066 | 3499362 | 4325 2023 | 17 | 98 1426.50/1427.00 c 1426s | 24 | 19851697 | 3504262 | 4325 2025 | 17 | 98 1428.52/1429.03 c 1428s | 24 | 19874452 | 3508562 | 4325 2027 | 17 | 98 1430.51/1431.03 c 1430s | 24 | 19897826 | 3512962 | 4325 2029 | 17 | 98 1432.51/1433.07 c 1432s | 24 | 19922222 | 3517262 | 4325 2031 | 17 | 98 1434.61/1435.10 c 1434s | 24 | 19944808 | 3521362 | 4325 2032 | 17 | 98 1436.61/1437.14 c 1436s | 24 | 19966427 | 3525762 | 4325 2034 | 17 | 98 1438.61/1439.19 c 1438s | 24 | 19987334 | 3529662 | 4325 2036 | 17 | 98 1440.71/1441.21 c 1440s | 24 | 20011228 | 3533962 | 4325 2038 | 17 | 98 1442.71/1443.23 c 1443s | 24 | 20033636 | 3537862 | 4325 2040 | 17 | 98 1444.70/1445.24 c 1445s | 24 | 20054020 | 3541362 | 4325 2041 | 17 | 98 1446.80/1447.34 c 1447s | 24 | 20072710 | 3544562 | 4325 2042 | 17 | 98 1448.81/1449.37 c 1449s | 24 | 20096532 | 3548962 | 4325 2044 | 17 | 98 1450.91/1451.40 c 1451s | 24 | 20119897 | 3553162 | 4325 2046 | 17 | 98 1452.91/1453.43 c 1453s | 24 | 20143331 | 3557662 | 4325 2048 | 17 | 98 1454.91/1455.47 c 1455s | 24 | 20168061 | 3561962 | 4325 2050 | 17 | 98 1456.90/1457.49 c 1457s | 24 | 20189295 | 3566162 | 4325 2052 | 17 | 98 1459.00/1459.50 c 1459s | 24 | 20216033 | 3570562 | 4325 2054 | 17 | 98 1461.01/1461.51 c 1461s | 24 | 20235065 | 3574562 | 4325 2056 | 17 | 98 1463.00/1463.54 c 1463s | 24 | 20254778 | 3579062 | 4325 2058 | 17 | 98 1465.00/1465.54 c 1465s | 24 | 20275356 | 3583162 | 4325 2059 | 17 | 98 1467.00/1467.59 c 1467s | 24 | 20301543 | 3587362 | 4325 2061 | 17 | 98 1469.11/1469.64 c 1469s | 24 | 20324559 | 3591262 | 4325 2063 | 17 | 98 1471.10/1471.66 c 1471s | 24 | 20343772 | 3594662 | 4325 2064 | 17 | 98 1473.10/1473.66 c 1473s | 24 | 20370985 | 3599062 | 4325 2066 | 17 | 98 1475.10/1475.68 c 1475s | 24 | 20394401 | 3603362 | 4325 2068 | 17 | 98 1477.20/1477.71 c 1477s | 24 | 20419356 | 3607762 | 4325 2070 | 17 | 98 1479.20/1479.72 c 1479s | 24 | 20441901 | 3612062 | 4325 2072 | 17 | 98 1481.21/1481.73 c 1481s | 24 | 20464566 | 3615962 | 4325 2074 | 17 | 98 1483.20/1483.74 c 1483s | 24 | 20492259 | 3620362 | 4325 2076 | 17 | 98 1485.20/1485.76 c 1485s | 24 | 20519927 | 3624662 | 4325 2077 | 17 | 98 1487.20/1487.78 c 1487s | 24 | 20543715 | 3628762 | 4325 2079 | 17 | 98 1489.29/1489.80 c 1489s | 24 | 20566107 | 3632662 | 4325 2081 | 17 | 98 1491.29/1491.84 c 1491s | 24 | 20587304 | 3636462 | 4325 2083 | 17 | 98 1493.31/1493.85 c 1493s | 24 | 20609539 | 3640462 | 4325 2084 | 17 | 98 1495.30/1495.87 c 1495s | 24 | 20632072 | 3644162 | 4325 2086 | 17 | 98 1497.40/1497.91 c 1497s | 24 | 20660871 | 3649062 | 4325 2088 | 17 | 98 1499.40/1499.93 c 1499s | 24 | 20686038 | 3654162 | 4325 2090 | 17 | 98 1501.40/1501.96 c 1501s | 24 | 20715267 | 3659162 | 4325 2092 | 17 | 98 1503.39/1503.97 c 1503s | 24 | 20737241 | 3663762 | 4325 2094 | 17 | 98 1505.41/1505.99 c 1505s | 24 | 20756219 | 3667962 | 4325 2096 | 17 | 98 1507.49/1508.01 c 1507s | 24 | 20778262 | 3672862 | 4325 2098 | 17 | 98 1509.49/1510.05 c 1509s | 24 | 20805673 | 3678362 | 4325 2101 | 17 | 98 1511.50/1512.06 c 1511s | 24 | 20833866 | 3682862 | 4325 2103 | 17 | 98 1513.50/1514.08 c 1513s | 24 | 20853654 | 3687062 | 4325 2105 | 17 | 98 1515.59/1516.11 c 1515s | 24 | 20876391 | 3691362 | 4325 2107 | 17 | 98 1517.60/1518.15 c 1517s | 24 | 20902984 | 3695662 | 4325 2108 | 17 | 98 1519.59/1520.17 c 1519s | 24 | 20921504 | 3699462 | 4325 2110 | 17 | 98 1521.60/1522.17 c 1521s | 24 | 20941275 | 3703662 | 4325 2112 | 17 | 98 1523.59/1524.19 c 1523s | 24 | 20966471 | 3708662 | 4325 2114 | 17 | 98 1525.69/1526.21 c 1525s | 24 | 20994260 | 3713262 | 4325 2116 | 17 | 98 1527.69/1528.24 c 1528s | 24 | 21020596 | 3717962 | 4325 2118 | 17 | 98 1529.70/1530.29 c 1530s | 24 | 21046206 | 3722362 | 4325 2120 | 17 | 98 1531.79/1532.31 c 1532s | 24 | 21070095 | 3726862 | 4325 2122 | 17 | 98 1533.79/1534.35 c 1534s | 24 | 21093066 | 3731062 | 4325 2124 | 17 | 98 1535.79/1536.38 c 1536s | 24 | 21111896 | 3734562 | 4325 2125 | 17 | 98 1537.79/1538.38 c 1538s | 24 | 21137766 | 3740262 | 4325 2128 | 17 | 98 1539.89/1540.40 c 1540s | 24 | 21174834 | 3744862 | 4325 2130 | 17 | 98 1541.89/1542.42 c 1542s | 24 | 21204428 | 3749462 | 4325 2132 | 17 | 98 1543.90/1544.42 c 1544s | 24 | 21229950 | 3753862 | 4325 2134 | 17 | 98 1545.89/1546.45 c 1546s | 24 | 21255554 | 3758062 | 4325 2136 | 17 | 98 1547.88/1548.49 c 1548s | 24 | 21276895 | 3762362 | 4325 2138 | 17 | 98 1549.99/1550.53 c 1550s | 24 | 21293835 | 3766562 | 4325 2139 | 17 | 98 1551.99/1552.53 c 1552s | 24 | 21312689 | 3770362 | 4325 2141 | 17 | 98 1553.99/1554.56 c 1554s | 24 | 21332960 | 3774062 | 4325 2143 | 17 | 98 1556.09/1556.69 c 1556s | 24 | 21348961 | 3777462 | 4325 2144 | 17 | 98 1558.20/1558.72 c 1558s | 24 | 21375193 | 3781862 | 4325 2146 | 17 | 98 1560.19/1560.76 c 1560s | 24 | 21397046 | 3786062 | 4325 2148 | 17 | 98 1562.18/1562.78 c 1562s | 24 | 21417522 | 3790562 | 4325 2150 | 17 | 98 1564.19/1564.79 c 1564s | 24 | 21442622 | 3794962 | 4325 2152 | 17 | 98 1566.29/1566.80 c 1566s | 24 | 21468291 | 3799662 | 4325 2154 | 17 | 98 1568.29/1568.83 c 1568s | 24 | 21488977 | 3803762 | 4325 2156 | 17 | 98 1570.29/1570.85 c 1570s | 24 | 21509173 | 3807762 | 4325 2157 | 17 | 98 1572.29/1572.87 c 1572s | 24 | 21528228 | 3811262 | 4325 2159 | 17 | 98 1574.28/1574.89 c 1574s | 24 | 21553660 | 3815562 | 4325 2161 | 17 | 98 1576.39/1576.95 c 1576s | 24 | 21575624 | 3819662 | 4325 2163 | 17 | 98 1578.39/1578.99 c 1578s | 24 | 21599062 | 3823962 | 4325 2164 | 17 | 98 1580.49/1581.01 c 1580s | 24 | 21623328 | 3828062 | 4325 2166 | 17 | 98 1582.49/1583.04 c 1582s | 24 | 21641584 | 3831662 | 4325 2168 | 17 | 98 1584.49/1585.06 c 1584s | 24 | 21670587 | 3836362 | 4325 2170 | 17 | 98 1586.49/1587.08 c 1586s | 24 | 21692661 | 3840562 | 4325 2172 | 17 | 98 1588.58/1589.10 c 1588s | 24 | 21716308 | 3844662 | 4325 2173 | 17 | 98 1590.58/1591.12 c 1590s | 24 | 21739773 | 3848862 | 4325 2175 | 17 | 98 1592.58/1593.16 c 1592s | 24 | 21763984 | 3852862 | 4325 2177 | 17 | 98 1594.68/1595.23 c 1595s | 24 | 21780400 | 3856862 | 4325 2179 | 17 | 98 1596.69/1597.27 c 1597s | 24 | 21803085 | 3861462 | 4325 2181 | 17 | 98 1598.68/1599.27 c 1599s | 24 | 21825415 | 3865562 | 4325 2183 | 17 | 98 1600.78/1601.31 c 1601s | 24 | 21847593 | 3869762 | 4325 2184 | 17 | 98 1602.78/1603.31 c 1603s | 24 | 21868435 | 3873762 | 4325 2186 | 17 | 98 1604.78/1605.35 c 1605s | 24 | 21889063 | 3877362 | 4325 2188 | 17 | 98 1606.78/1607.38 c 1607s | 24 | 21909427 | 3881362 | 4325 2189 | 17 | 98 1608.89/1609.42 c 1609s | 24 | 21933170 | 3885662 | 4325 2191 | 17 | 98 1610.88/1611.45 c 1611s | 24 | 21953250 | 3889662 | 4325 2193 | 17 | 98 1612.88/1613.47 c 1613s | 24 | 21976840 | 3893262 | 4325 2195 | 17 | 98 1614.88/1615.48 c 1615s | 24 | 22014406 | 3898262 | 4325 2197 | 17 | 98 1616.88/1617.49 c 1617s | 24 | 22039880 | 3902762 | 4325 2199 | 17 | 98 1618.98/1619.52 c 1619s | 24 | 22061541 | 3907362 | 4325 2201 | 17 | 98 1620.98/1621.53 c 1621s | 24 | 22084590 | 3911862 | 4325 2203 | 17 | 98 1622.97/1623.57 c 1623s | 24 | 22107919 | 3915962 | 4325 2205 | 17 | 98 1625.08/1625.62 c 1625s | 24 | 22130117 | 3920062 | 4325 2206 | 17 | 98 1627.08/1627.62 c 1627s | 24 | 22149414 | 3923962 | 4325 2208 | 17 | 98 1629.08/1629.66 c 1629s | 24 | 22167821 | 3927662 | 4325 2210 | 17 | 98 1631.08/1631.66 c 1631s | 24 | 22188559 | 3931262 | 4325 2211 | 17 | 98 1633.08/1633.67 c 1633s | 24 | 22205878 | 3935162 | 4325 2213 | 17 | 98 1635.08/1635.68 c 1635s | 24 | 22224450 | 3938362 | 4325 2214 | 17 | 98 1637.08/1637.68 c 1637s | 24 | 22251687 | 3943062 | 4325 2216 | 17 | 98 1639.18/1639.70 c 1639s | 24 | 22279316 | 3947462 | 4325 2218 | 17 | 98 1641.17/1641.74 c 1641s | 24 | 22301788 | 3951762 | 4325 2220 | 17 | 98 1643.17/1643.77 c 1643s | 24 | 22323642 | 3955962 | 4325 2222 | 17 | 98 1645.18/1645.79 c 1645s | 24 | 22349392 | 3960362 | 4325 2224 | 17 | 98 1647.17/1647.80 c 1647s | 24 | 22379711 | 3965362 | 4325 2226 | 17 | 98 1649.27/1649.80 c 1649s | 24 | 22404814 | 3970462 | 4325 2228 | 17 | 98 1651.27/1651.80 c 1651s | 24 | 22428482 | 3975162 | 4325 2230 | 17 | 98 1653.27/1653.82 c 1653s | 24 | 22453392 | 3979562 | 4325 2232 | 17 | 98 1655.27/1655.85 c 1655s | 24 | 22479433 | 3984162 | 4325 2234 | 17 | 98 1657.28/1657.88 c 1657s | 24 | 22503045 | 3988462 | 4325 2236 | 17 | 98 1659.27/1659.90 c 1659s | 24 | 22526805 | 3992962 | 4325 2238 | 17 | 98 1661.37/1661.92 c 1661s | 24 | 22544723 | 3996262 | 4325 2240 | 17 | 98 1663.37/1663.93 c 1663s | 24 | 22571789 | 4000662 | 4325 2242 | 17 | 98 1665.37/1665.97 c 1665s | 24 | 22598898 | 4005262 | 4325 2244 | 17 | 98 1667.47/1668.03 c 1667s | 24 | 22624766 | 4009762 | 4325 2246 | 17 | 98 1669.47/1670.05 c 1669s | 24 | 22649267 | 4014362 | 4325 2248 | 17 | 98 1671.48/1672.06 c 1671s | 24 | 22676014 | 4019062 | 4325 2250 | 17 | 98 1673.57/1674.10 c 1673s | 24 | 22698646 | 4023662 | 4325 2252 | 17 | 98 1675.57/1676.13 c 1675s | 24 | 22725638 | 4028162 | 4325 2254 | 17 | 98 1677.67/1678.21 c 1677s | 24 | 22744546 | 4032462 | 4325 2255 | 17 | 98 1679.67/1680.23 c 1680s | 24 | 22763774 | 4035762 | 4325 2257 | 17 | 98 1681.67/1682.26 c 1682s | 24 | 22787593 | 4040162 | 4325 2259 | 17 | 98 1683.67/1684.27 c 1684s | 24 | 22816125 | 4044662 | 4325 2261 | 17 | 98 1685.66/1686.28 c 1686s | 24 | 22843632 | 4049762 | 4325 2263 | 17 | 98 1687.76/1688.32 c 1688s | 24 | 22872725 | 4055062 | 4325 2265 | 17 | 98 1689.76/1690.34 c 1690s | 24 | 22900496 | 4059862 | 4325 2267 | 17 | 98 1691.77/1692.36 c 1692s | 24 | 22921954 | 4064962 | 4325 2270 | 17 | 98 1693.77/1694.39 c 1694s | 24 | 22944768 | 4070162 | 4325 2272 | 17 | 98 1695.87/1696.41 c 1696s | 24 | 22973889 | 4075062 | 4325 2274 | 17 | 98 1697.87/1698.45 c 1698s | 24 | 23003628 | 4079762 | 4325 2276 | 17 | 98 1699.87/1700.49 c 1700s | 24 | 23026579 | 4084362 | 4325 2278 | 17 | 98 1701.97/1702.53 c 1702s | 24 | 23048465 | 4088662 | 4325 2280 | 17 | 98 1703.97/1704.56 c 1704s | 24 | 23071596 | 4092862 | 4325 2282 | 17 | 98 1705.96/1706.56 c 1706s | 24 | 23094992 | 4096762 | 4325 2284 | 17 | 98 1707.96/1708.57 c 1708s | 24 | 23114768 | 4100662 | 4325 2285 | 17 | 98 1710.07/1710.61 c 1710s | 24 | 23128772 | 4103862 | 4325 2287 | 17 | 98 1712.07/1712.67 c 1712s | 24 | 23155615 | 4108262 | 4325 2289 | 17 | 98 1714.16/1714.70 c 1714s | 24 | 23179908 | 4112762 | 4325 2291 | 17 | 98 1716.16/1716.76 c 1716s | 24 | 23203875 | 4116762 | 4325 2292 | 17 | 98 1718.16/1718.79 c 1718s | 24 | 23231472 | 4121562 | 4325 2294 | 17 | 98 1720.26/1720.80 c 1720s | 24 | 23254431 | 4126162 | 4325 2296 | 17 | 98 1722.27/1722.84 c 1722s | 24 | 23279472 | 4130762 | 4325 2298 | 17 | 98 1724.27/1724.86 c 1724s | 24 | 23305234 | 4135362 | 4325 2300 | 17 | 98 1726.26/1726.88 c 1726s | 24 | 23329801 | 4139862 | 4325 2302 | 17 | 98 1728.36/1728.95 c 1728s | 24 | 23349866 | 4143962 | 4325 2304 | 17 | 98 1730.36/1730.98 c 1730s | 24 | 23368706 | 4148162 | 4325 2306 | 17 | 98 1732.36/1732.98 c 1732s | 24 | 23391980 | 4151962 | 4325 2308 | 17 | 98 1734.46/1735.02 c 1734s | 24 | 23421491 | 4157162 | 4325 2310 | 17 | 98 1736.47/1737.03 c 1736s | 24 | 23448794 | 4162262 | 4325 2312 | 17 | 98 1738.46/1739.06 c 1738s | 24 | 23473872 | 4166462 | 4325 2314 | 17 | 98 1740.46/1741.09 c 1740s | 24 | 23507238 | 4171262 | 4325 2316 | 17 | 98 1742.56/1743.10 c 1742s | 24 | 23533735 | 4175862 | 4325 2318 | 17 | 98 1744.56/1745.11 c 1744s | 24 | 23560365 | 4180262 | 4325 2320 | 17 | 98 1746.56/1747.13 c 1746s | 24 | 23584309 | 4184262 | 4325 2322 | 17 | 98 1748.56/1749.15 c 1748s | 24 | 23606371 | 4188562 | 4325 2324 | 17 | 98 1750.56/1751.18 c 1750s | 24 | 23629509 | 4193162 | 4325 2326 | 17 | 98 1752.66/1753.21 c 1752s | 24 | 23656040 | 4197662 | 4325 2328 | 17 | 98 1754.66/1755.26 c 1755s | 24 | 23679659 | 4201862 | 4325 2329 | 17 | 98 1756.66/1757.30 c 1757s | 24 | 23702637 | 4206062 | 4325 2331 | 17 | 98 1758.76/1759.34 c 1759s | 24 | 23725003 | 4210062 | 4325 2333 | 17 | 98 1760.75/1761.37 c 1761s | 24 | 23746009 | 4213762 | 4325 2335 | 17 | 98 1762.76/1763.38 c 1763s | 24 | 23766036 | 4217562 | 4325 2336 | 17 | 98 1764.75/1765.38 c 1765s | 24 | 23784766 | 4221162 | 4325 2338 | 17 | 98 1766.85/1767.44 c 1767s | 24 | 23803308 | 4224662 | 4325 2339 | 17 | 98 1768.86/1769.48 c 1769s | 24 | 23823297 | 4228062 | 4325 2341 | 17 | 98 1770.96/1771.53 c 1771s | 24 | 23847655 | 4232362 | 4325 2343 | 17 | 98 1772.96/1773.53 c 1773s | 24 | 23869746 | 4237162 | 4325 2345 | 17 | 98 1774.96/1775.55 c 1775s | 24 | 23891741 | 4241562 | 4325 2347 | 17 | 98 1776.95/1777.57 c 1777s | 24 | 23911811 | 4245762 | 4325 2349 | 17 | 98 1779.06/1779.63 c 1779s | 24 | 23932417 | 4250262 | 4325 2351 | 17 | 98 1781.26/1781.84 c 1781s | 24 | 23954591 | 4253962 | 4325 2352 | 17 | 98 1783.26/1783.86 c 1783s | 24 | 23978739 | 4258462 | 4325 2354 | 17 | 98 1785.25/1785.86 c 1785s | 24 | 24007629 | 4262762 | 4325 2356 | 17 | 98 1787.35/1787.99 c 1787s | 24 | 24036612 | 4267262 | 4325 2358 | 17 | 98 1789.35/1789.99 c 1789s | 24 | 24057668 | 4271662 | 4325 2360 | 17 | 98 1791.46/1792.01 c 1791s | 24 | 24079663 | 4275862 | 4325 2362 | 17 | 98 1793.46/1794.04 c 1793s | 24 | 24105332 | 4280462 | 4325 2364 | 17 | 98 1795.45/1796.04 c 1795s | 24 | 24127035 | 4284462 | 4325 2365 | 17 | 98 1797.45/1798.08 c 1797s | 24 | 24145691 | 4288162 | 4325 2367 | 17 | 98 1799.45/1800.08 c 1799s | 24 | 24166214 | 4292062 | 4325 2369 | 17 | 98
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-4079477-1465231469/watcher-4079477-1465231469 -o /tmp/evaluation-result-4079477-1465231469/solver-4079477-1465231469 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079477-1465231469.opb pid=5704 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.09 2.03 2/179 5707 /proc/meminfo: memFree=31340976/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=740796 CPUtime=0 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 2770 0 0 0 0 0 0 0 20 0 4 0 105081565 758575104 3130 33554432000 4194304 16246674 140735163398032 140735163397456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/5707/statm: 185967 3139 441 2943 0 182861 0 [pid=5707/tid=5708] ppid=5704 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 777449472 3201 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=764348 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 782692352 3218 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=768444 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105081565 786886656 3235 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100182 s] /proc/loadavg: 2.08 2.09 2.03 2/179 5707 /proc/meminfo: memFree=31340976/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1221188 CPUtime=0.08 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 24794 0 0 0 5 3 0 0 20 0 4 0 105081565 1250496512 25093 33554432000 4194304 16246674 140735163398032 140735163397344 12478189 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/5707/statm: 305297 25105 834 2943 0 302191 0 [pid=5707/tid=5708] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 25111 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 25120 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 25127 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1221188 [startup+0.200534 s] /proc/loadavg: 2.08 2.09 2.03 2/179 5707 /proc/meminfo: memFree=31340976/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1221188 CPUtime=0.19 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 52853 0 0 0 11 8 0 0 20 0 4 0 105081565 1250496512 53151 33554432000 4194304 16246674 140735163398032 140735163381024 12874965 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/5707/statm: 305297 53158 895 2943 0 302191 0 [pid=5707/tid=5708] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 53162 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 53168 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 53173 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300478 s] /proc/loadavg: 2.08 2.09 2.03 2/179 5707 /proc/meminfo: memFree=31340976/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1221188 CPUtime=0.28 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 71020 0 0 0 18 10 0 0 20 0 4 0 105081565 1250496512 71318 33554432000 4194304 16246674 140735163398032 140735163381024 5662075 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/5707/statm: 305297 71320 905 2943 0 302191 0 [pid=5707/tid=5708] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 71322 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 71323 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 71324 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1221188 [startup+0.700397 s] /proc/loadavg: 2.08 2.09 2.03 2/179 5707 /proc/meminfo: memFree=31340976/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1221188 CPUtime=0.69 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 132413 0 0 0 50 19 0 0 20 0 4 0 105081565 1250496512 132711 33554432000 4194304 16246674 140735163398032 140735163381024 13954518 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/5707/statm: 305297 132721 905 2943 0 302191 0 [pid=5707/tid=5708] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 132725 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 132729 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105081565 1250496512 132730 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1221188 [startup+1.50041 s] /proc/loadavg: 2.08 2.09 2.03 3/183 5711 /proc/meminfo: memFree=30208116/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1302084 CPUtime=1.48 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 247185 0 0 0 115 33 0 0 20 0 4 0 105081565 1333334016 247483 33554432000 4194304 16246674 140735163398032 140735163397344 5662075 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/5707/statm: 325521 247495 908 2943 0 322415 0 [pid=5707/tid=5708] ppid=5704 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1333334016 247502 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1333334016 247508 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1333334016 247514 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1302084 [startup+3.10042 s] /proc/loadavg: 2.08 2.09 2.03 3/183 5711 /proc/meminfo: memFree=29911376/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 267825 0 0 0 273 36 0 0 20 0 4 0 105081565 1338576896 268123 33554432000 4194304 16246674 140735163398032 140735163379904 5711568 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/5707/statm: 326801 268123 908 2943 0 323695 0 [pid=5707/tid=5708] ppid=5704 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1338576896 268123 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1338576896 268123 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1338576896 268123 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30043 s] /proc/loadavg: 2.08 2.09 2.03 3/183 5711 /proc/meminfo: memFree=29698668/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 268015 0 0 0 591 38 0 0 20 0 4 0 105081565 1338576896 268313 33554432000 4194304 16246674 140735163398032 140735163381024 5666984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 326801 268313 913 2943 0 323695 0 [pid=5707/tid=5708] ppid=5704 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1338576896 268313 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1338576896 268313 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1338576896 268313 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.07 2.09 2.03 3/183 5711 /proc/meminfo: memFree=29697728/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1309252 CPUtime=12.68 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 268392 0 0 0 1230 38 0 0 20 0 4 0 105081565 1340674048 268690 33554432000 4194304 16246674 140735163398032 140735163379904 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 327313 268690 913 2943 0 324207 0 [pid=5707/tid=5708] ppid=5704 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1340674048 268690 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1340674048 268690 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1340674048 268690 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.12 2.10 2.04 3/183 5711 /proc/meminfo: memFree=29697552/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1309252 CPUtime=25.48 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 268477 0 0 0 2508 40 0 0 20 0 4 0 105081565 1340674048 268775 33554432000 4194304 16246674 140735163398032 140735163379904 5711355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 327313 268775 913 2943 0 324207 0 [pid=5707/tid=5708] ppid=5704 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1340674048 268775 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1340674048 268775 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1340674048 268775 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.16 2.11 2.04 3/183 5711 /proc/meminfo: memFree=29669372/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1333828 CPUtime=51.07 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 274671 0 0 0 5064 43 0 0 20 0 4 0 105081565 1365839872 274969 33554432000 4194304 16246674 140735163398032 140735163379904 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 333457 274969 913 2943 0 330351 0 [pid=5707/tid=5708] ppid=5704 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1365839872 274969 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1365839872 274969 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1365839872 274969 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1333828 [startup+102.301 s] /proc/loadavg: 2.07 2.09 2.03 3/183 5712 /proc/meminfo: memFree=29667280/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1333828 CPUtime=102.28 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 274673 0 0 0 10178 50 0 0 20 0 4 0 105081565 1365839872 274971 33554432000 4194304 16246674 140735163398032 140735163381024 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 333457 274971 915 2943 0 330351 0 [pid=5707/tid=5708] ppid=5704 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1365839872 274971 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1365839872 274971 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1365839872 274971 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1333828 ################ # More data... # ################ /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1340996 [startup+1302.3 s] /proc/loadavg: 2.08 2.07 2.01 3/183 5815 /proc/meminfo: memFree=29643744/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1301.83 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 129989 194 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1340996 [startup+1362.3 s] /proc/loadavg: 2.17 2.08 2.02 3/183 5816 /proc/meminfo: memFree=29638288/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1361.81 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 135982 199 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 5674030 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1340996 [startup+1422.3 s] /proc/loadavg: 2.06 2.07 2.01 3/183 5818 /proc/meminfo: memFree=29638024/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1421.81 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 141972 209 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1340996 [startup+1482.3 s] /proc/loadavg: 2.10 2.08 2.01 3/183 5819 /proc/meminfo: memFree=29638284/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1481.8 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 147966 214 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 5722842 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1340996 [startup+1542.31 s] /proc/loadavg: 2.04 2.06 2.01 3/184 5823 /proc/meminfo: memFree=29637500/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1541.8 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 153959 221 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 12467320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1340996 [startup+1602.3 s] /proc/loadavg: 2.01 2.05 2.00 3/183 5824 /proc/meminfo: memFree=29638100/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1601.78 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 159951 227 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1340996 [startup+1662.3 s] /proc/loadavg: 2.00 2.04 2.00 3/183 5825 /proc/meminfo: memFree=29637464/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1661.77 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 165947 230 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 5823615 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1340996 [startup+1722.3 s] /proc/loadavg: 2.06 2.04 2.00 3/183 5827 /proc/meminfo: memFree=29637592/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1721.77 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 171941 236 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1340996 [startup+1782.3 s] /proc/loadavg: 2.06 2.05 2.00 3/183 5828 /proc/meminfo: memFree=29637344/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1781.76 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 177933 243 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 5711956 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1340996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.04 2.04 2.00 3/183 5828 /proc/meminfo: memFree=29638020/32872528 swapFree=11372/178980 [pid=5707] ppid=5704 vsize=1340996 CPUtime=1800.05 cores=1,3,5,7 /proc/5707/stat : 5707 (toysat) R 5704 5707 4590 0 -1 4202496 276853 0 0 0 179761 244 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140735163379904 13927267 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5707/statm: 335249 277020 916 2943 0 332143 0 [pid=5707/tid=5708] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5708/stat : 5708 (toysat) S 5704 5707 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461864889584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=5707/tid=5709] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5709/stat : 5709 (toysat) S 5704 5707 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461854399728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=5707/tid=5710] ppid=5704 vsize=1340996 CPUtime=0 cores=1,3,5,7 /proc/5707/task/5710/stat : 5710 (toysat) S 5704 5707 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105081565 1373179904 277020 33554432000 4194304 16246674 140735163398032 140461738028208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1340996 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 5707 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1797.62 CPU system time (s): 2.44563 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1340996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.62 system time used= 2.44563 maximum resident set size= 1108080 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276853 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= 401 involuntary context switches= 2041 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.40487 second user time and 9.8485 second system time The end
Begin job on node105 at 2016-06-06 18:44:29 IDJOB=4079477 IDBENCH=2046 IDSOLVER=2542 FILE ID=node105/4079477-1465231469 RUNJOBID= node105-1465220657-4607 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079477-1465231469/watcher-4079477-1465231469 -o /tmp/evaluation-result-4079477-1465231469/solver-4079477-1465231469 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079477-1465231469.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b3e6d54e40b24334877b0ae377edea30 RANDOM SEED=907854475 node105.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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.62 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.813 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.813 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.813 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.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31352888 kB Buffers: 26668 kB Cached: 118852 kB SwapCached: 1756 kB Active: 588492 kB Inactive: 49900 kB Active(anon): 493764 kB Inactive(anon): 1504 kB Active(file): 94728 kB Inactive(file): 48396 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 33400 kB Writeback: 0 kB AnonPages: 770520 kB Mapped: 10836 kB Shmem: 0 kB Slab: 568716 kB SReclaimable: 12236 kB SUnreclaim: 556480 kB KernelStack: 1528 kB PageTables: 6584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1398796 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 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= 71716 MiB End job on node105 at 2016-06-06 19:14:30