Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb |
| MD5SUM | bd686f1ac9d6c1a64cf0c9041039dd75 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 59533 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 2278 |
| Total number of constraints | 4879 |
| Number of constraints which are clauses | 4879 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 43 |
| Number of terms in the objective function | 1076 |
| Biggest coefficient in the objective function | 2162 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 1745862 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 2162 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 1745862 |
| Number of bits of the biggest sum of numbers | 21 |
| 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-07T00:52:50+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-4079106-1465253570.opb"] 0.00/0.01 c use --random-gen="1680195229 2206092478 1783587590 3338263962 19418825 900176366 1924365447 3973128243 3475112025 3572720002 572416147 3089943608 1448581011 3170509603 3894498647 4290815756 4113808735 1708989731 1035180879 2245391068 1995224027 166836194 1584680507 3491077830 3428529346 2767943336 2503154975 1722520860 3566812203 1112341505 3563856811 423252749 1999212088 273609310 2069004988 1191005280 2232304278 3328888712 2257579655 1509493207 1051621426 3653556371 3576968933 3450256312 3777251494 2007195892 3700228570 1500714475 1759609142 1855010020 1015510721 245982814 2479091198 1639835996 776295479 2308077205 3027414426 1199020856 2493028926 2211455951 1137287878 1789273970 2168732706 4056402843 2561360830 1758638129 1491894889 1263637049 1590582680 1473939555 2278833693 3210428462 1203807126 3987034378 1508561750 630035588 2593195352 1141950480 4060235854 2786744875 1263080285 2259775709 4113107569 1188682362 1005359796 2016622934 3381356096 1255197631 1557014962 93867526 2549925999 3109611956 4184043995 2280714833 3531635489 2112780378 1989073078 837201301 1797658017 3801224125 860248857 1555371187 596107094 2326526506 2502195429 3055062665 1155887185 2368574658 2777602838 1941442300 2601328373 4122452379 3327803857 831553057 506940552 3030718635 1639541628 4225724079 182552775 1981313478 3571275696 2271229526 3740732065 2457774066 93566388 4018023354 1816326458 2608085369 1361751639 4122573961 944568237 2802574836 3882399225 2555697762 1922955060 4286683456 4112005045 1147173757 735040714 2985074885 4095728462 339319828 47230181 127773266 1672952591 48691202 573226313 681096050 4220388176 4201602331 1597938048 4054162621 7941309 2048843096 540794647 2539106010 1562757165 1811000770 1986046774 3895891034 3502278141 61958796 1647547451 3464637488 1163292451 1105633562 3564987158 2581848016 1112678686 4119520524 1176616163 3433642057 1012627726 287057144 3127221923 571082621 2262200385 4226215098 594786619 2561677915 2447773546 1481704217 2578839510 18852490 3649935847 795627494 1749894288 4163161866 2948015765 2611301740 130881224 2178670018 207680020 3574798650 752806779 284043126 936451075 1267110909 27869473 2284890811 1044549222 597760226 2286817678 3528479538 1612061060 2196473804 2607947706 1689171155 2606496980 1050436257 1720405881 847874984 3739070496 1518501473 343234921 3709439589 3666529367 1507318154 66098589 2690888774 971608233 894788886 1362640670 910829368 4223995796 4281044380 331131038 2371981610 373687222 4085683815 1697451340 3922202915 2324881553 838792465 1752241581 2096873545 3800854310 2334526088 3494401367 396291204 3300425855 3137230352 780452293 2858808859 374930939 4261446523 451970148 2787109370 2151171337 3191336464 3342888630 2031449468 1081813179 3037922316 3078219673 3073234943 255 362436" option to reproduce the execution 0.00/0.05 c #vars 2278 0.00/0.05 c #constraints 4879 0.08/0.10 c BCD2: Hardening is enabled. 0.08/0.10 c BCD2: BiasedSearch is enabled. 0.08/0.10 c Solving starts ... 0.08/0.10 c ============================[ Search Statistics ]============================ 0.08/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.10 c | | | | Limit GC | Var | Constra 0.08/0.10 c ============================================================================= 0.08/0.10 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 0 0.08/0.11 c 0.0s | 0 | 1126 | 0 | 2367 0 | 5 | 653 0.08/0.11 c #cpu_time = 0.010s 0.08/0.11 c #wall_clock_time = 0.010s 0.08/0.11 c #decision = 1126 0.08/0.11 c #random_decision = 7 0.08/0.11 c #conflict = 0 0.08/0.11 c #restart = 0 0.08/0.11 o 1745862 0.08/0.14 c BCD2: refineUB: 1745861 -> 1744808 0.08/0.14 c BCD2: updating upper bound: 1745862 -> 1744808 0.08/0.15 c BCD2: 0 <= obj <= 1744808 0.08/0.15 c BCD2: #cores=0, #unrelaxed=1076, #relaxed=0, #hardened=0 0.08/0.15 c BCD2: #sat=1 #unsat=1 bias=1/2 0.08/0.15 c Solving starts ... 0.08/0.15 c ============================[ Search Statistics ]============================ 0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.15 c | | | | Limit GC | Var | Constra 0.08/0.15 c ============================================================================= 0.08/0.15 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.08/0.15 c 0.0s | 0 | 1 | 0 | 2367 0 | 5 | 653 0.08/0.15 c #cpu_time = 0.004s 0.08/0.15 c #wall_clock_time = 0.004s 0.08/0.15 c #decision = 1 0.08/0.15 c #random_decision = 0 0.08/0.15 c #conflict = 0 0.08/0.15 c #restart = 0 0.08/0.15 c BCD2: found a new core of size 2: cost of the new core is >=1340 0.08/0.15 c lower bound updated to 1340 0.08/0.18 c BCD2: refineUB: 1745861 -> 1744808 0.08/0.18 c BCD2: 1340 <= obj <= 1744808 0.08/0.18 c BCD2: #cores=1, #unrelaxed=1074, #relaxed=2, #hardened=0 0.08/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3 0.08/0.18 c Solving starts ... 0.08/0.18 c ============================[ Search Statistics ]============================ 0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.18 c | | | | Limit GC | Var | Constra 0.08/0.18 c ============================================================================= 0.08/0.18 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.08/0.19 c 0.0s | 0 | 2 | 0 | 2367 0 | 5 | 653 0.08/0.19 c #cpu_time = 0.004s 0.08/0.19 c #wall_clock_time = 0.004s 0.08/0.19 c #decision = 2 0.08/0.19 c #random_decision = 0 0.08/0.19 c #conflict = 0 0.08/0.19 c #restart = 0 0.08/0.19 c BCD2: found a new core of size 1: cost of the new core is >=1531 0.08/0.19 c lower bound updated to 2871 0.19/0.23 c BCD2: refineUB: 1745861 -> 1744808 0.19/0.23 c BCD2: 2871 <= obj <= 1744808 0.19/0.23 c BCD2: #cores=2, #unrelaxed=1073, #relaxed=3, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 2367 0 | 5 | 653 0.19/0.23 c 0.0s | 0 | 17 | 0 | 2367 0 | 5 | 653 0.19/0.23 c #cpu_time = 0.003s 0.19/0.23 c #wall_clock_time = 0.003s 0.19/0.23 c #decision = 17 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 7: cost of the new core is >=1288 0.19/0.23 c lower bound updated to 4159 0.19/0.26 c BCD2: refineUB: 1745861 -> 1744808 0.19/0.26 c BCD2: 4159 <= obj <= 1744808 0.19/0.26 c BCD2: #cores=3, #unrelaxed=1066, #relaxed=10, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.19/0.26 c 0.0s | 0 | 30 | 0 | 2367 0 | 5 | 653 0.19/0.26 c #cpu_time = 0.002s 0.19/0.26 c #wall_clock_time = 0.002s 0.19/0.26 c #decision = 30 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 5: cost of the new core is >=1262 0.19/0.26 c lower bound updated to 5421 0.19/0.28 c BCD2: refineUB: 1745861 -> 1744808 0.19/0.28 c BCD2: 5421 <= obj <= 1744808 0.19/0.28 c BCD2: #cores=4, #unrelaxed=1061, #relaxed=15, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 2367 0 | 5 | 653 0.19/0.28 c 0.0s | 0 | 36 | 0 | 2367 0 | 5 | 653 0.19/0.28 c #cpu_time = 0.002s 0.19/0.28 c #wall_clock_time = 0.002s 0.19/0.28 c #decision = 36 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 1: cost of the new core is >=1236 0.19/0.28 c lower bound updated to 6657 0.19/0.29 c BCD2: refineUB: 1745861 -> 1744808 0.19/0.29 c BCD2: 6657 <= obj <= 1744808 0.19/0.29 c BCD2: #cores=5, #unrelaxed=1060, #relaxed=16, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.29/0.30 c 0.0s | 0 | 46 | 0 | 2367 0 | 5 | 653 0.29/0.30 c #cpu_time = 0.002s 0.29/0.30 c #wall_clock_time = 0.002s 0.29/0.30 c #decision = 46 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 3: cost of the new core is >=1314 0.29/0.30 c lower bound updated to 7971 0.29/0.31 c BCD2: refineUB: 1745861 -> 1744808 0.29/0.31 c BCD2: 7971 <= obj <= 1744808 0.29/0.31 c BCD2: #cores=6, #unrelaxed=1057, #relaxed=19, #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 | 2367 0 | 5 | 653 0.29/0.32 c 0.0s | 0 | 64 | 0 | 2367 0 | 5 | 653 0.29/0.32 c #cpu_time = 0.002s 0.29/0.32 c #wall_clock_time = 0.002s 0.29/0.32 c #decision = 64 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 31: cost of the new core is >=1288 0.29/0.32 c lower bound updated to 9259 0.29/0.34 c BCD2: refineUB: 1745861 -> 1744808 0.29/0.34 c BCD2: 9259 <= obj <= 1744808 0.29/0.34 c BCD2: #cores=7, #unrelaxed=1026, #relaxed=50, #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 | 2367 0 | 5 | 653 0.29/0.35 c 0.0s | 0 | 68 | 0 | 2367 0 | 5 | 653 0.29/0.35 c #cpu_time = 0.003s 0.29/0.35 c #wall_clock_time = 0.003s 0.29/0.35 c #decision = 68 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 5: cost of the new core is >=1326 0.29/0.35 c lower bound updated to 10585 0.29/0.38 c BCD2: refineUB: 1745861 -> 1744808 0.29/0.38 c BCD2: 10585 <= obj <= 1744808 0.29/0.38 c BCD2: #cores=8, #unrelaxed=1021, #relaxed=55, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 2367 0 | 5 | 653 0.29/0.38 c 0.0s | 0 | 85 | 0 | 2367 0 | 5 | 653 0.29/0.38 c #cpu_time = 0.003s 0.29/0.38 c #wall_clock_time = 0.003s 0.29/0.38 c #decision = 85 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 29: cost of the new core is >=1314 0.29/0.38 c lower bound updated to 11899 0.39/0.41 c BCD2: refineUB: 1745861 -> 1744808 0.39/0.41 c BCD2: 11899 <= obj <= 1744808 0.39/0.41 c BCD2: #cores=9, #unrelaxed=992, #relaxed=84, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 2367 0 | 5 | 653 0.39/0.42 c 0.0s | 0 | 76 | 0 | 2367 0 | 5 | 653 0.39/0.42 c #cpu_time = 0.003s 0.39/0.42 c #wall_clock_time = 0.003s 0.39/0.42 c #decision = 76 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 21: cost of the new core is >=1314 0.39/0.42 c lower bound updated to 13213 0.39/0.44 c BCD2: refineUB: 1745861 -> 1744808 0.39/0.44 c BCD2: 13213 <= obj <= 1744808 0.39/0.44 c BCD2: #cores=10, #unrelaxed=971, #relaxed=105, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=11 bias=11/12 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.39/0.44 c 0.0s | 0 | 59 | 0 | 2367 0 | 5 | 653 0.39/0.44 c #cpu_time = 0.002s 0.39/0.44 c #wall_clock_time = 0.002s 0.39/0.44 c #decision = 59 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 3: cost of the new core is >=1618 0.39/0.44 c lower bound updated to 14831 0.39/0.46 c BCD2: refineUB: 1745861 -> 1744808 0.39/0.46 c BCD2: 14831 <= obj <= 1744808 0.39/0.46 c BCD2: #cores=11, #unrelaxed=968, #relaxed=108, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=12 bias=12/13 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.39/0.46 c 0.0s | 0 | 81 | 0 | 2367 0 | 5 | 653 0.39/0.46 c #cpu_time = 0.002s 0.39/0.46 c #wall_clock_time = 0.002s 0.39/0.46 c #decision = 81 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 3: cost of the new core is >=1288 0.39/0.46 c lower bound updated to 16119 0.39/0.48 c BCD2: refineUB: 1745861 -> 1744808 0.39/0.48 c BCD2: 16119 <= obj <= 1744808 0.39/0.48 c BCD2: #cores=12, #unrelaxed=965, #relaxed=111, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=13 bias=13/14 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.39/0.48 c 0.0s | 0 | 82 | 0 | 2367 0 | 5 | 653 0.39/0.48 c #cpu_time = 0.002s 0.39/0.48 c #wall_clock_time = 0.002s 0.39/0.48 c #decision = 82 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 3: cost of the new core is >=1314 0.39/0.48 c lower bound updated to 17433 0.49/0.50 c BCD2: refineUB: 1745861 -> 1744808 0.49/0.50 c BCD2: 17433 <= obj <= 1744808 0.49/0.50 c BCD2: #cores=13, #unrelaxed=962, #relaxed=114, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=14 bias=14/15 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.49/0.50 c 0.0s | 0 | 135 | 0 | 2367 0 | 5 | 653 0.49/0.50 c #cpu_time = 0.002s 0.49/0.50 c #wall_clock_time = 0.002s 0.49/0.50 c #decision = 135 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 c BCD2: found a new core of size 3: cost of the new core is >=1618 0.49/0.50 c lower bound updated to 19051 0.49/0.52 c BCD2: refineUB: 1745861 -> 1744808 0.49/0.52 c BCD2: 19051 <= obj <= 1744808 0.49/0.52 c BCD2: #cores=14, #unrelaxed=959, #relaxed=117, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 2367 0 | 5 | 653 0.49/0.52 c 0.0s | 0 | 136 | 0 | 2367 0 | 5 | 653 0.49/0.52 c #cpu_time = 0.002s 0.49/0.52 c #wall_clock_time = 0.002s 0.49/0.52 c #decision = 136 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 3: cost of the new core is >=1358 0.49/0.52 c lower bound updated to 20409 0.49/0.54 c BCD2: refineUB: 1745861 -> 1744808 0.49/0.54 c BCD2: 20409 <= obj <= 1744808 0.49/0.54 c BCD2: #cores=15, #unrelaxed=956, #relaxed=120, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 2367 0 | 5 | 653 0.49/0.54 c 0.0s | 0 | 148 | 0 | 2367 0 | 5 | 653 0.49/0.54 c #cpu_time = 0.002s 0.49/0.54 c #wall_clock_time = 0.002s 0.49/0.54 c #decision = 148 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 0 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: found a new core of size 5: cost of the new core is >=1474 0.49/0.54 c lower bound updated to 21883 0.49/0.56 c BCD2: refineUB: 1745861 -> 1744808 0.49/0.56 c BCD2: 21883 <= obj <= 1744808 0.49/0.56 c BCD2: #cores=16, #unrelaxed=951, #relaxed=125, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 2367 0 | 5 | 653 0.49/0.56 c 0.0s | 0 | 227 | 0 | 2367 0 | 5 | 653 0.49/0.56 c #cpu_time = 0.003s 0.49/0.56 c #wall_clock_time = 0.003s 0.49/0.56 c #decision = 227 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 7: cost of the new core is >=1448 0.49/0.56 c lower bound updated to 23331 0.49/0.58 c BCD2: refineUB: 1745861 -> 1744808 0.49/0.58 c BCD2: 23331 <= obj <= 1744808 0.49/0.58 c BCD2: #cores=17, #unrelaxed=944, #relaxed=132, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=18 bias=18/19 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.49/0.59 c 0.0s | 0 | 286 | 0 | 2367 0 | 5 | 653 0.49/0.59 c #cpu_time = 0.004s 0.49/0.59 c #wall_clock_time = 0.004s 0.49/0.59 c #decision = 286 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 16: cost of the new core is >=1158 0.49/0.59 c lower bound updated to 24489 0.59/0.61 c BCD2: refineUB: 1745861 -> 1744808 0.59/0.61 c BCD2: 24489 <= obj <= 1744808 0.59/0.61 c BCD2: #cores=18, #unrelaxed=928, #relaxed=148, #hardened=0 0.59/0.61 c BCD2: #sat=1 #unsat=19 bias=19/20 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.61 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.59/0.61 c 0.0s | 0 | 309 | 0 | 2367 0 | 5 | 653 0.59/0.61 c #cpu_time = 0.003s 0.59/0.61 c #wall_clock_time = 0.003s 0.59/0.61 c #decision = 309 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 0 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: found a new core of size 34: cost of the new core is >=1210 0.59/0.61 c lower bound updated to 25699 0.59/0.63 c BCD2: refineUB: 1745861 -> 1744808 0.59/0.63 c BCD2: 25699 <= obj <= 1744808 0.59/0.63 c BCD2: #cores=19, #unrelaxed=894, #relaxed=182, #hardened=0 0.59/0.63 c BCD2: #sat=1 #unsat=20 bias=20/21 0.59/0.63 c Solving starts ... 0.59/0.63 c ============================[ Search Statistics ]============================ 0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.63 c | | | | Limit GC | Var | Constra 0.59/0.63 c ============================================================================= 0.59/0.63 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.59/0.63 c 0.0s | 0 | 318 | 0 | 2367 0 | 5 | 653 0.59/0.63 c #cpu_time = 0.003s 0.59/0.63 c #wall_clock_time = 0.003s 0.59/0.63 c #decision = 318 0.59/0.63 c #random_decision = 0 0.59/0.63 c #conflict = 0 0.59/0.63 c #restart = 0 0.59/0.63 c BCD2: found a new core of size 87: cost of the new core is >=1262 0.59/0.63 c lower bound updated to 26961 0.59/0.65 c BCD2: refineUB: 1745861 -> 1744808 0.59/0.65 c BCD2: 26961 <= obj <= 1744808 0.59/0.65 c BCD2: #cores=20, #unrelaxed=807, #relaxed=269, #hardened=0 0.59/0.65 c BCD2: #sat=1 #unsat=21 bias=21/22 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.59/0.66 c 0.0s | 0 | 384 | 0 | 2367 0 | 5 | 653 0.59/0.66 c #cpu_time = 0.003s 0.59/0.66 c #wall_clock_time = 0.003s 0.59/0.66 c #decision = 384 0.59/0.66 c #random_decision = 0 0.59/0.66 c #conflict = 0 0.59/0.66 c #restart = 0 0.59/0.66 c BCD2: found a new core of size 3: cost of the new core is >=1262 0.59/0.66 c lower bound updated to 28223 0.59/0.67 c BCD2: refineUB: 1745861 -> 1744808 0.59/0.67 c BCD2: 28223 <= obj <= 1744808 0.59/0.67 c BCD2: #cores=21, #unrelaxed=804, #relaxed=272, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 2367 0 | 5 | 653 0.59/0.68 c 0.0s | 0 | 453 | 0 | 2367 0 | 5 | 653 0.59/0.68 c #cpu_time = 0.003s 0.59/0.68 c #wall_clock_time = 0.003s 0.59/0.68 c #decision = 453 0.59/0.68 c #random_decision = 0 0.59/0.68 c #conflict = 0 0.59/0.68 c #restart = 0 0.59/0.68 c BCD2: found a new core of size 145: cost of the new core is >=1132 0.59/0.68 c lower bound updated to 29355 0.59/0.70 c BCD2: refineUB: 1745861 -> 1744808 0.59/0.70 c BCD2: 29355 <= obj <= 1744808 0.59/0.70 c BCD2: #cores=22, #unrelaxed=659, #relaxed=417, #hardened=0 0.59/0.70 c BCD2: #sat=1 #unsat=23 bias=23/24 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 | 2367 0 | 5 | 653 0.69/0.70 c 0.0s | 0 | 337 | 0 | 2367 0 | 5 | 653 0.69/0.70 c #cpu_time = 0.003s 0.69/0.70 c #wall_clock_time = 0.003s 0.69/0.70 c #decision = 337 0.69/0.70 c #random_decision = 0 0.69/0.70 c #conflict = 0 0.69/0.70 c #restart = 0 0.69/0.70 c BCD2: found a new core of size 9: cost of the new core is >=1288 0.69/0.70 c lower bound updated to 30643 0.69/0.72 c BCD2: refineUB: 1745861 -> 1744808 0.69/0.72 c BCD2: 30643 <= obj <= 1744808 0.69/0.72 c BCD2: #cores=23, #unrelaxed=650, #relaxed=426, #hardened=0 0.69/0.72 c BCD2: #sat=1 #unsat=24 bias=24/25 0.69/0.75 c Solving starts ... 0.69/0.75 c ============================[ Search Statistics ]============================ 0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.75 c | | | | Limit GC | Var | Constra 0.69/0.75 c ============================================================================= 0.69/0.75 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.69/0.76 c 0.0s | 0 | 396 | 0 | 2367 0 | 5 | 653 0.69/0.76 c #cpu_time = 0.003s 0.69/0.76 c #wall_clock_time = 0.003s 0.69/0.76 c #decision = 396 0.69/0.76 c #random_decision = 0 0.69/0.76 c #conflict = 0 0.69/0.76 c #restart = 0 0.69/0.76 c BCD2: found a new core of size 45: cost of the new core is >=1262 0.69/0.76 c lower bound updated to 31905 0.69/0.78 c BCD2: refineUB: 1745861 -> 1744808 0.69/0.78 c BCD2: 31905 <= obj <= 1744808 0.69/0.78 c BCD2: #cores=24, #unrelaxed=605, #relaxed=471, #hardened=0 0.69/0.78 c BCD2: #sat=1 #unsat=25 bias=25/26 0.69/0.79 c Solving starts ... 0.69/0.79 c ============================[ Search Statistics ]============================ 0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.79 c | | | | Limit GC | Var | Constra 0.69/0.79 c ============================================================================= 0.69/0.79 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.69/0.79 c 0.0s | 0 | 374 | 0 | 2367 0 | 5 | 653 0.69/0.79 c #cpu_time = 0.005s 0.69/0.79 c #wall_clock_time = 0.005s 0.69/0.79 c #decision = 374 0.69/0.79 c #random_decision = 0 0.69/0.79 c #conflict = 0 0.69/0.79 c #restart = 0 0.69/0.79 c BCD2: found a new core of size 38: cost of the new core is >=1340 0.69/0.79 c lower bound updated to 33245 0.79/0.82 c BCD2: refineUB: 1745861 -> 1744808 0.79/0.82 c BCD2: 33245 <= obj <= 1744808 0.79/0.82 c BCD2: #cores=25, #unrelaxed=567, #relaxed=509, #hardened=0 0.79/0.82 c BCD2: #sat=1 #unsat=26 bias=26/27 0.79/0.83 c Solving starts ... 0.79/0.83 c ============================[ Search Statistics ]============================ 0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.83 c | | | | Limit GC | Var | Constra 0.79/0.83 c ============================================================================= 0.79/0.83 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.79/0.83 c 0.0s | 0 | 462 | 0 | 2367 0 | 5 | 653 0.79/0.83 c #cpu_time = 0.005s 0.79/0.83 c #wall_clock_time = 0.005s 0.79/0.83 c #decision = 462 0.79/0.83 c #random_decision = 0 0.79/0.83 c #conflict = 0 0.79/0.83 c #restart = 0 0.79/0.83 c BCD2: found a new core of size 120: cost of the new core is >=1106 0.79/0.83 c lower bound updated to 34351 0.79/0.85 c BCD2: refineUB: 1745861 -> 1744808 0.79/0.85 c BCD2: 34351 <= obj <= 1744808 0.79/0.85 c BCD2: #cores=26, #unrelaxed=447, #relaxed=629, #hardened=0 0.79/0.85 c BCD2: #sat=1 #unsat=27 bias=27/28 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 | 2367 0 | 5 | 653 0.79/0.86 c 0.0s | 0 | 351 | 0 | 2367 0 | 5 | 653 0.79/0.86 c #cpu_time = 0.003s 0.79/0.86 c #wall_clock_time = 0.003s 0.79/0.86 c #decision = 351 0.79/0.86 c #random_decision = 0 0.79/0.86 c #conflict = 0 0.79/0.86 c #restart = 0 0.79/0.86 c BCD2: found a new core of size 9: cost of the new core is >=1645 0.79/0.86 c lower bound updated to 35996 0.79/0.88 c BCD2: refineUB: 1745861 -> 1744808 0.79/0.88 c BCD2: 35996 <= obj <= 1744808 0.79/0.88 c BCD2: #cores=27, #unrelaxed=438, #relaxed=638, #hardened=0 0.79/0.88 c BCD2: #sat=1 #unsat=28 bias=28/29 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 | 2367 0 | 5 | 653 0.79/0.88 c 0.0s | 0 | 401 | 0 | 2367 0 | 5 | 653 0.79/0.88 c #cpu_time = 0.003s 0.79/0.88 c #wall_clock_time = 0.003s 0.79/0.88 c #decision = 401 0.79/0.88 c #random_decision = 0 0.79/0.88 c #conflict = 0 0.79/0.88 c #restart = 0 0.79/0.88 c BCD2: found a new core of size 37: cost of the new core is >=1262 0.79/0.88 c lower bound updated to 37258 0.89/0.90 c BCD2: refineUB: 1745861 -> 1744808 0.89/0.90 c BCD2: 37258 <= obj <= 1744808 0.89/0.90 c BCD2: #cores=28, #unrelaxed=401, #relaxed=675, #hardened=0 0.89/0.90 c BCD2: #sat=1 #unsat=29 bias=29/30 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 | 2367 0 | 5 | 653 0.89/0.91 c 0.0s | 0 | 396 | 0 | 2367 0 | 5 | 653 0.89/0.91 c #cpu_time = 0.004s 0.89/0.91 c #wall_clock_time = 0.004s 0.89/0.91 c #decision = 396 0.89/0.91 c #random_decision = 0 0.89/0.91 c #conflict = 0 0.89/0.91 c #restart = 0 0.89/0.91 c BCD2: found a new core of size 31: cost of the new core is >=1210 0.89/0.91 c lower bound updated to 38468 0.89/0.93 c BCD2: refineUB: 1745861 -> 1744808 0.89/0.93 c BCD2: 38468 <= obj <= 1744808 0.89/0.93 c BCD2: #cores=29, #unrelaxed=370, #relaxed=706, #hardened=0 0.89/0.93 c BCD2: #sat=1 #unsat=30 bias=30/31 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.93 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 0.89/0.94 c 0.0s | 0 | 1264 | 0 | 2367 0 | 5 | 653 0.89/0.94 c #cpu_time = 0.007s 0.89/0.94 c #wall_clock_time = 0.007s 0.89/0.94 c #decision = 1264 0.89/0.94 c #random_decision = 3 0.89/0.94 c #conflict = 0 0.89/0.94 c #restart = 0 0.89/0.94 o 74083 0.89/0.94 c BCD2: updating upper bound: 1744808 -> 74082 0.89/0.94 c BCD2: 38468 <= obj <= 74082 0.89/0.94 c BCD2: #cores=29, #unrelaxed=370, #relaxed=706, #hardened=0 0.89/0.94 c BCD2: #sat=2 #unsat=30 bias=30/32 2.29/2.33 c Solving starts ... 2.29/2.33 c ============================[ Search Statistics ]============================ 2.29/2.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.29/2.33 c | | | | Limit GC | Var | Constra 2.29/2.33 c ============================================================================= 2.29/2.33 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 653 2.29/2.35 c 0.0s | 0 | 1807 | 26 | 2367 0 | 5 | 653 2.29/2.35 c #cpu_time = 0.014s 2.29/2.35 c #wall_clock_time = 0.014s 2.29/2.35 c #decision = 1807 2.29/2.35 c #random_decision = 2 2.29/2.35 c #conflict = 26 2.29/2.35 c #restart = 0 2.29/2.35 o 64435 2.29/2.35 c BCD2: updating upper bound: 74082 -> 64434 2.29/2.35 c BCD2: 38468 <= obj <= 64434 2.29/2.35 c BCD2: #cores=29, #unrelaxed=370, #relaxed=706, #hardened=0 2.29/2.35 c BCD2: #sat=3 #unsat=30 bias=30/33 4.98/5.05 c Solving starts ... 4.98/5.05 c ============================[ Search Statistics ]============================ 4.98/5.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.98/5.05 c | | | | Limit GC | Var | Constra 4.98/5.05 c ============================================================================= 4.98/5.05 c 0.0s | 0 | 0 | 0 | 2367 0 | 5 | 654 4.98/5.05 c 0.0s | 0 | 26 | 0 | 2367 0 | 5 | 654 4.98/5.05 c #cpu_time = 0.004s 4.98/5.05 c #wall_clock_time = 0.004s 4.98/5.05 c #decision = 26 4.98/5.05 c #random_decision = 0 4.98/5.05 c #conflict = 0 4.98/5.05 c #restart = 0 4.98/5.05 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 8: cost of the new core is >=2863 4.98/5.05 c BCD2: refineLB: 2789 -> 2863 4.98/5.05 c lower bound updated to 38543 4.98/5.05 c BCD2: 38543 <= obj <= 64434 4.98/5.05 c BCD2: #cores=28, #unrelaxed=370, #relaxed=706, #hardened=0 4.98/5.05 c BCD2: #sat=3 #unsat=31 bias=31/34 7.79/7.88 c Solving starts ... 7.79/7.88 c ============================[ Search Statistics ]============================ 7.79/7.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.79/7.88 c | | | | Limit GC | Var | Constra 7.79/7.88 c ============================================================================= 7.79/7.88 c 0.0s | 0 | 0 | 0 | 2367 0 | 47 | 654 7.79/7.89 c 0.0s | 0 | 54 | 0 | 2367 0 | 47 | 736 7.79/7.89 c #cpu_time = 0.004s 7.79/7.89 c #wall_clock_time = 0.004s 7.79/7.89 c #decision = 54 7.79/7.89 c #random_decision = 0 7.79/7.89 c #conflict = 0 7.79/7.89 c #restart = 0 7.79/7.89 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 7: cost of the new core is >=2924 7.79/7.89 c BCD2: refineLB: 2907 -> 2924 7.79/7.89 c lower bound updated to 38561 7.79/7.89 c BCD2: 38561 <= obj <= 64434 7.79/7.89 c BCD2: #cores=27, #unrelaxed=369, #relaxed=707, #hardened=0 7.79/7.89 c BCD2: #sat=3 #unsat=32 bias=32/35 9.18/9.29 c Solving starts ... 9.18/9.29 c ============================[ Search Statistics ]============================ 9.18/9.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.18/9.29 c | | | | Limit GC | Var | Constra 9.18/9.29 c ============================================================================= 9.18/9.29 c 0.0s | 0 | 0 | 0 | 2367 0 | 88 | 736 9.28/9.30 c 0.0s | 0 | 260 | 2 | 2367 0 | 88 | 817 9.28/9.30 c #cpu_time = 0.005s 9.28/9.30 c #wall_clock_time = 0.005s 9.28/9.30 c #decision = 260 9.28/9.30 c #random_decision = 0 9.28/9.30 c #conflict = 2 9.28/9.30 c #restart = 0 9.28/9.30 c BCD2: relaxing 6 and merging with 4 cores into a new core of size 62: cost of the new core is >=6954 9.28/9.30 c lower bound updated to 38562 9.28/9.30 c BCD2: 38562 <= obj <= 64434 9.28/9.30 c BCD2: #cores=24, #unrelaxed=363, #relaxed=713, #hardened=0 9.28/9.30 c BCD2: #sat=3 #unsat=33 bias=33/36 10.88/10.95 c Solving starts ... 10.88/10.95 c ============================[ Search Statistics ]============================ 10.88/10.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.88/10.95 c | | | | Limit GC | Var | Constra 10.88/10.95 c ============================================================================= 10.88/10.95 c 0.0s | 0 | 0 | 0 | 2367 0 | 146 | 817 10.88/10.95 c 0.0s | 0 | 302 | 0 | 2367 0 | 146 | 932 10.88/10.95 c #cpu_time = 0.005s 10.88/10.95 c #wall_clock_time = 0.005s 10.88/10.95 c #decision = 302 10.88/10.95 c #random_decision = 0 10.88/10.95 c #conflict = 0 10.88/10.95 c #restart = 0 10.88/10.96 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 16: cost of the new core is >=1810 10.88/10.96 c BCD2: refineLB: 1797 -> 1810 10.88/10.96 c lower bound updated to 38727 10.88/10.96 c BCD2: 38727 <= obj <= 64434 10.88/10.96 c BCD2: #cores=24, #unrelaxed=356, #relaxed=720, #hardened=0 10.88/10.96 c BCD2: #sat=3 #unsat=34 bias=34/37 13.29/13.32 c Solving starts ... 13.29/13.32 c ============================[ Search Statistics ]============================ 13.29/13.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.29/13.32 c | | | | Limit GC | Var | Constra 13.29/13.32 c ============================================================================= 13.29/13.32 c 0.0s | 0 | 0 | 0 | 2367 0 | 152 | 932 13.29/13.32 c 0.0s | 0 | 431 | 6 | 2367 0 | 152 | 944 13.29/13.32 c #cpu_time = 0.006s 13.29/13.32 c #wall_clock_time = 0.006s 13.29/13.32 c #decision = 431 13.29/13.32 c #random_decision = 0 13.29/13.32 c #conflict = 6 13.29/13.32 c #restart = 0 13.29/13.33 c BCD2: relaxing 7 and merging with 4 cores into a new core of size 53: cost of the new core is >=5314 13.29/13.33 c BCD2: refineLB: 5313 -> 5314 13.29/13.33 c lower bound updated to 38729 13.29/13.33 c BCD2: 38729 <= obj <= 64434 13.29/13.33 c BCD2: #cores=21, #unrelaxed=349, #relaxed=727, #hardened=0 13.29/13.33 c BCD2: #sat=3 #unsat=35 bias=35/38 14.78/14.81 c Solving starts ... 14.78/14.81 c ============================[ Search Statistics ]============================ 14.78/14.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.78/14.81 c | | | | Limit GC | Var | Constra 14.78/14.81 c ============================================================================= 14.78/14.81 c 0.0s | 0 | 0 | 0 | 2367 0 | 247 | 944 14.78/14.82 c 0.0s | 0 | 1293 | 12 | 2367 0 | 247 | 1138 14.78/14.82 c #cpu_time = 0.009s 14.78/14.82 c #wall_clock_time = 0.009s 14.78/14.82 c #decision = 1293 14.78/14.82 c #random_decision = 0 14.78/14.82 c #conflict = 12 14.78/14.82 c #restart = 0 14.78/14.82 c BCD2: relaxing 12 and merging with 4 cores into a new core of size 155: cost of the new core is >=5597 14.78/14.82 c lower bound updated to 38730 14.78/14.82 c BCD2: 38730 <= obj <= 64434 14.78/14.82 c BCD2: #cores=18, #unrelaxed=337, #relaxed=739, #hardened=0 14.78/14.82 c BCD2: #sat=3 #unsat=36 bias=36/39 17.79/17.81 c Solving starts ... 17.79/17.81 c ============================[ Search Statistics ]============================ 17.79/17.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 17.79/17.81 c | | | | Limit GC | Var | Constra 17.79/17.81 c ============================================================================= 17.79/17.81 c 0.0s | 0 | 0 | 0 | 2367 0 | 289 | 1138 17.79/17.85 c 0.0s | 1 | 910 | 100 | 2604 0 | 289 | 1232 17.79/17.87 c 0.1s | 2 | 1864 | 250 | 2865 0 | 289 | 1232 17.89/17.91 c 0.1s | 3 | 3673 | 475 | 3152 0 | 289 | 1232 17.89/17.98 c 0.2s | 4 | 5303 | 813 | 3468 0 | 289 | 1232 18.09/18.10 c 0.3s | 5 | 7992 | 1320 | 3815 0 | 289 | 1232 18.29/18.31 c 0.5s | 6 | 10738 | 2081 | 4197 0 | 289 | 1232 18.70/18.78 c 1.0s | 7 | 15686 | 3223 | 4617 0 | 289 | 1232 19.19/19.27 c 1.5s | 8 | 20648 | 4936 | 5079 0 | 289 | 1232 20.19/20.23 c 2.4s | 9 | 29816 | 7506 | 5587 1 | 289 | 1232 21.09/21.18 c 3.4s | 9 | 37236 | 9722 | 5587 1 | 289 | 1232 21.09/21.18 c #cpu_time = 3.361s 21.09/21.18 c #wall_clock_time = 3.360s 21.09/21.18 c #decision = 37236 21.09/21.18 c #random_decision = 62 21.09/21.18 c #conflict = 9722 21.09/21.18 c #restart = 9 21.09/21.18 o 55357 21.09/21.18 c BCD2: updating upper bound: 64434 -> 55356 21.09/21.18 c BCD2: 38730 <= obj <= 55356 21.09/21.18 c BCD2: #cores=18, #unrelaxed=337, #relaxed=739, #hardened=0 21.09/21.18 c BCD2: #sat=4 #unsat=36 bias=36/40 21.79/21.88 c Solving starts ... 21.79/21.88 c ============================[ Search Statistics ]============================ 21.79/21.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.79/21.88 c | | | | Limit GC | Var | Constra 21.79/21.88 c ============================================================================= 21.79/21.89 c 0.0s | 0 | 0 | 0 | 5587 0 | 289 | 1233 21.89/21.91 c 0.0s | 0 | 425 | 1 | 5587 1 | 289 | 1233 21.89/21.91 c #cpu_time = 0.030s 21.89/21.91 c #wall_clock_time = 0.030s 21.89/21.91 c #decision = 425 21.89/21.91 c #random_decision = 0 21.89/21.91 c #conflict = 1 21.89/21.91 c #restart = 0 21.89/21.91 c BCD2: relaxing 9 and merging with 2 cores into a new core of size 61: cost of the new core is >=2794 21.89/21.91 c lower bound updated to 38974 21.89/21.92 c BCD2: 38974 <= obj <= 55356 21.89/21.92 c BCD2: #cores=17, #unrelaxed=328, #relaxed=748, #hardened=0 21.89/21.92 c BCD2: #sat=4 #unsat=37 bias=37/41 23.99/24.05 c Solving starts ... 23.99/24.05 c ============================[ Search Statistics ]============================ 23.99/24.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 23.99/24.05 c | | | | Limit GC | Var | Constra 23.99/24.05 c ============================================================================= 23.99/24.05 c 0.0s | 0 | 0 | 0 | 5587 0 | 340 | 1233 23.99/24.06 c 0.0s | 0 | 217 | 0 | 5587 0 | 340 | 1345 23.99/24.06 c #cpu_time = 0.013s 23.99/24.06 c #wall_clock_time = 0.013s 23.99/24.06 c #decision = 217 23.99/24.06 c #random_decision = 0 23.99/24.06 c #conflict = 0 23.99/24.06 c #restart = 0 23.99/24.06 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 43: cost of the new core is >=1436 23.99/24.06 c BCD2: refineLB: 1427 -> 1436 23.99/24.06 c lower bound updated to 39070 23.99/24.06 c BCD2: 39070 <= obj <= 55356 23.99/24.06 c BCD2: #cores=17, #unrelaxed=323, #relaxed=753, #hardened=0 23.99/24.06 c BCD2: #sat=4 #unsat=38 bias=38/42 24.59/24.63 c Solving starts ... 24.59/24.63 c ============================[ Search Statistics ]============================ 24.59/24.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.59/24.63 c | | | | Limit GC | Var | Constra 24.59/24.63 c ============================================================================= 24.59/24.63 c 0.0s | 0 | 0 | 0 | 5587 0 | 351 | 1345 24.59/24.67 c 0.0s | 1 | 1583 | 100 | 5587 0 | 351 | 1369 24.69/24.71 c 0.1s | 2 | 2344 | 250 | 5587 0 | 351 | 1369 24.69/24.78 c 0.1s | 3 | 3403 | 475 | 5587 0 | 351 | 1369 24.79/24.85 c 0.2s | 4 | 5076 | 813 | 5587 0 | 351 | 1369 24.79/24.87 c 0.2s | 4 | 5770 | 861 | 5587 0 | 351 | 1369 24.79/24.87 c #cpu_time = 0.239s 24.79/24.87 c #wall_clock_time = 0.239s 24.79/24.87 c #decision = 5770 24.79/24.87 c #random_decision = 7 24.79/24.87 c #conflict = 861 24.79/24.87 c #restart = 4 24.79/24.87 c BCD2: relaxing 30 and merging with 5 cores into a new core of size 274: cost of the new core is >=12095 24.79/24.87 c lower bound updated to 39071 24.79/24.87 c BCD2: 39071 <= obj <= 55356 24.79/24.87 c BCD2: #cores=13, #unrelaxed=293, #relaxed=783, #hardened=0 24.79/24.87 c BCD2: #sat=4 #unsat=39 bias=39/43 26.59/26.67 c Solving starts ... 26.59/26.67 c ============================[ Search Statistics ]============================ 26.59/26.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 26.59/26.67 c | | | | Limit GC | Var | Constra 26.59/26.67 c ============================================================================= 26.59/26.67 c 0.0s | 0 | 0 | 0 | 5587 0 | 405 | 1369 26.69/26.74 c 0.1s | 1 | 1100 | 100 | 5587 0 | 405 | 1486 26.79/26.82 c 0.1s | 2 | 2250 | 250 | 5587 0 | 405 | 1486 26.89/26.98 c 0.3s | 3 | 6177 | 475 | 5587 0 | 405 | 1486 27.19/27.23 c 0.6s | 4 | 10150 | 813 | 6146 0 | 405 | 1486 27.50/27.59 c 0.9s | 5 | 13544 | 1320 | 6146 0 | 405 | 1486 28.09/28.14 c 1.5s | 6 | 21545 | 2081 | 6146 0 | 405 | 1486 28.89/28.96 c 2.3s | 7 | 29441 | 3223 | 6146 0 | 405 | 1486 30.19/30.25 c 3.6s | 8 | 40001 | 4936 | 6146 0 | 405 | 1486 32.19/32.27 c 5.6s | 8 | 54919 | 7436 | 6761 1 | 405 | 1486 32.29/32.35 c 5.7s | 9 | 55553 | 7506 | 6761 1 | 405 | 1486 34.39/34.41 c 7.7s | 9 | 69707 | 9806 | 6761 2 | 405 | 1486 35.49/35.55 c 8.9s | 10 | 80773 | 11361 | 6761 2 | 405 | 1486 37.59/37.64 c 11.0s | 10 | 97760 | 13861 | 6761 3 | 405 | 1486 39.59/39.68 c 13.0s | 10 | 122183 | 16461 | 7438 3 | 405 | 1486 40.09/40.17 c 13.5s | 11 | 127159 | 17144 | 7438 3 | 405 | 1486 42.19/42.21 c 15.5s | 11 | 140960 | 19644 | 7438 4 | 405 | 1486 44.29/44.30 c 17.6s | 11 | 152969 | 21944 | 7438 4 | 405 | 1486 46.29/46.33 c 19.7s | 11 | 169036 | 24144 | 7438 5 | 405 | 1486 47.68/47.71 c 21.0s | 12 | 177620 | 25819 | 7438 5 | 405 | 1486 49.69/49.75 c 23.1s | 12 | 193228 | 28219 | 8182 6 | 405 | 1486 51.69/51.78 c 25.1s | 12 | 203869 | 30619 | 8182 6 | 405 | 1486 53.78/53.84 c 27.2s | 12 | 214624 | 33019 | 8182 7 | 405 | 1486 55.88/55.91 c 29.2s | 12 | 227434 | 35519 | 8182 7 | 405 | 1486 57.88/57.91 c 31.2s | 12 | 243163 | 37919 | 8182 8 | 405 | 1486 58.58/58.65 c 32.0s | 13 | 247431 | 38832 | 8182 8 | 405 | 1486 60.68/60.71 c 34.0s | 13 | 258205 | 41332 | 8182 8 | 405 | 1486 62.69/62.75 c 36.1s | 13 | 274810 | 43732 | 8182 9 | 405 | 1486 64.78/64.83 c 38.2s | 13 | 286780 | 46032 | 8182 9 | 405 | 1486 66.88/66.94 c 40.3s | 13 | 299877 | 48532 | 9001 10 | 405 | 1486 68.88/68.96 c 42.3s | 13 | 313648 | 51032 | 9001 10 | 405 | 1486 70.88/70.99 c 44.3s | 13 | 325867 | 53732 | 9001 11 | 405 | 1486 72.98/73.00 c 46.3s | 13 | 339840 | 55832 | 9001 11 | 405 | 1486 74.98/75.02 c 48.3s | 14 | 356078 | 58352 | 9001 12 | 405 | 1486 76.99/77.05 c 50.4s | 14 | 374837 | 61052 | 9001 12 | 405 | 1486 78.98/79.06 c 52.4s | 14 | 389711 | 63952 | 9001 13 | 405 | 1486 81.08/81.11 c 54.4s | 14 | 407769 | 67452 | 9001 13 | 405 | 1486 83.08/83.13 c 56.5s | 14 | 421326 | 70452 | 9001 14 | 405 | 1486 85.08/85.13 c 58.5s | 14 | 436947 | 72652 | 9001 14 | 405 | 1486 87.07/87.13 c 60.5s | 14 | 452759 | 75052 | 9001 15 | 405 | 1486 89.08/89.14 c 62.5s | 14 | 466774 | 77352 | 9902 15 | 405 | 1486 91.07/91.15 c 64.5s | 14 | 481571 | 79952 | 9902 16 | 405 | 1486 93.07/93.19 c 66.5s | 14 | 493842 | 82552 | 9902 16 | 405 | 1486 95.17/95.22 c 68.6s | 14 | 507225 | 85652 | 9902 17 | 405 | 1486 96.67/96.73 c 70.1s | 15 | 517439 | 87632 | 9902 17 | 405 | 1486 98.77/98.85 c 72.2s | 15 | 532406 | 90332 | 9902 18 | 405 | 1486 100.87/100.93 c 74.3s | 15 | 545632 | 92732 | 9902 18 | 405 | 1486 102.87/102.95 c 76.3s | 15 | 561582 | 95332 | 9902 18 | 405 | 1486 104.97/105.00 c 78.3s | 15 | 571773 | 97732 | 9902 19 | 405 | 1486 106.97/107.05 c 80.4s | 15 | 587503 | 99832 | 9902 19 | 405 | 1486 109.07/109.11 c 82.4s | 15 | 600293 | 101832 | 9902 20 | 405 | 1486 111.08/111.16 c 84.5s | 15 | 615445 | 104032 | 9902 20 | 405 | 1486 113.07/113.17 c 86.5s | 15 | 629931 | 106932 | 9902 20 | 405 | 1486 115.07/115.19 c 88.5s | 15 | 645320 | 109432 | 9902 21 | 405 | 1486 117.17/117.22 c 90.5s | 15 | 657959 | 111532 | 9902 21 | 405 | 1486 119.17/119.26 c 92.6s | 15 | 669634 | 113532 | 9902 22 | 405 | 1486 121.17/121.27 c 94.6s | 15 | 683699 | 115632 | 9902 22 | 405 | 1486 123.27/123.34 c 96.7s | 15 | 698185 | 117932 | 9902 22 | 405 | 1486 125.37/125.45 c 98.8s | 15 | 710686 | 120132 | 10893 23 | 405 | 1486 127.37/127.45 c 100s | 15 | 723729 | 122232 | 10893 23 | 405 | 1486 129.47/129.54 c 102s | 15 | 737377 | 124332 | 10893 23 | 405 | 1486 131.47/131.57 c 104s | 15 | 750179 | 126232 | 10893 24 | 405 | 1486 133.46/133.57 c 106s | 15 | 763138 | 128232 | 10893 24 | 405 | 1486 135.47/135.59 c 108s | 15 | 775368 | 130332 | 10893 24 | 405 | 1486 136.76/136.82 c 110s | 16 | 783262 | 131552 | 10893 25 | 405 | 1486 138.76/138.88 c 112s | 16 | 794659 | 133652 | 10893 25 | 405 | 1486 140.87/140.95 c 114s | 16 | 803923 | 135252 | 10893 25 | 405 | 1486 142.86/142.95 c 116s | 16 | 817705 | 137752 | 10893 26 | 405 | 1486 144.96/145.02 c 118s | 16 | 830148 | 140252 | 10893 26 | 405 | 1486 146.96/147.03 c 120s | 16 | 840620 | 142452 | 10893 26 | 405 | 1486 149.06/149.11 c 122s | 16 | 852810 | 144452 | 10893 27 | 405 | 1486 151.06/151.12 c 124s | 16 | 862182 | 146252 | 10893 27 | 405 | 1486 153.16/153.22 c 126s | 16 | 871053 | 148252 | 10893 27 | 405 | 1486 155.17/155.23 c 128s | 16 | 882624 | 150352 | 10893 28 | 405 | 1486 157.17/157.25 c 130s | 16 | 897418 | 152852 | 10893 28 | 405 | 1486 159.17/159.28 c 132s | 16 | 914616 | 155052 | 10893 28 | 405 | 1486 161.27/161.32 c 134s | 16 | 926544 | 157052 | 10893 29 | 405 | 1486 163.37/163.41 c 136s | 16 | 938734 | 158952 | 10893 29 | 405 | 1486 165.37/165.44 c 138s | 16 | 952843 | 161052 | 10893 29 | 405 | 1486 167.47/167.50 c 140s | 16 | 966072 | 163052 | 10893 30 | 405 | 1486 169.47/169.54 c 142s | 16 | 978411 | 165352 | 10893 30 | 405 | 1486 171.47/171.59 c 144s | 16 | 995454 | 168152 | 10893 31 | 405 | 1486 173.57/173.62 c 146s | 16 | 1009683 | 170852 | 10893 31 | 405 | 1486 175.57/175.64 c 148s | 16 | 1022359 | 173652 | 10893 31 | 405 | 1486 177.57/177.64 c 150s | 16 | 1032903 | 176152 | 10893 32 | 405 | 1486 179.57/179.66 c 152s | 16 | 1046615 | 178552 | 10893 32 | 405 | 1486 181.57/181.66 c 154s | 16 | 1061089 | 180552 | 10893 33 | 405 | 1486 183.57/183.68 c 157s | 16 | 1073468 | 183052 | 10893 33 | 405 | 1486 185.66/185.75 c 159s | 16 | 1085684 | 185052 | 10893 33 | 405 | 1486 187.76/187.83 c 161s | 16 | 1099113 | 187052 | 11983 33 | 405 | 1486 189.76/189.84 c 163s | 16 | 1115026 | 189252 | 11983 34 | 405 | 1486 191.86/191.94 c 165s | 16 | 1131129 | 191452 | 11983 34 | 405 | 1486 193.86/193.94 c 167s | 16 | 1141784 | 193152 | 11983 34 | 405 | 1486 195.87/195.96 c 169s | 16 | 1154118 | 195052 | 11983 35 | 405 | 1486 197.97/198.03 c 171s | 16 | 1168233 | 196952 | 11983 35 | 405 | 1486 198.46/198.58 c 171s | 17 | 1171392 | 197432 | 11983 35 | 405 | 1486 200.46/200.59 c 173s | 17 | 1183195 | 199332 | 11983 35 | 405 | 1486 202.56/202.66 c 175s | 17 | 1193325 | 201332 | 11983 36 | 405 | 1486 205.46/205.54 c 178s | 17 | 1204205 | 203332 | 11983 36 | 405 | 1486 207.56/207.67 c 180s | 17 | 1219556 | 205432 | 11983 36 | 405 | 1486 209.66/209.79 c 183s | 17 | 1239911 | 207732 | 11983 37 | 405 | 1486 211.76/211.89 c 185s | 17 | 1255851 | 210032 | 11983 37 | 405 | 1486 213.86/213.91 c 187s | 17 | 1269966 | 212332 | 11983 37 | 405 | 1486 215.86/215.94 c 189s | 17 | 1283241 | 215332 | 11983 38 | 405 | 1486 217.87/217.94 c 191s | 17 | 1297527 | 218632 | 11983 38 | 405 | 1486 219.86/219.97 c 193s | 17 | 1312160 | 221332 | 11983 39 | 405 | 1486 221.96/222.01 c 195s | 17 | 1325987 | 223632 | 11983 39 | 405 | 1486 223.96/224.07 c 197s | 17 | 1338065 | 226132 | 11983 39 | 405 | 1486 225.96/226.09 c 199s | 17 | 1348484 | 227932 | 11983 40 | 405 | 1486 228.06/228.11 c 201s | 17 | 1361492 | 229732 | 11983 40 | 405 | 1486 230.06/230.13 c 203s | 17 | 1377286 | 231832 | 11983 40 | 405 | 1486 232.06/232.14 c 205s | 17 | 1389154 | 233732 | 11983 40 | 405 | 1486 234.06/234.15 c 207s | 17 | 1401716 | 235732 | 11983 41 | 405 | 1486 236.16/236.20 c 209s | 17 | 1414430 | 238332 | 11983 41 | 405 | 1486 238.15/238.29 c 211s | 17 | 1425878 | 240432 | 11983 41 | 405 | 1486 240.26/240.39 c 213s | 17 | 1438708 | 242332 | 11983 42 | 405 | 1486 242.35/242.43 c 215s | 17 | 1453582 | 244332 | 11983 42 | 405 | 1486 244.35/244.46 c 217s | 17 | 1466281 | 246132 | 11983 42 | 405 | 1486 246.36/246.50 c 219s | 17 | 1479693 | 247932 | 11983 43 | 405 | 1486 248.45/248.57 c 221s | 17 | 1491286 | 249932 | 11983 43 | 405 | 1486 250.55/250.61 c 223s | 17 | 1501777 | 251632 | 11983 43 | 405 | 1486 252.55/252.68 c 226s | 17 | 1512843 | 253832 | 11983 43 | 405 | 1486 254.65/254.73 c 228s | 17 | 1526483 | 255832 | 11983 44 | 405 | 1486 256.65/256.74 c 230s | 17 | 1538514 | 257832 | 11983 44 | 405 | 1486 258.65/258.76 c 232s | 17 | 1549602 | 259932 | 11983 44 | 405 | 1486 260.76/260.82 c 234s | 17 | 1560446 | 261732 | 11983 45 | 405 | 1486 262.86/262.94 c 236s | 17 | 1574080 | 263932 | 11983 45 | 405 | 1486 264.85/264.96 c 238s | 17 | 1585305 | 265832 | 11983 45 | 405 | 1486 266.95/267.02 c 240s | 17 | 1596437 | 267832 | 11983 46 | 405 | 1486 268.95/269.03 c 242s | 17 | 1610586 | 269932 | 11983 46 | 405 | 1486 271.05/271.12 c 244s | 17 | 1622421 | 271832 | 11983 46 | 405 | 1486 273.05/273.17 c 246s | 17 | 1630080 | 273732 | 11983 46 | 405 | 1486 275.15/275.22 c 248s | 17 | 1638820 | 274832 | 11983 47 | 405 | 1486 277.15/277.22 c 250s | 17 | 1652847 | 277332 | 11983 47 | 405 | 1486 279.25/279.31 c 252s | 17 | 1668460 | 280132 | 11983 47 | 405 | 1486 281.25/281.39 c 254s | 17 | 1683471 | 282332 | 11983 48 | 405 | 1486 283.35/283.48 c 256s | 17 | 1698322 | 284432 | 13182 48 | 405 | 1486 285.35/285.49 c 258s | 17 | 1709998 | 286332 | 13182 48 | 405 | 1486 287.45/287.54 c 260s | 17 | 1722055 | 288132 | 13182 48 | 405 | 1486 289.55/289.64 c 262s | 17 | 1735714 | 290232 | 13182 49 | 405 | 1486 291.55/291.66 c 264s | 17 | 1745593 | 292432 | 13182 49 | 405 | 1486 293.55/293.67 c 266s | 17 | 1754265 | 294332 | 13182 49 | 405 | 1486 295.74/295.85 c 269s | 17 | 1756989 | 294832 | 13182 49 | 405 | 1486 296.95/297.06 c 270s | 18 | 1765178 | 296252 | 13182 50 | 405 | 1486 299.04/299.10 c 272s | 18 | 1776041 | 298552 | 13182 50 | 405 | 1486 301.04/301.12 c 274s | 18 | 1789824 | 301352 | 13182 50 | 405 | 1486 303.04/303.19 c 276s | 18 | 1802062 | 303952 | 13182 51 | 405 | 1486 305.14/305.24 c 278s | 18 | 1812610 | 306352 | 13182 51 | 405 | 1486 307.14/307.28 c 280s | 18 | 1825598 | 308852 | 13182 51 | 405 | 1486 309.24/309.39 c 282s | 18 | 1840317 | 311152 | 13182 52 | 405 | 1486 311.35/311.43 c 284s | 18 | 1856563 | 313752 | 13182 52 | 405 | 1486 313.34/313.48 c 286s | 18 | 1870667 | 316452 | 13182 52 | 405 | 1486 315.54/315.65 c 288s | 18 | 1884043 | 319552 | 13182 53 | 405 | 1486 317.54/317.67 c 290s | 18 | 1899118 | 322352 | 13182 53 | 405 | 1486 319.64/319.72 c 293s | 18 | 1913891 | 325252 | 13182 53 | 405 | 1486 321.64/321.78 c 295s | 18 | 1926655 | 328152 | 13182 54 | 405 | 1486 323.74/323.82 c 297s | 18 | 1938539 | 330652 | 13182 54 | 405 | 1486 325.74/325.84 c 299s | 18 | 1952895 | 333452 | 13182 55 | 405 | 1486 327.74/327.85 c 301s | 18 | 1967513 | 336452 | 13182 55 | 405 | 1486 330.14/330.25 c 303s | 18 | 1977401 | 338652 | 13182 55 | 405 | 1486 332.25/332.32 c 305s | 18 | 1991758 | 340552 | 13182 56 | 405 | 1486 334.35/334.43 c 307s | 18 | 2005195 | 342752 | 13182 56 | 405 | 1486 336.44/336.53 c 309s | 18 | 2021531 | 345052 | 13182 56 | 405 | 1486 338.54/338.60 c 311s | 18 | 2039174 | 347052 | 13182 56 | 405 | 1486 340.54/340.62 c 313s | 18 | 2056927 | 349052 | 13182 57 | 405 | 1486 342.64/342.74 c 316s | 18 | 2069816 | 351152 | 13182 57 | 405 | 1486 344.64/344.76 c 318s | 18 | 2083430 | 352852 | 13182 57 | 405 | 1486 346.64/346.78 c 320s | 18 | 2100678 | 354752 | 13182 58 | 405 | 1486 348.65/348.78 c 322s | 18 | 2120491 | 357052 | 13182 58 | 405 | 1486 350.84/350.96 c 324s | 18 | 2136914 | 358952 | 13182 58 | 405 | 1486 352.84/352.98 c 326s | 18 | 2148102 | 361452 | 13182 58 | 405 | 1486 354.94/355.07 c 328s | 18 | 2167096 | 363652 | 13182 59 | 405 | 1486 356.94/357.08 c 330s | 18 | 2186416 | 365752 | 13182 59 | 405 | 1486 359.14/359.21 c 332s | 18 | 2202175 | 367852 | 13182 59 | 405 | 1486 361.14/361.28 c 334s | 18 | 2216347 | 369752 | 13182 60 | 405 | 1486 363.14/363.29 c 336s | 18 | 2233899 | 372052 | 13182 60 | 405 | 1486 365.24/365.38 c 338s | 18 | 2249223 | 374552 | 13182 60 | 405 | 1486 367.34/367.44 c 340s | 18 | 2265574 | 376652 | 13182 61 | 405 | 1486 369.43/369.52 c 342s | 18 | 2282171 | 379052 | 13182 61 | 405 | 1486 371.43/371.59 c 344s | 18 | 2295510 | 381552 | 13182 61 | 405 | 1486 373.63/373.70 c 347s | 18 | 2307921 | 383752 | 13182 62 | 405 | 1486 375.63/375.72 c 349s | 18 | 2323425 | 385952 | 13182 62 | 405 | 1486 377.63/377.75 c 351s | 18 | 2335171 | 388052 | 13182 62 | 405 | 1486 379.63/379.78 c 353s | 18 | 2347382 | 390052 | 13182 62 | 405 | 1486 381.64/381.79 c 355s | 18 | 2360712 | 392252 | 13182 63 | 405 | 1486 383.73/383.80 c 357s | 18 | 2378713 | 394452 | 13182 63 | 405 | 1486 385.73/385.85 c 359s | 18 | 2389635 | 396652 | 13182 63 | 405 | 1486 387.83/387.94 c 361s | 18 | 2401000 | 398652 | 13182 64 | 405 | 1486 389.83/389.95 c 363s | 18 | 2409963 | 400652 | 13182 64 | 405 | 1486 391.93/392.03 c 365s | 18 | 2421487 | 402652 | 13182 64 | 405 | 1486 394.03/394.11 c 367s | 18 | 2424784 | 403352 | 13182 64 | 405 | 1486 396.13/396.25 c 369s | 18 | 2435136 | 405152 | 13182 65 | 405 | 1486 398.23/398.33 c 371s | 18 | 2445288 | 407152 | 13182 65 | 405 | 1486 400.33/400.41 c 373s | 18 | 2456390 | 409152 | 13182 65 | 405 | 1486 402.33/402.42 c 375s | 18 | 2464385 | 410952 | 13182 65 | 405 | 1486 404.33/404.44 c 377s | 18 | 2474051 | 412752 | 13182 66 | 405 | 1486 406.33/406.47 c 379s | 18 | 2484249 | 414752 | 13182 66 | 405 | 1486 408.32/408.47 c 381s | 18 | 2497869 | 416452 | 13182 66 | 405 | 1486 410.33/410.49 c 383s | 18 | 2520829 | 418752 | 13182 66 | 405 | 1486 412.43/412.56 c 385s | 18 | 2529558 | 421052 | 13182 67 | 405 | 1486 414.52/414.60 c 387s | 18 | 2541584 | 423152 | 13182 67 | 405 | 1486 416.52/416.66 c 389s | 18 | 2558703 | 425352 | 13182 67 | 405 | 1486 418.62/418.71 c 392s | 18 | 2572456 | 427452 | 13182 68 | 405 | 1486 420.72/420.82 c 394s | 18 | 2589061 | 429852 | 13182 68 | 405 | 1486 422.72/422.89 c 396s | 18 | 2600263 | 431952 | 14501 68 | 405 | 1486 424.82/424.97 c 398s | 18 | 2610592 | 433952 | 14501 68 | 405 | 1486 426.92/427.02 c 400s | 18 | 2619416 | 435752 | 14501 69 | 405 | 1486 428.93/429.05 c 402s | 18 | 2628021 | 437652 | 14501 69 | 405 | 1486 430.92/431.05 c 404s | 18 | 2639862 | 439752 | 14501 69 | 405 | 1486 433.03/433.12 c 406s | 18 | 2647686 | 441252 | 14501 69 | 405 | 1486 435.03/435.15 c 408s | 18 | 2664068 | 443352 | 14501 70 | 405 | 1486 436.33/436.41 c 409s | 19 | 2673648 | 444482 | 14501 70 | 405 | 1486 438.33/438.47 c 411s | 19 | 2686184 | 446482 | 14501 70 | 405 | 1486 440.43/440.56 c 413s | 19 | 2701107 | 448482 | 14501 70 | 405 | 1486 442.73/442.80 c 416s | 19 | 2712472 | 450382 | 14501 70 | 405 | 1486 444.73/444.83 c 418s | 19 | 2726111 | 452582 | 14501 71 | 405 | 1486 446.73/446.90 c 420s | 19 | 2736195 | 454582 | 14501 71 | 405 | 1486 448.83/448.93 c 422s | 19 | 2747783 | 456482 | 14501 71 | 405 | 1486 450.93/451.02 c 424s | 19 | 2760551 | 458582 | 14501 71 | 405 | 1486 452.92/453.06 c 426s | 19 | 2772802 | 460682 | 14501 72 | 405 | 1486 454.92/455.07 c 428s | 19 | 2788265 | 462782 | 14501 72 | 405 | 1486 457.02/457.14 c 430s | 19 | 2803048 | 464882 | 14501 72 | 405 | 1486 459.12/459.21 c 432s | 19 | 2814729 | 466982 | 14501 72 | 405 | 1486 461.12/461.29 c 434s | 19 | 2825055 | 469082 | 14501 73 | 405 | 1486 463.22/463.39 c 436s | 19 | 2837609 | 471082 | 14501 73 | 405 | 1486 465.33/465.41 c 438s | 19 | 2850295 | 472882 | 14501 73 | 405 | 1486 467.32/467.44 c 440s | 19 | 2861182 | 474682 | 14501 73 | 405 | 1486 469.32/469.46 c 442s | 19 | 2877058 | 476582 | 14501 74 | 405 | 1486 471.42/471.52 c 444s | 19 | 2893543 | 478882 | 14501 74 | 405 | 1486 473.42/473.54 c 446s | 19 | 2907431 | 480682 | 14501 74 | 405 | 1486 475.52/475.61 c 448s | 19 | 2922970 | 482782 | 14501 74 | 405 | 1486 477.52/477.69 c 451s | 19 | 2934311 | 484382 | 14501 75 | 405 | 1486 479.62/479.74 c 453s | 19 | 2952223 | 486482 | 14501 75 | 405 | 1486 481.62/481.77 c 455s | 19 | 2967557 | 488482 | 14501 75 | 405 | 1486 483.72/483.87 c 457s | 19 | 2983286 | 490482 | 14501 75 | 405 | 1486 485.82/485.91 c 459s | 19 | 2999759 | 492482 | 14501 76 | 405 | 1486 487.82/487.95 c 461s | 19 | 3014832 | 494582 | 14501 76 | 405 | 1486 489.92/490.03 c 463s | 19 | 3029562 | 496382 | 14501 76 | 405 | 1486 492.02/492.11 c 465s | 19 | 3045201 | 498382 | 14501 76 | 405 | 1486 494.11/494.21 c 467s | 19 | 3059313 | 500282 | 14501 77 | 405 | 1486 496.12/496.27 c 469s | 19 | 3076420 | 502582 | 14501 77 | 405 | 1486 498.11/498.30 c 471s | 19 | 3095819 | 504882 | 14501 77 | 405 | 1486 500.21/500.31 c 473s | 19 | 3109874 | 507082 | 14501 78 | 405 | 1486 502.21/502.35 c 475s | 19 | 3128846 | 509082 | 14501 78 | 405 | 1486 504.21/504.37 c 477s | 19 | 3141727 | 511282 | 14501 78 | 405 | 1486 506.31/506.40 c 479s | 19 | 3151503 | 513082 | 14501 78 | 405 | 1486 508.41/508.52 c 481s | 19 | 3159270 | 514682 | 14501 79 | 405 | 1486 510.41/510.58 c 483s | 19 | 3175563 | 516482 | 14501 79 | 405 | 1486 512.51/512.66 c 485s | 19 | 3190967 | 518282 | 14501 79 | 405 | 1486 514.51/514.69 c 488s | 19 | 3203372 | 519882 | 14501 79 | 405 | 1486 516.62/516.73 c 490s | 19 | 3214565 | 521482 | 14501 79 | 405 | 1486 518.62/518.74 c 492s | 19 | 3224055 | 522982 | 14501 80 | 405 | 1486 520.61/520.78 c 494s | 19 | 3236730 | 524982 | 14501 80 | 405 | 1486 522.71/522.80 c 496s | 19 | 3252965 | 527082 | 14501 80 | 405 | 1486 524.82/524.90 c 498s | 19 | 3267731 | 529382 | 14501 80 | 405 | 1486 526.82/526.93 c 500s | 19 | 3282769 | 531482 | 14501 81 | 405 | 1486 528.81/528.99 c 502s | 19 | 3296887 | 533682 | 14501 81 | 405 | 1486 530.91/531.04 c 504s | 19 | 3307539 | 535782 | 14501 81 | 405 | 1486 532.91/533.05 c 506s | 19 | 3320805 | 537682 | 14501 81 | 405 | 1486 535.31/535.44 c 508s | 19 | 3331151 | 539382 | 14501 82 | 405 | 1486 537.31/537.46 c 510s | 19 | 3339345 | 541082 | 14501 82 | 405 | 1486 539.31/539.47 c 512s | 19 | 3349949 | 543482 | 14501 82 | 405 | 1486 541.31/541.48 c 514s | 19 | 3359588 | 545482 | 14501 82 | 405 | 1486 543.41/543.53 c 516s | 19 | 3372476 | 547482 | 14501 83 | 405 | 1486 545.51/545.63 c 518s | 19 | 3389417 | 549882 | 14501 83 | 405 | 1486 547.51/547.68 c 521s | 19 | 3408727 | 552082 | 14501 83 | 405 | 1486 549.60/549.73 c 523s | 19 | 3425875 | 554182 | 14501 83 | 405 | 1486 551.60/551.79 c 525s | 19 | 3442259 | 556482 | 14501 84 | 405 | 1486 553.70/553.82 c 527s | 19 | 3459641 | 558582 | 14501 84 | 405 | 1486 555.80/555.93 c 529s | 19 | 3474045 | 560582 | 14501 84 | 405 | 1486 557.80/557.98 c 531s | 19 | 3483858 | 562482 | 14501 85 | 405 | 1486 559.81/559.98 c 533s | 19 | 3496694 | 564382 | 14501 85 | 405 | 1486 561.90/562.06 c 535s | 19 | 3511175 | 566282 | 14501 85 | 405 | 1486 564.00/564.12 c 537s | 19 | 3522640 | 568182 | 14501 85 | 405 | 1486 566.10/566.21 c 539s | 19 | 3534189 | 569882 | 14501 85 | 405 | 1486 568.80/568.90 c 542s | 19 | 3545153 | 571782 | 14501 86 | 405 | 1486 570.81/570.97 c 544s | 19 | 3563574 | 574082 | 14501 86 | 405 | 1486 572.80/572.98 c 546s | 19 | 3578101 | 576082 | 14501 86 | 405 | 1486 574.90/575.04 c 548s | 19 | 3592780 | 578382 | 14501 87 | 405 | 1486 576.90/577.10 c 550s | 19 | 3612389 | 580882 | 14501 87 | 405 | 1486 579.00/579.18 c 552s | 19 | 3631191 | 583082 | 14501 87 | 405 | 1486 581.10/581.21 c 554s | 19 | 3649488 | 585182 | 14501 87 | 405 | 1486 583.10/583.28 c 556s | 19 | 3668093 | 587382 | 14501 88 | 405 | 1486 585.20/585.33 c 558s | 19 | 3685235 | 589582 | 14501 88 | 405 | 1486 587.30/587.41 c 560s | 19 | 3697731 | 591882 | 14501 88 | 405 | 1486 589.30/589.46 c 562s | 19 | 3710864 | 593682 | 14501 88 | 405 | 1486 591.40/591.53 c 564s | 19 | 3725289 | 595782 | 14501 89 | 405 | 1486 593.39/593.57 c 566s | 19 | 3740626 | 597582 | 14501 89 | 405 | 1486 595.49/595.60 c 568s | 19 | 3755188 | 599582 | 14501 89 | 405 | 1486 597.49/597.65 c 570s | 19 | 3773874 | 601682 | 14501 89 | 405 | 1486 599.50/599.66 c 572s | 19 | 3794844 | 604082 | 14501 90 | 405 | 1486 601.50/601.66 c 574s | 19 | 3814433 | 606282 | 14501 90 | 405 | 1486 603.60/603.70 c 577s | 19 | 3829086 | 608382 | 14501 90 | 405 | 1486 605.60/605.70 c 579s | 19 | 3844482 | 610182 | 14501 91 | 405 | 1486 607.70/607.81 c 581s | 19 | 3862282 | 612382 | 14501 91 | 405 | 1486 609.70/609.88 c 583s | 19 | 3875647 | 614282 | 14501 91 | 405 | 1486 611.80/611.92 c 585s | 19 | 3890926 | 616182 | 14501 91 | 405 | 1486 613.90/614.01 c 587s | 19 | 3906898 | 618082 | 14501 92 | 405 | 1486 615.91/616.08 c 589s | 19 | 3924410 | 620282 | 14501 92 | 405 | 1486 618.00/618.12 c 591s | 19 | 3940842 | 622282 | 14501 92 | 405 | 1486 620.00/620.17 c 593s | 19 | 3953990 | 624382 | 14501 92 | 405 | 1486 622.00/622.18 c 595s | 19 | 3970624 | 626482 | 14501 93 | 405 | 1486 624.10/624.20 c 597s | 19 | 3986200 | 628682 | 14501 93 | 405 | 1486 626.10/626.21 c 599s | 19 | 4004324 | 630782 | 14501 93 | 405 | 1486 628.11/628.25 c 601s | 19 | 4016650 | 632882 | 14501 93 | 405 | 1486 630.10/630.29 c 603s | 19 | 4030769 | 634582 | 14501 94 | 405 | 1486 632.20/632.35 c 605s | 19 | 4044811 | 636382 | 14501 94 | 405 | 1486 634.30/634.41 c 607s | 19 | 4058283 | 638182 | 14501 94 | 405 | 1486 636.30/636.44 c 609s | 19 | 4071237 | 639882 | 14501 94 | 405 | 1486 638.40/638.53 c 611s | 19 | 4081866 | 641482 | 14501 95 | 405 | 1486 640.50/640.63 c 613s | 19 | 4097511 | 643282 | 14501 95 | 405 | 1486 642.60/642.70 c 616s | 19 | 4112181 | 645282 | 14501 95 | 405 | 1486 644.60/644.73 c 618s | 19 | 4126062 | 647082 | 14501 95 | 405 | 1486 646.60/646.76 c 620s | 19 | 4139872 | 648982 | 14501 95 | 405 | 1486 648.70/648.82 c 622s | 19 | 4154499 | 651082 | 14501 96 | 405 | 1486 650.90/651.06 c 624s | 19 | 4167097 | 652782 | 15952 96 | 405 | 1486 652.89/653.09 c 626s | 19 | 4176261 | 653982 | 15952 96 | 405 | 1486 655.09/655.24 c 628s | 19 | 4188021 | 655782 | 15952 96 | 405 | 1486 657.19/657.39 c 630s | 19 | 4200141 | 657282 | 15952 96 | 405 | 1486 659.19/659.39 c 632s | 19 | 4211326 | 658882 | 15952 96 | 405 | 1486 661.29/661.42 c 634s | 19 | 4228300 | 660682 | 15952 97 | 405 | 1486 663.39/663.55 c 636s | 19 | 4242050 | 662682 | 15952 97 | 405 | 1486 665.59/665.76 c 639s | 19 | 4250600 | 663982 | 15952 97 | 405 | 1486 667.60/667.78 c 641s | 19 | 4260819 | 666082 | 15952 97 | 405 | 1486 668.49/668.63 c 641s | 20 | 4267697 | 666827 | 15952 97 | 405 | 1486 670.49/670.67 c 643s | 20 | 4279953 | 669027 | 15952 98 | 405 | 1486 672.79/672.92 c 646s | 20 | 4290504 | 671227 | 15952 98 | 405 | 1486 674.79/674.93 c 648s | 20 | 4301008 | 673227 | 15952 98 | 405 | 1486 676.79/676.99 c 650s | 20 | 4310396 | 675027 | 15952 98 | 405 | 1486 678.89/679.01 c 652s | 20 | 4319080 | 676827 | 15952 99 | 405 | 1486 680.90/681.06 c 654s | 20 | 4327435 | 678827 | 15952 99 | 405 | 1486 683.00/683.11 c 656s | 20 | 4336165 | 680727 | 15952 99 | 405 | 1486 685.09/685.20 c 658s | 20 | 4344277 | 682627 | 15952 99 | 405 | 1486 687.19/687.31 c 660s | 20 | 4354413 | 684527 | 15952 100 | 405 | 1486 689.19/689.31 c 662s | 20 | 4365340 | 686627 | 15952 100 | 405 | 1486 691.19/691.37 c 664s | 20 | 4374806 | 688927 | 15952 100 | 405 | 1486 693.29/693.44 c 666s | 20 | 4382403 | 691027 | 15952 100 | 405 | 1486 695.29/695.47 c 668s | 20 | 4394069 | 693127 | 15952 100 | 405 | 1486 697.29/697.48 c 670s | 20 | 4401261 | 695027 | 15952 101 | 405 | 1486 699.39/699.50 c 672s | 20 | 4411587 | 697127 | 15952 101 | 405 | 1486 701.39/701.50 c 674s | 20 | 4423426 | 699227 | 15952 101 | 405 | 1486 703.39/703.56 c 676s | 20 | 4432882 | 701227 | 15952 101 | 405 | 1486 705.39/705.57 c 678s | 20 | 4446205 | 703327 | 15952 102 | 405 | 1486 707.49/707.68 c 681s | 20 | 4459596 | 705427 | 15952 102 | 405 | 1486 709.59/709.75 c 683s | 20 | 4473571 | 707627 | 15952 102 | 405 | 1486 711.88/712.07 c 685s | 20 | 4479186 | 708827 | 15952 102 | 405 | 1486 713.98/714.14 c 687s | 20 | 4487597 | 710627 | 15952 103 | 405 | 1486 715.99/716.17 c 689s | 20 | 4500715 | 713027 | 15952 103 | 405 | 1486 717.98/718.19 c 691s | 20 | 4512914 | 715227 | 15952 103 | 405 | 1486 720.08/720.21 c 693s | 20 | 4525606 | 717427 | 15952 103 | 405 | 1486 722.08/722.21 c 695s | 20 | 4537300 | 719427 | 15952 104 | 405 | 1486 724.08/724.24 c 697s | 20 | 4550148 | 721627 | 15952 104 | 405 | 1486 726.08/726.27 c 699s | 20 | 4565320 | 723727 | 15952 104 | 405 | 1486 728.19/728.33 c 701s | 20 | 4574976 | 725627 | 15952 104 | 405 | 1486 730.18/730.35 c 703s | 20 | 4582453 | 727527 | 15952 104 | 405 | 1486 732.28/732.44 c 705s | 20 | 4590881 | 729427 | 15952 105 | 405 | 1486 734.38/734.52 c 707s | 20 | 4602503 | 731727 | 15952 105 | 405 | 1486 736.38/736.53 c 709s | 20 | 4613769 | 733527 | 15952 105 | 405 | 1486 738.48/738.63 c 711s | 20 | 4627406 | 735427 | 15952 105 | 405 | 1486 740.48/740.63 c 713s | 20 | 4637573 | 737327 | 15952 106 | 405 | 1486 742.49/742.67 c 716s | 20 | 4651269 | 739727 | 15952 106 | 405 | 1486 744.58/744.74 c 718s | 20 | 4659033 | 741027 | 15952 106 | 405 | 1486 746.58/746.78 c 720s | 20 | 4667923 | 742827 | 15952 106 | 405 | 1486 748.78/748.93 c 722s | 20 | 4675871 | 744527 | 15952 106 | 405 | 1486 750.87/751.00 c 724s | 20 | 4684643 | 746427 | 15952 107 | 405 | 1486 752.87/753.06 c 726s | 20 | 4695411 | 748427 | 15952 107 | 405 | 1486 754.87/755.09 c 728s | 20 | 4706696 | 750527 | 15952 107 | 405 | 1486 756.97/757.18 c 730s | 20 | 4714710 | 752327 | 15952 107 | 405 | 1486 759.07/759.27 c 732s | 20 | 4723421 | 754027 | 15952 108 | 405 | 1486 761.18/761.30 c 734s | 20 | 4731051 | 755927 | 15952 108 | 405 | 1486 763.17/763.32 c 736s | 20 | 4746500 | 757727 | 15952 108 | 405 | 1486 765.17/765.38 c 738s | 20 | 4759252 | 759727 | 15952 108 | 405 | 1486 767.27/767.44 c 740s | 20 | 4774035 | 761627 | 15952 108 | 405 | 1486 769.27/769.49 c 742s | 20 | 4787978 | 763727 | 15952 109 | 405 | 1486 771.37/771.54 c 744s | 20 | 4797370 | 765727 | 15952 109 | 405 | 1486 773.47/773.65 c 746s | 20 | 4807469 | 767627 | 15952 109 | 405 | 1486 775.57/775.75 c 749s | 20 | 4821007 | 769527 | 15952 109 | 405 | 1486 777.68/777.84 c 751s | 20 | 4832242 | 771327 | 15952 110 | 405 | 1486 779.67/779.85 c 753s | 20 | 4844819 | 773427 | 15952 110 | 405 | 1486 781.77/781.93 c 755s | 20 | 4853609 | 775327 | 15952 110 | 405 | 1486 783.77/783.98 c 757s | 20 | 4864042 | 777227 | 15952 110 | 405 | 1486 785.87/786.01 c 759s | 20 | 4875270 | 779027 | 15952 110 | 405 | 1486 787.97/788.13 c 761s | 20 | 4888832 | 781027 | 15952 111 | 405 | 1486 789.97/790.18 c 763s | 20 | 4902511 | 783027 | 15952 111 | 405 | 1486 792.07/792.28 c 765s | 20 | 4909800 | 784227 | 15952 111 | 405 | 1486 794.17/794.34 c 767s | 20 | 4918227 | 786027 | 15952 111 | 405 | 1486 796.27/796.44 c 769s | 20 | 4928164 | 787927 | 15952 111 | 405 | 1486 798.26/798.46 c 771s | 20 | 4937873 | 789927 | 15952 112 | 405 | 1486 800.36/800.51 c 773s | 20 | 4947821 | 791927 | 15952 112 | 405 | 1486 802.56/802.70 c 776s | 20 | 4955216 | 793727 | 15952 112 | 405 | 1486 804.77/804.91 c 778s | 20 | 4964698 | 794827 | 15952 112 | 405 | 1486 806.77/806.98 c 780s | 20 | 4981286 | 796927 | 15952 113 | 405 | 1486 808.87/809.00 c 782s | 20 | 5004783 | 799327 | 15952 113 | 405 | 1486 810.87/811.04 c 784s | 20 | 5017196 | 801227 | 15952 113 | 405 | 1486 812.97/813.12 c 786s | 20 | 5028385 | 803027 | 15952 113 | 405 | 1486 814.98/815.18 c 788s | 20 | 5040170 | 804927 | 15952 113 | 405 | 1486 817.07/817.26 c 790s | 20 | 5054968 | 807127 | 15952 114 | 405 | 1486 819.17/819.35 c 792s | 20 | 5068953 | 809227 | 15952 114 | 405 | 1486 821.27/821.40 c 794s | 20 | 5081993 | 811227 | 15952 114 | 405 | 1486 823.27/823.43 c 796s | 20 | 5094319 | 813227 | 15952 114 | 405 | 1486 825.27/825.43 c 798s | 20 | 5105716 | 815027 | 15952 115 | 405 | 1486 827.27/827.46 c 800s | 20 | 5124712 | 817227 | 15952 115 | 405 | 1486 829.27/829.50 c 802s | 20 | 5136485 | 819027 | 15952 115 | 405 | 1486 831.37/831.58 c 804s | 20 | 5149940 | 820827 | 15952 115 | 405 | 1486 833.37/833.59 c 806s | 20 | 5163787 | 822527 | 15952 115 | 405 | 1486 835.97/836.14 c 809s | 20 | 5171450 | 823927 | 15952 116 | 405 | 1486 837.97/838.16 c 811s | 20 | 5181405 | 825827 | 15952 116 | 405 | 1486 840.37/840.52 c 813s | 20 | 5190431 | 827727 | 15952 116 | 405 | 1486 842.47/842.62 c 815s | 20 | 5203681 | 829727 | 15952 116 | 405 | 1486 844.46/844.66 c 817s | 20 | 5213606 | 831627 | 15952 117 | 405 | 1486 846.56/846.71 c 820s | 20 | 5224942 | 833927 | 15952 117 | 405 | 1486 848.56/848.78 c 822s | 20 | 5235828 | 835827 | 15952 117 | 405 | 1486 850.66/850.85 c 824s | 20 | 5244549 | 837527 | 15952 117 | 405 | 1486 852.76/852.95 c 826s | 20 | 5253813 | 839127 | 15952 117 | 405 | 1486 854.86/855.05 c 828s | 20 | 5265431 | 840827 | 15952 118 | 405 | 1486 856.87/857.09 c 830s | 20 | 5276310 | 842827 | 15952 118 | 405 | 1486 858.97/859.10 c 832s | 20 | 5284934 | 844527 | 15952 118 | 405 | 1486 860.96/861.18 c 834s | 20 | 5294533 | 846427 | 15952 118 | 405 | 1486 863.06/863.24 c 836s | 20 | 5306276 | 848627 | 15952 118 | 405 | 1486 865.16/865.31 c 838s | 20 | 5311976 | 850427 | 15952 119 | 405 | 1486 867.16/867.32 c 840s | 20 | 5318535 | 852127 | 15952 119 | 405 | 1486 869.16/869.36 c 842s | 20 | 5326350 | 854027 | 15952 119 | 405 | 1486 871.26/871.47 c 844s | 20 | 5339183 | 856127 | 15952 119 | 405 | 1486 873.46/873.62 c 846s | 20 | 5352957 | 857827 | 15952 120 | 405 | 1486 875.46/875.68 c 849s | 20 | 5361634 | 859427 | 15952 120 | 405 | 1486 877.46/877.68 c 851s | 20 | 5364994 | 860227 | 15952 120 | 405 | 1486 879.56/879.78 c 853s | 20 | 5375833 | 862227 | 15952 120 | 405 | 1486 881.66/881.83 c 855s | 20 | 5384826 | 864127 | 15952 120 | 405 | 1486 883.66/883.86 c 857s | 20 | 5392220 | 865927 | 15952 120 | 405 | 1486 885.76/885.95 c 859s | 20 | 5401316 | 867827 | 15952 121 | 405 | 1486 887.76/887.96 c 861s | 20 | 5413708 | 869827 | 15952 121 | 405 | 1486 889.76/889.97 c 863s | 20 | 5421936 | 871727 | 15952 121 | 405 | 1486 891.76/891.98 c 865s | 20 | 5431971 | 873627 | 15952 121 | 405 | 1486 893.86/894.01 c 867s | 20 | 5440098 | 875427 | 15952 122 | 405 | 1486 895.85/896.03 c 869s | 20 | 5453604 | 877727 | 15952 122 | 405 | 1486 897.95/898.15 c 871s | 20 | 5469782 | 880227 | 15952 122 | 405 | 1486 899.95/900.17 c 873s | 20 | 5477535 | 882127 | 15952 122 | 405 | 1486 902.05/902.23 c 875s | 20 | 5483286 | 883927 | 15952 123 | 405 | 1486 904.06/904.26 c 877s | 20 | 5494990 | 885427 | 15952 123 | 405 | 1486 906.15/906.30 c 879s | 20 | 5512200 | 887627 | 15952 123 | 405 | 1486 908.15/908.38 c 881s | 20 | 5527232 | 889627 | 15952 123 | 405 | 1486 910.25/910.42 c 883s | 20 | 5542408 | 891627 | 15952 123 | 405 | 1486 912.25/912.49 c 885s | 20 | 5554177 | 893627 | 15952 124 | 405 | 1486 914.35/914.52 c 887s | 20 | 5563969 | 895427 | 15952 124 | 405 | 1486 916.35/916.55 c 889s | 20 | 5574836 | 897527 | 15952 124 | 405 | 1486 918.46/918.61 c 891s | 20 | 5586788 | 899627 | 15952 124 | 405 | 1486 920.45/920.65 c 893s | 20 | 5598612 | 901427 | 15952 125 | 405 | 1486 922.55/922.72 c 896s | 20 | 5605324 | 903227 | 15952 125 | 405 | 1486 924.55/924.77 c 898s | 20 | 5611472 | 904927 | 15952 125 | 405 | 1486 926.65/926.83 c 900s | 20 | 5617747 | 906427 | 15952 125 | 405 | 1486 928.64/928.87 c 902s | 20 | 5625501 | 908227 | 15952 125 | 405 | 1486 930.64/930.89 c 904s | 20 | 5631854 | 909727 | 15952 126 | 405 | 1486 932.75/932.95 c 906s | 20 | 5641406 | 911627 | 15952 126 | 405 | 1486 934.74/934.98 c 908s | 20 | 5650402 | 913527 | 15952 126 | 405 | 1486 936.84/937.04 c 910s | 20 | 5660035 | 915427 | 15952 126 | 405 | 1486 938.84/939.07 c 912s | 20 | 5669645 | 917327 | 15952 126 | 405 | 1486 940.84/941.09 c 914s | 20 | 5677348 | 919027 | 15952 127 | 405 | 1486 943.13/943.32 c 916s | 20 | 5687508 | 920227 | 15952 127 | 405 | 1486 945.63/945.85 c 919s | 20 | 5704675 | 922227 | 15952 127 | 405 | 1486 947.73/947.91 c 921s | 20 | 5721472 | 924327 | 15952 127 | 405 | 1486 949.73/949.95 c 923s | 20 | 5737255 | 926627 | 15952 127 | 405 | 1486 951.83/952.01 c 925s | 20 | 5750053 | 928827 | 15952 128 | 405 | 1486 953.83/954.01 c 927s | 20 | 5760257 | 930827 | 15952 128 | 405 | 1486 955.83/956.04 c 929s | 20 | 5769885 | 932727 | 15952 128 | 405 | 1486 957.83/958.08 c 931s | 20 | 5778948 | 934427 | 15952 128 | 405 | 1486 959.92/960.16 c 933s | 20 | 5789035 | 936227 | 15952 129 | 405 | 1486 962.02/962.29 c 935s | 20 | 5802836 | 938527 | 15952 129 | 405 | 1486 964.12/964.35 c 937s | 20 | 5810989 | 940127 | 15952 129 | 405 | 1486 966.22/966.40 c 939s | 20 | 5823003 | 942027 | 15952 129 | 405 | 1486 968.32/968.51 c 941s | 20 | 5831432 | 943727 | 15952 129 | 405 | 1486 970.32/970.56 c 943s | 20 | 5837073 | 945327 | 15952 130 | 405 | 1486 972.42/972.66 c 945s | 20 | 5843814 | 947027 | 15952 130 | 405 | 1486 974.53/974.72 c 948s | 20 | 5850614 | 948727 | 15952 130 | 405 | 1486 976.52/976.78 c 950s | 20 | 5856417 | 950327 | 15952 130 | 405 | 1486 978.62/978.88 c 952s | 20 | 5859871 | 950827 | 15952 130 | 405 | 1486 980.71/980.91 c 954s | 20 | 5876948 | 952927 | 15952 130 | 405 | 1486 982.71/982.97 c 956s | 20 | 5890715 | 955127 | 15952 131 | 405 | 1486 984.81/985.05 c 958s | 20 | 5908590 | 957227 | 15952 131 | 405 | 1486 986.81/987.09 c 960s | 20 | 5922262 | 959127 | 15952 131 | 405 | 1486 988.91/989.15 c 962s | 20 | 5934421 | 961227 | 15952 131 | 405 | 1486 990.92/991.15 c 964s | 20 | 5947698 | 963227 | 15952 132 | 405 | 1486 992.91/993.19 c 966s | 20 | 5962367 | 965127 | 15952 132 | 405 | 1486 995.01/995.21 c 968s | 20 | 5976550 | 967027 | 15952 132 | 405 | 1486 997.01/997.27 c 970s | 20 | 5991975 | 969027 | 15952 132 | 405 | 1486 999.01/999.28 c 972s | 20 | 6003591 | 970827 | 15952 133 | 405 | 1486 1001.11/1001.34 c 974s | 20 | 6013042 | 972827 | 15952 133 | 405 | 1486 1003.21/1003.41 c 976s | 20 | 6021837 | 974627 | 15952 133 | 405 | 1486 1005.31/1005.51 c 978s | 20 | 6028574 | 976527 | 15952 133 | 405 | 1486 1007.31/1007.59 c 980s | 20 | 6041963 | 978327 | 15952 133 | 405 | 1486 1009.41/1009.63 c 982s | 20 | 6056004 | 980227 | 15952 134 | 405 | 1486 1011.51/1011.73 c 985s | 20 | 6072265 | 982427 | 15952 134 | 405 | 1486 1013.51/1013.79 c 987s | 20 | 6082944 | 984327 | 17548 134 | 405 | 1486 1015.61/1015.81 c 989s | 20 | 6092333 | 986127 | 17548 134 | 405 | 1486 1017.61/1017.83 c 991s | 20 | 6098496 | 987827 | 17548 134 | 405 | 1486 1019.61/1019.87 c 993s | 20 | 6106131 | 989327 | 17548 135 | 405 | 1486 1021.71/1021.95 c 995s | 20 | 6117761 | 991327 | 17548 135 | 405 | 1486 1023.81/1024.00 c 997s | 20 | 6131278 | 993027 | 17548 135 | 405 | 1486 1025.91/1026.10 c 999s | 20 | 6143322 | 994827 | 17548 135 | 405 | 1486 1028.01/1028.21 c 1001s | 20 | 6155652 | 996727 | 17548 135 | 405 | 1486 1030.10/1030.35 c 1003s | 20 | 6162693 | 998427 | 17548 135 | 405 | 1486 1032.20/1032.46 c 1005s | 20 | 6170534 | 1000127 | 17548 136 | 405 | 1486 1032.50/1032.72 c 1006s | 21 | 6171200 | 1000345 | 17548 136 | 405 | 1486 1034.60/1034.82 c 1008s | 21 | 6176823 | 1002045 | 17548 136 | 405 | 1486 1036.60/1036.86 c 1010s | 21 | 6185921 | 1003845 | 17548 136 | 405 | 1486 1038.70/1038.99 c 1012s | 21 | 6196741 | 1005545 | 17548 136 | 405 | 1486 1040.90/1041.11 c 1014s | 21 | 6206706 | 1007145 | 17548 136 | 405 | 1486 1042.90/1043.14 c 1016s | 21 | 6219151 | 1009045 | 17548 137 | 405 | 1486 1045.00/1045.20 c 1018s | 21 | 6230966 | 1011045 | 17548 137 | 405 | 1486 1047.00/1047.23 c 1020s | 21 | 6238043 | 1012745 | 17548 137 | 405 | 1486 1048.99/1049.29 c 1022s | 21 | 6247285 | 1014445 | 17548 137 | 405 | 1486 1051.09/1051.31 c 1024s | 21 | 6256082 | 1016145 | 17548 137 | 405 | 1486 1054.69/1054.98 c 1028s | 21 | 6261552 | 1017345 | 17548 137 | 405 | 1486 1056.79/1057.05 c 1030s | 21 | 6269720 | 1019545 | 17548 138 | 405 | 1486 1058.89/1059.14 c 1032s | 21 | 6279488 | 1021445 | 17548 138 | 405 | 1486 1060.98/1061.21 c 1034s | 21 | 6288185 | 1023345 | 17548 138 | 405 | 1486 1062.98/1063.28 c 1036s | 21 | 6296402 | 1025245 | 17548 138 | 405 | 1486 1065.08/1065.32 c 1038s | 21 | 6306550 | 1027045 | 17548 139 | 405 | 1486 1067.18/1067.44 c 1040s | 21 | 6317219 | 1029045 | 17548 139 | 405 | 1486 1069.28/1069.51 c 1042s | 21 | 6327500 | 1030945 | 17548 139 | 405 | 1486 1071.29/1071.54 c 1044s | 21 | 6340545 | 1032845 | 17548 139 | 405 | 1486 1073.28/1073.60 c 1046s | 21 | 6352653 | 1034845 | 17548 139 | 405 | 1486 1075.38/1075.69 c 1049s | 21 | 6363023 | 1036645 | 17548 140 | 405 | 1486 1077.48/1077.76 c 1051s | 21 | 6374342 | 1038645 | 17548 140 | 405 | 1486 1079.67/1079.91 c 1053s | 21 | 6378336 | 1039145 | 17548 140 | 405 | 1486 1081.67/1081.96 c 1055s | 21 | 6391947 | 1040945 | 17548 140 | 405 | 1486 1084.57/1084.86 c 1058s | 21 | 6402275 | 1042845 | 17548 140 | 405 | 1486 1086.67/1086.99 c 1060s | 21 | 6410326 | 1044645 | 17548 140 | 405 | 1486 1088.77/1089.02 c 1062s | 21 | 6424038 | 1046545 | 17548 141 | 405 | 1486 1092.08/1092.31 c 1065s | 21 | 6439168 | 1048745 | 17548 141 | 405 | 1486 1094.17/1094.41 c 1067s | 21 | 6451880 | 1050845 | 17548 141 | 405 | 1486 1096.27/1096.53 c 1069s | 21 | 6471918 | 1053145 | 17548 141 | 405 | 1486 1098.37/1098.67 c 1072s | 21 | 6486135 | 1055045 | 17548 141 | 405 | 1486 1100.47/1100.76 c 1074s | 21 | 6500684 | 1056945 | 17548 142 | 405 | 1486 1102.57/1102.86 c 1076s | 21 | 6515927 | 1058945 | 17548 142 | 405 | 1486 1104.67/1104.96 c 1078s | 21 | 6530804 | 1061045 | 17548 142 | 405 | 1486 1106.67/1106.97 c 1080s | 21 | 6543243 | 1063045 | 17548 142 | 405 | 1486 1108.77/1109.07 c 1082s | 21 | 6556842 | 1064745 | 17548 143 | 405 | 1486 1110.77/1111.09 c 1084s | 21 | 6568741 | 1066645 | 17548 143 | 405 | 1486 1112.86/1113.17 c 1086s | 21 | 6581128 | 1068745 | 17548 143 | 405 | 1486 1114.96/1115.24 c 1088s | 21 | 6594426 | 1071045 | 17548 143 | 405 | 1486 1117.06/1117.36 c 1090s | 21 | 6606256 | 1072945 | 17548 143 | 405 | 1486 1119.06/1119.38 c 1092s | 21 | 6616099 | 1074945 | 17548 144 | 405 | 1486 1121.16/1121.43 c 1094s | 21 | 6626837 | 1076845 | 17548 144 | 405 | 1486 1123.16/1123.43 c 1096s | 21 | 6639231 | 1078745 | 17548 144 | 405 | 1486 1125.16/1125.45 c 1098s | 21 | 6654094 | 1080745 | 17548 144 | 405 | 1486 1127.15/1127.47 c 1100s | 21 | 6670051 | 1082745 | 17548 144 | 405 | 1486 1129.25/1129.51 c 1102s | 21 | 6677501 | 1084445 | 17548 145 | 405 | 1486 1131.25/1131.52 c 1104s | 21 | 6691587 | 1086145 | 17548 145 | 405 | 1486 1133.25/1133.58 c 1106s | 21 | 6708152 | 1088145 | 17548 145 | 405 | 1486 1135.35/1135.60 c 1108s | 21 | 6719214 | 1089945 | 17548 145 | 405 | 1486 1137.35/1137.63 c 1110s | 21 | 6729045 | 1091745 | 17548 145 | 405 | 1486 1139.36/1139.65 c 1112s | 21 | 6742321 | 1093845 | 17548 146 | 405 | 1486 1141.35/1141.65 c 1114s | 21 | 6756170 | 1095845 | 17548 146 | 405 | 1486 1143.35/1143.68 c 1117s | 21 | 6769908 | 1097845 | 17548 146 | 405 | 1486 1145.45/1145.71 c 1119s | 21 | 6786337 | 1099845 | 17548 146 | 405 | 1486 1147.45/1147.71 c 1121s | 21 | 6797738 | 1101745 | 17548 146 | 405 | 1486 1149.54/1149.81 c 1123s | 21 | 6811181 | 1103345 | 17548 147 | 405 | 1486 1151.64/1151.93 c 1125s | 21 | 6827995 | 1105345 | 17548 147 | 405 | 1486 1153.65/1153.97 c 1127s | 21 | 6835672 | 1107145 | 17548 147 | 405 | 1486 1155.74/1156.03 c 1129s | 21 | 6841469 | 1108145 | 17548 147 | 405 | 1486 1158.34/1158.68 c 1132s | 21 | 6854037 | 1109745 | 17548 147 | 405 | 1486 1160.44/1160.77 c 1134s | 21 | 6863957 | 1111445 | 17548 147 | 405 | 1486 1162.54/1162.88 c 1136s | 21 | 6873979 | 1113245 | 17548 148 | 405 | 1486 1164.64/1164.92 c 1138s | 21 | 6886046 | 1115145 | 17548 148 | 405 | 1486 1166.64/1166.92 c 1140s | 21 | 6904060 | 1117145 | 17548 148 | 405 | 1486 1168.64/1168.94 c 1142s | 21 | 6918512 | 1119145 | 17548 148 | 405 | 1486 1170.73/1171.06 c 1144s | 21 | 6934324 | 1121045 | 17548 148 | 405 | 1486 1172.83/1173.19 c 1146s | 21 | 6951272 | 1122845 | 17548 149 | 405 | 1486 1176.03/1176.32 c 1149s | 21 | 6960406 | 1124145 | 17548 149 | 405 | 1486 1178.03/1178.36 c 1151s | 21 | 6972502 | 1126045 | 17548 149 | 405 | 1486 1180.13/1180.45 c 1153s | 21 | 6989815 | 1128145 | 17548 149 | 405 | 1486 1182.23/1182.53 c 1155s | 21 | 7007653 | 1130245 | 17548 149 | 405 | 1486 1184.22/1184.58 c 1157s | 21 | 7023256 | 1132145 | 17548 150 | 405 | 1486 1186.32/1186.62 c 1159s | 21 | 7032655 | 1133745 | 17548 150 | 405 | 1486 1188.32/1188.65 c 1161s | 21 | 7049700 | 1136045 | 17548 150 | 405 | 1486 1190.42/1190.72 c 1164s | 21 | 7065146 | 1138145 | 17548 150 | 405 | 1486 1192.52/1192.82 c 1166s | 21 | 7080888 | 1140245 | 17548 150 | 405 | 1486 1194.52/1194.89 c 1168s | 21 | 7093002 | 1142145 | 17548 151 | 405 | 1486 1196.53/1196.90 c 1170s | 21 | 7103562 | 1143845 | 17548 151 | 405 | 1486 1198.73/1199.00 c 1172s | 21 | 7116507 | 1145945 | 17548 151 | 405 | 1486 1200.72/1201.01 c 1174s | 21 | 7125679 | 1147745 | 17548 151 | 405 | 1486 1202.72/1203.06 c 1176s | 21 | 7134526 | 1149445 | 17548 151 | 405 | 1486 1204.82/1205.12 c 1178s | 21 | 7148124 | 1151645 | 17548 152 | 405 | 1486 1206.82/1207.14 c 1180s | 21 | 7161083 | 1153445 | 17548 152 | 405 | 1486 1208.82/1209.18 c 1182s | 21 | 7174625 | 1155345 | 17548 152 | 405 | 1486 1210.83/1211.18 c 1184s | 21 | 7186624 | 1157345 | 17548 152 | 405 | 1486 1212.82/1213.20 c 1186s | 21 | 7198698 | 1159245 | 17548 152 | 405 | 1486 1214.92/1215.25 c 1188s | 21 | 7214957 | 1161345 | 17548 153 | 405 | 1486 1216.92/1217.26 c 1190s | 21 | 7229368 | 1163345 | 17548 153 | 405 | 1486 1219.02/1219.30 c 1192s | 21 | 7235825 | 1164845 | 17548 153 | 405 | 1486 1221.02/1221.31 c 1194s | 21 | 7247444 | 1166945 | 17548 153 | 405 | 1486 1223.02/1223.36 c 1196s | 21 | 7260019 | 1168745 | 17548 153 | 405 | 1486 1225.01/1225.38 c 1198s | 21 | 7268860 | 1170045 | 17548 154 | 405 | 1486 1227.11/1227.40 c 1200s | 21 | 7281429 | 1172045 | 17548 154 | 405 | 1486 1229.11/1229.40 c 1202s | 21 | 7292975 | 1173945 | 17548 154 | 405 | 1486 1231.11/1231.46 c 1204s | 21 | 7301095 | 1175745 | 17548 154 | 405 | 1486 1233.21/1233.55 c 1206s | 21 | 7310754 | 1177545 | 17548 154 | 405 | 1486 1235.21/1235.59 c 1208s | 21 | 7324119 | 1179345 | 17548 155 | 405 | 1486 1237.31/1237.65 c 1210s | 21 | 7336963 | 1181245 | 17548 155 | 405 | 1486 1239.41/1239.71 c 1213s | 21 | 7353630 | 1183345 | 17548 155 | 405 | 1486 1241.40/1241.72 c 1215s | 21 | 7366687 | 1185245 | 17548 155 | 405 | 1486 1243.50/1243.82 c 1217s | 21 | 7384168 | 1187345 | 17548 155 | 405 | 1486 1245.60/1245.96 c 1219s | 21 | 7396009 | 1189045 | 17548 156 | 405 | 1486 1247.60/1247.98 c 1221s | 21 | 7406315 | 1190645 | 17548 156 | 405 | 1486 1249.79/1250.10 c 1223s | 21 | 7412622 | 1191645 | 17548 156 | 405 | 1486 1251.79/1252.11 c 1225s | 21 | 7423991 | 1193545 | 17548 156 | 405 | 1486 1253.79/1254.15 c 1227s | 21 | 7435279 | 1195645 | 17548 156 | 405 | 1486 1255.79/1256.18 c 1229s | 21 | 7444582 | 1197445 | 17548 157 | 405 | 1486 1257.79/1258.19 c 1231s | 21 | 7455583 | 1199245 | 17548 157 | 405 | 1486 1259.89/1260.22 c 1233s | 21 | 7470849 | 1201245 | 17548 157 | 405 | 1486 1261.89/1262.24 c 1235s | 21 | 7482381 | 1203145 | 17548 157 | 405 | 1486 1263.98/1264.31 c 1237s | 21 | 7492751 | 1205045 | 17548 157 | 405 | 1486 1266.08/1266.41 c 1239s | 21 | 7506503 | 1206945 | 17548 158 | 405 | 1486 1268.09/1268.46 c 1241s | 21 | 7519224 | 1209145 | 17548 158 | 405 | 1486 1270.20/1270.50 c 1243s | 21 | 7533272 | 1211445 | 17548 158 | 405 | 1486 1272.29/1272.61 c 1245s | 21 | 7543524 | 1213445 | 17548 158 | 405 | 1486 1274.29/1274.68 c 1248s | 21 | 7552815 | 1215245 | 17548 158 | 405 | 1486 1276.39/1276.78 c 1250s | 21 | 7564440 | 1217145 | 17548 159 | 405 | 1486 1278.49/1278.81 c 1252s | 21 | 7573146 | 1218945 | 17548 159 | 405 | 1486 1280.48/1280.86 c 1254s | 21 | 7580966 | 1220445 | 17548 159 | 405 | 1486 1282.58/1282.92 c 1256s | 21 | 7590847 | 1222345 | 17548 159 | 405 | 1486 1284.59/1284.94 c 1258s | 21 | 7596701 | 1223245 | 17548 159 | 405 | 1486 1286.69/1287.06 c 1260s | 21 | 7607041 | 1225145 | 17548 159 | 405 | 1486 1288.78/1289.14 c 1262s | 21 | 7617135 | 1226945 | 17548 160 | 405 | 1486 1290.78/1291.16 c 1264s | 21 | 7627278 | 1228945 | 17548 160 | 405 | 1486 1292.77/1293.16 c 1266s | 21 | 7636691 | 1230845 | 17548 160 | 405 | 1486 1294.87/1295.25 c 1268s | 21 | 7644445 | 1232745 | 17548 160 | 405 | 1486 1296.87/1297.27 c 1270s | 21 | 7654677 | 1234845 | 17548 160 | 405 | 1486 1298.97/1299.30 c 1272s | 21 | 7672082 | 1237145 | 17548 161 | 405 | 1486 1300.98/1301.36 c 1274s | 21 | 7682051 | 1239145 | 17548 161 | 405 | 1486 1302.97/1303.38 c 1276s | 21 | 7696694 | 1241245 | 17548 161 | 405 | 1486 1304.97/1305.39 c 1278s | 21 | 7708461 | 1243245 | 17548 161 | 405 | 1486 1307.07/1307.45 c 1280s | 21 | 7717635 | 1244945 | 17548 162 | 405 | 1486 1309.17/1309.53 c 1282s | 21 | 7731920 | 1246945 | 17548 162 | 405 | 1486 1311.16/1311.57 c 1284s | 21 | 7740896 | 1248845 | 17548 162 | 405 | 1486 1313.26/1313.60 c 1286s | 21 | 7751501 | 1250745 | 17548 162 | 405 | 1486 1315.27/1315.64 c 1288s | 21 | 7759757 | 1252645 | 17548 162 | 405 | 1486 1317.36/1317.72 c 1291s | 21 | 7771175 | 1254545 | 17548 163 | 405 | 1486 1319.36/1319.77 c 1293s | 21 | 7777918 | 1255845 | 17548 163 | 405 | 1486 1321.35/1321.78 c 1295s | 21 | 7785776 | 1257245 | 17548 163 | 405 | 1486 1323.45/1323.80 c 1297s | 21 | 7802823 | 1259445 | 17548 163 | 405 | 1486 1325.45/1325.87 c 1299s | 21 | 7818888 | 1261645 | 17548 163 | 405 | 1486 1327.55/1327.91 c 1301s | 21 | 7830260 | 1263645 | 17548 164 | 405 | 1486 1329.55/1329.97 c 1303s | 21 | 7847500 | 1266045 | 17548 164 | 405 | 1486 1331.65/1332.05 c 1305s | 21 | 7860052 | 1268045 | 17548 164 | 405 | 1486 1333.65/1334.05 c 1307s | 21 | 7868867 | 1269545 | 17548 164 | 405 | 1486 1335.95/1336.33 c 1309s | 21 | 7878418 | 1271445 | 17548 164 | 405 | 1486 1337.95/1338.36 c 1311s | 21 | 7889916 | 1273145 | 17548 165 | 405 | 1486 1339.95/1340.39 c 1313s | 21 | 7902777 | 1275245 | 17548 165 | 405 | 1486 1342.05/1342.48 c 1315s | 21 | 7919054 | 1277345 | 17548 165 | 405 | 1486 1344.05/1344.48 c 1317s | 21 | 7928906 | 1279145 | 17548 165 | 405 | 1486 1346.15/1346.57 c 1319s | 21 | 7940055 | 1281045 | 17548 165 | 405 | 1486 1348.15/1348.60 c 1321s | 21 | 7950541 | 1282745 | 17548 166 | 405 | 1486 1350.24/1350.63 c 1323s | 21 | 7961939 | 1284845 | 17548 166 | 405 | 1486 1352.24/1352.65 c 1325s | 21 | 7973326 | 1286645 | 17548 166 | 405 | 1486 1354.34/1354.74 c 1328s | 21 | 7982224 | 1288445 | 17548 166 | 405 | 1486 1356.44/1356.85 c 1330s | 21 | 7992803 | 1290245 | 17548 166 | 405 | 1486 1358.54/1358.90 c 1332s | 21 | 8005480 | 1291945 | 17548 167 | 405 | 1486 1360.54/1360.95 c 1334s | 21 | 8019870 | 1293645 | 17548 167 | 405 | 1486 1362.54/1362.99 c 1336s | 21 | 8029830 | 1295645 | 17548 167 | 405 | 1486 1364.63/1365.07 c 1338s | 21 | 8042889 | 1297645 | 17548 167 | 405 | 1486 1366.63/1367.08 c 1340s | 21 | 8053594 | 1299545 | 17548 167 | 405 | 1486 1368.73/1369.10 c 1342s | 21 | 8062260 | 1301345 | 17548 168 | 405 | 1486 1370.73/1371.19 c 1344s | 21 | 8071790 | 1303345 | 17548 168 | 405 | 1486 1372.83/1373.22 c 1346s | 21 | 8079544 | 1304845 | 17548 168 | 405 | 1486 1374.83/1375.25 c 1348s | 21 | 8087172 | 1305945 | 17548 168 | 405 | 1486 1376.93/1377.31 c 1350s | 21 | 8100874 | 1308245 | 17548 168 | 405 | 1486 1378.93/1379.35 c 1352s | 21 | 8111241 | 1310045 | 17548 168 | 405 | 1486 1380.92/1381.35 c 1354s | 21 | 8117345 | 1311445 | 17548 169 | 405 | 1486 1382.92/1383.37 c 1356s | 21 | 8126521 | 1313345 | 17548 169 | 405 | 1486 1385.02/1385.41 c 1358s | 21 | 8136417 | 1315245 | 17548 169 | 405 | 1486 1387.02/1387.45 c 1360s | 21 | 8146062 | 1316945 | 17548 169 | 405 | 1486 1389.03/1389.45 c 1362s | 21 | 8154276 | 1318745 | 17548 169 | 405 | 1486 1391.02/1391.48 c 1364s | 21 | 8162909 | 1320245 | 17548 170 | 405 | 1486 1393.02/1393.48 c 1366s | 21 | 8177240 | 1322445 | 17548 170 | 405 | 1486 1395.12/1395.51 c 1368s | 21 | 8190649 | 1324545 | 17548 170 | 405 | 1486 1397.12/1397.58 c 1370s | 21 | 8201329 | 1326345 | 17548 170 | 405 | 1486 1399.12/1399.59 c 1372s | 21 | 8212807 | 1327945 | 17548 170 | 405 | 1486 1401.21/1401.62 c 1374s | 21 | 8226354 | 1329745 | 17548 171 | 405 | 1486 1403.22/1403.69 c 1377s | 21 | 8241717 | 1331945 | 17548 171 | 405 | 1486 1405.31/1405.75 c 1379s | 21 | 8257511 | 1334245 | 17548 171 | 405 | 1486 1407.31/1407.78 c 1381s | 21 | 8266242 | 1336145 | 17548 171 | 405 | 1486 1409.31/1409.78 c 1383s | 21 | 8274565 | 1337845 | 17548 171 | 405 | 1486 1411.41/1411.85 c 1385s | 21 | 8283103 | 1339445 | 17548 172 | 405 | 1486 1413.51/1413.91 c 1387s | 21 | 8291195 | 1341145 | 17548 172 | 405 | 1486 1415.50/1415.97 c 1389s | 21 | 8297501 | 1342545 | 17548 172 | 405 | 1486 1417.61/1418.08 c 1391s | 21 | 8301932 | 1343445 | 17548 172 | 405 | 1486 1419.82/1420.27 c 1393s | 21 | 8306219 | 1344345 | 17548 172 | 405 | 1486 1421.91/1422.34 c 1395s | 21 | 8316800 | 1346145 | 17548 172 | 405 | 1486 1423.91/1424.35 c 1397s | 21 | 8325392 | 1348045 | 17548 172 | 405 | 1486 1426.01/1426.40 c 1399s | 21 | 8336898 | 1349945 | 17548 173 | 405 | 1486 1428.11/1428.50 c 1401s | 21 | 8347798 | 1352045 | 17548 173 | 405 | 1486 1430.40/1430.89 c 1404s | 21 | 8359833 | 1353845 | 17548 173 | 405 | 1486 1432.50/1432.94 c 1406s | 21 | 8373643 | 1355745 | 17548 173 | 405 | 1486 1434.50/1434.96 c 1408s | 21 | 8382376 | 1357445 | 17548 173 | 405 | 1486 1436.60/1437.00 c 1410s | 21 | 8393183 | 1359345 | 17548 174 | 405 | 1486 1438.70/1439.14 c 1412s | 21 | 8402061 | 1361245 | 17548 174 | 405 | 1486 1440.80/1441.23 c 1414s | 21 | 8413674 | 1363245 | 17548 174 | 405 | 1486 1442.91/1443.33 c 1416s | 21 | 8422105 | 1365145 | 17548 174 | 405 | 1486 1444.90/1445.40 c 1418s | 21 | 8432328 | 1367145 | 17548 174 | 405 | 1486 1447.00/1447.43 c 1420s | 21 | 8441992 | 1368845 | 17548 175 | 405 | 1486 1449.10/1449.51 c 1422s | 21 | 8449399 | 1370645 | 17548 175 | 405 | 1486 1451.09/1451.56 c 1424s | 21 | 8461017 | 1372545 | 17548 175 | 405 | 1486 1453.19/1453.64 c 1426s | 21 | 8470972 | 1374445 | 17548 175 | 405 | 1486 1455.19/1455.67 c 1429s | 21 | 8481438 | 1376345 | 17548 175 | 405 | 1486 1457.29/1457.71 c 1431s | 21 | 8487039 | 1377545 | 17548 176 | 405 | 1486 1459.40/1459.82 c 1433s | 21 | 8501717 | 1379745 | 17548 176 | 405 | 1486 1461.49/1461.93 c 1435s | 21 | 8512999 | 1381845 | 17548 176 | 405 | 1486 1463.49/1463.94 c 1437s | 21 | 8523191 | 1383645 | 17548 176 | 405 | 1486 1465.59/1466.00 c 1439s | 21 | 8535114 | 1385445 | 17548 176 | 405 | 1486 1467.58/1468.07 c 1441s | 21 | 8543715 | 1386845 | 17548 177 | 405 | 1486 1469.68/1470.11 c 1443s | 21 | 8552955 | 1388445 | 17548 177 | 405 | 1486 1471.68/1472.19 c 1445s | 21 | 8566540 | 1390545 | 17548 177 | 405 | 1486 1473.78/1474.23 c 1447s | 21 | 8574489 | 1392245 | 17548 177 | 405 | 1486 1475.79/1476.28 c 1449s | 21 | 8582366 | 1393945 | 17548 177 | 405 | 1486 1477.88/1478.31 c 1451s | 21 | 8589448 | 1395545 | 17548 177 | 405 | 1486 1479.88/1480.35 c 1453s | 21 | 8597017 | 1397345 | 17548 178 | 405 | 1486 1481.88/1482.39 c 1455s | 21 | 8607957 | 1399445 | 17548 178 | 405 | 1486 1483.98/1484.44 c 1457s | 21 | 8616833 | 1401545 | 17548 178 | 405 | 1486 1486.08/1486.55 c 1459s | 21 | 8631473 | 1403545 | 17548 178 | 405 | 1486 1488.18/1488.63 c 1461s | 21 | 8639213 | 1405245 | 17548 179 | 405 | 1486 1490.18/1490.68 c 1464s | 21 | 8648709 | 1407145 | 17548 179 | 405 | 1486 1492.17/1492.70 c 1466s | 21 | 8661379 | 1409045 | 17548 179 | 405 | 1486 1494.27/1494.76 c 1468s | 21 | 8670777 | 1410745 | 17548 179 | 405 | 1486 1496.37/1496.83 c 1470s | 21 | 8680296 | 1412445 | 17548 179 | 405 | 1486 1498.37/1498.89 c 1472s | 21 | 8690195 | 1414145 | 17548 179 | 405 | 1486 1500.47/1500.96 c 1474s | 21 | 8699433 | 1415745 | 17548 180 | 405 | 1486 1502.57/1503.03 c 1476s | 21 | 8708717 | 1417645 | 17548 180 | 405 | 1486 1504.67/1505.13 c 1478s | 21 | 8719440 | 1419445 | 17548 180 | 405 | 1486 1506.87/1507.37 c 1480s | 21 | 8726015 | 1420945 | 17548 180 | 405 | 1486 1508.97/1509.43 c 1482s | 21 | 8735903 | 1422745 | 17548 180 | 405 | 1486 1511.07/1511.55 c 1484s | 21 | 8744304 | 1424045 | 17548 181 | 405 | 1486 1513.07/1513.55 c 1486s | 21 | 8753811 | 1425745 | 17548 181 | 405 | 1486 1515.16/1515.62 c 1488s | 21 | 8763316 | 1427545 | 17548 181 | 405 | 1486 1517.26/1517.73 c 1491s | 21 | 8774831 | 1429345 | 17548 181 | 405 | 1486 1519.26/1519.75 c 1493s | 21 | 8783470 | 1431145 | 17548 181 | 405 | 1486 1521.36/1521.84 c 1495s | 21 | 8797032 | 1433145 | 17548 181 | 405 | 1486 1523.36/1523.86 c 1497s | 21 | 8805430 | 1435045 | 17548 182 | 405 | 1486 1525.46/1525.95 c 1499s | 21 | 8815176 | 1436945 | 17548 182 | 405 | 1486 1527.57/1528.01 c 1501s | 21 | 8824601 | 1439045 | 17548 182 | 405 | 1486 1529.56/1530.01 c 1503s | 21 | 8832644 | 1440945 | 17548 182 | 405 | 1486 1531.56/1532.09 c 1505s | 21 | 8840209 | 1442945 | 17548 183 | 405 | 1486 1533.66/1534.15 c 1507s | 21 | 8849336 | 1445145 | 17548 183 | 405 | 1486 1535.66/1536.17 c 1509s | 21 | 8857103 | 1447145 | 17548 183 | 405 | 1486 1537.76/1538.27 c 1511s | 21 | 8865473 | 1449245 | 17548 183 | 405 | 1486 1539.85/1540.31 c 1513s | 21 | 8875555 | 1451145 | 17548 183 | 405 | 1486 1541.86/1542.33 c 1515s | 21 | 8883678 | 1452645 | 17548 184 | 405 | 1486 1543.85/1544.34 c 1517s | 21 | 8892150 | 1454445 | 17548 184 | 405 | 1486 1545.95/1546.42 c 1519s | 21 | 8903834 | 1456345 | 17548 184 | 405 | 1486 1548.05/1548.51 c 1521s | 21 | 8914702 | 1458245 | 17548 184 | 405 | 1486 1550.05/1550.58 c 1523s | 21 | 8924880 | 1460045 | 17548 184 | 405 | 1486 1552.15/1552.63 c 1525s | 21 | 8932719 | 1461645 | 17548 184 | 405 | 1486 1554.15/1554.65 c 1527s | 21 | 8936403 | 1462445 | 17548 185 | 405 | 1486 1556.15/1556.66 c 1529s | 21 | 8946043 | 1464445 | 17548 185 | 405 | 1486 1558.25/1558.74 c 1532s | 21 | 8957009 | 1466445 | 17548 185 | 405 | 1486 1560.34/1560.84 c 1534s | 21 | 8966952 | 1468545 | 17548 185 | 405 | 1486 1562.34/1562.87 c 1536s | 21 | 8977906 | 1470445 | 17548 185 | 405 | 1486 1564.44/1564.91 c 1538s | 21 | 8984726 | 1472145 | 17548 186 | 405 | 1486 1566.44/1566.97 c 1540s | 21 | 8994473 | 1474045 | 17548 186 | 405 | 1486 1568.54/1569.07 c 1542s | 21 | 9004918 | 1476045 | 17548 186 | 405 | 1486 1570.64/1571.16 c 1544s | 21 | 9011455 | 1477645 | 17548 186 | 405 | 1486 1572.74/1573.22 c 1546s | 21 | 9025440 | 1479645 | 19303 186 | 405 | 1486 1574.75/1575.28 c 1548s | 21 | 9035622 | 1481345 | 19303 186 | 405 | 1486 1576.84/1577.35 c 1550s | 21 | 9042085 | 1482845 | 19303 187 | 405 | 1486 1578.94/1579.41 c 1552s | 21 | 9050151 | 1484445 | 19303 187 | 405 | 1486 1580.94/1581.46 c 1554s | 21 | 9061827 | 1486345 | 19303 187 | 405 | 1486 1583.04/1583.52 c 1556s | 21 | 9076597 | 1487945 | 19303 187 | 405 | 1486 1585.04/1585.57 c 1558s | 21 | 9091522 | 1490045 | 19303 187 | 405 | 1486 1587.04/1587.59 c 1560s | 21 | 9100472 | 1491545 | 19303 187 | 405 | 1486 1589.14/1589.64 c 1562s | 21 | 9109286 | 1493045 | 19303 188 | 405 | 1486 1591.24/1591.76 c 1565s | 21 | 9119944 | 1494845 | 19303 188 | 405 | 1486 1593.24/1593.79 c 1567s | 21 | 9129017 | 1496645 | 19303 188 | 405 | 1486 1595.34/1595.88 c 1569s | 21 | 9140699 | 1498545 | 19303 188 | 405 | 1486 1597.44/1597.93 c 1571s | 21 | 9149139 | 1500245 | 19303 188 | 405 | 1486 1598.84/1599.34 c 1572s | 22 | 9151219 | 1500622 | 19303 188 | 405 | 1486 1600.94/1601.43 c 1574s | 22 | 9159536 | 1502322 | 19303 188 | 405 | 1486 1603.04/1603.53 c 1576s | 22 | 9168611 | 1504222 | 19303 189 | 405 | 1486 1605.04/1605.54 c 1578s | 22 | 9178391 | 1506122 | 19303 189 | 405 | 1486 1607.04/1607.57 c 1580s | 22 | 9189297 | 1508122 | 19303 189 | 405 | 1486 1609.14/1609.66 c 1582s | 22 | 9198916 | 1509622 | 19303 189 | 405 | 1486 1611.24/1611.70 c 1585s | 22 | 9209865 | 1511522 | 19303 189 | 405 | 1486 1613.25/1613.77 c 1587s | 22 | 9222331 | 1513422 | 19303 189 | 405 | 1486 1615.34/1615.83 c 1589s | 22 | 9232166 | 1515322 | 19303 190 | 405 | 1486 1617.44/1617.93 c 1591s | 22 | 9244707 | 1517322 | 19303 190 | 405 | 1486 1619.54/1620.03 c 1593s | 22 | 9253919 | 1519122 | 19303 190 | 405 | 1486 1621.54/1622.09 c 1595s | 22 | 9262759 | 1520822 | 19303 190 | 405 | 1486 1623.64/1624.18 c 1597s | 22 | 9271892 | 1522122 | 19303 190 | 405 | 1486 1625.74/1626.25 c 1599s | 22 | 9281428 | 1523522 | 19303 190 | 405 | 1486 1627.84/1628.32 c 1601s | 22 | 9292195 | 1525022 | 19303 191 | 405 | 1486 1629.94/1630.41 c 1603s | 22 | 9304035 | 1526922 | 19303 191 | 405 | 1486 1631.94/1632.49 c 1605s | 22 | 9316521 | 1528922 | 19303 191 | 405 | 1486 1634.03/1634.51 c 1607s | 22 | 9324712 | 1530722 | 19303 191 | 405 | 1486 1636.03/1636.51 c 1609s | 22 | 9336703 | 1532522 | 19303 191 | 405 | 1486 1638.13/1638.62 c 1611s | 22 | 9343583 | 1534122 | 19303 191 | 405 | 1486 1640.13/1640.68 c 1614s | 22 | 9349607 | 1535522 | 19303 192 | 405 | 1486 1642.23/1642.74 c 1616s | 22 | 9360024 | 1537522 | 19303 192 | 405 | 1486 1644.23/1644.76 c 1618s | 22 | 9370010 | 1539122 | 19303 192 | 405 | 1486 1646.24/1646.77 c 1620s | 22 | 9383990 | 1540722 | 19303 192 | 405 | 1486 1648.33/1648.88 c 1622s | 22 | 9391037 | 1542322 | 19303 192 | 405 | 1486 1650.43/1650.97 c 1624s | 22 | 9399368 | 1543922 | 19303 192 | 405 | 1486 1652.53/1653.07 c 1626s | 22 | 9410864 | 1545622 | 19303 193 | 405 | 1486 1654.63/1655.13 c 1628s | 22 | 9420366 | 1547622 | 19303 193 | 405 | 1486 1656.73/1657.23 c 1630s | 22 | 9431098 | 1549422 | 19303 193 | 405 | 1486 1658.73/1659.30 c 1632s | 22 | 9440970 | 1551122 | 19303 193 | 405 | 1486 1660.83/1661.38 c 1634s | 22 | 9448301 | 1552922 | 19303 193 | 405 | 1486 1663.03/1663.53 c 1636s | 22 | 9456086 | 1554422 | 19303 193 | 405 | 1486 1665.03/1665.54 c 1638s | 22 | 9463954 | 1556022 | 19303 194 | 405 | 1486 1667.23/1667.72 c 1641s | 22 | 9471823 | 1557422 | 19303 194 | 405 | 1486 1669.22/1669.73 c 1643s | 22 | 9483930 | 1559522 | 19303 194 | 405 | 1486 1671.22/1671.74 c 1645s | 22 | 9492413 | 1561322 | 19303 194 | 405 | 1486 1673.32/1673.83 c 1647s | 22 | 9505114 | 1563222 | 19303 194 | 405 | 1486 1675.32/1675.84 c 1649s | 22 | 9515274 | 1564922 | 19303 194 | 405 | 1486 1677.32/1677.87 c 1651s | 22 | 9524656 | 1566822 | 19303 195 | 405 | 1486 1679.43/1679.94 c 1653s | 22 | 9534944 | 1568222 | 19303 195 | 405 | 1486 1681.44/1681.94 c 1655s | 22 | 9547768 | 1570222 | 19303 195 | 405 | 1486 1683.43/1683.97 c 1657s | 22 | 9555481 | 1571522 | 19303 195 | 405 | 1486 1685.53/1686.03 c 1659s | 22 | 9564818 | 1573422 | 19303 195 | 405 | 1486 1687.63/1688.14 c 1661s | 22 | 9572987 | 1575022 | 19303 195 | 405 | 1486 1689.73/1690.22 c 1663s | 22 | 9580956 | 1576822 | 19303 196 | 405 | 1486 1691.73/1692.28 c 1665s | 22 | 9592755 | 1578722 | 19303 196 | 405 | 1486 1693.73/1694.28 c 1667s | 22 | 9606621 | 1580522 | 19303 196 | 405 | 1486 1695.83/1696.36 c 1669s | 22 | 9618745 | 1582522 | 19303 196 | 405 | 1486 1697.82/1698.39 c 1671s | 22 | 9622996 | 1583222 | 19303 196 | 405 | 1486 1699.92/1700.47 c 1673s | 22 | 9632919 | 1584822 | 19303 196 | 405 | 1486 1702.02/1702.50 c 1675s | 22 | 9645718 | 1586422 | 19303 197 | 405 | 1486 1704.02/1704.58 c 1677s | 22 | 9659881 | 1588422 | 19303 197 | 405 | 1486 1706.12/1706.63 c 1679s | 22 | 9672151 | 1590222 | 19303 197 | 405 | 1486 1708.22/1708.70 c 1682s | 22 | 9681354 | 1592122 | 19303 197 | 405 | 1486 1710.32/1710.85 c 1684s | 22 | 9692297 | 1593922 | 19303 197 | 405 | 1486 1712.42/1712.93 c 1686s | 22 | 9700429 | 1595622 | 19303 197 | 405 | 1486 1714.43/1714.94 c 1688s | 22 | 9709709 | 1597022 | 19303 198 | 405 | 1486 1716.42/1716.94 c 1690s | 22 | 9717368 | 1598722 | 19303 198 | 405 | 1486 1718.42/1718.95 c 1692s | 22 | 9725830 | 1600522 | 19303 198 | 405 | 1486 1720.42/1720.97 c 1694s | 22 | 9735911 | 1602222 | 19303 198 | 405 | 1486 1722.52/1723.01 c 1696s | 22 | 9747226 | 1604222 | 19303 198 | 405 | 1486 1724.62/1725.12 c 1698s | 22 | 9759856 | 1606222 | 19303 198 | 405 | 1486 1726.72/1727.23 c 1700s | 22 | 9770051 | 1608022 | 19303 199 | 405 | 1486 1728.72/1729.26 c 1702s | 22 | 9778806 | 1609822 | 19303 199 | 405 | 1486 1730.82/1731.37 c 1704s | 22 | 9788309 | 1611522 | 19303 199 | 405 | 1486 1732.81/1733.37 c 1706s | 22 | 9793489 | 1612522 | 19303 199 | 405 | 1486 1734.91/1735.45 c 1708s | 22 | 9805707 | 1614422 | 19303 199 | 405 | 1486 1737.01/1737.53 c 1710s | 22 | 9814391 | 1616322 | 19303 199 | 405 | 1486 1739.11/1739.60 c 1712s | 22 | 9821134 | 1617522 | 19303 200 | 405 | 1486 1741.11/1741.64 c 1714s | 22 | 9834823 | 1619522 | 19303 200 | 405 | 1486 1743.12/1743.65 c 1716s | 22 | 9843658 | 1621422 | 19303 200 | 405 | 1486 1745.22/1745.74 c 1719s | 22 | 9855543 | 1623422 | 19303 200 | 405 | 1486 1747.21/1747.77 c 1721s | 22 | 9864236 | 1625222 | 19303 200 | 405 | 1486 1749.21/1749.78 c 1723s | 22 | 9877303 | 1626922 | 19303 200 | 405 | 1486 1751.31/1751.82 c 1725s | 22 | 9886170 | 1628822 | 19303 201 | 405 | 1486 1753.31/1753.83 c 1727s | 22 | 9893459 | 1630522 | 19303 201 | 405 | 1486 1755.31/1755.85 c 1729s | 22 | 9905641 | 1632622 | 19303 201 | 405 | 1486 1757.31/1757.86 c 1731s | 22 | 9916395 | 1634622 | 19303 201 | 405 | 1486 1759.41/1759.91 c 1733s | 22 | 9926024 | 1636622 | 19303 201 | 405 | 1486 1761.41/1761.95 c 1735s | 22 | 9935191 | 1638622 | 19303 202 | 405 | 1486 1763.51/1764.01 c 1737s | 22 | 9948744 | 1640622 | 19303 202 | 405 | 1486 1765.51/1766.02 c 1739s | 22 | 9959781 | 1642522 | 19303 202 | 405 | 1486 1767.61/1768.17 c 1741s | 22 | 9967903 | 1643822 | 19303 202 | 405 | 1486 1769.72/1770.24 c 1743s | 22 | 9978703 | 1645522 | 19303 202 | 405 | 1486 1771.72/1772.28 c 1745s | 22 | 9990927 | 1647622 | 19303 202 | 405 | 1486 1774.11/1774.64 c 1747s | 22 | 10001473 | 1649622 | 19303 203 | 405 | 1486 1776.21/1776.70 c 1750s | 22 | 10014451 | 1651722 | 19303 203 | 405 | 1486 1778.22/1778.73 c 1752s | 22 | 10025513 | 1653722 | 19303 203 | 405 | 1486 1780.81/1781.39 c 1754s | 22 | 10034811 | 1655522 | 19303 203 | 405 | 1486 1782.91/1783.46 c 1756s | 22 | 10048318 | 1657622 | 19303 203 | 405 | 1486 1785.01/1785.50 c 1758s | 22 | 10057616 | 1659422 | 19303 204 | 405 | 1486 1787.02/1787.53 c 1760s | 22 | 10066549 | 1660922 | 19303 204 | 405 | 1486 1789.11/1789.64 c 1762s | 22 | 10076030 | 1662522 | 19303 204 | 405 | 1486 1791.21/1791.70 c 1765s | 22 | 10089829 | 1664522 | 19303 204 | 405 | 1486 1793.21/1793.79 c 1767s | 22 | 10103146 | 1666322 | 19303 204 | 405 | 1486 1795.31/1795.80 c 1769s | 22 | 10115791 | 1668122 | 19303 204 | 405 | 1486 1797.41/1797.92 c 1771s | 22 | 10126976 | 1670222 | 19303 205 | 405 | 1486 1799.41/1799.93 c 1773s | 22 | 10137818 | 1671922 | 19303 205 | 405 | 1486
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-4079106-1465253570/watcher-4079106-1465253570 -o /tmp/evaluation-result-4079106-1465253570/solver-4079106-1465253570 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079106-1465253570.opb pid=5111 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.24 2.21 2.18 4/179 5114 /proc/meminfo: memFree=29177024/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=759228 CPUtime=0 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 2837 0 0 0 0 0 0 0 20 0 4 0 107290039 777449472 3198 33554432000 4194304 16246674 140735685927440 140735685926376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 190319 3206 441 2943 0 187213 0 [pid=5114/tid=5115] ppid=5111 vsize=776636 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 795275264 3269 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=781756 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 800518144 3286 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=785852 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107290039 804712448 3302 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.24 2.21 2.18 4/179 5114 /proc/meminfo: memFree=29177024/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1220164 CPUtime=0.08 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 20183 0 0 0 6 2 0 0 20 0 4 0 107290039 1249447936 20481 33554432000 4194304 16246674 140735685927440 140735685926752 6165414 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 305041 20488 833 2943 0 301935 0 [pid=5114/tid=5115] ppid=5111 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1249447936 20493 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1249447936 20498 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107290039 1249447936 20504 33554432000 4194304 16246674 140735685927440 140475629563056 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) 1220164 [startup+0.20051 s] /proc/loadavg: 2.24 2.21 2.18 4/179 5114 /proc/meminfo: memFree=29177024/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1302084 CPUtime=0.19 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 47150 0 0 0 13 6 0 0 20 0 4 0 107290039 1333334016 47449 33554432000 4194304 16246674 140735685927440 140735685926752 12449130 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 325521 47465 898 2943 0 322415 0 [pid=5114/tid=5115] ppid=5111 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1333334016 47475 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1333334016 47486 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1333334016 47495 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300454 s] /proc/loadavg: 2.24 2.21 2.18 4/179 5114 /proc/meminfo: memFree=29177024/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1303108 CPUtime=0.29 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 67123 0 0 0 21 8 0 0 20 0 4 0 107290039 1334382592 67421 33554432000 4194304 16246674 140735685927440 140735685926752 5531168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 325777 67421 900 2943 0 322671 0 [pid=5114/tid=5115] ppid=5111 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1334382592 67421 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1334382592 67421 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1334382592 67421 33554432000 4194304 16246674 140735685927440 140475629563056 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) 1303108 [startup+0.700395 s] /proc/loadavg: 2.24 2.21 2.18 4/179 5114 /proc/meminfo: memFree=29177024/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 101680 0 0 0 56 13 0 0 20 0 4 0 107290039 1338576896 101978 33554432000 4194304 16246674 140735685927440 140735685910432 14999975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 326801 101978 903 2943 0 323695 0 [pid=5114/tid=5115] ppid=5111 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1338576896 101978 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1338576896 101978 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1338576896 101978 33554432000 4194304 16246674 140735685927440 140475629563056 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.50039 s] /proc/loadavg: 2.24 2.21 2.18 3/183 5118 /proc/meminfo: memFree=28677564/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 215436 0 0 0 121 28 0 0 20 0 4 0 107290039 1338576896 215734 33554432000 4194304 16246674 140735685927440 140735685909312 12654121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 326801 215747 903 2943 0 323695 0 [pid=5114/tid=5115] ppid=5111 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1338576896 215755 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1338576896 215763 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1338576896 215772 33554432000 4194304 16246674 140735685927440 140475629563056 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.10042 s] /proc/loadavg: 2.24 2.21 2.18 3/183 5118 /proc/meminfo: memFree=28095508/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1317444 CPUtime=3.08 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 270572 0 0 0 273 35 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140735685909312 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 329361 270870 913 2943 0 326255 0 [pid=5114/tid=5115] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1317444 [startup+6.30039 s] /proc/loadavg: 2.22 2.20 2.18 3/183 5118 /proc/meminfo: memFree=28093504/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1317444 CPUtime=6.28 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 270572 0 0 0 593 35 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140735685909312 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 329361 270870 913 2943 0 326255 0 [pid=5114/tid=5115] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1317444 [startup+12.7004 s] /proc/loadavg: 2.21 2.20 2.18 4/183 5118 /proc/meminfo: memFree=28093916/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1317444 CPUtime=12.68 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 270572 0 0 0 1233 35 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140735685909312 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 329361 270870 913 2943 0 326255 0 [pid=5114/tid=5115] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270870 33554432000 4194304 16246674 140735685927440 140475629563056 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) 1317444 [startup+25.5005 s] /proc/loadavg: 2.23 2.21 2.18 3/183 5118 /proc/meminfo: memFree=28094796/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1317444 CPUtime=25.49 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 270577 0 0 0 2513 36 0 0 20 0 4 0 107290039 1349062656 270875 33554432000 4194304 16246674 140735685927440 140735685909312 12449412 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 329361 270875 918 2943 0 326255 0 [pid=5114/tid=5115] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270875 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270875 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1349062656 270875 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1317444 [startup+51.1005 s] /proc/loadavg: 2.22 2.20 2.18 3/183 5118 /proc/meminfo: memFree=28091828/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1320516 CPUtime=51.09 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 271348 0 0 0 5073 36 0 0 20 0 4 0 107290039 1352208384 271646 33554432000 4194304 16246674 140735685927440 140735685909312 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 330129 271646 921 2943 0 327023 0 [pid=5114/tid=5115] ppid=5111 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1352208384 271646 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1352208384 271646 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1352208384 271646 33554432000 4194304 16246674 140735685927440 140475629563056 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) 1320516 [startup+102.3 s] /proc/loadavg: 2.20 2.20 2.18 4/183 5119 /proc/meminfo: memFree=28083396/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1328708 CPUtime=102.28 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 273397 0 0 0 10192 36 0 0 20 0 4 0 107290039 1360596992 273695 33554432000 4194304 16246674 140735685927440 140735685909312 5659311 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5114/statm: 332177 273695 922 2943 0 329071 0 [pid=5114/tid=5115] ppid=5111 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1360596992 273695 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1360596992 273695 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1360596992 273695 33554432000 4194304 16246674 140735685927440 140475629563056 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) 1328708 ################ # More data... # ################ /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1358404 [startup+1362.3 s] /proc/loadavg: 2.20 2.22 2.19 3/183 5222 /proc/meminfo: memFree=28041424/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1358404 CPUtime=1361.94 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 281068 0 0 0 136147 47 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140735685909312 5600380 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 339601 281376 923 2943 0 336495 0 [pid=5114/tid=5115] ppid=5111 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1358404 [startup+1422.3 s] /proc/loadavg: 2.30 2.24 2.19 4/183 5223 /proc/meminfo: memFree=28041256/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1358404 CPUtime=1421.91 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 281101 0 0 0 142143 48 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140735685909312 5822286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 339601 281376 923 2943 0 336495 0 [pid=5114/tid=5115] ppid=5111 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1358404 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1391005696 281376 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1358404 [startup+1482.3 s] /proc/loadavg: 2.17 2.21 2.18 3/183 5224 /proc/meminfo: memFree=28035432/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1364548 CPUtime=1481.88 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 282669 0 0 0 148140 48 0 0 20 0 4 0 107290039 1397297152 282912 33554432000 4194304 16246674 140735685927440 140735685910440 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 341137 282912 923 2943 0 338031 0 [pid=5114/tid=5115] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282912 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282912 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282912 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1364548 [startup+1542.31 s] /proc/loadavg: 2.17 2.20 2.18 3/183 5226 /proc/meminfo: memFree=28035460/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1364548 CPUtime=1541.86 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 282695 0 0 0 154138 48 0 0 20 0 4 0 107290039 1397297152 282912 33554432000 4194304 16246674 140735685927440 140735685909312 5711952 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 341137 282912 923 2943 0 338031 0 [pid=5114/tid=5115] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282912 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282912 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282912 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1364548 [startup+1602.3 s] /proc/loadavg: 2.18 2.19 2.18 3/183 5227 /proc/meminfo: memFree=28034876/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1364548 CPUtime=1601.84 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 282705 0 0 0 160135 49 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140735685909312 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 341137 282913 923 2943 0 338031 0 [pid=5114/tid=5115] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1364548 [startup+1662.3 s] /proc/loadavg: 2.37 2.25 2.19 3/184 5231 /proc/meminfo: memFree=28034244/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1364548 CPUtime=1661.83 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 282705 0 0 0 166134 49 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140735685909312 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 341137 282913 923 2943 0 338031 0 [pid=5114/tid=5115] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1364548 [startup+1722.3 s] /proc/loadavg: 2.18 2.21 2.18 3/183 5232 /proc/meminfo: memFree=28033864/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1364548 CPUtime=1721.82 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 282705 0 0 0 172132 50 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140735685909312 5711369 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 341137 282913 923 2943 0 338031 0 [pid=5114/tid=5115] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1364548 [startup+1782.3 s] /proc/loadavg: 2.30 2.23 2.19 3/183 5233 /proc/meminfo: memFree=28033668/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1364548 CPUtime=1781.81 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 282705 0 0 0 178130 51 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140735685909312 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 341137 282913 923 2943 0 338031 0 [pid=5114/tid=5115] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1364548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.22 2.18 3/183 5234 /proc/meminfo: memFree=28033880/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1364548 CPUtime=1800.01 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 282705 0 0 0 179950 51 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140735685926616 4222047 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 341137 282913 923 2943 0 338031 0 [pid=5114/tid=5115] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1364548 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 5114 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.22 2.18 3/183 5234 /proc/meminfo: memFree=28033880/32872528 swapFree=16384/1696552 [pid=5114] ppid=5111 vsize=1364548 CPUtime=1800.01 cores=0,2,4,6 /proc/5114/stat : 5114 (toysat) R 5111 5114 1166 0 -1 4202496 282705 0 0 0 179950 51 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140735685926616 4222047 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/5114/statm: 341137 282913 923 2943 0 338031 0 [pid=5114/tid=5115] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5115/stat : 5115 (toysat) S 5111 5114 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475720772848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5114/tid=5116] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5116/stat : 5116 (toysat) S 5111 5114 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475710282992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=5114/tid=5117] ppid=5111 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/5114/task/5117/stat : 5117 (toysat) S 5111 5114 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107290039 1397297152 282913 33554432000 4194304 16246674 140735685927440 140475629563056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1364548 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.51 CPU system time (s): 0.513921 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1364548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.513921 maximum resident set size= 1131652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282705 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= 365 involuntary context switches= 2326 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.3373 second user time and 15.9156 second system time The end
Begin job on node125 at 2016-06-07 00:52:50 IDJOB=4079106 IDBENCH=25043 IDSOLVER=2542 FILE ID=node125/4079106-1465253570 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir07_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079106-1465253570/watcher-4079106-1465253570 -o /tmp/evaluation-result-4079106-1465253570/solver-4079106-1465253570 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079106-1465253570.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd686f1ac9d6c1a64cf0c9041039dd75 RANDOM SEED=2030538161 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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: 29177296 kB Buffers: 60860 kB Cached: 135472 kB SwapCached: 2016 kB Active: 1196492 kB Inactive: 96612 kB Active(anon): 1097120 kB Inactive(anon): 1380 kB Active(file): 99372 kB Inactive(file): 95232 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16248 kB Writeback: 0 kB AnonPages: 2792076 kB Mapped: 10500 kB Shmem: 0 kB Slab: 569396 kB SReclaimable: 13284 kB SUnreclaim: 556112 kB KernelStack: 1520 kB PageTables: 9524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2934684 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2770944 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= 71712 MiB End job on node125 at 2016-06-07 01:22:50