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.06 | 1800.61 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb |
| MD5SUM | fc78ffcb6f8df58e55b14ead1c8e0a26 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1183 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2460 |
| Total number of constraints | 4720 |
| Number of constraints which are clauses | 2340 |
| Number of constraints which are cardinality constraints (but not clauses) | 40 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2340 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 2340 |
| Biggest coefficient in the objective function | 39 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 31980 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 39 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 31980 |
| Number of bits of the biggest sum of numbers | 15 |
| 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-29T21:46:30+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-4118502-1467229589.opb"] 0.00/0.01 c use --random-gen="3288962456 2649819067 2121280110 4209188430 1863904048 4177886627 1999622843 3367307876 272488680 36984247 2606419918 760806262 586192648 1435060149 1064016788 2727699707 1302148927 4275336151 2226527807 3810355839 555839140 143949746 4165856573 2131436873 719864722 2932247190 1334125717 2761952842 3879577051 2734382490 183648244 665421633 4130877418 158396134 4125975953 3178643982 8377401 1445336797 2415733178 2634813704 1331926712 1644910616 2579262006 434092498 2911423324 4003742874 2724499103 2511966129 540476261 2320929948 2995638573 3502792841 3059710849 878611027 150433802 3127955664 1769017204 2504852385 3855234436 4203286888 2624223243 967845254 4191262210 3865228955 1777915466 1659000288 3644544040 4132994871 4031153511 2685039804 111345804 2588459823 859430912 1815088311 4167599399 529191730 3264716813 3436767312 3666154804 2134839674 64020767 4024663951 1458321703 81525484 136739054 1472020651 1323171964 3356487250 1491148976 1494306658 1197969216 1444694403 3552857215 1934928360 2779447730 2505828966 673134475 1596678272 1819845063 41224735 3455566487 1149241389 2930642741 3825032665 1571428011 1554838819 3206867520 819567125 3525268340 2167122702 2180554644 1289869049 3108142516 617562012 3142642218 538389294 3816020913 4221493193 3973694758 4260808766 1191725872 281654332 3189384192 3943585432 910935379 4198459106 4024634076 2348551273 1251483707 618533540 1840843412 1051816653 3812394706 2105270720 1966124078 3837905508 2293878008 748444076 850696866 2652639148 3023866540 1759120589 1823203283 1658223995 1155163764 3982772983 224770700 825009733 2914267770 3807608660 353896535 2394102015 2134074795 2188056296 1047457559 998107027 4265011782 188981900 2094495095 544180233 2166201690 2390138773 2075371976 2665053187 2218074616 657396262 2458258307 2932218007 2857310918 1194717398 4149842265 3438631742 3905122901 421856671 3644312311 2051698971 2673835352 2721778177 1872017496 924480617 2544668834 765508494 1517552609 4032654396 1536880811 3902740983 2553324810 1541744760 1915244766 4040039649 3581713537 599872511 858342520 2285575357 4087758692 4166697311 1266201441 146672800 3848999427 3121478997 3993438115 536276840 1658464388 2823259723 2799984529 1525134314 1515453150 611819272 2354161437 33796769 4229515872 3309180592 2353914367 2615857443 3908596363 6786145 547765368 2981043338 4152126969 3730043229 3864456085 3671056146 776026678 278254505 1517627960 3730825570 1448841169 1134999398 868240679 2194369711 1865932366 1161648498 1480765155 4072694473 3657968479 475580340 3390650986 1621963546 764121861 1208332072 2214680890 381032773 3105803410 4214974352 1260963208 4157098828 2464856785 3447692848 52059526 465354837 987954226 648732490 2998636109 466173388 1710037999 2057583391 255 362436" option to reproduce the execution 0.00/0.06 c #vars 2460 0.00/0.06 c #constraints 4720 0.08/0.11 c BCD2: Hardening is enabled. 0.08/0.11 c BCD2: BiasedSearch is enabled. 0.08/0.11 c Solving starts ... 0.08/0.11 c ============================[ Search Statistics ]============================ 0.08/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.11 c | | | | Limit GC | Var | Constra 0.08/0.11 c ============================================================================= 0.08/0.11 c 0.0s | 0 | 0 | 0 | 2406 0 | 0 | 0 0.08/0.12 c 0.0s | 0 | 39 | 0 | 2406 0 | 0 | 0 0.08/0.12 c #cpu_time = 0.009s 0.08/0.12 c #wall_clock_time = 0.009s 0.08/0.12 c #decision = 39 0.08/0.12 c #random_decision = 0 0.08/0.12 c #conflict = 0 0.08/0.12 c #restart = 0 0.08/0.12 o 9880 0.08/0.12 c BCD2: updating upper bound: 31980 -> 9879 0.08/0.14 c BCD2: 0 <= obj <= 9879 0.08/0.14 c BCD2: #cores=0, #unrelaxed=2340, #relaxed=0, #hardened=0 0.08/0.14 c BCD2: #sat=1 #unsat=1 bias=1/2 0.08/0.14 c Solving starts ... 0.08/0.14 c ============================[ Search Statistics ]============================ 0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.14 c | | | | Limit GC | Var | Constra 0.08/0.14 c ============================================================================= 0.08/0.14 c 0.0s | 0 | 0 | 0 | 2406 0 | 0 | 0 0.08/0.16 c 0.0s | 0 | 2349 | 8 | 2406 0 | 0 | 0 0.08/0.16 c #cpu_time = 0.014s 0.08/0.16 c #wall_clock_time = 0.014s 0.08/0.16 c #decision = 2349 0.08/0.16 c #random_decision = 0 0.08/0.16 c #conflict = 8 0.08/0.16 c #restart = 0 0.08/0.16 c BCD2: found a new core of size 25: cost of the new core is >=1 0.08/0.16 c lower bound updated to 1 0.08/0.16 c BCD2: 1 <= obj <= 9879 0.08/0.16 c BCD2: #cores=1, #unrelaxed=2315, #relaxed=25, #hardened=0 0.08/0.16 c BCD2: #sat=1 #unsat=2 bias=2/3 0.08/0.16 c Solving starts ... 0.08/0.16 c ============================[ Search Statistics ]============================ 0.08/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.16 c | | | | Limit GC | Var | Constra 0.08/0.16 c ============================================================================= 0.08/0.16 c 0.0s | 0 | 0 | 0 | 2406 0 | 0 | 0 0.08/0.19 c 0.0s | 0 | 2546 | 20 | 2406 0 | 0 | 0 0.08/0.19 c #cpu_time = 0.026s 0.08/0.19 c #wall_clock_time = 0.026s 0.08/0.19 c #decision = 2546 0.08/0.19 c #random_decision = 0 0.08/0.19 c #conflict = 20 0.08/0.19 c #restart = 0 0.08/0.19 c BCD2: found a new core of size 28: cost of the new core is >=1 0.08/0.19 c lower bound updated to 2 0.19/0.20 c BCD2: 2 <= obj <= 9879 0.19/0.20 c BCD2: #cores=2, #unrelaxed=2287, #relaxed=53, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 2406 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 3029 | 24 | 2406 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.025s 0.19/0.23 c #wall_clock_time = 0.026s 0.19/0.23 c #decision = 3029 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 24 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 42: cost of the new core is >=1 0.19/0.23 c lower bound updated to 3 0.19/0.23 c BCD2: 3 <= obj <= 9879 0.19/0.23 c BCD2: #cores=3, #unrelaxed=2245, #relaxed=95, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 2406 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 2275 | 16 | 2406 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.019s 0.19/0.25 c #wall_clock_time = 0.019s 0.19/0.25 c #decision = 2275 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 16 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 54: cost of the new core is >=1 0.19/0.25 c lower bound updated to 4 0.19/0.25 c BCD2: 4 <= obj <= 9879 0.19/0.25 c BCD2: #cores=4, #unrelaxed=2191, #relaxed=149, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 2406 0 | 0 | 0 0.19/0.27 c 0.0s | 0 | 2744 | 19 | 2406 0 | 0 | 0 0.19/0.27 c #cpu_time = 0.022s 0.19/0.27 c #wall_clock_time = 0.023s 0.19/0.27 c #decision = 2744 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 19 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 40: cost of the new core is >=1 0.19/0.27 c lower bound updated to 5 0.19/0.28 c BCD2: 5 <= obj <= 9879 0.19/0.28 c BCD2: #cores=5, #unrelaxed=2151, #relaxed=189, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 2406 0 | 0 | 0 0.29/0.31 c 0.0s | 0 | 2914 | 28 | 2647 0 | 0 | 0 0.29/0.31 c #cpu_time = 0.032s 0.29/0.31 c #wall_clock_time = 0.032s 0.29/0.31 c #decision = 2914 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 28 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 80: cost of the new core is >=1 0.29/0.31 c lower bound updated to 6 0.29/0.31 c BCD2: 6 <= obj <= 9879 0.29/0.31 c BCD2: #cores=6, #unrelaxed=2071, #relaxed=269, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=7 bias=7/8 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.29/0.33 c 0.0s | 0 | 2199 | 13 | 2647 0 | 0 | 0 0.29/0.33 c #cpu_time = 0.015s 0.29/0.33 c #wall_clock_time = 0.015s 0.29/0.33 c #decision = 2199 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 13 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 42: cost of the new core is >=1 0.29/0.33 c lower bound updated to 7 0.29/0.34 c BCD2: 7 <= obj <= 9879 0.29/0.34 c BCD2: #cores=7, #unrelaxed=2029, #relaxed=311, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=8 bias=8/9 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.29/0.36 c 0.0s | 0 | 2364 | 19 | 2647 0 | 0 | 0 0.29/0.36 c #cpu_time = 0.019s 0.29/0.36 c #wall_clock_time = 0.019s 0.29/0.36 c #decision = 2364 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 19 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 51: cost of the new core is >=1 0.29/0.36 c lower bound updated to 8 0.29/0.36 c BCD2: 8 <= obj <= 9879 0.29/0.36 c BCD2: #cores=8, #unrelaxed=1978, #relaxed=362, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.29/0.38 c 0.0s | 0 | 2006 | 18 | 2647 0 | 0 | 0 0.29/0.38 c #cpu_time = 0.015s 0.29/0.38 c #wall_clock_time = 0.015s 0.29/0.38 c #decision = 2006 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 18 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 53: cost of the new core is >=1 0.29/0.38 c lower bound updated to 9 0.29/0.38 c BCD2: 9 <= obj <= 9879 0.29/0.38 c BCD2: #cores=9, #unrelaxed=1925, #relaxed=415, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.39/0.41 c 0.0s | 0 | 2571 | 26 | 2647 0 | 0 | 0 0.39/0.41 c #cpu_time = 0.024s 0.39/0.41 c #wall_clock_time = 0.024s 0.39/0.41 c #decision = 2571 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 26 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 40: cost of the new core is >=1 0.39/0.41 c lower bound updated to 10 0.39/0.41 c BCD2: 10 <= obj <= 9879 0.39/0.41 c BCD2: #cores=10, #unrelaxed=1885, #relaxed=455, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=11 bias=11/12 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.39/0.43 c 0.0s | 0 | 2089 | 9 | 2647 0 | 0 | 0 0.39/0.43 c #cpu_time = 0.014s 0.39/0.43 c #wall_clock_time = 0.014s 0.39/0.43 c #decision = 2089 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 9 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 32: cost of the new core is >=1 0.39/0.43 c lower bound updated to 11 0.39/0.43 c BCD2: 11 <= obj <= 9879 0.39/0.43 c BCD2: #cores=11, #unrelaxed=1853, #relaxed=487, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=12 bias=12/13 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.39/0.45 c 0.0s | 0 | 1881 | 13 | 2647 0 | 0 | 0 0.39/0.45 c #cpu_time = 0.013s 0.39/0.45 c #wall_clock_time = 0.013s 0.39/0.45 c #decision = 1881 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 13 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 57: cost of the new core is >=1 0.39/0.45 c lower bound updated to 12 0.39/0.45 c BCD2: 12 <= obj <= 9879 0.39/0.45 c BCD2: #cores=12, #unrelaxed=1796, #relaxed=544, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=13 bias=13/14 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.39/0.46 c 0.0s | 0 | 1861 | 15 | 2647 0 | 0 | 0 0.39/0.46 c #cpu_time = 0.014s 0.39/0.46 c #wall_clock_time = 0.014s 0.39/0.46 c #decision = 1861 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 15 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 49: cost of the new core is >=1 0.39/0.46 c lower bound updated to 13 0.39/0.46 c BCD2: 13 <= obj <= 9879 0.39/0.46 c BCD2: #cores=13, #unrelaxed=1747, #relaxed=593, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=14 bias=14/15 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.39/0.48 c 0.0s | 0 | 1828 | 20 | 2647 0 | 0 | 0 0.39/0.48 c #cpu_time = 0.017s 0.39/0.48 c #wall_clock_time = 0.017s 0.39/0.48 c #decision = 1828 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 20 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 67: cost of the new core is >=1 0.39/0.48 c lower bound updated to 14 0.39/0.49 c BCD2: 14 <= obj <= 9879 0.39/0.49 c BCD2: #cores=14, #unrelaxed=1680, #relaxed=660, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=15 bias=15/16 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 2647 0 | 0 | 0 0.49/0.51 c 0.0s | 0 | 2216 | 30 | 2912 0 | 0 | 0 0.49/0.51 c #cpu_time = 0.026s 0.49/0.51 c #wall_clock_time = 0.026s 0.49/0.51 c #decision = 2216 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 30 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 35: cost of the new core is >=2 0.49/0.51 c lower bound updated to 16 0.49/0.51 c BCD2: 16 <= obj <= 9879 0.49/0.51 c BCD2: #cores=15, #unrelaxed=1645, #relaxed=695, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=16 bias=16/17 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.49/0.53 c 0.0s | 0 | 1676 | 10 | 2912 0 | 0 | 0 0.49/0.53 c #cpu_time = 0.013s 0.49/0.53 c #wall_clock_time = 0.013s 0.49/0.53 c #decision = 1676 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 10 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 50: cost of the new core is >=1 0.49/0.53 c lower bound updated to 17 0.49/0.54 c BCD2: 17 <= obj <= 9879 0.49/0.54 c BCD2: #cores=16, #unrelaxed=1595, #relaxed=745, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 2912 0 | 0 | 0 0.49/0.55 c 0.0s | 0 | 2076 | 13 | 2912 0 | 0 | 0 0.49/0.55 c #cpu_time = 0.016s 0.49/0.55 c #wall_clock_time = 0.016s 0.49/0.55 c #decision = 2076 0.49/0.55 c #random_decision = 1 0.49/0.55 c #conflict = 13 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 44: cost of the new core is >=1 0.49/0.55 c lower bound updated to 18 0.49/0.56 c BCD2: 18 <= obj <= 9879 0.49/0.56 c BCD2: #cores=17, #unrelaxed=1551, #relaxed=789, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=18 bias=18/19 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.49/0.57 c 0.0s | 0 | 1686 | 9 | 2912 0 | 0 | 0 0.49/0.57 c #cpu_time = 0.013s 0.49/0.57 c #wall_clock_time = 0.013s 0.49/0.57 c #decision = 1686 0.49/0.57 c #random_decision = 0 0.49/0.57 c #conflict = 9 0.49/0.57 c #restart = 0 0.49/0.57 c BCD2: found a new core of size 48: cost of the new core is >=1 0.49/0.57 c lower bound updated to 19 0.49/0.57 c BCD2: 19 <= obj <= 9879 0.49/0.57 c BCD2: #cores=18, #unrelaxed=1503, #relaxed=837, #hardened=0 0.49/0.57 c BCD2: #sat=1 #unsat=19 bias=19/20 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.49/0.59 c 0.0s | 0 | 1960 | 14 | 2912 0 | 0 | 0 0.49/0.59 c #cpu_time = 0.016s 0.49/0.59 c #wall_clock_time = 0.016s 0.49/0.59 c #decision = 1960 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 14 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 55: cost of the new core is >=1 0.49/0.59 c lower bound updated to 20 0.49/0.59 c BCD2: 20 <= obj <= 9879 0.49/0.59 c BCD2: #cores=19, #unrelaxed=1448, #relaxed=892, #hardened=0 0.49/0.59 c BCD2: #sat=1 #unsat=20 bias=20/21 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.59/0.61 c 0.0s | 0 | 1523 | 17 | 2912 0 | 0 | 0 0.59/0.61 c #cpu_time = 0.017s 0.59/0.61 c #wall_clock_time = 0.017s 0.59/0.61 c #decision = 1523 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 17 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: found a new core of size 46: cost of the new core is >=1 0.59/0.61 c lower bound updated to 21 0.59/0.62 c BCD2: 21 <= obj <= 9879 0.59/0.62 c BCD2: #cores=20, #unrelaxed=1402, #relaxed=938, #hardened=0 0.59/0.62 c BCD2: #sat=1 #unsat=21 bias=21/22 0.59/0.62 c Solving starts ... 0.59/0.62 c ============================[ Search Statistics ]============================ 0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.62 c | | | | Limit GC | Var | Constra 0.59/0.62 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.59/0.64 c 0.0s | 0 | 1617 | 17 | 2912 0 | 0 | 0 0.59/0.64 c #cpu_time = 0.016s 0.59/0.64 c #wall_clock_time = 0.016s 0.59/0.64 c #decision = 1617 0.59/0.64 c #random_decision = 0 0.59/0.64 c #conflict = 17 0.59/0.64 c #restart = 0 0.59/0.64 c BCD2: found a new core of size 50: cost of the new core is >=1 0.59/0.64 c lower bound updated to 22 0.59/0.64 c BCD2: 22 <= obj <= 9879 0.59/0.64 c BCD2: #cores=21, #unrelaxed=1352, #relaxed=988, #hardened=0 0.59/0.64 c BCD2: #sat=1 #unsat=22 bias=22/23 0.59/0.64 c Solving starts ... 0.59/0.64 c ============================[ Search Statistics ]============================ 0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.64 c | | | | Limit GC | Var | Constra 0.59/0.64 c ============================================================================= 0.59/0.64 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.59/0.66 c 0.0s | 0 | 2134 | 26 | 2912 0 | 0 | 0 0.59/0.66 c #cpu_time = 0.026s 0.59/0.66 c #wall_clock_time = 0.026s 0.59/0.66 c #decision = 2134 0.59/0.66 c #random_decision = 0 0.59/0.66 c #conflict = 26 0.59/0.66 c #restart = 0 0.59/0.66 c BCD2: found a new core of size 46: cost of the new core is >=1 0.59/0.66 c lower bound updated to 23 0.59/0.67 c BCD2: 23 <= obj <= 9879 0.59/0.67 c BCD2: #cores=22, #unrelaxed=1306, #relaxed=1034, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=23 bias=23/24 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.59/0.68 c 0.0s | 0 | 1497 | 9 | 2912 0 | 0 | 0 0.59/0.68 c #cpu_time = 0.013s 0.59/0.68 c #wall_clock_time = 0.013s 0.59/0.68 c #decision = 1497 0.59/0.68 c #random_decision = 0 0.59/0.68 c #conflict = 9 0.59/0.68 c #restart = 0 0.59/0.68 c BCD2: found a new core of size 59: cost of the new core is >=1 0.59/0.68 c lower bound updated to 24 0.59/0.68 c BCD2: 24 <= obj <= 9879 0.59/0.68 c BCD2: #cores=23, #unrelaxed=1247, #relaxed=1093, #hardened=0 0.59/0.68 c BCD2: #sat=1 #unsat=24 bias=24/25 0.59/0.68 c Solving starts ... 0.59/0.68 c ============================[ Search Statistics ]============================ 0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.68 c | | | | Limit GC | Var | Constra 0.59/0.68 c ============================================================================= 0.59/0.68 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.69/0.70 c 0.0s | 0 | 1621 | 8 | 2912 0 | 0 | 0 0.69/0.70 c #cpu_time = 0.013s 0.69/0.70 c #wall_clock_time = 0.013s 0.69/0.70 c #decision = 1621 0.69/0.70 c #random_decision = 0 0.69/0.70 c #conflict = 8 0.69/0.70 c #restart = 0 0.69/0.70 c BCD2: found a new core of size 36: cost of the new core is >=3 0.69/0.70 c lower bound updated to 27 0.69/0.70 c BCD2: 27 <= obj <= 9879 0.69/0.70 c BCD2: #cores=24, #unrelaxed=1211, #relaxed=1129, #hardened=0 0.69/0.70 c BCD2: #sat=1 #unsat=25 bias=25/26 0.69/0.70 c Solving starts ... 0.69/0.70 c ============================[ Search Statistics ]============================ 0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.70 c | | | | Limit GC | Var | Constra 0.69/0.70 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.69/0.75 c 0.1s | 0 | 2838 | 63 | 2912 0 | 0 | 0 0.69/0.75 c #cpu_time = 0.051s 0.69/0.75 c #wall_clock_time = 0.052s 0.69/0.75 c #decision = 2838 0.69/0.75 c #random_decision = 0 0.69/0.75 c #conflict = 63 0.69/0.75 c #restart = 0 0.69/0.76 c BCD2: found a new core of size 46: cost of the new core is >=1 0.69/0.76 c lower bound updated to 28 0.69/0.76 c BCD2: 28 <= obj <= 9879 0.69/0.76 c BCD2: #cores=25, #unrelaxed=1165, #relaxed=1175, #hardened=0 0.69/0.76 c BCD2: #sat=1 #unsat=26 bias=26/27 0.69/0.76 c Solving starts ... 0.69/0.76 c ============================[ Search Statistics ]============================ 0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.76 c | | | | Limit GC | Var | Constra 0.69/0.76 c ============================================================================= 0.69/0.76 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.69/0.77 c 0.0s | 0 | 2047 | 13 | 2912 0 | 0 | 0 0.69/0.77 c #cpu_time = 0.016s 0.69/0.77 c #wall_clock_time = 0.016s 0.69/0.77 c #decision = 2047 0.69/0.77 c #random_decision = 0 0.69/0.77 c #conflict = 13 0.69/0.77 c #restart = 0 0.69/0.77 c BCD2: found a new core of size 64: cost of the new core is >=1 0.69/0.77 c lower bound updated to 29 0.69/0.78 c BCD2: 29 <= obj <= 9879 0.69/0.78 c BCD2: #cores=26, #unrelaxed=1101, #relaxed=1239, #hardened=0 0.69/0.78 c BCD2: #sat=1 #unsat=27 bias=27/28 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 2912 0 | 0 | 0 0.79/0.80 c 0.0s | 0 | 1300 | 22 | 3204 0 | 0 | 0 0.79/0.80 c #cpu_time = 0.022s 0.79/0.80 c #wall_clock_time = 0.022s 0.79/0.80 c #decision = 1300 0.79/0.80 c #random_decision = 0 0.79/0.80 c #conflict = 22 0.79/0.80 c #restart = 0 0.79/0.80 c BCD2: found a new core of size 58: cost of the new core is >=1 0.79/0.80 c lower bound updated to 30 0.79/0.80 c BCD2: 30 <= obj <= 9879 0.79/0.80 c BCD2: #cores=27, #unrelaxed=1043, #relaxed=1297, #hardened=0 0.79/0.80 c BCD2: #sat=1 #unsat=28 bias=28/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 | 3204 0 | 0 | 0 0.79/0.82 c 0.0s | 0 | 1194 | 13 | 3204 0 | 0 | 0 0.79/0.82 c #cpu_time = 0.015s 0.79/0.82 c #wall_clock_time = 0.015s 0.79/0.82 c #decision = 1194 0.79/0.82 c #random_decision = 0 0.79/0.82 c #conflict = 13 0.79/0.82 c #restart = 0 0.79/0.82 c BCD2: found a new core of size 54: cost of the new core is >=1 0.79/0.82 c lower bound updated to 31 0.79/0.82 c BCD2: 31 <= obj <= 9879 0.79/0.82 c BCD2: #cores=28, #unrelaxed=989, #relaxed=1351, #hardened=0 0.79/0.82 c BCD2: #sat=1 #unsat=29 bias=29/30 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.79/0.84 c 0.0s | 0 | 1092 | 18 | 3204 0 | 0 | 0 0.79/0.84 c #cpu_time = 0.017s 0.79/0.84 c #wall_clock_time = 0.017s 0.79/0.84 c #decision = 1092 0.79/0.84 c #random_decision = 0 0.79/0.84 c #conflict = 18 0.79/0.84 c #restart = 0 0.79/0.84 c BCD2: found a new core of size 62: cost of the new core is >=1 0.79/0.84 c lower bound updated to 32 0.79/0.84 c BCD2: 32 <= obj <= 9879 0.79/0.84 c BCD2: #cores=29, #unrelaxed=927, #relaxed=1413, #hardened=0 0.79/0.84 c BCD2: #sat=1 #unsat=30 bias=30/31 0.79/0.85 c Solving starts ... 0.79/0.85 c ============================[ Search Statistics ]============================ 0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.85 c | | | | Limit GC | Var | Constra 0.79/0.85 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.79/0.86 c 0.0s | 0 | 1383 | 11 | 3204 0 | 0 | 0 0.79/0.86 c #cpu_time = 0.014s 0.79/0.86 c #wall_clock_time = 0.014s 0.79/0.86 c #decision = 1383 0.79/0.86 c #random_decision = 0 0.79/0.86 c #conflict = 11 0.79/0.86 c #restart = 0 0.79/0.86 c BCD2: found a new core of size 43: cost of the new core is >=1 0.79/0.86 c lower bound updated to 33 0.79/0.86 c BCD2: 33 <= obj <= 9879 0.79/0.86 c BCD2: #cores=30, #unrelaxed=884, #relaxed=1456, #hardened=0 0.79/0.86 c BCD2: #sat=1 #unsat=31 bias=31/32 0.79/0.86 c Solving starts ... 0.79/0.86 c ============================[ Search Statistics ]============================ 0.79/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.86 c | | | | Limit GC | Var | Constra 0.79/0.86 c ============================================================================= 0.79/0.86 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.79/0.88 c 0.0s | 0 | 2323 | 11 | 3204 0 | 0 | 0 0.79/0.88 c #cpu_time = 0.015s 0.79/0.88 c #wall_clock_time = 0.015s 0.79/0.88 c #decision = 2323 0.79/0.88 c #random_decision = 0 0.79/0.88 c #conflict = 11 0.79/0.88 c #restart = 0 0.79/0.88 c BCD2: found a new core of size 48: cost of the new core is >=1 0.79/0.88 c lower bound updated to 34 0.79/0.88 c BCD2: 34 <= obj <= 9879 0.79/0.88 c BCD2: #cores=31, #unrelaxed=836, #relaxed=1504, #hardened=0 0.79/0.88 c BCD2: #sat=1 #unsat=32 bias=32/33 0.79/0.88 c Solving starts ... 0.79/0.88 c ============================[ Search Statistics ]============================ 0.79/0.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.88 c | | | | Limit GC | Var | Constra 0.79/0.88 c ============================================================================= 0.79/0.88 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.89/0.91 c 0.0s | 0 | 1743 | 28 | 3204 0 | 0 | 0 0.89/0.91 c #cpu_time = 0.029s 0.89/0.91 c #wall_clock_time = 0.029s 0.89/0.91 c #decision = 1743 0.89/0.91 c #random_decision = 0 0.89/0.91 c #conflict = 28 0.89/0.91 c #restart = 0 0.89/0.91 c BCD2: found a new core of size 29: cost of the new core is >=2 0.89/0.91 c lower bound updated to 36 0.89/0.91 c BCD2: 36 <= obj <= 9879 0.89/0.91 c BCD2: #cores=32, #unrelaxed=807, #relaxed=1533, #hardened=0 0.89/0.91 c BCD2: #sat=1 #unsat=33 bias=33/34 0.89/0.91 c Solving starts ... 0.89/0.91 c ============================[ Search Statistics ]============================ 0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.91 c | | | | Limit GC | Var | Constra 0.89/0.91 c ============================================================================= 0.89/0.91 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.89/0.93 c 0.0s | 0 | 953 | 11 | 3204 0 | 0 | 0 0.89/0.93 c #cpu_time = 0.015s 0.89/0.93 c #wall_clock_time = 0.015s 0.89/0.93 c #decision = 953 0.89/0.93 c #random_decision = 0 0.89/0.93 c #conflict = 11 0.89/0.93 c #restart = 0 0.89/0.93 c BCD2: found a new core of size 74: cost of the new core is >=1 0.89/0.93 c lower bound updated to 37 0.89/0.93 c BCD2: 37 <= obj <= 9879 0.89/0.93 c BCD2: #cores=33, #unrelaxed=733, #relaxed=1607, #hardened=0 0.89/0.93 c BCD2: #sat=1 #unsat=34 bias=34/35 0.89/0.93 c Solving starts ... 0.89/0.93 c ============================[ Search Statistics ]============================ 0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.93 c | | | | Limit GC | Var | Constra 0.89/0.93 c ============================================================================= 0.89/0.94 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.89/0.96 c 0.0s | 0 | 1238 | 26 | 3204 0 | 0 | 0 0.89/0.96 c #cpu_time = 0.022s 0.89/0.96 c #wall_clock_time = 0.022s 0.89/0.96 c #decision = 1238 0.89/0.96 c #random_decision = 0 0.89/0.96 c #conflict = 26 0.89/0.96 c #restart = 0 0.89/0.96 c BCD2: found a new core of size 47: cost of the new core is >=1 0.89/0.96 c lower bound updated to 38 0.89/0.96 c BCD2: 38 <= obj <= 9879 0.89/0.96 c BCD2: #cores=34, #unrelaxed=686, #relaxed=1654, #hardened=0 0.89/0.96 c BCD2: #sat=1 #unsat=35 bias=35/36 0.89/0.96 c Solving starts ... 0.89/0.96 c ============================[ Search Statistics ]============================ 0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.96 c | | | | Limit GC | Var | Constra 0.89/0.96 c ============================================================================= 0.89/0.96 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.89/0.98 c 0.0s | 0 | 823 | 17 | 3204 0 | 0 | 0 0.89/0.98 c #cpu_time = 0.018s 0.89/0.98 c #wall_clock_time = 0.018s 0.89/0.98 c #decision = 823 0.89/0.98 c #random_decision = 0 0.89/0.98 c #conflict = 17 0.89/0.98 c #restart = 0 0.89/0.98 c BCD2: found a new core of size 73: cost of the new core is >=2 0.89/0.98 c lower bound updated to 40 0.89/0.98 c BCD2: 40 <= obj <= 9879 0.89/0.98 c BCD2: #cores=35, #unrelaxed=613, #relaxed=1727, #hardened=0 0.89/0.98 c BCD2: #sat=1 #unsat=36 bias=36/37 0.89/0.98 c Solving starts ... 0.89/0.98 c ============================[ Search Statistics ]============================ 0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.98 c | | | | Limit GC | Var | Constra 0.89/0.98 c ============================================================================= 0.89/0.98 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.99/1.00 c 0.0s | 0 | 951 | 22 | 3204 0 | 0 | 0 0.99/1.00 c #cpu_time = 0.021s 0.99/1.00 c #wall_clock_time = 0.021s 0.99/1.00 c #decision = 951 0.99/1.00 c #random_decision = 0 0.99/1.00 c #conflict = 22 0.99/1.00 c #restart = 0 0.99/1.00 c BCD2: found a new core of size 80: cost of the new core is >=1 0.99/1.00 c lower bound updated to 41 0.99/1.01 c BCD2: 41 <= obj <= 9879 0.99/1.01 c BCD2: #cores=36, #unrelaxed=533, #relaxed=1807, #hardened=0 0.99/1.01 c BCD2: #sat=1 #unsat=37 bias=37/38 0.99/1.01 c Solving starts ... 0.99/1.01 c ============================[ Search Statistics ]============================ 0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.01 c | | | | Limit GC | Var | Constra 0.99/1.01 c ============================================================================= 0.99/1.01 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.99/1.03 c 0.0s | 0 | 878 | 18 | 3204 0 | 0 | 0 0.99/1.03 c #cpu_time = 0.019s 0.99/1.03 c #wall_clock_time = 0.020s 0.99/1.03 c #decision = 878 0.99/1.03 c #random_decision = 0 0.99/1.03 c #conflict = 18 0.99/1.03 c #restart = 0 0.99/1.03 c BCD2: found a new core of size 50: cost of the new core is >=2 0.99/1.03 c lower bound updated to 43 0.99/1.03 c BCD2: 43 <= obj <= 9879 0.99/1.03 c BCD2: #cores=37, #unrelaxed=483, #relaxed=1857, #hardened=0 0.99/1.03 c BCD2: #sat=1 #unsat=38 bias=38/39 0.99/1.03 c Solving starts ... 0.99/1.03 c ============================[ Search Statistics ]============================ 0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.03 c | | | | Limit GC | Var | Constra 0.99/1.03 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 0.99/1.05 c 0.0s | 0 | 605 | 16 | 3204 0 | 0 | 0 0.99/1.05 c #cpu_time = 0.021s 0.99/1.05 c #wall_clock_time = 0.021s 0.99/1.05 c #decision = 605 0.99/1.05 c #random_decision = 0 0.99/1.05 c #conflict = 16 0.99/1.05 c #restart = 0 0.99/1.05 c BCD2: found a new core of size 74: cost of the new core is >=3 0.99/1.05 c lower bound updated to 46 0.99/1.06 c BCD2: 46 <= obj <= 9879 0.99/1.06 c BCD2: #cores=38, #unrelaxed=409, #relaxed=1931, #hardened=0 0.99/1.06 c BCD2: #sat=1 #unsat=39 bias=39/40 0.99/1.06 c Solving starts ... 0.99/1.06 c ============================[ Search Statistics ]============================ 0.99/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.06 c | | | | Limit GC | Var | Constra 0.99/1.06 c ============================================================================= 0.99/1.06 c 0.0s | 0 | 0 | 0 | 3204 0 | 0 | 0 1.10/1.11 c 0.0s | 0 | 639 | 30 | 3204 0 | 0 | 0 1.10/1.11 c #cpu_time = 0.047s 1.10/1.11 c #wall_clock_time = 0.047s 1.10/1.11 c #decision = 639 1.10/1.11 c #random_decision = 0 1.10/1.11 c #conflict = 30 1.10/1.11 c #restart = 0 1.10/1.11 c BCD2: relaxing 121 and merging with 1 cores into a new core of size 163: cost of the new core is >=2 1.10/1.11 c lower bound updated to 47 1.10/1.11 c BCD2: 47 <= obj <= 9879 1.10/1.11 c BCD2: #cores=38, #unrelaxed=288, #relaxed=2052, #hardened=0 1.10/1.11 c BCD2: #sat=1 #unsat=40 bias=40/41 1.10/1.11 c Solving starts ... 1.10/1.11 c ============================[ Search Statistics ]============================ 1.10/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.11 c | | | | Limit GC | Var | Constra 1.10/1.11 c ============================================================================= 1.10/1.11 c 0.0s | 0 | 0 | 0 | 3204 0 | 13 | 0 1.10/1.13 c 0.0s | 0 | 417 | 0 | 3204 0 | 13 | 25 1.10/1.13 c #cpu_time = 0.015s 1.10/1.13 c #wall_clock_time = 0.015s 1.10/1.13 c #decision = 417 1.10/1.13 c #random_decision = 0 1.10/1.13 c #conflict = 0 1.10/1.13 c #restart = 0 1.10/1.13 o 3430 1.10/1.13 c BCD2: updating upper bound: 9879 -> 3429 1.10/1.14 c BCD2: 47 <= obj <= 3429 1.10/1.14 c BCD2: #cores=38, #unrelaxed=288, #relaxed=2052, #hardened=0 1.10/1.14 c BCD2: #sat=2 #unsat=40 bias=40/42 1.10/1.15 c Solving starts ... 1.10/1.15 c ============================[ Search Statistics ]============================ 1.10/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.15 c | | | | Limit GC | Var | Constra 1.10/1.15 c ============================================================================= 1.10/1.15 c 0.0s | 0 | 0 | 0 | 3204 0 | 13 | 26 1.10/1.18 c 0.0s | 0 | 357 | 20 | 3204 0 | 13 | 26 1.10/1.18 c #cpu_time = 0.037s 1.10/1.18 c #wall_clock_time = 0.037s 1.10/1.18 c #decision = 357 1.10/1.18 c #random_decision = 0 1.10/1.18 c #conflict = 20 1.10/1.18 c #restart = 0 1.10/1.18 c BCD2: relaxing 97 and merging with 11 cores into a new core of size 582: cost of the new core is >=15 1.10/1.18 c lower bound updated to 49 1.10/1.19 c BCD2: 49 <= obj <= 3429 1.10/1.19 c BCD2: #cores=28, #unrelaxed=191, #relaxed=2149, #hardened=0 1.10/1.19 c BCD2: #sat=2 #unsat=41 bias=41/43 1.10/1.19 c Solving starts ... 1.10/1.19 c ============================[ Search Statistics ]============================ 1.10/1.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.19 c | | | | Limit GC | Var | Constra 1.10/1.19 c ============================================================================= 1.10/1.19 c 0.0s | 0 | 0 | 0 | 3204 0 | 118 | 26 1.29/1.30 c 0.1s | 1 | 383 | 100 | 3525 0 | 118 | 226 1.39/1.46 c 0.3s | 2 | 800 | 250 | 3525 0 | 118 | 226 1.69/1.74 c 0.6s | 3 | 1314 | 475 | 3525 0 | 118 | 226 2.09/2.10 c 0.9s | 4 | 1959 | 813 | 3878 0 | 118 | 226 2.69/2.71 c 1.5s | 5 | 2812 | 1320 | 3878 0 | 118 | 226 3.59/3.62 c 2.4s | 6 | 3939 | 2081 | 4266 0 | 118 | 226 4.49/4.53 c 3.3s | 7 | 5494 | 3223 | 4693 0 | 118 | 226 5.99/6.03 c 4.8s | 8 | 7694 | 4936 | 5163 0 | 118 | 226 7.99/8.03 c 6.8s | 8 | 10264 | 6936 | 5680 1 | 118 | 226 8.59/8.63 c 7.4s | 9 | 10916 | 7506 | 5680 1 | 118 | 226 10.59/10.66 c 9.5s | 9 | 13498 | 9506 | 5680 2 | 118 | 226 12.58/12.63 c 11.4s | 10 | 15631 | 11361 | 6249 2 | 118 | 226 14.58/14.64 c 13.4s | 10 | 18109 | 13261 | 6249 2 | 118 | 226 16.68/16.72 c 15.5s | 10 | 20368 | 15261 | 6249 3 | 118 | 226 18.69/18.79 c 17.6s | 11 | 22567 | 17144 | 6874 3 | 118 | 226 20.78/20.83 c 19.6s | 11 | 25037 | 19044 | 6874 4 | 118 | 226 21.18/21.27 c 20.1s | 11 | 25506 | 19442 | 6874 4 | 118 | 226 21.18/21.27 c #cpu_time = 20.031s 21.18/21.27 c #wall_clock_time = 20.082s 21.18/21.27 c #decision = 25506 21.18/21.27 c #random_decision = 31 21.18/21.27 c #conflict = 19442 21.18/21.27 c #restart = 11 21.18/21.27 o 2027 21.18/21.27 c BCD2: updating upper bound: 3429 -> 2026 21.18/21.28 c BCD2: 49 <= obj <= 2026 21.18/21.28 c BCD2: #cores=28, #unrelaxed=191, #relaxed=2149, #hardened=0 21.18/21.28 c BCD2: #sat=3 #unsat=41 bias=41/44 21.18/21.29 c Solving starts ... 21.18/21.29 c ============================[ Search Statistics ]============================ 21.18/21.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.18/21.29 c | | | | Limit GC | Var | Constra 21.18/21.29 c ============================================================================= 21.28/21.30 c 0.0s | 0 | 0 | 0 | 6874 0 | 118 | 227 21.38/21.43 c 0.1s | 0 | 307 | 71 | 6874 0 | 118 | 227 21.38/21.43 c #cpu_time = 0.124s 21.38/21.43 c #wall_clock_time = 0.124s 21.38/21.43 c #decision = 307 21.38/21.43 c #random_decision = 0 21.38/21.43 c #conflict = 71 21.38/21.43 c #restart = 0 21.38/21.43 c BCD2: relaxing 81 and merging with 17 cores into a new core of size 983: cost of the new core is >=22 21.38/21.43 c lower bound updated to 50 21.38/21.43 c BCD2: 50 <= obj <= 2026 21.38/21.43 c BCD2: #cores=12, #unrelaxed=110, #relaxed=2230, #hardened=0 21.38/21.43 c BCD2: #sat=3 #unsat=42 bias=42/45 21.38/21.43 c Solving starts ... 21.38/21.43 c ============================[ Search Statistics ]============================ 21.38/21.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.38/21.43 c | | | | Limit GC | Var | Constra 21.38/21.43 c ============================================================================= 21.38/21.43 c 0.0s | 0 | 0 | 0 | 6874 0 | 278 | 227 21.48/21.59 c 0.2s | 1 | 273 | 100 | 6874 0 | 278 | 530 21.68/21.71 c 0.3s | 2 | 589 | 250 | 6874 0 | 278 | 530 21.78/21.86 c 0.4s | 3 | 1040 | 475 | 6874 0 | 278 | 530 22.09/22.12 c 0.7s | 4 | 1623 | 813 | 6874 0 | 278 | 530 22.48/22.55 c 1.1s | 5 | 2369 | 1320 | 6874 0 | 278 | 530 23.09/23.19 c 1.8s | 6 | 3387 | 2081 | 6874 0 | 278 | 530 23.88/23.99 c 2.6s | 7 | 4867 | 3223 | 6874 0 | 278 | 530 25.29/25.38 c 3.9s | 8 | 7000 | 4936 | 6874 0 | 278 | 530 27.38/27.41 c 6.0s | 8 | 9650 | 7136 | 7562 0 | 278 | 530 27.68/27.77 c 6.3s | 9 | 10106 | 7506 | 7562 1 | 278 | 530 29.79/29.81 c 8.4s | 9 | 13449 | 10206 | 7562 1 | 278 | 530 30.58/30.69 c 9.3s | 10 | 14797 | 11361 | 7562 1 | 278 | 530 32.68/32.72 c 11.3s | 10 | 18071 | 14061 | 7562 2 | 278 | 530 34.68/34.77 c 13.3s | 10 | 20939 | 16561 | 7562 2 | 278 | 530 35.30/35.34 c 13.9s | 11 | 21580 | 17144 | 7562 3 | 278 | 530 37.29/37.34 c 15.9s | 11 | 24608 | 19544 | 8319 3 | 278 | 530 39.29/39.38 c 17.9s | 11 | 27328 | 21944 | 8319 3 | 278 | 530 41.39/41.43 c 20.0s | 11 | 30540 | 24644 | 8319 4 | 278 | 530 42.29/42.33 c 20.9s | 12 | 31869 | 25819 | 8319 4 | 278 | 530 44.29/44.37 c 22.9s | 12 | 34944 | 28419 | 8319 5 | 278 | 530 46.29/46.39 c 25.0s | 12 | 37706 | 30819 | 8319 5 | 278 | 530 48.39/48.43 c 27.0s | 12 | 40553 | 33319 | 8319 6 | 278 | 530 50.39/50.45 c 29.0s | 12 | 43376 | 35719 | 8319 6 | 278 | 530 52.49/52.53 c 31.1s | 12 | 46176 | 38119 | 9151 7 | 278 | 530 53.09/53.12 c 31.7s | 13 | 47060 | 38832 | 9151 7 | 278 | 530 55.09/55.14 c 33.7s | 13 | 50006 | 41232 | 9151 7 | 278 | 530 57.09/57.20 c 35.8s | 13 | 52871 | 43632 | 9151 8 | 278 | 530 59.19/59.24 c 37.8s | 13 | 55344 | 45732 | 9151 8 | 278 | 530 61.18/61.27 c 39.8s | 13 | 57749 | 47832 | 9151 9 | 278 | 530 63.28/63.30 c 41.9s | 13 | 60481 | 50132 | 9151 9 | 278 | 530 65.28/65.36 c 43.9s | 13 | 63163 | 52432 | 9151 9 | 278 | 530 67.38/67.40 c 46.0s | 13 | 66019 | 54832 | 9151 10 | 278 | 530 69.39/69.49 c 48.1s | 13 | 68701 | 57032 | 9151 10 | 278 | 530 70.58/70.63 c 49.2s | 14 | 70217 | 58352 | 9151 11 | 278 | 530 72.59/72.67 c 51.2s | 14 | 73480 | 60952 | 9151 11 | 278 | 530 74.68/74.73 c 53.3s | 14 | 76296 | 63352 | 9151 12 | 278 | 530 76.68/76.73 c 55.3s | 14 | 79314 | 65952 | 9151 12 | 278 | 530 78.68/78.73 c 57.3s | 14 | 82130 | 68352 | 10067 12 | 278 | 530 80.68/80.79 c 59.4s | 14 | 85207 | 70952 | 10067 13 | 278 | 530 82.78/82.80 c 61.4s | 14 | 88175 | 73352 | 10067 13 | 278 | 530 84.79/84.86 c 63.4s | 14 | 90885 | 75652 | 10067 14 | 278 | 530 86.78/86.87 c 65.4s | 14 | 93349 | 77752 | 10067 14 | 278 | 530 88.88/88.99 c 67.6s | 14 | 95910 | 79952 | 10067 14 | 278 | 530 90.98/91.01 c 69.6s | 14 | 98492 | 82152 | 10067 15 | 278 | 530 92.98/93.03 c 71.6s | 14 | 100961 | 84252 | 10067 15 | 278 | 530 94.98/95.06 c 73.6s | 14 | 103486 | 86252 | 10067 15 | 278 | 530 96.18/96.29 c 74.9s | 15 | 105058 | 87632 | 10067 16 | 278 | 530 98.28/98.30 c 76.9s | 15 | 108142 | 90232 | 10067 16 | 278 | 530 100.27/100.36 c 78.9s | 15 | 110996 | 92732 | 10067 16 | 278 | 530 102.28/102.38 c 80.9s | 15 | 113614 | 95032 | 10067 17 | 278 | 530 104.37/104.46 c 83.0s | 15 | 116469 | 97532 | 10067 17 | 278 | 530 106.47/106.55 c 85.1s | 15 | 119152 | 99832 | 10067 18 | 278 | 530 108.47/108.56 c 87.1s | 15 | 121458 | 101832 | 10067 18 | 278 | 530 110.47/110.59 c 89.2s | 15 | 124303 | 104332 | 10067 18 | 278 | 530 112.57/112.63 c 91.2s | 15 | 126887 | 106632 | 10067 19 | 278 | 530 114.57/114.69 c 93.3s | 15 | 129414 | 108832 | 10067 19 | 278 | 530 116.58/116.69 c 95.3s | 15 | 131961 | 111032 | 11074 19 | 278 | 530 118.67/118.73 c 97.3s | 15 | 134660 | 113332 | 11074 20 | 278 | 530 120.67/120.78 c 99.3s | 15 | 137506 | 115732 | 11074 20 | 278 | 530 122.77/122.87 c 101s | 15 | 140370 | 118232 | 11074 21 | 278 | 530 124.77/124.87 c 103s | 15 | 143299 | 120832 | 11074 21 | 278 | 530 125.77/125.87 c 104s | 15 | 144624 | 122023 | 11074 21 | 278 | 530 125.77/125.87 c #cpu_time = 104.165s 125.77/125.87 c #wall_clock_time = 104.431s 125.77/125.87 c #decision = 144624 125.77/125.87 c #random_decision = 211 125.77/125.87 c #conflict = 122023 125.77/125.87 c #restart = 15 125.77/125.87 o 1470 125.77/125.87 c BCD2: updating upper bound: 2026 -> 1469 125.77/125.88 c BCD2: 50 <= obj <= 1469 125.77/125.88 c BCD2: #cores=12, #unrelaxed=110, #relaxed=2230, #hardened=0 125.77/125.88 c BCD2: #sat=4 #unsat=42 bias=42/46 125.77/125.89 c Solving starts ... 125.77/125.89 c ============================[ Search Statistics ]============================ 125.77/125.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 125.77/125.89 c | | | | Limit GC | Var | Constra 125.77/125.89 c ============================================================================= 125.77/125.89 c 0.0s | 0 | 0 | 0 | 11074 0 | 278 | 531 125.97/126.07 c 0.2s | 1 | 253 | 100 | 11074 0 | 278 | 531 126.17/126.24 c 0.3s | 1 | 473 | 187 | 11074 0 | 278 | 531 126.17/126.24 c #cpu_time = 0.344s 126.17/126.24 c #wall_clock_time = 0.345s 126.17/126.24 c #decision = 473 126.17/126.24 c #random_decision = 0 126.17/126.24 c #conflict = 187 126.17/126.24 c #restart = 1 126.17/126.24 c BCD2: relaxing 83 and merging with 10 cores into a new core of size 748: cost of the new core is >=14 126.17/126.24 c lower bound updated to 51 126.17/126.24 c BCD2: 51 <= obj <= 1469 126.17/126.24 c BCD2: #cores=3, #unrelaxed=27, #relaxed=2313, #hardened=0 126.17/126.24 c BCD2: #sat=4 #unsat=43 bias=43/47 126.17/126.28 c Solving starts ... 126.17/126.28 c ============================[ Search Statistics ]============================ 126.17/126.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 126.17/126.28 c | | | | Limit GC | Var | Constra 126.17/126.28 c ============================================================================= 126.17/126.28 c 0.0s | 0 | 0 | 0 | 11074 0 | 348 | 531 126.37/126.41 c 0.1s | 1 | 186 | 100 | 11074 0 | 348 | 663 126.48/126.52 c 0.2s | 2 | 432 | 250 | 11074 0 | 348 | 663 126.58/126.67 c 0.4s | 3 | 781 | 475 | 11074 0 | 348 | 663 126.87/126.90 c 0.6s | 4 | 1263 | 813 | 11074 0 | 348 | 663 127.17/127.27 c 1.0s | 5 | 1971 | 1320 | 11074 0 | 348 | 663 127.68/127.76 c 1.5s | 6 | 3034 | 2081 | 11074 0 | 348 | 663 128.47/128.55 c 2.3s | 7 | 4626 | 3223 | 11074 0 | 348 | 663 129.67/129.73 c 3.5s | 8 | 6851 | 4936 | 11074 0 | 348 | 663 131.57/131.60 c 5.3s | 9 | 10351 | 7506 | 11074 0 | 348 | 663 133.57/133.65 c 7.4s | 9 | 13982 | 10306 | 11074 1 | 348 | 663 134.37/134.43 c 8.2s | 10 | 15323 | 11361 | 11074 1 | 348 | 663 136.37/136.46 c 10.2s | 10 | 19597 | 14561 | 11074 1 | 348 | 663 138.07/138.14 c 11.9s | 11 | 22849 | 17144 | 11074 2 | 348 | 663 140.07/140.18 c 13.9s | 11 | 26924 | 20244 | 11074 2 | 348 | 663 142.17/142.21 c 15.9s | 11 | 30523 | 23044 | 11074 3 | 348 | 663 144.17/144.21 c 17.9s | 12 | 34069 | 25819 | 11074 3 | 348 | 663 146.17/146.25 c 20.0s | 12 | 37435 | 28419 | 11074 4 | 348 | 663 148.17/148.28 c 22.0s | 12 | 40608 | 30919 | 11074 4 | 348 | 663 150.26/150.30 c 24.0s | 12 | 43699 | 33319 | 11074 4 | 348 | 663 152.26/152.31 c 26.0s | 12 | 47134 | 36019 | 11074 5 | 348 | 663 154.26/154.32 c 28.0s | 12 | 50669 | 38619 | 11074 5 | 348 | 663 154.46/154.50 c 28.2s | 13 | 50950 | 38832 | 11074 5 | 348 | 663 156.46/156.56 c 30.3s | 13 | 54297 | 41432 | 11074 6 | 348 | 663 158.56/158.60 c 32.3s | 13 | 57820 | 44232 | 11074 6 | 348 | 663 160.57/160.65 c 34.4s | 13 | 61242 | 46732 | 11074 7 | 348 | 663 162.66/162.74 c 36.5s | 13 | 64717 | 49432 | 11074 7 | 348 | 663 164.76/164.80 c 38.5s | 13 | 67924 | 51832 | 11074 7 | 348 | 663 166.76/166.87 c 40.6s | 13 | 71480 | 54532 | 12182 8 | 348 | 663 168.86/168.92 c 42.6s | 13 | 74733 | 57132 | 12182 8 | 348 | 663 169.76/169.86 c 43.6s | 14 | 76347 | 58352 | 12182 8 | 348 | 663 171.86/171.90 c 45.6s | 14 | 79997 | 61152 | 12182 9 | 348 | 663 173.87/173.96 c 47.7s | 14 | 83321 | 63652 | 12182 9 | 348 | 663 175.86/175.99 c 49.7s | 14 | 86778 | 66252 | 12182 9 | 348 | 663 177.86/177.99 c 51.7s | 14 | 89795 | 68652 | 12182 10 | 348 | 663 179.96/180.01 c 53.7s | 14 | 93228 | 71252 | 12182 10 | 348 | 663 181.96/182.01 c 55.7s | 14 | 96596 | 73852 | 12182 11 | 348 | 663 183.96/184.03 c 57.8s | 14 | 100020 | 76352 | 12182 11 | 348 | 663 185.96/186.09 c 59.8s | 14 | 103486 | 79052 | 12182 11 | 348 | 663 188.06/188.13 c 61.8s | 14 | 106470 | 81352 | 12182 12 | 348 | 663 190.06/190.17 c 63.9s | 14 | 109895 | 83952 | 12182 12 | 348 | 663 192.06/192.17 c 65.9s | 14 | 113326 | 86652 | 12182 12 | 348 | 663 192.86/192.98 c 66.7s | 15 | 114525 | 87632 | 12182 13 | 348 | 663 194.96/195.06 c 68.8s | 15 | 118544 | 90532 | 12182 13 | 348 | 663 197.06/197.11 c 70.8s | 15 | 122222 | 93232 | 12182 13 | 348 | 663 199.07/199.15 c 72.9s | 15 | 125984 | 96032 | 12182 14 | 348 | 663 201.16/201.21 c 74.9s | 15 | 129888 | 98832 | 12182 14 | 348 | 663 203.16/203.22 c 76.9s | 15 | 133387 | 101432 | 12182 15 | 348 | 663 205.16/205.22 c 78.9s | 15 | 136884 | 104032 | 12182 15 | 348 | 663 207.16/207.29 c 81.0s | 15 | 140535 | 106732 | 12182 15 | 348 | 663 209.26/209.35 c 83.1s | 15 | 144023 | 109532 | 12182 16 | 348 | 663 211.27/211.37 c 85.1s | 15 | 147972 | 112532 | 12182 16 | 348 | 663 213.26/213.39 c 87.1s | 15 | 151704 | 115332 | 12182 17 | 348 | 663 215.36/215.41 c 89.1s | 15 | 155350 | 118132 | 12182 17 | 348 | 663 217.36/217.49 c 91.2s | 15 | 158990 | 120932 | 12182 18 | 348 | 663 219.46/219.54 c 93.3s | 15 | 162876 | 123732 | 12182 18 | 348 | 663 221.46/221.59 c 95.3s | 15 | 166654 | 126532 | 12182 18 | 348 | 663 223.56/223.63 c 97.4s | 15 | 170399 | 129332 | 12182 19 | 348 | 663 225.16/225.27 c 99.0s | 16 | 173311 | 131552 | 12182 19 | 348 | 663 227.26/227.30 c 101s | 16 | 176966 | 134252 | 12182 19 | 348 | 663 229.26/229.34 c 103s | 16 | 180735 | 136852 | 12182 20 | 348 | 663 231.26/231.36 c 105s | 16 | 184656 | 139652 | 12182 20 | 348 | 663 233.36/233.41 c 107s | 16 | 188468 | 142452 | 12182 21 | 348 | 663 235.36/235.48 c 109s | 16 | 192292 | 145252 | 12182 21 | 348 | 663 237.45/237.52 c 111s | 16 | 196029 | 147952 | 12182 21 | 348 | 663 239.45/239.57 c 113s | 16 | 199253 | 150452 | 12182 22 | 348 | 663 241.55/241.61 c 115s | 16 | 202958 | 153352 | 13401 22 | 348 | 663 243.55/243.65 c 117s | 16 | 206568 | 156152 | 13401 23 | 348 | 663 245.55/245.69 c 119s | 16 | 210360 | 159052 | 13401 23 | 348 | 663 247.65/247.72 c 121s | 16 | 213995 | 161852 | 13401 23 | 348 | 663 249.66/249.76 c 123s | 16 | 217500 | 164452 | 13401 24 | 348 | 663 251.65/251.76 c 125s | 16 | 221162 | 167252 | 13401 24 | 348 | 663 253.75/253.80 c 127s | 16 | 224691 | 170052 | 13401 24 | 348 | 663 255.75/255.82 c 129s | 16 | 227691 | 172452 | 13401 25 | 348 | 663 257.75/257.84 c 131s | 16 | 231328 | 175052 | 13401 25 | 348 | 663 259.75/259.86 c 133s | 16 | 234659 | 177652 | 13401 25 | 348 | 663 261.76/261.87 c 135s | 16 | 238156 | 180252 | 13401 26 | 348 | 663 263.75/263.88 c 137s | 16 | 241604 | 182952 | 13401 26 | 348 | 663 265.85/265.91 c 139s | 16 | 245439 | 185752 | 13401 26 | 348 | 663 267.85/267.97 c 141s | 16 | 248932 | 188352 | 13401 27 | 348 | 663 269.85/269.99 c 143s | 16 | 252762 | 191152 | 13401 27 | 348 | 663 272.05/272.11 c 145s | 16 | 256760 | 194052 | 13401 28 | 348 | 663 274.05/274.19 c 147s | 16 | 260559 | 196852 | 13401 28 | 348 | 663 274.55/274.62 c 148s | 17 | 261347 | 197432 | 13401 28 | 348 | 663 276.55/276.68 c 150s | 17 | 264871 | 200032 | 13401 28 | 348 | 663 278.55/278.69 c 152s | 17 | 268460 | 202832 | 13401 29 | 348 | 663 280.65/280.74 c 154s | 17 | 272273 | 205732 | 13401 29 | 348 | 663 282.65/282.76 c 156s | 17 | 275532 | 208232 | 13401 29 | 348 | 663 284.75/284.80 c 158s | 17 | 279111 | 210832 | 13401 30 | 348 | 663 286.85/286.91 c 160s | 17 | 282324 | 213332 | 13401 30 | 348 | 663 288.85/288.91 c 162s | 17 | 285554 | 215832 | 13401 30 | 348 | 663 290.84/290.92 c 164s | 17 | 288905 | 218432 | 13401 31 | 348 | 663 292.84/292.94 c 166s | 17 | 292682 | 221332 | 13401 31 | 348 | 663 294.94/295.00 c 168s | 17 | 296340 | 224132 | 13401 32 | 348 | 663 296.95/297.05 c 170s | 17 | 299870 | 226832 | 13401 32 | 348 | 663 298.94/299.07 c 172s | 17 | 303460 | 229632 | 13401 32 | 348 | 663 301.04/301.10 c 174s | 17 | 307014 | 232432 | 13401 33 | 348 | 663 303.04/303.16 c 176s | 17 | 310219 | 235032 | 13401 33 | 348 | 663 305.14/305.20 c 178s | 17 | 313502 | 237532 | 13401 33 | 348 | 663 307.14/307.24 c 180s | 17 | 317027 | 240232 | 13401 34 | 348 | 663 309.15/309.29 c 183s | 17 | 320781 | 243132 | 13401 34 | 348 | 663 311.25/311.32 c 185s | 17 | 324361 | 246032 | 13401 35 | 348 | 663 313.24/313.35 c 187s | 17 | 328139 | 249132 | 13401 35 | 348 | 663 315.24/315.39 c 189s | 17 | 331865 | 251832 | 13401 35 | 348 | 663 317.34/317.41 c 191s | 17 | 335282 | 254532 | 13401 36 | 348 | 663 319.34/319.42 c 193s | 17 | 338972 | 257332 | 13401 36 | 348 | 663 321.34/321.44 c 195s | 17 | 342507 | 260032 | 13401 36 | 348 | 663 323.34/323.50 c 197s | 17 | 346083 | 262732 | 13401 37 | 348 | 663 325.44/325.51 c 199s | 17 | 349460 | 265332 | 13401 37 | 348 | 663 327.44/327.58 c 201s | 17 | 352827 | 267932 | 13401 37 | 348 | 663 329.54/329.61 c 203s | 17 | 356369 | 270532 | 13401 38 | 348 | 663 331.54/331.65 c 205s | 17 | 359918 | 273132 | 13401 38 | 348 | 663 333.54/333.66 c 207s | 17 | 363261 | 275632 | 13401 39 | 348 | 663 335.64/335.73 c 209s | 17 | 366796 | 278332 | 13401 39 | 348 | 663 337.64/337.76 c 211s | 17 | 370307 | 281032 | 13401 39 | 348 | 663 339.74/339.80 c 213s | 17 | 373829 | 283732 | 13401 40 | 348 | 663 341.74/341.87 c 215s | 17 | 377458 | 286532 | 13401 40 | 348 | 663 343.73/343.90 c 217s | 17 | 380930 | 289132 | 13401 40 | 348 | 663 345.83/345.92 c 219s | 17 | 384362 | 291632 | 13401 41 | 348 | 663 347.83/347.94 c 221s | 17 | 388111 | 294432 | 13401 41 | 348 | 663 349.33/349.40 c 223s | 18 | 390511 | 296252 | 13401 41 | 348 | 663 351.33/351.42 c 225s | 18 | 394389 | 299052 | 14742 42 | 348 | 663 353.33/353.45 c 227s | 18 | 397882 | 301652 | 14742 42 | 348 | 663 355.43/355.53 c 229s | 18 | 401509 | 304352 | 14742 42 | 348 | 663 357.44/357.56 c 231s | 18 | 404890 | 306852 | 14742 42 | 348 | 663 359.53/359.62 c 233s | 18 | 408471 | 309552 | 14742 43 | 348 | 663 361.53/361.69 c 235s | 18 | 411914 | 312252 | 14742 43 | 348 | 663 363.63/363.75 c 237s | 18 | 415071 | 314652 | 14742 43 | 348 | 663 365.73/365.80 c 239s | 18 | 418346 | 317052 | 14742 44 | 348 | 663 367.73/367.85 c 241s | 18 | 421845 | 319552 | 14742 44 | 348 | 663 369.83/369.91 c 243s | 18 | 425441 | 322252 | 14742 44 | 348 | 663 371.84/371.92 c 245s | 18 | 428634 | 324652 | 14742 45 | 348 | 663 373.83/373.93 c 247s | 18 | 431961 | 327152 | 14742 45 | 348 | 663 375.93/376.00 c 249s | 18 | 435331 | 329752 | 14742 45 | 348 | 663 377.93/378.06 c 251s | 18 | 438691 | 332252 | 14742 46 | 348 | 663 380.03/380.10 c 253s | 18 | 442262 | 334852 | 14742 46 | 348 | 663 382.03/382.16 c 255s | 18 | 445850 | 337452 | 14742 46 | 348 | 663 384.03/384.19 c 257s | 18 | 449136 | 339852 | 14742 47 | 348 | 663 386.13/386.21 c 259s | 18 | 452565 | 342452 | 14742 47 | 348 | 663 388.13/388.23 c 261s | 18 | 455679 | 344852 | 14742 47 | 348 | 663 390.13/390.28 c 263s | 18 | 459530 | 347652 | 14742 47 | 348 | 663 392.23/392.32 c 266s | 18 | 463093 | 350252 | 14742 48 | 348 | 663 394.23/394.35 c 268s | 18 | 467020 | 353052 | 14742 48 | 348 | 663 396.32/396.48 c 270s | 18 | 470484 | 355652 | 14742 49 | 348 | 663 398.32/398.49 c 272s | 18 | 474125 | 358252 | 14742 49 | 348 | 663 400.43/400.56 c 274s | 18 | 477630 | 360652 | 14742 49 | 348 | 663 402.53/402.63 c 276s | 18 | 481294 | 363152 | 14742 49 | 348 | 663 404.62/404.71 c 278s | 18 | 484933 | 365752 | 14742 50 | 348 | 663 406.62/406.74 c 280s | 18 | 488597 | 368452 | 14742 50 | 348 | 663 408.72/408.80 c 282s | 18 | 492511 | 371252 | 14742 50 | 348 | 663 410.73/410.84 c 284s | 18 | 496313 | 374052 | 14742 51 | 348 | 663 412.73/412.87 c 286s | 18 | 500224 | 376952 | 14742 51 | 348 | 663 414.83/414.93 c 288s | 18 | 503763 | 379552 | 14742 51 | 348 | 663 416.84/416.96 c 290s | 18 | 507207 | 382152 | 14742 52 | 348 | 663 418.83/418.96 c 292s | 18 | 510855 | 384752 | 14742 52 | 348 | 663 420.93/421.06 c 294s | 18 | 514639 | 387452 | 14742 52 | 348 | 663 423.03/423.10 c 296s | 18 | 517905 | 389952 | 14742 53 | 348 | 663 425.02/425.15 c 298s | 18 | 521682 | 392652 | 14742 53 | 348 | 663 427.02/427.19 c 300s | 18 | 525438 | 395352 | 14742 53 | 348 | 663 429.12/429.25 c 302s | 18 | 529249 | 398052 | 14742 54 | 348 | 663 431.13/431.28 c 305s | 18 | 532858 | 400852 | 14742 54 | 348 | 663 433.22/433.33 c 307s | 18 | 536686 | 403752 | 14742 54 | 348 | 663 435.21/435.34 c 309s | 18 | 540540 | 406452 | 14742 55 | 348 | 663 437.21/437.39 c 311s | 18 | 544264 | 409152 | 14742 55 | 348 | 663 439.31/439.41 c 313s | 18 | 547458 | 411552 | 14742 55 | 348 | 663 441.31/441.41 c 315s | 18 | 550953 | 414052 | 14742 56 | 348 | 663 443.32/443.43 c 317s | 18 | 554951 | 416852 | 14742 56 | 348 | 663 445.31/445.50 c 319s | 18 | 558774 | 419652 | 14742 56 | 348 | 663 447.41/447.53 c 321s | 18 | 562302 | 422252 | 14742 57 | 348 | 663 449.50/449.60 c 323s | 18 | 566210 | 425052 | 14742 57 | 348 | 663 451.50/451.62 c 325s | 18 | 569726 | 427652 | 14742 57 | 348 | 663 453.50/453.63 c 327s | 18 | 573267 | 430352 | 14742 58 | 348 | 663 455.50/455.68 c 329s | 18 | 576589 | 432952 | 14742 58 | 348 | 663 457.61/457.74 c 331s | 18 | 580331 | 435852 | 14742 58 | 348 | 663 459.71/459.81 c 333s | 18 | 583606 | 438452 | 14742 59 | 348 | 663 461.70/461.86 c 335s | 18 | 587241 | 441152 | 14742 59 | 348 | 663 463.79/463.91 c 337s | 18 | 590589 | 443652 | 14742 59 | 348 | 663 464.39/464.57 c 338s | 19 | 591677 | 444482 | 14742 59 | 348 | 663 466.59/466.72 c 340s | 19 | 595093 | 446882 | 14742 60 | 348 | 663 468.60/468.78 c 342s | 19 | 598662 | 449382 | 14742 60 | 348 | 663 470.70/470.82 c 344s | 19 | 602370 | 451982 | 14742 60 | 348 | 663 472.69/472.86 c 346s | 19 | 605871 | 454482 | 14742 61 | 348 | 663 474.68/474.88 c 348s | 19 | 609780 | 457182 | 14742 61 | 348 | 663 476.68/476.88 c 350s | 19 | 613326 | 459782 | 14742 61 | 348 | 663 478.78/478.91 c 352s | 19 | 616935 | 462382 | 14742 62 | 348 | 663 480.78/480.96 c 354s | 19 | 620708 | 465082 | 14742 62 | 348 | 663 482.79/483.00 c 356s | 19 | 624360 | 467682 | 14742 62 | 348 | 663 484.88/485.03 c 358s | 19 | 627819 | 470182 | 14742 63 | 348 | 663 486.88/487.03 c 360s | 19 | 631236 | 472682 | 14742 63 | 348 | 663 488.88/489.08 c 362s | 19 | 634837 | 475282 | 14742 63 | 348 | 663 490.88/491.09 c 364s | 19 | 638319 | 477782 | 14742 64 | 348 | 663 492.98/493.13 c 366s | 19 | 642236 | 480582 | 14742 64 | 348 | 663 495.07/495.20 c 368s | 19 | 645599 | 483082 | 14742 64 | 348 | 663 497.08/497.22 c 370s | 19 | 649447 | 486082 | 14742 65 | 348 | 663 499.07/499.27 c 372s | 19 | 653383 | 489182 | 14742 65 | 348 | 663 501.17/501.33 c 375s | 19 | 657259 | 492082 | 14742 65 | 348 | 663 503.17/503.36 c 377s | 19 | 660778 | 494782 | 14742 66 | 348 | 663 505.27/505.41 c 379s | 19 | 664540 | 497782 | 14742 66 | 348 | 663 507.27/507.46 c 381s | 19 | 668298 | 500682 | 14742 66 | 348 | 663 509.28/509.49 c 383s | 19 | 672065 | 503682 | 14742 67 | 348 | 663 511.38/511.52 c 385s | 19 | 675564 | 506382 | 14742 67 | 348 | 663 513.37/513.56 c 387s | 19 | 679231 | 509082 | 14742 67 | 348 | 663 515.46/515.60 c 389s | 19 | 682706 | 511682 | 14742 68 | 348 | 663 517.46/517.63 c 391s | 19 | 686348 | 514482 | 14742 68 | 348 | 663 519.46/519.68 c 393s | 19 | 689855 | 517182 | 14742 68 | 348 | 663 521.56/521.74 c 395s | 19 | 693747 | 520082 | 16217 69 | 348 | 663 523.56/523.79 c 397s | 19 | 697352 | 522782 | 16217 69 | 348 | 663 525.66/525.85 c 399s | 19 | 700791 | 525382 | 16217 69 | 348 | 663 527.66/527.89 c 401s | 19 | 704488 | 528182 | 16217 70 | 348 | 663 529.76/529.94 c 403s | 19 | 707970 | 530882 | 16217 70 | 348 | 663 531.86/532.02 c 405s | 19 | 711808 | 533882 | 16217 70 | 348 | 663 533.85/534.02 c 407s | 19 | 715481 | 536682 | 16217 71 | 348 | 663 535.85/536.03 c 409s | 19 | 719030 | 539482 | 16217 71 | 348 | 663 537.86/538.09 c 411s | 19 | 722309 | 542182 | 16217 71 | 348 | 663 539.96/540.13 c 413s | 19 | 725656 | 544782 | 16217 71 | 348 | 663 541.95/542.18 c 415s | 19 | 729410 | 547582 | 16217 72 | 348 | 663 544.05/544.23 c 417s | 19 | 733293 | 550482 | 16217 72 | 348 | 663 546.05/546.26 c 419s | 19 | 737163 | 553382 | 16217 72 | 348 | 663 548.05/548.27 c 421s | 19 | 740403 | 555882 | 16217 73 | 348 | 663 550.15/550.33 c 424s | 19 | 744029 | 558582 | 16217 73 | 348 | 663 552.25/552.40 c 426s | 19 | 747771 | 561382 | 16217 73 | 348 | 663 554.25/554.42 c 428s | 19 | 751446 | 564082 | 16217 74 | 348 | 663 556.24/556.46 c 430s | 19 | 755236 | 566982 | 16217 74 | 348 | 663 558.34/558.53 c 432s | 19 | 758734 | 569682 | 16217 74 | 348 | 663 560.44/560.60 c 434s | 19 | 761971 | 572082 | 16217 75 | 348 | 663 562.44/562.67 c 436s | 19 | 765543 | 574882 | 16217 75 | 348 | 663 564.54/564.72 c 438s | 19 | 769105 | 577582 | 16217 75 | 348 | 663 566.63/566.86 c 440s | 19 | 772140 | 579982 | 16217 76 | 348 | 663 568.64/568.89 c 442s | 19 | 775739 | 582782 | 16217 76 | 348 | 663 570.74/570.94 c 444s | 19 | 779365 | 585582 | 16217 76 | 348 | 663 572.73/572.99 c 446s | 19 | 783074 | 588382 | 16217 76 | 348 | 663 574.83/575.02 c 448s | 19 | 786673 | 591082 | 16217 77 | 348 | 663 576.83/577.07 c 450s | 19 | 790191 | 593782 | 16217 77 | 348 | 663 578.93/579.11 c 452s | 19 | 793604 | 596182 | 16217 77 | 348 | 663 580.93/581.13 c 454s | 19 | 796962 | 598582 | 16217 78 | 348 | 663 582.94/583.17 c 456s | 19 | 800622 | 601382 | 16217 78 | 348 | 663 585.03/585.21 c 458s | 19 | 804211 | 604082 | 16217 78 | 348 | 663 587.12/587.30 c 461s | 19 | 807583 | 606582 | 16217 79 | 348 | 663 589.12/589.35 c 463s | 19 | 811283 | 609282 | 16217 79 | 348 | 663 591.12/591.35 c 465s | 19 | 814681 | 611882 | 16217 79 | 348 | 663 593.22/593.43 c 467s | 19 | 818498 | 614582 | 16217 79 | 348 | 663 595.32/595.50 c 469s | 19 | 821850 | 617182 | 16217 80 | 348 | 663 597.32/597.51 c 471s | 19 | 825203 | 619682 | 16217 80 | 348 | 663 599.32/599.59 c 473s | 19 | 828602 | 622282 | 16217 80 | 348 | 663 601.32/601.59 c 475s | 19 | 831811 | 624682 | 16217 81 | 348 | 663 603.42/603.64 c 477s | 19 | 835531 | 627582 | 16217 81 | 348 | 663 605.41/605.67 c 479s | 19 | 839010 | 630282 | 16217 81 | 348 | 663 607.51/607.70 c 481s | 19 | 842601 | 633082 | 16217 81 | 348 | 663 609.51/609.77 c 483s | 19 | 846276 | 635782 | 16217 82 | 348 | 663 611.61/611.84 c 485s | 19 | 849727 | 638582 | 16217 82 | 348 | 663 613.61/613.90 c 487s | 19 | 853346 | 641382 | 16217 82 | 348 | 663 615.70/615.95 c 489s | 19 | 857107 | 644182 | 16217 83 | 348 | 663 617.70/617.98 c 491s | 19 | 861010 | 647182 | 16217 83 | 348 | 663 619.80/620.02 c 493s | 19 | 864989 | 650082 | 16217 83 | 348 | 663 621.90/622.10 c 495s | 19 | 868502 | 652882 | 16217 84 | 348 | 663 623.90/624.13 c 497s | 19 | 872301 | 655682 | 16217 84 | 348 | 663 625.90/626.16 c 499s | 19 | 875804 | 658382 | 16217 84 | 348 | 663 628.00/628.21 c 501s | 19 | 879341 | 661182 | 16217 85 | 348 | 663 630.00/630.27 c 503s | 19 | 883130 | 664082 | 16217 85 | 348 | 663 632.10/632.30 c 506s | 19 | 886625 | 666682 | 16217 85 | 348 | 663 632.20/632.41 c 506s | 20 | 886822 | 666827 | 16217 85 | 348 | 663 634.19/634.46 c 508s | 20 | 890782 | 669827 | 16217 86 | 348 | 663 636.29/636.51 c 510s | 20 | 894758 | 672827 | 16217 86 | 348 | 663 638.29/638.52 c 512s | 20 | 898453 | 675627 | 16217 86 | 348 | 663 640.29/640.57 c 514s | 20 | 902155 | 678527 | 16217 87 | 348 | 663 642.30/642.57 c 516s | 20 | 905894 | 681527 | 16217 87 | 348 | 663 644.39/644.63 c 518s | 20 | 909307 | 684227 | 16217 87 | 348 | 663 646.38/646.69 c 520s | 20 | 912665 | 686927 | 16217 88 | 348 | 663 648.48/648.76 c 522s | 20 | 916272 | 689827 | 16217 88 | 348 | 663 650.48/650.77 c 524s | 20 | 919868 | 692627 | 16217 88 | 348 | 663 652.58/652.81 c 526s | 20 | 923390 | 695227 | 16217 89 | 348 | 663 654.58/654.85 c 528s | 20 | 927047 | 698027 | 16217 89 | 348 | 663 656.68/656.90 c 530s | 20 | 930761 | 700927 | 16217 89 | 348 | 663 658.69/658.99 c 532s | 20 | 934627 | 703827 | 16217 90 | 348 | 663 660.78/661.05 c 534s | 20 | 938306 | 706627 | 16217 90 | 348 | 663 662.88/663.12 c 536s | 20 | 942245 | 709527 | 16217 90 | 348 | 663 664.88/665.20 c 538s | 20 | 945695 | 712127 | 16217 90 | 348 | 663 666.98/667.28 c 541s | 20 | 948942 | 714627 | 16217 91 | 348 | 663 669.08/669.32 c 543s | 20 | 952733 | 717527 | 16217 91 | 348 | 663 671.08/671.36 c 545s | 20 | 956277 | 720227 | 16217 91 | 348 | 663 673.09/673.37 c 547s | 20 | 959588 | 722827 | 16217 92 | 348 | 663 675.08/675.39 c 549s | 20 | 963340 | 725727 | 16217 92 | 348 | 663 677.08/677.39 c 551s | 20 | 966905 | 728427 | 16217 92 | 348 | 663 679.17/679.40 c 553s | 20 | 970097 | 730927 | 16217 93 | 348 | 663 681.17/681.43 c 555s | 20 | 973719 | 733627 | 16217 93 | 348 | 663 683.17/683.48 c 557s | 20 | 977178 | 736327 | 16217 93 | 348 | 663 685.27/685.53 c 559s | 20 | 980529 | 738927 | 16217 93 | 348 | 663 687.27/687.53 c 561s | 20 | 984072 | 741627 | 16217 94 | 348 | 663 689.27/689.56 c 563s | 20 | 987570 | 744327 | 16217 94 | 348 | 663 691.37/691.61 c 565s | 20 | 990836 | 746927 | 16217 94 | 348 | 663 693.37/693.62 c 567s | 20 | 993823 | 749227 | 16217 95 | 348 | 663 695.36/695.67 c 569s | 20 | 997106 | 751827 | 16217 95 | 348 | 663 697.36/697.69 c 571s | 20 | 1000341 | 754327 | 16217 95 | 348 | 663 699.47/699.76 c 573s | 20 | 1003272 | 756627 | 16217 95 | 348 | 663 701.46/701.78 c 575s | 20 | 1006573 | 759227 | 16217 96 | 348 | 663 703.46/703.78 c 577s | 20 | 1010314 | 762127 | 16217 96 | 348 | 663 705.46/705.80 c 579s | 20 | 1013873 | 764827 | 16217 96 | 348 | 663 707.56/707.81 c 581s | 20 | 1017509 | 767527 | 16217 97 | 348 | 663 709.56/709.84 c 583s | 20 | 1021572 | 770527 | 16217 97 | 348 | 663 711.66/711.91 c 585s | 20 | 1025166 | 773327 | 16217 97 | 348 | 663 713.66/713.97 c 587s | 20 | 1028559 | 775927 | 16217 98 | 348 | 663 715.65/715.99 c 589s | 20 | 1031903 | 778527 | 16217 98 | 348 | 663 717.65/717.99 c 591s | 20 | 1035620 | 781227 | 16217 98 | 348 | 663 719.75/720.02 c 593s | 20 | 1039183 | 783827 | 16217 98 | 348 | 663 721.75/722.08 c 595s | 20 | 1042790 | 786627 | 16217 99 | 348 | 663 723.85/724.14 c 597s | 20 | 1046235 | 789327 | 16217 99 | 348 | 663 725.95/726.21 c 599s | 20 | 1049568 | 791927 | 16217 99 | 348 | 663 727.95/728.29 c 602s | 20 | 1053097 | 794627 | 16217 100 | 348 | 663 730.04/730.34 c 604s | 20 | 1056514 | 797327 | 16217 100 | 348 | 663 732.04/732.35 c 606s | 20 | 1059775 | 799827 | 16217 100 | 348 | 663 734.04/734.38 c 608s | 20 | 1063342 | 802527 | 16217 101 | 348 | 663 736.14/736.43 c 610s | 20 | 1066715 | 805127 | 16217 101 | 348 | 663 738.14/738.44 c 612s | 20 | 1070434 | 808027 | 16217 101 | 348 | 663 740.24/740.52 c 614s | 20 | 1073881 | 810627 | 16217 102 | 348 | 663 742.25/742.54 c 616s | 20 | 1077392 | 813327 | 16217 102 | 348 | 663 744.23/744.59 c 618s | 20 | 1081020 | 816127 | 16217 102 | 348 | 663 746.33/746.66 c 620s | 20 | 1084305 | 818627 | 16217 102 | 348 | 663 748.33/748.69 c 622s | 20 | 1087660 | 821227 | 16217 103 | 348 | 663 750.43/750.76 c 624s | 20 | 1091261 | 824027 | 16217 103 | 348 | 663 752.53/752.81 c 626s | 20 | 1094745 | 826727 | 16217 103 | 348 | 663 754.53/754.86 c 628s | 20 | 1097882 | 829127 | 16217 104 | 348 | 663 756.53/756.87 c 630s | 20 | 1101276 | 831827 | 16217 104 | 348 | 663 758.52/758.89 c 632s | 20 | 1104560 | 834327 | 16217 104 | 348 | 663 760.62/760.94 c 634s | 20 | 1107933 | 836927 | 16217 104 | 348 | 663 762.62/762.98 c 636s | 20 | 1111384 | 839527 | 16217 105 | 348 | 663 764.72/765.02 c 638s | 20 | 1114836 | 842227 | 16217 105 | 348 | 663 766.72/767.04 c 640s | 20 | 1118026 | 844727 | 16217 105 | 348 | 663 768.72/769.07 c 642s | 20 | 1121502 | 847327 | 16217 106 | 348 | 663 770.82/771.14 c 644s | 20 | 1125050 | 850127 | 16217 106 | 348 | 663 772.82/773.17 c 646s | 20 | 1128340 | 852627 | 17839 106 | 348 | 663 774.91/775.24 c 648s | 20 | 1131653 | 855127 | 17839 106 | 348 | 663 777.01/777.30 c 651s | 20 | 1134751 | 857527 | 17839 107 | 348 | 663 779.01/779.39 c 653s | 20 | 1137894 | 860027 | 17839 107 | 348 | 663 781.11/781.42 c 655s | 20 | 1140888 | 862327 | 17839 107 | 348 | 663 783.11/783.44 c 657s | 20 | 1144128 | 864827 | 17839 107 | 348 | 663 785.11/785.49 c 659s | 20 | 1147089 | 867127 | 17839 108 | 348 | 663 787.21/787.53 c 661s | 20 | 1150467 | 869727 | 17839 108 | 348 | 663 789.21/789.58 c 663s | 20 | 1153634 | 872227 | 17839 108 | 348 | 663 791.31/791.64 c 665s | 20 | 1156472 | 874527 | 17839 108 | 348 | 663 793.30/793.66 c 667s | 20 | 1158863 | 876427 | 17839 109 | 348 | 663 795.30/795.69 c 669s | 20 | 1162028 | 878927 | 17839 109 | 348 | 663 797.40/797.76 c 671s | 20 | 1165200 | 881427 | 17839 109 | 348 | 663 799.41/799.77 c 673s | 20 | 1168736 | 884227 | 17839 109 | 348 | 663 801.50/801.82 c 675s | 20 | 1172485 | 887227 | 17839 110 | 348 | 663 803.59/803.91 c 677s | 20 | 1176011 | 890027 | 17839 110 | 348 | 663 805.59/805.91 c 679s | 20 | 1179177 | 892627 | 17839 110 | 348 | 663 807.69/808.00 c 681s | 20 | 1182392 | 895227 | 17839 111 | 348 | 663 809.69/810.01 c 683s | 20 | 1185468 | 897727 | 17839 111 | 348 | 663 811.69/812.06 c 685s | 20 | 1188664 | 900327 | 17839 111 | 348 | 663 813.70/814.10 c 687s | 20 | 1191681 | 902727 | 17839 111 | 348 | 663 815.80/816.14 c 689s | 20 | 1194785 | 905227 | 17839 112 | 348 | 663 817.80/818.15 c 691s | 20 | 1198163 | 907927 | 17839 112 | 348 | 663 819.89/820.23 c 693s | 20 | 1201279 | 910427 | 17839 112 | 348 | 663 821.89/822.24 c 695s | 20 | 1204242 | 912727 | 17839 112 | 348 | 663 823.99/824.33 c 698s | 20 | 1207085 | 915027 | 17839 113 | 348 | 663 826.19/826.52 c 700s | 20 | 1209994 | 917427 | 17839 113 | 348 | 663 828.19/828.53 c 702s | 20 | 1212867 | 919727 | 17839 113 | 348 | 663 830.20/830.54 c 704s | 20 | 1215479 | 921827 | 17839 113 | 348 | 663 832.29/832.62 c 706s | 20 | 1217929 | 923827 | 17839 113 | 348 | 663 834.28/834.66 c 708s | 20 | 1220382 | 925827 | 17839 114 | 348 | 663 836.38/836.72 c 710s | 20 | 1224066 | 928727 | 17839 114 | 348 | 663 838.38/838.73 c 712s | 20 | 1227438 | 931427 | 17839 114 | 348 | 663 840.48/840.86 c 714s | 20 | 1230903 | 934027 | 17839 115 | 348 | 663 842.58/842.92 c 716s | 20 | 1234397 | 936627 | 17839 115 | 348 | 663 844.58/844.98 c 718s | 20 | 1237748 | 939327 | 17839 115 | 348 | 663 846.58/846.98 c 720s | 20 | 1240590 | 941627 | 17839 115 | 348 | 663 848.68/849.02 c 722s | 20 | 1243478 | 943927 | 17839 116 | 348 | 663 850.68/851.05 c 724s | 20 | 1246539 | 946327 | 17839 116 | 348 | 663 852.78/853.13 c 726s | 20 | 1250171 | 949127 | 17839 116 | 348 | 663 854.77/855.17 c 728s | 20 | 1253517 | 951727 | 17839 116 | 348 | 663 856.77/857.18 c 730s | 20 | 1256621 | 954127 | 17839 117 | 348 | 663 858.78/859.18 c 732s | 20 | 1260131 | 956827 | 17839 117 | 348 | 663 860.77/861.18 c 734s | 20 | 1263551 | 959427 | 17839 117 | 348 | 663 862.87/863.25 c 736s | 20 | 1267018 | 962027 | 17839 117 | 348 | 663 864.96/865.30 c 739s | 20 | 1270374 | 964727 | 17839 118 | 348 | 663 866.96/867.33 c 741s | 20 | 1274099 | 967527 | 17839 118 | 348 | 663 868.96/869.37 c 743s | 20 | 1277244 | 970027 | 17839 118 | 348 | 663 871.06/871.40 c 745s | 20 | 1280404 | 972627 | 17839 118 | 348 | 663 872.96/873.40 c 747s | 20 | 1283789 | 975227 | 17839 119 | 348 | 663 875.06/875.42 c 749s | 20 | 1287303 | 977927 | 17839 119 | 348 | 663 877.06/877.46 c 751s | 20 | 1290716 | 980527 | 17839 119 | 348 | 663 879.16/879.51 c 753s | 20 | 1293703 | 982827 | 17839 120 | 348 | 663 881.16/881.53 c 755s | 20 | 1297063 | 985327 | 17839 120 | 348 | 663 883.16/883.57 c 757s | 20 | 1300720 | 988127 | 17839 120 | 348 | 663 885.26/885.64 c 759s | 20 | 1303683 | 990427 | 17839 120 | 348 | 663 887.36/887.71 c 761s | 20 | 1306815 | 992927 | 17839 121 | 348 | 663 889.35/889.78 c 763s | 20 | 1310265 | 995727 | 17839 121 | 348 | 663 891.35/891.79 c 765s | 20 | 1313563 | 998327 | 17839 121 | 348 | 663 892.96/893.32 c 767s | 21 | 1316164 | 1000345 | 17839 121 | 348 | 663 894.95/895.33 c 769s | 21 | 1319043 | 1002445 | 17839 122 | 348 | 663 896.95/897.37 c 771s | 21 | 1322496 | 1005045 | 17839 122 | 348 | 663 899.05/899.43 c 773s | 21 | 1325999 | 1007645 | 17839 122 | 348 | 663 901.05/901.49 c 775s | 21 | 1329106 | 1009945 | 17839 122 | 348 | 663 903.15/903.52 c 777s | 21 | 1332351 | 1012445 | 17839 123 | 348 | 663 905.14/905.55 c 779s | 21 | 1335518 | 1014845 | 17839 123 | 348 | 663 907.25/907.61 c 781s | 21 | 1338589 | 1017245 | 17839 123 | 348 | 663 909.24/909.65 c 783s | 21 | 1341383 | 1019445 | 17839 123 | 348 | 663 911.34/911.73 c 785s | 21 | 1344307 | 1021745 | 17839 124 | 348 | 663 913.34/913.77 c 787s | 21 | 1347703 | 1024345 | 17839 124 | 348 | 663 915.43/915.82 c 789s | 21 | 1350842 | 1026945 | 17839 124 | 348 | 663 917.43/917.82 c 791s | 21 | 1353881 | 1029345 | 17839 124 | 348 | 663 919.43/919.87 c 793s | 21 | 1356936 | 1031745 | 17839 125 | 348 | 663 921.54/921.92 c 795s | 21 | 1360722 | 1034645 | 17839 125 | 348 | 663 923.53/924.00 c 797s | 21 | 1364011 | 1037145 | 17839 125 | 348 | 663 925.63/926.00 c 799s | 21 | 1367344 | 1039745 | 17839 125 | 348 | 663 927.63/928.04 c 801s | 21 | 1370393 | 1042145 | 17839 126 | 348 | 663 929.63/930.07 c 803s | 21 | 1373704 | 1044645 | 17839 126 | 348 | 663 931.73/932.11 c 805s | 21 | 1376810 | 1047045 | 17839 126 | 348 | 663 933.72/934.18 c 807s | 21 | 1380214 | 1049545 | 17839 126 | 348 | 663 935.83/936.22 c 809s | 21 | 1383500 | 1052045 | 17839 127 | 348 | 663 937.82/938.23 c 811s | 21 | 1386852 | 1054545 | 17839 127 | 348 | 663 939.82/940.28 c 814s | 21 | 1390042 | 1057045 | 17839 127 | 348 | 663 941.92/942.37 c 816s | 21 | 1393246 | 1059545 | 17839 127 | 348 | 663 944.01/944.44 c 818s | 21 | 1396482 | 1062145 | 17839 128 | 348 | 663 946.01/946.45 c 820s | 21 | 1399713 | 1064745 | 17839 128 | 348 | 663 948.01/948.48 c 822s | 21 | 1402926 | 1067245 | 17839 128 | 348 | 663 950.12/950.58 c 824s | 21 | 1405969 | 1069645 | 17839 128 | 348 | 663 952.11/952.59 c 826s | 21 | 1409003 | 1071945 | 17839 129 | 348 | 663 954.21/954.65 c 828s | 21 | 1411969 | 1074245 | 17839 129 | 348 | 663 956.21/956.69 c 830s | 21 | 1414984 | 1076645 | 17839 129 | 348 | 663 958.31/958.71 c 832s | 21 | 1417935 | 1078945 | 17839 129 | 348 | 663 960.31/960.75 c 834s | 21 | 1421366 | 1081445 | 17839 130 | 348 | 663 962.31/962.76 c 836s | 21 | 1424548 | 1083945 | 17839 130 | 348 | 663 964.41/964.80 c 838s | 21 | 1427592 | 1086345 | 17839 130 | 348 | 663 966.40/966.85 c 840s | 21 | 1430723 | 1088845 | 17839 130 | 348 | 663 968.40/968.87 c 842s | 21 | 1433754 | 1091245 | 17839 131 | 348 | 663 970.40/970.87 c 844s | 21 | 1437087 | 1093845 | 17839 131 | 348 | 663 972.40/972.89 c 846s | 21 | 1440037 | 1096145 | 17839 131 | 348 | 663 974.39/974.89 c 848s | 21 | 1442967 | 1098445 | 17839 131 | 348 | 663 976.50/976.98 c 850s | 21 | 1446239 | 1100945 | 17839 132 | 348 | 663 978.49/979.00 c 852s | 21 | 1449312 | 1103445 | 17839 132 | 348 | 663 980.59/981.02 c 854s | 21 | 1452516 | 1105945 | 17839 132 | 348 | 663 982.59/983.05 c 856s | 21 | 1455648 | 1108445 | 17839 132 | 348 | 663 984.59/985.08 c 858s | 21 | 1458881 | 1111045 | 17839 133 | 348 | 663 986.69/987.13 c 860s | 21 | 1462282 | 1113745 | 17839 133 | 348 | 663 988.69/989.16 c 862s | 21 | 1465377 | 1116145 | 17839 133 | 348 | 663 990.69/991.16 c 864s | 21 | 1468471 | 1118545 | 17839 134 | 348 | 663 992.69/993.19 c 866s | 21 | 1471688 | 1121045 | 17839 134 | 348 | 663 994.78/995.24 c 868s | 21 | 1474579 | 1123345 | 17839 134 | 348 | 663 996.78/997.27 c 870s | 21 | 1477594 | 1125645 | 17839 134 | 348 | 663 998.79/999.28 c 873s | 21 | 1480523 | 1127845 | 17839 135 | 348 | 663 1000.89/1001.31 c 875s | 21 | 1484269 | 1130545 | 17839 135 | 348 | 663 1002.89/1003.32 c 877s | 21 | 1487676 | 1133045 | 17839 135 | 348 | 663 1004.88/1005.39 c 879s | 21 | 1490923 | 1135445 | 17839 135 | 348 | 663 1006.98/1007.40 c 881s | 21 | 1493416 | 1137445 | 17839 135 | 348 | 663 1008.98/1009.40 c 883s | 21 | 1495877 | 1139445 | 17839 136 | 348 | 663 1010.98/1011.45 c 885s | 21 | 1498901 | 1141845 | 17839 136 | 348 | 663 1012.98/1013.49 c 887s | 21 | 1501827 | 1144245 | 17839 136 | 348 | 663 1015.08/1015.56 c 889s | 21 | 1504875 | 1146645 | 17839 136 | 348 | 663 1017.08/1017.59 c 891s | 21 | 1507904 | 1149145 | 17839 137 | 348 | 663 1019.18/1019.61 c 893s | 21 | 1510697 | 1151345 | 17839 137 | 348 | 663 1021.18/1021.65 c 895s | 21 | 1513432 | 1153545 | 17839 137 | 348 | 663 1023.28/1023.73 c 897s | 21 | 1516499 | 1155945 | 17839 137 | 348 | 663 1025.27/1025.77 c 899s | 21 | 1519300 | 1158245 | 17839 138 | 348 | 663 1027.37/1027.82 c 901s | 21 | 1522589 | 1160845 | 17839 138 | 348 | 663 1029.37/1029.89 c 903s | 21 | 1525765 | 1163245 | 17839 138 | 348 | 663 1031.48/1031.96 c 905s | 21 | 1528881 | 1165645 | 17839 138 | 348 | 663 1033.47/1033.98 c 907s | 21 | 1531747 | 1167845 | 17839 139 | 348 | 663 1035.47/1035.99 c 909s | 21 | 1535030 | 1170345 | 17839 139 | 348 | 663 1037.57/1038.05 c 911s | 21 | 1538250 | 1172945 | 17839 139 | 348 | 663 1039.57/1040.07 c 913s | 21 | 1541251 | 1175445 | 17839 139 | 348 | 663 1041.57/1042.08 c 915s | 21 | 1544291 | 1177945 | 17839 140 | 348 | 663 1043.77/1044.21 c 917s | 21 | 1547427 | 1180545 | 17839 140 | 348 | 663 1045.78/1046.22 c 919s | 21 | 1550513 | 1182845 | 17839 140 | 348 | 663 1047.77/1048.28 c 922s | 21 | 1553761 | 1185245 | 17839 140 | 348 | 663 1049.77/1050.29 c 924s | 21 | 1556847 | 1187645 | 17839 141 | 348 | 663 1051.87/1052.30 c 926s | 21 | 1559663 | 1189745 | 17839 141 | 348 | 663 1053.86/1054.34 c 928s | 21 | 1562216 | 1191745 | 17839 141 | 348 | 663 1055.96/1056.40 c 930s | 21 | 1564984 | 1193845 | 17839 141 | 348 | 663 1057.96/1058.49 c 932s | 21 | 1567835 | 1195845 | 17839 142 | 348 | 663 1060.07/1060.56 c 934s | 21 | 1571242 | 1198345 | 17839 142 | 348 | 663 1062.17/1062.62 c 936s | 21 | 1574506 | 1200745 | 17839 142 | 348 | 663 1064.16/1064.67 c 938s | 21 | 1577313 | 1202845 | 17839 142 | 348 | 663 1066.16/1066.67 c 940s | 21 | 1580081 | 1204945 | 17839 142 | 348 | 663 1068.26/1068.73 c 942s | 21 | 1582597 | 1206945 | 17839 143 | 348 | 663 1070.26/1070.77 c 944s | 21 | 1585390 | 1209045 | 17839 143 | 348 | 663 1072.36/1072.83 c 946s | 21 | 1588090 | 1211045 | 17839 143 | 348 | 663 1074.37/1074.86 c 948s | 21 | 1591065 | 1213245 | 17839 143 | 348 | 663 1076.36/1076.89 c 950s | 21 | 1593907 | 1215345 | 17839 144 | 348 | 663 1078.46/1078.95 c 952s | 21 | 1596835 | 1217545 | 17839 144 | 348 | 663 1080.46/1081.00 c 954s | 21 | 1600129 | 1220045 | 17839 144 | 348 | 663 1082.56/1083.06 c 956s | 21 | 1603143 | 1222345 | 17839 144 | 348 | 663 1084.56/1085.09 c 958s | 21 | 1606085 | 1224645 | 17839 144 | 348 | 663 1086.66/1087.12 c 960s | 21 | 1608888 | 1226845 | 17839 145 | 348 | 663 1088.66/1089.19 c 962s | 21 | 1611557 | 1228845 | 17839 145 | 348 | 663 1090.76/1091.27 c 964s | 21 | 1614523 | 1231145 | 17839 145 | 348 | 663 1092.86/1093.32 c 967s | 21 | 1617354 | 1233345 | 17839 145 | 348 | 663 1094.86/1095.36 c 969s | 21 | 1620186 | 1235545 | 17839 146 | 348 | 663 1096.86/1097.36 c 971s | 21 | 1622973 | 1237745 | 17839 146 | 348 | 663 1098.96/1099.40 c 973s | 21 | 1625637 | 1239845 | 17839 146 | 348 | 663 1100.96/1101.40 c 975s | 21 | 1628213 | 1241845 | 17839 146 | 348 | 663 1102.96/1103.49 c 977s | 21 | 1631019 | 1244045 | 17839 146 | 348 | 663 1105.06/1105.58 c 979s | 21 | 1633772 | 1246245 | 17839 147 | 348 | 663 1107.15/1107.62 c 981s | 21 | 1636524 | 1248445 | 17839 147 | 348 | 663 1109.15/1109.64 c 983s | 21 | 1639063 | 1250445 | 17839 147 | 348 | 663 1111.15/1111.69 c 985s | 21 | 1641800 | 1252545 | 17839 147 | 348 | 663 1113.15/1113.69 c 987s | 21 | 1644781 | 1254845 | 17839 148 | 348 | 663 1115.25/1115.77 c 989s | 21 | 1648205 | 1257545 | 17839 148 | 348 | 663 1117.35/1117.86 c 991s | 21 | 1651662 | 1260145 | 17839 148 | 348 | 663 1119.36/1119.87 c 993s | 21 | 1655109 | 1262745 | 17839 148 | 348 | 663 1121.45/1121.94 c 995s | 21 | 1658335 | 1265145 | 17839 149 | 348 | 663 1123.45/1123.96 c 997s | 21 | 1661520 | 1267645 | 17839 149 | 348 | 663 1125.55/1126.01 c 999s | 21 | 1664702 | 1270045 | 17839 149 | 348 | 663 1127.55/1128.06 c 1001s | 21 | 1668257 | 1272645 | 17839 149 | 348 | 663 1129.55/1130.06 c 1003s | 21 | 1671757 | 1275145 | 17839 150 | 348 | 663 1131.65/1132.13 c 1005s | 21 | 1675449 | 1277845 | 17839 150 | 348 | 663 1133.66/1134.20 c 1007s | 21 | 1678520 | 1280245 | 17839 150 | 348 | 663 1135.75/1136.28 c 1010s | 21 | 1681734 | 1282745 | 17839 150 | 348 | 663 1137.85/1138.35 c 1012s | 21 | 1685039 | 1285245 | 17839 151 | 348 | 663 1139.85/1140.36 c 1014s | 21 | 1688582 | 1287945 | 17839 151 | 348 | 663 1141.85/1142.37 c 1016s | 21 | 1691713 | 1290345 | 17839 151 | 348 | 663 1143.95/1144.44 c 1018s | 21 | 1694529 | 1292545 | 17839 151 | 348 | 663 1145.95/1146.48 c 1020s | 21 | 1697633 | 1294945 | 17839 152 | 348 | 663 1147.95/1148.49 c 1022s | 21 | 1700787 | 1297445 | 17839 152 | 348 | 663 1150.05/1150.51 c 1024s | 21 | 1703995 | 1299945 | 17839 152 | 348 | 663 1152.05/1152.53 c 1026s | 21 | 1707134 | 1302245 | 17839 152 | 348 | 663 1154.05/1154.59 c 1028s | 21 | 1710072 | 1304545 | 17839 153 | 348 | 663 1156.15/1156.64 c 1030s | 21 | 1713563 | 1307245 | 17839 153 | 348 | 663 1158.14/1158.65 c 1032s | 21 | 1716649 | 1309645 | 17839 153 | 348 | 663 1160.15/1160.69 c 1034s | 21 | 1719859 | 1312145 | 17839 153 | 348 | 663 1162.25/1162.76 c 1036s | 21 | 1722977 | 1314545 | 17839 154 | 348 | 663 1164.24/1164.79 c 1038s | 21 | 1726314 | 1316945 | 17839 154 | 348 | 663 1166.34/1166.82 c 1040s | 21 | 1729291 | 1319245 | 17839 154 | 348 | 663 1168.34/1168.86 c 1042s | 21 | 1732190 | 1321445 | 17839 154 | 348 | 663 1170.34/1170.87 c 1044s | 21 | 1734826 | 1323445 | 17839 155 | 348 | 663 1172.34/1172.88 c 1046s | 21 | 1738468 | 1326245 | 17839 155 | 348 | 663 1174.35/1174.90 c 1048s | 21 | 1741659 | 1328645 | 17839 155 | 348 | 663 1176.44/1176.96 c 1050s | 21 | 1744884 | 1331145 | 17839 155 | 348 | 663 1178.54/1179.04 c 1052s | 21 | 1747993 | 1333545 | 17839 156 | 348 | 663 1180.64/1181.11 c 1054s | 21 | 1751047 | 1335945 | 17839 156 | 348 | 663 1182.64/1183.16 c 1056s | 21 | 1754234 | 1338345 | 17839 156 | 348 | 663 1184.64/1185.17 c 1058s | 21 | 1757019 | 1340545 | 17839 156 | 348 | 663 1186.74/1187.22 c 1060s | 21 | 1759835 | 1342645 | 17839 157 | 348 | 663 1188.75/1189.22 c 1062s | 21 | 1762502 | 1344745 | 17839 157 | 348 | 663 1190.74/1191.30 c 1065s | 21 | 1765653 | 1347145 | 17839 157 | 348 | 663 1192.84/1193.39 c 1067s | 21 | 1768328 | 1349245 | 19623 157 | 348 | 663 1194.94/1195.43 c 1069s | 21 | 1770988 | 1351245 | 19623 157 | 348 | 663 1196.94/1197.47 c 1071s | 21 | 1773742 | 1353345 | 19623 158 | 348 | 663 1199.04/1199.53 c 1073s | 21 | 1776629 | 1355445 | 19623 158 | 348 | 663 1201.04/1201.56 c 1075s | 21 | 1779966 | 1357945 | 19623 158 | 348 | 663 1203.14/1203.64 c 1077s | 21 | 1782965 | 1360345 | 19623 158 | 348 | 663 1205.14/1205.70 c 1079s | 21 | 1786174 | 1362945 | 19623 158 | 348 | 663 1207.23/1207.73 c 1081s | 21 | 1789097 | 1365245 | 19623 159 | 348 | 663 1209.23/1209.75 c 1083s | 21 | 1792081 | 1367545 | 19623 159 | 348 | 663 1211.33/1211.80 c 1085s | 21 | 1795175 | 1369945 | 19623 159 | 348 | 663 1213.33/1213.85 c 1087s | 21 | 1798224 | 1372345 | 19623 159 | 348 | 663 1215.33/1215.89 c 1089s | 21 | 1800997 | 1374445 | 19623 160 | 348 | 663 1217.43/1217.94 c 1091s | 21 | 1804171 | 1376845 | 19623 160 | 348 | 663 1219.44/1219.99 c 1093s | 21 | 1807333 | 1379245 | 19623 160 | 348 | 663 1221.53/1222.05 c 1095s | 21 | 1809804 | 1381145 | 19623 160 | 348 | 663 1223.63/1224.10 c 1097s | 21 | 1812667 | 1383345 | 19623 160 | 348 | 663 1225.74/1226.27 c 1099s | 21 | 1815381 | 1385445 | 19623 161 | 348 | 663 1227.74/1228.27 c 1101s | 21 | 1818806 | 1387945 | 19623 161 | 348 | 663 1229.74/1230.27 c 1103s | 21 | 1821976 | 1390345 | 19623 161 | 348 | 663 1231.84/1232.31 c 1106s | 21 | 1824609 | 1392345 | 19623 161 | 348 | 663 1233.84/1234.36 c 1108s | 21 | 1827291 | 1394445 | 19623 161 | 348 | 663 1235.84/1236.39 c 1110s | 21 | 1830009 | 1396445 | 19623 162 | 348 | 663 1237.94/1238.41 c 1112s | 21 | 1833005 | 1398645 | 19623 162 | 348 | 663 1239.94/1240.48 c 1114s | 21 | 1835903 | 1400845 | 19623 162 | 348 | 663 1241.94/1242.49 c 1116s | 21 | 1838595 | 1402945 | 19623 162 | 348 | 663 1244.03/1244.55 c 1118s | 21 | 1841360 | 1405145 | 19623 162 | 348 | 663 1246.03/1246.55 c 1120s | 21 | 1843987 | 1407245 | 19623 163 | 348 | 663 1248.14/1248.61 c 1122s | 21 | 1846905 | 1409545 | 19623 163 | 348 | 663 1250.24/1250.72 c 1124s | 21 | 1849677 | 1411645 | 19623 163 | 348 | 663 1252.23/1252.76 c 1126s | 21 | 1852181 | 1413645 | 19623 163 | 348 | 663 1254.23/1254.79 c 1128s | 21 | 1855162 | 1415845 | 19623 163 | 348 | 663 1256.33/1256.82 c 1130s | 21 | 1857997 | 1417945 | 19623 164 | 348 | 663 1258.33/1258.85 c 1132s | 21 | 1860808 | 1420145 | 19623 164 | 348 | 663 1260.33/1260.85 c 1134s | 21 | 1863673 | 1422245 | 19623 164 | 348 | 663 1262.44/1262.92 c 1136s | 21 | 1866529 | 1424445 | 19623 164 | 348 | 663 1264.43/1264.92 c 1138s | 21 | 1869121 | 1426445 | 19623 164 | 348 | 663 1266.43/1266.93 c 1140s | 21 | 1871805 | 1428445 | 19623 165 | 348 | 663 1268.43/1268.98 c 1142s | 21 | 1874522 | 1430545 | 19623 165 | 348 | 663 1270.43/1270.99 c 1144s | 21 | 1877367 | 1432745 | 19623 165 | 348 | 663 1272.53/1273.03 c 1146s | 21 | 1880226 | 1434945 | 19623 165 | 348 | 663 1274.54/1275.06 c 1148s | 21 | 1882842 | 1436945 | 19623 165 | 348 | 663 1276.64/1277.10 c 1150s | 21 | 1885452 | 1438945 | 19623 166 | 348 | 663 1278.63/1279.16 c 1152s | 21 | 1888202 | 1441145 | 19623 166 | 348 | 663 1280.73/1281.20 c 1154s | 21 | 1891300 | 1443445 | 19623 166 | 348 | 663 1282.73/1283.22 c 1156s | 21 | 1894110 | 1445645 | 19623 166 | 348 | 663 1284.73/1285.26 c 1158s | 21 | 1896859 | 1447845 | 19623 166 | 348 | 663 1286.83/1287.33 c 1161s | 21 | 1899696 | 1450045 | 19623 167 | 348 | 663 1288.83/1289.34 c 1163s | 21 | 1902686 | 1452345 | 19623 167 | 348 | 663 1290.83/1291.39 c 1165s | 21 | 1905554 | 1454645 | 19623 167 | 348 | 663 1292.93/1293.41 c 1167s | 21 | 1908216 | 1456745 | 19623 167 | 348 | 663 1294.93/1295.49 c 1169s | 21 | 1910962 | 1458845 | 19623 167 | 348 | 663 1297.03/1297.52 c 1171s | 21 | 1913558 | 1460945 | 19623 168 | 348 | 663 1299.13/1299.60 c 1173s | 21 | 1916371 | 1463145 | 19623 168 | 348 | 663 1301.13/1301.63 c 1175s | 21 | 1919347 | 1465445 | 19623 168 | 348 | 663 1303.13/1303.65 c 1177s | 21 | 1922280 | 1467745 | 19623 168 | 348 | 663 1305.33/1305.81 c 1179s | 21 | 1925110 | 1469945 | 19623 169 | 348 | 663 1307.32/1307.84 c 1181s | 21 | 1928336 | 1472545 | 19623 169 | 348 | 663 1309.42/1309.93 c 1183s | 21 | 1931328 | 1474945 | 19623 169 | 348 | 663 1311.52/1312.00 c 1185s | 21 | 1934146 | 1477245 | 19623 169 | 348 | 663 1313.52/1314.02 c 1187s | 21 | 1937066 | 1479545 | 19623 169 | 348 | 663 1315.52/1316.09 c 1189s | 21 | 1939945 | 1481845 | 19623 170 | 348 | 663 1317.62/1318.13 c 1191s | 21 | 1943223 | 1484445 | 19623 170 | 348 | 663 1319.63/1320.14 c 1193s | 21 | 1946020 | 1486645 | 19623 170 | 348 | 663 1321.73/1322.23 c 1195s | 21 | 1948656 | 1488745 | 19623 170 | 348 | 663 1323.93/1324.43 c 1198s | 21 | 1951662 | 1490945 | 19623 171 | 348 | 663 1325.92/1326.49 c 1200s | 21 | 1955013 | 1493545 | 19623 171 | 348 | 663 1328.02/1328.57 c 1202s | 21 | 1958387 | 1496245 | 19623 171 | 348 | 663 1330.12/1330.66 c 1204s | 21 | 1961709 | 1498745 | 19623 171 | 348 | 663 1331.92/1332.43 c 1206s | 22 | 1964113 | 1500622 | 19623 171 | 348 | 663 1333.93/1334.44 c 1208s | 22 | 1967435 | 1502922 | 19623 172 | 348 | 663 1335.92/1336.44 c 1210s | 22 | 1970631 | 1505222 | 19623 172 | 348 | 663 1338.02/1338.52 c 1212s | 22 | 1974343 | 1507922 | 19623 172 | 348 | 663 1340.02/1340.54 c 1214s | 22 | 1977755 | 1510322 | 19623 172 | 348 | 663 1342.12/1342.60 c 1216s | 22 | 1980986 | 1512622 | 19623 173 | 348 | 663 1344.12/1344.61 c 1218s | 22 | 1984673 | 1515122 | 19623 173 | 348 | 663 1346.12/1346.64 c 1220s | 22 | 1987793 | 1517422 | 19623 173 | 348 | 663 1348.22/1348.71 c 1222s | 22 | 1990876 | 1519722 | 19623 173 | 348 | 663 1350.32/1350.88 c 1224s | 22 | 1993745 | 1521922 | 19623 174 | 348 | 663 1352.42/1352.94 c 1226s | 22 | 1996796 | 1524322 | 19623 174 | 348 | 663 1354.42/1354.99 c 1228s | 22 | 1999725 | 1526422 | 19623 174 | 348 | 663 1356.52/1357.01 c 1230s | 22 | 2002694 | 1528522 | 19623 174 | 348 | 663 1358.52/1359.10 c 1232s | 22 | 2005861 | 1530822 | 19623 174 | 348 | 663 1360.62/1361.18 c 1234s | 22 | 2008979 | 1533022 | 19623 175 | 348 | 663 1362.71/1363.27 c 1236s | 22 | 2012289 | 1535422 | 19623 175 | 348 | 663 1364.72/1365.29 c 1239s | 22 | 2015333 | 1537722 | 19623 175 | 348 | 663 1366.82/1367.36 c 1241s | 22 | 2018421 | 1540122 | 19623 175 | 348 | 663 1368.91/1369.41 c 1243s | 22 | 2021509 | 1542322 | 19623 175 | 348 | 663 1370.91/1371.46 c 1245s | 22 | 2024337 | 1544422 | 19623 176 | 348 | 663 1373.01/1373.51 c 1247s | 22 | 2027802 | 1547022 | 19623 176 | 348 | 663 1375.01/1375.57 c 1249s | 22 | 2030849 | 1549422 | 19623 176 | 348 | 663 1377.11/1377.62 c 1251s | 22 | 2034025 | 1551822 | 19623 176 | 348 | 663 1379.11/1379.63 c 1253s | 22 | 2036945 | 1554022 | 19623 177 | 348 | 663 1381.12/1381.69 c 1255s | 22 | 2040754 | 1556822 | 19623 177 | 348 | 663 1383.21/1383.76 c 1257s | 22 | 2043960 | 1559222 | 19623 177 | 348 | 663 1385.31/1385.81 c 1259s | 22 | 2047055 | 1561522 | 19623 177 | 348 | 663 1387.31/1387.86 c 1261s | 22 | 2050117 | 1563822 | 19623 177 | 348 | 663 1389.31/1389.89 c 1263s | 22 | 2053070 | 1566022 | 19623 178 | 348 | 663 1391.41/1391.92 c 1265s | 22 | 2056441 | 1568722 | 19623 178 | 348 | 663 1393.41/1393.99 c 1267s | 22 | 2059890 | 1571422 | 19623 178 | 348 | 663 1395.52/1396.01 c 1269s | 22 | 2063111 | 1573822 | 19623 178 | 348 | 663 1397.51/1398.01 c 1271s | 22 | 2066142 | 1576122 | 19623 179 | 348 | 663 1399.51/1400.06 c 1273s | 22 | 2069378 | 1578522 | 19623 179 | 348 | 663 1401.51/1402.07 c 1275s | 22 | 2072389 | 1580822 | 19623 179 | 348 | 663 1403.61/1404.10 c 1277s | 22 | 2075747 | 1583422 | 19623 179 | 348 | 663 1405.61/1406.13 c 1279s | 22 | 2078856 | 1585822 | 19623 180 | 348 | 663 1407.61/1408.13 c 1281s | 22 | 2082262 | 1588322 | 19623 180 | 348 | 663 1409.61/1410.14 c 1283s | 22 | 2085318 | 1590722 | 19623 180 | 348 | 663 1411.61/1412.18 c 1285s | 22 | 2088343 | 1593022 | 19623 180 | 348 | 663 1413.71/1414.22 c 1287s | 22 | 2091355 | 1595322 | 19623 180 | 348 | 663 1415.71/1416.23 c 1289s | 22 | 2094070 | 1597422 | 19623 181 | 348 | 663 1417.70/1418.23 c 1291s | 22 | 2097294 | 1599722 | 19623 181 | 348 | 663 1419.71/1420.24 c 1293s | 22 | 2100487 | 1602122 | 19623 181 | 348 | 663 1421.81/1422.34 c 1296s | 22 | 2103617 | 1604522 | 19623 181 | 348 | 663 1423.80/1424.35 c 1298s | 22 | 2106708 | 1606822 | 19623 182 | 348 | 663 1425.80/1426.35 c 1300s | 22 | 2109988 | 1609222 | 19623 182 | 348 | 663 1427.80/1428.36 c 1302s | 22 | 2113516 | 1611922 | 19623 182 | 348 | 663 1429.80/1430.37 c 1304s | 22 | 2116971 | 1614622 | 19623 182 | 348 | 663 1431.90/1432.47 c 1306s | 22 | 2120057 | 1617022 | 19623 183 | 348 | 663 1434.01/1434.50 c 1308s | 22 | 2123582 | 1619622 | 19623 183 | 348 | 663 1436.00/1436.57 c 1310s | 22 | 2127049 | 1622222 | 19623 183 | 348 | 663 1438.10/1438.66 c 1312s | 22 | 2130456 | 1624722 | 19623 183 | 348 | 663 1440.10/1440.68 c 1314s | 22 | 2133414 | 1626922 | 19623 183 | 348 | 663 1442.20/1442.75 c 1316s | 22 | 2136267 | 1629022 | 19623 184 | 348 | 663 1444.20/1444.76 c 1318s | 22 | 2139316 | 1631422 | 19623 184 | 348 | 663 1446.20/1446.79 c 1320s | 22 | 2142689 | 1634122 | 19623 184 | 348 | 663 1448.20/1448.80 c 1322s | 22 | 2146126 | 1636722 | 19623 184 | 348 | 663 1450.30/1450.82 c 1324s | 22 | 2148862 | 1638822 | 19623 185 | 348 | 663 1452.30/1452.85 c 1326s | 22 | 2151885 | 1641122 | 19623 185 | 348 | 663 1454.30/1454.85 c 1328s | 22 | 2155204 | 1643622 | 19623 185 | 348 | 663 1456.40/1456.93 c 1330s | 22 | 2158637 | 1646022 | 19623 185 | 348 | 663 1458.40/1458.99 c 1332s | 22 | 2161837 | 1648422 | 19623 185 | 348 | 663 1460.50/1461.01 c 1334s | 22 | 2164823 | 1650722 | 19623 186 | 348 | 663 1462.50/1463.02 c 1336s | 22 | 2168139 | 1653222 | 19623 186 | 348 | 663 1464.49/1465.06 c 1338s | 22 | 2171461 | 1655622 | 19623 186 | 348 | 663 1466.91/1467.41 c 1341s | 22 | 2174506 | 1657922 | 19623 186 | 348 | 663 1468.90/1469.43 c 1343s | 22 | 2177897 | 1660422 | 19623 187 | 348 | 663 1470.90/1471.46 c 1345s | 22 | 2181055 | 1662722 | 19623 187 | 348 | 663 1472.90/1473.47 c 1347s | 22 | 2184687 | 1665222 | 19623 187 | 348 | 663 1475.00/1475.55 c 1349s | 22 | 2187922 | 1667822 | 19623 187 | 348 | 663 1477.10/1477.60 c 1351s | 22 | 2191146 | 1670322 | 19623 188 | 348 | 663 1479.11/1479.65 c 1353s | 22 | 2194514 | 1672922 | 19623 188 | 348 | 663 1481.21/1481.71 c 1355s | 22 | 2197836 | 1675222 | 19623 188 | 348 | 663 1483.20/1483.76 c 1357s | 22 | 2200843 | 1677522 | 19623 188 | 348 | 663 1485.30/1485.80 c 1359s | 22 | 2204068 | 1680022 | 19623 188 | 348 | 663 1487.30/1487.83 c 1361s | 22 | 2206989 | 1682222 | 19623 189 | 348 | 663 1489.30/1489.88 c 1363s | 22 | 2210250 | 1684622 | 19623 189 | 348 | 663 1491.30/1491.89 c 1365s | 22 | 2213423 | 1687022 | 19623 189 | 348 | 663 1493.31/1493.89 c 1367s | 22 | 2216562 | 1689422 | 19623 189 | 348 | 663 1495.40/1495.93 c 1369s | 22 | 2219712 | 1691722 | 19623 190 | 348 | 663 1497.40/1497.94 c 1371s | 22 | 2222882 | 1694122 | 19623 190 | 348 | 663 1499.40/1499.98 c 1373s | 22 | 2226083 | 1696522 | 19623 190 | 348 | 663 1501.50/1502.05 c 1375s | 22 | 2229027 | 1698622 | 19623 190 | 348 | 663 1503.50/1504.09 c 1377s | 22 | 2231743 | 1700722 | 19623 190 | 348 | 663 1505.60/1506.11 c 1379s | 22 | 2234837 | 1703122 | 19623 191 | 348 | 663 1507.60/1508.17 c 1381s | 22 | 2238170 | 1705722 | 19623 191 | 348 | 663 1509.70/1510.20 c 1383s | 22 | 2241204 | 1708022 | 19623 191 | 348 | 663 1511.70/1512.27 c 1385s | 22 | 2244536 | 1710622 | 19623 191 | 348 | 663 1513.79/1514.31 c 1388s | 22 | 2247818 | 1713122 | 19623 192 | 348 | 663 1515.79/1516.35 c 1390s | 22 | 2250993 | 1715622 | 19623 192 | 348 | 663 1517.79/1518.35 c 1392s | 22 | 2254281 | 1718222 | 19623 192 | 348 | 663 1519.80/1520.37 c 1394s | 22 | 2257382 | 1720522 | 19623 192 | 348 | 663 1521.90/1522.43 c 1396s | 22 | 2260554 | 1722822 | 19623 193 | 348 | 663 1523.89/1524.43 c 1398s | 22 | 2263341 | 1725022 | 19623 193 | 348 | 663 1525.89/1526.48 c 1400s | 22 | 2266367 | 1727322 | 19623 193 | 348 | 663 1527.89/1528.49 c 1402s | 22 | 2269325 | 1729522 | 19623 193 | 348 | 663 1529.99/1530.53 c 1404s | 22 | 2272243 | 1731722 | 19623 193 | 348 | 663 1531.99/1532.58 c 1406s | 22 | 2275155 | 1733922 | 19623 194 | 348 | 663 1534.00/1534.59 c 1408s | 22 | 2278372 | 1736322 | 19623 194 | 348 | 663 1536.09/1536.66 c 1410s | 22 | 2281188 | 1738422 | 19623 194 | 348 | 663 1538.19/1538.70 c 1412s | 22 | 2284522 | 1741022 | 19623 194 | 348 | 663 1540.29/1540.88 c 1414s | 22 | 2287685 | 1743522 | 19623 195 | 348 | 663 1542.39/1542.92 c 1416s | 22 | 2290981 | 1746022 | 19623 195 | 348 | 663 1544.49/1545.00 c 1418s | 22 | 2294248 | 1748322 | 19623 195 | 348 | 663 1546.49/1547.01 c 1420s | 22 | 2297751 | 1750622 | 19623 195 | 348 | 663 1548.49/1549.05 c 1422s | 22 | 2300952 | 1753022 | 19623 195 | 348 | 663 1550.50/1551.08 c 1424s | 22 | 2303800 | 1755122 | 19623 196 | 348 | 663 1552.49/1553.09 c 1426s | 22 | 2306710 | 1757422 | 19623 196 | 348 | 663 1554.59/1555.15 c 1428s | 22 | 2309860 | 1759922 | 19623 196 | 348 | 663 1556.69/1557.24 c 1430s | 22 | 2312819 | 1762222 | 19623 196 | 348 | 663 1558.69/1559.25 c 1432s | 22 | 2315559 | 1764422 | 19623 197 | 348 | 663 1560.69/1561.25 c 1434s | 22 | 2318325 | 1766522 | 19623 197 | 348 | 663 1562.69/1563.27 c 1436s | 22 | 2321425 | 1768922 | 19623 197 | 348 | 663 1564.79/1565.34 c 1439s | 22 | 2324596 | 1771422 | 19623 197 | 348 | 663 1566.89/1567.42 c 1441s | 22 | 2327597 | 1773622 | 19623 197 | 348 | 663 1568.99/1569.50 c 1443s | 22 | 2330605 | 1775822 | 19623 198 | 348 | 663 1570.99/1571.52 c 1445s | 22 | 2333495 | 1778022 | 19623 198 | 348 | 663 1572.98/1573.56 c 1447s | 22 | 2336473 | 1780322 | 19623 198 | 348 | 663 1574.98/1575.59 c 1449s | 22 | 2339182 | 1782422 | 19623 198 | 348 | 663 1576.99/1577.59 c 1451s | 22 | 2341987 | 1784522 | 19623 198 | 348 | 663 1578.98/1579.60 c 1453s | 22 | 2344709 | 1786622 | 19623 199 | 348 | 663 1581.08/1581.65 c 1455s | 22 | 2347860 | 1789022 | 19623 199 | 348 | 663 1583.08/1583.66 c 1457s | 22 | 2351595 | 1791822 | 19623 199 | 348 | 663 1585.18/1585.73 c 1459s | 22 | 2355256 | 1794622 | 19623 199 | 348 | 663 1587.28/1587.80 c 1461s | 22 | 2358386 | 1796922 | 19623 200 | 348 | 663 1589.28/1589.86 c 1463s | 22 | 2361632 | 1799422 | 19623 200 | 348 | 663 1591.38/1591.95 c 1465s | 22 | 2364658 | 1801822 | 19623 200 | 348 | 663 1593.49/1594.01 c 1467s | 22 | 2367272 | 1803822 | 19623 200 | 348 | 663 1595.48/1596.05 c 1469s | 22 | 2370415 | 1806222 | 19623 200 | 348 | 663 1597.58/1598.14 c 1471s | 22 | 2373555 | 1808622 | 19623 201 | 348 | 663 1599.58/1600.17 c 1473s | 22 | 2376848 | 1811022 | 19623 201 | 348 | 663 1601.68/1602.21 c 1475s | 22 | 2379822 | 1813322 | 19623 201 | 348 | 663 1603.78/1604.30 c 1478s | 22 | 2382742 | 1815622 | 19623 201 | 348 | 663 1605.78/1606.33 c 1480s | 22 | 2385499 | 1817722 | 19623 202 | 348 | 663 1607.78/1608.37 c 1482s | 22 | 2388828 | 1820322 | 19623 202 | 348 | 663 1609.78/1610.38 c 1484s | 22 | 2392132 | 1822922 | 19623 202 | 348 | 663 1611.88/1612.43 c 1486s | 22 | 2395456 | 1825422 | 19623 202 | 348 | 663 1613.87/1614.44 c 1488s | 22 | 2398396 | 1827622 | 19623 202 | 348 | 663 1615.97/1616.50 c 1490s | 22 | 2401602 | 1830222 | 19623 203 | 348 | 663 1617.97/1618.54 c 1492s | 22 | 2404492 | 1832622 | 19623 203 | 348 | 663 1620.07/1620.60 c 1494s | 22 | 2407268 | 1834922 | 19623 203 | 348 | 663 1622.08/1622.65 c 1496s | 22 | 2410211 | 1837222 | 19623 203 | 348 | 663 1624.07/1624.69 c 1498s | 22 | 2413366 | 1839422 | 19623 204 | 348 | 663 1626.17/1626.74 c 1500s | 22 | 2416763 | 1841922 | 19623 204 | 348 | 663 1628.27/1628.81 c 1502s | 22 | 2420024 | 1844422 | 19623 204 | 348 | 663 1630.27/1630.84 c 1504s | 22 | 2422837 | 1846622 | 19623 204 | 348 | 663 1632.27/1632.89 c 1506s | 22 | 2426201 | 1848922 | 19623 204 | 348 | 663 1634.37/1634.93 c 1508s | 22 | 2429532 | 1851222 | 19623 205 | 348 | 663 1636.38/1636.97 c 1510s | 22 | 2432745 | 1853522 | 19623 205 | 348 | 663 1638.48/1639.06 c 1512s | 22 | 2435977 | 1855922 | 19623 205 | 348 | 663 1640.57/1641.11 c 1514s | 22 | 2438962 | 1858122 | 19623 205 | 348 | 663 1642.57/1643.15 c 1516s | 22 | 2441579 | 1860122 | 19623 206 | 348 | 663 1644.57/1645.17 c 1518s | 22 | 2444865 | 1862622 | 19623 206 | 348 | 663 1646.57/1647.18 c 1520s | 22 | 2447987 | 1864922 | 19623 206 | 348 | 663 1648.67/1649.21 c 1522s | 22 | 2451203 | 1867222 | 19623 206 | 348 | 663 1650.68/1651.28 c 1525s | 22 | 2454238 | 1869422 | 19623 206 | 348 | 663 1652.77/1653.36 c 1527s | 22 | 2457225 | 1871722 | 19623 207 | 348 | 663 1654.87/1655.40 c 1529s | 22 | 2460527 | 1874222 | 19623 207 | 348 | 663 1656.87/1657.43 c 1531s | 22 | 2463794 | 1876822 | 19623 207 | 348 | 663 1658.87/1659.45 c 1533s | 22 | 2467024 | 1879422 | 19623 207 | 348 | 663 1660.97/1661.53 c 1535s | 22 | 2470475 | 1882122 | 19623 208 | 348 | 663 1662.97/1663.57 c 1537s | 22 | 2473585 | 1884522 | 19623 208 | 348 | 663 1665.06/1665.61 c 1539s | 22 | 2477124 | 1887122 | 19623 208 | 348 | 663 1667.07/1667.67 c 1541s | 22 | 2480450 | 1889622 | 19623 208 | 348 | 663 1669.16/1669.72 c 1543s | 22 | 2483622 | 1892122 | 19623 209 | 348 | 663 1671.27/1671.80 c 1545s | 22 | 2486979 | 1894622 | 19623 209 | 348 | 663 1673.27/1673.83 c 1547s | 22 | 2490800 | 1897422 | 19623 209 | 348 | 663 1675.27/1675.88 c 1549s | 22 | 2494376 | 1900122 | 19623 209 | 348 | 663 1677.37/1677.92 c 1551s | 22 | 2497540 | 1902622 | 19623 210 | 348 | 663 1679.37/1679.97 c 1553s | 22 | 2501144 | 1905422 | 19623 210 | 348 | 663 1681.38/1681.99 c 1555s | 22 | 2504386 | 1907922 | 19623 210 | 348 | 663 1683.47/1684.01 c 1557s | 22 | 2507205 | 1910122 | 19623 210 | 348 | 663 1685.47/1686.06 c 1559s | 22 | 2510128 | 1912422 | 19623 210 | 348 | 663 1687.57/1688.13 c 1561s | 22 | 2513446 | 1915022 | 19623 211 | 348 | 663 1689.57/1690.18 c 1563s | 22 | 2516882 | 1917722 | 19623 211 | 348 | 663 1691.67/1692.23 c 1565s | 22 | 2520386 | 1920322 | 19623 211 | 348 | 663 1693.67/1694.29 c 1568s | 22 | 2523858 | 1922922 | 19623 212 | 348 | 663 1695.67/1696.29 c 1570s | 22 | 2527220 | 1925322 | 19623 212 | 348 | 663 1697.77/1698.35 c 1572s | 22 | 2530631 | 1927722 | 19623 212 | 348 | 663 1699.77/1700.37 c 1574s | 22 | 2533930 | 1930022 | 19623 212 | 348 | 663 1701.87/1702.44 c 1576s | 22 | 2537083 | 1932322 | 19623 212 | 348 | 663 1703.97/1704.51 c 1578s | 22 | 2540227 | 1934522 | 19623 213 | 348 | 663 1705.96/1706.54 c 1580s | 22 | 2543636 | 1936822 | 19623 213 | 348 | 663 1708.06/1708.62 c 1582s | 22 | 2546915 | 1939222 | 19623 213 | 348 | 663 1710.16/1710.70 c 1584s | 22 | 2549872 | 1941422 | 19623 213 | 348 | 663 1712.17/1712.74 c 1586s | 22 | 2552884 | 1943622 | 19623 213 | 348 | 663 1714.26/1714.82 c 1588s | 22 | 2555972 | 1945922 | 19623 214 | 348 | 663 1716.26/1716.87 c 1590s | 22 | 2558971 | 1948222 | 19623 214 | 348 | 663 1718.36/1718.94 c 1592s | 22 | 2562376 | 1950722 | 19623 214 | 348 | 663 1720.36/1720.96 c 1594s | 22 | 2565109 | 1952822 | 19623 214 | 348 | 663 1722.46/1723.02 c 1596s | 22 | 2568652 | 1955422 | 19623 215 | 348 | 663 1724.46/1725.05 c 1598s | 22 | 2572500 | 1958122 | 19623 215 | 348 | 663 1726.57/1727.12 c 1600s | 22 | 2576075 | 1960722 | 19623 215 | 348 | 663 1728.56/1729.18 c 1602s | 22 | 2578845 | 1962822 | 19623 215 | 348 | 663 1730.66/1731.23 c 1604s | 22 | 2581966 | 1965122 | 19623 216 | 348 | 663 1732.76/1733.30 c 1607s | 22 | 2584538 | 1967022 | 19623 216 | 348 | 663 1734.76/1735.35 c 1609s | 22 | 2587960 | 1969422 | 19623 216 | 348 | 663 1736.86/1737.40 c 1611s | 22 | 2591169 | 1971722 | 19623 216 | 348 | 663 1738.86/1739.47 c 1613s | 22 | 2594118 | 1973922 | 19623 216 | 348 | 663 1740.96/1741.52 c 1615s | 22 | 2597054 | 1976122 | 19623 217 | 348 | 663 1742.96/1743.53 c 1617s | 22 | 2600353 | 1978522 | 19623 217 | 348 | 663 1744.96/1745.57 c 1619s | 22 | 2603517 | 1980922 | 19623 217 | 348 | 663 1746.96/1747.58 c 1621s | 22 | 2606977 | 1983522 | 19623 217 | 348 | 663 1749.06/1749.65 c 1623s | 22 | 2610354 | 1986122 | 19623 218 | 348 | 663 1751.06/1751.65 c 1625s | 22 | 2613620 | 1988622 | 19623 218 | 348 | 663 1753.06/1753.67 c 1627s | 22 | 2616926 | 1991122 | 19623 218 | 348 | 663 1755.06/1755.70 c 1629s | 22 | 2620276 | 1993722 | 19623 218 | 348 | 663 1757.15/1757.72 c 1631s | 22 | 2623255 | 1996022 | 19623 218 | 348 | 663 1759.25/1759.89 c 1633s | 22 | 2625944 | 1998122 | 19623 219 | 348 | 663 1761.35/1761.92 c 1635s | 22 | 2629614 | 2000822 | 19623 219 | 348 | 663 1763.35/1763.95 c 1637s | 22 | 2633154 | 2003322 | 19623 219 | 348 | 663 1765.45/1766.01 c 1639s | 22 | 2636278 | 2005722 | 19623 219 | 348 | 663 1767.55/1768.10 c 1641s | 22 | 2639412 | 2008022 | 19623 220 | 348 | 663 1769.55/1770.13 c 1643s | 22 | 2642819 | 2010522 | 19623 220 | 348 | 663 1771.66/1772.24 c 1645s | 22 | 2645650 | 2012722 | 19623 220 | 348 | 663 1773.76/1774.32 c 1648s | 22 | 2648436 | 2014822 | 19623 220 | 348 | 663 1775.75/1776.34 c 1650s | 22 | 2650995 | 2016822 | 19623 220 | 348 | 663 1777.75/1778.35 c 1652s | 22 | 2653451 | 2018722 | 19623 221 | 348 | 663 1779.85/1780.40 c 1654s | 22 | 2656869 | 2021522 | 19623 221 | 348 | 663 1781.85/1782.45 c 1656s | 22 | 2660210 | 2024122 | 19623 221 | 348 | 663 1783.85/1784.49 c 1658s | 22 | 2663465 | 2026622 | 19623 221 | 348 | 663 1785.86/1786.49 c 1660s | 22 | 2666225 | 2028822 | 19623 222 | 348 | 663 1787.95/1788.55 c 1662s | 22 | 2669538 | 2031422 | 19623 222 | 348 | 663 1790.05/1790.64 c 1664s | 22 | 2672755 | 2033922 | 19623 222 | 348 | 663 1792.05/1792.69 c 1666s | 22 | 2675698 | 2036122 | 19623 222 | 348 | 663 1794.15/1794.71 c 1668s | 22 | 2678200 | 2038122 | 19623 222 | 348 | 663 1796.15/1796.75 c 1670s | 22 | 2680922 | 2040222 | 19623 223 | 348 | 663 1798.25/1798.81 c 1672s | 22 | 2684480 | 2042822 | 19623 223 | 348 | 663
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-4118502-1467229589/watcher-4118502-1467229589 -o /tmp/evaluation-result-4118502-1467229589/solver-4118502-1467229589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19135 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118502-1467229589.opb pid=21496 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.24 2.19 2/179 21499 /proc/meminfo: memFree=28474256/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=772540 CPUtime=0 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 2889 0 0 0 0 0 0 0 20 0 4 0 12987543 791080960 2738 33554432000 4194304 16246674 140736537746832 140736537746256 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 193647 2747 441 2943 0 190541 0 [pid=21499/tid=21500] ppid=21496 vsize=789948 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 808906752 2807 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=794044 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 813101056 2825 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=798140 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12987543 817295360 2840 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.16 2.24 2.19 2/179 21499 /proc/meminfo: memFree=28474256/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1221188 CPUtime=0.08 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 22709 0 0 0 6 2 0 0 20 0 4 0 12987543 1250496512 22496 33554432000 4194304 16246674 140736537746832 140736537746144 13962192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 305297 22496 836 2943 0 302191 0 [pid=21499/tid=21500] ppid=21496 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1250496512 22496 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1250496512 22496 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12987543 1250496512 22496 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1221188 [startup+0.200521 s] /proc/loadavg: 2.16 2.24 2.19 2/179 21499 /proc/meminfo: memFree=28474256/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1305156 CPUtime=0.19 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 32525 0 0 0 15 4 0 0 20 0 4 0 12987543 1336479744 32312 33554432000 4194304 16246674 140736537746832 140736537746144 4221418 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 326289 32318 907 2943 0 323183 0 [pid=21499/tid=21500] ppid=21496 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1336479744 32322 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1336479744 32325 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1336479744 32329 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1305156 [startup+0.300472 s] /proc/loadavg: 2.16 2.24 2.19 2/179 21499 /proc/meminfo: memFree=28474256/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1307204 CPUtime=0.29 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 40953 0 0 0 25 4 0 0 20 0 4 0 12987543 1338576896 40740 33554432000 4194304 16246674 140736537746832 140736537729824 5602895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 326801 40747 907 2943 0 323695 0 [pid=21499/tid=21500] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 40751 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 40755 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 40759 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1307204 [startup+0.700405 s] /proc/loadavg: 2.16 2.24 2.19 2/179 21499 /proc/meminfo: memFree=28474256/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 44614 0 0 0 64 5 0 0 20 0 4 0 12987543 1338576896 44401 33554432000 4194304 16246674 140736537746832 140736537729824 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 326801 44401 908 2943 0 323695 0 [pid=21499/tid=21500] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 44401 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 44401 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 44401 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.5004 s] /proc/loadavg: 2.14 2.23 2.19 3/183 21503 /proc/meminfo: memFree=28298352/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 59530 0 0 0 142 7 0 0 20 0 4 0 12987543 1338576896 59318 33554432000 4194304 16246674 140736537746832 140736537728704 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 326801 59321 912 2943 0 323695 0 [pid=21499/tid=21500] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 59323 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 59331 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 59337 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.1004 s] /proc/loadavg: 2.14 2.23 2.19 3/183 21503 /proc/meminfo: memFree=27899568/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 252952 0 0 0 276 33 0 0 20 0 4 0 12987543 1338576896 252739 33554432000 4194304 16246674 140736537746832 140736537728704 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 326801 252741 912 2943 0 323695 0 [pid=21499/tid=21500] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 252745 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 252748 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1338576896 252748 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30041 s] /proc/loadavg: 2.14 2.23 2.19 3/183 21503 /proc/meminfo: memFree=27402696/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1309252 CPUtime=6.29 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 268422 0 0 0 594 35 0 0 20 0 4 0 12987543 1340674048 268209 33554432000 4194304 16246674 140736537746832 140736537728704 5602058 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 327313 268209 916 2943 0 324207 0 [pid=21499/tid=21500] ppid=21496 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1340674048 268209 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1340674048 268209 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1340674048 268209 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.20 2.24 2.19 4/183 21503 /proc/meminfo: memFree=27402992/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1309252 CPUtime=12.68 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 268426 0 0 0 1233 35 0 0 20 0 4 0 12987543 1340674048 268213 33554432000 4194304 16246674 140736537746832 140736537728704 5829844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 327313 268213 920 2943 0 324207 0 [pid=21499/tid=21500] ppid=21496 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1340674048 268213 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1340674048 268213 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1340674048 268213 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.24 2.25 2.19 3/183 21503 /proc/meminfo: memFree=27401504/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1311300 CPUtime=25.48 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 268894 0 0 0 2513 35 0 0 20 0 4 0 12987543 1342771200 268681 33554432000 4194304 16246674 140736537746832 140736537728704 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 327825 268681 921 2943 0 324719 0 [pid=21499/tid=21500] ppid=21496 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1342771200 268681 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1342771200 268681 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1342771200 268681 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.21 2.24 2.19 3/183 21503 /proc/meminfo: memFree=27401096/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1311300 CPUtime=51.09 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 269043 0 0 0 5073 36 0 0 20 0 4 0 12987543 1342771200 268830 33554432000 4194304 16246674 140736537746832 140736537728704 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 327825 268830 921 2943 0 324719 0 [pid=21499/tid=21500] ppid=21496 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1342771200 268830 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1342771200 268830 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1342771200 268830 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.25 2.24 2.19 4/183 21504 /proc/meminfo: memFree=27399460/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1312324 CPUtime=102.28 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 269299 0 0 0 10192 36 0 0 20 0 4 0 12987543 1343819776 269086 33554432000 4194304 16246674 140736537746832 140736537728704 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 328081 269086 921 2943 0 324975 0 [pid=21499/tid=21500] ppid=21496 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1343819776 269086 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1343819776 269086 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1343819776 269086 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1367937024 275234 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1335876 [startup+1302.3 s] /proc/loadavg: 2.29 2.33 2.27 3/183 21655 /proc/meminfo: memFree=27397736/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1335876 CPUtime=1301.83 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 275614 0 0 0 130141 42 0 0 20 0 4 0 12987543 1367937024 275234 33554432000 4194304 16246674 140736537746832 140736537729832 5829240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 333969 275234 921 2943 0 330863 0 [pid=21499/tid=21500] ppid=21496 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1367937024 275234 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1367937024 275234 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1367937024 275234 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1335876 [startup+1362.3 s] /proc/loadavg: 2.25 2.31 2.27 3/183 21656 /proc/meminfo: memFree=27359436/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1336900 CPUtime=1361.82 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 275870 0 0 0 136140 42 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140736537728704 5829385 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 334225 275490 921 2943 0 331119 0 [pid=21499/tid=21500] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1336900 [startup+1422.3 s] /proc/loadavg: 2.19 2.28 2.26 3/184 21661 /proc/meminfo: memFree=27358968/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1336900 CPUtime=1421.81 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 275870 0 0 0 142139 42 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140736537728704 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 334225 275490 921 2943 0 331119 0 [pid=21499/tid=21500] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1336900 [startup+1482.3 s] /proc/loadavg: 2.20 2.27 2.26 3/183 21662 /proc/meminfo: memFree=27359220/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1336900 CPUtime=1481.8 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 275870 0 0 0 148137 43 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140736537728704 5600136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 334225 275490 921 2943 0 331119 0 [pid=21499/tid=21500] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1336900 [startup+1542.31 s] /proc/loadavg: 2.28 2.28 2.26 3/183 21663 /proc/meminfo: memFree=27358992/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1336900 CPUtime=1541.8 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 275870 0 0 0 154137 43 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140736537728704 5823218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 334225 275490 921 2943 0 331119 0 [pid=21499/tid=21500] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1368985600 275490 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1336900 [startup+1602.3 s] /proc/loadavg: 2.29 2.29 2.27 3/183 21664 /proc/meminfo: memFree=27353940/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1342020 CPUtime=1601.78 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 277150 0 0 0 160135 43 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140736537728704 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 335505 276770 921 2943 0 332399 0 [pid=21499/tid=21500] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1342020 [startup+1662.3 s] /proc/loadavg: 2.28 2.28 2.27 3/183 21665 /proc/meminfo: memFree=27353788/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1342020 CPUtime=1661.77 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 277150 0 0 0 166134 43 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140736537728704 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 335505 276770 921 2943 0 332399 0 [pid=21499/tid=21500] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1342020 [startup+1722.3 s] /proc/loadavg: 2.27 2.27 2.27 3/183 21667 /proc/meminfo: memFree=27353568/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1342020 CPUtime=1721.76 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 277150 0 0 0 172132 44 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140736537728704 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 335505 276770 921 2943 0 332399 0 [pid=21499/tid=21500] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1342020 [startup+1782.3 s] /proc/loadavg: 2.24 2.26 2.26 3/183 21668 /proc/meminfo: memFree=27352616/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1342020 CPUtime=1781.75 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 277150 0 0 0 178131 44 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140736537728704 5659576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 335505 276770 921 2943 0 332399 0 [pid=21499/tid=21500] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1342020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.26 2.27 2.26 3/183 21668 /proc/meminfo: memFree=27352836/32872528 swapFree=1394328/1580332 [pid=21499] ppid=21496 vsize=1342020 CPUtime=1800.05 cores=0,2,4,6 /proc/21499/stat : 21499 (toysat) R 21496 21499 19119 0 -1 4202496 277150 0 0 0 179961 44 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140736537728704 5823912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21499/statm: 335505 276770 921 2943 0 332399 0 [pid=21499/tid=21500] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21500/stat : 21500 (toysat) S 21496 21499 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208140954864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21499/tid=21501] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21501/stat : 21501 (toysat) S 21496 21499 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208130465008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21499/tid=21502] ppid=21496 vsize=1342020 CPUtime=0 cores=0,2,4,6 /proc/21499/task/21502/stat : 21502 (toysat) S 21496 21499 19119 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 12987543 1374228480 276770 33554432000 4194304 16246674 140736537746832 140208119991472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1342020 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 21499 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.62 CPU system time (s): 0.447931 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 1342020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.447931 maximum resident set size= 1107080 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277150 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= 443 involuntary context switches= 1896 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.53531 second user time and 6.99594 second system time The end
Begin job on node139 at 2016-06-29 21:46:30 IDJOB=4118502 IDBENCH=111501 IDSOLVER=2542 FILE ID=node139/4118502-1467229589 RUNJOBID= node139-1467208982-19135 PBS_JOBID= 19997572 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118502-1467229589/watcher-4118502-1467229589 -o /tmp/evaluation-result-4118502-1467229589/solver-4118502-1467229589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19135 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118502-1467229589.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fc78ffcb6f8df58e55b14ead1c8e0a26 RANDOM SEED=203458300 node139.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 : 2667.092 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 : 5334.18 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 : 2667.092 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 : 2667.092 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 : 2667.092 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 : 2667.092 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.56 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 : 2667.092 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.092 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.48 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 : 2667.092 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: 28474636 kB Buffers: 122304 kB Cached: 843052 kB SwapCached: 3080 kB Active: 1835952 kB Inactive: 245644 kB Active(anon): 1115168 kB Inactive(anon): 3176 kB Active(file): 720784 kB Inactive(file): 242468 kB Unevictable: 1580332 kB Mlocked: 1394328 kB SwapTotal: 67108856 kB SwapFree: 67097568 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 2694432 kB Mapped: 11408 kB Shmem: 0 kB Slab: 600476 kB SReclaimable: 44776 kB SUnreclaim: 555700 kB KernelStack: 1496 kB PageTables: 9664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2834696 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 659456 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= 71676 MiB End job on node139 at 2016-06-29 22:16:30