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.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cm42a.opb |
| MD5SUM | fbb7284250700e8b461b63d83ddce719 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 694 |
| Best CPU time to get the best result obtained on this benchmark | 0.067988 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 694 |
| Optimality of the best value was proved | YES |
| Number of variables | 99 |
| Total number of constraints | 185 |
| Number of constraints which are clauses | 185 |
| 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 | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 99 |
| Biggest coefficient in the objective function | 60 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 4087 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 60 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 4087 |
| 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-06T18:29:16+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-4079545-1465230556.opb"] 0.00/0.01 c use --random-gen="3396081984 3991262479 2667286086 2905777503 3347224830 1552087523 2044642844 282288974 2381224355 1056654424 3461786757 345754329 797841588 2811512291 2135942400 2026794580 363583485 3377754737 3393258820 3200200086 2213715153 3920627910 3202044174 979958706 466083795 3958937544 1893359251 3455067967 567915451 3873535948 1996834261 3259192609 4161754227 2447973475 863435988 1702939763 4184028186 2342370987 2902068535 5169722 3863682938 4102169196 3942157247 857096683 3953677814 2015590950 1948971611 2999712502 3755324659 2410960930 1785484657 1293126437 2701057668 1358662543 919117458 1806153288 2222010450 997074154 2366438785 3961112417 811980455 2446730609 3260201318 1845906435 2509430241 3377121175 2830385634 4289371386 3947829886 2461911449 3820563649 3008958733 168733823 1495110756 3014623405 1036844025 3253991797 4281699616 2136097315 3224757890 2305782717 4021519810 1817775178 3165396199 811634150 3221592195 158627198 2141381956 122691037 1873551703 2469270311 1814813379 2283564109 3626091997 2719378856 1028121427 3838187681 2180456511 3672040368 2495714432 2122657182 4058027043 2075395700 1452796548 2194173150 2450266623 2166035840 3930418399 1134358233 3568973091 610165260 3436148235 2861588468 960860958 3119347419 549590763 2789022627 995050947 1845171830 3432189796 3442441603 3052650658 4135215549 3075981001 3842845253 3189651933 2200892227 30447113 373597344 3775169523 2066114438 4184330349 3727606164 3618995171 4119664583 4067071103 1677357481 1858188397 226437168 3842980239 181914452 662227717 3348741058 279717179 1470333739 1670865926 4134156154 945536523 2325549441 3422614186 2760072056 1908394452 1120387694 3613450062 3056003955 2121220875 282357891 4114757148 3288671241 1659395964 3467504352 696379016 3729289307 186482836 2587520812 748796954 2315587489 2580105453 1260048262 3762899992 2524997608 3804010617 645135961 3484366203 3005310276 37708105 1421362509 1365152390 41856724 1828929477 1044664626 4080173158 2268951180 2279096108 2190078861 134308741 1255403565 3875976369 2648772760 3883666299 2430495076 3522886699 3420598073 3719928029 3815769493 2156092861 92375735 2815008406 3149960064 2150904361 4071770859 4219954659 3065765308 583784242 2165177392 2043058193 1670584869 2325193442 3342478646 941592242 3633303827 2854524359 3189294412 2038602046 20314290 1463694764 1262055678 1272835897 3589790877 1001589200 1444291049 3173042958 2764090453 220727409 252833661 57761794 1150296996 271691680 431642643 2707976007 719594035 1982684745 306691475 3176207512 4029583352 1710858260 547771388 1851107143 1249928715 3817272023 1371661267 3414553243 723171973 3924710907 1377190597 1786835175 3629581872 1718373520 3443653128 2494834109 3274269739 2479535198 2019282452 3426331137 2715354657 4236463727 255 362436" option to reproduce the execution 0.00/0.01 c #vars 99 0.00/0.01 c #constraints 185 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 89 | 0 | 94 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.001s 0.00/0.01 c #wall_clock_time = 0.001s 0.00/0.01 c #decision = 89 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 4087 0.00/0.01 c BCD2: refineUB: 4086 -> 4062 0.00/0.01 c BCD2: updating upper bound: 4087 -> 4062 0.00/0.01 c BCD2: 0 <= obj <= 4062 0.00/0.01 c BCD2: #cores=0, #unrelaxed=99, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 39 | 0 | 94 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 39 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 6: cost of the new core is >=42 0.00/0.01 c lower bound updated to 42 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 42 <= obj <= 4062 0.00/0.02 c BCD2: #cores=1, #unrelaxed=93, #relaxed=6, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 36 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 36 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=42 0.00/0.02 c lower bound updated to 84 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 84 <= obj <= 4062 0.00/0.02 c BCD2: #cores=2, #unrelaxed=87, #relaxed=12, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 33 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 33 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=42 0.00/0.02 c lower bound updated to 126 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 126 <= obj <= 4062 0.00/0.02 c BCD2: #cores=3, #unrelaxed=82, #relaxed=17, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 31 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 31 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=42 0.00/0.02 c lower bound updated to 168 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 168 <= obj <= 4062 0.00/0.02 c BCD2: #cores=4, #unrelaxed=76, #relaxed=23, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 28 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 28 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=42 0.00/0.02 c lower bound updated to 210 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 210 <= obj <= 4062 0.00/0.02 c BCD2: #cores=5, #unrelaxed=71, #relaxed=28, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 26 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 26 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=42 0.00/0.02 c lower bound updated to 252 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 252 <= obj <= 4062 0.00/0.02 c BCD2: #cores=6, #unrelaxed=65, #relaxed=34, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 23 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 23 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=42 0.00/0.02 c lower bound updated to 294 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 294 <= obj <= 4062 0.00/0.02 c BCD2: #cores=7, #unrelaxed=60, #relaxed=39, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 21 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 21 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=42 0.00/0.02 c lower bound updated to 336 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 336 <= obj <= 4062 0.00/0.02 c BCD2: #cores=8, #unrelaxed=54, #relaxed=45, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 18 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 18 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=42 0.00/0.02 c lower bound updated to 378 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 378 <= obj <= 4062 0.00/0.02 c BCD2: #cores=9, #unrelaxed=48, #relaxed=51, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 39 | 0 | 94 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 39 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 8: cost of the new core is >=32 0.00/0.02 c lower bound updated to 410 0.00/0.02 c BCD2: refineUB: 4086 -> 4062 0.00/0.02 c BCD2: 410 <= obj <= 4062 0.00/0.02 c BCD2: #cores=10, #unrelaxed=40, #relaxed=59, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 53 | 1 | 94 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 53 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=25 0.00/0.03 c lower bound updated to 435 0.00/0.03 c BCD2: refineUB: 4086 -> 4062 0.00/0.03 c BCD2: 435 <= obj <= 4062 0.00/0.03 c BCD2: #cores=11, #unrelaxed=38, #relaxed=61, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 51 | 1 | 94 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 51 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=25 0.00/0.03 c lower bound updated to 460 0.00/0.03 c BCD2: refineUB: 4086 -> 4062 0.00/0.03 c BCD2: 460 <= obj <= 4062 0.00/0.03 c BCD2: #cores=12, #unrelaxed=36, #relaxed=63, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 35 | 1 | 94 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 35 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 6: cost of the new core is >=25 0.00/0.03 c lower bound updated to 485 0.00/0.03 c BCD2: refineUB: 4086 -> 4062 0.00/0.03 c BCD2: 485 <= obj <= 4062 0.00/0.03 c BCD2: #cores=13, #unrelaxed=30, #relaxed=69, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 44 | 1 | 94 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 44 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=25 0.00/0.03 c lower bound updated to 510 0.00/0.03 c BCD2: refineUB: 4086 -> 4062 0.00/0.03 c BCD2: 510 <= obj <= 4062 0.00/0.03 c BCD2: #cores=14, #unrelaxed=28, #relaxed=71, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 143 | 0 | 94 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 143 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 900 0.00/0.03 c BCD2: updating upper bound: 4062 -> 899 0.00/0.04 c BCD2: 510 <= obj <= 899 0.00/0.04 c BCD2: #cores=14, #unrelaxed=28, #relaxed=71, #hardened=0 0.00/0.04 c BCD2: #sat=2 #unsat=15 bias=15/17 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 94 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 33 | 2 | 94 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 33 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 2 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 0 and merging with 5 cores into a new core of size 21: cost of the new core is >=160 0.00/0.04 c lower bound updated to 511 0.00/0.04 c BCD2: 511 <= obj <= 899 0.00/0.04 c BCD2: #cores=10, #unrelaxed=28, #relaxed=71, #hardened=0 0.00/0.04 c BCD2: #sat=2 #unsat=16 bias=16/18 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 94 0 | 23 | 0 0.00/0.05 c 0.0s | 0 | 78 | 16 | 94 0 | 23 | 41 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 78 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 16 0.00/0.05 c #restart = 0 0.00/0.05 o 698 0.00/0.05 c BCD2: updating upper bound: 899 -> 697 0.00/0.05 c BCD2: 511 <= obj <= 697 0.00/0.05 c BCD2: #cores=10, #unrelaxed=28, #relaxed=71, #hardened=0 0.00/0.05 c BCD2: #sat=3 #unsat=16 bias=16/19 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 94 0 | 23 | 42 0.00/0.05 c 0.0s | 0 | 19 | 0 | 94 0 | 23 | 42 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 19 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=51 0.00/0.05 c BCD2: refineLB: 50 -> 51 0.00/0.05 c lower bound updated to 520 0.00/0.05 c BCD2: 520 <= obj <= 697 0.00/0.05 c BCD2: #cores=10, #unrelaxed=26, #relaxed=73, #hardened=0 0.00/0.05 c BCD2: #sat=3 #unsat=17 bias=17/20 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 94 0 | 38 | 42 0.00/0.05 c 0.0s | 0 | 19 | 0 | 94 0 | 38 | 72 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 19 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 8: cost of the new core is >=74 0.00/0.05 c BCD2: refineLB: 68 -> 74 0.00/0.05 c lower bound updated to 527 0.00/0.06 c BCD2: 527 <= obj <= 697 0.00/0.06 c BCD2: #cores=9, #unrelaxed=25, #relaxed=74, #hardened=0 0.00/0.06 c BCD2: #sat=3 #unsat=18 bias=18/21 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 94 0 | 53 | 72 0.00/0.06 c 0.0s | 0 | 32 | 0 | 94 0 | 53 | 101 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 32 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 12: cost of the new core is >=59 0.00/0.06 c BCD2: refineLB: 58 -> 59 0.00/0.06 c lower bound updated to 544 0.00/0.06 c BCD2: 544 <= obj <= 697 0.00/0.06 c BCD2: #cores=9, #unrelaxed=19, #relaxed=80, #hardened=0 0.00/0.06 c BCD2: #sat=3 #unsat=19 bias=19/22 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 94 0 | 66 | 101 0.00/0.06 c 0.0s | 0 | 76 | 12 | 94 0 | 69 | 167 0.00/0.06 c #cpu_time = 0.002s 0.00/0.06 c #wall_clock_time = 0.002s 0.00/0.06 c #decision = 76 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 12 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: updating lower bound of a core 0.00/0.06 c lower bound updated to 546 0.00/0.06 c BCD2: 546 <= obj <= 697 0.00/0.06 c BCD2: #cores=9, #unrelaxed=19, #relaxed=80, #hardened=0 0.00/0.06 c BCD2: #sat=3 #unsat=20 bias=20/23 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 94 0 | 69 | 167 0.00/0.07 c 0.0s | 0 | 38 | 10 | 94 0 | 69 | 167 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 38 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 10 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 8 and merging with 2 cores into a new core of size 35: cost of the new core is >=218 0.00/0.07 c lower bound updated to 562 0.00/0.07 c BCD2: 562 <= obj <= 697 0.00/0.07 c BCD2: #cores=8, #unrelaxed=11, #relaxed=88, #hardened=0 0.00/0.07 c BCD2: #sat=3 #unsat=21 bias=21/24 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 94 0 | 89 | 167 0.00/0.08 c 0.0s | 1 | 237 | 100 | 104 0 | 90 | 223 0.00/0.08 c 0.0s | 1 | 338 | 151 | 104 0 | 90 | 223 0.00/0.08 c #cpu_time = 0.011s 0.00/0.08 c #wall_clock_time = 0.011s 0.00/0.08 c #decision = 338 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 151 0.00/0.08 c #restart = 1 0.00/0.08 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 43: cost of the new core is >=295 0.00/0.08 c lower bound updated to 563 0.00/0.08 c BCD2: 563 <= obj <= 697 0.00/0.08 c BCD2: #cores=7, #unrelaxed=11, #relaxed=88, #hardened=0 0.00/0.08 c BCD2: #sat=3 #unsat=22 bias=22/25 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 104 0 | 92 | 223 0.00/0.09 c 0.0s | 1 | 222 | 100 | 115 0 | 92 | 225 0.09/0.10 c 0.0s | 2 | 429 | 250 | 115 0 | 92 | 225 0.09/0.12 c 0.0s | 3 | 825 | 475 | 127 2 | 92 | 225 0.09/0.12 c 0.0s | 3 | 897 | 505 | 127 2 | 92 | 225 0.09/0.12 c #cpu_time = 0.039s 0.09/0.12 c #wall_clock_time = 0.039s 0.09/0.12 c #decision = 897 0.09/0.12 c #random_decision = 1 0.09/0.12 c #conflict = 505 0.09/0.12 c #restart = 3 0.09/0.12 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 52: cost of the new core is >=347 0.09/0.12 c lower bound updated to 564 0.09/0.12 c BCD2: 564 <= obj <= 697 0.09/0.12 c BCD2: #cores=6, #unrelaxed=9, #relaxed=90, #hardened=0 0.09/0.12 c BCD2: #sat=3 #unsat=23 bias=23/26 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 127 0 | 94 | 225 0.09/0.13 c 0.0s | 1 | 196 | 100 | 127 0 | 94 | 227 0.09/0.14 c 0.0s | 2 | 474 | 250 | 140 0 | 94 | 227 0.09/0.16 c 0.0s | 3 | 858 | 475 | 140 2 | 94 | 227 0.09/0.19 c 0.1s | 4 | 1400 | 813 | 154 4 | 94 | 227 0.19/0.23 c 0.1s | 5 | 2250 | 1320 | 154 7 | 94 | 227 0.19/0.29 c 0.2s | 6 | 3503 | 2081 | 170 12 | 94 | 227 0.19/0.29 c 0.2s | 6 | 3562 | 2092 | 170 12 | 95 | 228 0.19/0.29 c #cpu_time = 0.168s 0.19/0.29 c #wall_clock_time = 0.168s 0.19/0.29 c #decision = 3562 0.19/0.29 c #random_decision = 5 0.19/0.29 c #conflict = 2092 0.19/0.29 c #restart = 6 0.19/0.29 c BCD2: updating lower bound of a core 0.19/0.29 c lower bound updated to 610 0.19/0.30 c BCD2: 610 <= obj <= 697 0.19/0.30 c BCD2: #cores=6, #unrelaxed=9, #relaxed=90, #hardened=0 0.19/0.30 c BCD2: #sat=3 #unsat=24 bias=24/27 0.28/0.30 c Solving starts ... 0.28/0.30 c ============================[ Search Statistics ]============================ 0.28/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.30 c | | | | Limit GC | Var | Constra 0.28/0.30 c ============================================================================= 0.28/0.30 c 0.0s | 0 | 0 | 0 | 170 0 | 95 | 229 0.28/0.31 c 0.0s | 1 | 179 | 100 | 170 0 | 95 | 229 0.28/0.32 c 0.0s | 2 | 418 | 250 | 170 0 | 95 | 229 0.28/0.34 c 0.0s | 3 | 836 | 475 | 188 1 | 95 | 229 0.28/0.37 c 0.1s | 4 | 1384 | 813 | 188 3 | 95 | 229 0.38/0.41 c 0.1s | 5 | 2279 | 1320 | 188 6 | 95 | 229 0.38/0.47 c 0.2s | 6 | 3465 | 2081 | 188 11 | 95 | 229 0.49/0.53 c 0.2s | 6 | 4708 | 2805 | 207 15 | 96 | 230 0.49/0.53 c #cpu_time = 0.235s 0.49/0.53 c #wall_clock_time = 0.235s 0.49/0.53 c #decision = 4708 0.49/0.53 c #random_decision = 8 0.49/0.53 c #conflict = 2805 0.49/0.53 c #restart = 6 0.49/0.53 c BCD2: updating lower bound of a core 0.49/0.53 c lower bound updated to 615 0.49/0.53 c BCD2: 615 <= obj <= 697 0.49/0.53 c BCD2: #cores=6, #unrelaxed=9, #relaxed=90, #hardened=0 0.49/0.53 c BCD2: #sat=3 #unsat=25 bias=25/28 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 207 0 | 96 | 231 0.49/0.54 c 0.0s | 1 | 243 | 100 | 207 0 | 96 | 231 0.49/0.56 c 0.0s | 2 | 520 | 250 | 207 0 | 96 | 231 0.49/0.57 c 0.0s | 3 | 874 | 475 | 207 1 | 96 | 231 0.59/0.60 c 0.1s | 4 | 1441 | 813 | 207 3 | 96 | 231 0.59/0.65 c 0.1s | 5 | 2272 | 1320 | 207 6 | 97 | 253 0.69/0.71 c 0.2s | 6 | 3533 | 2081 | 228 9 | 97 | 253 0.69/0.79 c 0.3s | 6 | 4966 | 3029 | 228 14 | 97 | 253 0.69/0.79 c #cpu_time = 0.257s 0.69/0.79 c #wall_clock_time = 0.257s 0.69/0.79 c #decision = 4966 0.69/0.79 c #random_decision = 5 0.69/0.79 c #conflict = 3029 0.69/0.79 c #restart = 6 0.69/0.79 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 59: cost of the new core is >=441 0.69/0.79 c lower bound updated to 616 0.79/0.80 c BCD2: 616 <= obj <= 697 0.79/0.80 c BCD2: #cores=5, #unrelaxed=8, #relaxed=91, #hardened=0 0.79/0.80 c BCD2: #sat=3 #unsat=26 bias=26/29 0.79/0.80 c Solving starts ... 0.79/0.80 c ============================[ Search Statistics ]============================ 0.79/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.80 c | | | | Limit GC | Var | Constra 0.79/0.80 c ============================================================================= 0.79/0.80 c 0.0s | 0 | 0 | 0 | 228 0 | 114 | 253 0.79/0.81 c 0.0s | 1 | 171 | 100 | 228 0 | 114 | 286 0.79/0.82 c 0.0s | 2 | 399 | 250 | 228 0 | 114 | 286 0.79/0.84 c 0.0s | 3 | 768 | 475 | 228 1 | 114 | 286 0.79/0.88 c 0.1s | 4 | 1400 | 813 | 228 3 | 114 | 286 0.89/0.92 c 0.1s | 5 | 2201 | 1320 | 228 5 | 114 | 286 0.99/1.00 c 0.2s | 6 | 3453 | 2081 | 228 9 | 114 | 286 1.09/1.11 c 0.3s | 7 | 5162 | 3223 | 251 14 | 114 | 286 1.19/1.28 c 0.5s | 8 | 7721 | 4936 | 251 23 | 114 | 286 1.38/1.48 c 0.7s | 9 | 11865 | 7506 | 251 35 | 114 | 286 1.68/1.75 c 1.0s | 10 | 17839 | 11361 | 277 53 | 114 | 286 2.09/2.15 c 1.3s | 11 | 26968 | 17144 | 305 78 | 114 | 286 2.69/2.77 c 2.0s | 12 | 40850 | 25819 | 305 115 | 114 | 286 2.99/3.09 c 2.3s | 12 | 48223 | 30543 | 336 135 | 114 | 286 2.99/3.09 c #cpu_time = 2.292s 2.99/3.09 c #wall_clock_time = 2.292s 2.99/3.09 c #decision = 48223 2.99/3.09 c #random_decision = 74 2.99/3.09 c #conflict = 30543 2.99/3.09 c #restart = 12 2.99/3.09 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 60: cost of the new core is >=457 2.99/3.09 c lower bound updated to 632 2.99/3.09 c BCD2: 632 <= obj <= 697 2.99/3.09 c BCD2: #cores=5, #unrelaxed=7, #relaxed=92, #hardened=0 2.99/3.09 c BCD2: #sat=3 #unsat=27 bias=27/30 2.99/3.09 c Solving starts ... 2.99/3.09 c ============================[ Search Statistics ]============================ 2.99/3.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.09 c | | | | Limit GC | Var | Constra 2.99/3.09 c ============================================================================= 2.99/3.09 c 0.0s | 0 | 0 | 0 | 336 0 | 115 | 286 3.09/3.10 c 0.0s | 1 | 205 | 100 | 336 0 | 115 | 287 3.09/3.11 c 0.0s | 2 | 517 | 250 | 336 0 | 115 | 287 3.09/3.13 c 0.0s | 3 | 936 | 475 | 336 0 | 115 | 287 3.09/3.15 c 0.1s | 4 | 1450 | 813 | 336 2 | 115 | 287 3.09/3.19 c 0.1s | 5 | 2189 | 1320 | 336 4 | 115 | 287 3.19/3.24 c 0.2s | 6 | 3356 | 2081 | 336 7 | 115 | 287 3.29/3.32 c 0.2s | 7 | 5156 | 3223 | 336 11 | 115 | 287 3.39/3.45 c 0.4s | 8 | 7916 | 4936 | 336 18 | 115 | 287 3.59/3.64 c 0.5s | 9 | 12154 | 7506 | 336 28 | 115 | 287 3.89/3.91 c 0.8s | 10 | 18675 | 11361 | 336 43 | 115 | 287 4.19/4.28 c 1.2s | 10 | 27312 | 16814 | 336 65 | 116 | 288 4.19/4.28 c #cpu_time = 1.192s 4.19/4.28 c #wall_clock_time = 1.192s 4.19/4.28 c #decision = 27312 4.19/4.28 c #random_decision = 45 4.19/4.28 c #conflict = 16814 4.19/4.28 c #restart = 10 4.19/4.28 c BCD2: updating lower bound of a core 4.19/4.28 c lower bound updated to 633 4.19/4.29 c BCD2: 633 <= obj <= 697 4.19/4.29 c BCD2: #cores=5, #unrelaxed=7, #relaxed=92, #hardened=0 4.19/4.29 c BCD2: #sat=3 #unsat=28 bias=28/31 4.19/4.29 c Solving starts ... 4.19/4.29 c ============================[ Search Statistics ]============================ 4.19/4.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.29 c | | | | Limit GC | Var | Constra 4.19/4.29 c ============================================================================= 4.19/4.29 c 0.0s | 0 | 0 | 0 | 336 0 | 116 | 289 4.19/4.29 c 0.0s | 1 | 259 | 100 | 336 0 | 116 | 289 4.29/4.30 c 0.0s | 2 | 542 | 250 | 336 0 | 116 | 289 4.29/4.32 c 0.0s | 3 | 980 | 475 | 336 0 | 116 | 289 4.29/4.35 c 0.1s | 4 | 1525 | 813 | 336 2 | 116 | 289 4.29/4.37 c 0.1s | 4 | 2071 | 1082 | 336 3 | 117 | 290 4.29/4.37 c #cpu_time = 0.078s 4.29/4.37 c #wall_clock_time = 0.078s 4.29/4.37 c #decision = 2071 4.29/4.37 c #random_decision = 1 4.29/4.37 c #conflict = 1082 4.29/4.37 c #restart = 4 4.29/4.37 c BCD2: updating lower bound of a core 4.29/4.37 c lower bound updated to 634 4.29/4.37 c BCD2: 634 <= obj <= 697 4.29/4.37 c BCD2: #cores=5, #unrelaxed=7, #relaxed=92, #hardened=0 4.29/4.37 c BCD2: #sat=3 #unsat=29 bias=29/32 4.29/4.37 c Solving starts ... 4.29/4.37 c ============================[ Search Statistics ]============================ 4.29/4.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.37 c | | | | Limit GC | Var | Constra 4.29/4.37 c ============================================================================= 4.29/4.37 c 0.0s | 0 | 0 | 0 | 336 0 | 117 | 290 4.29/4.37 c 0.0s | 0 | 83 | 9 | 336 0 | 117 | 290 4.29/4.37 c #cpu_time = 0.001s 4.29/4.37 c #wall_clock_time = 0.001s 4.29/4.37 c #decision = 83 4.29/4.37 c #random_decision = 0 4.29/4.37 c #conflict = 9 4.29/4.37 c #restart = 0 4.29/4.37 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 20: cost of the new core is >=105 4.29/4.37 c BCD2: refineLB: 103 -> 105 4.29/4.37 c lower bound updated to 637 4.29/4.37 c BCD2: 637 <= obj <= 697 4.29/4.37 c BCD2: #cores=4, #unrelaxed=5, #relaxed=94, #hardened=0 4.29/4.37 c BCD2: #sat=3 #unsat=30 bias=30/33 4.29/4.37 c Solving starts ... 4.29/4.37 c ============================[ Search Statistics ]============================ 4.29/4.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.37 c | | | | Limit GC | Var | Constra 4.29/4.37 c ============================================================================= 4.29/4.37 c 0.0s | 0 | 0 | 0 | 336 0 | 130 | 290 4.29/4.37 c 0.0s | 0 | 105 | 25 | 336 0 | 130 | 315 4.29/4.37 c #cpu_time = 0.002s 4.29/4.37 c #wall_clock_time = 0.002s 4.29/4.37 c #decision = 105 4.29/4.37 c #random_decision = 0 4.29/4.37 c #conflict = 25 4.29/4.37 c #restart = 0 4.29/4.37 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 29: cost of the new core is >=161 4.29/4.37 c lower bound updated to 651 4.29/4.37 c BCD2: 651 <= obj <= 697 4.29/4.37 c BCD2: #cores=3, #unrelaxed=2, #relaxed=97, #hardened=0 4.29/4.37 c BCD2: #sat=3 #unsat=31 bias=31/34 4.29/4.37 c Solving starts ... 4.29/4.37 c ============================[ Search Statistics ]============================ 4.29/4.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.37 c | | | | Limit GC | Var | Constra 4.29/4.37 c ============================================================================= 4.29/4.37 c 0.0s | 0 | 0 | 0 | 336 0 | 141 | 315 4.29/4.38 c 0.0s | 1 | 185 | 100 | 336 0 | 141 | 336 4.29/4.38 c 0.0s | 1 | 226 | 131 | 336 0 | 141 | 336 4.29/4.38 c #cpu_time = 0.007s 4.29/4.38 c #wall_clock_time = 0.007s 4.29/4.38 c #decision = 226 4.29/4.38 c #random_decision = 0 4.29/4.38 c #conflict = 131 4.29/4.38 c #restart = 1 4.29/4.38 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 39: cost of the new core is >=211 4.29/4.38 c lower bound updated to 669 4.29/4.38 c BCD2: 669 <= obj <= 697 4.29/4.38 c BCD2: #cores=2, #unrelaxed=0, #relaxed=99, #hardened=0 4.29/4.38 c BCD2: #sat=3 #unsat=32 bias=32/35 4.29/4.38 c Solving starts ... 4.29/4.38 c ============================[ Search Statistics ]============================ 4.29/4.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.29/4.38 c | | | | Limit GC | Var | Constra 4.29/4.38 c ============================================================================= 4.29/4.38 c 0.0s | 0 | 0 | 0 | 336 0 | 151 | 336 4.29/4.39 c 0.0s | 1 | 195 | 100 | 336 0 | 151 | 356 4.29/4.40 c 0.0s | 2 | 472 | 250 | 336 1 | 151 | 356 4.40/4.42 c 0.0s | 3 | 861 | 475 | 336 1 | 151 | 356 4.40/4.44 c 0.1s | 4 | 1525 | 813 | 370 3 | 151 | 356 4.40/4.47 c 0.1s | 5 | 2506 | 1320 | 370 5 | 151 | 356 4.49/4.53 c 0.1s | 6 | 3796 | 2081 | 370 7 | 151 | 356 4.59/4.61 c 0.2s | 7 | 5683 | 3223 | 370 12 | 151 | 356 4.69/4.73 c 0.3s | 8 | 8359 | 4936 | 370 18 | 151 | 356 4.89/4.97 c 0.5s | 9 | 12971 | 7506 | 370 28 | 151 | 356 5.19/5.20 c 0.8s | 10 | 19139 | 11361 | 370 42 | 151 | 356 5.59/5.61 c 1.2s | 11 | 28321 | 17144 | 370 64 | 151 | 356 5.69/5.77 c 1.4s | 11 | 31779 | 19388 | 370 72 | 151 | 356 5.69/5.77 c #cpu_time = 1.393s 5.69/5.77 c #wall_clock_time = 1.394s 5.69/5.77 c #decision = 31779 5.69/5.77 c #random_decision = 74 5.69/5.77 c #conflict = 19388 5.69/5.77 c #restart = 11 5.69/5.78 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 99: cost of the new core is >=670 5.69/5.78 c lower bound updated to 670 5.69/5.78 c BCD2: 670 <= obj <= 697 5.69/5.78 c BCD2: #cores=1, #unrelaxed=0, #relaxed=99, #hardened=0 5.69/5.78 c BCD2: #sat=3 #unsat=33 bias=33/36 5.69/5.78 c Solving starts ... 5.69/5.78 c ============================[ Search Statistics ]============================ 5.69/5.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.78 c | | | | Limit GC | Var | Constra 5.69/5.78 c ============================================================================= 5.69/5.78 c 0.0s | 0 | 0 | 0 | 370 0 | 153 | 356 5.69/5.79 c 0.0s | 1 | 181 | 100 | 370 0 | 153 | 358 5.79/5.81 c 0.0s | 2 | 403 | 250 | 370 0 | 153 | 358 5.79/5.83 c 0.1s | 3 | 823 | 475 | 370 0 | 153 | 358 5.79/5.87 c 0.1s | 4 | 1412 | 813 | 370 1 | 153 | 358 5.89/5.92 c 0.1s | 5 | 2270 | 1320 | 370 3 | 153 | 358 5.99/6.01 c 0.2s | 6 | 3863 | 2081 | 370 6 | 153 | 358 6.09/6.13 c 0.4s | 7 | 6221 | 3223 | 370 10 | 153 | 358 6.29/6.31 c 0.5s | 8 | 9475 | 4936 | 370 17 | 153 | 358 6.48/6.58 c 0.8s | 9 | 14335 | 7506 | 370 26 | 153 | 358 6.89/6.98 c 1.2s | 10 | 21854 | 11361 | 408 40 | 153 | 358 7.49/7.58 c 1.8s | 11 | 32879 | 17144 | 408 60 | 153 | 358 8.48/8.50 c 2.7s | 12 | 49334 | 25819 | 408 91 | 153 | 358 9.78/9.86 c 4.1s | 13 | 75650 | 38832 | 408 136 | 153 | 358 11.78/11.86 c 6.1s | 13 | 111439 | 57532 | 449 200 | 153 | 358 11.89/11.95 c 6.2s | 14 | 113027 | 58352 | 449 203 | 153 | 358 13.89/13.96 c 8.2s | 14 | 148347 | 76652 | 449 262 | 153 | 358 15.08/15.17 c 9.4s | 15 | 169469 | 87632 | 449 298 | 153 | 358 17.09/17.18 c 11.4s | 15 | 206551 | 106732 | 449 360 | 153 | 358 19.08/19.18 c 13.4s | 15 | 244215 | 126132 | 494 422 | 153 | 358 19.69/19.75 c 14.0s | 16 | 254467 | 131552 | 494 438 | 153 | 358 21.68/21.75 c 16.0s | 16 | 290093 | 150552 | 494 496 | 153 | 358 23.68/23.75 c 18.0s | 16 | 326083 | 169852 | 494 554 | 153 | 358 25.69/25.76 c 20.0s | 16 | 362523 | 188952 | 494 612 | 153 | 358 26.58/26.64 c 20.9s | 17 | 378909 | 197432 | 494 638 | 153 | 358 28.59/28.64 c 22.9s | 17 | 414130 | 216532 | 494 696 | 153 | 358 30.59/30.65 c 24.9s | 17 | 447868 | 235232 | 544 748 | 153 | 358 32.58/32.66 c 26.9s | 17 | 482389 | 253932 | 544 801 | 153 | 358 34.58/34.66 c 28.9s | 17 | 514753 | 272732 | 544 854 | 153 | 358 36.59/36.66 c 30.9s | 17 | 548285 | 292132 | 544 908 | 153 | 358 36.99/37.08 c 31.3s | 18 | 555353 | 296252 | 544 920 | 153 | 358 38.98/39.09 c 33.3s | 18 | 589223 | 315252 | 544 973 | 153 | 358 40.98/41.09 c 35.3s | 18 | 624055 | 334652 | 544 1028 | 153 | 358 43.08/43.10 c 37.3s | 18 | 659546 | 354052 | 544 1083 | 153 | 358 44.98/45.10 c 39.3s | 18 | 695016 | 373252 | 599 1135 | 153 | 358 47.08/47.10 c 41.3s | 18 | 729028 | 392452 | 599 1185 | 153 | 358 49.08/49.10 c 43.3s | 18 | 763623 | 411852 | 599 1236 | 153 | 358 51.08/51.10 c 45.3s | 18 | 798088 | 431052 | 599 1286 | 153 | 358 52.48/52.53 c 46.7s | 19 | 821876 | 444482 | 599 1322 | 153 | 358 54.48/54.53 c 48.8s | 19 | 855080 | 463282 | 599 1371 | 153 | 358 56.48/56.54 c 50.8s | 19 | 887416 | 481482 | 599 1418 | 153 | 358 58.48/58.55 c 52.8s | 19 | 919819 | 499782 | 599 1466 | 153 | 358 60.49/60.55 c 54.8s | 19 | 954063 | 517782 | 599 1513 | 153 | 358 62.48/62.55 c 56.8s | 19 | 988525 | 535482 | 599 1559 | 153 | 358 64.48/64.56 c 58.8s | 19 | 1021461 | 553482 | 599 1606 | 153 | 358 66.48/66.57 c 60.8s | 19 | 1053044 | 570882 | 599 1651 | 153 | 358 68.48/68.58 c 62.8s | 19 | 1084176 | 588382 | 659 1696 | 153 | 358 70.48/70.58 c 64.8s | 19 | 1116423 | 605582 | 659 1738 | 153 | 358 72.48/72.58 c 66.8s | 19 | 1149548 | 622882 | 659 1780 | 153 | 358 74.48/74.59 c 68.8s | 19 | 1182132 | 640282 | 659 1822 | 153 | 358 76.48/76.59 c 70.8s | 19 | 1214669 | 658182 | 659 1865 | 153 | 358 77.48/77.55 c 71.8s | 20 | 1229234 | 666827 | 659 1886 | 153 | 358 79.48/79.55 c 73.8s | 20 | 1261738 | 684927 | 659 1930 | 153 | 358 81.48/81.56 c 75.8s | 20 | 1294648 | 702727 | 659 1973 | 153 | 358 83.48/83.57 c 77.8s | 20 | 1326276 | 720427 | 659 2016 | 153 | 358 85.48/85.57 c 79.8s | 20 | 1356042 | 737927 | 659 2059 | 153 | 358 87.48/87.58 c 81.8s | 20 | 1387228 | 755527 | 659 2102 | 153 | 358 89.48/89.59 c 83.8s | 20 | 1418642 | 773127 | 659 2144 | 153 | 358 91.48/91.59 c 85.8s | 20 | 1450330 | 790527 | 659 2187 | 153 | 358 93.48/93.59 c 87.8s | 20 | 1482377 | 808327 | 659 2230 | 153 | 358 95.47/95.59 c 89.8s | 20 | 1515696 | 825827 | 659 2273 | 153 | 358 97.57/97.60 c 91.8s | 20 | 1548746 | 843027 | 659 2314 | 153 | 358 99.57/99.60 c 93.8s | 20 | 1579191 | 860727 | 659 2358 | 153 | 358 101.57/101.61 c 95.8s | 20 | 1612570 | 878427 | 659 2401 | 153 | 358 103.57/103.61 c 97.8s | 20 | 1644548 | 896027 | 659 2444 | 153 | 358 105.58/105.62 c 99.8s | 20 | 1677200 | 913627 | 659 2487 | 153 | 358 105.58/105.67 c 99.9s | 20 | 1678022 | 914047 | 659 2488 | 153 | 358 105.58/105.67 c #cpu_time = 99.888s 105.58/105.67 c #wall_clock_time = 99.891s 105.58/105.67 c #decision = 1678022 105.58/105.67 c #random_decision = 4307 105.58/105.67 c #conflict = 914047 105.58/105.67 c #restart = 20 105.58/105.67 o 694 105.58/105.67 c BCD2: updating upper bound: 697 -> 693 105.58/105.67 c BCD2: 670 <= obj <= 693 105.58/105.67 c BCD2: #cores=1, #unrelaxed=0, #relaxed=99, #hardened=0 105.58/105.67 c BCD2: #sat=4 #unsat=33 bias=33/37 105.58/105.67 c Solving starts ... 105.58/105.67 c ============================[ Search Statistics ]============================ 105.58/105.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 105.58/105.67 c | | | | Limit GC | Var | Constra 105.58/105.67 c ============================================================================= 105.58/105.67 c 0.0s | 0 | 0 | 0 | 659 0 | 153 | 360 105.58/105.69 c 0.0s | 1 | 173 | 100 | 659 0 | 153 | 360 105.68/105.71 c 0.0s | 2 | 425 | 250 | 659 0 | 153 | 360 105.68/105.74 c 0.1s | 3 | 831 | 475 | 659 1 | 153 | 360 105.68/105.78 c 0.1s | 4 | 1421 | 813 | 659 2 | 153 | 360 105.77/105.85 c 0.2s | 5 | 2320 | 1320 | 659 3 | 153 | 360 105.87/105.96 c 0.3s | 6 | 3832 | 2081 | 659 5 | 153 | 360 105.98/106.09 c 0.4s | 7 | 5949 | 3223 | 725 7 | 153 | 360 106.28/106.30 c 0.6s | 8 | 9208 | 4936 | 725 11 | 153 | 360 106.48/106.59 c 0.9s | 9 | 14577 | 7506 | 725 17 | 153 | 360 106.98/107.03 c 1.4s | 10 | 21952 | 11361 | 725 25 | 153 | 360 107.68/107.72 c 2.0s | 11 | 32633 | 17144 | 725 38 | 153 | 360 108.68/108.70 c 3.0s | 12 | 49302 | 25819 | 725 58 | 153 | 360 110.08/110.19 c 4.5s | 13 | 74561 | 38832 | 725 87 | 153 | 360 112.07/112.19 c 6.5s | 13 | 107372 | 56332 | 725 126 | 153 | 360 112.37/112.43 c 6.8s | 14 | 111110 | 58352 | 725 131 | 153 | 360 114.38/114.43 c 8.8s | 14 | 145721 | 76352 | 725 171 | 153 | 360 115.67/115.70 c 10.0s | 15 | 167737 | 87632 | 725 196 | 153 | 360 117.68/117.71 c 12.0s | 15 | 200963 | 105832 | 725 237 | 153 | 360 119.67/119.71 c 14.0s | 15 | 233407 | 123832 | 725 277 | 153 | 360 120.47/120.57 c 14.9s | 16 | 246220 | 131552 | 725 295 | 153 | 360 122.47/122.57 c 16.9s | 16 | 280587 | 149752 | 725 336 | 153 | 360 124.47/124.58 c 18.9s | 16 | 313936 | 168352 | 725 377 | 153 | 360 126.47/126.59 c 20.9s | 16 | 346693 | 187252 | 725 420 | 153 | 360 127.57/127.69 c 22.0s | 17 | 364258 | 197432 | 725 443 | 153 | 360 129.57/129.69 c 24.0s | 17 | 399013 | 215932 | 725 484 | 153 | 360 131.57/131.69 c 26.0s | 17 | 434874 | 234132 | 725 525 | 153 | 360 133.66/133.70 c 28.0s | 17 | 468424 | 252132 | 725 565 | 153 | 360 135.67/135.70 c 30.0s | 17 | 502982 | 270532 | 725 607 | 153 | 360 137.67/137.71 c 32.0s | 17 | 539473 | 289032 | 725 648 | 153 | 360 138.37/138.47 c 32.8s | 18 | 553724 | 296252 | 725 665 | 153 | 360 140.36/140.47 c 34.8s | 18 | 591194 | 314752 | 725 706 | 153 | 360 142.37/142.48 c 36.8s | 18 | 628459 | 333552 | 725 749 | 153 | 360 144.37/144.48 c 38.8s | 18 | 665094 | 352252 | 725 790 | 153 | 360 146.37/146.48 c 40.8s | 18 | 702283 | 371052 | 725 833 | 153 | 360 148.36/148.49 c 42.8s | 18 | 738032 | 389752 | 725 874 | 153 | 360 150.46/150.50 c 44.8s | 18 | 770928 | 407852 | 725 915 | 153 | 360 152.47/152.50 c 46.8s | 18 | 804463 | 425952 | 725 955 | 153 | 360 154.46/154.50 c 48.8s | 18 | 838862 | 444252 | 725 996 | 153 | 360 154.46/154.53 c 48.9s | 19 | 839246 | 444482 | 725 997 | 153 | 360 156.47/156.54 c 50.9s | 19 | 872426 | 462582 | 725 1038 | 153 | 360 158.48/158.54 c 52.9s | 19 | 905262 | 480682 | 725 1078 | 153 | 360 160.47/160.54 c 54.9s | 19 | 938622 | 499182 | 725 1120 | 153 | 360 162.47/162.55 c 56.9s | 19 | 971393 | 517482 | 798 1158 | 153 | 360 164.47/164.56 c 58.9s | 19 | 1003586 | 535482 | 798 1195 | 153 | 360 166.46/166.57 c 60.9s | 19 | 1034447 | 553582 | 798 1232 | 153 | 360 168.46/168.57 c 62.9s | 19 | 1063989 | 571482 | 798 1269 | 153 | 360 170.47/170.58 c 64.9s | 19 | 1095216 | 588682 | 798 1305 | 153 | 360 172.46/172.58 c 66.9s | 19 | 1124235 | 606082 | 798 1341 | 153 | 360 174.46/174.58 c 68.9s | 19 | 1154293 | 623982 | 798 1378 | 153 | 360 176.47/176.59 c 70.9s | 19 | 1184440 | 642182 | 798 1416 | 153 | 360 178.56/178.60 c 72.9s | 19 | 1216215 | 660082 | 798 1453 | 153 | 360 179.27/179.37 c 73.7s | 20 | 1227708 | 666827 | 798 1467 | 153 | 360 181.26/181.38 c 75.7s | 20 | 1258282 | 684527 | 798 1504 | 153 | 360 183.26/183.38 c 77.7s | 20 | 1288425 | 702227 | 798 1541 | 153 | 360 185.26/185.39 c 79.7s | 20 | 1318359 | 719727 | 798 1577 | 153 | 360 187.26/187.39 c 81.7s | 20 | 1347900 | 737827 | 798 1615 | 153 | 360 189.36/189.40 c 83.7s | 20 | 1377558 | 756027 | 798 1653 | 153 | 360 191.26/191.40 c 85.7s | 20 | 1407163 | 773627 | 798 1689 | 153 | 360 193.36/193.40 c 87.7s | 20 | 1437646 | 791327 | 798 1726 | 153 | 360 195.36/195.40 c 89.7s | 20 | 1467504 | 808927 | 798 1762 | 153 | 360 197.36/197.41 c 91.7s | 20 | 1497238 | 826727 | 798 1799 | 153 | 360 199.36/199.41 c 93.7s | 20 | 1526597 | 844327 | 798 1836 | 153 | 360 201.36/201.41 c 95.7s | 20 | 1558058 | 861927 | 798 1872 | 153 | 360 203.36/203.43 c 97.8s | 20 | 1589472 | 879327 | 798 1909 | 153 | 360 205.36/205.44 c 99.8s | 20 | 1619351 | 896327 | 798 1944 | 153 | 360 207.36/207.44 c 101s | 20 | 1648754 | 913627 | 798 1980 | 153 | 360 209.35/209.45 c 103s | 20 | 1678480 | 931627 | 798 2017 | 153 | 360 211.35/211.46 c 105s | 20 | 1708756 | 949127 | 798 2054 | 153 | 360 213.36/213.46 c 107s | 20 | 1738967 | 966727 | 798 2090 | 153 | 360 215.36/215.46 c 109s | 20 | 1768686 | 984827 | 798 2128 | 153 | 360 217.06/217.13 c 111s | 21 | 1793751 | 1000345 | 798 2160 | 153 | 360 219.05/219.13 c 113s | 21 | 1825434 | 1018745 | 798 2198 | 153 | 360 221.06/221.14 c 115s | 21 | 1858294 | 1037445 | 798 2237 | 153 | 360 223.05/223.14 c 117s | 21 | 1889621 | 1055445 | 798 2274 | 153 | 360 225.06/225.15 c 119s | 21 | 1922159 | 1073445 | 798 2312 | 153 | 360 227.06/227.17 c 121s | 21 | 1953833 | 1091245 | 798 2349 | 153 | 360 229.06/229.17 c 123s | 21 | 1985379 | 1109345 | 798 2386 | 153 | 360 231.06/231.17 c 125s | 21 | 2016627 | 1127145 | 798 2423 | 153 | 360 233.05/233.18 c 127s | 21 | 2049647 | 1144945 | 798 2460 | 153 | 360 235.05/235.19 c 129s | 21 | 2081852 | 1162945 | 798 2498 | 153 | 360 237.05/237.20 c 131s | 21 | 2112728 | 1181145 | 798 2535 | 153 | 360 239.15/239.20 c 133s | 21 | 2144420 | 1199245 | 798 2573 | 153 | 360 241.15/241.20 c 135s | 21 | 2176879 | 1217145 | 798 2610 | 153 | 360 243.06/243.20 c 137s | 21 | 2207216 | 1234145 | 798 2645 | 153 | 360 245.15/245.21 c 139s | 21 | 2237634 | 1251045 | 878 2679 | 153 | 360 247.15/247.22 c 141s | 21 | 2268088 | 1268245 | 878 2712 | 153 | 360 249.15/249.22 c 143s | 21 | 2300203 | 1286145 | 878 2746 | 153 | 360 251.15/251.23 c 145s | 21 | 2332345 | 1304045 | 878 2781 | 153 | 360 253.15/253.24 c 147s | 21 | 2363542 | 1321745 | 878 2814 | 153 | 360 255.15/255.24 c 149s | 21 | 2395721 | 1338945 | 878 2848 | 153 | 360 257.15/257.25 c 151s | 21 | 2425838 | 1356245 | 878 2881 | 153 | 360 259.15/259.25 c 153s | 21 | 2457349 | 1373645 | 878 2914 | 153 | 360 261.15/261.26 c 155s | 21 | 2489415 | 1391345 | 878 2948 | 153 | 360 263.15/263.27 c 157s | 21 | 2522504 | 1408945 | 878 2982 | 153 | 360 265.15/265.27 c 159s | 21 | 2552898 | 1425945 | 878 3015 | 153 | 360 267.15/267.28 c 161s | 21 | 2583558 | 1443545 | 878 3048 | 153 | 360 269.15/269.28 c 163s | 21 | 2613714 | 1460945 | 878 3082 | 153 | 360 271.15/271.28 c 165s | 21 | 2644410 | 1478845 | 878 3116 | 153 | 360 273.15/273.29 c 167s | 21 | 2675307 | 1496745 | 878 3151 | 153 | 360 273.65/273.70 c 168s | 22 | 2682315 | 1500622 | 878 3158 | 153 | 360 275.65/275.70 c 170s | 22 | 2713602 | 1518622 | 878 3193 | 153 | 360 277.65/277.71 c 172s | 22 | 2743972 | 1536222 | 878 3226 | 153 | 360 279.65/279.71 c 174s | 22 | 2773541 | 1553322 | 878 3259 | 153 | 360 281.66/281.71 c 176s | 22 | 2802127 | 1570822 | 878 3293 | 153 | 360 283.65/283.72 c 178s | 22 | 2833109 | 1588522 | 878 3327 | 153 | 360 285.64/285.72 c 180s | 22 | 2862977 | 1605922 | 878 3360 | 153 | 360 287.65/287.73 c 182s | 22 | 2893650 | 1623122 | 878 3393 | 153 | 360 289.64/289.74 c 184s | 22 | 2923708 | 1640822 | 878 3427 | 153 | 360 291.64/291.75 c 186s | 22 | 2954519 | 1658122 | 878 3460 | 153 | 360 293.65/293.76 c 188s | 22 | 2986067 | 1675122 | 878 3492 | 153 | 360 295.65/295.77 c 190s | 22 | 3017356 | 1692422 | 878 3526 | 153 | 360 297.64/297.78 c 192s | 22 | 3049400 | 1709922 | 878 3559 | 153 | 360 299.65/299.78 c 194s | 22 | 3080216 | 1727122 | 878 3592 | 153 | 360 301.65/301.79 c 196s | 22 | 3113396 | 1744722 | 878 3626 | 153 | 360 303.65/303.79 c 198s | 22 | 3145612 | 1761822 | 878 3659 | 153 | 360 305.65/305.79 c 200s | 22 | 3175768 | 1778822 | 878 3691 | 153 | 360 307.75/307.80 c 202s | 22 | 3208338 | 1796222 | 878 3724 | 153 | 360 309.75/309.80 c 204s | 22 | 3238743 | 1813322 | 878 3757 | 153 | 360 311.74/311.81 c 206s | 22 | 3269040 | 1831322 | 878 3792 | 153 | 360 313.74/313.81 c 208s | 22 | 3301507 | 1849322 | 878 3826 | 153 | 360 315.75/315.81 c 210s | 22 | 3333605 | 1867522 | 878 3861 | 153 | 360 317.74/317.82 c 212s | 22 | 3366737 | 1885222 | 878 3895 | 153 | 360 319.74/319.82 c 214s | 22 | 3399034 | 1903322 | 878 3930 | 153 | 360 321.74/321.82 c 216s | 22 | 3432921 | 1921922 | 878 3966 | 153 | 360 323.74/323.83 c 218s | 22 | 3466917 | 1940022 | 878 4001 | 153 | 360 325.74/325.84 c 220s | 22 | 3497686 | 1957722 | 878 4035 | 153 | 360 327.74/327.85 c 222s | 22 | 3530138 | 1975422 | 878 4069 | 153 | 360 329.74/329.85 c 224s | 22 | 3565593 | 1993122 | 878 4103 | 153 | 360 331.74/331.86 c 226s | 22 | 3599468 | 2010522 | 878 4136 | 153 | 360 333.74/333.86 c 228s | 22 | 3634389 | 2028122 | 878 4170 | 153 | 360 335.73/335.88 c 230s | 22 | 3667687 | 2045222 | 878 4202 | 153 | 360 337.74/337.88 c 232s | 22 | 3698487 | 2062622 | 878 4236 | 153 | 360 339.74/339.88 c 234s | 22 | 3731075 | 2080222 | 878 4269 | 153 | 360 341.74/341.88 c 236s | 22 | 3760367 | 2097522 | 878 4302 | 153 | 360 343.74/343.89 c 238s | 22 | 3794774 | 2115222 | 878 4336 | 153 | 360 345.84/345.90 c 240s | 22 | 3822832 | 2132422 | 878 4369 | 153 | 360 347.84/347.91 c 242s | 22 | 3853166 | 2150022 | 878 4403 | 153 | 360 349.84/349.91 c 244s | 22 | 3886215 | 2167422 | 878 4436 | 153 | 360 351.83/351.91 c 246s | 22 | 3917736 | 2184822 | 878 4469 | 153 | 360 353.83/353.92 c 248s | 22 | 3949918 | 2202422 | 878 4503 | 153 | 360 355.83/355.93 c 250s | 22 | 3983302 | 2220322 | 878 4538 | 153 | 360 357.83/357.94 c 252s | 22 | 4014688 | 2238022 | 878 4572 | 153 | 360 359.23/359.39 c 253s | 23 | 4036298 | 2251038 | 878 4597 | 153 | 360 361.33/361.40 c 255s | 23 | 4070011 | 2268738 | 878 4631 | 153 | 360 363.33/363.41 c 257s | 23 | 4104544 | 2286838 | 878 4665 | 153 | 360 365.33/365.42 c 259s | 23 | 4137112 | 2304338 | 878 4699 | 153 | 360 367.34/367.43 c 261s | 23 | 4172919 | 2322238 | 878 4733 | 153 | 360 369.33/369.43 c 263s | 23 | 4209614 | 2340438 | 878 4768 | 153 | 360 371.33/371.43 c 265s | 23 | 4246278 | 2358738 | 878 4803 | 153 | 360 373.34/373.44 c 267s | 23 | 4280561 | 2376338 | 966 4835 | 153 | 360 375.33/375.45 c 269s | 23 | 4316932 | 2394338 | 966 4867 | 153 | 360 377.34/377.46 c 271s | 23 | 4352281 | 2412338 | 966 4899 | 153 | 360 379.34/379.47 c 273s | 23 | 4389151 | 2430338 | 966 4930 | 153 | 360 381.33/381.47 c 275s | 23 | 4424924 | 2448138 | 966 4962 | 153 | 360 383.33/383.48 c 277s | 23 | 4459854 | 2465738 | 966 4993 | 153 | 360 385.33/385.48 c 279s | 23 | 4493815 | 2483038 | 966 5024 | 153 | 360 387.33/387.49 c 281s | 23 | 4528773 | 2500538 | 966 5055 | 153 | 360 389.33/389.49 c 283s | 23 | 4562483 | 2518038 | 966 5086 | 153 | 360 391.43/391.50 c 285s | 23 | 4594698 | 2535238 | 966 5116 | 153 | 360 393.43/393.50 c 287s | 23 | 4626718 | 2552438 | 966 5146 | 153 | 360 395.43/395.51 c 289s | 23 | 4659409 | 2569638 | 966 5177 | 153 | 360 397.43/397.51 c 291s | 23 | 4691199 | 2587238 | 966 5208 | 153 | 360 399.42/399.52 c 293s | 23 | 4723717 | 2604838 | 966 5239 | 153 | 360 401.43/401.53 c 295s | 23 | 4757665 | 2622738 | 966 5271 | 153 | 360 403.42/403.54 c 297s | 23 | 4791123 | 2640838 | 966 5303 | 153 | 360 405.43/405.54 c 299s | 23 | 4823608 | 2658338 | 966 5334 | 153 | 360 407.43/407.56 c 301s | 23 | 4856663 | 2675838 | 966 5365 | 153 | 360 409.43/409.57 c 303s | 23 | 4890231 | 2693638 | 966 5396 | 153 | 360 411.43/411.57 c 305s | 23 | 4925383 | 2711638 | 966 5428 | 153 | 360 413.43/413.59 c 307s | 23 | 4961460 | 2729938 | 966 5461 | 153 | 360 415.43/415.59 c 309s | 23 | 4995584 | 2747538 | 966 5492 | 153 | 360 417.52/417.60 c 311s | 23 | 5029581 | 2765038 | 966 5522 | 153 | 360 419.52/419.60 c 313s | 23 | 5062315 | 2782238 | 966 5553 | 153 | 360 421.53/421.61 c 315s | 23 | 5095032 | 2799638 | 966 5584 | 153 | 360 423.53/423.61 c 317s | 23 | 5127686 | 2816738 | 966 5614 | 153 | 360 425.53/425.62 c 319s | 23 | 5161665 | 2834038 | 966 5644 | 153 | 360 427.52/427.63 c 321s | 23 | 5192054 | 2850838 | 966 5674 | 153 | 360 429.52/429.63 c 323s | 23 | 5222982 | 2868138 | 966 5705 | 153 | 360 431.52/431.65 c 325s | 23 | 5257064 | 2885638 | 966 5736 | 153 | 360 433.52/433.65 c 327s | 23 | 5289979 | 2903338 | 966 5767 | 153 | 360 435.52/435.65 c 329s | 23 | 5322306 | 2920638 | 966 5798 | 153 | 360 437.52/437.66 c 331s | 23 | 5354235 | 2937938 | 966 5828 | 153 | 360 439.52/439.67 c 333s | 23 | 5386182 | 2955538 | 966 5859 | 153 | 360 441.52/441.68 c 336s | 23 | 5417527 | 2973238 | 966 5891 | 153 | 360 443.62/443.70 c 338s | 23 | 5448076 | 2991038 | 966 5922 | 153 | 360 445.62/445.70 c 340s | 23 | 5478899 | 3008738 | 966 5954 | 153 | 360 447.63/447.70 c 342s | 23 | 5511810 | 3026438 | 966 5985 | 153 | 360 449.62/449.71 c 344s | 23 | 5544411 | 3044038 | 966 6016 | 153 | 360 451.62/451.71 c 346s | 23 | 5575290 | 3061738 | 966 6047 | 153 | 360 453.62/453.72 c 348s | 23 | 5606083 | 3079138 | 966 6078 | 153 | 360 455.62/455.72 c 350s | 23 | 5639765 | 3096738 | 966 6109 | 153 | 360 457.63/457.73 c 352s | 23 | 5672535 | 3114438 | 966 6140 | 153 | 360 459.62/459.73 c 354s | 23 | 5703901 | 3131738 | 966 6171 | 153 | 360 461.62/461.73 c 356s | 23 | 5736035 | 3149138 | 966 6202 | 153 | 360 463.62/463.74 c 358s | 23 | 5766978 | 3166238 | 966 6232 | 153 | 360 465.62/465.74 c 360s | 23 | 5800082 | 3183338 | 966 6262 | 153 | 360 467.61/467.74 c 362s | 23 | 5830867 | 3200538 | 966 6293 | 153 | 360 469.62/469.75 c 364s | 23 | 5862184 | 3218438 | 966 6324 | 153 | 360 471.62/471.77 c 366s | 23 | 5893582 | 3236738 | 966 6357 | 153 | 360 473.61/473.77 c 368s | 23 | 5928282 | 3255038 | 966 6389 | 153 | 360 475.62/475.78 c 370s | 23 | 5961739 | 3273338 | 966 6421 | 153 | 360 477.62/477.78 c 372s | 23 | 5994062 | 3291538 | 966 6454 | 153 | 360 479.62/479.78 c 374s | 23 | 6025928 | 3309538 | 966 6485 | 153 | 360 481.62/481.79 c 376s | 23 | 6057970 | 3327538 | 966 6517 | 153 | 360 483.71/483.80 c 378s | 23 | 6089971 | 3345238 | 966 6549 | 153 | 360 485.71/485.81 c 380s | 23 | 6123361 | 3363338 | 966 6581 | 153 | 360 487.22/487.32 c 381s | 24 | 6147738 | 3376662 | 966 6604 | 153 | 360 489.21/489.32 c 383s | 24 | 6178740 | 3394862 | 966 6636 | 153 | 360 491.21/491.33 c 385s | 24 | 6210248 | 3412162 | 966 6667 | 153 | 360 493.21/493.33 c 387s | 24 | 6240612 | 3429462 | 966 6697 | 153 | 360 495.22/495.34 c 389s | 24 | 6271157 | 3447062 | 966 6728 | 153 | 360 497.22/497.35 c 391s | 24 | 6302104 | 3465062 | 966 6760 | 153 | 360 499.22/499.35 c 393s | 24 | 6332982 | 3482962 | 966 6791 | 153 | 360 501.21/501.35 c 395s | 24 | 6364061 | 3500562 | 966 6822 | 153 | 360 503.21/503.36 c 397s | 24 | 6393581 | 3518162 | 966 6854 | 153 | 360 505.21/505.38 c 399s | 24 | 6422001 | 3535862 | 966 6885 | 153 | 360 507.21/507.38 c 401s | 24 | 6451146 | 3553462 | 966 6916 | 153 | 360 509.22/509.39 c 403s | 24 | 6480734 | 3570862 | 966 6946 | 153 | 360 511.31/511.40 c 405s | 24 | 6509644 | 3588062 | 966 6977 | 153 | 360 513.31/513.41 c 407s | 24 | 6538755 | 3605362 | 966 7007 | 153 | 360 515.31/515.41 c 409s | 24 | 6566865 | 3622262 | 966 7037 | 153 | 360 517.31/517.42 c 411s | 24 | 6595919 | 3639162 | 966 7067 | 153 | 360 519.31/519.43 c 413s | 24 | 6624115 | 3655862 | 966 7096 | 153 | 360 521.32/521.43 c 415s | 24 | 6652540 | 3673062 | 966 7127 | 153 | 360 523.31/523.44 c 417s | 24 | 6681451 | 3690862 | 966 7158 | 153 | 360 525.31/525.45 c 419s | 24 | 6710395 | 3707862 | 966 7188 | 153 | 360 527.31/527.46 c 421s | 24 | 6738866 | 3724962 | 966 7218 | 153 | 360 529.31/529.46 c 423s | 24 | 6767882 | 3742562 | 966 7249 | 153 | 360 531.32/531.46 c 425s | 24 | 6797881 | 3759762 | 966 7280 | 153 | 360 533.31/533.47 c 427s | 24 | 6827085 | 3777062 | 966 7310 | 153 | 360 535.31/535.47 c 429s | 24 | 6856419 | 3794162 | 966 7341 | 153 | 360 537.30/537.48 c 431s | 24 | 6886988 | 3811362 | 966 7371 | 153 | 360 539.31/539.49 c 433s | 24 | 6916628 | 3828562 | 966 7401 | 153 | 360 541.40/541.50 c 435s | 24 | 6947167 | 3845862 | 966 7432 | 153 | 360 543.41/543.51 c 437s | 24 | 6978055 | 3862862 | 966 7462 | 153 | 360 545.41/545.51 c 439s | 24 | 7009286 | 3879962 | 966 7492 | 153 | 360 547.41/547.52 c 441s | 24 | 7041884 | 3897262 | 966 7522 | 153 | 360 549.40/549.52 c 443s | 24 | 7072254 | 3914162 | 966 7552 | 153 | 360 551.40/551.53 c 445s | 24 | 7102490 | 3930962 | 966 7582 | 153 | 360 553.41/553.54 c 447s | 24 | 7131752 | 3947862 | 966 7612 | 153 | 360 555.41/555.55 c 449s | 24 | 7163029 | 3964362 | 966 7641 | 153 | 360 557.40/557.55 c 451s | 24 | 7192984 | 3981562 | 966 7671 | 153 | 360 559.41/559.56 c 453s | 24 | 7223210 | 3998962 | 966 7702 | 153 | 360 561.41/561.56 c 455s | 24 | 7254315 | 4016062 | 966 7732 | 153 | 360 563.41/563.57 c 457s | 24 | 7284678 | 4032562 | 966 7761 | 153 | 360 565.41/565.58 c 459s | 24 | 7315123 | 4049162 | 1063 7789 | 153 | 360 567.40/567.58 c 461s | 24 | 7345130 | 4065762 | 1063 7816 | 153 | 360 569.40/569.59 c 463s | 24 | 7376261 | 4082662 | 1063 7844 | 153 | 360 571.50/571.60 c 465s | 24 | 7407586 | 4099862 | 1063 7871 | 153 | 360 573.50/573.60 c 467s | 24 | 7440080 | 4116762 | 1063 7899 | 153 | 360 575.51/575.61 c 469s | 24 | 7470374 | 4133562 | 1063 7926 | 153 | 360 577.51/577.62 c 471s | 24 | 7501854 | 4150462 | 1063 7954 | 153 | 360 579.50/579.62 c 473s | 24 | 7533736 | 4167562 | 1063 7982 | 153 | 360 581.50/581.63 c 475s | 24 | 7565109 | 4184562 | 1063 8010 | 153 | 360 583.50/583.63 c 477s | 24 | 7596749 | 4201262 | 1063 8037 | 153 | 360 585.50/585.64 c 479s | 24 | 7629154 | 4218062 | 1063 8064 | 153 | 360 587.50/587.65 c 481s | 24 | 7661476 | 4235262 | 1063 8092 | 153 | 360 589.51/589.66 c 483s | 24 | 7691576 | 4251962 | 1063 8119 | 153 | 360 591.50/591.66 c 485s | 24 | 7722010 | 4269462 | 1063 8148 | 153 | 360 593.50/593.67 c 487s | 24 | 7752046 | 4286962 | 1063 8176 | 153 | 360 595.50/595.68 c 490s | 24 | 7783138 | 4304362 | 1063 8205 | 153 | 360 597.50/597.69 c 492s | 24 | 7814008 | 4321462 | 1063 8232 | 153 | 360 599.51/599.69 c 494s | 24 | 7846714 | 4338762 | 1063 8261 | 153 | 360 601.50/601.70 c 496s | 24 | 7878954 | 4355862 | 1063 8288 | 153 | 360 603.60/603.70 c 498s | 24 | 7909488 | 4372862 | 1063 8316 | 153 | 360 605.60/605.71 c 500s | 24 | 7941193 | 4390062 | 1063 8344 | 153 | 360 607.60/607.72 c 502s | 24 | 7972430 | 4407662 | 1063 8373 | 153 | 360 609.60/609.73 c 504s | 24 | 8000117 | 4424962 | 1063 8401 | 153 | 360 611.60/611.74 c 506s | 24 | 8029360 | 4442262 | 1063 8429 | 153 | 360 613.60/613.74 c 508s | 24 | 8063292 | 4459662 | 1063 8457 | 153 | 360 615.60/615.75 c 510s | 24 | 8097139 | 4477062 | 1063 8485 | 153 | 360 617.59/617.75 c 512s | 24 | 8131374 | 4494562 | 1063 8514 | 153 | 360 619.59/619.76 c 514s | 24 | 8164047 | 4512362 | 1063 8543 | 153 | 360 621.59/621.76 c 516s | 24 | 8198505 | 4530062 | 1063 8572 | 153 | 360 623.60/623.77 c 518s | 24 | 8231933 | 4547762 | 1063 8600 | 153 | 360 625.59/625.78 c 520s | 24 | 8266380 | 4565562 | 1063 8629 | 153 | 360 627.59/627.78 c 522s | 24 | 8300912 | 4583162 | 1063 8658 | 153 | 360 629.59/629.79 c 524s | 24 | 8335300 | 4601062 | 1063 8687 | 153 | 360 631.70/631.80 c 526s | 24 | 8368829 | 4618662 | 1063 8716 | 153 | 360 633.70/633.80 c 528s | 24 | 8402962 | 4636462 | 1063 8745 | 153 | 360 635.60/635.80 c 530s | 24 | 8436300 | 4653962 | 1063 8773 | 153 | 360 637.70/637.81 c 532s | 24 | 8465308 | 4670862 | 1063 8801 | 153 | 360 639.69/639.82 c 534s | 24 | 8494503 | 4688262 | 1063 8829 | 153 | 360 641.69/641.82 c 536s | 24 | 8524799 | 4705162 | 1063 8857 | 153 | 360 643.69/643.83 c 538s | 24 | 8553834 | 4722262 | 1063 8885 | 153 | 360 645.70/645.83 c 540s | 24 | 8582780 | 4739462 | 1063 8913 | 153 | 360 647.69/647.83 c 542s | 24 | 8612313 | 4756762 | 1063 8941 | 153 | 360 649.69/649.84 c 544s | 24 | 8641702 | 4773662 | 1063 8969 | 153 | 360 651.69/651.84 c 546s | 24 | 8671870 | 4790762 | 1063 8996 | 153 | 360 653.69/653.84 c 548s | 24 | 8701735 | 4807462 | 1063 9023 | 153 | 360 655.69/655.85 c 550s | 24 | 8732245 | 4823762 | 1063 9050 | 153 | 360 657.69/657.86 c 552s | 24 | 8762400 | 4840562 | 1063 9078 | 153 | 360 659.68/659.87 c 554s | 24 | 8791338 | 4857062 | 1063 9105 | 153 | 360 661.69/661.88 c 556s | 24 | 8822542 | 4873962 | 1063 9132 | 153 | 360 663.69/663.89 c 558s | 24 | 8852788 | 4890962 | 1063 9160 | 153 | 360 665.69/665.89 c 560s | 24 | 8884883 | 4908262 | 1063 9188 | 153 | 360 667.79/667.90 c 562s | 24 | 8914495 | 4924762 | 1063 9215 | 153 | 360 669.79/669.92 c 564s | 24 | 8943861 | 4941662 | 1063 9243 | 153 | 360 671.79/671.93 c 566s | 24 | 8973340 | 4958862 | 1063 9271 | 153 | 360 673.79/673.93 c 568s | 24 | 9003650 | 4976162 | 1063 9299 | 153 | 360 675.78/675.94 c 570s | 24 | 9033361 | 4993162 | 1063 9327 | 153 | 360 677.78/677.95 c 572s | 24 | 9063550 | 5010262 | 1063 9355 | 153 | 360 679.80/679.95 c 574s | 24 | 9093094 | 5026762 | 1063 9382 | 153 | 360 681.79/681.95 c 576s | 24 | 9122114 | 5044162 | 1063 9410 | 153 | 360 683.79/683.96 c 578s | 24 | 9151218 | 5062162 | 1063 9439 | 153 | 360 684.10/684.27 c 578s | 25 | 9156206 | 5065098 | 1063 9444 | 153 | 360 686.09/686.28 c 580s | 25 | 9185674 | 5082098 | 1063 9472 | 153 | 360 688.09/688.29 c 582s | 25 | 9214017 | 5099198 | 1063 9500 | 153 | 360 690.09/690.29 c 584s | 25 | 9243093 | 5116498 | 1063 9528 | 153 | 360 692.18/692.30 c 586s | 25 | 9272157 | 5133998 | 1063 9556 | 153 | 360 694.18/694.30 c 588s | 25 | 9301972 | 5150798 | 1063 9584 | 153 | 360 696.19/696.31 c 590s | 25 | 9330795 | 5167998 | 1063 9612 | 153 | 360 698.18/698.31 c 592s | 25 | 9360365 | 5185498 | 1063 9640 | 153 | 360 700.18/700.32 c 594s | 25 | 9391295 | 5203098 | 1063 9669 | 153 | 360 702.18/702.32 c 596s | 25 | 9422574 | 5220198 | 1063 9697 | 153 | 360 704.19/704.33 c 598s | 25 | 9452497 | 5237098 | 1063 9725 | 153 | 360 706.19/706.34 c 600s | 25 | 9480797 | 5254398 | 1063 9753 | 153 | 360 708.18/708.34 c 602s | 25 | 9510790 | 5271598 | 1063 9781 | 153 | 360 710.18/710.34 c 604s | 25 | 9539377 | 5288198 | 1063 9808 | 153 | 360 712.18/712.35 c 606s | 25 | 9568087 | 5305098 | 1063 9835 | 153 | 360 714.18/714.36 c 608s | 25 | 9595577 | 5321598 | 1063 9862 | 153 | 360 716.18/716.36 c 610s | 25 | 9623968 | 5338298 | 1063 9889 | 153 | 360 718.19/718.37 c 612s | 25 | 9651608 | 5355298 | 1063 9917 | 153 | 360 720.18/720.38 c 614s | 25 | 9679894 | 5372698 | 1063 9946 | 153 | 360 722.17/722.38 c 616s | 25 | 9708054 | 5389898 | 1063 9974 | 153 | 360 724.18/724.39 c 618s | 25 | 9738762 | 5407498 | 1063 10002 | 153 | 360 726.18/726.39 c 620s | 25 | 9769087 | 5425098 | 1063 10031 | 153 | 360 728.19/728.39 c 622s | 25 | 9798816 | 5442498 | 1063 10060 | 153 | 360 730.17/730.40 c 624s | 25 | 9827644 | 5459498 | 1063 10087 | 153 | 360 732.27/732.40 c 626s | 25 | 9855059 | 5476198 | 1063 10115 | 153 | 360 734.28/734.41 c 628s | 25 | 9883558 | 5492998 | 1063 10142 | 153 | 360 736.28/736.42 c 630s | 25 | 9915510 | 5510098 | 1063 10170 | 153 | 360 738.28/738.42 c 632s | 25 | 9943169 | 5526998 | 1063 10198 | 153 | 360 740.29/740.42 c 634s | 25 | 9973699 | 5544398 | 1063 10226 | 153 | 360 742.28/742.42 c 636s | 25 | 10001155 | 5561698 | 1063 10254 | 153 | 360 744.28/744.43 c 638s | 25 | 10031690 | 5578998 | 1063 10283 | 153 | 360 746.28/746.44 c 640s | 25 | 10060904 | 5596098 | 1063 10311 | 153 | 360 748.28/748.45 c 642s | 25 | 10092534 | 5613498 | 1063 10339 | 153 | 360 750.28/750.45 c 644s | 25 | 10123940 | 5630198 | 1063 10367 | 153 | 360 752.28/752.46 c 646s | 25 | 10155035 | 5647298 | 1063 10395 | 153 | 360 754.27/754.46 c 648s | 25 | 10181999 | 5664098 | 1063 10422 | 153 | 360 756.27/756.47 c 650s | 25 | 10208372 | 5681098 | 1063 10450 | 153 | 360 758.27/758.47 c 652s | 25 | 10239240 | 5698998 | 1063 10479 | 153 | 360 760.27/760.48 c 654s | 25 | 10268059 | 5716798 | 1063 10508 | 153 | 360 762.28/762.49 c 656s | 25 | 10298913 | 5734598 | 1063 10537 | 153 | 360 764.27/764.49 c 658s | 25 | 10327889 | 5752198 | 1063 10566 | 153 | 360 766.27/766.49 c 660s | 25 | 10357443 | 5770198 | 1063 10595 | 153 | 360 768.37/768.50 c 662s | 25 | 10385808 | 5787498 | 1063 10624 | 153 | 360 770.37/770.50 c 664s | 25 | 10416029 | 5805198 | 1063 10653 | 153 | 360 772.37/772.50 c 666s | 25 | 10445617 | 5822698 | 1063 10682 | 153 | 360 774.38/774.51 c 668s | 25 | 10473350 | 5840498 | 1063 10711 | 153 | 360 776.37/776.51 c 670s | 25 | 10503962 | 5858198 | 1063 10740 | 153 | 360 778.37/778.51 c 672s | 25 | 10532259 | 5875798 | 1063 10768 | 153 | 360 780.37/780.52 c 674s | 25 | 10560745 | 5893698 | 1063 10798 | 153 | 360 782.37/782.53 c 676s | 25 | 10588042 | 5911098 | 1063 10826 | 153 | 360 784.37/784.54 c 678s | 25 | 10616016 | 5928898 | 1063 10855 | 153 | 360 786.38/786.54 c 680s | 25 | 10644766 | 5946598 | 1063 10884 | 153 | 360 788.37/788.55 c 682s | 25 | 10676255 | 5963898 | 1063 10912 | 153 | 360 790.37/790.55 c 684s | 25 | 10706359 | 5981498 | 1063 10940 | 153 | 360 792.37/792.55 c 686s | 25 | 10735576 | 5998698 | 1063 10968 | 153 | 360 794.36/794.56 c 688s | 25 | 10765311 | 6016398 | 1063 10997 | 153 | 360 796.37/796.56 c 690s | 25 | 10795426 | 6033698 | 1063 11025 | 153 | 360 798.36/798.57 c 692s | 25 | 10824125 | 6051298 | 1063 11054 | 153 | 360 800.36/800.57 c 694s | 25 | 10853994 | 6068898 | 1063 11082 | 153 | 360 802.36/802.58 c 696s | 25 | 10882378 | 6086598 | 1063 11111 | 153 | 360 804.36/804.59 c 698s | 25 | 10911983 | 6104498 | 1063 11140 | 153 | 360 806.36/806.59 c 700s | 25 | 10941593 | 6121798 | 1063 11168 | 153 | 360 808.37/808.59 c 702s | 25 | 10969522 | 6139098 | 1063 11197 | 153 | 360 810.37/810.59 c 704s | 25 | 10997720 | 6156598 | 1063 11225 | 153 | 360 812.36/812.59 c 706s | 25 | 11026342 | 6174198 | 1063 11254 | 153 | 360 814.46/814.60 c 708s | 25 | 11054073 | 6191698 | 1063 11282 | 153 | 360 816.46/816.61 c 710s | 25 | 11082499 | 6209098 | 1063 11311 | 153 | 360 818.46/818.62 c 712s | 25 | 11110570 | 6226498 | 1063 11339 | 153 | 360 820.47/820.62 c 714s | 25 | 11141123 | 6244898 | 1063 11369 | 153 | 360 822.46/822.63 c 716s | 25 | 11169711 | 6262898 | 1063 11398 | 153 | 360 824.46/824.63 c 718s | 25 | 11197929 | 6280698 | 1063 11427 | 153 | 360 826.46/826.64 c 720s | 25 | 11227030 | 6298698 | 1063 11457 | 153 | 360 828.46/828.65 c 722s | 25 | 11256632 | 6316598 | 1063 11486 | 153 | 360 830.46/830.66 c 724s | 25 | 11284962 | 6334298 | 1063 11515 | 153 | 360 832.46/832.66 c 726s | 25 | 11313313 | 6352098 | 1063 11544 | 153 | 360 834.45/834.67 c 729s | 25 | 11342605 | 6369598 | 1063 11573 | 153 | 360 836.45/836.68 c 731s | 25 | 11376419 | 6388198 | 1063 11603 | 153 | 360 838.45/838.68 c 733s | 25 | 11408738 | 6406298 | 1063 11632 | 153 | 360 840.45/840.69 c 735s | 25 | 11439615 | 6424098 | 1063 11661 | 153 | 360 842.45/842.69 c 737s | 25 | 11470598 | 6441898 | 1063 11690 | 153 | 360 844.44/844.69 c 739s | 25 | 11500326 | 6459498 | 1063 11719 | 153 | 360 846.45/846.69 c 741s | 25 | 11529594 | 6477298 | 1063 11748 | 153 | 360 848.45/848.69 c 743s | 25 | 11558028 | 6494598 | 1063 11776 | 153 | 360 850.55/850.70 c 745s | 25 | 11587165 | 6511998 | 1063 11804 | 153 | 360 852.55/852.71 c 747s | 25 | 11620593 | 6530198 | 1063 11834 | 153 | 360 854.55/854.71 c 749s | 25 | 11652768 | 6548198 | 1063 11863 | 153 | 360 856.55/856.72 c 751s | 25 | 11685135 | 6566098 | 1170 11890 | 153 | 360 858.54/858.72 c 753s | 25 | 11714050 | 6583698 | 1170 11916 | 153 | 360 860.54/860.73 c 755s | 25 | 11742636 | 6601598 | 1170 11943 | 153 | 360 862.54/862.73 c 757s | 25 | 11773635 | 6620098 | 1170 11971 | 153 | 360 864.55/864.74 c 759s | 25 | 11804005 | 6638198 | 1170 11998 | 153 | 360 866.54/866.75 c 761s | 25 | 11833411 | 6655898 | 1170 12024 | 153 | 360 868.54/868.75 c 763s | 25 | 11861852 | 6673098 | 1170 12050 | 153 | 360 870.53/870.76 c 765s | 25 | 11889704 | 6689998 | 1170 12075 | 153 | 360 872.54/872.76 c 767s | 25 | 11919005 | 6707698 | 1170 12101 | 153 | 360 874.53/874.77 c 769s | 25 | 11947647 | 6725198 | 1170 12127 | 153 | 360 876.54/876.78 c 771s | 25 | 11975679 | 6742598 | 1170 12153 | 153 | 360 878.54/878.79 c 773s | 25 | 12004460 | 6760498 | 1170 12180 | 153 | 360 880.63/880.80 c 775s | 25 | 12032616 | 6777898 | 1170 12206 | 153 | 360 882.63/882.80 c 777s | 25 | 12060105 | 6794698 | 1170 12231 | 153 | 360 884.63/884.81 c 779s | 25 | 12090880 | 6812198 | 1170 12258 | 153 | 360 886.63/886.81 c 781s | 25 | 12122360 | 6830198 | 1170 12285 | 153 | 360 888.63/888.82 c 783s | 25 | 12152627 | 6847598 | 1170 12311 | 153 | 360 890.62/890.83 c 785s | 25 | 12183708 | 6865098 | 1170 12337 | 153 | 360 892.63/892.84 c 787s | 25 | 12213549 | 6882098 | 1170 12362 | 153 | 360 894.62/894.84 c 789s | 25 | 12241129 | 6899298 | 1170 12388 | 153 | 360 896.62/896.84 c 791s | 25 | 12269411 | 6916698 | 1170 12414 | 153 | 360 898.63/898.85 c 793s | 25 | 12297052 | 6933298 | 1170 12439 | 153 | 360 900.62/900.86 c 795s | 25 | 12325028 | 6950898 | 1170 12465 | 153 | 360 902.63/902.87 c 797s | 25 | 12353859 | 6968298 | 1170 12491 | 153 | 360 904.62/904.88 c 799s | 25 | 12381739 | 6985198 | 1170 12516 | 153 | 360 906.62/906.88 c 801s | 25 | 12410526 | 7002398 | 1170 12542 | 153 | 360 908.62/908.89 c 803s | 25 | 12440335 | 7019698 | 1170 12568 | 153 | 360 910.62/910.90 c 805s | 25 | 12470143 | 7036698 | 1170 12593 | 153 | 360 912.71/912.91 c 807s | 25 | 12499560 | 7054098 | 1170 12619 | 153 | 360 914.72/914.91 c 809s | 25 | 12527837 | 7071098 | 1170 12645 | 153 | 360 916.72/916.92 c 811s | 25 | 12554893 | 7088098 | 1170 12670 | 153 | 360 918.71/918.92 c 813s | 25 | 12585240 | 7105498 | 1170 12696 | 153 | 360 920.71/920.92 c 815s | 25 | 12614155 | 7123498 | 1170 12723 | 153 | 360 922.72/922.93 c 817s | 25 | 12643022 | 7140998 | 1170 12749 | 153 | 360 924.71/924.93 c 819s | 25 | 12671815 | 7158698 | 1170 12776 | 153 | 360 926.71/926.93 c 821s | 25 | 12701467 | 7176798 | 1170 12803 | 153 | 360 928.71/928.94 c 823s | 25 | 12731216 | 7194398 | 1170 12829 | 153 | 360 930.70/930.94 c 825s | 25 | 12759333 | 7211998 | 1170 12856 | 153 | 360 932.72/932.95 c 827s | 25 | 12789540 | 7229898 | 1170 12882 | 153 | 360 934.70/934.95 c 829s | 25 | 12819267 | 7247798 | 1170 12909 | 153 | 360 936.71/936.96 c 831s | 25 | 12847929 | 7265198 | 1170 12935 | 153 | 360 938.71/938.97 c 833s | 25 | 12876008 | 7282298 | 1170 12961 | 153 | 360 940.71/940.97 c 835s | 25 | 12903499 | 7299198 | 1170 12986 | 153 | 360 942.70/942.97 c 837s | 25 | 12932707 | 7315898 | 1170 13011 | 153 | 360 944.71/944.98 c 839s | 25 | 12962255 | 7332598 | 1170 13036 | 153 | 360 946.70/946.99 c 841s | 25 | 12991498 | 7349198 | 1170 13061 | 153 | 360 948.70/948.99 c 843s | 25 | 13022185 | 7366198 | 1170 13086 | 153 | 360 950.80/951.00 c 845s | 25 | 13051630 | 7383098 | 1170 13111 | 153 | 360 952.80/953.01 c 847s | 25 | 13082925 | 7400498 | 1170 13137 | 153 | 360 954.80/955.01 c 849s | 25 | 13111383 | 7416998 | 1170 13162 | 153 | 360 956.81/957.03 c 851s | 25 | 13141344 | 7434098 | 1170 13188 | 153 | 360 958.80/959.04 c 853s | 25 | 13171327 | 7451098 | 1170 13213 | 153 | 360 960.80/961.04 c 855s | 25 | 13198527 | 7467598 | 1170 13238 | 153 | 360 962.80/963.04 c 857s | 25 | 13226449 | 7483998 | 1170 13262 | 153 | 360 964.80/965.05 c 859s | 25 | 13253817 | 7500398 | 1170 13287 | 153 | 360 966.80/967.06 c 861s | 25 | 13280813 | 7517198 | 1170 13312 | 153 | 360 968.79/969.06 c 863s | 25 | 13308279 | 7534098 | 1170 13337 | 153 | 360 970.79/971.06 c 865s | 25 | 13334172 | 7550498 | 1170 13362 | 153 | 360 972.79/973.08 c 867s | 25 | 13363650 | 7567198 | 1170 13387 | 153 | 360 974.80/975.09 c 869s | 25 | 13391765 | 7584098 | 1170 13412 | 153 | 360 976.49/976.72 c 871s | 26 | 13414241 | 7597752 | 1170 13432 | 153 | 360 978.49/978.73 c 873s | 26 | 13442381 | 7614252 | 1170 13457 | 153 | 360 980.49/980.74 c 875s | 26 | 13471112 | 7631052 | 1170 13482 | 153 | 360 982.48/982.75 c 877s | 26 | 13501108 | 7648052 | 1170 13507 | 153 | 360 984.48/984.76 c 879s | 26 | 13530592 | 7664952 | 1170 13533 | 153 | 360 986.49/986.76 c 881s | 26 | 13560349 | 7681752 | 1170 13558 | 153 | 360 988.49/988.77 c 883s | 26 | 13590027 | 7699152 | 1170 13584 | 153 | 360 990.48/990.77 c 885s | 26 | 13619505 | 7716652 | 1170 13610 | 153 | 360 992.48/992.78 c 887s | 26 | 13649843 | 7734252 | 1170 13636 | 153 | 360 994.48/994.79 c 889s | 26 | 13679757 | 7750552 | 1170 13660 | 153 | 360 996.49/996.80 c 891s | 26 | 13708761 | 7767352 | 1170 13685 | 153 | 360 998.48/998.80 c 893s | 26 | 13736730 | 7783352 | 1170 13709 | 153 | 360 1000.58/1000.80 c 895s | 26 | 13763542 | 7799652 | 1170 13733 | 153 | 360 1002.58/1002.81 c 897s | 26 | 13792390 | 7815852 | 1170 13758 | 153 | 360 1004.57/1004.83 c 899s | 26 | 13820316 | 7832352 | 1170 13782 | 153 | 360 1006.57/1006.83 c 901s | 26 | 13848548 | 7848852 | 1170 13807 | 153 | 360 1008.59/1008.84 c 903s | 26 | 13877880 | 7864752 | 1170 13830 | 153 | 360 1010.57/1010.85 c 905s | 26 | 13906825 | 7880752 | 1170 13854 | 153 | 360 1012.57/1012.85 c 907s | 26 | 13934266 | 7896752 | 1170 13878 | 153 | 360 1014.57/1014.86 c 909s | 26 | 13962512 | 7913352 | 1170 13903 | 153 | 360 1016.57/1016.86 c 911s | 26 | 13990483 | 7929852 | 1170 13928 | 153 | 360 1018.57/1018.88 c 913s | 26 | 14021138 | 7946552 | 1170 13952 | 153 | 360 1020.58/1020.88 c 915s | 26 | 14048573 | 7962752 | 1170 13977 | 153 | 360 1022.56/1022.88 c 917s | 26 | 14076802 | 7979452 | 1170 14001 | 153 | 360 1024.57/1024.89 c 919s | 26 | 14103746 | 7996152 | 1170 14026 | 153 | 360 1026.57/1026.89 c 921s | 26 | 14131673 | 8013052 | 1170 14052 | 153 | 360 1028.66/1028.90 c 923s | 26 | 14158542 | 8029652 | 1170 14076 | 153 | 360 1030.66/1030.90 c 925s | 26 | 14185056 | 8045952 | 1170 14101 | 153 | 360 1032.66/1032.91 c 927s | 26 | 14213108 | 8062652 | 1170 14126 | 153 | 360 1034.66/1034.92 c 929s | 26 | 14240657 | 8079652 | 1170 14151 | 153 | 360 1036.66/1036.92 c 931s | 26 | 14267774 | 8096352 | 1170 14176 | 153 | 360 1038.66/1038.92 c 933s | 26 | 14295584 | 8113052 | 1170 14201 | 153 | 360 1040.66/1040.93 c 935s | 26 | 14322924 | 8130052 | 1170 14226 | 153 | 360 1042.66/1042.94 c 937s | 26 | 14350389 | 8146752 | 1170 14251 | 153 | 360 1044.66/1044.95 c 939s | 26 | 14378464 | 8163852 | 1170 14276 | 153 | 360 1046.65/1046.97 c 941s | 26 | 14406420 | 8180652 | 1170 14302 | 153 | 360 1048.65/1048.97 c 943s | 26 | 14434331 | 8197552 | 1170 14327 | 153 | 360 1050.65/1050.97 c 945s | 26 | 14462852 | 8214252 | 1170 14352 | 153 | 360 1052.65/1052.98 c 947s | 26 | 14489459 | 8230052 | 1170 14375 | 153 | 360 1054.66/1054.99 c 949s | 26 | 14517470 | 8246652 | 1170 14400 | 153 | 360 1056.64/1056.99 c 951s | 26 | 14545954 | 8263752 | 1170 14426 | 153 | 360 1058.65/1058.99 c 953s | 26 | 14573241 | 8280652 | 1170 14451 | 153 | 360 1060.74/1061.00 c 955s | 26 | 14601013 | 8296952 | 1170 14475 | 153 | 360 1062.74/1063.01 c 957s | 26 | 14630204 | 8313352 | 1170 14500 | 153 | 360 1064.74/1065.01 c 959s | 26 | 14660600 | 8330352 | 1170 14525 | 153 | 360 1066.75/1067.01 c 961s | 26 | 14690719 | 8347252 | 1170 14551 | 153 | 360 1068.75/1069.01 c 963s | 26 | 14721073 | 8364252 | 1170 14576 | 153 | 360 1070.74/1071.02 c 965s | 26 | 14750794 | 8380952 | 1170 14601 | 153 | 360 1072.74/1073.03 c 967s | 26 | 14781725 | 8398052 | 1170 14626 | 153 | 360 1074.74/1075.03 c 969s | 26 | 14812561 | 8415052 | 1170 14652 | 153 | 360 1076.74/1077.04 c 971s | 26 | 14841959 | 8431652 | 1170 14677 | 153 | 360 1078.73/1079.05 c 973s | 26 | 14871147 | 8448352 | 1170 14702 | 153 | 360 1080.73/1081.06 c 975s | 26 | 14901164 | 8465352 | 1170 14727 | 153 | 360 1082.73/1083.06 c 977s | 26 | 14930617 | 8482552 | 1170 14753 | 153 | 360 1084.73/1085.08 c 979s | 26 | 14959929 | 8499852 | 1170 14778 | 153 | 360 1086.73/1087.08 c 981s | 26 | 14989228 | 8516952 | 1170 14804 | 153 | 360 1088.74/1089.09 c 983s | 26 | 15019573 | 8534352 | 1170 14830 | 153 | 360 1090.72/1091.09 c 985s | 26 | 15049156 | 8551552 | 1170 14856 | 153 | 360 1092.72/1093.09 c 987s | 26 | 15078198 | 8568452 | 1170 14881 | 153 | 360 1094.73/1095.09 c 989s | 26 | 15107664 | 8585352 | 1170 14906 | 153 | 360 1096.83/1097.11 c 991s | 26 | 15136900 | 8602352 | 1170 14932 | 153 | 360 1098.83/1099.11 c 993s | 26 | 15166841 | 8619252 | 1170 14957 | 153 | 360 1100.82/1101.12 c 995s | 26 | 15197016 | 8636752 | 1170 14983 | 153 | 360 1102.82/1103.13 c 997s | 26 | 15227296 | 8654052 | 1170 15009 | 153 | 360 1104.82/1105.14 c 999s | 26 | 15258166 | 8671552 | 1170 15035 | 153 | 360 1106.83/1107.15 c 1001s | 26 | 15288397 | 8688752 | 1170 15060 | 153 | 360 1108.82/1109.15 c 1003s | 26 | 15317656 | 8706052 | 1170 15086 | 153 | 360 1110.83/1111.16 c 1005s | 26 | 15348007 | 8723352 | 1170 15112 | 153 | 360 1112.82/1113.16 c 1007s | 26 | 15378696 | 8740252 | 1170 15137 | 153 | 360 1114.82/1115.17 c 1009s | 26 | 15408892 | 8757552 | 1170 15163 | 153 | 360 1116.82/1117.17 c 1011s | 26 | 15439262 | 8775152 | 1170 15189 | 153 | 360 1118.82/1119.19 c 1013s | 26 | 15467975 | 8792052 | 1170 15215 | 153 | 360 1120.81/1121.19 c 1015s | 26 | 15498250 | 8809452 | 1170 15241 | 153 | 360 1122.82/1123.19 c 1017s | 26 | 15526746 | 8826252 | 1170 15266 | 153 | 360 1124.81/1125.20 c 1019s | 26 | 15553546 | 8842652 | 1170 15290 | 153 | 360 1126.92/1127.20 c 1021s | 26 | 15581294 | 8859052 | 1170 15315 | 153 | 360 1128.92/1129.21 c 1023s | 26 | 15608450 | 8875652 | 1170 15340 | 153 | 360 1130.91/1131.21 c 1025s | 26 | 15636595 | 8892052 | 1170 15364 | 153 | 360 1132.91/1133.21 c 1027s | 26 | 15664442 | 8908552 | 1170 15389 | 153 | 360 1134.91/1135.22 c 1029s | 26 | 15692731 | 8925252 | 1170 15414 | 153 | 360 1136.90/1137.22 c 1031s | 26 | 15720900 | 8941252 | 1170 15438 | 153 | 360 1138.90/1139.23 c 1033s | 26 | 15747070 | 8957652 | 1170 15462 | 153 | 360 1140.90/1141.24 c 1035s | 26 | 15774475 | 8973752 | 1170 15486 | 153 | 360 1142.91/1143.24 c 1037s | 26 | 15800638 | 8990052 | 1170 15511 | 153 | 360 1144.91/1145.24 c 1039s | 26 | 15827468 | 9006552 | 1170 15535 | 153 | 360 1146.90/1147.24 c 1041s | 26 | 15855049 | 9023252 | 1170 15560 | 153 | 360 1148.90/1149.25 c 1043s | 26 | 15882359 | 9039652 | 1170 15585 | 153 | 360 1150.90/1151.25 c 1045s | 26 | 15910871 | 9056852 | 1170 15611 | 153 | 360 1152.89/1153.25 c 1047s | 26 | 15938728 | 9073652 | 1170 15636 | 153 | 360 1154.90/1155.25 c 1049s | 26 | 15966473 | 9090352 | 1170 15661 | 153 | 360 1156.90/1157.25 c 1051s | 26 | 15993436 | 9106752 | 1170 15686 | 153 | 360 1158.90/1159.26 c 1053s | 26 | 16021403 | 9123752 | 1170 15711 | 153 | 360 1160.89/1161.27 c 1055s | 26 | 16048652 | 9140552 | 1170 15736 | 153 | 360 1162.89/1163.28 c 1057s | 26 | 16074574 | 9156952 | 1170 15761 | 153 | 360 1164.89/1165.28 c 1059s | 26 | 16100964 | 9173452 | 1170 15785 | 153 | 360 1166.89/1167.28 c 1061s | 26 | 16128519 | 9190352 | 1170 15811 | 153 | 360 1168.89/1169.28 c 1063s | 26 | 16155966 | 9206952 | 1170 15835 | 153 | 360 1170.88/1171.29 c 1065s | 26 | 16184135 | 9223952 | 1170 15861 | 153 | 360 1172.89/1173.29 c 1067s | 26 | 16212007 | 9240952 | 1170 15886 | 153 | 360 1174.99/1175.30 c 1069s | 26 | 16241480 | 9257552 | 1170 15911 | 153 | 360 1176.98/1177.31 c 1071s | 26 | 16272696 | 9274152 | 1170 15936 | 153 | 360 1178.99/1179.31 c 1073s | 26 | 16300561 | 9290852 | 1170 15961 | 153 | 360 1180.98/1181.32 c 1075s | 26 | 16331571 | 9307952 | 1170 15987 | 153 | 360 1182.98/1183.33 c 1077s | 26 | 16361446 | 9324552 | 1170 16012 | 153 | 360 1184.98/1185.34 c 1079s | 26 | 16387398 | 9341152 | 1170 16037 | 153 | 360 1186.98/1187.35 c 1081s | 26 | 16414588 | 9357552 | 1170 16061 | 153 | 360 1188.97/1189.35 c 1083s | 26 | 16442133 | 9373652 | 1170 16085 | 153 | 360 1190.98/1191.35 c 1085s | 26 | 16468881 | 9390252 | 1170 16110 | 153 | 360 1192.97/1193.36 c 1087s | 26 | 16496499 | 9407052 | 1170 16135 | 153 | 360 1194.97/1195.37 c 1089s | 26 | 16524389 | 9423852 | 1170 16160 | 153 | 360 1196.98/1197.38 c 1091s | 26 | 16551597 | 9440652 | 1170 16186 | 153 | 360 1198.97/1199.39 c 1093s | 26 | 16579706 | 9457552 | 1170 16211 | 153 | 360 1200.98/1201.39 c 1095s | 26 | 16607758 | 9474252 | 1170 16236 | 153 | 360 1203.07/1203.40 c 1097s | 26 | 16636189 | 9491252 | 1170 16262 | 153 | 360 1205.06/1205.40 c 1099s | 26 | 16664484 | 9508352 | 1170 16287 | 153 | 360 1207.07/1207.41 c 1101s | 26 | 16694141 | 9525252 | 1170 16312 | 153 | 360 1209.07/1209.42 c 1103s | 26 | 16722884 | 9541952 | 1170 16338 | 153 | 360 1211.06/1211.43 c 1105s | 26 | 16750244 | 9558652 | 1170 16363 | 153 | 360 1213.06/1213.43 c 1107s | 26 | 16776681 | 9575152 | 1170 16387 | 153 | 360 1215.06/1215.44 c 1109s | 26 | 16803052 | 9591752 | 1170 16412 | 153 | 360 1217.06/1217.44 c 1111s | 26 | 16828437 | 9608052 | 1170 16436 | 153 | 360 1219.05/1219.45 c 1113s | 26 | 16856645 | 9624852 | 1170 16461 | 153 | 360 1221.06/1221.46 c 1115s | 26 | 16884266 | 9641352 | 1170 16486 | 153 | 360 1223.06/1223.46 c 1117s | 26 | 16912265 | 9657852 | 1170 16510 | 153 | 360 1225.06/1225.47 c 1119s | 26 | 16940058 | 9674452 | 1170 16535 | 153 | 360 1227.06/1227.47 c 1121s | 26 | 16968092 | 9690752 | 1170 16559 | 153 | 360 1229.05/1229.47 c 1123s | 26 | 16994632 | 9707252 | 1170 16584 | 153 | 360 1231.05/1231.49 c 1125s | 26 | 17019996 | 9723352 | 1170 16608 | 153 | 360 1233.15/1233.50 c 1127s | 26 | 17046390 | 9739352 | 1170 16631 | 153 | 360 1235.15/1235.51 c 1129s | 26 | 17072531 | 9755152 | 1170 16655 | 153 | 360 1237.16/1237.51 c 1131s | 26 | 17099036 | 9771352 | 1170 16679 | 153 | 360 1239.15/1239.51 c 1133s | 26 | 17126178 | 9787352 | 1170 16703 | 153 | 360 1241.15/1241.52 c 1135s | 26 | 17154424 | 9803852 | 1170 16728 | 153 | 360 1243.14/1243.53 c 1137s | 26 | 17181533 | 9820452 | 1170 16752 | 153 | 360 1245.14/1245.53 c 1139s | 26 | 17209419 | 9837052 | 1170 16777 | 153 | 360 1247.15/1247.54 c 1141s | 26 | 17236724 | 9853552 | 1170 16802 | 153 | 360 1249.14/1249.54 c 1143s | 26 | 17264295 | 9869852 | 1170 16826 | 153 | 360 1251.14/1251.55 c 1145s | 26 | 17290369 | 9885952 | 1170 16850 | 153 | 360 1253.14/1253.55 c 1147s | 26 | 17316778 | 9902652 | 1170 16875 | 153 | 360 1255.14/1255.56 c 1149s | 26 | 17342649 | 9919252 | 1170 16900 | 153 | 360 1257.14/1257.57 c 1151s | 26 | 17370785 | 9935952 | 1170 16925 | 153 | 360 1259.15/1259.58 c 1153s | 26 | 17399671 | 9952352 | 1170 16949 | 153 | 360 1261.14/1261.59 c 1155s | 26 | 17427982 | 9968652 | 1170 16974 | 153 | 360 1263.24/1263.60 c 1157s | 26 | 17456291 | 9985352 | 1170 16998 | 153 | 360 1265.24/1265.61 c 1159s | 26 | 17485422 | 10002752 | 1170 17024 | 153 | 360 1267.23/1267.61 c 1161s | 26 | 17513595 | 10019252 | 1170 17049 | 153 | 360 1269.23/1269.62 c 1163s | 26 | 17540261 | 10035352 | 1170 17073 | 153 | 360 1271.24/1271.62 c 1165s | 26 | 17567160 | 10051452 | 1170 17097 | 153 | 360 1273.23/1273.63 c 1167s | 26 | 17593417 | 10067552 | 1170 17121 | 153 | 360 1275.23/1275.64 c 1169s | 26 | 17621743 | 10083852 | 1170 17145 | 153 | 360 1277.23/1277.64 c 1171s | 26 | 17652789 | 10100252 | 1170 17170 | 153 | 360 1279.22/1279.65 c 1173s | 26 | 17683209 | 10116652 | 1170 17194 | 153 | 360 1281.23/1281.66 c 1175s | 26 | 17713437 | 10133352 | 1170 17219 | 153 | 360 1283.23/1283.66 c 1177s | 26 | 17741467 | 10150352 | 1170 17245 | 153 | 360 1285.22/1285.67 c 1179s | 26 | 17770302 | 10167652 | 1170 17270 | 153 | 360 1287.23/1287.67 c 1181s | 26 | 17799178 | 10184152 | 1170 17295 | 153 | 360 1289.22/1289.68 c 1184s | 26 | 17827758 | 10200852 | 1170 17320 | 153 | 360 1291.22/1291.68 c 1186s | 26 | 17856816 | 10217152 | 1170 17344 | 153 | 360 1293.23/1293.69 c 1188s | 26 | 17884819 | 10233452 | 1170 17369 | 153 | 360 1295.32/1295.70 c 1190s | 26 | 17913015 | 10250052 | 1170 17393 | 153 | 360 1297.32/1297.71 c 1192s | 26 | 17940465 | 10266552 | 1170 17418 | 153 | 360 1299.32/1299.71 c 1194s | 26 | 17966591 | 10282752 | 1170 17442 | 153 | 360 1301.32/1301.72 c 1196s | 26 | 17995809 | 10299152 | 1170 17467 | 153 | 360 1303.32/1303.72 c 1198s | 26 | 18025206 | 10315852 | 1170 17492 | 153 | 360 1305.33/1305.72 c 1200s | 26 | 18055142 | 10332452 | 1287 17515 | 153 | 360 1307.32/1307.72 c 1202s | 26 | 18085257 | 10349152 | 1287 17538 | 153 | 360 1309.32/1309.73 c 1204s | 26 | 18112319 | 10365552 | 1287 17561 | 153 | 360 1311.31/1311.74 c 1206s | 26 | 18140435 | 10382252 | 1287 17584 | 153 | 360 1313.31/1313.74 c 1208s | 26 | 18168764 | 10398452 | 1287 17606 | 153 | 360 1315.32/1315.76 c 1210s | 26 | 18198088 | 10415052 | 1287 17629 | 153 | 360 1317.31/1317.77 c 1212s | 26 | 18226963 | 10431852 | 1287 17652 | 153 | 360 1319.31/1319.77 c 1214s | 26 | 18253569 | 10448352 | 1287 17674 | 153 | 360 1321.30/1321.78 c 1216s | 26 | 18280807 | 10464752 | 1287 17697 | 153 | 360 1323.31/1323.79 c 1218s | 26 | 18308029 | 10481252 | 1287 17719 | 153 | 360 1325.31/1325.79 c 1220s | 26 | 18333831 | 10497552 | 1287 17741 | 153 | 360 1327.31/1327.80 c 1222s | 26 | 18360339 | 10513752 | 1287 17764 | 153 | 360 1329.40/1329.81 c 1224s | 26 | 18385976 | 10529852 | 1287 17786 | 153 | 360 1331.40/1331.82 c 1226s | 26 | 18412887 | 10546352 | 1287 17808 | 153 | 360 1333.40/1333.82 c 1228s | 26 | 18439776 | 10562652 | 1287 17831 | 153 | 360 1335.40/1335.83 c 1230s | 26 | 18467946 | 10578752 | 1287 17853 | 153 | 360 1337.40/1337.84 c 1232s | 26 | 18494296 | 10594652 | 1287 17875 | 153 | 360 1339.41/1339.85 c 1234s | 26 | 18521251 | 10610952 | 1287 17897 | 153 | 360 1341.40/1341.86 c 1236s | 26 | 18548164 | 10626852 | 1287 17919 | 153 | 360 1343.39/1343.87 c 1238s | 26 | 18574143 | 10642652 | 1287 17940 | 153 | 360 1345.40/1345.88 c 1240s | 26 | 18602314 | 10659552 | 1287 17964 | 153 | 360 1347.39/1347.89 c 1242s | 26 | 18629009 | 10675952 | 1287 17986 | 153 | 360 1349.40/1349.90 c 1244s | 26 | 18655208 | 10692052 | 1287 18008 | 153 | 360 1351.39/1351.90 c 1246s | 26 | 18680821 | 10708252 | 1287 18030 | 153 | 360 1353.49/1353.91 c 1248s | 26 | 18707067 | 10723752 | 1287 18052 | 153 | 360 1355.49/1355.92 c 1250s | 26 | 18733732 | 10739652 | 1287 18074 | 153 | 360 1357.49/1357.93 c 1252s | 26 | 18761184 | 10755952 | 1287 18096 | 153 | 360 1359.49/1359.94 c 1254s | 26 | 18788179 | 10772452 | 1287 18119 | 153 | 360 1361.50/1361.94 c 1256s | 26 | 18814706 | 10788652 | 1287 18141 | 153 | 360 1363.49/1363.95 c 1258s | 26 | 18841701 | 10805052 | 1287 18163 | 153 | 360 1365.49/1365.95 c 1260s | 26 | 18867321 | 10821052 | 1287 18185 | 153 | 360 1367.48/1367.97 c 1262s | 26 | 18891969 | 10837052 | 1287 18207 | 153 | 360 1369.48/1369.98 c 1264s | 26 | 18916778 | 10852652 | 1287 18229 | 153 | 360 1371.48/1371.99 c 1266s | 26 | 18941401 | 10868352 | 1287 18250 | 153 | 360 1373.48/1373.99 c 1268s | 26 | 18967439 | 10884752 | 1287 18273 | 153 | 360 1375.47/1376.00 c 1270s | 26 | 18992812 | 10900552 | 1287 18294 | 153 | 360 1377.58/1378.00 c 1272s | 26 | 19018001 | 10916652 | 1287 18317 | 153 | 360 1379.58/1380.01 c 1274s | 26 | 19046114 | 10932952 | 1287 18339 | 153 | 360 1381.57/1382.02 c 1276s | 26 | 19074786 | 10949252 | 1287 18361 | 153 | 360 1383.57/1384.02 c 1278s | 26 | 19101269 | 10965352 | 1287 18383 | 153 | 360 1385.58/1386.03 c 1280s | 26 | 19127907 | 10981352 | 1287 18405 | 153 | 360 1387.57/1388.03 c 1282s | 26 | 19153851 | 10997552 | 1287 18427 | 153 | 360 1389.57/1390.04 c 1284s | 26 | 19179660 | 11013452 | 1287 18449 | 153 | 360 1391.56/1392.04 c 1286s | 26 | 19204634 | 11029352 | 1287 18471 | 153 | 360 1393.56/1394.05 c 1288s | 26 | 19229763 | 11045352 | 1287 18493 | 153 | 360 1395.58/1396.06 c 1290s | 26 | 19256368 | 11061352 | 1287 18515 | 153 | 360 1397.56/1398.07 c 1292s | 26 | 19283738 | 11077452 | 1287 18537 | 153 | 360 1399.56/1400.07 c 1294s | 26 | 19311830 | 11093352 | 1287 18559 | 153 | 360 1401.57/1402.07 c 1296s | 26 | 19338171 | 11109252 | 1287 18580 | 153 | 360 1403.56/1404.08 c 1298s | 26 | 19365922 | 11125452 | 1287 18603 | 153 | 360 1405.56/1406.09 c 1300s | 26 | 19394192 | 11141452 | 1287 18625 | 153 | 360 1407.57/1408.09 c 1302s | 26 | 19420749 | 11157052 | 1287 18646 | 153 | 360 1409.66/1410.10 c 1304s | 26 | 19445844 | 11171952 | 1287 18666 | 153 | 360 1411.66/1412.10 c 1306s | 26 | 19472119 | 11187352 | 1287 18687 | 153 | 360 1413.66/1414.11 c 1308s | 26 | 19498970 | 11203352 | 1287 18709 | 153 | 360 1415.66/1416.13 c 1310s | 26 | 19526550 | 11219652 | 1287 18732 | 153 | 360 1417.66/1418.14 c 1312s | 26 | 19554503 | 11235752 | 1287 18754 | 153 | 360 1419.66/1420.15 c 1314s | 26 | 19582320 | 11252052 | 1287 18776 | 153 | 360 1421.66/1422.15 c 1316s | 26 | 19610750 | 11268052 | 1287 18798 | 153 | 360 1423.66/1424.16 c 1318s | 26 | 19637105 | 11283952 | 1287 18820 | 153 | 360 1425.66/1426.17 c 1320s | 26 | 19663652 | 11300252 | 1287 18842 | 153 | 360 1427.66/1428.17 c 1322s | 26 | 19692508 | 11317152 | 1287 18865 | 153 | 360 1429.67/1430.18 c 1324s | 26 | 19719634 | 11333652 | 1287 18888 | 153 | 360 1431.66/1432.19 c 1326s | 26 | 19746833 | 11349652 | 1287 18910 | 153 | 360 1433.76/1434.20 c 1328s | 26 | 19774277 | 11365852 | 1287 18932 | 153 | 360 1435.76/1436.21 c 1330s | 26 | 19802069 | 11382152 | 1287 18954 | 153 | 360 1437.56/1438.06 c 1332s | 27 | 19825974 | 11396733 | 1287 18974 | 153 | 360 1439.56/1440.06 c 1334s | 27 | 19853313 | 11412433 | 1287 18996 | 153 | 360 1441.56/1442.07 c 1336s | 27 | 19881555 | 11428033 | 1287 19017 | 153 | 360 1443.56/1444.07 c 1338s | 27 | 19909753 | 11443333 | 1287 19038 | 153 | 360 1445.55/1446.07 c 1340s | 27 | 19937375 | 11458333 | 1287 19059 | 153 | 360 1447.56/1448.07 c 1342s | 27 | 19964822 | 11473233 | 1287 19079 | 153 | 360 1449.56/1450.08 c 1344s | 27 | 19990066 | 11488333 | 1287 19100 | 153 | 360 1451.57/1452.08 c 1346s | 27 | 20015683 | 11503433 | 1287 19120 | 153 | 360 1453.56/1454.09 c 1348s | 27 | 20041242 | 11519033 | 1287 19142 | 153 | 360 1455.55/1456.09 c 1350s | 27 | 20066983 | 11534233 | 1287 19162 | 153 | 360 1457.65/1458.11 c 1352s | 27 | 20094258 | 11550633 | 1287 19185 | 153 | 360 1459.66/1460.11 c 1354s | 27 | 20120793 | 11566333 | 1287 19206 | 153 | 360 1461.65/1462.12 c 1356s | 27 | 20145846 | 11581933 | 1287 19228 | 153 | 360 1463.66/1464.13 c 1358s | 27 | 20173047 | 11597833 | 1287 19249 | 153 | 360 1465.65/1466.13 c 1360s | 27 | 20197801 | 11613333 | 1287 19270 | 153 | 360 1467.65/1468.13 c 1362s | 27 | 20222177 | 11628833 | 1287 19292 | 153 | 360 1469.66/1470.14 c 1364s | 27 | 20247329 | 11644133 | 1287 19313 | 153 | 360 1471.65/1472.15 c 1366s | 27 | 20273223 | 11659833 | 1287 19334 | 153 | 360 1473.66/1474.16 c 1368s | 27 | 20299634 | 11675533 | 1287 19356 | 153 | 360 1475.66/1476.16 c 1370s | 27 | 20326263 | 11691233 | 1287 19377 | 153 | 360 1477.65/1478.17 c 1372s | 27 | 20351999 | 11707133 | 1287 19399 | 153 | 360 1479.65/1480.17 c 1374s | 27 | 20378873 | 11723233 | 1287 19421 | 153 | 360 1481.66/1482.18 c 1376s | 27 | 20406306 | 11739233 | 1287 19443 | 153 | 360 1483.66/1484.19 c 1378s | 27 | 20433652 | 11755233 | 1287 19465 | 153 | 360 1485.66/1486.19 c 1380s | 27 | 20460446 | 11770933 | 1287 19486 | 153 | 360 1487.75/1488.21 c 1382s | 27 | 20487669 | 11786133 | 1287 19507 | 153 | 360 1489.75/1490.21 c 1384s | 27 | 20513989 | 11800933 | 1287 19527 | 153 | 360 1491.75/1492.21 c 1386s | 27 | 20538997 | 11816133 | 1287 19548 | 153 | 360 1493.75/1494.21 c 1388s | 27 | 20568004 | 11831733 | 1287 19569 | 153 | 360 1495.75/1496.23 c 1390s | 27 | 20596792 | 11847733 | 1287 19591 | 153 | 360 1497.75/1498.23 c 1392s | 27 | 20624735 | 11863233 | 1287 19613 | 153 | 360 1499.75/1500.23 c 1394s | 27 | 20653068 | 11879133 | 1287 19634 | 153 | 360 1501.75/1502.23 c 1396s | 27 | 20679631 | 11894933 | 1287 19656 | 153 | 360 1503.75/1504.25 c 1398s | 27 | 20704830 | 11910233 | 1287 19677 | 153 | 360 1505.75/1506.25 c 1400s | 27 | 20730892 | 11925833 | 1287 19698 | 153 | 360 1507.75/1508.26 c 1402s | 27 | 20756518 | 11941433 | 1287 19720 | 153 | 360 1509.75/1510.26 c 1404s | 27 | 20782677 | 11956433 | 1287 19740 | 153 | 360 1511.75/1512.27 c 1406s | 27 | 20808626 | 11972233 | 1287 19762 | 153 | 360 1513.75/1514.27 c 1408s | 27 | 20833820 | 11987633 | 1287 19783 | 153 | 360 1515.75/1516.28 c 1410s | 27 | 20859052 | 12003233 | 1287 19804 | 153 | 360 1517.74/1518.29 c 1412s | 27 | 20885851 | 12018633 | 1287 19825 | 153 | 360 1519.85/1520.31 c 1414s | 27 | 20912837 | 12034033 | 1287 19846 | 153 | 360 1521.85/1522.32 c 1416s | 27 | 20939227 | 12049633 | 1287 19868 | 153 | 360 1523.85/1524.32 c 1418s | 27 | 20965358 | 12065233 | 1287 19889 | 153 | 360 1525.85/1526.33 c 1420s | 27 | 20990574 | 12080333 | 1287 19910 | 153 | 360 1527.85/1528.33 c 1422s | 27 | 21016558 | 12095833 | 1287 19931 | 153 | 360 1529.85/1530.34 c 1424s | 27 | 21042730 | 12111533 | 1287 19953 | 153 | 360 1531.85/1532.34 c 1426s | 27 | 21068625 | 12127133 | 1287 19974 | 153 | 360 1533.84/1534.35 c 1428s | 27 | 21095521 | 12143433 | 1287 19996 | 153 | 360 1535.84/1536.36 c 1430s | 27 | 21122856 | 12158933 | 1287 20018 | 153 | 360 1537.84/1538.37 c 1432s | 27 | 21150713 | 12174633 | 1287 20039 | 153 | 360 1539.84/1540.38 c 1434s | 27 | 21178539 | 12190433 | 1287 20061 | 153 | 360 1541.85/1542.39 c 1436s | 27 | 21204635 | 12205633 | 1287 20082 | 153 | 360 1543.84/1544.39 c 1438s | 27 | 21230412 | 12220733 | 1287 20102 | 153 | 360 1545.94/1546.40 c 1440s | 27 | 21256776 | 12235533 | 1287 20123 | 153 | 360 1547.94/1548.41 c 1442s | 27 | 21282119 | 12250833 | 1287 20144 | 153 | 360 1549.94/1550.42 c 1444s | 27 | 21308016 | 12265733 | 1287 20164 | 153 | 360 1551.94/1552.43 c 1446s | 27 | 21333572 | 12281233 | 1287 20185 | 153 | 360 1553.95/1554.44 c 1448s | 27 | 21359767 | 12296533 | 1287 20206 | 153 | 360 1555.94/1556.45 c 1450s | 27 | 21387478 | 12311733 | 1287 20227 | 153 | 360 1557.94/1558.46 c 1452s | 27 | 21416233 | 12327133 | 1287 20248 | 153 | 360 1559.94/1560.46 c 1454s | 27 | 21444232 | 12342333 | 1287 20269 | 153 | 360 1561.94/1562.47 c 1456s | 27 | 21472404 | 12357433 | 1287 20290 | 153 | 360 1563.93/1564.49 c 1458s | 27 | 21501125 | 12372833 | 1287 20311 | 153 | 360 1565.94/1566.50 c 1460s | 27 | 21529665 | 12388033 | 1287 20332 | 153 | 360 1568.04/1568.50 c 1462s | 27 | 21556078 | 12403333 | 1287 20353 | 153 | 360 1570.04/1570.57 c 1464s | 27 | 21582586 | 12418533 | 1287 20373 | 153 | 360 1572.04/1572.57 c 1466s | 27 | 21608648 | 12434233 | 1287 20395 | 153 | 360 1574.04/1574.58 c 1468s | 27 | 21635048 | 12449933 | 1287 20416 | 153 | 360 1576.03/1576.59 c 1470s | 27 | 21661094 | 12465333 | 1287 20437 | 153 | 360 1578.04/1578.60 c 1472s | 27 | 21686422 | 12480733 | 1287 20459 | 153 | 360 1580.13/1580.60 c 1474s | 27 | 21711527 | 12496433 | 1287 20480 | 153 | 360 1582.13/1582.61 c 1476s | 27 | 21738478 | 12512733 | 1287 20502 | 153 | 360 1584.14/1584.62 c 1478s | 27 | 21764799 | 12528933 | 1287 20525 | 153 | 360 1586.14/1586.63 c 1480s | 27 | 21792863 | 12544933 | 1287 20546 | 153 | 360 1588.14/1588.64 c 1482s | 27 | 21819780 | 12560633 | 1287 20568 | 153 | 360 1590.14/1590.65 c 1484s | 27 | 21846004 | 12576433 | 1287 20590 | 153 | 360 1592.14/1592.65 c 1486s | 27 | 21871482 | 12592233 | 1287 20611 | 153 | 360 1594.13/1594.66 c 1488s | 27 | 21899579 | 12608133 | 1287 20633 | 153 | 360 1596.13/1596.66 c 1490s | 27 | 21924809 | 12624133 | 1287 20655 | 153 | 360 1598.13/1598.66 c 1492s | 27 | 21951233 | 12639933 | 1287 20677 | 153 | 360 1600.14/1600.66 c 1494s | 27 | 21977672 | 12655933 | 1287 20699 | 153 | 360 1602.13/1602.67 c 1496s | 27 | 22003593 | 12672133 | 1287 20721 | 153 | 360 1604.13/1604.67 c 1498s | 27 | 22029331 | 12687433 | 1287 20742 | 153 | 360 1606.13/1606.68 c 1501s | 27 | 22054703 | 12702633 | 1287 20763 | 153 | 360 1608.13/1608.68 c 1503s | 27 | 22080048 | 12718133 | 1287 20784 | 153 | 360 1610.14/1610.68 c 1505s | 27 | 22107015 | 12734133 | 1287 20806 | 153 | 360 1612.14/1612.69 c 1507s | 27 | 22133684 | 12749833 | 1287 20827 | 153 | 360 1614.23/1614.70 c 1509s | 27 | 22159311 | 12765933 | 1287 20849 | 153 | 360 1616.23/1616.70 c 1511s | 27 | 22186712 | 12781833 | 1287 20871 | 153 | 360 1618.23/1618.70 c 1513s | 27 | 22215794 | 12798033 | 1287 20893 | 153 | 360 1620.23/1620.71 c 1515s | 27 | 22244858 | 12813633 | 1287 20914 | 153 | 360 1622.23/1622.72 c 1517s | 27 | 22273028 | 12829433 | 1287 20936 | 153 | 360 1624.23/1624.72 c 1519s | 27 | 22301707 | 12845133 | 1287 20958 | 153 | 360 1626.23/1626.72 c 1521s | 27 | 22328802 | 12861033 | 1287 20979 | 153 | 360 1628.22/1628.72 c 1523s | 27 | 22357715 | 12876833 | 1287 21001 | 153 | 360 1630.23/1630.73 c 1525s | 27 | 22385238 | 12892633 | 1287 21023 | 153 | 360 1632.23/1632.74 c 1527s | 27 | 22412912 | 12908133 | 1287 21044 | 153 | 360 1634.24/1634.75 c 1529s | 27 | 22439809 | 12923733 | 1287 21065 | 153 | 360 1636.23/1636.76 c 1531s | 27 | 22466581 | 12939333 | 1287 21087 | 153 | 360 1638.22/1638.77 c 1533s | 27 | 22493017 | 12955133 | 1287 21108 | 153 | 360 1640.22/1640.77 c 1535s | 27 | 22518261 | 12970533 | 1287 21130 | 153 | 360 1642.22/1642.77 c 1537s | 27 | 22544550 | 12986233 | 1287 21151 | 153 | 360 1644.22/1644.77 c 1539s | 27 | 22570114 | 13002033 | 1287 21172 | 153 | 360 1646.23/1646.78 c 1541s | 27 | 22595814 | 13017833 | 1287 21194 | 153 | 360 1648.22/1648.78 c 1543s | 27 | 22622036 | 13034033 | 1287 21216 | 153 | 360 1650.22/1650.79 c 1545s | 27 | 22650186 | 13050033 | 1287 21238 | 153 | 360 1652.32/1652.80 c 1547s | 27 | 22680536 | 13066533 | 1287 21261 | 153 | 360 1654.33/1654.80 c 1549s | 27 | 22708500 | 13082833 | 1287 21283 | 153 | 360 1656.33/1656.80 c 1551s | 27 | 22735914 | 13098933 | 1287 21305 | 153 | 360 1658.33/1658.82 c 1553s | 27 | 22761448 | 13114633 | 1287 21326 | 153 | 360 1660.33/1660.83 c 1555s | 27 | 22788657 | 13130633 | 1287 21348 | 153 | 360 1662.32/1662.83 c 1557s | 27 | 22814830 | 13146533 | 1287 21370 | 153 | 360 1664.32/1664.83 c 1559s | 27 | 22841664 | 13162533 | 1287 21392 | 153 | 360 1666.32/1666.84 c 1561s | 27 | 22869118 | 13179033 | 1287 21414 | 153 | 360 1668.33/1668.85 c 1563s | 27 | 22895194 | 13195133 | 1287 21436 | 153 | 360 1670.32/1670.85 c 1565s | 27 | 22921555 | 13211033 | 1287 21458 | 153 | 360 1672.32/1672.86 c 1567s | 27 | 22949354 | 13227433 | 1287 21481 | 153 | 360 1674.32/1674.87 c 1569s | 27 | 22977671 | 13243733 | 1287 21503 | 153 | 360 1676.32/1676.88 c 1571s | 27 | 23003843 | 13259133 | 1287 21524 | 153 | 360 1678.32/1678.88 c 1573s | 27 | 23031401 | 13275333 | 1287 21546 | 153 | 360 1680.33/1680.88 c 1575s | 27 | 23057960 | 13291333 | 1287 21568 | 153 | 360 1682.32/1682.88 c 1577s | 27 | 23084644 | 13307433 | 1287 21590 | 153 | 360 1684.32/1684.88 c 1579s | 27 | 23111300 | 13323533 | 1287 21612 | 153 | 360 1686.32/1686.89 c 1581s | 27 | 23139787 | 13340033 | 1287 21634 | 153 | 360 1688.32/1688.89 c 1583s | 27 | 23167863 | 13356333 | 1287 21657 | 153 | 360 1690.32/1690.90 c 1585s | 27 | 23195021 | 13372533 | 1287 21679 | 153 | 360 1692.32/1692.90 c 1587s | 27 | 23222360 | 13388533 | 1287 21701 | 153 | 360 1694.42/1694.91 c 1589s | 27 | 23248135 | 13404233 | 1287 21722 | 153 | 360 1696.42/1696.91 c 1591s | 27 | 23274848 | 13420533 | 1287 21744 | 153 | 360 1698.42/1698.92 c 1593s | 27 | 23302021 | 13436633 | 1287 21766 | 153 | 360 1700.42/1700.92 c 1595s | 27 | 23327608 | 13452533 | 1287 21788 | 153 | 360 1702.43/1702.92 c 1597s | 27 | 23354326 | 13468733 | 1287 21810 | 153 | 360 1704.42/1704.93 c 1599s | 27 | 23381078 | 13484733 | 1287 21832 | 153 | 360 1706.42/1706.93 c 1601s | 27 | 23407183 | 13500933 | 1287 21854 | 153 | 360 1708.42/1708.94 c 1603s | 27 | 23434806 | 13517433 | 1287 21877 | 153 | 360 1710.42/1710.95 c 1605s | 27 | 23461973 | 13533733 | 1287 21899 | 153 | 360 1712.42/1712.95 c 1607s | 27 | 23487971 | 13549533 | 1287 21921 | 153 | 360 1714.42/1714.96 c 1609s | 27 | 23515055 | 13564933 | 1287 21942 | 153 | 360 1716.42/1716.96 c 1611s | 27 | 23541171 | 13580333 | 1287 21963 | 153 | 360 1718.42/1718.96 c 1613s | 27 | 23567034 | 13595933 | 1287 21984 | 153 | 360 1720.41/1720.97 c 1615s | 27 | 23591779 | 13611433 | 1287 22006 | 153 | 360 1722.41/1722.98 c 1617s | 27 | 23617617 | 13627233 | 1287 22027 | 153 | 360 1724.42/1724.98 c 1619s | 27 | 23644300 | 13643433 | 1287 22049 | 153 | 360 1726.41/1726.99 c 1621s | 27 | 23671085 | 13659633 | 1287 22072 | 153 | 360 1728.51/1729.00 c 1623s | 27 | 23697268 | 13675633 | 1287 22093 | 153 | 360 1730.51/1731.00 c 1625s | 27 | 23722897 | 13691433 | 1287 22115 | 153 | 360 1732.51/1733.01 c 1627s | 27 | 23748116 | 13707233 | 1287 22137 | 153 | 360 1734.51/1735.02 c 1629s | 27 | 23774586 | 13722533 | 1287 22158 | 153 | 360 1736.52/1737.03 c 1631s | 27 | 23802821 | 13738733 | 1287 22180 | 153 | 360 1738.51/1739.04 c 1633s | 27 | 23830021 | 13754733 | 1287 22201 | 153 | 360 1740.51/1741.04 c 1635s | 27 | 23858978 | 13770433 | 1287 22223 | 153 | 360 1742.51/1743.05 c 1637s | 27 | 23888832 | 13786833 | 1287 22245 | 153 | 360 1744.51/1745.06 c 1639s | 27 | 23918485 | 13802533 | 1287 22267 | 153 | 360 1746.52/1747.06 c 1641s | 27 | 23946862 | 13818533 | 1287 22289 | 153 | 360 1748.52/1749.07 c 1643s | 27 | 23976053 | 13834633 | 1287 22311 | 153 | 360 1750.51/1751.08 c 1645s | 27 | 24005092 | 13850333 | 1287 22332 | 153 | 360 1752.52/1753.09 c 1647s | 27 | 24032921 | 13866033 | 1287 22354 | 153 | 360 1754.51/1755.09 c 1649s | 27 | 24061065 | 13881633 | 1287 22375 | 153 | 360 1756.61/1757.10 c 1651s | 27 | 24091180 | 13897633 | 1287 22397 | 153 | 360 1758.61/1759.10 c 1653s | 27 | 24118911 | 13913233 | 1287 22418 | 153 | 360 1760.61/1761.12 c 1655s | 27 | 24146605 | 13929433 | 1287 22440 | 153 | 360 1762.61/1763.13 c 1657s | 27 | 24175980 | 13945833 | 1287 22463 | 153 | 360 1764.61/1765.13 c 1659s | 27 | 24205227 | 13962133 | 1287 22485 | 153 | 360 1766.61/1767.13 c 1661s | 27 | 24234589 | 13978333 | 1287 22507 | 153 | 360 1768.61/1769.14 c 1663s | 27 | 24264194 | 13994033 | 1287 22529 | 153 | 360 1770.61/1771.15 c 1665s | 27 | 24292362 | 14009533 | 1287 22550 | 153 | 360 1772.61/1773.16 c 1667s | 27 | 24320032 | 14024933 | 1287 22571 | 153 | 360 1774.61/1775.16 c 1669s | 27 | 24347490 | 14040333 | 1287 22592 | 153 | 360 1776.61/1777.16 c 1671s | 27 | 24376303 | 14056333 | 1287 22614 | 153 | 360 1778.60/1779.17 c 1673s | 27 | 24405118 | 14072233 | 1287 22635 | 153 | 360 1780.61/1781.17 c 1675s | 27 | 24432636 | 14087733 | 1287 22656 | 153 | 360 1782.62/1783.18 c 1677s | 27 | 24459574 | 14103033 | 1287 22677 | 153 | 360 1784.61/1785.18 c 1679s | 27 | 24488735 | 14118333 | 1287 22698 | 153 | 360 1786.61/1787.18 c 1681s | 27 | 24517087 | 14133833 | 1287 22719 | 153 | 360 1788.61/1789.18 c 1683s | 27 | 24544656 | 14149533 | 1287 22741 | 153 | 360 1790.71/1791.20 c 1685s | 27 | 24572859 | 14165533 | 1287 22762 | 153 | 360 1792.70/1793.20 c 1687s | 27 | 24598612 | 14180933 | 1287 22784 | 153 | 360 1794.60/1795.20 c 1689s | 27 | 24626985 | 14197233 | 1287 22806 | 153 | 360 1796.71/1797.21 c 1691s | 27 | 24656104 | 14213533 | 1287 22828 | 153 | 360 1798.70/1799.22 c 1693s | 27 | 24685162 | 14229433 | 1287 22850 | 153 | 360
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-4079545-1465230556/watcher-4079545-1465230556 -o /tmp/evaluation-result-4079545-1465230556/solver-4079545-1465230556 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079545-1465230556.opb pid=10142 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.05 2.01 3/179 10145 /proc/meminfo: memFree=30534944/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=787900 CPUtime=0 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 2952 0 0 0 0 0 0 0 20 0 4 0 104989022 806809600 3312 33554432000 4194304 16246674 140735595266880 140735595266304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 197743 3322 441 2943 0 194637 0 [pid=10145/tid=10146] ppid=10142 vsize=806332 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 825683968 3382 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=810428 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 829878272 3399 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=814524 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104989022 834072576 3416 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100123 s] /proc/loadavg: 2.10 2.05 2.01 3/179 10145 /proc/meminfo: memFree=30534944/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 25238 0 0 0 5 4 0 0 20 0 4 0 104989022 1247350784 25586 33554432000 4194304 16246674 140735595266880 140735595266304 6010521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 304529 25593 790 2943 0 301423 0 [pid=10145/tid=10146] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 25597 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 25602 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 25608 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200499 s] /proc/loadavg: 2.10 2.05 2.01 3/179 10145 /proc/meminfo: memFree=30534944/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 42709 0 0 0 12 7 0 0 20 0 4 0 104989022 1247350784 43056 33554432000 4194304 16246674 140735595266880 140735595266304 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 304529 43062 790 2943 0 301423 0 [pid=10145/tid=10146] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 43068 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 43072 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 43077 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300396 s] /proc/loadavg: 2.10 2.05 2.01 3/179 10145 /proc/meminfo: memFree=30534944/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1218116 CPUtime=0.28 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 59627 0 0 0 19 9 0 0 20 0 4 0 104989022 1247350784 59975 33554432000 4194304 16246674 140735595266880 140735595266304 12654121 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 304529 59988 790 2943 0 301423 0 [pid=10145/tid=10146] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 59997 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 60007 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 60016 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700341 s] /proc/loadavg: 2.10 2.05 2.01 3/179 10145 /proc/meminfo: memFree=30534944/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 127566 0 0 0 50 19 0 0 20 0 4 0 104989022 1247350784 127913 33554432000 4194304 16246674 140735595266880 140735595249880 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 304529 127921 790 2943 0 301423 0 [pid=10145/tid=10146] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 127925 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 127931 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104989022 1247350784 127935 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.10 2.05 2.01 3/183 10149 /proc/meminfo: memFree=29744116/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1219140 CPUtime=1.48 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 245712 0 0 0 112 36 0 0 20 0 4 0 104989022 1248399360 246037 33554432000 4194304 16246674 140735595266880 140735595249880 12415807 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 304785 246037 847 2943 0 301679 0 [pid=10145/tid=10146] ppid=10142 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1248399360 246037 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1248399360 246037 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1248399360 246037 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.1004 s] /proc/loadavg: 2.10 2.05 2.01 3/183 10149 /proc/meminfo: memFree=29551660/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 267333 0 0 0 270 39 0 0 20 0 4 0 104989022 1336479744 267658 33554432000 4194304 16246674 140735595266880 140735595248768 6022140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 326289 267658 847 2943 0 323183 0 [pid=10145/tid=10146] ppid=10142 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1336479744 267658 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1336479744 267658 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1336479744 267658 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30039 s] /proc/loadavg: 2.17 2.07 2.01 3/183 10149 /proc/meminfo: memFree=29463764/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 267564 0 0 0 589 40 0 0 20 0 4 0 104989022 1337528320 267889 33554432000 4194304 16246674 140735595266880 140735595249880 5995317 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 326545 267889 849 2943 0 323439 0 [pid=10145/tid=10146] ppid=10142 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1337528320 267889 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1337528320 267889 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1337528320 267889 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.16 2.07 2.01 3/183 10149 /proc/meminfo: memFree=29463532/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 267626 0 0 0 1227 42 0 0 20 0 4 0 104989022 1337528320 267951 33554432000 4194304 16246674 140735595266880 140735595249880 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 326545 267951 849 2943 0 323439 0 [pid=10145/tid=10146] ppid=10142 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1337528320 267951 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1337528320 267951 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1337528320 267951 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.12 2.06 2.01 3/183 10149 /proc/meminfo: memFree=29462920/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1307204 CPUtime=25.49 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 267897 0 0 0 2504 45 0 0 20 0 4 0 104989022 1338576896 268222 33554432000 4194304 16246674 140735595266880 140735595249880 5675777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 326801 268222 851 2943 0 323695 0 [pid=10145/tid=10146] ppid=10142 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1338576896 268222 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1338576896 268222 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1338576896 268222 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.08 2.06 2.01 3/184 10152 /proc/meminfo: memFree=29461076/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1308228 CPUtime=51.08 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 268153 0 0 0 5059 49 0 0 20 0 4 0 104989022 1339625472 268478 33554432000 4194304 16246674 140735595266880 140735595249880 6022329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 327057 268478 851 2943 0 323951 0 [pid=10145/tid=10146] ppid=10142 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1339625472 268478 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1339625472 268478 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1339625472 268478 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1308228 [startup+102.3 s] /proc/loadavg: 2.07 2.06 2.01 4/184 10153 /proc/meminfo: memFree=29461344/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1308228 CPUtime=102.28 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 268153 0 0 0 10172 56 0 0 20 0 4 0 104989022 1339625472 268478 33554432000 4194304 16246674 140735595266880 140735595249880 5711338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 327057 268478 851 2943 0 323951 0 [pid=10145/tid=10146] ppid=10142 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1339625472 268478 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1339625472 268478 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1339625472 268478 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1317444 [startup+1362.3 s] /proc/loadavg: 2.08 2.06 2.01 3/183 10233 /proc/meminfo: memFree=29492436/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1317444 CPUtime=1361.89 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 270782 0 0 0 135928 261 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140735595248768 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 329361 270786 852 2943 0 326255 0 [pid=10145/tid=10146] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1317444 [startup+1422.3 s] /proc/loadavg: 2.10 2.06 2.00 3/183 10235 /proc/meminfo: memFree=29493572/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1317444 CPUtime=1421.87 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 270807 0 0 0 141918 269 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140735595248768 6073512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 329361 270786 852 2943 0 326255 0 [pid=10145/tid=10146] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1317444 [startup+1482.3 s] /proc/loadavg: 2.11 2.08 2.01 3/183 10236 /proc/meminfo: memFree=29491776/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1317444 CPUtime=1481.86 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 270807 0 0 0 147902 284 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140735595249880 6012244 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 329361 270786 852 2943 0 326255 0 [pid=10145/tid=10146] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1317444 [startup+1542.31 s] /proc/loadavg: 2.04 2.06 2.00 4/183 10237 /proc/meminfo: memFree=29491440/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1317444 CPUtime=1541.85 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 270807 0 0 0 153895 290 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140735595249880 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 329361 270786 852 2943 0 326255 0 [pid=10145/tid=10146] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1349062656 270786 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1317444 [startup+1602.3 s] /proc/loadavg: 2.06 2.06 2.00 3/183 10238 /proc/meminfo: memFree=29482172/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1326660 CPUtime=1601.83 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 273111 0 0 0 159880 303 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140735595249880 5600132 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 331665 273090 852 2943 0 328559 0 [pid=10145/tid=10146] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1326660 [startup+1662.3 s] /proc/loadavg: 2.02 2.05 2.00 3/183 10239 /proc/meminfo: memFree=29481892/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1326660 CPUtime=1661.83 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 273111 0 0 0 165875 308 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140735595249880 12478249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 331665 273090 852 2943 0 328559 0 [pid=10145/tid=10146] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1326660 [startup+1722.3 s] /proc/loadavg: 2.05 2.05 2.00 3/183 10241 /proc/meminfo: memFree=29481672/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1326660 CPUtime=1721.81 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 273111 0 0 0 171870 311 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140735595249880 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 331665 273090 852 2943 0 328559 0 [pid=10145/tid=10146] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1326660 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.00 3/183 10242 /proc/meminfo: memFree=29479220/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1326660 CPUtime=1781.81 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 273111 0 0 0 177862 319 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140735595249880 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 331665 273090 852 2943 0 328559 0 [pid=10145/tid=10146] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1326660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.05 2.05 2.00 3/183 10242 /proc/meminfo: memFree=29479328/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1326660 CPUtime=1800 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 273111 0 0 0 179679 321 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140735595249880 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 331665 273090 852 2943 0 328559 0 [pid=10145/tid=10146] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1326660 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 10145 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.05 2.05 2.00 3/183 10242 /proc/meminfo: memFree=29479328/32872528 swapFree=11196/354588 [pid=10145] ppid=10142 vsize=1326660 CPUtime=1800 cores=1,3,5,7 /proc/10145/stat : 10145 (toysat) R 10142 10145 8429 0 -1 4202496 273111 0 0 0 179679 321 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140735595249880 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10145/statm: 331665 273090 852 2943 0 328559 0 [pid=10145/tid=10146] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10146/stat : 10146 (toysat) S 10142 10145 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661856644336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10145/tid=10147] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10147/stat : 10147 (toysat) S 10142 10145 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661846154480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10145/tid=10148] ppid=10142 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/10145/task/10148/stat : 10148 (toysat) S 10142 10145 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104989022 1358499840 273090 33554432000 4194304 16246674 140735595266880 140661835680944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1326660 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1796.8 CPU system time (s): 3.21751 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1326660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.8 system time used= 3.21751 maximum resident set size= 1092360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273111 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= 364 involuntary context switches= 1858 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.46732 second user time and 7.07092 second system time The end
Begin job on node126 at 2016-06-06 18:29:16 IDJOB=4079545 IDBENCH=2019 IDSOLVER=2542 FILE ID=node126/4079545-1465230556 RUNJOBID= node126-1465218023-8446 PBS_JOBID= 19843210 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079545-1465230556/watcher-4079545-1465230556 -o /tmp/evaluation-result-4079545-1465230556/solver-4079545-1465230556 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079545-1465230556.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fbb7284250700e8b461b63d83ddce719 RANDOM SEED=166539443 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30535860 kB Buffers: 24240 kB Cached: 119968 kB SwapCached: 2264 kB Active: 1215672 kB Inactive: 67692 kB Active(anon): 1139268 kB Inactive(anon): 2384 kB Active(file): 76404 kB Inactive(file): 65308 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098528 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 1492600 kB Mapped: 10468 kB Shmem: 0 kB Slab: 566956 kB SReclaimable: 11168 kB SUnreclaim: 555788 kB KernelStack: 1472 kB PageTables: 6760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1634840 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1474560 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node126 at 2016-06-06 18:59:16