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.04 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb |
| MD5SUM | 66cf2657d020eb0982c7cab0e5ad93c1 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 0.12298 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 26 |
| Optimality of the best value was proved | YES |
| Number of variables | 7343 |
| Total number of constraints | 22903 |
| Number of constraints which are clauses | 22903 |
| 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 | 127 |
| Number of terms in the objective function | 3560 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 3560 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3560 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:39:29+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079830-1465249169.opb"] 0.00/0.01 c use --random-gen="1145915119 2385759181 2534407374 1460362686 3140643428 1189663562 3672260965 2178733321 1272057255 321600126 2702703966 2720971017 2873918341 3969266697 2055387172 3743373726 367632982 2851783724 3244929934 3354349148 4100852966 726943351 3431590407 1831464998 2504144042 2861654033 2274263844 3175066125 4193056099 2157891213 1276593632 2236472865 3562867609 3843550696 532938198 1756431391 4263114762 1615298295 1332937167 3500122415 2691723820 1761240859 674494707 1043400727 1363351091 2479615983 349007473 2434202886 1296841235 1361324277 2363707711 721108725 2589790380 1476874516 250157278 1524502307 3676513982 1261510220 874623330 1301241094 3069172640 2400535580 4022542457 2109079832 171448483 2623205222 863474811 1400929027 4051101643 995964883 711357676 652393133 3282500658 3579389655 306463705 2566054679 2019598127 1515758114 3616276507 1442281921 4166139098 3627229060 2845029076 658148052 3700021134 1282477312 2985193051 3779739233 669420507 2638472514 3483859985 595869028 2293148118 2550531577 2934723776 2340193981 3834007854 2920928119 2196660373 1134780783 1809521526 771503590 4049341933 3047442764 2566350970 3070030108 2599125579 1171914891 1525478804 2886054800 2353280168 3536601765 1780724965 548199619 3833021264 2028976953 973054439 857013238 3434828269 2301000932 1723389832 2535805169 1849831604 3133500963 3013077099 1667717989 1679304609 4051589999 3407558132 2829871787 1100621638 396125863 500004519 901804305 1463643426 3529827119 2019626432 1376129602 878241957 2713839460 3320302800 755094577 969521011 30440277 4054248006 1673745382 1754825240 2243490150 4098929287 1759569096 1076598271 2288180290 3316965101 3215042360 4289681389 2835674696 2770898942 1676206794 630208017 1638929657 1593725083 2980112866 2392657098 2170288145 2296087989 799693152 3346678961 4000212567 2456644351 16023259 2312428100 838276168 1218045748 3462074229 3585746594 3063927624 2257406898 808942531 3773073325 1890667533 3149211501 3404162814 1349491679 680463505 339412438 2991413124 3158021363 1080030817 1953510243 1728786114 228368129 3334731233 3044423351 3641188410 3705407536 2142024762 41293779 3841796030 883766349 3957137004 1191944001 159615146 1022518323 1445157869 3236191778 2206692085 2523039977 1650506 241975257 3651190555 1902025294 154773110 3391739096 9379524 1621587972 3249811072 1846394755 2481929897 3213753032 338773086 3114990103 2987435335 1762003269 2165373519 1339774073 1132271793 350396579 63054900 3123109526 316723646 2558107823 3138741412 828956983 3246428321 2067686522 1301564239 1112442397 3416165642 642555088 1451338497 2842640985 456628312 3913289392 3345870468 989294163 3923788817 3031071093 117027468 66148162 1725676829 3515392864 1727207279 699014329 2131236326 1718454559 2063740947 255 362436" option to reproduce the execution 0.08/0.16 c #vars 7343 0.08/0.16 c #constraints 22903 0.39/0.43 c BCD2: Hardening is enabled. 0.39/0.43 c BCD2: BiasedSearch is enabled. 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 0 0.39/0.49 c 0.1s | 0 | 1788 | 0 | 9897 0 | 1106 | 2588 0.39/0.49 c #cpu_time = 0.053s 0.39/0.49 c #wall_clock_time = 0.053s 0.39/0.49 c #decision = 1788 0.39/0.49 c #random_decision = 6 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 o 1789 0.39/0.49 c BCD2: updating upper bound: 3560 -> 1788 0.49/0.54 c BCD2: 0 <= obj <= 1788 0.49/0.54 c BCD2: #cores=0, #unrelaxed=3560, #relaxed=0, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 9897 0 | 1106 | 2588 0.49/0.55 c 0.0s | 0 | 30 | 1 | 9897 0 | 1106 | 2588 0.49/0.55 c #cpu_time = 0.012s 0.49/0.55 c #wall_clock_time = 0.013s 0.49/0.55 c #decision = 30 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 1 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 4: cost of the new core is >=1 0.49/0.55 c lower bound updated to 1 0.49/0.57 c BCD2: 1 <= obj <= 1788 0.49/0.57 c BCD2: #cores=1, #unrelaxed=3556, #relaxed=4, #hardened=0 0.49/0.57 c BCD2: #sat=1 #unsat=2 bias=2/3 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.49/0.58 c 0.0s | 0 | 26 | 0 | 9897 0 | 1106 | 2588 0.49/0.58 c #cpu_time = 0.009s 0.49/0.58 c #wall_clock_time = 0.009s 0.49/0.58 c #decision = 26 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 0 0.49/0.58 c #restart = 0 0.49/0.58 c BCD2: found a new core of size 13: cost of the new core is >=1 0.49/0.58 c lower bound updated to 2 0.49/0.58 c BCD2: 2 <= obj <= 1788 0.49/0.58 c BCD2: #cores=2, #unrelaxed=3543, #relaxed=17, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 9897 0 | 1106 | 2588 0.59/0.62 c 0.0s | 0 | 22 | 0 | 9897 0 | 1106 | 2588 0.59/0.62 c #cpu_time = 0.035s 0.59/0.62 c #wall_clock_time = 0.036s 0.59/0.62 c #decision = 22 0.59/0.62 c #random_decision = 0 0.59/0.62 c #conflict = 0 0.59/0.62 c #restart = 0 0.59/0.62 c BCD2: found a new core of size 11: cost of the new core is >=1 0.59/0.62 c lower bound updated to 3 0.59/0.62 c BCD2: 3 <= obj <= 1788 0.59/0.62 c BCD2: #cores=3, #unrelaxed=3532, #relaxed=28, #hardened=0 0.59/0.62 c BCD2: #sat=1 #unsat=4 bias=4/5 0.59/0.62 c Solving starts ... 0.59/0.62 c ============================[ Search Statistics ]============================ 0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.62 c | | | | Limit GC | Var | Constra 0.59/0.62 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.59/0.63 c 0.0s | 0 | 34 | 0 | 9897 0 | 1106 | 2588 0.59/0.63 c #cpu_time = 0.006s 0.59/0.63 c #wall_clock_time = 0.006s 0.59/0.63 c #decision = 34 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 24: cost of the new core is >=1 0.59/0.63 c lower bound updated to 4 0.59/0.63 c BCD2: 4 <= obj <= 1788 0.59/0.63 c BCD2: #cores=4, #unrelaxed=3508, #relaxed=52, #hardened=0 0.59/0.63 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 9897 0 | 1106 | 2588 0.59/0.64 c 0.0s | 0 | 59 | 0 | 9897 0 | 1106 | 2588 0.59/0.64 c #cpu_time = 0.008s 0.59/0.64 c #wall_clock_time = 0.008s 0.59/0.64 c #decision = 59 0.59/0.64 c #random_decision = 0 0.59/0.64 c #conflict = 0 0.59/0.64 c #restart = 0 0.59/0.64 c BCD2: found a new core of size 3: cost of the new core is >=1 0.59/0.64 c lower bound updated to 5 0.59/0.64 c BCD2: 5 <= obj <= 1788 0.59/0.64 c BCD2: #cores=5, #unrelaxed=3505, #relaxed=55, #hardened=0 0.59/0.64 c BCD2: #sat=1 #unsat=6 bias=6/7 0.59/0.64 c Solving starts ... 0.59/0.64 c ============================[ Search Statistics ]============================ 0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.64 c | | | | Limit GC | Var | Constra 0.59/0.64 c ============================================================================= 0.59/0.64 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.59/0.65 c 0.0s | 0 | 87 | 0 | 9897 0 | 1106 | 2588 0.59/0.65 c #cpu_time = 0.007s 0.59/0.65 c #wall_clock_time = 0.007s 0.59/0.65 c #decision = 87 0.59/0.65 c #random_decision = 0 0.59/0.65 c #conflict = 0 0.59/0.65 c #restart = 0 0.59/0.65 c BCD2: found a new core of size 33: cost of the new core is >=1 0.59/0.65 c lower bound updated to 6 0.59/0.65 c BCD2: 6 <= obj <= 1788 0.59/0.65 c BCD2: #cores=6, #unrelaxed=3472, #relaxed=88, #hardened=0 0.59/0.65 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 9897 0 | 1106 | 2588 0.59/0.66 c 0.0s | 0 | 137 | 0 | 9897 0 | 1106 | 2588 0.59/0.66 c #cpu_time = 0.008s 0.59/0.66 c #wall_clock_time = 0.008s 0.59/0.66 c #decision = 137 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 8: cost of the new core is >=1 0.59/0.66 c lower bound updated to 7 0.59/0.66 c BCD2: 7 <= obj <= 1788 0.59/0.66 c BCD2: #cores=7, #unrelaxed=3464, #relaxed=96, #hardened=0 0.59/0.66 c BCD2: #sat=1 #unsat=8 bias=8/9 0.59/0.66 c Solving starts ... 0.59/0.66 c ============================[ Search Statistics ]============================ 0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.66 c | | | | Limit GC | Var | Constra 0.59/0.66 c ============================================================================= 0.59/0.66 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.59/0.67 c 0.0s | 0 | 138 | 0 | 9897 0 | 1106 | 2588 0.59/0.67 c #cpu_time = 0.008s 0.59/0.67 c #wall_clock_time = 0.008s 0.59/0.67 c #decision = 138 0.59/0.67 c #random_decision = 0 0.59/0.67 c #conflict = 0 0.59/0.67 c #restart = 0 0.59/0.67 c BCD2: found a new core of size 9: cost of the new core is >=1 0.59/0.67 c lower bound updated to 8 0.59/0.67 c BCD2: 8 <= obj <= 1788 0.59/0.67 c BCD2: #cores=8, #unrelaxed=3455, #relaxed=105, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=9 bias=9/10 0.59/0.67 c Solving starts ... 0.59/0.67 c ============================[ Search Statistics ]============================ 0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.67 c | | | | Limit GC | Var | Constra 0.59/0.67 c ============================================================================= 0.59/0.67 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.59/0.68 c 0.0s | 0 | 215 | 0 | 9897 0 | 1106 | 2588 0.59/0.68 c #cpu_time = 0.007s 0.59/0.68 c #wall_clock_time = 0.007s 0.59/0.68 c #decision = 215 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 33: cost of the new core is >=1 0.59/0.68 c lower bound updated to 9 0.59/0.68 c BCD2: 9 <= obj <= 1788 0.59/0.68 c BCD2: #cores=9, #unrelaxed=3422, #relaxed=138, #hardened=0 0.59/0.68 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 9897 0 | 1106 | 2588 0.59/0.69 c 0.0s | 0 | 254 | 0 | 9897 0 | 1106 | 2588 0.59/0.69 c #cpu_time = 0.008s 0.59/0.69 c #wall_clock_time = 0.008s 0.59/0.69 c #decision = 254 0.59/0.69 c #random_decision = 0 0.59/0.69 c #conflict = 0 0.59/0.69 c #restart = 0 0.59/0.69 c BCD2: found a new core of size 3: cost of the new core is >=1 0.59/0.69 c lower bound updated to 10 0.59/0.69 c BCD2: 10 <= obj <= 1788 0.59/0.69 c BCD2: #cores=10, #unrelaxed=3419, #relaxed=141, #hardened=0 0.59/0.69 c BCD2: #sat=1 #unsat=11 bias=11/12 0.59/0.69 c Solving starts ... 0.59/0.69 c ============================[ Search Statistics ]============================ 0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.69 c | | | | Limit GC | Var | Constra 0.59/0.69 c ============================================================================= 0.59/0.69 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.69/0.70 c 0.0s | 0 | 360 | 0 | 9897 0 | 1106 | 2588 0.69/0.70 c #cpu_time = 0.007s 0.69/0.70 c #wall_clock_time = 0.007s 0.69/0.70 c #decision = 360 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 11: cost of the new core is >=1 0.69/0.70 c lower bound updated to 11 0.69/0.70 c BCD2: 11 <= obj <= 1788 0.69/0.70 c BCD2: #cores=11, #unrelaxed=3408, #relaxed=152, #hardened=0 0.69/0.70 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 9897 0 | 1106 | 2588 0.69/0.71 c 0.0s | 0 | 365 | 0 | 9897 0 | 1106 | 2588 0.69/0.71 c #cpu_time = 0.007s 0.69/0.71 c #wall_clock_time = 0.007s 0.69/0.71 c #decision = 365 0.69/0.71 c #random_decision = 0 0.69/0.71 c #conflict = 0 0.69/0.71 c #restart = 0 0.69/0.71 c BCD2: found a new core of size 33: cost of the new core is >=1 0.69/0.71 c lower bound updated to 12 0.69/0.71 c BCD2: 12 <= obj <= 1788 0.69/0.71 c BCD2: #cores=12, #unrelaxed=3375, #relaxed=185, #hardened=0 0.69/0.71 c BCD2: #sat=1 #unsat=13 bias=13/14 0.69/0.71 c Solving starts ... 0.69/0.71 c ============================[ Search Statistics ]============================ 0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.71 c | | | | Limit GC | Var | Constra 0.69/0.71 c ============================================================================= 0.69/0.71 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.69/0.72 c 0.0s | 0 | 624 | 0 | 9897 0 | 1106 | 2588 0.69/0.72 c #cpu_time = 0.009s 0.69/0.72 c #wall_clock_time = 0.009s 0.69/0.72 c #decision = 624 0.69/0.72 c #random_decision = 0 0.69/0.72 c #conflict = 0 0.69/0.72 c #restart = 0 0.69/0.72 c BCD2: found a new core of size 8: cost of the new core is >=1 0.69/0.72 c lower bound updated to 13 0.69/0.72 c BCD2: 13 <= obj <= 1788 0.69/0.72 c BCD2: #cores=13, #unrelaxed=3367, #relaxed=193, #hardened=0 0.69/0.72 c BCD2: #sat=1 #unsat=14 bias=14/15 0.69/0.72 c Solving starts ... 0.69/0.72 c ============================[ Search Statistics ]============================ 0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.72 c | | | | Limit GC | Var | Constra 0.69/0.72 c ============================================================================= 0.69/0.72 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.69/0.73 c 0.0s | 0 | 965 | 0 | 9897 0 | 1106 | 2588 0.69/0.73 c #cpu_time = 0.008s 0.69/0.73 c #wall_clock_time = 0.008s 0.69/0.73 c #decision = 965 0.69/0.73 c #random_decision = 0 0.69/0.73 c #conflict = 0 0.69/0.73 c #restart = 0 0.69/0.73 c BCD2: found a new core of size 39: cost of the new core is >=1 0.69/0.73 c lower bound updated to 14 0.69/0.73 c BCD2: 14 <= obj <= 1788 0.69/0.73 c BCD2: #cores=14, #unrelaxed=3328, #relaxed=232, #hardened=0 0.69/0.73 c BCD2: #sat=1 #unsat=15 bias=15/16 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.73 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.69/0.74 c 0.0s | 0 | 948 | 0 | 9897 0 | 1106 | 2588 0.69/0.74 c #cpu_time = 0.009s 0.69/0.74 c #wall_clock_time = 0.009s 0.69/0.74 c #decision = 948 0.69/0.74 c #random_decision = 0 0.69/0.74 c #conflict = 0 0.69/0.74 c #restart = 0 0.69/0.74 c BCD2: found a new core of size 9: cost of the new core is >=1 0.69/0.74 c lower bound updated to 15 0.69/0.75 c BCD2: 15 <= obj <= 1788 0.69/0.75 c BCD2: #cores=15, #unrelaxed=3319, #relaxed=241, #hardened=0 0.69/0.75 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 9897 0 | 1106 | 2588 0.69/0.76 c 0.0s | 0 | 1776 | 0 | 9897 0 | 1106 | 2588 0.69/0.76 c #cpu_time = 0.010s 0.69/0.76 c #wall_clock_time = 0.010s 0.69/0.76 c #decision = 1776 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 9: cost of the new core is >=1 0.69/0.76 c lower bound updated to 16 0.69/0.76 c BCD2: 16 <= obj <= 1788 0.69/0.76 c BCD2: #cores=16, #unrelaxed=3310, #relaxed=250, #hardened=0 0.69/0.76 c BCD2: #sat=1 #unsat=17 bias=17/18 0.69/0.76 c Solving starts ... 0.69/0.76 c ============================[ Search Statistics ]============================ 0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.76 c | | | | Limit GC | Var | Constra 0.69/0.76 c ============================================================================= 0.69/0.76 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.69/0.77 c 0.0s | 0 | 2102 | 0 | 9897 0 | 1106 | 2588 0.69/0.77 c #cpu_time = 0.012s 0.69/0.77 c #wall_clock_time = 0.012s 0.69/0.77 c #decision = 2102 0.69/0.77 c #random_decision = 0 0.69/0.77 c #conflict = 0 0.69/0.77 c #restart = 0 0.69/0.77 c BCD2: found a new core of size 144: cost of the new core is >=1 0.69/0.77 c lower bound updated to 17 0.69/0.77 c BCD2: 17 <= obj <= 1788 0.69/0.77 c BCD2: #cores=17, #unrelaxed=3166, #relaxed=394, #hardened=0 0.69/0.77 c BCD2: #sat=1 #unsat=18 bias=18/19 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.69/0.79 c 0.0s | 0 | 2350 | 0 | 9897 0 | 1106 | 2588 0.69/0.79 c #cpu_time = 0.015s 0.69/0.79 c #wall_clock_time = 0.015s 0.69/0.79 c #decision = 2350 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 143: cost of the new core is >=1 0.69/0.79 c lower bound updated to 18 0.69/0.79 c BCD2: 18 <= obj <= 1788 0.69/0.79 c BCD2: #cores=18, #unrelaxed=3023, #relaxed=537, #hardened=0 0.69/0.79 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 9897 0 | 1106 | 2588 0.79/0.81 c 0.0s | 0 | 2402 | 0 | 9897 0 | 1106 | 2588 0.79/0.81 c #cpu_time = 0.011s 0.79/0.81 c #wall_clock_time = 0.011s 0.79/0.81 c #decision = 2402 0.79/0.81 c #random_decision = 0 0.79/0.81 c #conflict = 0 0.79/0.81 c #restart = 0 0.79/0.81 c BCD2: found a new core of size 71: cost of the new core is >=1 0.79/0.81 c lower bound updated to 19 0.79/0.81 c BCD2: 19 <= obj <= 1788 0.79/0.81 c BCD2: #cores=19, #unrelaxed=2952, #relaxed=608, #hardened=0 0.79/0.81 c BCD2: #sat=1 #unsat=20 bias=20/21 0.79/0.81 c Solving starts ... 0.79/0.81 c ============================[ Search Statistics ]============================ 0.79/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.81 c | | | | Limit GC | Var | Constra 0.79/0.81 c ============================================================================= 0.79/0.81 c 0.0s | 0 | 0 | 0 | 9897 0 | 1106 | 2588 0.79/0.82 c 0.0s | 0 | 2416 | 0 | 9897 0 | 1106 | 2588 0.79/0.82 c #cpu_time = 0.011s 0.79/0.82 c #wall_clock_time = 0.011s 0.79/0.82 c #decision = 2416 0.79/0.82 c #random_decision = 0 0.79/0.82 c #conflict = 0 0.79/0.82 c #restart = 0 0.79/0.82 c BCD2: found a new core of size 86: cost of the new core is >=1 0.79/0.82 c lower bound updated to 20 0.79/0.83 c BCD2: 20 <= obj <= 1788 0.79/0.83 c BCD2: #cores=20, #unrelaxed=2866, #relaxed=694, #hardened=0 0.79/0.83 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 9897 0 | 1106 | 2588 0.79/0.85 c 0.0s | 0 | 2898 | 0 | 9897 0 | 1106 | 2588 0.79/0.85 c #cpu_time = 0.015s 0.79/0.85 c #wall_clock_time = 0.015s 0.79/0.85 c #decision = 2898 0.79/0.85 c #random_decision = 0 0.79/0.85 c #conflict = 0 0.79/0.85 c #restart = 0 0.79/0.85 o 42 0.79/0.85 c BCD2: updating upper bound: 1788 -> 41 0.79/0.86 c BCD2: 20 <= obj <= 41 0.79/0.86 c BCD2: #cores=20, #unrelaxed=2866, #relaxed=694, #hardened=0 0.79/0.86 c BCD2: #sat=2 #unsat=21 bias=21/23 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 | 9897 0 | 1106 | 2589 0.79/0.88 c 0.0s | 0 | 4771 | 8 | 9897 0 | 1106 | 2589 0.79/0.88 c #cpu_time = 0.022s 0.79/0.88 c #wall_clock_time = 0.022s 0.79/0.88 c #decision = 4771 0.79/0.88 c #random_decision = 0 0.79/0.88 c #conflict = 8 0.79/0.88 c #restart = 0 0.79/0.88 c BCD2: relaxing 6 and merging with 3 cores into a new core of size 16: cost of the new core is >=4 0.79/0.88 c lower bound updated to 21 0.79/0.88 c BCD2: 21 <= obj <= 41 0.79/0.88 c BCD2: #cores=18, #unrelaxed=2860, #relaxed=700, #hardened=0 0.79/0.88 c BCD2: #sat=2 #unsat=22 bias=22/24 0.79/0.89 c Solving starts ... 0.79/0.89 c ============================[ Search Statistics ]============================ 0.79/0.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.89 c | | | | Limit GC | Var | Constra 0.79/0.89 c ============================================================================= 0.79/0.89 c 0.0s | 0 | 0 | 0 | 9897 0 | 1112 | 2589 0.88/0.95 c 0.1s | 1 | 4748 | 100 | 10887 0 | 1112 | 2598 0.98/1.05 c 0.2s | 2 | 16133 | 250 | 11976 0 | 1112 | 2598 1.19/1.21 c 0.3s | 3 | 30591 | 475 | 13174 0 | 1112 | 2598 1.19/1.29 c 0.4s | 3 | 35392 | 538 | 13174 0 | 1112 | 2598 1.19/1.29 c #cpu_time = 0.406s 1.19/1.29 c #wall_clock_time = 0.407s 1.19/1.29 c #decision = 35392 1.19/1.29 c #random_decision = 4 1.19/1.29 c #conflict = 538 1.19/1.29 c #restart = 3 1.19/1.29 c BCD2: relaxing 146 and merging with 16 cores into a new core of size 751: cost of the new core is >=20 1.19/1.29 c lower bound updated to 22 1.29/1.30 c BCD2: 22 <= obj <= 41 1.29/1.30 c BCD2: #cores=3, #unrelaxed=2714, #relaxed=846, #hardened=0 1.29/1.30 c BCD2: #sat=2 #unsat=23 bias=23/25 1.29/1.30 c Solving starts ... 1.29/1.30 c ============================[ Search Statistics ]============================ 1.29/1.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.30 c | | | | Limit GC | Var | Constra 1.29/1.30 c ============================================================================= 1.29/1.30 c 0.0s | 0 | 0 | 0 | 13174 0 | 1157 | 2598 1.29/1.34 c 0.0s | 0 | 3071 | 1 | 13174 0 | 1157 | 2672 1.29/1.34 c #cpu_time = 0.035s 1.29/1.34 c #wall_clock_time = 0.035s 1.29/1.34 c #decision = 3071 1.29/1.34 c #random_decision = 0 1.29/1.34 c #conflict = 1 1.29/1.34 c #restart = 0 1.29/1.34 o 40 1.29/1.34 c BCD2: updating upper bound: 41 -> 39 1.29/1.35 c BCD2: 22 <= obj <= 39 1.29/1.35 c BCD2: #cores=3, #unrelaxed=2714, #relaxed=846, #hardened=0 1.29/1.35 c BCD2: #sat=3 #unsat=23 bias=23/26 1.29/1.35 c Solving starts ... 1.29/1.35 c ============================[ Search Statistics ]============================ 1.29/1.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.35 c | | | | Limit GC | Var | Constra 1.29/1.35 c ============================================================================= 1.29/1.35 c 0.0s | 0 | 0 | 0 | 13174 0 | 1157 | 2673 1.29/1.38 c 0.0s | 0 | 2483 | 0 | 13174 0 | 1157 | 2673 1.29/1.38 c #cpu_time = 0.017s 1.29/1.38 c #wall_clock_time = 0.017s 1.29/1.38 c #decision = 2483 1.29/1.38 c #random_decision = 1 1.29/1.38 c #conflict = 0 1.29/1.38 c #restart = 0 1.29/1.38 o 37 1.29/1.38 c BCD2: updating upper bound: 39 -> 36 1.29/1.39 c BCD2: 22 <= obj <= 36 1.29/1.39 c BCD2: #cores=3, #unrelaxed=2714, #relaxed=846, #hardened=0 1.29/1.39 c BCD2: #sat=4 #unsat=23 bias=23/27 1.29/1.39 c Solving starts ... 1.29/1.39 c ============================[ Search Statistics ]============================ 1.29/1.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.39 c | | | | Limit GC | Var | Constra 1.29/1.39 c ============================================================================= 1.29/1.39 c 0.0s | 0 | 0 | 0 | 13174 0 | 1157 | 2674 1.39/1.48 c 0.1s | 1 | 2694 | 100 | 13174 0 | 1157 | 2674 1.59/1.62 c 0.2s | 2 | 6037 | 250 | 13174 0 | 1157 | 2674 1.79/1.82 c 0.4s | 3 | 9055 | 475 | 14492 0 | 1157 | 2674 2.19/2.22 c 0.8s | 4 | 12643 | 813 | 15942 0 | 1157 | 2674 2.69/2.79 c 1.4s | 5 | 16570 | 1320 | 15942 0 | 1157 | 2674 3.39/3.43 c 2.0s | 6 | 21322 | 2081 | 17537 0 | 1157 | 2674 4.39/4.41 c 3.0s | 7 | 28408 | 3223 | 19291 0 | 1157 | 2674 5.89/5.98 c 4.6s | 8 | 37941 | 4936 | 21221 0 | 1157 | 2674 7.99/8.07 c 6.7s | 8 | 48662 | 7236 | 23344 0 | 1157 | 2674 8.29/8.30 c 6.9s | 9 | 49777 | 7506 | 23344 0 | 1157 | 2674 10.29/10.36 c 9.0s | 9 | 60023 | 9806 | 23344 0 | 1157 | 2674 11.69/11.78 c 10.4s | 10 | 64938 | 11361 | 25679 0 | 1157 | 2674 13.68/13.78 c 12.4s | 10 | 75717 | 13061 | 25679 0 | 1157 | 2674 15.78/15.83 c 14.4s | 10 | 82393 | 14261 | 25679 0 | 1157 | 2674 17.78/17.88 c 16.5s | 10 | 93484 | 15761 | 25679 0 | 1157 | 2674 19.89/19.92 c 18.5s | 11 | 104389 | 17144 | 28247 0 | 1157 | 2674 21.99/22.05 c 20.7s | 11 | 115935 | 18544 | 28247 0 | 1157 | 2674 24.08/24.15 c 22.8s | 11 | 126773 | 20044 | 28247 0 | 1157 | 2674 26.18/26.25 c 24.9s | 11 | 136123 | 21444 | 28247 0 | 1157 | 2674 28.18/28.29 c 26.9s | 11 | 144965 | 22844 | 28247 0 | 1157 | 2674 30.28/30.33 c 28.9s | 11 | 156179 | 24344 | 28247 0 | 1157 | 2674 32.38/32.43 c 31.0s | 11 | 164865 | 25644 | 31072 0 | 1157 | 2674 32.68/32.70 c 31.3s | 12 | 166179 | 25819 | 31072 0 | 1157 | 2674 34.68/34.72 c 33.3s | 12 | 175315 | 27019 | 31072 0 | 1157 | 2674 36.78/36.80 c 35.4s | 12 | 181954 | 28219 | 31072 0 | 1157 | 2674 38.78/38.83 c 37.4s | 12 | 189412 | 29419 | 31072 0 | 1157 | 2674 40.88/40.95 c 39.6s | 12 | 199437 | 30619 | 31072 0 | 1158 | 3474 42.99/43.03 c 41.6s | 12 | 207209 | 31919 | 31072 0 | 1158 | 3474 45.09/45.13 c 43.7s | 12 | 216449 | 33219 | 31072 0 | 1158 | 3474 47.18/47.25 c 45.9s | 12 | 225038 | 34519 | 31072 0 | 1158 | 3474 49.28/49.35 c 48.0s | 12 | 234492 | 35819 | 31072 0 | 1158 | 3474 51.38/51.42 c 50.0s | 12 | 241884 | 37019 | 31072 1 | 1158 | 3474 53.48/53.54 c 52.1s | 12 | 248625 | 38119 | 34180 1 | 1158 | 3474 55.78/55.82 c 54.4s | 12 | 251745 | 38619 | 34180 1 | 1158 | 3474 55.98/56.08 c 54.7s | 13 | 253014 | 38832 | 34180 1 | 1158 | 3474 58.08/58.14 c 56.7s | 13 | 269575 | 39932 | 34180 1 | 1158 | 3474 60.28/60.31 c 58.9s | 13 | 282329 | 40932 | 34180 1 | 1158 | 3474 62.38/62.40 c 61.0s | 13 | 290890 | 41932 | 34180 1 | 1158 | 3474 64.38/64.44 c 63.0s | 13 | 299648 | 42732 | 34180 1 | 1158 | 3474 66.58/66.60 c 65.2s | 13 | 308070 | 43732 | 34180 1 | 1158 | 3474 68.68/68.70 c 67.3s | 13 | 315605 | 44632 | 34180 1 | 1158 | 3474 70.68/70.72 c 69.3s | 13 | 324750 | 45532 | 34180 1 | 1158 | 3474 72.87/72.94 c 71.5s | 13 | 333935 | 46532 | 34180 1 | 1158 | 3474 74.97/75.00 c 73.6s | 13 | 341345 | 47432 | 34180 1 | 1158 | 3474 77.08/77.16 c 75.8s | 13 | 349265 | 48332 | 34180 1 | 1158 | 3474 79.18/79.28 c 77.9s | 13 | 357379 | 49232 | 34180 1 | 1158 | 3474 81.27/81.35 c 80.0s | 13 | 363732 | 50132 | 34180 1 | 1158 | 3474 83.37/83.42 c 82.0s | 13 | 371301 | 51032 | 34180 1 | 1158 | 3474 85.47/85.54 c 84.1s | 13 | 377897 | 51932 | 34180 1 | 1158 | 3474 87.47/87.59 c 86.2s | 13 | 385538 | 52932 | 34180 1 | 1158 | 3474 89.57/89.64 c 88.2s | 13 | 400255 | 54032 | 34180 1 | 1158 | 3474 91.77/91.81 c 90.4s | 13 | 408839 | 55132 | 34180 1 | 1158 | 3474 93.97/94.04 c 92.6s | 13 | 416581 | 56132 | 34180 1 | 1158 | 3474 96.07/96.19 c 94.8s | 13 | 423593 | 57032 | 34180 1 | 1158 | 3474 98.17/98.30 c 96.9s | 13 | 432400 | 57932 | 37598 1 | 1158 | 3474 99.17/99.26 c 97.9s | 14 | 436168 | 58352 | 37598 1 | 1158 | 3474 101.37/101.44 c 100s | 14 | 442908 | 59152 | 37598 2 | 1158 | 3474 103.57/103.68 c 102s | 14 | 450158 | 60052 | 37598 2 | 1158 | 3474 105.77/105.88 c 104s | 14 | 457991 | 60952 | 37598 2 | 1158 | 3474 107.97/108.05 c 106s | 14 | 463282 | 61852 | 37598 2 | 1158 | 3474 110.08/110.12 c 108s | 14 | 470274 | 62752 | 37598 2 | 1158 | 3474 112.07/112.19 c 110s | 14 | 476868 | 63752 | 37598 2 | 1158 | 3474 114.17/114.29 c 112s | 14 | 483420 | 64652 | 37598 2 | 1158 | 3474 116.27/116.32 c 114s | 14 | 488674 | 65352 | 37598 2 | 1158 | 3474 118.27/118.38 c 116s | 14 | 494738 | 66152 | 37598 2 | 1158 | 3474 120.37/120.43 c 119s | 14 | 499460 | 66852 | 37598 2 | 1158 | 3474 122.57/122.68 c 121s | 14 | 505654 | 67752 | 37598 2 | 1158 | 3474 124.67/124.74 c 123s | 14 | 512407 | 68552 | 37598 2 | 1158 | 3474 126.87/126.95 c 125s | 14 | 519149 | 69352 | 37598 2 | 1158 | 3474 128.97/129.05 c 127s | 14 | 524305 | 70152 | 37598 2 | 1158 | 3474 131.17/131.28 c 129s | 14 | 531768 | 71052 | 37598 2 | 1158 | 3474 133.36/133.48 c 132s | 14 | 536768 | 71752 | 37598 2 | 1158 | 3474 135.47/135.51 c 134s | 14 | 542064 | 72452 | 37598 2 | 1158 | 3474 137.57/137.61 c 136s | 14 | 548240 | 73152 | 37598 2 | 1158 | 3474 139.56/139.65 c 138s | 14 | 554151 | 73852 | 37598 2 | 1158 | 3474 141.56/141.65 c 140s | 14 | 560399 | 74652 | 37598 2 | 1158 | 3474 143.76/143.88 c 142s | 14 | 566761 | 75552 | 37598 2 | 1158 | 3474 145.96/146.07 c 144s | 14 | 572235 | 76352 | 37598 2 | 1158 | 3474 148.06/148.16 c 146s | 14 | 578825 | 77052 | 37598 2 | 1158 | 3474 150.36/150.43 c 149s | 14 | 583044 | 77752 | 37598 2 | 1158 | 3474 152.66/152.79 c 151s | 14 | 587532 | 78552 | 37598 2 | 1158 | 3474 154.76/154.89 c 153s | 14 | 591100 | 79252 | 37598 2 | 1158 | 3474 156.86/156.96 c 155s | 14 | 594538 | 79952 | 37598 2 | 1158 | 3474 159.36/159.41 c 158s | 14 | 599288 | 80552 | 37598 2 | 1158 | 3474 161.46/161.52 c 160s | 14 | 605946 | 81152 | 37598 2 | 1158 | 3474 163.56/163.67 c 162s | 14 | 611145 | 81752 | 37598 3 | 1158 | 3474 165.76/165.83 c 164s | 14 | 620435 | 82452 | 37598 3 | 1158 | 3474 167.86/167.92 c 166s | 14 | 629029 | 83452 | 37598 3 | 1158 | 3474 169.86/169.95 c 168s | 14 | 634699 | 84252 | 37598 3 | 1158 | 3474 171.96/172.09 c 170s | 14 | 642993 | 85152 | 37598 3 | 1158 | 3474 174.26/174.31 c 172s | 14 | 650725 | 86052 | 37598 3 | 1158 | 3474 176.26/176.33 c 174s | 14 | 657181 | 86852 | 41358 3 | 1158 | 3474 177.86/177.92 c 176s | 15 | 665320 | 87632 | 41358 3 | 1158 | 3474 179.86/179.95 c 178s | 15 | 673615 | 88632 | 41358 3 | 1158 | 3474 181.96/182.01 c 180s | 15 | 679316 | 89632 | 41358 3 | 1158 | 3474 183.96/184.04 c 182s | 15 | 685689 | 90532 | 41358 3 | 1158 | 3474 186.06/186.19 c 184s | 15 | 693297 | 91332 | 41358 3 | 1158 | 3474 188.26/188.31 c 186s | 15 | 699129 | 92032 | 41358 3 | 1158 | 3474 190.36/190.41 c 189s | 15 | 704310 | 92832 | 41358 3 | 1158 | 3474 192.56/192.64 c 191s | 15 | 708796 | 93732 | 41358 3 | 1158 | 3474 194.66/194.75 c 193s | 15 | 714689 | 94532 | 41358 3 | 1158 | 3474 196.75/196.86 c 195s | 15 | 720007 | 95232 | 41358 3 | 1158 | 3474 198.85/198.90 c 197s | 15 | 725203 | 95932 | 41358 3 | 1158 | 3474 200.95/201.07 c 199s | 15 | 729278 | 96732 | 41358 3 | 1158 | 3474 203.15/203.26 c 201s | 15 | 734009 | 97432 | 41358 3 | 1158 | 3474 205.26/205.39 c 203s | 15 | 738331 | 98132 | 41358 3 | 1158 | 3474 207.56/207.61 c 206s | 15 | 742219 | 98832 | 41358 3 | 1158 | 3474 209.66/209.75 c 208s | 15 | 747570 | 99532 | 41358 3 | 1158 | 3474 211.76/211.85 c 210s | 15 | 750519 | 99832 | 41358 3 | 1158 | 3474 214.06/214.13 c 212s | 15 | 756164 | 100532 | 41358 3 | 1158 | 3474 216.06/216.19 c 214s | 15 | 763475 | 101232 | 41358 3 | 1158 | 3474 218.26/218.30 c 216s | 15 | 770006 | 101932 | 41358 3 | 1158 | 3474 220.36/220.49 c 219s | 15 | 776533 | 102832 | 41358 3 | 1158 | 3474 222.66/222.79 c 221s | 15 | 782181 | 103632 | 41358 3 | 1158 | 3474 224.86/224.91 c 223s | 15 | 788057 | 104332 | 41358 3 | 1158 | 3474 226.86/226.92 c 225s | 15 | 793315 | 105032 | 41358 3 | 1158 | 3474 229.06/229.12 c 227s | 15 | 799563 | 105632 | 41358 3 | 1158 | 3474 231.26/231.33 c 229s | 15 | 807622 | 106332 | 41358 3 | 1158 | 3474 233.56/233.64 c 232s | 15 | 811754 | 107032 | 41358 3 | 1158 | 3474 235.65/235.78 c 234s | 15 | 815147 | 107532 | 41358 4 | 1158 | 3474 237.75/237.82 c 236s | 15 | 823227 | 108532 | 41358 4 | 1158 | 3474 239.95/240.01 c 238s | 15 | 829895 | 109532 | 41358 4 | 1158 | 3474 241.96/242.10 c 240s | 15 | 836100 | 110332 | 41358 4 | 1158 | 3474 244.05/244.11 c 242s | 15 | 839018 | 111132 | 41358 4 | 1158 | 3474 246.25/246.30 c 244s | 15 | 844859 | 111932 | 41358 4 | 1158 | 3474 248.35/248.47 c 247s | 15 | 851032 | 112732 | 41358 4 | 1158 | 3474 250.55/250.65 c 249s | 15 | 858483 | 113532 | 41358 4 | 1158 | 3474 252.65/252.70 c 251s | 15 | 864087 | 114232 | 41358 4 | 1158 | 3474 254.65/254.76 c 253s | 15 | 870683 | 114932 | 41358 4 | 1158 | 3474 256.85/256.91 c 255s | 15 | 875908 | 115632 | 41358 4 | 1158 | 3474 258.85/258.99 c 257s | 15 | 881714 | 116432 | 41358 4 | 1158 | 3474 260.95/261.01 c 259s | 15 | 885687 | 117132 | 41358 4 | 1158 | 3474 262.95/263.07 c 261s | 15 | 891298 | 117832 | 41358 4 | 1158 | 3474 265.15/265.23 c 263s | 15 | 896198 | 118532 | 41358 4 | 1158 | 3474 267.15/267.26 c 265s | 15 | 900307 | 119232 | 41358 4 | 1158 | 3474 269.15/269.28 c 267s | 15 | 905495 | 119932 | 41358 4 | 1158 | 3474 271.34/271.40 c 270s | 15 | 910494 | 120732 | 41358 4 | 1158 | 3474 273.34/273.41 c 272s | 15 | 914873 | 121532 | 41358 4 | 1158 | 3474 275.45/275.55 c 274s | 15 | 922379 | 122332 | 41358 4 | 1158 | 3474 278.64/278.72 c 277s | 15 | 923657 | 122532 | 41358 4 | 1158 | 3474 280.64/280.78 c 279s | 15 | 929550 | 123232 | 41358 4 | 1158 | 3474 282.94/283.02 c 281s | 15 | 936458 | 124132 | 41358 4 | 1158 | 3474 285.14/285.24 c 283s | 15 | 943897 | 125132 | 41358 4 | 1158 | 3474 287.24/287.39 c 285s | 15 | 948810 | 125932 | 41358 4 | 1158 | 3474 289.35/289.47 c 288s | 15 | 954912 | 126732 | 41358 4 | 1158 | 3474 291.45/291.55 c 290s | 15 | 959943 | 127432 | 41358 4 | 1158 | 3474 293.75/293.87 c 292s | 15 | 964046 | 128232 | 41358 4 | 1158 | 3474 295.85/295.99 c 294s | 15 | 969031 | 129032 | 41358 4 | 1158 | 3474 297.94/298.01 c 296s | 15 | 972568 | 129732 | 41358 4 | 1158 | 3474 300.04/300.18 c 298s | 15 | 977824 | 130532 | 45494 4 | 1158 | 3474 302.04/302.19 c 300s | 15 | 981567 | 131232 | 45494 4 | 1158 | 3474 302.94/303.02 c 301s | 16 | 984413 | 131552 | 45494 4 | 1158 | 3474 305.94/306.09 c 304s | 16 | 986967 | 131652 | 45494 5 | 1158 | 3474 307.95/308.09 c 306s | 16 | 999632 | 132452 | 45494 5 | 1158 | 3474 309.94/310.09 c 308s | 16 | 1014707 | 133252 | 45494 5 | 1158 | 3474 312.24/312.34 c 310s | 16 | 1030860 | 134152 | 45494 5 | 1158 | 3474 314.44/314.58 c 313s | 16 | 1038162 | 134952 | 45494 5 | 1158 | 3474 316.64/316.75 c 315s | 16 | 1045950 | 135652 | 45494 5 | 1158 | 3474 318.95/319.01 c 317s | 16 | 1052524 | 136452 | 45494 5 | 1158 | 3474 320.94/321.03 c 319s | 16 | 1067844 | 137352 | 45494 5 | 1158 | 3474 323.14/323.29 c 321s | 16 | 1079460 | 138352 | 45494 5 | 1158 | 3474 325.54/325.64 c 324s | 16 | 1087366 | 139152 | 45494 5 | 1158 | 3474 327.54/327.65 c 326s | 16 | 1097652 | 140052 | 45494 5 | 1158 | 3474 329.64/329.78 c 328s | 16 | 1109710 | 140852 | 45494 5 | 1158 | 3474 331.84/331.90 c 330s | 16 | 1117699 | 141552 | 45494 5 | 1158 | 3474 333.94/334.03 c 332s | 16 | 1129881 | 142252 | 45494 5 | 1158 | 3474 335.94/336.08 c 334s | 16 | 1137102 | 143052 | 45494 5 | 1158 | 3474 338.14/338.21 c 336s | 16 | 1141933 | 143752 | 45494 5 | 1158 | 3474 340.14/340.29 c 338s | 16 | 1146900 | 144552 | 45494 5 | 1158 | 3474 342.24/342.30 c 340s | 16 | 1153621 | 145252 | 45494 5 | 1158 | 3474 344.34/344.46 c 343s | 16 | 1162671 | 145952 | 45494 5 | 1158 | 3474 346.54/346.61 c 345s | 16 | 1172162 | 146752 | 45494 5 | 1158 | 3474 348.64/348.76 c 347s | 16 | 1182316 | 147452 | 45494 5 | 1158 | 3474 350.73/350.80 c 349s | 16 | 1188241 | 148152 | 45494 5 | 1158 | 3474 352.83/352.99 c 351s | 16 | 1191826 | 148852 | 45494 5 | 1158 | 3474 354.93/355.07 c 353s | 16 | 1197505 | 149552 | 45494 5 | 1158 | 3474 357.13/357.20 c 355s | 16 | 1202909 | 150252 | 45494 5 | 1158 | 3474 359.23/359.37 c 357s | 16 | 1212424 | 151052 | 45494 5 | 1158 | 3474 361.53/361.63 c 360s | 16 | 1225306 | 151852 | 45494 5 | 1158 | 3474 363.53/363.63 c 362s | 16 | 1233562 | 152752 | 45494 5 | 1158 | 3474 365.83/365.91 c 364s | 16 | 1244733 | 153652 | 45494 5 | 1158 | 3474 367.93/368.05 c 366s | 16 | 1251206 | 154252 | 45494 5 | 1158 | 3474 370.03/370.16 c 368s | 16 | 1260040 | 154852 | 45494 5 | 1158 | 3474 372.03/372.20 c 370s | 16 | 1270308 | 155552 | 45494 5 | 1158 | 3474 374.23/374.33 c 372s | 16 | 1283074 | 156152 | 45494 5 | 1158 | 3474 376.24/376.33 c 374s | 16 | 1290109 | 156752 | 45494 5 | 1158 | 3474 378.44/378.57 c 377s | 16 | 1298610 | 157352 | 45494 5 | 1158 | 3474 380.73/380.81 c 379s | 16 | 1307964 | 158052 | 45494 5 | 1158 | 3474 382.93/383.03 c 381s | 16 | 1315229 | 158752 | 45494 5 | 1158 | 3474 385.03/385.15 c 383s | 16 | 1319201 | 159352 | 45494 6 | 1158 | 3474 387.33/387.42 c 386s | 16 | 1327882 | 160052 | 45494 6 | 1158 | 3474 389.53/389.60 c 388s | 16 | 1335753 | 160752 | 45494 6 | 1158 | 3474 391.73/391.84 c 390s | 16 | 1345597 | 161452 | 45494 6 | 1158 | 3474 393.93/394.04 c 392s | 16 | 1349790 | 162152 | 45494 6 | 1158 | 3474 396.03/396.10 c 394s | 16 | 1354821 | 162852 | 45494 6 | 1158 | 3474 398.33/398.45 c 397s | 16 | 1361854 | 163552 | 45494 6 | 1158 | 3474 400.43/400.58 c 399s | 16 | 1371370 | 164252 | 45494 6 | 1158 | 3474 402.53/402.61 c 401s | 16 | 1376830 | 164952 | 45494 6 | 1158 | 3474 404.73/404.81 c 403s | 16 | 1382815 | 165652 | 45494 6 | 1158 | 3474 407.12/407.21 c 405s | 16 | 1387843 | 166252 | 45494 6 | 1158 | 3474 409.23/409.39 c 408s | 16 | 1395328 | 166952 | 45494 6 | 1158 | 3474 411.52/411.60 c 410s | 16 | 1400229 | 167652 | 45494 6 | 1158 | 3474 413.63/413.78 c 412s | 16 | 1405543 | 168252 | 45494 6 | 1158 | 3474 415.83/415.96 c 414s | 16 | 1409805 | 168852 | 45494 6 | 1158 | 3474 417.93/418.02 c 416s | 16 | 1417176 | 169652 | 45494 6 | 1158 | 3474 420.13/420.21 c 418s | 16 | 1428037 | 170452 | 45494 6 | 1158 | 3474 422.12/422.26 c 420s | 16 | 1438760 | 171152 | 45494 6 | 1158 | 3474 424.22/424.39 c 422s | 16 | 1449587 | 171852 | 45494 6 | 1158 | 3474 426.32/426.47 c 425s | 16 | 1456515 | 172452 | 45494 6 | 1158 | 3474 428.42/428.52 c 427s | 16 | 1462093 | 173052 | 45494 6 | 1158 | 3474 432.03/432.14 c 430s | 16 | 1467643 | 173552 | 45494 6 | 1158 | 3474 434.22/434.36 c 432s | 16 | 1475284 | 174152 | 45494 6 | 1158 | 3474 436.42/436.52 c 435s | 16 | 1483776 | 174852 | 45494 6 | 1158 | 3474 438.42/438.55 c 437s | 16 | 1489464 | 175452 | 45494 6 | 1158 | 3474 440.82/440.92 c 439s | 16 | 1495547 | 176152 | 45494 6 | 1158 | 3474 443.12/443.29 c 441s | 16 | 1500152 | 176852 | 45494 6 | 1158 | 3474 445.43/445.55 c 444s | 16 | 1509258 | 177452 | 45494 6 | 1158 | 3474 447.63/447.78 c 446s | 16 | 1516084 | 178052 | 45494 6 | 1158 | 3474 449.72/449.81 c 448s | 16 | 1522358 | 178652 | 45494 6 | 1158 | 3474 451.92/452.10 c 450s | 16 | 1527523 | 179252 | 45494 6 | 1158 | 3474 454.23/454.35 c 452s | 16 | 1532479 | 179852 | 45494 6 | 1158 | 3474 456.43/456.60 c 455s | 16 | 1538519 | 180652 | 45494 6 | 1158 | 3474 458.52/458.61 c 457s | 16 | 1549215 | 181352 | 45494 6 | 1158 | 3474 460.72/460.86 c 459s | 16 | 1558339 | 182152 | 45494 6 | 1158 | 3474 462.82/462.96 c 461s | 16 | 1564515 | 182952 | 45494 6 | 1158 | 3474 465.02/465.15 c 463s | 16 | 1572455 | 183652 | 45494 6 | 1158 | 3474 467.43/467.53 c 466s | 16 | 1576598 | 184252 | 45494 6 | 1158 | 3474 469.52/469.70 c 468s | 16 | 1583364 | 184952 | 45494 7 | 1158 | 3474 471.62/471.75 c 470s | 16 | 1588997 | 185752 | 45494 7 | 1158 | 3474 473.82/473.98 c 472s | 16 | 1596375 | 186452 | 45494 7 | 1158 | 3474 475.92/476.05 c 474s | 16 | 1607178 | 187152 | 45494 7 | 1158 | 3474 477.92/478.07 c 476s | 16 | 1613896 | 187752 | 45494 7 | 1158 | 3474 480.02/480.12 c 478s | 16 | 1622378 | 188352 | 45494 7 | 1158 | 3474 482.02/482.12 c 480s | 16 | 1627088 | 188952 | 45494 7 | 1158 | 3474 484.02/484.17 c 482s | 16 | 1631288 | 189552 | 45494 7 | 1158 | 3474 486.12/486.22 c 484s | 16 | 1634509 | 190152 | 45494 7 | 1158 | 3474 488.21/488.33 c 486s | 16 | 1643180 | 190852 | 45494 7 | 1158 | 3474 490.41/490.55 c 489s | 16 | 1652652 | 191652 | 45494 7 | 1158 | 3474 492.61/492.71 c 491s | 16 | 1658988 | 192452 | 45494 7 | 1158 | 3474 494.81/494.95 c 493s | 16 | 1666709 | 193152 | 45494 7 | 1158 | 3474 496.91/497.07 c 495s | 16 | 1674451 | 193852 | 45494 7 | 1158 | 3474 499.01/499.18 c 497s | 16 | 1679809 | 194552 | 45494 7 | 1158 | 3474 501.21/501.39 c 499s | 16 | 1685511 | 195252 | 45494 7 | 1158 | 3474 503.41/503.53 c 502s | 16 | 1689592 | 195952 | 50044 7 | 1158 | 3474 505.41/505.57 c 504s | 16 | 1692528 | 196652 | 50044 7 | 1158 | 3474 507.51/507.63 c 506s | 16 | 1697770 | 197252 | 50044 7 | 1158 | 3474 508.01/508.19 c 506s | 17 | 1701524 | 197432 | 50044 7 | 1158 | 3474 510.11/510.22 c 508s | 17 | 1710743 | 198032 | 50044 7 | 1158 | 3474 512.31/512.43 c 511s | 17 | 1717570 | 198632 | 50044 7 | 1158 | 3474 514.51/514.66 c 513s | 17 | 1721031 | 199232 | 50044 7 | 1158 | 3474 516.61/516.78 c 515s | 17 | 1726242 | 199832 | 50044 7 | 1158 | 3474 518.81/518.91 c 517s | 17 | 1729598 | 200532 | 50044 7 | 1158 | 3474 520.81/520.92 c 519s | 17 | 1737897 | 201232 | 50044 7 | 1158 | 3474 523.01/523.13 c 521s | 17 | 1745923 | 201932 | 50044 7 | 1158 | 3474 525.01/525.13 c 523s | 17 | 1751132 | 202532 | 50044 7 | 1158 | 3474 527.21/527.35 c 525s | 17 | 1757379 | 203232 | 50044 7 | 1158 | 3474 529.31/529.41 c 528s | 17 | 1761484 | 203832 | 50044 7 | 1158 | 3474 531.41/531.50 c 530s | 17 | 1770788 | 204532 | 50044 7 | 1158 | 3474 533.61/533.78 c 532s | 17 | 1776825 | 205332 | 50044 7 | 1158 | 3474 536.01/536.13 c 534s | 17 | 1782794 | 206032 | 50044 7 | 1158 | 3474 538.41/538.50 c 537s | 17 | 1790211 | 206632 | 50044 7 | 1158 | 3474 540.71/540.87 c 539s | 17 | 1795244 | 207232 | 50044 7 | 1158 | 3474 543.01/543.10 c 541s | 17 | 1801980 | 207932 | 50044 7 | 1158 | 3474 545.21/545.32 c 543s | 17 | 1808550 | 208732 | 50044 7 | 1158 | 3474 547.31/547.41 c 546s | 17 | 1814245 | 209332 | 50044 7 | 1158 | 3474 549.41/549.55 c 548s | 17 | 1819510 | 209932 | 50044 7 | 1158 | 3474 551.71/551.81 c 550s | 17 | 1827292 | 210632 | 50044 7 | 1158 | 3474 553.90/554.09 c 552s | 17 | 1832660 | 211232 | 50044 7 | 1158 | 3474 556.20/556.39 c 554s | 17 | 1837188 | 211832 | 50044 7 | 1158 | 3474 558.30/558.44 c 557s | 17 | 1844893 | 212432 | 50044 7 | 1158 | 3474 560.30/560.48 c 559s | 17 | 1849461 | 212932 | 50044 7 | 1158 | 3474 562.40/562.57 c 561s | 17 | 1854085 | 213632 | 50044 7 | 1158 | 3474 564.70/564.81 c 563s | 17 | 1860375 | 214232 | 50044 7 | 1158 | 3474 567.20/567.31 c 565s | 17 | 1868507 | 214832 | 50044 8 | 1158 | 3474 569.20/569.40 c 568s | 17 | 1875072 | 215432 | 50044 8 | 1158 | 3474 571.40/571.52 c 570s | 17 | 1881598 | 216232 | 50044 8 | 1158 | 3474 573.70/573.82 c 572s | 17 | 1891951 | 216932 | 50044 8 | 1158 | 3474 575.80/575.96 c 574s | 17 | 1897821 | 217632 | 50044 8 | 1158 | 3474 577.90/578.09 c 576s | 17 | 1904471 | 218332 | 50044 8 | 1158 | 3474 580.10/580.29 c 578s | 17 | 1913552 | 219032 | 50044 8 | 1158 | 3474 582.50/582.63 c 581s | 17 | 1920416 | 219732 | 50044 8 | 1158 | 3474 584.50/584.68 c 583s | 17 | 1926555 | 220332 | 50044 8 | 1158 | 3474 586.60/586.75 c 585s | 17 | 1932561 | 220932 | 50044 8 | 1158 | 3474 588.70/588.89 c 587s | 17 | 1938576 | 221532 | 50044 8 | 1158 | 3474 590.90/591.04 c 589s | 17 | 1945465 | 222232 | 50044 8 | 1158 | 3474 593.30/593.41 c 592s | 17 | 1953741 | 222932 | 50044 8 | 1158 | 3474 595.60/595.71 c 594s | 17 | 1959146 | 223532 | 50044 8 | 1158 | 3474 597.90/598.07 c 596s | 17 | 1964112 | 224232 | 50044 8 | 1158 | 3474 600.00/600.12 c 598s | 17 | 1970625 | 224932 | 50044 8 | 1158 | 3474 602.10/602.24 c 600s | 17 | 1976328 | 225632 | 50044 8 | 1158 | 3474 604.30/604.48 c 603s | 17 | 1981517 | 226332 | 50044 8 | 1158 | 3474 606.59/606.72 c 605s | 17 | 1992688 | 227232 | 50044 8 | 1158 | 3474 608.79/608.94 c 607s | 17 | 1999539 | 228032 | 50044 8 | 1158 | 3474 610.89/611.00 c 609s | 17 | 2004909 | 228832 | 50044 8 | 1158 | 3474 613.09/613.28 c 611s | 17 | 2009271 | 229132 | 50044 8 | 1158 | 3474 615.19/615.32 c 613s | 17 | 2015809 | 229732 | 50044 8 | 1158 | 3474 617.39/617.51 c 616s | 17 | 2023838 | 230632 | 50044 8 | 1158 | 3474 619.39/619.55 c 618s | 17 | 2032344 | 231532 | 50044 8 | 1158 | 3474 621.59/621.71 c 620s | 17 | 2040959 | 232432 | 50044 8 | 1158 | 3474 623.60/623.76 c 622s | 17 | 2048187 | 233232 | 50044 8 | 1158 | 3474 625.59/625.76 c 624s | 17 | 2056343 | 233932 | 50044 8 | 1158 | 3474 627.89/628.02 c 626s | 17 | 2062435 | 234632 | 50044 8 | 1158 | 3474 629.99/630.15 c 628s | 17 | 2071021 | 235332 | 50044 8 | 1158 | 3474 632.20/632.32 c 630s | 17 | 2077266 | 235932 | 50044 8 | 1158 | 3474 634.30/634.41 c 633s | 17 | 2083589 | 236532 | 50044 8 | 1158 | 3474 636.50/636.66 c 635s | 17 | 2096532 | 237232 | 50044 8 | 1158 | 3474 638.70/638.80 c 637s | 17 | 2101960 | 237932 | 50044 8 | 1158 | 3474 640.70/640.86 c 639s | 17 | 2107131 | 238632 | 50044 8 | 1158 | 3474 642.80/642.92 c 641s | 17 | 2110624 | 239232 | 50044 8 | 1158 | 3474 645.00/645.12 c 643s | 17 | 2114886 | 239932 | 50044 8 | 1158 | 3474 647.29/647.45 c 646s | 17 | 2120424 | 240532 | 50044 8 | 1158 | 3474 649.59/649.73 c 648s | 17 | 2125334 | 241232 | 50044 8 | 1158 | 3474 651.89/652.06 c 650s | 17 | 2128600 | 241832 | 50044 8 | 1158 | 3474 654.09/654.21 c 652s | 17 | 2130869 | 242332 | 50044 8 | 1158 | 3474 656.29/656.41 c 655s | 17 | 2133182 | 243132 | 50044 9 | 1158 | 3474 658.29/658.47 c 657s | 17 | 2139222 | 243832 | 50044 9 | 1158 | 3474 660.49/660.70 c 659s | 17 | 2147416 | 244732 | 50044 9 | 1158 | 3474 662.79/662.99 c 661s | 17 | 2155968 | 245632 | 50044 9 | 1158 | 3474 664.89/665.05 c 663s | 17 | 2162388 | 246332 | 50044 9 | 1158 | 3474 666.99/667.16 c 665s | 17 | 2167611 | 247232 | 50044 9 | 1158 | 3474 669.19/669.33 c 667s | 17 | 2175701 | 248032 | 50044 9 | 1158 | 3474 671.19/671.36 c 669s | 17 | 2182054 | 248732 | 50044 9 | 1158 | 3474 673.49/673.65 c 672s | 17 | 2186919 | 249432 | 50044 9 | 1158 | 3474 675.89/676.03 c 674s | 17 | 2196294 | 250132 | 50044 9 | 1158 | 3474 677.99/678.17 c 676s | 17 | 2200399 | 250632 | 50044 9 | 1158 | 3474 680.19/680.39 c 678s | 17 | 2210814 | 251332 | 50044 9 | 1158 | 3474 682.49/682.63 c 681s | 17 | 2220174 | 251932 | 50044 9 | 1158 | 3474 684.79/684.91 c 683s | 17 | 2226837 | 252632 | 50044 9 | 1158 | 3474 686.99/687.15 c 685s | 17 | 2231296 | 253332 | 50044 9 | 1158 | 3474 689.09/689.21 c 687s | 17 | 2235810 | 254032 | 50044 9 | 1158 | 3474 691.49/691.66 c 690s | 17 | 2240372 | 254732 | 50044 9 | 1158 | 3474 693.49/693.67 c 692s | 17 | 2244860 | 255432 | 50044 9 | 1158 | 3474 695.79/695.90 c 694s | 17 | 2249321 | 256032 | 50044 9 | 1158 | 3474 698.08/698.20 c 696s | 17 | 2255433 | 256732 | 50044 9 | 1158 | 3474 700.48/700.62 c 699s | 17 | 2262684 | 257432 | 50044 9 | 1158 | 3474 702.58/702.75 c 701s | 17 | 2270794 | 258132 | 50044 9 | 1158 | 3474 704.99/705.19 c 703s | 17 | 2279835 | 258832 | 50044 9 | 1158 | 3474 707.29/707.43 c 706s | 17 | 2287232 | 259432 | 50044 9 | 1158 | 3474 709.49/709.62 c 708s | 17 | 2291753 | 260132 | 50044 9 | 1158 | 3474 711.59/711.72 c 710s | 17 | 2297305 | 260732 | 50044 9 | 1158 | 3474 713.89/714.01 c 712s | 17 | 2305109 | 261432 | 50044 9 | 1158 | 3474 715.99/716.12 c 714s | 17 | 2310210 | 262132 | 50044 9 | 1158 | 3474 718.19/718.33 c 716s | 17 | 2314769 | 262832 | 50044 9 | 1158 | 3474 720.28/720.49 c 719s | 17 | 2319185 | 263432 | 50044 9 | 1158 | 3474 722.38/722.57 c 721s | 17 | 2324583 | 264132 | 50044 9 | 1158 | 3474 724.58/724.73 c 723s | 17 | 2329994 | 264832 | 50044 9 | 1158 | 3474 726.68/726.81 c 725s | 17 | 2333240 | 265432 | 50044 9 | 1158 | 3474 728.68/728.89 c 727s | 17 | 2340619 | 266032 | 50044 9 | 1158 | 3474 730.77/730.97 c 729s | 17 | 2348058 | 266632 | 50044 9 | 1158 | 3474 732.87/733.08 c 731s | 17 | 2356580 | 267232 | 50044 9 | 1158 | 3474 735.07/735.26 c 733s | 17 | 2363452 | 267932 | 50044 9 | 1158 | 3474 737.37/737.55 c 736s | 17 | 2369233 | 268532 | 50044 9 | 1158 | 3474 739.57/739.75 c 738s | 17 | 2374992 | 269032 | 50044 9 | 1158 | 3474 741.77/741.95 c 740s | 17 | 2380512 | 269632 | 50044 9 | 1158 | 3474 743.77/743.96 c 742s | 17 | 2385790 | 270132 | 50044 9 | 1158 | 3474 746.07/746.25 c 744s | 17 | 2390478 | 270632 | 50044 10 | 1158 | 3474 748.37/748.50 c 747s | 17 | 2397328 | 271332 | 50044 10 | 1158 | 3474 750.36/750.56 c 749s | 17 | 2408105 | 272132 | 50044 10 | 1158 | 3474 752.56/752.75 c 751s | 17 | 2414774 | 272932 | 50044 10 | 1158 | 3474 754.57/754.76 c 753s | 17 | 2421826 | 273632 | 50044 10 | 1158 | 3474 756.56/756.78 c 755s | 17 | 2427832 | 274332 | 50044 10 | 1158 | 3474 758.76/758.95 c 757s | 17 | 2433832 | 275032 | 50044 10 | 1158 | 3474 760.96/761.10 c 759s | 17 | 2440530 | 275732 | 50044 10 | 1158 | 3474 763.06/763.24 c 761s | 17 | 2446510 | 276432 | 50044 10 | 1158 | 3474 765.26/765.46 c 764s | 17 | 2453569 | 277132 | 50044 10 | 1158 | 3474 767.46/767.69 c 766s | 17 | 2461627 | 277932 | 50044 10 | 1158 | 3474 769.86/770.02 c 768s | 17 | 2470949 | 278632 | 50044 10 | 1158 | 3474 772.16/772.31 c 770s | 17 | 2477508 | 279232 | 50044 10 | 1158 | 3474 774.36/774.57 c 773s | 17 | 2482762 | 279732 | 50044 10 | 1158 | 3474 776.46/776.63 c 775s | 17 | 2486213 | 280332 | 50044 10 | 1158 | 3474 778.45/778.67 c 777s | 17 | 2491318 | 280932 | 50044 10 | 1158 | 3474 780.65/780.87 c 779s | 17 | 2500415 | 281632 | 50044 10 | 1158 | 3474 782.95/783.18 c 781s | 17 | 2507700 | 282332 | 50044 10 | 1158 | 3474 785.05/785.27 c 783s | 17 | 2514068 | 282932 | 50044 10 | 1158 | 3474 787.15/787.32 c 785s | 17 | 2518333 | 283632 | 50044 10 | 1158 | 3474 789.45/789.64 c 788s | 17 | 2521315 | 284232 | 50044 10 | 1158 | 3474 791.74/791.90 c 790s | 17 | 2529019 | 284932 | 50044 10 | 1158 | 3474 793.84/794.02 c 792s | 17 | 2535572 | 285732 | 50044 10 | 1158 | 3474 795.84/796.09 c 794s | 17 | 2543421 | 286432 | 50044 10 | 1158 | 3474 798.04/798.26 c 796s | 17 | 2551071 | 287032 | 50044 10 | 1158 | 3474 800.44/800.61 c 799s | 17 | 2555150 | 287532 | 50044 10 | 1158 | 3474 802.64/802.86 c 801s | 17 | 2561324 | 288132 | 50044 10 | 1158 | 3474 805.04/805.29 c 803s | 17 | 2569480 | 288832 | 50044 10 | 1158 | 3474 807.34/807.59 c 806s | 17 | 2576590 | 289532 | 50044 10 | 1158 | 3474 809.44/809.63 c 808s | 17 | 2581501 | 290132 | 50044 10 | 1158 | 3474 811.53/811.78 c 810s | 17 | 2589202 | 290732 | 50044 10 | 1158 | 3474 813.63/813.86 c 812s | 17 | 2596022 | 291332 | 50044 10 | 1158 | 3474 815.93/816.16 c 814s | 17 | 2602224 | 291932 | 50044 10 | 1158 | 3474 818.13/818.31 c 816s | 17 | 2607069 | 292532 | 50044 10 | 1158 | 3474 820.43/820.63 c 819s | 17 | 2613886 | 293132 | 50044 10 | 1158 | 3474 822.52/822.74 c 821s | 17 | 2620027 | 293832 | 55049 10 | 1158 | 3474 824.72/824.91 c 823s | 17 | 2626100 | 294432 | 55049 10 | 1158 | 3474 826.72/826.91 c 825s | 17 | 2630909 | 294932 | 55049 10 | 1158 | 3474 828.92/829.11 c 827s | 17 | 2637780 | 295532 | 55049 10 | 1158 | 3474 831.12/831.34 c 829s | 17 | 2643056 | 296132 | 55049 10 | 1158 | 3474 831.52/831.79 c 830s | 18 | 2644241 | 296252 | 55049 10 | 1158 | 3474 833.82/834.02 c 832s | 18 | 2650543 | 296852 | 55049 10 | 1158 | 3474 836.02/836.22 c 834s | 18 | 2656253 | 297352 | 55049 10 | 1158 | 3474 839.41/839.67 c 838s | 18 | 2658784 | 297652 | 55049 10 | 1158 | 3474 841.72/841.97 c 840s | 18 | 2660750 | 297852 | 55049 10 | 1158 | 3474 843.81/844.03 c 842s | 18 | 2663848 | 298352 | 55049 10 | 1158 | 3474 846.11/846.37 c 844s | 18 | 2667643 | 298852 | 55049 10 | 1158 | 3474 848.31/848.52 c 847s | 18 | 2672899 | 299352 | 55049 10 | 1158 | 3474 850.41/850.66 c 849s | 18 | 2680568 | 299952 | 55049 10 | 1158 | 3474 852.71/852.90 c 851s | 18 | 2686699 | 300552 | 55049 10 | 1158 | 3474 854.71/854.92 c 853s | 18 | 2691331 | 301152 | 55049 10 | 1158 | 3474 856.91/857.17 c 855s | 18 | 2697182 | 301852 | 55049 10 | 1158 | 3474 859.11/859.36 c 857s | 18 | 2701959 | 302452 | 55049 10 | 1158 | 3474 861.41/861.61 c 860s | 18 | 2706326 | 303052 | 55049 10 | 1158 | 3474 863.41/863.67 c 862s | 18 | 2710554 | 303552 | 55049 11 | 1158 | 3474 865.71/865.94 c 864s | 18 | 2716112 | 304352 | 55049 11 | 1158 | 3474 868.01/868.20 c 866s | 18 | 2719928 | 305052 | 55049 11 | 1158 | 3474 870.01/870.26 c 868s | 18 | 2722492 | 305652 | 55049 11 | 1158 | 3474 872.11/872.32 c 870s | 18 | 2730018 | 306252 | 55049 11 | 1158 | 3474 874.10/874.34 c 872s | 18 | 2737853 | 306852 | 55049 11 | 1158 | 3474 876.20/876.47 c 875s | 18 | 2744356 | 307552 | 55049 11 | 1158 | 3474 878.50/878.71 c 877s | 18 | 2759570 | 308252 | 55049 11 | 1158 | 3474 880.70/880.93 c 879s | 18 | 2769849 | 309152 | 55049 11 | 1158 | 3474 882.80/883.06 c 881s | 18 | 2777180 | 309852 | 55049 11 | 1158 | 3474 885.10/885.34 c 883s | 18 | 2785656 | 310652 | 55049 11 | 1158 | 3474 887.51/887.73 c 886s | 18 | 2796531 | 311452 | 55049 11 | 1158 | 3474 889.81/890.05 c 888s | 18 | 2804357 | 312252 | 55049 11 | 1158 | 3474 892.01/892.28 c 890s | 18 | 2811896 | 312952 | 55049 11 | 1158 | 3474 894.21/894.46 c 893s | 18 | 2817911 | 313552 | 55049 11 | 1158 | 3474 896.31/896.51 c 895s | 18 | 2821093 | 314052 | 55049 11 | 1158 | 3474 898.30/898.57 c 897s | 18 | 2824167 | 314652 | 55049 11 | 1158 | 3474 900.70/900.98 c 899s | 18 | 2829921 | 315252 | 55049 11 | 1158 | 3474 902.90/903.11 c 901s | 18 | 2833998 | 315752 | 55049 11 | 1158 | 3474 905.00/905.24 c 903s | 18 | 2842207 | 316352 | 55049 11 | 1158 | 3474 907.00/907.28 c 905s | 18 | 2845276 | 316852 | 55049 11 | 1158 | 3474 909.09/909.36 c 907s | 18 | 2853083 | 317452 | 55049 11 | 1158 | 3474 911.19/911.45 c 910s | 18 | 2862691 | 318152 | 55049 11 | 1158 | 3474 913.59/913.81 c 912s | 18 | 2870367 | 318852 | 55049 11 | 1158 | 3474 915.69/915.97 c 914s | 18 | 2878509 | 319452 | 55049 11 | 1158 | 3474 917.89/918.12 c 916s | 18 | 2885472 | 320152 | 55049 11 | 1158 | 3474 919.89/920.18 c 918s | 18 | 2892791 | 320752 | 55049 11 | 1158 | 3474 921.99/922.20 c 920s | 18 | 2896717 | 321252 | 55049 11 | 1158 | 3474 924.09/924.39 c 922s | 18 | 2899367 | 321852 | 55049 11 | 1158 | 3474 926.29/926.60 c 925s | 18 | 2902318 | 322452 | 55049 11 | 1158 | 3474 928.59/928.80 c 927s | 18 | 2910686 | 323152 | 55049 11 | 1158 | 3474 930.59/930.87 c 929s | 18 | 2918081 | 323852 | 55049 11 | 1158 | 3474 932.59/932.88 c 931s | 18 | 2923810 | 324352 | 55049 11 | 1158 | 3474 934.69/934.95 c 933s | 18 | 2929504 | 324952 | 55049 11 | 1158 | 3474 936.79/937.04 c 935s | 18 | 2937154 | 325552 | 55049 11 | 1158 | 3474 938.89/939.15 c 937s | 18 | 2942932 | 326152 | 55049 11 | 1158 | 3474 940.98/941.21 c 939s | 18 | 2949056 | 326752 | 55049 11 | 1158 | 3474 943.08/943.32 c 941s | 18 | 2954330 | 327252 | 55049 11 | 1158 | 3474 945.08/945.33 c 943s | 18 | 2958055 | 327852 | 55049 11 | 1158 | 3474 947.28/947.50 c 946s | 18 | 2961961 | 328452 | 55049 11 | 1158 | 3474 949.58/949.80 c 948s | 18 | 2967462 | 329052 | 55049 11 | 1158 | 3474 951.78/952.02 c 950s | 18 | 2972005 | 329552 | 55049 11 | 1158 | 3474 953.78/954.07 c 952s | 18 | 2975780 | 330052 | 55049 11 | 1158 | 3474 955.88/956.11 c 954s | 18 | 2980871 | 330552 | 55049 11 | 1158 | 3474 957.99/958.21 c 956s | 18 | 2984882 | 331052 | 55049 11 | 1158 | 3474 960.18/960.47 c 959s | 18 | 2991207 | 331552 | 55049 11 | 1158 | 3474 962.47/962.73 c 961s | 18 | 2998745 | 332352 | 55049 11 | 1158 | 3474 964.48/964.77 c 963s | 18 | 3005543 | 332952 | 55049 11 | 1158 | 3474 966.68/967.00 c 965s | 18 | 3011058 | 333552 | 55049 11 | 1158 | 3474 968.88/969.12 c 967s | 18 | 3017106 | 334052 | 55049 12 | 1158 | 3474 970.87/971.19 c 969s | 18 | 3024699 | 334752 | 55049 12 | 1158 | 3474 973.07/973.34 c 971s | 18 | 3028264 | 335452 | 55049 12 | 1158 | 3474 975.17/975.43 c 974s | 18 | 3031797 | 336152 | 55049 12 | 1158 | 3474 977.17/977.49 c 976s | 18 | 3035878 | 336852 | 55049 12 | 1158 | 3474 979.47/979.76 c 978s | 18 | 3043776 | 337552 | 55049 12 | 1158 | 3474 981.56/981.84 c 980s | 18 | 3048517 | 338252 | 55049 12 | 1158 | 3474 983.76/984.09 c 982s | 18 | 3053166 | 338852 | 55049 12 | 1158 | 3474 985.86/986.10 c 984s | 18 | 3056986 | 339352 | 55049 12 | 1158 | 3474 987.96/988.20 c 986s | 18 | 3064696 | 339952 | 55049 12 | 1158 | 3474 989.96/990.27 c 988s | 18 | 3071374 | 340552 | 55049 12 | 1158 | 3474 992.26/992.58 c 991s | 18 | 3078316 | 341152 | 55049 12 | 1158 | 3474 994.55/994.80 c 993s | 18 | 3082478 | 341752 | 55049 12 | 1158 | 3474 996.55/996.82 c 995s | 18 | 3086747 | 342252 | 55049 12 | 1158 | 3474 998.66/998.98 c 997s | 18 | 3094322 | 342952 | 55049 12 | 1158 | 3474 1000.76/1001.06 c 999s | 18 | 3098961 | 343552 | 55049 12 | 1158 | 3474 1002.75/1003.09 c 1001s | 18 | 3103306 | 344052 | 55049 12 | 1158 | 3474 1004.85/1005.12 c 1003s | 18 | 3107584 | 344752 | 55049 12 | 1158 | 3474 1007.05/1007.31 c 1005s | 18 | 3115605 | 345452 | 55049 12 | 1158 | 3474 1009.15/1009.48 c 1008s | 18 | 3120375 | 346052 | 55049 12 | 1158 | 3474 1011.35/1011.61 c 1010s | 18 | 3123781 | 346752 | 55049 12 | 1158 | 3474 1013.35/1013.64 c 1012s | 18 | 3127133 | 347252 | 55049 12 | 1158 | 3474 1015.64/1015.92 c 1014s | 18 | 3132261 | 347952 | 55049 12 | 1158 | 3474 1017.84/1018.16 c 1016s | 18 | 3136576 | 348652 | 55049 12 | 1158 | 3474 1019.94/1020.28 c 1018s | 18 | 3140656 | 349252 | 55049 12 | 1158 | 3474 1022.34/1022.61 c 1021s | 18 | 3144861 | 349952 | 55049 12 | 1158 | 3474 1024.44/1024.70 c 1023s | 18 | 3150536 | 350552 | 55049 12 | 1158 | 3474 1026.64/1026.90 c 1025s | 18 | 3154906 | 351152 | 55049 12 | 1158 | 3474 1028.74/1029.07 c 1027s | 18 | 3159915 | 351752 | 55049 12 | 1158 | 3474 1030.73/1031.07 c 1029s | 18 | 3164678 | 352352 | 55049 12 | 1158 | 3474 1032.93/1033.27 c 1031s | 18 | 3168235 | 352952 | 55049 12 | 1158 | 3474 1035.23/1035.56 c 1034s | 18 | 3173342 | 353652 | 55049 12 | 1158 | 3474 1037.53/1037.80 c 1036s | 18 | 3177428 | 354252 | 55049 12 | 1158 | 3474 1039.73/1040.06 c 1038s | 18 | 3180858 | 354852 | 55049 12 | 1158 | 3474 1041.93/1042.24 c 1040s | 18 | 3183937 | 355352 | 55049 12 | 1158 | 3474 1044.23/1044.52 c 1043s | 18 | 3187124 | 355952 | 55049 12 | 1158 | 3474 1046.53/1046.87 c 1045s | 18 | 3192494 | 356452 | 55049 12 | 1158 | 3474 1048.93/1049.24 c 1047s | 18 | 3200701 | 357252 | 55049 12 | 1158 | 3474 1051.12/1051.47 c 1050s | 18 | 3208543 | 357952 | 55049 12 | 1158 | 3474 1053.42/1053.70 c 1052s | 18 | 3214615 | 358552 | 55049 12 | 1158 | 3474 1055.73/1056.07 c 1054s | 18 | 3219540 | 359252 | 55049 12 | 1158 | 3474 1057.72/1058.09 c 1056s | 18 | 3224715 | 359852 | 55049 12 | 1158 | 3474 1060.13/1060.41 c 1059s | 18 | 3228835 | 360452 | 55049 12 | 1158 | 3474 1062.43/1062.72 c 1061s | 18 | 3231079 | 361052 | 55049 12 | 1158 | 3474 1064.63/1064.91 c 1063s | 18 | 3233474 | 361552 | 55049 12 | 1158 | 3474 1066.73/1067.05 c 1065s | 18 | 3236321 | 362052 | 55049 12 | 1158 | 3474 1069.32/1069.61 c 1068s | 18 | 3240446 | 362452 | 55049 12 | 1158 | 3474 1071.83/1072.14 c 1070s | 18 | 3245206 | 362652 | 55049 12 | 1158 | 3474 1074.03/1074.33 c 1072s | 18 | 3252188 | 363052 | 55049 12 | 1158 | 3474 1076.43/1076.77 c 1075s | 18 | 3258231 | 363452 | 55049 12 | 1158 | 3474 1078.53/1078.86 c 1077s | 18 | 3262091 | 363852 | 55049 12 | 1158 | 3474 1080.52/1080.86 c 1079s | 18 | 3264071 | 364152 | 55049 12 | 1158 | 3474 1082.82/1083.11 c 1081s | 18 | 3274567 | 364552 | 55049 13 | 1158 | 3474 1084.82/1085.13 c 1083s | 18 | 3282443 | 365152 | 55049 13 | 1158 | 3474 1087.22/1087.50 c 1086s | 18 | 3287567 | 365852 | 55049 13 | 1158 | 3474 1089.22/1089.58 c 1088s | 18 | 3294294 | 366552 | 55049 13 | 1158 | 3474 1091.62/1091.92 c 1090s | 18 | 3300337 | 367252 | 55049 13 | 1158 | 3474 1093.62/1093.97 c 1092s | 18 | 3308114 | 367952 | 55049 13 | 1158 | 3474 1095.81/1096.15 c 1094s | 18 | 3316259 | 368752 | 55049 13 | 1158 | 3474 1098.02/1098.32 c 1096s | 18 | 3323294 | 369452 | 55049 13 | 1158 | 3474 1100.11/1100.42 c 1099s | 18 | 3328266 | 370152 | 55049 13 | 1158 | 3474 1102.21/1102.50 c 1101s | 18 | 3333371 | 370852 | 55049 13 | 1158 | 3474 1104.31/1104.62 c 1103s | 18 | 3338445 | 371552 | 55049 13 | 1158 | 3474 1106.51/1106.80 c 1105s | 18 | 3343166 | 372352 | 55049 13 | 1158 | 3474 1108.62/1108.93 c 1107s | 18 | 3349381 | 373052 | 55049 13 | 1158 | 3474 1110.81/1111.17 c 1109s | 18 | 3355724 | 373852 | 55049 13 | 1158 | 3474 1113.01/1113.37 c 1111s | 18 | 3361405 | 374452 | 55049 13 | 1158 | 3474 1115.11/1115.41 c 1114s | 18 | 3365491 | 374952 | 55049 13 | 1158 | 3474 1117.41/1117.72 c 1116s | 18 | 3369385 | 375552 | 55049 13 | 1158 | 3474 1119.61/1119.91 c 1118s | 18 | 3372822 | 375952 | 55049 13 | 1158 | 3474 1121.90/1122.20 c 1120s | 18 | 3379171 | 376552 | 55049 13 | 1158 | 3474 1124.10/1124.46 c 1123s | 18 | 3384914 | 377052 | 55049 13 | 1158 | 3474 1126.30/1126.65 c 1125s | 18 | 3394930 | 377752 | 55049 13 | 1158 | 3474 1128.50/1128.85 c 1127s | 18 | 3403288 | 378452 | 55049 13 | 1158 | 3474 1130.60/1130.98 c 1129s | 18 | 3408799 | 379152 | 55049 13 | 1158 | 3474 1132.80/1133.16 c 1131s | 18 | 3414882 | 379852 | 55049 13 | 1158 | 3474 1134.90/1135.25 c 1133s | 18 | 3420604 | 380452 | 55049 13 | 1158 | 3474 1137.20/1137.52 c 1136s | 18 | 3429682 | 381052 | 55049 13 | 1158 | 3474 1139.40/1139.79 c 1138s | 18 | 3434470 | 381652 | 55049 13 | 1158 | 3474 1141.69/1142.06 c 1140s | 18 | 3439138 | 382252 | 55049 13 | 1158 | 3474 1143.89/1144.25 c 1142s | 18 | 3444215 | 382852 | 55049 13 | 1158 | 3474 1146.29/1146.64 c 1145s | 18 | 3450270 | 383552 | 55049 13 | 1158 | 3474 1148.29/1148.66 c 1147s | 18 | 3455110 | 384052 | 55049 13 | 1158 | 3474 1150.68/1151.08 c 1149s | 18 | 3460725 | 384652 | 55049 13 | 1158 | 3474 1153.18/1153.56 c 1152s | 18 | 3464471 | 385152 | 55049 13 | 1158 | 3474 1155.48/1155.85 c 1154s | 18 | 3472550 | 385752 | 55049 13 | 1158 | 3474 1157.58/1157.90 c 1156s | 18 | 3480083 | 386252 | 55049 13 | 1158 | 3474 1159.68/1160.05 c 1158s | 18 | 3486914 | 386752 | 55049 13 | 1158 | 3474 1162.08/1162.46 c 1161s | 18 | 3494438 | 387352 | 55049 13 | 1158 | 3474 1164.38/1164.78 c 1163s | 18 | 3499403 | 387952 | 55049 13 | 1158 | 3474 1166.79/1167.20 c 1165s | 18 | 3502925 | 388552 | 55049 13 | 1158 | 3474 1169.28/1169.63 c 1168s | 18 | 3509704 | 389152 | 55049 13 | 1158 | 3474 1171.48/1171.89 c 1170s | 18 | 3512769 | 389652 | 55049 13 | 1158 | 3474 1173.88/1174.24 c 1172s | 18 | 3515982 | 390152 | 55049 13 | 1158 | 3474 1175.88/1176.28 c 1174s | 18 | 3523818 | 390752 | 55049 13 | 1158 | 3474 1177.98/1178.34 c 1176s | 18 | 3530310 | 391452 | 55049 13 | 1158 | 3474 1180.17/1180.50 c 1179s | 18 | 3536064 | 391952 | 55049 13 | 1158 | 3474 1182.47/1182.84 c 1181s | 18 | 3542727 | 392552 | 55049 13 | 1158 | 3474 1184.48/1184.89 c 1183s | 18 | 3546235 | 392952 | 55049 13 | 1158 | 3474 1186.87/1187.29 c 1185s | 18 | 3548738 | 393452 | 55049 13 | 1158 | 3474 1189.17/1189.54 c 1188s | 18 | 3553843 | 393952 | 55049 13 | 1158 | 3474 1191.26/1191.61 c 1190s | 18 | 3557004 | 394452 | 55049 13 | 1158 | 3474 1193.27/1193.67 c 1192s | 18 | 3560285 | 394952 | 55049 14 | 1158 | 3474 1195.37/1195.72 c 1194s | 18 | 3565625 | 395752 | 55049 14 | 1158 | 3474 1197.46/1197.80 c 1196s | 18 | 3570553 | 396352 | 55049 14 | 1158 | 3474 1199.77/1200.11 c 1198s | 18 | 3579086 | 396952 | 55049 14 | 1158 | 3474 1201.97/1202.37 c 1200s | 18 | 3587782 | 397752 | 55049 14 | 1158 | 3474 1207.16/1207.52 c 1206s | 18 | 3594702 | 398352 | 55049 14 | 1158 | 3474 1209.76/1210.13 c 1208s | 18 | 3596190 | 398452 | 55049 14 | 1158 | 3474 1211.75/1212.18 c 1210s | 18 | 3601711 | 399152 | 55049 14 | 1158 | 3474 1213.95/1214.33 c 1212s | 18 | 3611348 | 399852 | 55049 14 | 1158 | 3474 1215.95/1216.39 c 1214s | 18 | 3620218 | 400552 | 55049 14 | 1158 | 3474 1218.25/1218.63 c 1217s | 18 | 3626839 | 401252 | 55049 14 | 1158 | 3474 1220.35/1220.78 c 1219s | 18 | 3631953 | 401952 | 55049 14 | 1158 | 3474 1222.45/1222.89 c 1221s | 18 | 3636065 | 402552 | 55049 14 | 1158 | 3474 1224.75/1225.14 c 1223s | 18 | 3640076 | 403252 | 55049 14 | 1158 | 3474 1226.85/1227.28 c 1225s | 18 | 3645237 | 403952 | 55049 14 | 1158 | 3474 1229.05/1229.49 c 1228s | 18 | 3649430 | 404652 | 55049 14 | 1158 | 3474 1231.25/1231.68 c 1230s | 18 | 3657342 | 405352 | 55049 14 | 1158 | 3474 1233.45/1233.87 c 1232s | 18 | 3666612 | 406052 | 55049 14 | 1158 | 3474 1235.55/1235.90 c 1234s | 18 | 3672737 | 406552 | 55049 14 | 1158 | 3474 1237.75/1238.16 c 1236s | 18 | 3678233 | 407152 | 55049 14 | 1158 | 3474 1239.95/1240.30 c 1238s | 18 | 3680908 | 407652 | 55049 14 | 1158 | 3474 1242.15/1242.58 c 1241s | 18 | 3683404 | 408352 | 55049 14 | 1158 | 3474 1244.25/1244.68 c 1243s | 18 | 3685218 | 409052 | 55049 14 | 1158 | 3474 1246.55/1246.98 c 1245s | 18 | 3687921 | 409752 | 55049 14 | 1158 | 3474 1248.65/1249.08 c 1247s | 18 | 3690461 | 410352 | 55049 14 | 1158 | 3474 1250.94/1251.37 c 1249s | 18 | 3693568 | 411052 | 55049 14 | 1158 | 3474 1253.24/1253.66 c 1252s | 18 | 3696895 | 411752 | 55049 14 | 1158 | 3474 1255.44/1255.83 c 1254s | 18 | 3701257 | 412352 | 55049 14 | 1158 | 3474 1257.44/1257.85 c 1256s | 18 | 3705649 | 412952 | 55049 14 | 1158 | 3474 1259.54/1259.99 c 1258s | 18 | 3709394 | 413552 | 55049 14 | 1158 | 3474 1261.84/1262.24 c 1260s | 18 | 3711966 | 414152 | 55049 14 | 1158 | 3474 1264.03/1264.43 c 1263s | 18 | 3717461 | 414752 | 55049 14 | 1158 | 3474 1266.23/1266.66 c 1265s | 18 | 3720086 | 415252 | 55049 14 | 1158 | 3474 1268.63/1269.07 c 1267s | 18 | 3725740 | 415952 | 55049 14 | 1158 | 3474 1270.63/1271.09 c 1269s | 18 | 3729217 | 416552 | 55049 14 | 1158 | 3474 1272.83/1273.26 c 1271s | 18 | 3734366 | 417152 | 55049 14 | 1158 | 3474 1275.03/1275.41 c 1274s | 18 | 3738491 | 417752 | 55049 14 | 1158 | 3474 1277.43/1277.81 c 1276s | 18 | 3743767 | 418352 | 55049 14 | 1158 | 3474 1279.53/1279.96 c 1278s | 18 | 3746824 | 418952 | 55049 14 | 1158 | 3474 1281.83/1282.21 c 1280s | 18 | 3751539 | 419352 | 55049 14 | 1158 | 3474 1283.82/1284.23 c 1282s | 18 | 3755823 | 419852 | 55049 14 | 1158 | 3474 1286.22/1286.67 c 1285s | 18 | 3759329 | 420352 | 55049 14 | 1158 | 3474 1288.42/1288.87 c 1287s | 18 | 3763614 | 420852 | 55049 14 | 1158 | 3474 1290.92/1291.37 c 1289s | 18 | 3767628 | 421452 | 55049 14 | 1158 | 3474 1293.02/1293.47 c 1292s | 18 | 3771615 | 421952 | 55049 14 | 1158 | 3474 1295.02/1295.50 c 1294s | 18 | 3775262 | 422452 | 55049 14 | 1158 | 3474 1297.22/1297.69 c 1296s | 18 | 3778131 | 422952 | 55049 14 | 1158 | 3474 1299.72/1300.14 c 1298s | 18 | 3782246 | 423552 | 55049 14 | 1158 | 3474 1302.02/1302.42 c 1301s | 18 | 3784911 | 424052 | 55049 14 | 1158 | 3474 1304.22/1304.65 c 1303s | 18 | 3790129 | 424552 | 55049 14 | 1158 | 3474 1306.42/1306.82 c 1305s | 18 | 3793281 | 425052 | 55049 14 | 1158 | 3474 1308.62/1309.08 c 1307s | 18 | 3796214 | 425552 | 55049 15 | 1158 | 3474 1310.92/1311.31 c 1309s | 18 | 3800752 | 426252 | 55049 15 | 1158 | 3474 1313.02/1313.42 c 1312s | 18 | 3804923 | 426952 | 55049 15 | 1158 | 3474 1315.11/1315.60 c 1314s | 18 | 3809586 | 427552 | 55049 15 | 1158 | 3474 1317.31/1317.73 c 1316s | 18 | 3813634 | 428152 | 55049 15 | 1158 | 3474 1319.51/1319.97 c 1318s | 18 | 3818923 | 428852 | 55049 15 | 1158 | 3474 1321.61/1322.05 c 1320s | 18 | 3824196 | 429452 | 55049 15 | 1158 | 3474 1323.71/1324.11 c 1322s | 18 | 3829042 | 430052 | 55049 15 | 1158 | 3474 1326.01/1326.41 c 1325s | 18 | 3832199 | 430652 | 55049 15 | 1158 | 3474 1328.11/1328.55 c 1327s | 18 | 3835937 | 431052 | 55049 15 | 1158 | 3474 1330.30/1330.75 c 1329s | 18 | 3842573 | 431652 | 55049 15 | 1158 | 3474 1332.40/1332.87 c 1331s | 18 | 3847499 | 432252 | 55049 15 | 1158 | 3474 1334.70/1335.11 c 1333s | 18 | 3853945 | 432852 | 55049 15 | 1158 | 3474 1336.80/1337.29 c 1335s | 18 | 3857362 | 433352 | 55049 15 | 1158 | 3474 1339.00/1339.40 c 1338s | 18 | 3861010 | 433652 | 55049 15 | 1158 | 3474 1341.20/1341.65 c 1340s | 18 | 3868750 | 434352 | 55049 15 | 1158 | 3474 1343.20/1343.68 c 1342s | 18 | 3875291 | 435152 | 55049 15 | 1158 | 3474 1345.40/1345.83 c 1344s | 18 | 3882193 | 435852 | 55049 15 | 1158 | 3474 1347.60/1348.04 c 1346s | 18 | 3885926 | 436452 | 55049 15 | 1158 | 3474 1349.60/1350.07 c 1348s | 18 | 3889840 | 437152 | 55049 15 | 1158 | 3474 1351.69/1352.13 c 1350s | 18 | 3892313 | 437752 | 55049 15 | 1158 | 3474 1353.99/1354.40 c 1353s | 18 | 3895786 | 438352 | 55049 15 | 1158 | 3474 1356.00/1356.48 c 1355s | 18 | 3899251 | 438952 | 55049 15 | 1158 | 3474 1358.10/1358.60 c 1357s | 18 | 3907416 | 439552 | 55049 15 | 1158 | 3474 1360.30/1360.71 c 1359s | 18 | 3912624 | 440252 | 55049 15 | 1158 | 3474 1362.60/1363.07 c 1361s | 18 | 3917074 | 440952 | 60554 15 | 1158 | 3474 1364.89/1365.32 c 1363s | 18 | 3921790 | 441552 | 60554 15 | 1158 | 3474 1367.19/1367.63 c 1366s | 18 | 3924469 | 442152 | 60554 15 | 1158 | 3474 1369.29/1369.75 c 1368s | 18 | 3927836 | 442752 | 60554 15 | 1158 | 3474 1371.49/1371.92 c 1370s | 18 | 3932347 | 443252 | 60554 15 | 1158 | 3474 1373.59/1374.03 c 1372s | 18 | 3935848 | 443952 | 60554 15 | 1158 | 3474 1375.29/1375.72 c 1374s | 19 | 3937637 | 444482 | 60554 15 | 1158 | 3474 1377.39/1377.80 c 1376s | 19 | 3941553 | 444982 | 60554 15 | 1158 | 3474 1379.38/1379.84 c 1378s | 19 | 3943145 | 445182 | 60554 15 | 1158 | 3474 1382.88/1383.34 c 1381s | 19 | 3944265 | 445282 | 60554 15 | 1158 | 3474 1385.08/1385.57 c 1384s | 19 | 3950740 | 445982 | 60554 15 | 1158 | 3474 1387.28/1387.74 c 1386s | 19 | 3955777 | 446582 | 60554 15 | 1158 | 3474 1389.58/1390.07 c 1388s | 19 | 3962033 | 447282 | 60554 15 | 1158 | 3474 1391.78/1392.28 c 1390s | 19 | 3968300 | 447882 | 60554 15 | 1158 | 3474 1393.88/1394.34 c 1392s | 19 | 3973604 | 448482 | 60554 15 | 1158 | 3474 1395.98/1396.48 c 1395s | 19 | 3980617 | 449082 | 60554 15 | 1158 | 3474 1398.08/1398.56 c 1397s | 19 | 3986459 | 449682 | 60554 15 | 1158 | 3474 1400.18/1400.66 c 1399s | 19 | 3992076 | 450182 | 60554 15 | 1158 | 3474 1402.38/1402.89 c 1401s | 19 | 3995065 | 450682 | 60554 15 | 1158 | 3474 1404.78/1405.24 c 1403s | 19 | 3997897 | 451182 | 60554 15 | 1158 | 3474 1406.88/1407.34 c 1405s | 19 | 4002872 | 451682 | 60554 15 | 1158 | 3474 1408.88/1409.36 c 1407s | 19 | 4009137 | 452082 | 60554 15 | 1158 | 3474 1410.98/1411.43 c 1410s | 19 | 4014559 | 452582 | 60554 15 | 1158 | 3474 1413.09/1413.59 c 1412s | 19 | 4021739 | 453182 | 60554 15 | 1158 | 3474 1415.18/1415.61 c 1414s | 19 | 4028132 | 453682 | 60554 15 | 1158 | 3474 1417.49/1417.98 c 1416s | 19 | 4033964 | 454282 | 60554 15 | 1158 | 3474 1419.88/1420.38 c 1418s | 19 | 4039168 | 454882 | 60554 15 | 1158 | 3474 1422.18/1422.69 c 1421s | 19 | 4041223 | 455282 | 60554 15 | 1158 | 3474 1424.38/1424.82 c 1423s | 19 | 4044960 | 455782 | 60554 15 | 1158 | 3474 1426.39/1426.83 c 1425s | 19 | 4047434 | 456082 | 60554 15 | 1158 | 3474 1428.49/1428.94 c 1427s | 19 | 4051566 | 456382 | 60554 15 | 1158 | 3474 1430.69/1431.15 c 1429s | 19 | 4058458 | 456882 | 60554 15 | 1158 | 3474 1432.89/1433.32 c 1431s | 19 | 4065406 | 457382 | 60554 15 | 1158 | 3474 1434.98/1435.42 c 1434s | 19 | 4069957 | 457882 | 60554 15 | 1158 | 3474 1437.18/1437.70 c 1436s | 19 | 4074944 | 458482 | 60554 15 | 1158 | 3474 1439.49/1439.91 c 1438s | 19 | 4077985 | 458982 | 60554 15 | 1158 | 3474 1441.48/1441.94 c 1440s | 19 | 4080187 | 459482 | 60554 15 | 1158 | 3474 1444.18/1444.63 c 1443s | 19 | 4081654 | 459882 | 60554 15 | 1158 | 3474 1446.48/1446.94 c 1445s | 19 | 4084824 | 460182 | 60554 15 | 1158 | 3474 1448.68/1449.12 c 1447s | 19 | 4088493 | 460682 | 60554 15 | 1158 | 3474 1450.98/1451.40 c 1450s | 19 | 4093858 | 461082 | 60554 16 | 1158 | 3474 1452.97/1453.43 c 1452s | 19 | 4099180 | 461682 | 60554 16 | 1158 | 3474 1454.98/1455.44 c 1454s | 19 | 4104839 | 462282 | 60554 16 | 1158 | 3474 1457.37/1457.83 c 1456s | 19 | 4109994 | 462982 | 60554 16 | 1158 | 3474 1459.47/1459.93 c 1458s | 19 | 4114923 | 463482 | 60554 16 | 1158 | 3474 1461.48/1461.98 c 1460s | 19 | 4118938 | 463982 | 60554 16 | 1158 | 3474 1463.78/1464.21 c 1462s | 19 | 4124916 | 464582 | 60554 16 | 1158 | 3474 1465.98/1466.45 c 1465s | 19 | 4131998 | 465182 | 60554 16 | 1158 | 3474 1468.08/1468.58 c 1467s | 19 | 4141078 | 465882 | 60554 16 | 1158 | 3474 1470.38/1470.88 c 1469s | 19 | 4147341 | 466482 | 60554 16 | 1158 | 3474 1472.58/1473.04 c 1471s | 19 | 4150999 | 467082 | 60554 16 | 1158 | 3474 1474.87/1475.32 c 1473s | 19 | 4155473 | 467682 | 60554 16 | 1158 | 3474 1476.97/1477.43 c 1476s | 19 | 4158511 | 468282 | 60554 16 | 1158 | 3474 1479.17/1479.68 c 1478s | 19 | 4162773 | 468882 | 60554 16 | 1158 | 3474 1481.37/1481.80 c 1480s | 19 | 4166578 | 469582 | 60554 16 | 1158 | 3474 1483.77/1484.20 c 1482s | 19 | 4173325 | 470182 | 60554 16 | 1158 | 3474 1485.97/1486.44 c 1485s | 19 | 4180250 | 470882 | 60554 16 | 1158 | 3474 1488.07/1488.59 c 1487s | 19 | 4185835 | 471482 | 60554 16 | 1158 | 3474 1490.36/1490.81 c 1489s | 19 | 4193562 | 472082 | 60554 16 | 1158 | 3474 1492.37/1492.86 c 1491s | 19 | 4200086 | 472682 | 60554 16 | 1158 | 3474 1494.66/1495.16 c 1493s | 19 | 4205620 | 473282 | 60554 16 | 1158 | 3474 1496.86/1497.36 c 1495s | 19 | 4208333 | 473882 | 60554 16 | 1158 | 3474 1498.97/1499.49 c 1498s | 19 | 4213277 | 474382 | 60554 16 | 1158 | 3474 1501.07/1501.58 c 1500s | 19 | 4215896 | 474882 | 60554 16 | 1158 | 3474 1503.37/1503.88 c 1502s | 19 | 4221144 | 475582 | 60554 16 | 1158 | 3474 1505.47/1505.96 c 1504s | 19 | 4226207 | 476082 | 60554 16 | 1158 | 3474 1507.46/1507.99 c 1506s | 19 | 4232221 | 476582 | 60554 16 | 1158 | 3474 1509.87/1510.40 c 1509s | 19 | 4237868 | 477082 | 60554 16 | 1158 | 3474 1512.17/1512.63 c 1511s | 19 | 4241841 | 477582 | 60554 16 | 1158 | 3474 1514.37/1514.83 c 1513s | 19 | 4244842 | 477982 | 60554 16 | 1158 | 3474 1519.87/1520.38 c 1518s | 19 | 4249200 | 478482 | 60554 16 | 1158 | 3474 1522.16/1522.63 c 1521s | 19 | 4255994 | 479082 | 60554 16 | 1158 | 3474 1524.56/1525.03 c 1523s | 19 | 4265050 | 479782 | 60554 16 | 1158 | 3474 1526.76/1527.26 c 1525s | 19 | 4273216 | 480482 | 60554 16 | 1158 | 3474 1528.86/1529.33 c 1527s | 19 | 4280871 | 481082 | 60554 16 | 1158 | 3474 1530.96/1531.43 c 1530s | 19 | 4285543 | 481682 | 60554 16 | 1158 | 3474 1532.97/1533.50 c 1532s | 19 | 4289031 | 482282 | 60554 16 | 1158 | 3474 1535.06/1535.58 c 1534s | 19 | 4294307 | 482782 | 60554 16 | 1158 | 3474 1537.37/1537.86 c 1536s | 19 | 4298940 | 483282 | 60554 16 | 1158 | 3474 1539.67/1540.19 c 1538s | 19 | 4301863 | 483682 | 60554 16 | 1158 | 3474 1541.87/1542.36 c 1540s | 19 | 4304614 | 484182 | 60554 16 | 1158 | 3474 1543.97/1544.46 c 1543s | 19 | 4306809 | 484582 | 60554 16 | 1158 | 3474 1546.17/1546.69 c 1545s | 19 | 4309369 | 484982 | 60554 16 | 1158 | 3474 1548.86/1549.33 c 1547s | 19 | 4314809 | 485482 | 60554 16 | 1158 | 3474 1551.26/1551.79 c 1550s | 19 | 4320017 | 486082 | 60554 16 | 1158 | 3474 1553.76/1554.23 c 1552s | 19 | 4325026 | 486682 | 60554 16 | 1158 | 3474 1555.86/1556.33 c 1554s | 19 | 4332203 | 487382 | 60554 16 | 1158 | 3474 1557.96/1558.47 c 1557s | 19 | 4338016 | 488282 | 60554 16 | 1158 | 3474 1560.06/1560.56 c 1559s | 19 | 4343876 | 489082 | 60554 16 | 1158 | 3474 1562.26/1562.78 c 1561s | 19 | 4351160 | 489682 | 60554 16 | 1158 | 3474 1564.56/1565.07 c 1563s | 19 | 4357563 | 490282 | 60554 16 | 1158 | 3474 1566.56/1567.08 c 1565s | 19 | 4363000 | 490782 | 60554 16 | 1158 | 3474 1568.86/1569.35 c 1567s | 19 | 4368394 | 491282 | 60554 16 | 1158 | 3474 1571.16/1571.66 c 1570s | 19 | 4372466 | 491882 | 60554 16 | 1158 | 3474 1573.26/1573.71 c 1572s | 19 | 4375477 | 492382 | 60554 16 | 1158 | 3474 1575.66/1576.19 c 1574s | 19 | 4379657 | 492882 | 60554 16 | 1158 | 3474 1577.76/1578.24 c 1576s | 19 | 4383216 | 493282 | 60554 16 | 1158 | 3474 1579.85/1580.31 c 1578s | 19 | 4390115 | 493782 | 60554 16 | 1158 | 3474 1581.95/1582.42 c 1581s | 19 | 4396389 | 494282 | 60554 17 | 1158 | 3474 1584.05/1584.54 c 1583s | 19 | 4402708 | 494982 | 60554 17 | 1158 | 3474 1586.25/1586.71 c 1585s | 19 | 4407590 | 495482 | 60554 17 | 1158 | 3474 1588.45/1588.91 c 1587s | 19 | 4414119 | 496082 | 60554 17 | 1158 | 3474 1590.65/1591.15 c 1589s | 19 | 4421464 | 496782 | 60554 17 | 1158 | 3474 1592.65/1593.19 c 1591s | 19 | 4425022 | 497382 | 60554 17 | 1158 | 3474 1595.05/1595.52 c 1594s | 19 | 4428065 | 497982 | 60554 17 | 1158 | 3474 1597.05/1597.58 c 1596s | 19 | 4431623 | 498582 | 60554 17 | 1158 | 3474 1599.35/1599.85 c 1598s | 19 | 4436317 | 499082 | 60554 17 | 1158 | 3474 1601.45/1601.91 c 1600s | 19 | 4443431 | 499582 | 60554 17 | 1158 | 3474 1603.46/1603.96 c 1602s | 19 | 4448861 | 500282 | 60554 17 | 1158 | 3474 1605.75/1606.24 c 1604s | 19 | 4453213 | 500982 | 60554 17 | 1158 | 3474 1607.86/1608.34 c 1606s | 19 | 4458121 | 501582 | 60554 17 | 1158 | 3474 1609.96/1610.41 c 1609s | 19 | 4462315 | 502182 | 60554 17 | 1158 | 3474 1612.16/1612.67 c 1611s | 19 | 4471913 | 502782 | 60554 17 | 1158 | 3474 1614.55/1615.02 c 1613s | 19 | 4476685 | 503382 | 60554 17 | 1158 | 3474 1616.75/1617.26 c 1615s | 19 | 4481968 | 503982 | 60554 17 | 1158 | 3474 1618.95/1619.43 c 1618s | 19 | 4486006 | 504582 | 60554 17 | 1158 | 3474 1621.45/1621.91 c 1620s | 19 | 4488889 | 505182 | 60554 17 | 1158 | 3474 1623.75/1624.29 c 1622s | 19 | 4494135 | 505782 | 60554 17 | 1158 | 3474 1626.15/1626.63 c 1625s | 19 | 4501330 | 506482 | 60554 17 | 1158 | 3474 1628.15/1628.64 c 1627s | 19 | 4505817 | 507082 | 60554 17 | 1158 | 3474 1630.15/1630.67 c 1629s | 19 | 4508936 | 507582 | 60554 17 | 1158 | 3474 1632.25/1632.72 c 1631s | 19 | 4512645 | 508182 | 60554 17 | 1158 | 3474 1634.45/1634.92 c 1633s | 19 | 4517593 | 508782 | 60554 17 | 1158 | 3474 1636.45/1636.93 c 1635s | 19 | 4520546 | 509382 | 60554 17 | 1158 | 3474 1638.55/1639.01 c 1637s | 19 | 4522958 | 509882 | 60554 17 | 1158 | 3474 1640.64/1641.16 c 1639s | 19 | 4527046 | 510382 | 60554 17 | 1158 | 3474 1642.95/1643.41 c 1642s | 19 | 4535930 | 511082 | 60554 17 | 1158 | 3474 1644.94/1645.48 c 1644s | 19 | 4539754 | 511682 | 60554 17 | 1158 | 3474 1647.14/1647.65 c 1646s | 19 | 4546004 | 512282 | 60554 17 | 1158 | 3474 1649.44/1649.96 c 1648s | 19 | 4550321 | 512782 | 60554 17 | 1158 | 3474 1651.85/1652.32 c 1650s | 19 | 4556391 | 513282 | 60554 17 | 1158 | 3474 1653.95/1654.45 c 1653s | 19 | 4561382 | 513882 | 60554 17 | 1158 | 3474 1655.94/1656.48 c 1655s | 19 | 4565493 | 514382 | 60554 17 | 1158 | 3474 1658.45/1658.96 c 1657s | 19 | 4571783 | 514982 | 60554 17 | 1158 | 3474 1660.65/1661.11 c 1659s | 19 | 4577249 | 515482 | 60554 17 | 1158 | 3474 1662.94/1663.43 c 1662s | 19 | 4580385 | 515982 | 60554 17 | 1158 | 3474 1665.14/1665.66 c 1664s | 19 | 4584008 | 516482 | 60554 17 | 1158 | 3474 1667.15/1667.68 c 1666s | 19 | 4589436 | 517082 | 60554 17 | 1158 | 3474 1669.45/1669.98 c 1668s | 19 | 4592431 | 517682 | 60554 17 | 1158 | 3474 1671.94/1672.43 c 1671s | 19 | 4597116 | 518282 | 60554 17 | 1158 | 3474 1674.14/1674.62 c 1673s | 19 | 4600298 | 518882 | 60554 17 | 1158 | 3474 1676.34/1676.87 c 1675s | 19 | 4603963 | 519382 | 60554 17 | 1158 | 3474 1678.44/1678.93 c 1677s | 19 | 4607693 | 519882 | 60554 17 | 1158 | 3474 1680.74/1681.21 c 1679s | 19 | 4610668 | 520382 | 60554 17 | 1158 | 3474 1683.54/1684.08 c 1682s | 19 | 4614209 | 520882 | 60554 17 | 1158 | 3474 1685.94/1686.41 c 1685s | 19 | 4620744 | 521382 | 60554 17 | 1158 | 3474 1688.14/1688.60 c 1687s | 19 | 4625905 | 521882 | 60554 17 | 1158 | 3474 1690.54/1691.06 c 1689s | 19 | 4630409 | 522482 | 60554 17 | 1158 | 3474 1692.84/1693.36 c 1691s | 19 | 4635888 | 522982 | 60554 17 | 1158 | 3474 1694.84/1695.37 c 1693s | 19 | 4642595 | 523482 | 60554 17 | 1158 | 3474 1697.24/1697.74 c 1696s | 19 | 4647077 | 523982 | 60554 17 | 1158 | 3474 1699.33/1699.80 c 1698s | 19 | 4649430 | 524382 | 60554 17 | 1158 | 3474 1701.83/1702.33 c 1700s | 19 | 4651609 | 524782 | 60554 17 | 1158 | 3474 1704.54/1705.04 c 1703s | 19 | 4655778 | 525182 | 60554 17 | 1158 | 3474 1706.63/1707.20 c 1705s | 19 | 4658270 | 525582 | 60554 17 | 1158 | 3474 1709.04/1709.51 c 1708s | 19 | 4660202 | 525982 | 60554 17 | 1158 | 3474 1711.53/1712.00 c 1710s | 19 | 4662997 | 526482 | 60554 17 | 1158 | 3474 1713.53/1714.01 c 1712s | 19 | 4666080 | 526882 | 60554 17 | 1158 | 3474 1715.54/1716.07 c 1714s | 19 | 4668864 | 527282 | 60554 17 | 1158 | 3474 1717.74/1718.21 c 1716s | 19 | 4673292 | 527782 | 60554 18 | 1158 | 3474 1719.73/1720.22 c 1718s | 19 | 4679014 | 528482 | 60554 18 | 1158 | 3474 1722.33/1722.87 c 1721s | 19 | 4684049 | 529182 | 60554 18 | 1158 | 3474 1724.34/1724.89 c 1723s | 19 | 4690720 | 529882 | 60554 18 | 1158 | 3474 1726.54/1727.08 c 1725s | 19 | 4697611 | 530482 | 60554 18 | 1158 | 3474 1728.84/1729.37 c 1727s | 19 | 4702519 | 531082 | 60554 18 | 1158 | 3474 1731.23/1731.71 c 1730s | 19 | 4707953 | 531582 | 60554 18 | 1158 | 3474 1733.43/1733.95 c 1732s | 19 | 4716421 | 532382 | 60554 18 | 1158 | 3474 1735.53/1736.04 c 1734s | 19 | 4721222 | 533082 | 60554 18 | 1158 | 3474 1737.64/1738.16 c 1736s | 19 | 4725804 | 533682 | 60554 18 | 1158 | 3474 1739.73/1740.22 c 1738s | 19 | 4730563 | 534282 | 60554 18 | 1158 | 3474 1741.83/1742.30 c 1740s | 19 | 4733495 | 534882 | 60554 18 | 1158 | 3474 1744.03/1744.59 c 1743s | 19 | 4738784 | 535382 | 60554 18 | 1158 | 3474 1746.23/1746.72 c 1745s | 19 | 4744413 | 535982 | 60554 18 | 1158 | 3474 1748.23/1748.77 c 1747s | 19 | 4751114 | 536582 | 60554 18 | 1158 | 3474 1750.62/1751.15 c 1749s | 19 | 4757970 | 537182 | 60554 18 | 1158 | 3474 1753.03/1753.56 c 1752s | 19 | 4763039 | 537782 | 60554 18 | 1158 | 3474 1755.02/1755.60 c 1754s | 19 | 4766543 | 538382 | 60554 18 | 1158 | 3474 1757.22/1757.76 c 1756s | 19 | 4769688 | 538982 | 60554 18 | 1158 | 3474 1759.53/1760.07 c 1758s | 19 | 4775422 | 539682 | 60554 18 | 1158 | 3474 1761.52/1762.08 c 1760s | 19 | 4780431 | 540282 | 60554 18 | 1158 | 3474 1763.82/1764.30 c 1762s | 19 | 4784944 | 540982 | 60554 18 | 1158 | 3474 1765.82/1766.33 c 1764s | 19 | 4789355 | 541482 | 60554 18 | 1158 | 3474 1767.92/1768.46 c 1767s | 19 | 4797643 | 541982 | 60554 18 | 1158 | 3474 1769.92/1770.48 c 1769s | 19 | 4804782 | 542582 | 60554 18 | 1158 | 3474 1772.12/1772.66 c 1771s | 19 | 4812107 | 543182 | 60554 18 | 1158 | 3474 1774.32/1774.83 c 1773s | 19 | 4816678 | 543682 | 60554 18 | 1158 | 3474 1776.72/1777.24 c 1775s | 19 | 4821268 | 544282 | 60554 18 | 1158 | 3474 1778.82/1779.36 c 1777s | 19 | 4824523 | 544782 | 60554 18 | 1158 | 3474 1781.42/1781.94 c 1780s | 19 | 4827373 | 545282 | 60554 18 | 1158 | 3474 1783.73/1784.29 c 1782s | 19 | 4830663 | 545882 | 60554 18 | 1158 | 3474 1786.03/1786.50 c 1785s | 19 | 4834744 | 546382 | 60554 18 | 1158 | 3474 1788.02/1788.52 c 1787s | 19 | 4838266 | 546982 | 60554 18 | 1158 | 3474 1790.22/1790.75 c 1789s | 19 | 4843920 | 547482 | 60554 18 | 1158 | 3474 1792.32/1792.87 c 1791s | 19 | 4849582 | 547982 | 60554 18 | 1158 | 3474 1794.42/1794.93 c 1793s | 19 | 4853857 | 548382 | 60554 18 | 1158 | 3474 1796.73/1797.26 c 1795s | 19 | 4860013 | 548982 | 60554 18 | 1158 | 3474 1798.93/1799.42 c 1798s | 19 | 4866817 | 549582 | 60554 18 | 1158 | 3474
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-4079830-1465249169/watcher-4079830-1465249169 -o /tmp/evaluation-result-4079830-1465249169/solver-4079830-1465249169 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079830-1465249169.opb pid=6407 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.15 2.10 4/179 6410 /proc/meminfo: memFree=30325940/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=746940 CPUtime=0 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 2786 0 0 0 0 0 0 0 20 0 4 0 106851870 764866560 3658 33554432000 4194304 16246674 140735098600496 140735098599920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 187247 3667 441 2943 0 184141 0 [pid=6410/tid=6411] ppid=6407 vsize=764348 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 782692352 3727 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=768444 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 786886656 3744 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=772540 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106851870 791080960 3759 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.23 2.15 2.10 4/179 6410 /proc/meminfo: memFree=30325940/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1302084 CPUtime=0.08 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 27860 0 0 0 5 3 0 0 20 0 4 0 106851870 1333334016 28671 33554432000 4194304 16246674 140735098600496 140735098599808 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 325521 28687 800 2943 0 322415 0 [pid=6410/tid=6411] ppid=6407 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1333334016 28697 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1333334016 28708 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1333334016 28719 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200572 s] /proc/loadavg: 2.23 2.15 2.10 4/179 6410 /proc/meminfo: memFree=30325940/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=0.19 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 49098 0 0 0 13 6 0 0 20 0 4 0 106851870 1345916928 49908 33554432000 4194304 16246674 140735098600496 140735098599808 13760231 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 49908 832 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 49908 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 49908 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 49908 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300495 s] /proc/loadavg: 2.23 2.15 2.10 4/179 6410 /proc/meminfo: memFree=30325940/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 49100 0 0 0 23 6 0 0 20 0 4 0 106851870 1345916928 49910 33554432000 4194304 16246674 140735098600496 140735098599808 5926624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 49910 832 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 49910 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 49910 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 49910 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700425 s] /proc/loadavg: 2.23 2.15 2.10 4/179 6410 /proc/meminfo: memFree=30325940/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 79936 0 0 0 58 11 0 0 20 0 4 0 106851870 1345916928 80746 33554432000 4194304 16246674 140735098600496 140735098599808 5531121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 80746 907 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 80746 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 80746 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 80746 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.23 2.15 2.10 3/183 6414 /proc/meminfo: memFree=30003992/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 97390 0 0 0 136 13 0 0 20 0 4 0 106851870 1345916928 98200 33554432000 4194304 16246674 140735098600496 140735098582400 5823611 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 98200 909 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 98200 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 98200 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 98200 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10043 s] /proc/loadavg: 2.23 2.15 2.10 3/183 6414 /proc/meminfo: memFree=29654684/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=3.09 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 269797 0 0 0 272 37 0 0 20 0 4 0 106851870 1345916928 270607 33554432000 4194304 16246674 140735098600496 140735098582400 13820888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 270607 909 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270607 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270607 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270607 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30043 s] /proc/loadavg: 2.21 2.15 2.10 3/183 6414 /proc/meminfo: memFree=29243772/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=6.29 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 269797 0 0 0 592 37 0 0 20 0 4 0 106851870 1345916928 270607 33554432000 4194304 16246674 140735098600496 140735098582400 5823408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 270607 909 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270607 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270607 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270607 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1314372 [startup+12.7004 s] /proc/loadavg: 2.20 2.15 2.10 3/183 6414 /proc/meminfo: memFree=29244148/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=12.69 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 269800 0 0 0 1232 37 0 0 20 0 4 0 106851870 1345916928 270610 33554432000 4194304 16246674 140735098600496 140735098582400 5829313 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 270610 912 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270610 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270610 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270610 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1314372 [startup+25.5005 s] /proc/loadavg: 2.15 2.14 2.09 3/183 6414 /proc/meminfo: memFree=29244400/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=25.48 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 269800 0 0 0 2511 37 0 0 20 0 4 0 106851870 1345916928 270610 33554432000 4194304 16246674 140735098600496 140735098582400 5675761 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 270610 912 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270610 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270610 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270610 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.17 2.14 2.09 3/184 6417 /proc/meminfo: memFree=29244232/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 269801 0 0 0 5071 37 0 0 20 0 4 0 106851870 1345916928 270611 33554432000 4194304 16246674 140735098600496 140735098582400 7249942 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 328593 270611 913 2943 0 325487 0 [pid=6410/tid=6411] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270611 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270611 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1345916928 270611 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.301 s] /proc/loadavg: 2.21 2.15 2.10 3/183 6418 /proc/meminfo: memFree=29210692/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1347140 CPUtime=102.28 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 277995 0 0 0 10190 38 0 0 20 0 4 0 106851870 1379471360 278805 33554432000 4194304 16246674 140735098600496 140735098582400 5661226 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 336785 278805 915 2943 0 333679 0 [pid=6410/tid=6411] ppid=6407 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1379471360 278805 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1379471360 278805 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1379471360 278805 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1347140 ################ # More data... # ################ /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.05 2.09 2.09 3/183 6531 /proc/meminfo: memFree=29164284/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1349188 CPUtime=1361.89 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 278811 0 0 0 136144 45 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 140735098583496 12460509 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 337297 279320 915 2943 0 334191 0 [pid=6410/tid=6411] ppid=6407 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.06 2.08 2.09 3/183 6532 /proc/meminfo: memFree=29163788/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1349188 CPUtime=1421.89 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 278812 0 0 0 142143 46 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 140735098582400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 337297 279320 915 2943 0 334191 0 [pid=6410/tid=6411] ppid=6407 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1349188 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1381568512 279320 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.14 2.10 2.09 3/183 6533 /proc/meminfo: memFree=29145092/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1367620 CPUtime=1481.87 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 283420 0 0 0 148141 46 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 140735098582400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 341905 283928 915 2943 0 338799 0 [pid=6410/tid=6411] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1367620 [startup+1542.31 s] /proc/loadavg: 2.10 2.09 2.09 3/183 6535 /proc/meminfo: memFree=29145612/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1367620 CPUtime=1541.87 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 283420 0 0 0 154140 47 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 140735098582400 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 341905 283928 915 2943 0 338799 0 [pid=6410/tid=6411] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1367620 [startup+1602.3 s] /proc/loadavg: 2.03 2.07 2.08 3/183 6536 /proc/meminfo: memFree=29145272/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1367620 CPUtime=1601.85 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 283420 0 0 0 160138 47 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 140735098582400 6012004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 341905 283928 915 2943 0 338799 0 [pid=6410/tid=6411] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1367620 [startup+1662.3 s] /proc/loadavg: 2.10 2.09 2.09 3/183 6537 /proc/meminfo: memFree=29145180/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1367620 CPUtime=1661.84 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 283420 0 0 0 166137 47 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 140735098582400 13780660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 341905 283928 915 2943 0 338799 0 [pid=6410/tid=6411] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1367620 [startup+1722.3 s] /proc/loadavg: 2.07 2.08 2.09 3/183 6538 /proc/meminfo: memFree=29144720/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1367620 CPUtime=1721.83 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 283420 0 0 0 172136 47 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 140735098582400 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 341905 283928 915 2943 0 338799 0 [pid=6410/tid=6411] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1367620 [startup+1782.3 s] /proc/loadavg: 2.06 2.08 2.09 3/183 6539 /proc/meminfo: memFree=29119324/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1367620 CPUtime=1781.82 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 283420 0 0 0 178135 47 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 140735098582400 6021324 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 341905 283928 915 2943 0 338799 0 [pid=6410/tid=6411] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1367620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.05 2.07 2.08 3/183 6539 /proc/meminfo: memFree=29118936/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1367620 CPUtime=1800.03 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 283420 0 0 0 179955 48 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 140735098582400 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 341905 283928 915 2943 0 338799 0 [pid=6410/tid=6411] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1367620 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 6410 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.05 2.07 2.08 3/183 6539 /proc/meminfo: memFree=29118936/32872528 swapFree=13600/559348 [pid=6410] ppid=6407 vsize=1367620 CPUtime=1800.03 cores=1,3,5,7 /proc/6410/stat : 6410 (toysat) R 6407 6410 1842 0 -1 4202496 283420 0 0 0 179955 48 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 140735098582400 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/6410/statm: 341905 283928 915 2943 0 338799 0 [pid=6410/tid=6411] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6411/stat : 6411 (toysat) S 6407 6410 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639604096240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=6410/tid=6412] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6412/stat : 6412 (toysat) S 6407 6410 1842 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639520210160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=6410/tid=6413] ppid=6407 vsize=1367620 CPUtime=0 cores=1,3,5,7 /proc/6410/task/6413/stat : 6413 (toysat) S 6407 6410 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106851870 1400442880 283928 33554432000 4194304 16246674 140735098600496 139639509736624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1367620 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.56 CPU system time (s): 0.479927 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1367620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.479927 maximum resident set size= 1135712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283420 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= 322 involuntary context switches= 1868 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.6582 second user time and 17.6773 second system time The end
Begin job on node106 at 2016-06-06 23:39:29 IDJOB=4079830 IDBENCH=24989 IDSOLVER=2542 FILE ID=node106/4079830-1465249169 RUNJOBID= node106-1465219870-1859 PBS_JOBID= 19843217 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079830-1465249169/watcher-4079830-1465249169 -o /tmp/evaluation-result-4079830-1465249169/solver-4079830-1465249169 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079830-1465249169.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1 RANDOM SEED=425132521 node106.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.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 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.775 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.64 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.775 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.775 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.775 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: 30325832 kB Buffers: 53968 kB Cached: 149308 kB SwapCached: 1844 kB Active: 1164472 kB Inactive: 120332 kB Active(anon): 1082892 kB Inactive(anon): 1280 kB Active(file): 81580 kB Inactive(file): 119052 kB Unevictable: 559348 kB Mlocked: 13600 kB SwapTotal: 67108856 kB SwapFree: 67098536 kB Dirty: 17156 kB Writeback: 32 kB AnonPages: 1640664 kB Mapped: 10512 kB Shmem: 0 kB Slab: 569412 kB SReclaimable: 13524 kB SUnreclaim: 555888 kB KernelStack: 1464 kB PageTables: 7284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1786836 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1619968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node106 at 2016-06-07 00:09:30