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.11 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
| MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 27 |
| Best CPU time to get the best result obtained on this benchmark | 0.247961 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 27 |
| Optimality of the best value was proved | YES |
| Number of variables | 5828 |
| Total number of constraints | 17411 |
| Number of constraints which are clauses | 17411 |
| 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 | 63 |
| Number of terms in the objective function | 2817 |
| 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 | 2817 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2817 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-06T23:23:08+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-4079831-1465248188.opb"] 0.00/0.01 c use --random-gen="2993812044 2420824454 3202813700 2701370197 516184781 3456162234 3993448980 899877860 822894019 3752669895 427799511 522087153 2630247848 4245751695 1500547614 3555888595 1269421143 2188463217 3450907122 1922231985 1532805787 474386435 7774496 4181796230 2937077435 1938137941 812280814 2447417465 184477875 2433562759 1023204258 1012910816 804665256 4236222473 2021442100 1081725239 3656260809 1138314852 602972179 883519406 1484848618 4065050738 3128976011 2194004971 3544363012 1251910643 1621064111 753323146 292152581 3555356591 3406561521 331205277 3206526466 734887754 2978926874 1336142139 3927106093 2613317459 3851165157 2609272526 3324943462 3281013356 109078302 3033262788 477125365 2768536098 2824204788 2402386630 3152878661 2432459252 369667710 2944196405 2544791358 1647063842 1586756590 1168842683 384085674 121540872 1866781782 3422765223 2410035200 11733249 4275432326 2916835156 321471398 1932165720 3795548623 1945794640 2928054308 2777811310 3523350289 2450291235 3976320970 3827872843 1993077946 2140334076 1392912967 2115596018 2768117015 1764327513 3083231217 1868807001 3341804628 3864010335 689496898 1409549024 4013881075 1246972880 863551063 679787648 2717418664 1240953122 3725873273 3834045288 410850944 189452079 4076926372 1322498819 2658371141 400099074 45649029 374997450 13009593 4006412802 3257052594 1779610407 3087951754 2296822157 1329232519 4003825405 2969211877 1181955326 1132282920 4240548904 2026882417 2548952307 2796527052 1727127099 891402981 3094842261 489586558 3312036235 3975031786 1089512257 2073982072 4118686180 2690526427 2708317992 3372950897 1413522961 2194178060 834241795 992716400 914656891 1239620195 1906062523 712828381 3763491047 3787265988 3389692321 1660634403 295025306 3438811815 485577976 2133145211 2181665817 3898655407 1781252476 3399256149 382015208 2423083079 1673509673 4018975756 2749415535 156135854 3643111725 2344639466 3068018341 727165349 2223720148 536353221 4142587582 3667436979 1400028874 961818674 613557302 2715262473 4130873300 1990377000 1339107818 2896305584 26235347 813405101 1207328605 1441569134 12623688 1790906709 2596348467 226682962 380064189 1815083768 1168933537 1228862516 1581177595 945271534 2298237611 4080385403 3933410365 3502294688 4072877931 1882140616 3636322364 3828188730 3821186514 3951639964 1937167502 1406829987 799580295 1851172170 2578096297 3010243855 2299243438 1848176303 1124233134 1072307082 2880218152 3957882552 620190410 722203312 1327768754 1976854639 2865838577 1332436057 901910492 1688336823 435215976 474782464 1115934089 2849866814 1838172624 2206011569 1751425538 1375289981 1391509780 2511923130 2181865874 1425474810 628009898 3378889397 1309690962 335268100 2626409821 1584946814 2673836378 1353560820 2419216309 255 362436" option to reproduce the execution 0.09/0.14 c #vars 5828 0.09/0.14 c #constraints 17411 0.29/0.34 c BCD2: Hardening is enabled. 0.29/0.34 c BCD2: BiasedSearch is enabled. 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 7652 0 | 566 | 0 0.29/0.38 c 0.0s | 0 | 1647 | 0 | 7652 0 | 566 | 1277 0.29/0.38 c #cpu_time = 0.037s 0.29/0.38 c #wall_clock_time = 0.037s 0.29/0.38 c #decision = 1647 0.29/0.38 c #random_decision = 4 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 o 1647 0.39/0.42 c BCD2: updating upper bound: 2817 -> 1646 0.39/0.42 c BCD2: 0 <= obj <= 1646 0.39/0.42 c BCD2: #cores=0, #unrelaxed=2817, #relaxed=0, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=1 bias=1/2 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 7652 0 | 566 | 1277 0.39/0.45 c 0.0s | 0 | 60 | 0 | 7652 0 | 566 | 1277 0.39/0.45 c #cpu_time = 0.010s 0.39/0.45 c #wall_clock_time = 0.010s 0.39/0.45 c #decision = 60 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 3: cost of the new core is >=1 0.39/0.45 c lower bound updated to 1 0.39/0.45 c BCD2: 1 <= obj <= 1646 0.39/0.45 c BCD2: #cores=1, #unrelaxed=2814, #relaxed=3, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=2 bias=2/3 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 7652 0 | 566 | 1277 0.39/0.46 c 0.0s | 0 | 61 | 0 | 7652 0 | 566 | 1277 0.39/0.46 c #cpu_time = 0.008s 0.39/0.46 c #wall_clock_time = 0.008s 0.39/0.46 c #decision = 61 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 3: cost of the new core is >=1 0.39/0.46 c lower bound updated to 2 0.39/0.48 c BCD2: 2 <= obj <= 1646 0.39/0.48 c BCD2: #cores=2, #unrelaxed=2811, #relaxed=6, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=3 bias=3/4 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 7652 0 | 566 | 1277 0.39/0.48 c 0.0s | 0 | 72 | 0 | 7652 0 | 566 | 1277 0.39/0.48 c #cpu_time = 0.006s 0.39/0.48 c #wall_clock_time = 0.006s 0.39/0.48 c #decision = 72 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 3: cost of the new core is >=1 0.39/0.48 c lower bound updated to 3 0.39/0.49 c BCD2: 3 <= obj <= 1646 0.39/0.49 c BCD2: #cores=3, #unrelaxed=2808, #relaxed=9, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=4 bias=4/5 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 7652 0 | 566 | 1277 0.39/0.49 c 0.0s | 0 | 134 | 0 | 7652 0 | 566 | 1277 0.39/0.49 c #cpu_time = 0.007s 0.39/0.49 c #wall_clock_time = 0.007s 0.39/0.49 c #decision = 134 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 47: cost of the new core is >=1 0.39/0.49 c lower bound updated to 4 0.39/0.49 c BCD2: 4 <= obj <= 1646 0.39/0.49 c BCD2: #cores=4, #unrelaxed=2761, #relaxed=56, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=5 bias=5/6 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 7652 0 | 566 | 1277 0.48/0.50 c 0.0s | 0 | 160 | 0 | 7652 0 | 566 | 1277 0.48/0.50 c #cpu_time = 0.007s 0.48/0.50 c #wall_clock_time = 0.007s 0.48/0.50 c #decision = 160 0.48/0.50 c #random_decision = 0 0.48/0.50 c #conflict = 0 0.48/0.50 c #restart = 0 0.48/0.50 c BCD2: found a new core of size 2: cost of the new core is >=1 0.48/0.50 c lower bound updated to 5 0.48/0.50 c BCD2: 5 <= obj <= 1646 0.48/0.50 c BCD2: #cores=5, #unrelaxed=2759, #relaxed=58, #hardened=0 0.48/0.50 c BCD2: #sat=1 #unsat=6 bias=6/7 0.48/0.50 c Solving starts ... 0.48/0.50 c ============================[ Search Statistics ]============================ 0.48/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.50 c | | | | Limit GC | Var | Constra 0.48/0.50 c ============================================================================= 0.48/0.50 c 0.0s | 0 | 0 | 0 | 7652 0 | 566 | 1277 0.48/0.51 c 0.0s | 0 | 535 | 0 | 7652 0 | 566 | 1277 0.48/0.51 c #cpu_time = 0.007s 0.48/0.51 c #wall_clock_time = 0.007s 0.48/0.51 c #decision = 535 0.48/0.51 c #random_decision = 0 0.48/0.51 c #conflict = 0 0.48/0.51 c #restart = 0 0.48/0.51 c BCD2: relaxing 77 and merging with 2 cores into a new core of size 82: cost of the new core is >=3 0.48/0.51 c lower bound updated to 6 0.48/0.51 c BCD2: 6 <= obj <= 1646 0.48/0.51 c BCD2: #cores=4, #unrelaxed=2682, #relaxed=135, #hardened=0 0.48/0.51 c BCD2: #sat=1 #unsat=7 bias=7/8 0.48/0.51 c Solving starts ... 0.48/0.51 c ============================[ Search Statistics ]============================ 0.48/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.51 c | | | | Limit GC | Var | Constra 0.48/0.51 c ============================================================================= 0.48/0.51 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1277 0.48/0.52 c 0.0s | 0 | 471 | 0 | 7652 0 | 568 | 1279 0.48/0.52 c #cpu_time = 0.007s 0.48/0.52 c #wall_clock_time = 0.007s 0.48/0.52 c #decision = 471 0.48/0.52 c #random_decision = 0 0.48/0.52 c #conflict = 0 0.48/0.52 c #restart = 0 0.48/0.52 c BCD2: found a new core of size 9: cost of the new core is >=1 0.48/0.52 c lower bound updated to 7 0.48/0.52 c BCD2: 7 <= obj <= 1646 0.48/0.52 c BCD2: #cores=5, #unrelaxed=2673, #relaxed=144, #hardened=0 0.48/0.52 c BCD2: #sat=1 #unsat=8 bias=8/9 0.48/0.52 c Solving starts ... 0.48/0.52 c ============================[ Search Statistics ]============================ 0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.52 c | | | | Limit GC | Var | Constra 0.48/0.52 c ============================================================================= 0.48/0.52 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.48/0.53 c 0.0s | 0 | 592 | 0 | 7652 0 | 568 | 1279 0.48/0.53 c #cpu_time = 0.007s 0.48/0.53 c #wall_clock_time = 0.007s 0.48/0.53 c #decision = 592 0.48/0.53 c #random_decision = 0 0.48/0.53 c #conflict = 0 0.48/0.53 c #restart = 0 0.48/0.53 c BCD2: found a new core of size 3: cost of the new core is >=1 0.48/0.53 c lower bound updated to 8 0.48/0.53 c BCD2: 8 <= obj <= 1646 0.48/0.53 c BCD2: #cores=6, #unrelaxed=2670, #relaxed=147, #hardened=0 0.48/0.53 c BCD2: #sat=1 #unsat=9 bias=9/10 0.48/0.53 c Solving starts ... 0.48/0.53 c ============================[ Search Statistics ]============================ 0.48/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.53 c | | | | Limit GC | Var | Constra 0.48/0.53 c ============================================================================= 0.48/0.53 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.48/0.54 c 0.0s | 0 | 710 | 0 | 7652 0 | 568 | 1279 0.48/0.54 c #cpu_time = 0.006s 0.48/0.54 c #wall_clock_time = 0.006s 0.48/0.54 c #decision = 710 0.48/0.54 c #random_decision = 0 0.48/0.54 c #conflict = 0 0.48/0.54 c #restart = 0 0.48/0.54 c BCD2: found a new core of size 33: cost of the new core is >=1 0.48/0.54 c lower bound updated to 9 0.48/0.54 c BCD2: 9 <= obj <= 1646 0.48/0.54 c BCD2: #cores=7, #unrelaxed=2637, #relaxed=180, #hardened=0 0.48/0.54 c BCD2: #sat=1 #unsat=10 bias=10/11 0.48/0.54 c Solving starts ... 0.48/0.54 c ============================[ Search Statistics ]============================ 0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.54 c | | | | Limit GC | Var | Constra 0.48/0.54 c ============================================================================= 0.48/0.54 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.48/0.55 c 0.0s | 0 | 900 | 0 | 7652 0 | 568 | 1279 0.48/0.55 c #cpu_time = 0.008s 0.48/0.55 c #wall_clock_time = 0.008s 0.48/0.55 c #decision = 900 0.48/0.55 c #random_decision = 0 0.48/0.55 c #conflict = 0 0.48/0.55 c #restart = 0 0.48/0.55 c BCD2: found a new core of size 27: cost of the new core is >=1 0.48/0.55 c lower bound updated to 10 0.48/0.55 c BCD2: 10 <= obj <= 1646 0.48/0.55 c BCD2: #cores=8, #unrelaxed=2610, #relaxed=207, #hardened=0 0.48/0.55 c BCD2: #sat=1 #unsat=11 bias=11/12 0.48/0.55 c Solving starts ... 0.48/0.55 c ============================[ Search Statistics ]============================ 0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.55 c | | | | Limit GC | Var | Constra 0.48/0.55 c ============================================================================= 0.48/0.55 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.48/0.56 c 0.0s | 0 | 893 | 0 | 7652 0 | 568 | 1279 0.48/0.56 c #cpu_time = 0.007s 0.48/0.56 c #wall_clock_time = 0.007s 0.48/0.56 c #decision = 893 0.48/0.56 c #random_decision = 0 0.48/0.56 c #conflict = 0 0.48/0.56 c #restart = 0 0.48/0.56 c BCD2: found a new core of size 8: cost of the new core is >=1 0.48/0.56 c lower bound updated to 11 0.48/0.56 c BCD2: 11 <= obj <= 1646 0.48/0.56 c BCD2: #cores=9, #unrelaxed=2602, #relaxed=215, #hardened=0 0.48/0.56 c BCD2: #sat=1 #unsat=12 bias=12/13 0.48/0.56 c Solving starts ... 0.48/0.56 c ============================[ Search Statistics ]============================ 0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.56 c | | | | Limit GC | Var | Constra 0.48/0.56 c ============================================================================= 0.48/0.56 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.48/0.57 c 0.0s | 0 | 901 | 0 | 7652 0 | 568 | 1279 0.48/0.57 c #cpu_time = 0.006s 0.48/0.57 c #wall_clock_time = 0.006s 0.48/0.57 c #decision = 901 0.48/0.57 c #random_decision = 0 0.48/0.57 c #conflict = 0 0.48/0.57 c #restart = 0 0.48/0.57 c BCD2: found a new core of size 27: cost of the new core is >=1 0.48/0.57 c lower bound updated to 12 0.48/0.57 c BCD2: 12 <= obj <= 1646 0.48/0.57 c BCD2: #cores=10, #unrelaxed=2575, #relaxed=242, #hardened=0 0.48/0.57 c BCD2: #sat=1 #unsat=13 bias=13/14 0.48/0.57 c Solving starts ... 0.48/0.57 c ============================[ Search Statistics ]============================ 0.48/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.57 c | | | | Limit GC | Var | Constra 0.48/0.57 c ============================================================================= 0.48/0.57 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.48/0.58 c 0.0s | 0 | 1083 | 0 | 7652 0 | 568 | 1279 0.48/0.58 c #cpu_time = 0.008s 0.48/0.58 c #wall_clock_time = 0.008s 0.48/0.58 c #decision = 1083 0.48/0.58 c #random_decision = 0 0.48/0.58 c #conflict = 0 0.48/0.58 c #restart = 0 0.48/0.58 c BCD2: found a new core of size 48: cost of the new core is >=1 0.48/0.58 c lower bound updated to 13 0.48/0.58 c BCD2: 13 <= obj <= 1646 0.48/0.58 c BCD2: #cores=11, #unrelaxed=2527, #relaxed=290, #hardened=0 0.48/0.58 c BCD2: #sat=1 #unsat=14 bias=14/15 0.48/0.58 c Solving starts ... 0.48/0.58 c ============================[ Search Statistics ]============================ 0.48/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.58 c | | | | Limit GC | Var | Constra 0.48/0.58 c ============================================================================= 0.48/0.58 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.48/0.59 c 0.0s | 0 | 1052 | 0 | 7652 0 | 568 | 1279 0.48/0.59 c #cpu_time = 0.010s 0.48/0.59 c #wall_clock_time = 0.010s 0.48/0.59 c #decision = 1052 0.48/0.59 c #random_decision = 0 0.48/0.59 c #conflict = 0 0.48/0.59 c #restart = 0 0.48/0.59 c BCD2: found a new core of size 9: cost of the new core is >=1 0.48/0.59 c lower bound updated to 14 0.48/0.59 c BCD2: 14 <= obj <= 1646 0.48/0.59 c BCD2: #cores=12, #unrelaxed=2518, #relaxed=299, #hardened=0 0.48/0.59 c BCD2: #sat=1 #unsat=15 bias=15/16 0.48/0.59 c Solving starts ... 0.48/0.59 c ============================[ Search Statistics ]============================ 0.48/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.59 c | | | | Limit GC | Var | Constra 0.48/0.59 c ============================================================================= 0.48/0.59 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.60 c 0.0s | 0 | 1275 | 0 | 7652 0 | 568 | 1279 0.58/0.60 c #cpu_time = 0.007s 0.58/0.60 c #wall_clock_time = 0.007s 0.58/0.60 c #decision = 1275 0.58/0.60 c #random_decision = 0 0.58/0.60 c #conflict = 0 0.58/0.60 c #restart = 0 0.58/0.60 c BCD2: found a new core of size 33: cost of the new core is >=1 0.58/0.60 c lower bound updated to 15 0.58/0.60 c BCD2: 15 <= obj <= 1646 0.58/0.60 c BCD2: #cores=13, #unrelaxed=2485, #relaxed=332, #hardened=0 0.58/0.60 c BCD2: #sat=1 #unsat=16 bias=16/17 0.58/0.60 c Solving starts ... 0.58/0.60 c ============================[ Search Statistics ]============================ 0.58/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.60 c | | | | Limit GC | Var | Constra 0.58/0.60 c ============================================================================= 0.58/0.60 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.61 c 0.0s | 0 | 1328 | 0 | 7652 0 | 568 | 1279 0.58/0.61 c #cpu_time = 0.008s 0.58/0.61 c #wall_clock_time = 0.008s 0.58/0.61 c #decision = 1328 0.58/0.61 c #random_decision = 0 0.58/0.61 c #conflict = 0 0.58/0.61 c #restart = 0 0.58/0.61 c BCD2: found a new core of size 82: cost of the new core is >=1 0.58/0.61 c lower bound updated to 16 0.58/0.61 c BCD2: 16 <= obj <= 1646 0.58/0.61 c BCD2: #cores=14, #unrelaxed=2403, #relaxed=414, #hardened=0 0.58/0.61 c BCD2: #sat=1 #unsat=17 bias=17/18 0.58/0.61 c Solving starts ... 0.58/0.61 c ============================[ Search Statistics ]============================ 0.58/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.61 c | | | | Limit GC | Var | Constra 0.58/0.61 c ============================================================================= 0.58/0.61 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.62 c 0.0s | 0 | 1272 | 0 | 7652 0 | 568 | 1279 0.58/0.62 c #cpu_time = 0.007s 0.58/0.62 c #wall_clock_time = 0.007s 0.58/0.62 c #decision = 1272 0.58/0.62 c #random_decision = 0 0.58/0.62 c #conflict = 0 0.58/0.62 c #restart = 0 0.58/0.62 c BCD2: found a new core of size 37: cost of the new core is >=1 0.58/0.62 c lower bound updated to 17 0.58/0.62 c BCD2: 17 <= obj <= 1646 0.58/0.62 c BCD2: #cores=15, #unrelaxed=2366, #relaxed=451, #hardened=0 0.58/0.62 c BCD2: #sat=1 #unsat=18 bias=18/19 0.58/0.62 c Solving starts ... 0.58/0.62 c ============================[ Search Statistics ]============================ 0.58/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.62 c | | | | Limit GC | Var | Constra 0.58/0.62 c ============================================================================= 0.58/0.62 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.63 c 0.0s | 0 | 1418 | 0 | 7652 0 | 568 | 1279 0.58/0.63 c #cpu_time = 0.009s 0.58/0.63 c #wall_clock_time = 0.009s 0.58/0.63 c #decision = 1418 0.58/0.63 c #random_decision = 0 0.58/0.63 c #conflict = 0 0.58/0.63 c #restart = 0 0.58/0.63 c BCD2: found a new core of size 9: cost of the new core is >=1 0.58/0.63 c lower bound updated to 18 0.58/0.63 c BCD2: 18 <= obj <= 1646 0.58/0.63 c BCD2: #cores=16, #unrelaxed=2357, #relaxed=460, #hardened=0 0.58/0.63 c BCD2: #sat=1 #unsat=19 bias=19/20 0.58/0.63 c Solving starts ... 0.58/0.63 c ============================[ Search Statistics ]============================ 0.58/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.63 c | | | | Limit GC | Var | Constra 0.58/0.63 c ============================================================================= 0.58/0.63 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.64 c 0.0s | 0 | 1654 | 0 | 7652 0 | 568 | 1279 0.58/0.64 c #cpu_time = 0.009s 0.58/0.64 c #wall_clock_time = 0.009s 0.58/0.64 c #decision = 1654 0.58/0.64 c #random_decision = 0 0.58/0.64 c #conflict = 0 0.58/0.64 c #restart = 0 0.58/0.64 c BCD2: found a new core of size 82: cost of the new core is >=1 0.58/0.64 c lower bound updated to 19 0.58/0.64 c BCD2: 19 <= obj <= 1646 0.58/0.64 c BCD2: #cores=17, #unrelaxed=2275, #relaxed=542, #hardened=0 0.58/0.64 c BCD2: #sat=1 #unsat=20 bias=20/21 0.58/0.64 c Solving starts ... 0.58/0.64 c ============================[ Search Statistics ]============================ 0.58/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.64 c | | | | Limit GC | Var | Constra 0.58/0.64 c ============================================================================= 0.58/0.65 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.65 c 0.0s | 0 | 1583 | 0 | 7652 0 | 568 | 1279 0.58/0.65 c #cpu_time = 0.007s 0.58/0.65 c #wall_clock_time = 0.008s 0.58/0.65 c #decision = 1583 0.58/0.65 c #random_decision = 0 0.58/0.65 c #conflict = 0 0.58/0.65 c #restart = 0 0.58/0.65 c BCD2: found a new core of size 9: cost of the new core is >=1 0.58/0.65 c lower bound updated to 20 0.58/0.65 c BCD2: 20 <= obj <= 1646 0.58/0.65 c BCD2: #cores=18, #unrelaxed=2266, #relaxed=551, #hardened=0 0.58/0.65 c BCD2: #sat=1 #unsat=21 bias=21/22 0.58/0.65 c Solving starts ... 0.58/0.65 c ============================[ Search Statistics ]============================ 0.58/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.65 c | | | | Limit GC | Var | Constra 0.58/0.65 c ============================================================================= 0.58/0.66 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.66 c 0.0s | 0 | 1775 | 0 | 7652 0 | 568 | 1279 0.58/0.66 c #cpu_time = 0.009s 0.58/0.66 c #wall_clock_time = 0.009s 0.58/0.66 c #decision = 1775 0.58/0.66 c #random_decision = 0 0.58/0.66 c #conflict = 0 0.58/0.66 c #restart = 0 0.58/0.66 c BCD2: found a new core of size 64: cost of the new core is >=1 0.58/0.66 c lower bound updated to 21 0.58/0.67 c BCD2: 21 <= obj <= 1646 0.58/0.67 c BCD2: #cores=19, #unrelaxed=2202, #relaxed=615, #hardened=0 0.58/0.67 c BCD2: #sat=1 #unsat=22 bias=22/23 0.58/0.67 c Solving starts ... 0.58/0.67 c ============================[ Search Statistics ]============================ 0.58/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.67 c | | | | Limit GC | Var | Constra 0.58/0.67 c ============================================================================= 0.58/0.67 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.68 c 0.0s | 0 | 1937 | 0 | 7652 0 | 568 | 1279 0.58/0.68 c #cpu_time = 0.009s 0.58/0.68 c #wall_clock_time = 0.009s 0.58/0.68 c #decision = 1937 0.58/0.68 c #random_decision = 0 0.58/0.68 c #conflict = 0 0.58/0.68 c #restart = 0 0.58/0.68 c BCD2: found a new core of size 71: cost of the new core is >=1 0.58/0.68 c lower bound updated to 22 0.58/0.68 c BCD2: 22 <= obj <= 1646 0.58/0.68 c BCD2: #cores=20, #unrelaxed=2131, #relaxed=686, #hardened=0 0.58/0.68 c BCD2: #sat=1 #unsat=23 bias=23/24 0.58/0.68 c Solving starts ... 0.58/0.68 c ============================[ Search Statistics ]============================ 0.58/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.68 c | | | | Limit GC | Var | Constra 0.58/0.68 c ============================================================================= 0.58/0.68 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1279 0.58/0.70 c 0.0s | 0 | 2473 | 0 | 7652 0 | 568 | 1279 0.58/0.70 c #cpu_time = 0.012s 0.58/0.70 c #wall_clock_time = 0.012s 0.58/0.70 c #decision = 2473 0.58/0.70 c #random_decision = 0 0.58/0.70 c #conflict = 0 0.58/0.70 c #restart = 0 0.58/0.70 o 45 0.68/0.70 c BCD2: updating upper bound: 1646 -> 44 0.68/0.71 c BCD2: 22 <= obj <= 44 0.68/0.71 c BCD2: #cores=20, #unrelaxed=2131, #relaxed=686, #hardened=0 0.68/0.71 c BCD2: #sat=2 #unsat=23 bias=23/25 0.68/0.71 c Solving starts ... 0.68/0.71 c ============================[ Search Statistics ]============================ 0.68/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.71 c | | | | Limit GC | Var | Constra 0.68/0.71 c ============================================================================= 0.68/0.71 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1280 0.68/0.74 c 0.0s | 0 | 2445 | 29 | 7652 0 | 568 | 1280 0.68/0.74 c #cpu_time = 0.023s 0.68/0.74 c #wall_clock_time = 0.023s 0.68/0.74 c #decision = 2445 0.68/0.74 c #random_decision = 2 0.68/0.74 c #conflict = 29 0.68/0.74 c #restart = 0 0.68/0.74 o 34 0.68/0.74 c BCD2: updating upper bound: 44 -> 33 0.68/0.75 c BCD2: 22 <= obj <= 33 0.68/0.75 c BCD2: #cores=20, #unrelaxed=2131, #relaxed=686, #hardened=0 0.68/0.75 c BCD2: #sat=3 #unsat=23 bias=23/26 0.68/0.75 c Solving starts ... 0.68/0.75 c ============================[ Search Statistics ]============================ 0.68/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.75 c | | | | Limit GC | Var | Constra 0.68/0.75 c ============================================================================= 0.68/0.75 c 0.0s | 0 | 0 | 0 | 7652 0 | 568 | 1281 0.78/0.81 c 0.1s | 1 | 2092 | 100 | 8418 0 | 568 | 1281 0.78/0.85 c 0.1s | 1 | 8227 | 136 | 8418 0 | 568 | 1281 0.78/0.85 c #cpu_time = 0.097s 0.78/0.85 c #wall_clock_time = 0.097s 0.78/0.85 c #decision = 8227 0.78/0.85 c #random_decision = 0 0.78/0.85 c #conflict = 136 0.78/0.85 c #restart = 1 0.78/0.85 o 31 0.78/0.85 c BCD2: updating upper bound: 33 -> 30 0.78/0.86 c BCD2: 22 <= obj <= 30 0.78/0.86 c BCD2: #cores=20, #unrelaxed=2131, #relaxed=686, #hardened=0 0.78/0.86 c BCD2: #sat=4 #unsat=23 bias=23/27 0.78/0.86 c Solving starts ... 0.78/0.86 c ============================[ Search Statistics ]============================ 0.78/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.86 c | | | | Limit GC | Var | Constra 0.78/0.86 c ============================================================================= 0.78/0.86 c 0.0s | 0 | 0 | 0 | 8418 0 | 568 | 1282 0.78/0.89 c 0.0s | 0 | 2109 | 41 | 8418 0 | 568 | 1282 0.78/0.89 c #cpu_time = 0.029s 0.78/0.89 c #wall_clock_time = 0.029s 0.78/0.89 c #decision = 2109 0.78/0.89 c #random_decision = 1 0.78/0.89 c #conflict = 41 0.78/0.89 c #restart = 0 0.78/0.89 o 28 0.89/0.90 c BCD2: updating upper bound: 30 -> 27 0.89/0.91 c BCD2: 22 <= obj <= 27 0.89/0.91 c BCD2: #cores=20, #unrelaxed=2131, #relaxed=686, #hardened=0 0.89/0.91 c BCD2: #sat=5 #unsat=23 bias=23/28 0.89/0.91 c Solving starts ... 0.89/0.91 c ============================[ Search Statistics ]============================ 0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.91 c | | | | Limit GC | Var | Constra 0.89/0.91 c ============================================================================= 0.89/0.91 c 0.0s | 0 | 0 | 0 | 8418 0 | 568 | 1283 0.89/0.98 c 0.1s | 1 | 10470 | 100 | 9260 0 | 568 | 1283 0.99/1.02 c 0.1s | 1 | 14230 | 141 | 9260 0 | 568 | 1283 0.99/1.02 c #cpu_time = 0.112s 0.99/1.02 c #wall_clock_time = 0.112s 0.99/1.02 c #decision = 14230 0.99/1.02 c #random_decision = 0 0.99/1.02 c #conflict = 141 0.99/1.02 c #restart = 1 0.99/1.02 c BCD2: relaxing 106 and merging with 10 cores into a new core of size 406: cost of the new core is >=13 0.99/1.02 c lower bound updated to 23 0.99/1.02 c BCD2: 23 <= obj <= 27 0.99/1.02 c BCD2: #cores=11, #unrelaxed=2025, #relaxed=792, #hardened=0 0.99/1.02 c BCD2: #sat=5 #unsat=24 bias=24/29 0.99/1.02 c Solving starts ... 0.99/1.02 c ============================[ Search Statistics ]============================ 0.99/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.02 c | | | | Limit GC | Var | Constra 0.99/1.02 c ============================================================================= 0.99/1.02 c 0.0s | 0 | 0 | 0 | 9260 0 | 611 | 1283 1.10/1.12 c 0.1s | 1 | 2627 | 100 | 9260 0 | 611 | 1359 1.20/1.22 c 0.2s | 2 | 5668 | 250 | 10186 0 | 611 | 1359 1.38/1.42 c 0.4s | 3 | 9000 | 475 | 11205 0 | 611 | 1359 1.69/1.70 c 0.7s | 4 | 13207 | 813 | 11205 0 | 611 | 1359 2.08/2.11 c 1.1s | 5 | 17630 | 1320 | 12326 0 | 611 | 1359 2.49/2.57 c 1.5s | 6 | 23506 | 2081 | 13559 0 | 611 | 1359 3.29/3.39 c 2.4s | 7 | 32259 | 3223 | 14915 0 | 611 | 1359 4.50/4.58 c 3.6s | 8 | 43803 | 4936 | 16407 0 | 611 | 1359 6.49/6.55 c 5.5s | 9 | 61287 | 7506 | 18048 0 | 611 | 1359 8.49/8.59 c 7.6s | 9 | 79256 | 9906 | 18048 0 | 611 | 1359 9.79/9.80 c 8.8s | 10 | 87563 | 11361 | 19853 0 | 611 | 1359 11.79/11.85 c 10.8s | 10 | 101353 | 13561 | 19853 0 | 611 | 1359 13.89/13.96 c 12.9s | 10 | 112768 | 15361 | 19853 0 | 611 | 1359 15.79/15.88 c 14.9s | 11 | 124752 | 17144 | 21839 0 | 611 | 1359 17.89/17.96 c 16.9s | 11 | 137682 | 19044 | 21839 0 | 611 | 1359 19.99/20.04 c 19.0s | 11 | 148644 | 21144 | 21839 0 | 611 | 1359 22.10/22.11 c 21.1s | 11 | 159724 | 23044 | 21839 0 | 611 | 1359 24.09/24.13 c 23.1s | 11 | 167336 | 24744 | 21839 0 | 611 | 1359 25.30/25.32 c 24.3s | 12 | 171281 | 25819 | 24023 0 | 611 | 1359 27.39/27.41 c 26.4s | 12 | 182481 | 27819 | 24023 1 | 611 | 1359 29.39/29.42 c 28.4s | 12 | 192648 | 30019 | 24023 1 | 611 | 1359 31.39/31.49 c 30.5s | 12 | 202337 | 31819 | 24023 1 | 611 | 1359 33.49/33.55 c 32.5s | 12 | 211979 | 33919 | 24023 1 | 611 | 1359 35.49/35.56 c 34.5s | 12 | 220504 | 35819 | 24023 1 | 611 | 1359 37.59/37.61 c 36.6s | 12 | 231882 | 37819 | 24023 1 | 611 | 1359 38.79/38.81 c 37.8s | 13 | 236922 | 38832 | 26426 1 | 611 | 1359 40.79/40.86 c 39.8s | 13 | 245799 | 40532 | 26426 1 | 611 | 1359 42.89/42.96 c 41.9s | 13 | 254185 | 42332 | 26426 1 | 611 | 1359 44.98/45.03 c 44.0s | 13 | 261383 | 43932 | 26426 2 | 611 | 1359 46.98/47.06 c 46.0s | 13 | 270301 | 45632 | 26426 2 | 611 | 1359 49.08/49.12 c 48.1s | 13 | 279791 | 47532 | 26426 2 | 611 | 1359 51.08/51.12 c 50.1s | 13 | 289108 | 49532 | 26426 2 | 611 | 1359 53.08/53.16 c 52.1s | 13 | 298460 | 51632 | 26426 2 | 611 | 1359 55.18/55.24 c 54.2s | 13 | 305858 | 53632 | 26426 2 | 611 | 1359 57.19/57.25 c 56.2s | 13 | 313785 | 55532 | 26426 2 | 611 | 1359 59.28/59.37 c 58.3s | 13 | 322134 | 57532 | 26426 2 | 611 | 1359 60.38/60.42 c 59.4s | 14 | 326091 | 58352 | 29069 2 | 611 | 1359 63.28/63.35 c 62.3s | 14 | 328162 | 58452 | 29069 3 | 611 | 1359 65.38/65.44 c 64.4s | 14 | 334985 | 60452 | 29069 3 | 611 | 1359 67.38/67.45 c 66.4s | 14 | 343696 | 62152 | 29069 3 | 611 | 1359 69.48/69.51 c 68.5s | 14 | 353428 | 64052 | 29069 3 | 611 | 1359 71.58/71.60 c 70.6s | 14 | 362588 | 66152 | 29069 3 | 611 | 1359 73.58/73.70 c 72.7s | 14 | 369364 | 68152 | 29069 3 | 611 | 1359 75.78/75.81 c 74.8s | 14 | 377326 | 69852 | 29069 3 | 611 | 1359 77.87/77.91 c 76.9s | 14 | 383850 | 71552 | 29069 3 | 611 | 1359 79.97/80.03 c 79.0s | 14 | 388246 | 72852 | 29069 3 | 611 | 1359 82.07/82.13 c 81.1s | 14 | 394312 | 74252 | 29069 3 | 611 | 1359 84.07/84.16 c 83.1s | 14 | 401030 | 75752 | 29069 3 | 611 | 1359 86.17/86.24 c 85.2s | 14 | 408122 | 77352 | 29069 4 | 611 | 1359 88.17/88.28 c 87.3s | 14 | 417412 | 79452 | 29069 4 | 611 | 1359 90.77/90.89 c 89.9s | 14 | 422291 | 80652 | 29069 4 | 611 | 1359 92.97/93.00 c 92.0s | 14 | 431634 | 82452 | 29069 4 | 611 | 1359 94.97/95.09 c 94.1s | 14 | 441688 | 84552 | 29069 4 | 611 | 1359 97.16/97.20 c 96.2s | 14 | 450641 | 86352 | 29069 4 | 611 | 1359 98.56/98.64 c 97.6s | 15 | 457263 | 87632 | 31976 4 | 611 | 1359 100.66/100.76 c 99.7s | 15 | 465383 | 89132 | 31976 4 | 611 | 1359 102.66/102.78 c 101s | 15 | 472597 | 90732 | 31976 4 | 611 | 1359 104.76/104.81 c 103s | 15 | 479360 | 92432 | 31976 4 | 611 | 1359 106.77/106.86 c 105s | 15 | 486860 | 94132 | 31976 4 | 611 | 1359 108.96/109.01 c 107s | 15 | 494491 | 95732 | 31976 4 | 611 | 1359 110.96/111.03 c 110s | 15 | 499993 | 97032 | 31976 5 | 611 | 1359 112.96/113.04 c 112s | 15 | 507940 | 99032 | 31976 5 | 611 | 1359 114.96/115.08 c 114s | 15 | 514927 | 100832 | 31976 5 | 611 | 1359 117.06/117.15 c 116s | 15 | 523605 | 102732 | 31976 5 | 611 | 1359 119.15/119.27 c 118s | 15 | 531618 | 104532 | 31976 5 | 611 | 1359 121.35/121.46 c 120s | 15 | 541001 | 106332 | 31976 5 | 611 | 1359 123.35/123.49 c 122s | 15 | 549727 | 108232 | 31976 5 | 611 | 1359 125.55/125.62 c 124s | 15 | 555297 | 109532 | 31976 5 | 611 | 1359 127.56/127.69 c 126s | 15 | 560495 | 110632 | 31976 5 | 611 | 1359 129.76/129.90 c 128s | 15 | 566397 | 111832 | 31976 5 | 611 | 1359 131.85/131.99 c 130s | 15 | 571101 | 112732 | 31976 5 | 611 | 1359 134.05/134.16 c 133s | 15 | 577756 | 114032 | 31976 5 | 611 | 1359 136.15/136.24 c 135s | 15 | 584052 | 115432 | 31976 6 | 611 | 1359 138.25/138.35 c 137s | 15 | 591534 | 117232 | 31976 6 | 611 | 1359 140.35/140.46 c 139s | 15 | 600034 | 119032 | 31976 6 | 611 | 1359 142.35/142.47 c 141s | 15 | 605836 | 120432 | 31976 6 | 611 | 1359 144.35/144.49 c 143s | 15 | 612261 | 121932 | 31976 6 | 611 | 1359 146.45/146.58 c 145s | 15 | 619674 | 123532 | 31976 6 | 611 | 1359 148.55/148.63 c 147s | 15 | 625059 | 124932 | 31976 6 | 611 | 1359 150.54/150.65 c 149s | 15 | 631286 | 126332 | 31976 6 | 611 | 1359 153.74/153.81 c 152s | 15 | 639024 | 127932 | 31976 6 | 611 | 1359 156.25/156.32 c 155s | 15 | 639539 | 128032 | 31976 6 | 611 | 1359 158.24/158.33 c 157s | 15 | 648650 | 129632 | 31976 6 | 611 | 1359 160.24/160.33 c 159s | 15 | 656573 | 131232 | 35174 6 | 611 | 1359 160.64/160.76 c 159s | 16 | 657927 | 131552 | 35174 6 | 611 | 1359 162.64/162.77 c 161s | 16 | 666190 | 132852 | 35174 6 | 611 | 1359 164.64/164.78 c 163s | 16 | 672762 | 134152 | 35174 6 | 611 | 1359 166.64/166.78 c 165s | 16 | 678996 | 135452 | 35174 6 | 611 | 1359 168.73/168.84 c 167s | 16 | 686325 | 137152 | 35174 7 | 611 | 1359 170.83/170.90 c 169s | 16 | 695137 | 139152 | 35174 7 | 611 | 1359 172.93/173.03 c 172s | 16 | 702796 | 140752 | 35174 7 | 611 | 1359 175.03/175.10 c 174s | 16 | 713862 | 142552 | 35174 7 | 611 | 1359 177.04/177.10 c 176s | 16 | 723539 | 144252 | 35174 7 | 611 | 1359 179.03/179.12 c 178s | 16 | 731296 | 145952 | 35174 7 | 611 | 1359 181.03/181.18 c 180s | 16 | 742041 | 147752 | 35174 7 | 611 | 1359 183.13/183.23 c 182s | 16 | 752639 | 149652 | 35174 7 | 611 | 1359 185.13/185.29 c 184s | 16 | 762631 | 151552 | 35174 7 | 611 | 1359 187.23/187.38 c 186s | 16 | 773304 | 153152 | 35174 7 | 611 | 1359 189.33/189.48 c 188s | 16 | 781183 | 154752 | 35174 7 | 611 | 1359 191.34/191.49 c 190s | 16 | 790555 | 156352 | 35174 8 | 611 | 1359 193.43/193.53 c 192s | 16 | 802006 | 158352 | 35174 8 | 611 | 1359 195.43/195.59 c 194s | 16 | 813348 | 160352 | 35174 8 | 611 | 1359 197.53/197.67 c 196s | 16 | 823373 | 162152 | 35174 8 | 611 | 1359 199.53/199.67 c 198s | 16 | 830806 | 163752 | 35174 8 | 611 | 1359 201.63/201.73 c 200s | 16 | 839433 | 165452 | 35174 8 | 611 | 1359 203.63/203.75 c 202s | 16 | 848303 | 167252 | 35174 8 | 611 | 1359 205.73/205.89 c 204s | 16 | 856371 | 168952 | 35174 8 | 611 | 1359 207.83/207.91 c 206s | 16 | 865211 | 170552 | 35174 8 | 611 | 1359 209.93/210.01 c 208s | 16 | 869894 | 171352 | 35174 8 | 611 | 1359 211.93/212.06 c 211s | 16 | 877535 | 172452 | 35174 8 | 611 | 1359 214.03/214.16 c 213s | 16 | 882137 | 173352 | 35174 8 | 611 | 1359 216.13/216.21 c 215s | 16 | 887714 | 174452 | 35174 8 | 611 | 1359 218.12/218.21 c 217s | 16 | 892866 | 175452 | 35174 8 | 611 | 1359 220.22/220.39 c 219s | 16 | 898140 | 176652 | 35174 9 | 611 | 1359 222.32/222.48 c 221s | 16 | 905201 | 177852 | 35174 9 | 611 | 1359 224.43/224.51 c 223s | 16 | 915639 | 179852 | 35174 9 | 611 | 1359 226.42/226.58 c 225s | 16 | 925053 | 181852 | 35174 9 | 611 | 1359 228.52/228.62 c 227s | 16 | 933959 | 183652 | 35174 9 | 611 | 1359 230.62/230.71 c 229s | 16 | 941605 | 185452 | 35174 9 | 611 | 1359 232.72/232.80 c 231s | 16 | 948491 | 187052 | 35174 9 | 611 | 1359 234.82/234.91 c 233s | 16 | 956702 | 188752 | 35174 9 | 611 | 1359 236.92/237.01 c 235s | 16 | 965938 | 190452 | 35174 9 | 611 | 1359 238.92/239.09 c 238s | 16 | 973681 | 192052 | 35174 9 | 611 | 1359 241.02/241.10 c 240s | 16 | 980501 | 193452 | 35174 9 | 611 | 1359 243.02/243.15 c 242s | 16 | 987732 | 194952 | 35174 9 | 611 | 1359 245.02/245.17 c 244s | 16 | 992821 | 195952 | 38692 10 | 611 | 1359 246.92/247.02 c 245s | 17 | 1001809 | 197432 | 38692 10 | 611 | 1359 248.92/249.03 c 248s | 17 | 1012390 | 199332 | 38692 10 | 611 | 1359 250.92/251.05 c 250s | 17 | 1020769 | 201132 | 38692 10 | 611 | 1359 253.02/253.12 c 252s | 17 | 1029284 | 202932 | 38692 10 | 611 | 1359 255.12/255.22 c 254s | 17 | 1037278 | 204732 | 38692 10 | 611 | 1359 257.61/257.78 c 256s | 17 | 1044989 | 206232 | 38692 10 | 611 | 1359 259.71/259.81 c 258s | 17 | 1052406 | 207532 | 38692 10 | 611 | 1359 261.82/261.91 c 260s | 17 | 1061176 | 209032 | 38692 10 | 611 | 1359 263.92/264.01 c 262s | 17 | 1070505 | 210732 | 38692 10 | 611 | 1359 265.91/266.01 c 264s | 17 | 1079664 | 212532 | 38692 10 | 611 | 1359 268.01/268.12 c 267s | 17 | 1087810 | 214332 | 38692 10 | 611 | 1359 270.01/270.18 c 269s | 17 | 1094410 | 215832 | 38692 10 | 611 | 1359 272.11/272.28 c 271s | 17 | 1101100 | 217232 | 38692 10 | 611 | 1359 274.21/274.32 c 273s | 17 | 1107471 | 218632 | 38692 10 | 611 | 1359 276.21/276.32 c 275s | 17 | 1112869 | 219832 | 38692 11 | 611 | 1359 278.21/278.36 c 277s | 17 | 1120627 | 221632 | 38692 11 | 611 | 1359 280.31/280.45 c 279s | 17 | 1127624 | 223332 | 38692 11 | 611 | 1359 282.31/282.45 c 281s | 17 | 1134949 | 225032 | 38692 11 | 611 | 1359 284.40/284.57 c 283s | 17 | 1142395 | 226632 | 38692 11 | 611 | 1359 286.50/286.69 c 285s | 17 | 1146378 | 227632 | 38692 11 | 611 | 1359 288.60/288.72 c 287s | 17 | 1150898 | 228432 | 38692 11 | 611 | 1359 290.70/290.81 c 289s | 17 | 1161273 | 230432 | 38692 11 | 611 | 1359 292.70/292.89 c 291s | 17 | 1171943 | 232132 | 38692 11 | 611 | 1359 294.81/294.97 c 293s | 17 | 1180714 | 234032 | 38692 11 | 611 | 1359 296.90/297.07 c 296s | 17 | 1190262 | 236032 | 38692 11 | 611 | 1359 298.90/299.09 c 298s | 17 | 1200428 | 238032 | 38692 11 | 611 | 1359 301.20/301.32 c 300s | 17 | 1201250 | 238232 | 38692 11 | 611 | 1359 303.20/303.38 c 302s | 17 | 1209754 | 239732 | 38692 11 | 611 | 1359 305.30/305.42 c 304s | 17 | 1217433 | 240932 | 38692 12 | 611 | 1359 307.30/307.43 c 306s | 17 | 1226725 | 242732 | 38692 12 | 611 | 1359 309.30/309.49 c 308s | 17 | 1236602 | 244632 | 38692 12 | 611 | 1359 311.40/311.53 c 310s | 17 | 1246819 | 246532 | 38692 12 | 611 | 1359 313.41/313.55 c 312s | 17 | 1255241 | 248332 | 38692 12 | 611 | 1359 315.40/315.59 c 314s | 17 | 1262239 | 249832 | 38692 12 | 611 | 1359 317.50/317.61 c 316s | 17 | 1273523 | 251532 | 38692 12 | 611 | 1359 319.60/319.73 c 318s | 17 | 1281898 | 253332 | 38692 12 | 611 | 1359 321.70/321.82 c 320s | 17 | 1289630 | 254932 | 38692 12 | 611 | 1359 323.79/323.93 c 322s | 17 | 1298068 | 256732 | 38692 12 | 611 | 1359 325.89/326.07 c 325s | 17 | 1308351 | 258532 | 38692 12 | 611 | 1359 327.99/328.17 c 327s | 17 | 1315648 | 260132 | 38692 12 | 611 | 1359 330.00/330.17 c 329s | 17 | 1320378 | 261432 | 38692 12 | 611 | 1359 332.10/332.24 c 331s | 17 | 1324664 | 262732 | 38692 13 | 611 | 1359 334.09/334.30 c 333s | 17 | 1330768 | 264432 | 38692 13 | 611 | 1359 336.19/336.34 c 335s | 17 | 1339198 | 266232 | 38692 13 | 611 | 1359 339.49/339.63 c 338s | 17 | 1344064 | 267232 | 38692 13 | 611 | 1359 341.49/341.66 c 340s | 17 | 1351527 | 268832 | 38692 13 | 611 | 1359 343.59/343.76 c 342s | 17 | 1361029 | 270832 | 38692 13 | 611 | 1359 345.69/345.80 c 344s | 17 | 1369818 | 272732 | 38692 13 | 611 | 1359 347.68/347.87 c 346s | 17 | 1378264 | 274432 | 38692 13 | 611 | 1359 349.69/349.87 c 348s | 17 | 1384084 | 275732 | 38692 13 | 611 | 1359 351.78/351.96 c 350s | 17 | 1389804 | 276832 | 38692 13 | 611 | 1359 353.98/354.10 c 353s | 17 | 1395829 | 278032 | 38692 13 | 611 | 1359 356.08/356.26 c 355s | 17 | 1402311 | 279232 | 38692 13 | 611 | 1359 358.08/358.28 c 357s | 17 | 1409869 | 280432 | 38692 13 | 611 | 1359 360.18/360.34 c 359s | 17 | 1416698 | 281732 | 38692 13 | 611 | 1359 362.18/362.36 c 361s | 17 | 1423004 | 283232 | 38692 13 | 611 | 1359 364.28/364.44 c 363s | 17 | 1430908 | 284832 | 38692 14 | 611 | 1359 366.28/366.45 c 365s | 17 | 1435678 | 286032 | 38692 14 | 611 | 1359 368.38/368.54 c 367s | 17 | 1445425 | 288032 | 38692 14 | 611 | 1359 370.48/370.61 c 369s | 17 | 1455603 | 289932 | 38692 14 | 611 | 1359 372.48/372.63 c 371s | 17 | 1460783 | 291032 | 38692 14 | 611 | 1359 374.58/374.71 c 373s | 17 | 1468825 | 292732 | 38692 14 | 611 | 1359 376.58/376.78 c 375s | 17 | 1477313 | 294732 | 42562 14 | 611 | 1359 378.28/378.45 c 377s | 18 | 1484616 | 296252 | 42562 14 | 611 | 1359 380.37/380.54 c 379s | 18 | 1492409 | 297752 | 42562 14 | 611 | 1359 382.47/382.64 c 381s | 18 | 1501107 | 299652 | 42562 14 | 611 | 1359 384.57/384.73 c 383s | 18 | 1507503 | 301452 | 42562 14 | 611 | 1359 386.57/386.79 c 385s | 18 | 1514283 | 303152 | 42562 14 | 611 | 1359 388.77/388.90 c 387s | 18 | 1521749 | 304952 | 42562 14 | 611 | 1359 390.87/391.02 c 389s | 18 | 1527186 | 306352 | 42562 14 | 611 | 1359 393.96/394.18 c 393s | 18 | 1532098 | 307652 | 42562 14 | 611 | 1359 396.26/396.45 c 395s | 18 | 1538012 | 309052 | 42562 15 | 611 | 1359 398.37/398.55 c 397s | 18 | 1544448 | 310552 | 42562 15 | 611 | 1359 402.66/402.87 c 401s | 18 | 1548803 | 311552 | 42562 15 | 611 | 1359 404.76/404.94 c 403s | 18 | 1556264 | 313352 | 42562 15 | 611 | 1359 406.76/406.98 c 405s | 18 | 1563973 | 315252 | 42562 15 | 611 | 1359 408.85/409.05 c 408s | 18 | 1569869 | 317052 | 42562 15 | 611 | 1359 410.85/411.06 c 410s | 18 | 1576610 | 318652 | 42562 15 | 611 | 1359 412.95/413.11 c 412s | 18 | 1581987 | 319952 | 42562 15 | 611 | 1359 414.95/415.14 c 414s | 18 | 1587301 | 321152 | 42562 15 | 611 | 1359 417.05/417.23 c 416s | 18 | 1594875 | 322852 | 42562 15 | 611 | 1359 419.06/419.26 c 418s | 18 | 1601443 | 324552 | 42562 15 | 611 | 1359 421.05/421.27 c 420s | 18 | 1609140 | 326252 | 42562 15 | 611 | 1359 423.25/423.40 c 422s | 18 | 1613833 | 327552 | 42562 15 | 611 | 1359 425.25/425.46 c 424s | 18 | 1619890 | 328852 | 42562 15 | 611 | 1359 427.35/427.54 c 426s | 18 | 1626018 | 330552 | 42562 15 | 611 | 1359 429.35/429.59 c 428s | 18 | 1632637 | 332052 | 42562 15 | 611 | 1359 431.45/431.68 c 430s | 18 | 1638387 | 333552 | 42562 16 | 611 | 1359 433.45/433.69 c 432s | 18 | 1647316 | 335452 | 42562 16 | 611 | 1359 435.55/435.75 c 434s | 18 | 1655460 | 337252 | 42562 16 | 611 | 1359 437.65/437.81 c 436s | 18 | 1664584 | 339152 | 42562 16 | 611 | 1359 439.75/439.90 c 438s | 18 | 1671249 | 340552 | 42562 16 | 611 | 1359 441.75/441.99 c 440s | 18 | 1678472 | 342152 | 42562 16 | 611 | 1359 443.85/444.08 c 443s | 18 | 1685308 | 343752 | 42562 16 | 611 | 1359 445.95/446.14 c 445s | 18 | 1691552 | 345252 | 42562 16 | 611 | 1359 448.05/448.21 c 447s | 18 | 1697715 | 346652 | 42562 16 | 611 | 1359 450.05/450.24 c 449s | 18 | 1708722 | 348452 | 42562 16 | 611 | 1359 452.15/452.33 c 451s | 18 | 1714997 | 350052 | 42562 16 | 611 | 1359 454.15/454.38 c 453s | 18 | 1722641 | 351452 | 42562 16 | 611 | 1359 456.25/456.44 c 455s | 18 | 1733736 | 353052 | 42562 16 | 611 | 1359 458.34/458.54 c 457s | 18 | 1743356 | 354652 | 42562 16 | 611 | 1359 460.34/460.57 c 459s | 18 | 1752431 | 356152 | 42562 17 | 611 | 1359 462.44/462.60 c 461s | 18 | 1761894 | 358152 | 42562 17 | 611 | 1359 464.44/464.60 c 463s | 18 | 1768651 | 359552 | 42562 17 | 611 | 1359 466.44/466.62 c 465s | 18 | 1776083 | 361352 | 42562 17 | 611 | 1359 468.45/468.63 c 467s | 18 | 1783393 | 363052 | 42562 17 | 611 | 1359 470.44/470.64 c 469s | 18 | 1790448 | 364352 | 42562 17 | 611 | 1359 472.54/472.75 c 471s | 18 | 1799214 | 366152 | 42562 17 | 611 | 1359 475.24/475.41 c 474s | 18 | 1801567 | 366852 | 42562 17 | 611 | 1359 477.24/477.44 c 476s | 18 | 1811580 | 368552 | 42562 17 | 611 | 1359 479.33/479.55 c 478s | 18 | 1819703 | 370252 | 42562 17 | 611 | 1359 481.43/481.61 c 480s | 18 | 1827366 | 371952 | 42562 17 | 611 | 1359 483.43/483.61 c 482s | 18 | 1836128 | 373552 | 42562 17 | 611 | 1359 485.53/485.70 c 484s | 18 | 1843778 | 375152 | 42562 17 | 611 | 1359 487.63/487.86 c 486s | 18 | 1851721 | 376752 | 42562 17 | 611 | 1359 489.73/489.91 c 488s | 18 | 1859454 | 378352 | 42562 17 | 611 | 1359 491.83/492.09 c 491s | 18 | 1864786 | 379652 | 42562 18 | 611 | 1359 493.93/494.16 c 493s | 18 | 1872535 | 381152 | 42562 18 | 611 | 1359 496.03/496.23 c 495s | 18 | 1882338 | 383252 | 42562 18 | 611 | 1359 498.13/498.30 c 497s | 18 | 1892424 | 385252 | 42562 18 | 611 | 1359 500.13/500.36 c 499s | 18 | 1901347 | 387052 | 42562 18 | 611 | 1359 502.23/502.44 c 501s | 18 | 1910224 | 388752 | 42562 18 | 611 | 1359 504.23/504.46 c 503s | 18 | 1918789 | 390452 | 42562 18 | 611 | 1359 506.33/506.55 c 505s | 18 | 1928515 | 392352 | 42562 18 | 611 | 1359 508.32/508.55 c 507s | 18 | 1935077 | 393852 | 42562 18 | 611 | 1359 510.42/510.64 c 509s | 18 | 1942419 | 395552 | 42562 18 | 611 | 1359 512.53/512.73 c 511s | 18 | 1949004 | 397252 | 42562 18 | 611 | 1359 514.52/514.74 c 513s | 18 | 1956898 | 398752 | 42562 18 | 611 | 1359 516.62/516.82 c 515s | 18 | 1964989 | 400252 | 42562 18 | 611 | 1359 518.72/518.91 c 517s | 18 | 1970072 | 401552 | 42562 18 | 611 | 1359 520.82/521.09 c 520s | 18 | 1975891 | 402852 | 42562 19 | 611 | 1359 522.92/523.12 c 522s | 18 | 1981804 | 404052 | 42562 19 | 611 | 1359 524.92/525.16 c 524s | 18 | 1990999 | 405752 | 42562 19 | 611 | 1359 527.02/527.20 c 526s | 18 | 2000368 | 407352 | 42562 19 | 611 | 1359 529.12/529.30 c 528s | 18 | 2008993 | 408952 | 42562 19 | 611 | 1359 531.12/531.31 c 530s | 18 | 2016235 | 410452 | 42562 19 | 611 | 1359 533.12/533.32 c 532s | 18 | 2023183 | 412052 | 42562 19 | 611 | 1359 535.12/535.33 c 534s | 18 | 2029957 | 413652 | 42562 19 | 611 | 1359 537.12/537.38 c 536s | 18 | 2036404 | 415052 | 42562 19 | 611 | 1359 539.31/539.51 c 538s | 18 | 2042382 | 416452 | 42562 19 | 611 | 1359 541.41/541.63 c 540s | 18 | 2049062 | 417752 | 42562 19 | 611 | 1359 543.51/543.78 c 542s | 18 | 2054756 | 419052 | 42562 19 | 611 | 1359 545.71/545.92 c 544s | 18 | 2059800 | 420352 | 42562 19 | 611 | 1359 547.72/547.92 c 546s | 18 | 2064502 | 421652 | 42562 19 | 611 | 1359 549.82/550.07 c 549s | 18 | 2069257 | 422952 | 42562 19 | 611 | 1359 552.12/552.33 c 551s | 18 | 2072973 | 424152 | 42562 19 | 611 | 1359 554.22/554.45 c 553s | 18 | 2079694 | 425752 | 42562 19 | 611 | 1359 557.62/557.87 c 556s | 18 | 2085056 | 426952 | 42562 20 | 611 | 1359 559.81/560.08 c 559s | 18 | 2086384 | 427252 | 42562 20 | 611 | 1359 561.91/562.12 c 561s | 18 | 2093505 | 429152 | 42562 20 | 611 | 1359 563.91/564.18 c 563s | 18 | 2100811 | 431152 | 42562 20 | 611 | 1359 566.01/566.29 c 565s | 18 | 2107927 | 433052 | 42562 20 | 611 | 1359 573.11/573.34 c 572s | 18 | 2112878 | 434452 | 42562 20 | 611 | 1359 575.11/575.37 c 574s | 18 | 2122568 | 436152 | 42562 20 | 611 | 1359 577.20/577.48 c 576s | 18 | 2126643 | 436852 | 42562 20 | 611 | 1359 579.30/579.51 c 578s | 18 | 2134061 | 438552 | 42562 20 | 611 | 1359 581.30/581.58 c 580s | 18 | 2141898 | 440152 | 42562 20 | 611 | 1359 583.40/583.60 c 582s | 18 | 2148872 | 441452 | 46819 20 | 611 | 1359 585.40/585.62 c 584s | 18 | 2155198 | 442952 | 46819 20 | 611 | 1359 587.50/587.72 c 586s | 18 | 2161352 | 444452 | 46819 20 | 611 | 1359 587.50/587.79 c 586s | 19 | 2161598 | 444482 | 46819 20 | 611 | 1359 589.70/589.93 c 588s | 19 | 2169279 | 445782 | 46819 20 | 611 | 1359 592.70/592.99 c 591s | 19 | 2176862 | 447282 | 46819 20 | 611 | 1359 594.80/595.01 c 593s | 19 | 2179991 | 447882 | 46819 20 | 611 | 1359 596.80/597.03 c 596s | 19 | 2191383 | 449782 | 46819 20 | 611 | 1359 598.90/599.18 c 598s | 19 | 2198848 | 451582 | 46819 20 | 611 | 1359 601.10/601.30 c 600s | 19 | 2205711 | 453182 | 46819 20 | 611 | 1359 603.09/603.38 c 602s | 19 | 2211848 | 454482 | 46819 21 | 611 | 1359 605.19/605.47 c 604s | 19 | 2220039 | 456082 | 46819 21 | 611 | 1359 607.29/607.51 c 606s | 19 | 2231491 | 457882 | 46819 21 | 611 | 1359 609.30/609.55 c 608s | 19 | 2236908 | 458882 | 46819 21 | 611 | 1359 611.40/611.60 c 610s | 19 | 2245678 | 460582 | 46819 21 | 611 | 1359 613.39/613.63 c 612s | 19 | 2254614 | 462282 | 46819 21 | 611 | 1359 615.39/615.66 c 614s | 19 | 2264316 | 463882 | 46819 21 | 611 | 1359 617.49/617.75 c 616s | 19 | 2273719 | 465882 | 46819 21 | 611 | 1359 619.59/619.82 c 618s | 19 | 2282265 | 467882 | 46819 21 | 611 | 1359 621.69/621.92 c 620s | 19 | 2290716 | 469582 | 46819 21 | 611 | 1359 623.69/623.96 c 622s | 19 | 2299677 | 471382 | 46819 21 | 611 | 1359 625.79/626.02 c 624s | 19 | 2309065 | 473082 | 46819 21 | 611 | 1359 627.79/628.05 c 627s | 19 | 2316567 | 474782 | 46819 21 | 611 | 1359 629.89/630.18 c 629s | 19 | 2323364 | 476482 | 46819 21 | 611 | 1359 631.98/632.24 c 631s | 19 | 2330076 | 477882 | 46819 21 | 611 | 1359 633.98/634.25 c 633s | 19 | 2337255 | 479282 | 46819 21 | 611 | 1359 635.98/636.26 c 635s | 19 | 2343162 | 480582 | 46819 22 | 611 | 1359 638.08/638.34 c 637s | 19 | 2347514 | 481582 | 46819 22 | 611 | 1359 640.18/640.43 c 639s | 19 | 2356713 | 483282 | 46819 22 | 611 | 1359 642.19/642.45 c 641s | 19 | 2366572 | 485182 | 46819 22 | 611 | 1359 644.28/644.57 c 643s | 19 | 2372675 | 486582 | 46819 22 | 611 | 1359 646.38/646.62 c 645s | 19 | 2379391 | 488182 | 46819 22 | 611 | 1359 648.38/648.65 c 647s | 19 | 2385793 | 489782 | 46819 22 | 611 | 1359 650.39/650.65 c 649s | 19 | 2394997 | 491482 | 46819 22 | 611 | 1359 652.38/652.66 c 651s | 19 | 2405147 | 493482 | 46819 22 | 611 | 1359 654.98/655.26 c 654s | 19 | 2411251 | 494882 | 46819 22 | 611 | 1359 657.08/657.33 c 656s | 19 | 2420716 | 496582 | 46819 22 | 611 | 1359 659.18/659.44 c 658s | 19 | 2429399 | 498382 | 46819 22 | 611 | 1359 661.28/661.51 c 660s | 19 | 2436981 | 500082 | 46819 22 | 611 | 1359 663.38/663.64 c 662s | 19 | 2445949 | 501782 | 46819 22 | 611 | 1359 665.48/665.73 c 664s | 19 | 2455139 | 503282 | 46819 22 | 611 | 1359 667.48/667.75 c 666s | 19 | 2463782 | 504782 | 46819 22 | 611 | 1359 669.47/669.78 c 668s | 19 | 2472053 | 506282 | 46819 23 | 611 | 1359 671.57/671.82 c 670s | 19 | 2480932 | 508082 | 46819 23 | 611 | 1359 673.57/673.83 c 672s | 19 | 2489743 | 509982 | 46819 23 | 611 | 1359 675.57/675.88 c 674s | 19 | 2498421 | 511782 | 46819 23 | 611 | 1359 677.67/677.97 c 676s | 19 | 2505568 | 513482 | 46819 23 | 611 | 1359 679.77/680.04 c 679s | 19 | 2509680 | 514482 | 46819 23 | 611 | 1359 681.77/682.05 c 681s | 19 | 2515565 | 515882 | 46819 23 | 611 | 1359 683.87/684.18 c 683s | 19 | 2524499 | 517582 | 46819 23 | 611 | 1359 685.97/686.20 c 685s | 19 | 2532059 | 519082 | 46819 23 | 611 | 1359 687.97/688.22 c 687s | 19 | 2538660 | 520482 | 46819 23 | 611 | 1359 689.97/690.28 c 689s | 19 | 2545038 | 521882 | 46819 23 | 611 | 1359 692.06/692.39 c 691s | 19 | 2551338 | 523282 | 46819 23 | 611 | 1359 694.26/694.53 c 693s | 19 | 2558386 | 524582 | 46819 23 | 611 | 1359 696.36/696.64 c 695s | 19 | 2564676 | 525882 | 46819 23 | 611 | 1359 698.46/698.73 c 697s | 19 | 2571401 | 527082 | 46819 23 | 611 | 1359 700.57/700.82 c 699s | 19 | 2575904 | 528182 | 46819 23 | 611 | 1359 702.67/702.99 c 701s | 19 | 2580726 | 529382 | 46819 23 | 611 | 1359 704.87/705.13 c 704s | 19 | 2587288 | 530582 | 46819 23 | 611 | 1359 706.86/707.16 c 706s | 19 | 2596863 | 532282 | 46819 24 | 611 | 1359 708.96/709.22 c 708s | 19 | 2606406 | 533782 | 46819 24 | 611 | 1359 711.06/711.33 c 710s | 19 | 2616426 | 535582 | 46819 24 | 611 | 1359 713.16/713.41 c 712s | 19 | 2625581 | 537382 | 46819 24 | 611 | 1359 715.26/715.51 c 714s | 19 | 2631994 | 538782 | 46819 24 | 611 | 1359 717.26/717.53 c 716s | 19 | 2638539 | 540482 | 46819 24 | 611 | 1359 720.06/720.35 c 719s | 19 | 2645242 | 541982 | 46819 24 | 611 | 1359 722.16/722.41 c 721s | 19 | 2653850 | 543482 | 46819 24 | 611 | 1359 724.26/724.56 c 723s | 19 | 2663553 | 545082 | 46819 24 | 611 | 1359 726.26/726.58 c 725s | 19 | 2672501 | 546782 | 46819 24 | 611 | 1359 728.36/728.68 c 727s | 19 | 2680896 | 548582 | 46819 24 | 611 | 1359 730.56/730.89 c 729s | 19 | 2687428 | 550082 | 46819 24 | 611 | 1359 732.75/733.06 c 732s | 19 | 2693750 | 551282 | 46819 24 | 611 | 1359 734.85/735.11 c 734s | 19 | 2700833 | 552782 | 46819 24 | 611 | 1359 736.95/737.22 c 736s | 19 | 2707338 | 554282 | 46819 24 | 611 | 1359 739.06/739.35 c 738s | 19 | 2714014 | 555782 | 46819 24 | 611 | 1359 741.16/741.41 c 740s | 19 | 2721276 | 557082 | 46819 25 | 611 | 1359 743.15/743.49 c 742s | 19 | 2727143 | 558482 | 46819 25 | 611 | 1359 745.25/745.52 c 744s | 19 | 2738142 | 560382 | 46819 25 | 611 | 1359 747.25/747.58 c 746s | 19 | 2747518 | 562082 | 46819 25 | 611 | 1359 749.35/749.66 c 748s | 19 | 2756575 | 563782 | 46819 25 | 611 | 1359 751.45/751.70 c 750s | 19 | 2764896 | 565482 | 46819 25 | 611 | 1359 753.45/753.72 c 752s | 19 | 2774400 | 567082 | 46819 25 | 611 | 1359 755.46/755.73 c 754s | 19 | 2780775 | 568282 | 46819 25 | 611 | 1359 757.45/757.78 c 756s | 19 | 2785806 | 569882 | 46819 25 | 611 | 1359 759.55/759.81 c 758s | 19 | 2790970 | 571082 | 46819 25 | 611 | 1359 761.65/761.97 c 760s | 19 | 2797283 | 572582 | 46819 25 | 611 | 1359 763.65/763.97 c 762s | 19 | 2803594 | 574182 | 46819 25 | 611 | 1359 765.85/766.13 c 765s | 19 | 2809941 | 575682 | 46819 25 | 611 | 1359 767.85/768.16 c 767s | 19 | 2816654 | 576982 | 46819 25 | 611 | 1359 769.85/770.18 c 769s | 19 | 2821682 | 578282 | 46819 25 | 611 | 1359 772.05/772.32 c 771s | 19 | 2828398 | 579782 | 46819 25 | 611 | 1359 774.15/774.42 c 773s | 19 | 2834044 | 581082 | 46819 25 | 611 | 1359 776.14/776.49 c 775s | 19 | 2838615 | 582182 | 46819 25 | 611 | 1359 778.15/778.49 c 777s | 19 | 2845178 | 583382 | 46819 26 | 611 | 1359 780.25/780.59 c 779s | 19 | 2852400 | 584982 | 46819 26 | 611 | 1359 782.35/782.64 c 781s | 19 | 2860098 | 586582 | 46819 26 | 611 | 1359 784.35/784.64 c 783s | 19 | 2868305 | 588082 | 46819 26 | 611 | 1359 786.36/786.66 c 785s | 19 | 2876033 | 589582 | 46819 26 | 611 | 1359 788.35/788.67 c 787s | 19 | 2880204 | 590482 | 46819 26 | 611 | 1359 790.45/790.71 c 789s | 19 | 2887450 | 591982 | 46819 26 | 611 | 1359 792.55/792.88 c 791s | 19 | 2893605 | 592982 | 46819 26 | 611 | 1359 794.65/794.96 c 793s | 19 | 2901617 | 594482 | 46819 26 | 611 | 1359 796.65/796.98 c 795s | 19 | 2912266 | 596382 | 46819 26 | 611 | 1359 798.75/799.05 c 798s | 19 | 2922673 | 598182 | 46819 26 | 611 | 1359 800.75/801.08 c 800s | 19 | 2931655 | 599882 | 46819 26 | 611 | 1359 802.95/803.22 c 802s | 19 | 2938924 | 601382 | 46819 26 | 611 | 1359 805.05/805.31 c 804s | 19 | 2946323 | 602982 | 46819 26 | 611 | 1359 807.05/807.33 c 806s | 19 | 2953013 | 604582 | 46819 26 | 611 | 1359 809.05/809.36 c 808s | 19 | 2958841 | 605982 | 46819 26 | 611 | 1359 811.25/811.53 c 810s | 19 | 2960110 | 606282 | 46819 26 | 611 | 1359 813.35/813.61 c 812s | 19 | 2967178 | 607582 | 46819 26 | 611 | 1359 815.35/815.69 c 814s | 19 | 2972597 | 608782 | 46819 27 | 611 | 1359 817.44/817.71 c 816s | 19 | 2980236 | 610382 | 46819 27 | 611 | 1359 819.54/819.80 c 818s | 19 | 2988919 | 612082 | 46819 27 | 611 | 1359 821.45/821.80 c 820s | 19 | 2997373 | 613582 | 46819 27 | 611 | 1359 823.54/823.89 c 822s | 19 | 3006342 | 615282 | 46819 27 | 611 | 1359 825.64/825.93 c 824s | 19 | 3013145 | 616782 | 46819 27 | 611 | 1359 827.64/827.99 c 826s | 19 | 3022342 | 618282 | 46819 27 | 611 | 1359 829.74/830.00 c 828s | 19 | 3029722 | 619882 | 46819 27 | 611 | 1359 831.74/832.02 c 831s | 19 | 3036969 | 621282 | 46819 27 | 611 | 1359 835.04/835.37 c 834s | 19 | 3039720 | 621882 | 46819 27 | 611 | 1359 837.04/837.39 c 836s | 19 | 3047833 | 623382 | 46819 27 | 611 | 1359 839.15/839.41 c 838s | 19 | 3053662 | 624982 | 46819 27 | 611 | 1359 841.25/841.53 c 840s | 19 | 3058828 | 626482 | 46819 27 | 611 | 1359 843.24/843.58 c 842s | 19 | 3064996 | 627782 | 46819 27 | 611 | 1359 845.24/845.59 c 844s | 19 | 3071108 | 629082 | 46819 27 | 611 | 1359 847.34/847.67 c 846s | 19 | 3079134 | 630682 | 46819 27 | 611 | 1359 849.34/849.67 c 848s | 19 | 3085984 | 631982 | 46819 27 | 611 | 1359 851.34/851.68 c 850s | 19 | 3091075 | 633182 | 46819 27 | 611 | 1359 853.34/853.70 c 852s | 19 | 3096746 | 634482 | 46819 28 | 611 | 1359 855.44/855.71 c 854s | 19 | 3102706 | 635782 | 46819 28 | 611 | 1359 857.44/857.72 c 856s | 19 | 3110732 | 637782 | 46819 28 | 611 | 1359 859.44/859.75 c 858s | 19 | 3121130 | 639982 | 46819 28 | 611 | 1359 861.54/861.87 c 860s | 19 | 3130341 | 642082 | 46819 28 | 611 | 1359 863.53/863.88 c 862s | 19 | 3139982 | 643982 | 46819 28 | 611 | 1359 865.63/865.91 c 864s | 19 | 3151067 | 645982 | 46819 28 | 611 | 1359 867.64/867.96 c 866s | 19 | 3160239 | 647682 | 46819 28 | 611 | 1359 869.73/870.07 c 869s | 19 | 3168187 | 649382 | 46819 28 | 611 | 1359 871.83/872.11 c 871s | 19 | 3176273 | 650882 | 46819 28 | 611 | 1359 873.93/874.26 c 873s | 19 | 3183102 | 652282 | 46819 28 | 611 | 1359 875.93/876.27 c 875s | 19 | 3188438 | 653582 | 46819 28 | 611 | 1359 878.03/878.30 c 877s | 19 | 3194312 | 655082 | 46819 28 | 611 | 1359 880.13/880.41 c 879s | 19 | 3200789 | 656682 | 46819 28 | 611 | 1359 882.13/882.48 c 881s | 19 | 3207144 | 658082 | 46819 28 | 611 | 1359 884.24/884.52 c 883s | 19 | 3212719 | 659282 | 46819 29 | 611 | 1359 886.34/886.67 c 885s | 19 | 3217923 | 660382 | 46819 29 | 611 | 1359 888.43/888.70 c 887s | 19 | 3224913 | 661882 | 51501 29 | 611 | 1359 890.43/890.75 c 889s | 19 | 3234308 | 663582 | 51501 29 | 611 | 1359 892.43/892.77 c 891s | 19 | 3243313 | 665382 | 51501 29 | 611 | 1359 894.13/894.45 c 893s | 20 | 3251714 | 666827 | 51501 29 | 611 | 1359 896.13/896.48 c 895s | 20 | 3260995 | 668127 | 51501 29 | 611 | 1359 898.23/898.56 c 897s | 20 | 3268548 | 669727 | 51501 29 | 611 | 1359 900.23/900.58 c 899s | 20 | 3277169 | 671327 | 51501 29 | 611 | 1359 902.43/902.71 c 901s | 20 | 3280690 | 672027 | 51501 29 | 611 | 1359 904.43/904.78 c 903s | 20 | 3288257 | 673527 | 51501 29 | 611 | 1359 906.53/906.88 c 905s | 20 | 3295818 | 675127 | 51501 29 | 611 | 1359 908.62/908.93 c 907s | 20 | 3300771 | 676327 | 51501 29 | 611 | 1359 911.22/911.51 c 910s | 20 | 3302794 | 676727 | 51501 29 | 611 | 1359 913.32/913.61 c 912s | 20 | 3308710 | 677927 | 51501 29 | 611 | 1359 915.42/915.72 c 914s | 20 | 3314027 | 679127 | 51501 29 | 611 | 1359 917.53/917.84 c 916s | 20 | 3318948 | 680127 | 51501 29 | 611 | 1359 919.63/919.93 c 918s | 20 | 3323705 | 681127 | 51501 29 | 611 | 1359 921.73/922.09 c 921s | 20 | 3330756 | 682327 | 51501 29 | 611 | 1359 923.84/924.18 c 923s | 20 | 3336216 | 683527 | 51501 29 | 611 | 1359 925.94/926.30 c 925s | 20 | 3342147 | 684727 | 51501 29 | 611 | 1359 928.24/928.53 c 927s | 20 | 3346102 | 685827 | 51501 29 | 611 | 1359 930.34/930.66 c 929s | 20 | 3351204 | 686927 | 51501 29 | 611 | 1359 932.43/932.80 c 931s | 20 | 3357605 | 688027 | 51501 29 | 611 | 1359 934.63/934.95 c 933s | 20 | 3362447 | 688927 | 51501 29 | 611 | 1359 936.73/937.06 c 936s | 20 | 3367118 | 689927 | 51501 30 | 611 | 1359 938.73/939.07 c 938s | 20 | 3374204 | 691427 | 51501 30 | 611 | 1359 940.83/941.14 c 940s | 20 | 3380500 | 692827 | 51501 30 | 611 | 1359 942.93/943.20 c 942s | 20 | 3387110 | 694227 | 51501 30 | 611 | 1359 944.93/945.23 c 944s | 20 | 3394935 | 695927 | 51501 30 | 611 | 1359 947.03/947.31 c 946s | 20 | 3402717 | 697527 | 51501 30 | 611 | 1359 949.13/949.43 c 948s | 20 | 3412315 | 699127 | 51501 30 | 612 | 2110 951.23/951.57 c 950s | 20 | 3419456 | 700727 | 51501 30 | 612 | 2110 953.33/953.65 c 952s | 20 | 3427711 | 702327 | 51501 30 | 612 | 2110 955.32/955.68 c 954s | 20 | 3434918 | 703827 | 51501 30 | 612 | 2110 957.42/957.75 c 956s | 20 | 3442026 | 705327 | 51501 30 | 612 | 2110 959.42/959.78 c 958s | 20 | 3448162 | 706827 | 51501 30 | 612 | 2110 961.52/961.87 c 960s | 20 | 3454127 | 708227 | 51501 30 | 612 | 2110 965.02/965.35 c 964s | 20 | 3459395 | 709327 | 51501 30 | 612 | 2110 967.12/967.47 c 966s | 20 | 3465842 | 710727 | 51501 30 | 612 | 2110 969.12/969.48 c 968s | 20 | 3470050 | 711627 | 51501 30 | 612 | 2110 971.13/971.49 c 970s | 20 | 3478618 | 713227 | 51501 30 | 612 | 2110 973.12/973.50 c 972s | 20 | 3490495 | 715427 | 51501 30 | 612 | 2110 975.32/975.68 c 974s | 20 | 3497877 | 717327 | 51501 31 | 612 | 2110 977.32/977.69 c 976s | 20 | 3505416 | 718927 | 51501 31 | 612 | 2110 979.42/979.71 c 978s | 20 | 3517484 | 721627 | 51501 31 | 612 | 2110 981.41/981.78 c 980s | 20 | 3528753 | 724127 | 51501 31 | 612 | 2110 983.51/983.84 c 982s | 20 | 3541011 | 726527 | 51501 31 | 612 | 2110 985.51/985.88 c 984s | 20 | 3550682 | 728527 | 51501 31 | 612 | 2110 987.62/987.95 c 986s | 20 | 3556744 | 730427 | 51501 31 | 612 | 2110 989.72/990.04 c 989s | 20 | 3563525 | 732227 | 51501 31 | 612 | 2110 991.81/992.13 c 991s | 20 | 3572711 | 734227 | 51501 31 | 612 | 2110 993.81/994.18 c 993s | 20 | 3578796 | 735627 | 51501 31 | 612 | 2110 995.91/996.23 c 995s | 20 | 3584992 | 737327 | 51501 31 | 612 | 2110 997.91/998.29 c 997s | 20 | 3592172 | 739127 | 51501 31 | 612 | 2110 1000.01/1000.34 c 999s | 20 | 3603621 | 741027 | 51501 31 | 612 | 2110 1002.01/1002.38 c 1001s | 20 | 3613338 | 742927 | 51501 31 | 612 | 2110 1004.21/1004.51 c 1003s | 20 | 3620016 | 744627 | 51501 31 | 612 | 2110 1006.22/1006.52 c 1005s | 20 | 3625957 | 745927 | 51501 32 | 612 | 2110 1008.31/1008.65 c 1007s | 20 | 3633080 | 747527 | 51501 32 | 612 | 2110 1010.41/1010.71 c 1009s | 20 | 3639078 | 748927 | 51501 32 | 612 | 2110 1012.51/1012.80 c 1011s | 20 | 3643649 | 750127 | 51501 32 | 612 | 2110 1014.51/1014.87 c 1013s | 20 | 3650222 | 751627 | 51501 32 | 612 | 2110 1016.71/1017.00 c 1015s | 20 | 3655521 | 753127 | 51501 32 | 612 | 2110 1019.31/1019.66 c 1018s | 20 | 3658431 | 754127 | 51501 32 | 612 | 2110 1021.42/1021.72 c 1020s | 20 | 3662589 | 755227 | 51501 32 | 612 | 2110 1023.42/1023.75 c 1022s | 20 | 3672138 | 756927 | 51501 32 | 612 | 2110 1025.42/1025.76 c 1024s | 20 | 3681270 | 758527 | 51501 32 | 612 | 2110 1027.41/1027.76 c 1026s | 20 | 3687171 | 760027 | 51501 32 | 612 | 2110 1029.42/1029.77 c 1028s | 20 | 3693070 | 761527 | 51501 32 | 612 | 2110 1031.52/1031.90 c 1030s | 20 | 3699010 | 763127 | 51501 32 | 612 | 2110 1033.61/1033.91 c 1032s | 20 | 3704495 | 764427 | 51501 32 | 612 | 2110 1035.61/1035.93 c 1034s | 20 | 3708771 | 765527 | 51501 32 | 612 | 2110 1037.71/1038.02 c 1036s | 20 | 3713821 | 766827 | 51501 32 | 612 | 2110 1039.81/1040.14 c 1039s | 20 | 3718219 | 768127 | 51501 32 | 612 | 2110 1041.81/1042.16 c 1041s | 20 | 3725100 | 769427 | 51501 32 | 612 | 2110 1044.01/1044.30 c 1043s | 20 | 3731695 | 770927 | 51501 32 | 612 | 2110 1046.01/1046.39 c 1045s | 20 | 3737865 | 772327 | 51501 32 | 612 | 2110 1048.31/1048.61 c 1047s | 20 | 3742304 | 773427 | 51501 33 | 612 | 2110 1050.31/1050.64 c 1049s | 20 | 3744390 | 773927 | 51501 33 | 612 | 2110 1052.31/1052.68 c 1051s | 20 | 3749304 | 775227 | 51501 33 | 612 | 2110 1054.41/1054.74 c 1053s | 20 | 3756179 | 776927 | 51501 33 | 612 | 2110 1056.41/1056.77 c 1055s | 20 | 3762355 | 778527 | 51501 33 | 612 | 2110 1058.51/1058.85 c 1057s | 20 | 3768037 | 780127 | 51501 33 | 612 | 2110 1060.60/1060.95 c 1059s | 20 | 3774894 | 781927 | 51501 33 | 612 | 2110 1062.70/1063.00 c 1061s | 20 | 3781094 | 783527 | 51501 33 | 612 | 2110 1064.80/1065.15 c 1064s | 20 | 3789806 | 785127 | 51501 33 | 612 | 2110 1066.90/1067.27 c 1066s | 20 | 3799357 | 786827 | 51501 33 | 612 | 2110 1068.91/1069.29 c 1068s | 20 | 3806764 | 788327 | 51501 33 | 612 | 2110 1071.00/1071.32 c 1070s | 20 | 3814193 | 789827 | 51501 33 | 612 | 2110 1073.10/1073.45 c 1072s | 20 | 3822120 | 791327 | 51501 33 | 612 | 2110 1075.20/1075.56 c 1074s | 20 | 3831773 | 793227 | 51501 33 | 612 | 2110 1077.30/1077.65 c 1076s | 20 | 3839331 | 794727 | 51501 33 | 612 | 2110 1079.40/1079.70 c 1078s | 20 | 3847276 | 796327 | 51501 33 | 612 | 2110 1081.40/1081.71 c 1080s | 20 | 3854041 | 797727 | 51501 33 | 612 | 2110 1083.50/1083.82 c 1082s | 20 | 3861393 | 799027 | 51501 33 | 612 | 2110 1085.51/1085.82 c 1084s | 20 | 3867629 | 800327 | 51501 33 | 612 | 2110 1087.50/1087.83 c 1086s | 20 | 3873823 | 801727 | 51501 34 | 612 | 2110 1089.50/1089.85 c 1088s | 20 | 3884647 | 803627 | 51501 34 | 612 | 2110 1091.60/1091.96 c 1090s | 20 | 3896845 | 805827 | 51501 34 | 612 | 2110 1093.70/1094.07 c 1093s | 20 | 3904299 | 807627 | 51501 34 | 612 | 2110 1095.80/1096.14 c 1095s | 20 | 3911573 | 809327 | 51501 34 | 612 | 2110 1097.90/1098.22 c 1097s | 20 | 3919658 | 811027 | 51501 34 | 612 | 2110 1100.00/1100.34 c 1099s | 20 | 3928100 | 812627 | 51501 34 | 612 | 2110 1102.10/1102.41 c 1101s | 20 | 3934936 | 814327 | 51501 34 | 612 | 2110 1104.10/1104.47 c 1103s | 20 | 3940079 | 815627 | 51501 34 | 612 | 2110 1106.19/1106.52 c 1105s | 20 | 3946349 | 816927 | 51501 34 | 612 | 2110 1108.29/1108.63 c 1107s | 20 | 3951612 | 818127 | 51501 34 | 612 | 2110 1110.29/1110.65 c 1109s | 20 | 3957359 | 819227 | 51501 34 | 612 | 2110 1112.39/1112.72 c 1111s | 20 | 3964149 | 820527 | 51501 34 | 612 | 2110 1114.49/1114.84 c 1113s | 20 | 3970458 | 821427 | 51501 34 | 612 | 2110 1116.49/1116.86 c 1115s | 20 | 3977305 | 822727 | 51501 34 | 612 | 2110 1118.59/1118.96 c 1117s | 20 | 3984362 | 823927 | 51501 34 | 612 | 2110 1120.70/1121.04 c 1120s | 20 | 3990198 | 825027 | 51501 34 | 612 | 2110 1122.80/1123.17 c 1122s | 20 | 3994734 | 826027 | 51501 34 | 612 | 2110 1124.89/1125.22 c 1124s | 20 | 4001239 | 827127 | 51501 34 | 612 | 2110 1128.90/1129.28 c 1128s | 20 | 4005114 | 827927 | 51501 34 | 612 | 2110 1131.10/1131.42 c 1130s | 20 | 4011228 | 829127 | 51501 34 | 612 | 2110 1133.10/1133.47 c 1132s | 20 | 4017996 | 830227 | 51501 35 | 612 | 2110 1135.20/1135.53 c 1134s | 20 | 4025222 | 831827 | 51501 35 | 612 | 2110 1137.30/1137.68 c 1136s | 20 | 4033489 | 833227 | 51501 35 | 612 | 2110 1139.40/1139.75 c 1138s | 20 | 4040517 | 834727 | 51501 35 | 612 | 2110 1141.40/1141.78 c 1140s | 20 | 4046392 | 836227 | 51501 35 | 612 | 2110 1144.99/1145.34 c 1144s | 20 | 4048268 | 836627 | 51501 35 | 612 | 2110 1146.99/1147.35 c 1146s | 20 | 4052947 | 837527 | 51501 35 | 612 | 2110 1149.09/1149.45 c 1148s | 20 | 4058914 | 838827 | 51501 35 | 612 | 2110 1151.09/1151.49 c 1150s | 20 | 4065003 | 840327 | 51501 35 | 612 | 2110 1153.29/1153.62 c 1152s | 20 | 4069860 | 841627 | 51501 35 | 612 | 2110 1155.29/1155.64 c 1154s | 20 | 4074743 | 843027 | 51501 35 | 612 | 2110 1157.39/1157.76 c 1156s | 20 | 4080534 | 844327 | 51501 35 | 612 | 2110 1159.69/1160.07 c 1159s | 20 | 4085249 | 845427 | 51501 35 | 612 | 2110 1161.79/1162.15 c 1161s | 20 | 4093204 | 847027 | 51501 35 | 612 | 2110 1163.89/1164.20 c 1163s | 20 | 4100663 | 848527 | 51501 35 | 612 | 2110 1165.89/1166.28 c 1165s | 20 | 4104959 | 849627 | 51501 35 | 612 | 2110 1168.09/1168.45 c 1167s | 20 | 4109728 | 850827 | 51501 35 | 612 | 2110 1170.29/1170.61 c 1169s | 20 | 4114355 | 851827 | 51501 35 | 612 | 2110 1172.39/1172.75 c 1171s | 20 | 4119811 | 853027 | 51501 35 | 612 | 2110 1174.49/1174.88 c 1173s | 20 | 4124373 | 854127 | 51501 35 | 612 | 2110 1176.58/1176.93 c 1175s | 20 | 4129776 | 855227 | 51501 35 | 612 | 2110 1178.78/1179.11 c 1178s | 20 | 4135391 | 856227 | 51501 35 | 612 | 2110 1180.78/1181.14 c 1180s | 20 | 4140209 | 857127 | 51501 36 | 612 | 2110 1182.78/1183.17 c 1182s | 20 | 4147049 | 858427 | 51501 36 | 612 | 2110 1184.88/1185.22 c 1184s | 20 | 4156513 | 860227 | 51501 36 | 612 | 2110 1186.88/1187.22 c 1186s | 20 | 4165121 | 862227 | 51501 36 | 612 | 2110 1188.98/1189.31 c 1188s | 20 | 4174013 | 864127 | 51501 36 | 612 | 2110 1190.99/1191.40 c 1190s | 20 | 4182000 | 865727 | 51501 36 | 612 | 2110 1193.08/1193.45 c 1192s | 20 | 4189123 | 867127 | 51501 36 | 612 | 2110 1195.18/1195.51 c 1194s | 20 | 4195695 | 868727 | 51501 36 | 612 | 2110 1197.28/1197.60 c 1196s | 20 | 4201850 | 870227 | 51501 36 | 612 | 2110 1199.28/1199.63 c 1198s | 20 | 4209845 | 871727 | 51501 36 | 612 | 2110 1201.38/1201.74 c 1200s | 20 | 4219001 | 873527 | 51501 36 | 612 | 2110 1203.59/1203.94 c 1202s | 20 | 4223996 | 874627 | 51501 36 | 612 | 2110 1205.69/1206.03 c 1205s | 20 | 4229853 | 876227 | 51501 36 | 612 | 2110 1207.79/1208.13 c 1207s | 20 | 4235207 | 877827 | 51501 36 | 612 | 2110 1209.89/1210.28 c 1209s | 20 | 4239666 | 879127 | 51501 36 | 612 | 2110 1211.99/1212.40 c 1211s | 20 | 4243973 | 880327 | 51501 36 | 612 | 2110 1214.09/1214.45 c 1213s | 20 | 4248514 | 881527 | 51501 36 | 612 | 2110 1216.18/1216.50 c 1215s | 20 | 4252891 | 882627 | 51501 36 | 612 | 2110 1218.28/1218.60 c 1217s | 20 | 4256683 | 883627 | 51501 36 | 612 | 2110 1220.28/1220.60 c 1219s | 20 | 4259800 | 884527 | 51501 36 | 612 | 2110 1222.48/1222.85 c 1221s | 20 | 4262566 | 885227 | 51501 37 | 612 | 2110 1224.68/1225.00 c 1223s | 20 | 4265644 | 886127 | 51501 37 | 612 | 2110 1226.68/1227.09 c 1226s | 20 | 4270885 | 887627 | 51501 37 | 612 | 2110 1228.78/1229.11 c 1228s | 20 | 4275125 | 888827 | 51501 37 | 612 | 2110 1230.88/1231.20 c 1230s | 20 | 4281565 | 890527 | 51501 37 | 612 | 2110 1232.98/1233.30 c 1232s | 20 | 4287656 | 892427 | 51501 37 | 612 | 2110 1234.98/1235.33 c 1234s | 20 | 4292230 | 893827 | 51501 37 | 612 | 2110 1236.98/1237.37 c 1236s | 20 | 4298033 | 895627 | 51501 37 | 612 | 2110 1238.98/1239.37 c 1238s | 20 | 4304633 | 897327 | 51501 37 | 612 | 2110 1241.18/1241.51 c 1240s | 20 | 4310191 | 898727 | 51501 37 | 612 | 2110 1243.18/1243.59 c 1242s | 20 | 4315601 | 900027 | 51501 37 | 612 | 2110 1245.38/1245.71 c 1244s | 20 | 4318185 | 900727 | 51501 37 | 612 | 2110 1247.38/1247.72 c 1246s | 20 | 4324042 | 902227 | 51501 37 | 612 | 2110 1249.38/1249.76 c 1248s | 20 | 4329239 | 903527 | 51501 37 | 612 | 2110 1251.38/1251.76 c 1250s | 20 | 4334317 | 904827 | 51501 37 | 612 | 2110 1253.37/1253.76 c 1252s | 20 | 4339529 | 906227 | 51501 37 | 612 | 2110 1255.37/1255.77 c 1254s | 20 | 4343660 | 907427 | 51501 37 | 612 | 2110 1257.57/1257.91 c 1256s | 20 | 4348283 | 908827 | 51501 37 | 612 | 2110 1259.67/1260.01 c 1258s | 20 | 4352400 | 910227 | 51501 37 | 612 | 2110 1261.77/1262.14 c 1261s | 20 | 4356736 | 911527 | 51501 37 | 612 | 2110 1263.87/1264.27 c 1263s | 20 | 4360989 | 912927 | 51501 37 | 612 | 2110 1266.37/1266.72 c 1265s | 20 | 4363643 | 913827 | 51501 38 | 612 | 2110 1268.47/1268.80 c 1267s | 20 | 4370302 | 915627 | 51501 38 | 612 | 2110 1270.47/1270.85 c 1269s | 20 | 4377957 | 917527 | 51501 38 | 612 | 2110 1272.57/1272.92 c 1271s | 20 | 4383639 | 919227 | 51501 38 | 612 | 2110 1274.68/1275.02 c 1273s | 20 | 4392010 | 921227 | 51501 38 | 612 | 2110 1276.77/1277.13 c 1276s | 20 | 4400855 | 923327 | 51501 38 | 612 | 2110 1278.87/1279.24 c 1278s | 20 | 4407950 | 925227 | 51501 38 | 612 | 2110 1280.87/1281.27 c 1280s | 20 | 4414184 | 926827 | 51501 38 | 612 | 2110 1282.87/1283.29 c 1282s | 20 | 4421263 | 928727 | 51501 38 | 612 | 2110 1285.07/1285.41 c 1284s | 20 | 4426925 | 930427 | 51501 38 | 612 | 2110 1287.17/1287.50 c 1286s | 20 | 4431837 | 931927 | 51501 38 | 612 | 2110 1289.97/1290.39 c 1289s | 20 | 4435400 | 933027 | 51501 38 | 612 | 2110 1292.07/1292.48 c 1291s | 20 | 4438399 | 933727 | 51501 38 | 612 | 2110 1294.27/1294.62 c 1293s | 20 | 4440512 | 934127 | 51501 38 | 612 | 2110 1296.27/1296.69 c 1295s | 20 | 4448597 | 935427 | 51501 38 | 612 | 2110 1298.47/1298.81 c 1297s | 20 | 4455124 | 936727 | 51501 38 | 612 | 2110 1300.47/1300.87 c 1299s | 20 | 4460084 | 937827 | 51501 38 | 612 | 2110 1302.57/1302.92 c 1301s | 20 | 4465088 | 938927 | 51501 38 | 612 | 2110 1304.57/1304.98 c 1303s | 20 | 4469989 | 939927 | 51501 38 | 612 | 2110 1306.67/1307.06 c 1306s | 20 | 4476745 | 941127 | 51501 38 | 612 | 2110 1308.67/1309.07 c 1308s | 20 | 4480924 | 942127 | 51501 39 | 612 | 2110 1310.97/1311.39 c 1310s | 20 | 4485888 | 943127 | 51501 39 | 612 | 2110 1313.07/1313.45 c 1312s | 20 | 4493012 | 944827 | 51501 39 | 612 | 2110 1315.17/1315.54 c 1314s | 20 | 4501984 | 946527 | 51501 39 | 612 | 2110 1317.27/1317.65 c 1316s | 20 | 4511144 | 948227 | 51501 39 | 612 | 2110 1319.37/1319.72 c 1318s | 20 | 4518515 | 949727 | 51501 39 | 612 | 2110 1321.37/1321.74 c 1320s | 20 | 4522230 | 950727 | 51501 39 | 612 | 2110 1323.36/1323.74 c 1322s | 20 | 4529860 | 952227 | 51501 39 | 612 | 2110 1325.46/1325.86 c 1324s | 20 | 4536870 | 953627 | 51501 39 | 612 | 2110 1327.47/1327.89 c 1326s | 20 | 4543571 | 955027 | 51501 39 | 612 | 2110 1329.46/1329.90 c 1328s | 20 | 4551550 | 956427 | 51501 39 | 612 | 2110 1331.66/1332.06 c 1331s | 20 | 4557073 | 957727 | 51501 39 | 612 | 2110 1333.86/1334.20 c 1333s | 20 | 4565912 | 959127 | 51501 39 | 612 | 2110 1335.96/1336.32 c 1335s | 20 | 4571916 | 960527 | 51501 39 | 612 | 2110 1337.96/1338.39 c 1337s | 20 | 4580523 | 961927 | 51501 39 | 612 | 2110 1340.16/1340.55 c 1339s | 20 | 4585925 | 963127 | 51501 39 | 612 | 2110 1342.26/1342.65 c 1341s | 20 | 4593467 | 964527 | 51501 39 | 612 | 2110 1344.36/1344.77 c 1343s | 20 | 4601502 | 965927 | 51501 39 | 612 | 2110 1346.46/1346.80 c 1345s | 20 | 4607713 | 967227 | 51501 39 | 612 | 2110 1348.46/1348.82 c 1347s | 20 | 4615799 | 968527 | 51501 39 | 612 | 2110 1350.57/1350.91 c 1349s | 20 | 4622522 | 970027 | 51501 40 | 612 | 2110 1352.56/1352.95 c 1351s | 20 | 4632386 | 971927 | 51501 40 | 612 | 2110 1354.56/1354.97 c 1353s | 20 | 4642196 | 973727 | 51501 40 | 612 | 2110 1356.66/1357.02 c 1355s | 20 | 4653392 | 975827 | 51501 40 | 612 | 2110 1358.66/1359.03 c 1358s | 20 | 4663942 | 977827 | 51501 40 | 612 | 2110 1360.76/1361.11 c 1360s | 20 | 4677435 | 979927 | 51501 40 | 612 | 2110 1362.76/1363.14 c 1362s | 20 | 4688239 | 981727 | 51501 40 | 612 | 2110 1364.76/1365.16 c 1364s | 20 | 4697479 | 983427 | 51501 40 | 612 | 2110 1366.76/1367.19 c 1366s | 20 | 4705721 | 985027 | 51501 40 | 612 | 2110 1368.96/1369.35 c 1368s | 20 | 4709326 | 985727 | 51501 40 | 612 | 2110 1370.96/1371.38 c 1370s | 20 | 4716592 | 987227 | 51501 40 | 612 | 2110 1373.06/1373.45 c 1372s | 20 | 4723791 | 988627 | 51501 40 | 612 | 2110 1375.05/1375.47 c 1374s | 20 | 4731679 | 990127 | 51501 40 | 612 | 2110 1377.25/1377.60 c 1376s | 20 | 4739630 | 991627 | 51501 40 | 612 | 2110 1379.25/1379.63 c 1378s | 20 | 4748375 | 993127 | 56652 40 | 612 | 2110 1381.36/1381.72 c 1380s | 20 | 4756009 | 994627 | 56652 40 | 612 | 2110 1383.35/1383.79 c 1382s | 20 | 4763770 | 996227 | 56652 40 | 612 | 2110 1385.55/1385.94 c 1384s | 20 | 4770457 | 997627 | 56652 40 | 612 | 2110 1387.55/1387.95 c 1386s | 20 | 4776818 | 998927 | 56652 40 | 612 | 2110 1389.65/1390.00 c 1388s | 20 | 4783513 | 1000327 | 56652 40 | 612 | 2110 1389.65/1390.03 c 1389s | 21 | 4783599 | 1000345 | 56652 40 | 612 | 2110 1392.16/1392.53 c 1391s | 21 | 4785985 | 1000445 | 56652 41 | 612 | 2110 1394.26/1394.69 c 1393s | 21 | 4789947 | 1001145 | 56652 41 | 612 | 2110 1396.36/1396.79 c 1395s | 21 | 4801366 | 1003045 | 56652 41 | 612 | 2110 1398.35/1398.80 c 1397s | 21 | 4812632 | 1004945 | 56652 41 | 612 | 2110 1400.45/1400.87 c 1399s | 21 | 4823219 | 1006945 | 56652 41 | 612 | 2110 1402.45/1402.89 c 1401s | 21 | 4830641 | 1008645 | 56652 41 | 612 | 2110 1404.55/1404.97 c 1403s | 21 | 4837831 | 1010045 | 56652 41 | 612 | 2110 1406.56/1406.97 c 1405s | 21 | 4845927 | 1011645 | 56652 41 | 612 | 2110 1408.65/1409.02 c 1407s | 21 | 4853849 | 1013145 | 56652 41 | 612 | 2110 1410.65/1411.09 c 1410s | 21 | 4861682 | 1014745 | 56652 41 | 612 | 2110 1412.85/1413.23 c 1412s | 21 | 4869950 | 1016245 | 56652 41 | 612 | 2110 1414.85/1415.25 c 1414s | 21 | 4876790 | 1017745 | 56652 41 | 612 | 2110 1416.85/1417.25 c 1416s | 21 | 4883129 | 1019045 | 56652 41 | 612 | 2110 1418.85/1419.27 c 1418s | 21 | 4890121 | 1020445 | 56652 41 | 612 | 2110 1420.86/1421.29 c 1420s | 21 | 4897500 | 1021845 | 56652 41 | 612 | 2110 1422.95/1423.36 c 1422s | 21 | 4904506 | 1023345 | 56652 41 | 612 | 2110 1424.95/1425.37 c 1424s | 21 | 4909812 | 1024545 | 56652 41 | 612 | 2110 1430.25/1430.67 c 1429s | 21 | 4917716 | 1026045 | 56652 41 | 612 | 2110 1432.45/1432.80 c 1431s | 21 | 4924781 | 1027345 | 56652 41 | 612 | 2110 1434.45/1434.84 c 1433s | 21 | 4931772 | 1028745 | 56652 41 | 612 | 2110 1436.55/1436.97 c 1435s | 21 | 4935869 | 1029445 | 56652 41 | 612 | 2110 1438.65/1439.07 c 1438s | 21 | 4940456 | 1030245 | 56652 41 | 612 | 2110 1440.65/1441.07 c 1440s | 21 | 4948453 | 1031745 | 56652 42 | 612 | 2110 1443.15/1443.56 c 1442s | 21 | 4951852 | 1032345 | 56652 42 | 612 | 2110 1445.15/1445.57 c 1444s | 21 | 4958908 | 1033745 | 56652 42 | 612 | 2110 1447.25/1447.67 c 1446s | 21 | 4966652 | 1035245 | 56652 42 | 612 | 2110 1449.25/1449.67 c 1448s | 21 | 4974428 | 1036945 | 56652 42 | 612 | 2110 1451.25/1451.69 c 1450s | 21 | 4982944 | 1038445 | 56652 42 | 612 | 2110 1453.35/1453.71 c 1452s | 21 | 4991519 | 1040045 | 56652 42 | 612 | 2110 1455.44/1455.81 c 1454s | 21 | 4999037 | 1041545 | 56652 42 | 612 | 2110 1457.44/1457.82 c 1456s | 21 | 5008006 | 1043145 | 56652 42 | 612 | 2110 1459.54/1459.96 c 1458s | 21 | 5016271 | 1044645 | 56652 42 | 612 | 2110 1461.55/1462.00 c 1460s | 21 | 5024150 | 1046145 | 56652 42 | 612 | 2110 1463.75/1464.14 c 1463s | 21 | 5030567 | 1047445 | 56652 42 | 612 | 2110 1465.84/1466.23 c 1465s | 21 | 5039023 | 1048945 | 56652 42 | 612 | 2110 1467.84/1468.28 c 1467s | 21 | 5046190 | 1050445 | 56652 42 | 612 | 2110 1469.94/1470.36 c 1469s | 21 | 5054316 | 1051845 | 56652 42 | 612 | 2110 1471.94/1472.39 c 1471s | 21 | 5064425 | 1053345 | 56652 42 | 612 | 2110 1474.14/1474.51 c 1473s | 21 | 5072342 | 1055045 | 56652 42 | 612 | 2110 1476.14/1476.54 c 1475s | 21 | 5080263 | 1056545 | 56652 42 | 612 | 2110 1478.24/1478.67 c 1477s | 21 | 5084941 | 1057745 | 56652 42 | 612 | 2110 1480.25/1480.68 c 1479s | 21 | 5092719 | 1059045 | 56652 42 | 612 | 2110 1482.24/1482.69 c 1481s | 21 | 5098954 | 1060245 | 56652 42 | 612 | 2110 1484.44/1484.83 c 1483s | 21 | 5105168 | 1061545 | 56652 42 | 612 | 2110 1486.44/1486.88 c 1485s | 21 | 5111229 | 1062745 | 56652 43 | 612 | 2110 1489.64/1490.04 c 1489s | 21 | 5118002 | 1064245 | 56652 43 | 612 | 2110 1491.74/1492.10 c 1491s | 21 | 5124930 | 1065745 | 56652 43 | 612 | 2110 1493.74/1494.18 c 1493s | 21 | 5133045 | 1067445 | 56652 43 | 612 | 2110 1495.84/1496.26 c 1495s | 21 | 5143860 | 1069245 | 56652 43 | 612 | 2110 1497.95/1498.37 c 1497s | 21 | 5152477 | 1070845 | 56652 43 | 612 | 2110 1500.05/1500.40 c 1499s | 21 | 5157436 | 1072245 | 56652 43 | 612 | 2110 1502.14/1502.50 c 1501s | 21 | 5165206 | 1073845 | 56652 43 | 612 | 2110 1504.14/1504.58 c 1503s | 21 | 5173881 | 1075445 | 56652 43 | 612 | 2110 1506.34/1506.70 c 1505s | 21 | 5177523 | 1076245 | 56652 43 | 612 | 2110 1508.44/1508.86 c 1507s | 21 | 5182785 | 1077445 | 56652 43 | 612 | 2110 1511.24/1511.63 c 1510s | 21 | 5185323 | 1078045 | 56652 43 | 612 | 2110 1513.34/1513.75 c 1512s | 21 | 5191456 | 1079445 | 56652 43 | 612 | 2110 1515.44/1515.87 c 1514s | 21 | 5196743 | 1080845 | 56652 43 | 612 | 2110 1517.54/1517.95 c 1516s | 21 | 5199372 | 1081345 | 56652 43 | 612 | 2110 1519.64/1520.00 c 1518s | 21 | 5205794 | 1082745 | 56652 43 | 612 | 2110 1521.64/1522.04 c 1521s | 21 | 5211636 | 1084045 | 56652 43 | 612 | 2110 1523.64/1524.07 c 1523s | 21 | 5218471 | 1085245 | 56652 43 | 612 | 2110 1525.74/1526.18 c 1525s | 21 | 5225301 | 1086545 | 56652 43 | 612 | 2110 1527.84/1528.21 c 1527s | 21 | 5231222 | 1087845 | 56652 43 | 612 | 2110 1529.84/1530.29 c 1529s | 21 | 5238700 | 1089145 | 56652 43 | 612 | 2110 1531.94/1532.35 c 1531s | 21 | 5245054 | 1090445 | 56652 43 | 612 | 2110 1534.14/1534.55 c 1533s | 21 | 5250671 | 1091645 | 56652 43 | 612 | 2110 1536.13/1536.57 c 1535s | 21 | 5255834 | 1092845 | 56652 43 | 612 | 2110 1539.23/1539.66 c 1538s | 21 | 5262210 | 1094245 | 56652 44 | 612 | 2110 1541.23/1541.68 c 1540s | 21 | 5271767 | 1096145 | 56652 44 | 612 | 2110 1543.43/1543.81 c 1542s | 21 | 5280323 | 1098045 | 56652 44 | 612 | 2110 1545.53/1545.93 c 1544s | 21 | 5285959 | 1099645 | 56652 44 | 612 | 2110 1547.53/1547.97 c 1546s | 21 | 5294218 | 1101345 | 56652 44 | 612 | 2110 1549.64/1550.03 c 1549s | 21 | 5300365 | 1102945 | 56652 44 | 612 | 2110 1552.73/1553.12 c 1552s | 21 | 5305262 | 1104045 | 56652 44 | 612 | 2110 1554.83/1555.26 c 1554s | 21 | 5312322 | 1105545 | 56652 44 | 612 | 2110 1556.83/1557.29 c 1556s | 21 | 5317744 | 1106745 | 56652 44 | 612 | 2110 1558.93/1559.33 c 1558s | 21 | 5324222 | 1108145 | 56652 44 | 612 | 2110 1561.03/1561.40 c 1560s | 21 | 5330648 | 1109645 | 56652 44 | 612 | 2110 1563.03/1563.48 c 1562s | 21 | 5336246 | 1111145 | 56652 44 | 612 | 2110 1565.13/1565.52 c 1564s | 21 | 5342635 | 1112545 | 56652 44 | 612 | 2110 1567.23/1567.64 c 1566s | 21 | 5349292 | 1113945 | 56652 44 | 612 | 2110 1569.33/1569.77 c 1568s | 21 | 5356180 | 1115445 | 56652 44 | 612 | 2110 1571.33/1571.79 c 1570s | 21 | 5360890 | 1116645 | 56652 44 | 612 | 2110 1573.52/1573.93 c 1572s | 21 | 5366289 | 1117845 | 56652 44 | 612 | 2110 1575.72/1576.10 c 1575s | 21 | 5371551 | 1119245 | 56652 44 | 612 | 2110 1577.82/1578.28 c 1577s | 21 | 5377129 | 1120545 | 56652 44 | 612 | 2110 1579.82/1580.29 c 1579s | 21 | 5382488 | 1121745 | 56652 44 | 612 | 2110 1581.92/1582.34 c 1581s | 21 | 5387402 | 1123045 | 56652 44 | 612 | 2110 1584.02/1584.43 c 1583s | 21 | 5390159 | 1123645 | 56652 45 | 612 | 2110 1586.02/1586.45 c 1585s | 21 | 5396577 | 1125145 | 56652 45 | 612 | 2110 1588.13/1588.57 c 1587s | 21 | 5406450 | 1127045 | 56652 45 | 612 | 2110 1590.24/1590.64 c 1589s | 21 | 5409863 | 1127745 | 56652 45 | 612 | 2110 1592.33/1592.71 c 1591s | 21 | 5418644 | 1129445 | 56652 45 | 612 | 2110 1594.43/1594.82 c 1593s | 21 | 5427573 | 1131245 | 56652 45 | 612 | 2110 1596.43/1596.87 c 1595s | 21 | 5435933 | 1132945 | 56652 45 | 612 | 2110 1598.53/1598.99 c 1597s | 21 | 5444085 | 1134645 | 56652 45 | 612 | 2110 1600.63/1601.09 c 1600s | 21 | 5450109 | 1136045 | 56652 45 | 612 | 2110 1602.73/1603.17 c 1602s | 21 | 5457635 | 1137445 | 56652 45 | 612 | 2110 1604.83/1605.27 c 1604s | 21 | 5464783 | 1138945 | 56652 45 | 612 | 2110 1606.83/1607.29 c 1606s | 21 | 5471893 | 1140345 | 56652 45 | 612 | 2110 1609.22/1609.64 c 1608s | 21 | 5479680 | 1141845 | 56652 45 | 612 | 2110 1611.23/1611.68 c 1610s | 21 | 5491187 | 1143445 | 56652 45 | 612 | 2110 1613.22/1613.70 c 1612s | 21 | 5493224 | 1143845 | 56652 45 | 612 | 2110 1615.32/1615.73 c 1614s | 21 | 5502020 | 1145445 | 56652 45 | 612 | 2110 1617.42/1617.80 c 1616s | 21 | 5511975 | 1147245 | 56652 45 | 612 | 2110 1619.51/1619.95 c 1618s | 21 | 5519989 | 1148745 | 56652 45 | 612 | 2110 1621.61/1622.03 c 1621s | 21 | 5529289 | 1150145 | 56652 45 | 612 | 2110 1623.61/1624.06 c 1623s | 21 | 5539253 | 1152045 | 56652 45 | 612 | 2110 1625.62/1626.09 c 1625s | 21 | 5548370 | 1153645 | 56652 45 | 612 | 2110 1627.73/1628.19 c 1627s | 21 | 5555954 | 1154945 | 56652 46 | 612 | 2110 1629.83/1630.23 c 1629s | 21 | 5566137 | 1156545 | 56652 46 | 612 | 2110 1631.82/1632.27 c 1631s | 21 | 5576338 | 1158145 | 56652 46 | 612 | 2110 1633.82/1634.28 c 1633s | 21 | 5586718 | 1159845 | 56652 46 | 612 | 2110 1635.92/1636.35 c 1635s | 21 | 5596492 | 1161445 | 56652 46 | 612 | 2110 1637.92/1638.37 c 1637s | 21 | 5605865 | 1162945 | 56652 46 | 612 | 2110 1640.02/1640.47 c 1639s | 21 | 5617167 | 1164645 | 56652 46 | 612 | 2110 1642.12/1642.52 c 1641s | 21 | 5626500 | 1166245 | 56652 46 | 612 | 2110 1644.23/1644.60 c 1643s | 21 | 5636978 | 1167845 | 56652 46 | 612 | 2110 1646.22/1646.61 c 1645s | 21 | 5645702 | 1169345 | 56652 46 | 612 | 2110 1664.41/1664.88 c 1663s | 21 | 5654293 | 1170545 | 56652 46 | 612 | 2110 1666.51/1666.93 c 1665s | 21 | 5660564 | 1171645 | 56652 46 | 612 | 2110 1668.51/1668.95 c 1667s | 21 | 5666743 | 1172745 | 56652 46 | 612 | 2110 1670.71/1671.16 c 1670s | 21 | 5672706 | 1173845 | 56652 46 | 612 | 2110 1672.91/1673.31 c 1672s | 21 | 5678656 | 1174945 | 56652 46 | 612 | 2110 1675.11/1675.55 c 1674s | 21 | 5683744 | 1176045 | 56652 46 | 612 | 2110 1677.21/1677.63 c 1676s | 21 | 5690206 | 1177145 | 56652 46 | 612 | 2110 1679.31/1679.74 c 1678s | 21 | 5694769 | 1178145 | 56652 46 | 612 | 2110 1681.51/1681.93 c 1680s | 21 | 5700555 | 1179145 | 56652 46 | 612 | 2110 1683.71/1684.14 c 1683s | 21 | 5705952 | 1180145 | 56652 46 | 612 | 2110 1685.81/1686.30 c 1685s | 21 | 5711087 | 1180945 | 56652 46 | 612 | 2110 1687.90/1688.34 c 1687s | 21 | 5714126 | 1181645 | 56652 46 | 612 | 2110 1690.00/1690.44 c 1689s | 21 | 5719372 | 1182645 | 56652 46 | 612 | 2110 1692.00/1692.49 c 1691s | 21 | 5724133 | 1183645 | 56652 46 | 612 | 2110 1694.20/1694.60 c 1693s | 21 | 5730092 | 1184745 | 56652 47 | 612 | 2110 1696.31/1696.71 c 1695s | 21 | 5732473 | 1185345 | 56652 47 | 612 | 2110 1698.31/1698.79 c 1697s | 21 | 5741220 | 1186945 | 56652 47 | 612 | 2110 1700.51/1700.92 c 1699s | 21 | 5748855 | 1188545 | 56652 47 | 612 | 2110 1702.61/1703.04 c 1702s | 21 | 5754852 | 1189745 | 56652 47 | 612 | 2110 1704.71/1705.10 c 1704s | 21 | 5761957 | 1191145 | 56652 47 | 612 | 2110 1706.81/1707.22 c 1706s | 21 | 5770824 | 1192545 | 56652 47 | 612 | 2110 1708.81/1709.22 c 1708s | 21 | 5778790 | 1193845 | 56652 47 | 612 | 2110 1710.81/1711.23 c 1710s | 21 | 5785951 | 1195145 | 56652 47 | 612 | 2110 1712.81/1713.24 c 1712s | 21 | 5791782 | 1196445 | 56652 47 | 612 | 2110 1714.91/1715.38 c 1714s | 21 | 5798425 | 1197745 | 56652 47 | 612 | 2110 1717.01/1717.41 c 1716s | 21 | 5804307 | 1198945 | 56652 47 | 612 | 2110 1719.01/1719.45 c 1718s | 21 | 5811885 | 1200245 | 56652 47 | 612 | 2110 1721.00/1721.48 c 1720s | 21 | 5817775 | 1201545 | 56652 47 | 612 | 2110 1723.10/1723.57 c 1722s | 21 | 5824671 | 1202745 | 56652 47 | 612 | 2110 1726.50/1726.92 c 1725s | 21 | 5829528 | 1203645 | 56652 47 | 612 | 2110 1728.51/1728.96 c 1727s | 21 | 5836742 | 1204945 | 56652 47 | 612 | 2110 1730.51/1730.99 c 1729s | 21 | 5841926 | 1205945 | 56652 47 | 612 | 2110 1732.71/1733.16 c 1732s | 21 | 5850033 | 1207345 | 56652 47 | 612 | 2110 1734.91/1735.31 c 1734s | 21 | 5858979 | 1208845 | 56652 47 | 612 | 2110 1737.01/1737.45 c 1736s | 21 | 5864331 | 1210145 | 56652 47 | 612 | 2110 1739.11/1739.57 c 1738s | 21 | 5871513 | 1211445 | 56652 47 | 612 | 2110 1741.21/1741.62 c 1740s | 21 | 5877184 | 1212745 | 56652 47 | 612 | 2110 1743.21/1743.68 c 1742s | 21 | 5882979 | 1214045 | 56652 47 | 612 | 2110 1745.50/1745.95 c 1744s | 21 | 5888624 | 1215245 | 56652 48 | 612 | 2110 1748.10/1748.50 c 1747s | 21 | 5891520 | 1215845 | 56652 48 | 612 | 2110 1750.10/1750.56 c 1749s | 21 | 5894938 | 1216345 | 56652 48 | 612 | 2110 1752.19/1752.68 c 1751s | 21 | 5903092 | 1217745 | 56652 48 | 612 | 2110 1754.21/1754.68 c 1753s | 21 | 5912642 | 1219445 | 56652 48 | 612 | 2110 1756.31/1756.79 c 1755s | 21 | 5920226 | 1221145 | 56652 48 | 612 | 2110 1758.40/1758.85 c 1757s | 21 | 5930113 | 1222945 | 56652 48 | 612 | 2110 1760.50/1760.96 c 1759s | 21 | 5937145 | 1224645 | 56652 48 | 612 | 2110 1762.70/1763.13 c 1762s | 21 | 5942723 | 1225945 | 56652 48 | 612 | 2110 1765.30/1765.70 c 1764s | 21 | 5948914 | 1227245 | 56652 48 | 612 | 2110 1767.30/1767.76 c 1766s | 21 | 5958277 | 1228945 | 56652 48 | 612 | 2110 1769.50/1769.94 c 1768s | 21 | 5965407 | 1230645 | 56652 48 | 612 | 2110 1771.50/1771.96 c 1770s | 21 | 5972498 | 1232145 | 56652 48 | 612 | 2110 1773.60/1774.07 c 1773s | 21 | 5982014 | 1233845 | 56652 48 | 612 | 2110 1775.60/1776.07 c 1775s | 21 | 5989897 | 1235345 | 56652 48 | 612 | 2110 1777.70/1778.17 c 1777s | 21 | 5995658 | 1236745 | 56652 48 | 612 | 2110 1779.80/1780.20 c 1779s | 21 | 5999915 | 1237845 | 56652 48 | 612 | 2110 1781.80/1782.26 c 1781s | 21 | 6006348 | 1239145 | 56652 48 | 612 | 2110 1783.90/1784.35 c 1783s | 21 | 6015272 | 1240845 | 56652 48 | 612 | 2110 1786.00/1786.42 c 1785s | 21 | 6021000 | 1242145 | 56652 48 | 612 | 2110 1788.09/1788.52 c 1787s | 21 | 6027447 | 1243345 | 56652 48 | 612 | 2110 1790.09/1790.58 c 1789s | 21 | 6032636 | 1244645 | 56652 48 | 612 | 2110 1792.19/1792.64 c 1791s | 21 | 6039709 | 1246145 | 56652 49 | 612 | 2110 1794.19/1794.66 c 1793s | 21 | 6045847 | 1247545 | 56652 49 | 612 | 2110 1796.29/1796.75 c 1795s | 21 | 6053836 | 1249545 | 56652 49 | 612 | 2110 1798.39/1798.81 c 1797s | 21 | 6056857 | 1250145 | 56652 49 | 612 | 2110
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-4079831-1465248188/watcher-4079831-1465248188 -o /tmp/evaluation-result-4079831-1465248188/solver-4079831-1465248188 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079831-1465248188.opb pid=4413 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.00 2.00 3/179 4416 /proc/meminfo: memFree=30557400/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=686524 CPUtime=0 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 2555 0 0 0 0 0 0 0 20 0 4 0 106754247 703000576 2916 33554432000 4194304 16246674 140734097057024 140734097056448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 172143 2924 441 2943 0 169037 0 [pid=4416/tid=4417] ppid=4413 vsize=703932 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 720826368 2985 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=709052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 726069248 3002 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=713148 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106754247 730263552 3018 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 1.99 2.00 2.00 3/179 4416 /proc/meminfo: memFree=30557400/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 28532 0 0 0 5 4 0 0 20 0 4 0 106754247 1249447936 28831 33554432000 4194304 16246674 140734097057024 140734097056336 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 305041 28831 800 2943 0 301935 0 [pid=4416/tid=4417] ppid=4413 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1249447936 28831 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1249447936 28831 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1249447936 28831 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200535 s] /proc/loadavg: 1.99 2.00 2.00 3/179 4416 /proc/meminfo: memFree=30557400/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1302084 CPUtime=0.19 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 48785 0 0 0 12 7 0 0 20 0 4 0 106754247 1333334016 49084 33554432000 4194304 16246674 140734097057024 140734097056336 6756338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 325521 49084 832 2943 0 322415 0 [pid=4416/tid=4417] ppid=4413 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1333334016 49084 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1333334016 49084 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1333334016 49084 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300527 s] /proc/loadavg: 1.99 2.00 2.00 3/179 4416 /proc/meminfo: memFree=30557400/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1302084 CPUtime=0.29 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 57900 0 0 0 20 9 0 0 20 0 4 0 106754247 1333334016 58199 33554432000 4194304 16246674 140734097057024 140734097038912 6974006 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 325521 58206 836 2943 0 322415 0 [pid=4416/tid=4417] ppid=4413 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1333334016 58211 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1333334016 58215 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1333334016 58220 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700406 s] /proc/loadavg: 1.99 2.00 2.00 3/179 4416 /proc/meminfo: memFree=30557400/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1312324 CPUtime=0.68 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 75067 0 0 0 57 11 0 0 20 0 4 0 106754247 1343819776 75366 33554432000 4194304 16246674 140734097057024 140734097056336 6729838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 328081 75366 896 2943 0 324975 0 [pid=4416/tid=4417] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 75366 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 75366 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 75366 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1312324 [startup+1.50039 s] /proc/loadavg: 1.99 2.00 2.00 3/183 4420 /proc/meminfo: memFree=30256992/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1312324 CPUtime=1.49 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 113053 0 0 0 131 18 0 0 20 0 4 0 106754247 1343819776 113352 33554432000 4194304 16246674 140734097057024 140734097038912 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 328081 113367 906 2943 0 324975 0 [pid=4416/tid=4417] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 113371 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 113375 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 113381 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1312324 [startup+3.1004 s] /proc/loadavg: 1.99 2.00 2.00 3/183 4420 /proc/meminfo: memFree=29733084/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1312324 CPUtime=3.09 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 206010 0 0 0 280 29 0 0 20 0 4 0 106754247 1343819776 206309 33554432000 4194304 16246674 140734097057024 140734097038912 5754525 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 328081 206309 908 2943 0 324975 0 [pid=4416/tid=4417] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 206309 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 206309 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 206309 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1312324 [startup+6.3004 s] /proc/loadavg: 1.99 2.00 2.00 3/183 4420 /proc/meminfo: memFree=29480176/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1312324 CPUtime=6.29 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 269288 0 0 0 589 40 0 0 20 0 4 0 106754247 1343819776 269587 33554432000 4194304 16246674 140734097057024 140734097038912 5712622 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 328081 269587 908 2943 0 324975 0 [pid=4416/tid=4417] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269587 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269587 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269587 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 1.99 2.00 2.00 3/183 4420 /proc/meminfo: memFree=29480328/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1312324 CPUtime=12.69 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 269288 0 0 0 1229 40 0 0 20 0 4 0 106754247 1343819776 269587 33554432000 4194304 16246674 140734097057024 140734097038912 5824031 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 328081 269587 908 2943 0 324975 0 [pid=4416/tid=4417] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269587 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269587 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269587 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 1.99 2.00 2.00 3/183 4420 /proc/meminfo: memFree=29481272/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1312324 CPUtime=25.49 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 269294 0 0 0 2509 40 0 0 20 0 4 0 106754247 1343819776 269593 33554432000 4194304 16246674 140734097057024 140734097038912 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 328081 269593 914 2943 0 324975 0 [pid=4416/tid=4417] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269593 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269593 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269593 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 1.99 2.00 2.00 3/183 4420 /proc/meminfo: memFree=29481364/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 269301 0 0 0 5068 40 0 0 20 0 4 0 106754247 1343819776 269593 33554432000 4194304 16246674 140734097057024 140734097038912 5674932 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 328081 269593 914 2943 0 324975 0 [pid=4416/tid=4417] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269593 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269593 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1343819776 269593 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.301 s] /proc/loadavg: 2.07 2.01 2.00 3/183 4421 /proc/meminfo: memFree=29443120/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1350212 CPUtime=102.27 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 278801 0 0 0 10185 42 0 0 20 0 4 0 106754247 1382617088 279067 33554432000 4194304 16246674 140734097057024 140734097038912 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 337553 279067 916 2943 0 334447 0 [pid=4416/tid=4417] ppid=4413 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1382617088 279067 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1382617088 279067 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1382617088 279067 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1350212 ################ # More data... # ################ /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1386052 [startup+1362.3 s] /proc/loadavg: 2.10 2.10 2.03 3/183 4501 /proc/meminfo: memFree=29447304/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1386052 CPUtime=1361.96 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 287968 0 0 0 136141 55 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140734097038912 5822938 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 346513 288030 916 2943 0 343407 0 [pid=4416/tid=4417] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1386052 [startup+1422.3 s] /proc/loadavg: 2.12 2.11 2.03 3/183 4503 /proc/meminfo: memFree=29441104/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1386052 CPUtime=1421.95 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 287968 0 0 0 142139 56 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140734097038912 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 346513 288030 916 2943 0 343407 0 [pid=4416/tid=4417] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1386052 [startup+1482.3 s] /proc/loadavg: 2.10 2.10 2.03 3/183 4504 /proc/meminfo: memFree=29440568/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1386052 CPUtime=1481.94 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 287968 0 0 0 148137 57 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140734097038912 5823751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 346513 288030 916 2943 0 343407 0 [pid=4416/tid=4417] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1386052 [startup+1542.31 s] /proc/loadavg: 2.09 2.09 2.03 3/183 4505 /proc/meminfo: memFree=29440316/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1386052 CPUtime=1541.94 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 287968 0 0 0 154136 58 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140734097038912 12415720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 346513 288030 916 2943 0 343407 0 [pid=4416/tid=4417] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1386052 [startup+1602.3 s] /proc/loadavg: 2.11 2.09 2.03 3/183 4506 /proc/meminfo: memFree=29440428/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1386052 CPUtime=1601.93 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 287968 0 0 0 160134 59 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140734097038912 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 346513 288030 916 2943 0 343407 0 [pid=4416/tid=4417] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1386052 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1419317248 288030 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1386052 [startup+1662.3 s] /proc/loadavg: 2.04 2.07 2.02 3/184 4510 /proc/meminfo: memFree=29430292/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1395268 CPUtime=1661.91 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 290274 0 0 0 166129 62 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140734097056200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 348817 290334 916 2943 0 345711 0 [pid=4416/tid=4417] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1395268 [startup+1722.3 s] /proc/loadavg: 2.01 2.06 2.02 3/183 4512 /proc/meminfo: memFree=29430660/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1395268 CPUtime=1721.9 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 290274 0 0 0 172127 63 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140734097038912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 348817 290334 916 2943 0 345711 0 [pid=4416/tid=4417] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1395268 [startup+1782.3 s] /proc/loadavg: 2.12 2.07 2.02 3/183 4513 /proc/meminfo: memFree=29429848/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1395268 CPUtime=1781.9 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 290274 0 0 0 178125 65 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140734097038912 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 348817 290334 916 2943 0 345711 0 [pid=4416/tid=4417] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1395268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.25 2.10 2.03 3/184 4524 /proc/meminfo: memFree=29428828/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1395268 CPUtime=1800.09 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 290274 0 0 0 179944 65 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140734097038912 5666873 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 348817 290334 916 2943 0 345711 0 [pid=4416/tid=4417] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1395268 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 4416 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.25 2.10 2.03 3/184 4524 /proc/meminfo: memFree=29428828/32872528 swapFree=10676/249824 [pid=4416] ppid=4413 vsize=1395268 CPUtime=1800.09 cores=0,2,4,6 /proc/4416/stat : 4416 (toysat) R 4413 4416 1222 0 -1 4202496 290274 0 0 0 179944 65 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140734097038912 5666873 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4416/statm: 348817 290334 916 2943 0 345711 0 [pid=4416/tid=4417] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4417/stat : 4417 (toysat) S 4413 4416 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540691590384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4416/tid=4418] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4418/stat : 4418 (toysat) S 4413 4416 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540681100528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4416/tid=4419] ppid=4413 vsize=1395268 CPUtime=0 cores=0,2,4,6 /proc/4416/task/4419/stat : 4419 (toysat) S 4413 4416 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106754247 1428754432 290334 33554432000 4194304 16246674 140734097057024 140540670626992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1395268 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.11 CPU user time (s): 1799.45 CPU system time (s): 0.6559 CPU usage (%): 99.9776 Max. virtual memory (cumulated for all children) (KiB): 1395268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.45 system time used= 0.6559 maximum resident set size= 1161336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290274 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= 257 involuntary context switches= 1937 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.6811 second user time and 15.6496 second system time The end
Begin job on node103 at 2016-06-06 23:23:08 IDJOB=4079831 IDBENCH=24974 IDSOLVER=2542 FILE ID=node103/4079831-1465248188 RUNJOBID= node103-1465221288-1238 PBS_JOBID= 19843228 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079831-1465248188/watcher-4079831-1465248188 -o /tmp/evaluation-result-4079831-1465248188/solver-4079831-1465248188 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079831-1465248188.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED=2103149993 node103.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.760 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.52 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.760 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.760 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.56 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.760 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.760 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.760 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30557928 kB Buffers: 53084 kB Cached: 149296 kB SwapCached: 1716 kB Active: 1272316 kB Inactive: 88448 kB Active(anon): 1159068 kB Inactive(anon): 1160 kB Active(file): 113248 kB Inactive(file): 87288 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096644 kB Dirty: 16708 kB Writeback: 0 kB AnonPages: 1406692 kB Mapped: 10764 kB Shmem: 0 kB Slab: 569612 kB SReclaimable: 13792 kB SUnreclaim: 555820 kB KernelStack: 1520 kB PageTables: 6868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1551248 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1388544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node103 at 2016-06-06 23:53:08