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.05 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_015_area_delay.opb |
| MD5SUM | 90acfb7d1c18536583ef7e2a90905f54 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.161974 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 7798 |
| Total number of constraints | 24318 |
| Number of constraints which are clauses | 24318 |
| 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 | 3790 |
| 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 | 3790 |
| 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 | 3790 |
| 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:25:46+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-4079842-1465248346.opb"] 0.00/0.01 c use --random-gen="1149973690 1845735109 3403214272 3958994103 3052467779 4113391617 2403811664 3576230342 3038935963 3981074971 3151957308 4049286049 2978828346 1301291967 3209009079 1023445162 4104831479 3789518311 268931610 1669101591 1214661489 133589972 280253092 1774662891 372607063 1795545862 2912987141 3585361330 1170336835 3620659564 4144496982 1355152554 2963834722 1885643756 1797022750 2068683395 428429740 990736541 1134852875 2244464995 1729987942 1342343149 2595638370 2552751835 244195351 3239506744 988995042 2636307923 2236350205 1102358825 2051333389 930130246 2622288604 4100167911 1624360182 2728150536 324016381 3898425143 3800776460 3901979538 3010376723 4190797290 2594239207 3430926265 4019086054 538778609 1660881482 1269855442 1489899296 1759799312 4293093623 3765495489 2482782740 1159229718 457843324 1635119368 3354150445 1038252005 2664589422 204544198 1276067295 972646781 259798838 484846128 1725635844 2894091838 3784705290 389937072 2610330431 4101747743 1115334813 2739338301 902439543 2527404245 370202752 3461082496 2886430563 3708354166 1503986690 696118165 327857954 1766031334 1855493258 1752847850 2332150105 1183568530 2244148764 2836740709 665341027 2739909152 124698924 585483006 4292428142 1186938973 408253534 2654593733 673293898 3645459196 353675846 984980826 4063476372 1549450327 2113258822 3795455521 552410373 2340274705 1710280608 1783043532 2844330039 1001592232 3842997810 2715586998 3126128368 1736769823 2623813580 384249238 2592384795 2330306976 4163512689 1455215074 3363549804 3414641186 1526158789 1898238769 2584037179 2290921503 2296624868 36480611 2231167648 1724628993 3412982629 4230659477 2229857219 437884873 4020304301 686878799 3149049370 1446063796 153249633 4093567758 3920417756 2757063376 2967284857 1955096521 1649887718 1199607962 642517998 3181010606 2019713310 1219239825 1978098301 2563415057 2664095532 1330751729 685732682 3732787977 2683322403 2128388916 1623053045 126338396 322839744 1351784894 3895965652 848158713 796834907 2386349094 1576481816 3961752397 3398474148 3537934954 3642646753 4174970775 1751400318 3129532182 2485948822 2707441432 3603041393 474888199 2965517022 454030968 4123421272 3779592877 176341903 1384479299 2669047363 3615084737 2202303438 2982682178 3680996960 2162624574 683568836 1486331088 1482187744 2025502899 3422774996 1369442422 1769511419 2597635938 4268890960 316828740 4205571107 1743004192 2216496945 402842133 3269717033 2406001960 1334956387 85066822 594134859 1852772129 4200982264 2690297415 2942225352 3281787820 2386990744 4287167497 3107553253 614921216 2980758117 3240730100 93971181 3682342944 49789067 328307766 70946425 2048086085 3406672976 1532650428 116380475 713957613 2444032343 4227637306 2076155482 2991042092 1982009295 4190029805 255 362436" option to reproduce the execution 0.09/0.17 c #vars 7798 0.09/0.17 c #constraints 24318 0.39/0.45 c BCD2: Hardening is enabled. 0.39/0.45 c BCD2: BiasedSearch is enabled. 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 0 0.49/0.51 c 0.1s | 0 | 1853 | 0 | 10502 0 | 1219 | 2839 0.49/0.51 c #cpu_time = 0.055s 0.49/0.51 c #wall_clock_time = 0.055s 0.49/0.51 c #decision = 1853 0.49/0.51 c #random_decision = 5 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 o 1853 0.49/0.51 c BCD2: updating upper bound: 3790 -> 1852 0.49/0.56 c BCD2: 0 <= obj <= 1852 0.49/0.56 c BCD2: #cores=0, #unrelaxed=3790, #relaxed=0, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=1 bias=1/2 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.59/0.60 c 0.0s | 0 | 4 | 0 | 10502 0 | 1219 | 2839 0.59/0.60 c #cpu_time = 0.011s 0.59/0.60 c #wall_clock_time = 0.011s 0.59/0.60 c #decision = 4 0.59/0.60 c #random_decision = 0 0.59/0.60 c #conflict = 0 0.59/0.60 c #restart = 0 0.59/0.60 c BCD2: found a new core of size 3: cost of the new core is >=1 0.59/0.60 c lower bound updated to 1 0.59/0.60 c BCD2: 1 <= obj <= 1852 0.59/0.60 c BCD2: #cores=1, #unrelaxed=3787, #relaxed=3, #hardened=0 0.59/0.60 c BCD2: #sat=1 #unsat=2 bias=2/3 0.59/0.60 c Solving starts ... 0.59/0.60 c ============================[ Search Statistics ]============================ 0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.60 c | | | | Limit GC | Var | Constra 0.59/0.60 c ============================================================================= 0.59/0.60 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.59/0.61 c 0.0s | 0 | 5 | 0 | 10502 0 | 1219 | 2839 0.59/0.61 c #cpu_time = 0.010s 0.59/0.61 c #wall_clock_time = 0.010s 0.59/0.61 c #decision = 5 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 0 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: found a new core of size 3: cost of the new core is >=1 0.59/0.61 c lower bound updated to 2 0.59/0.64 c BCD2: 2 <= obj <= 1852 0.59/0.64 c BCD2: #cores=2, #unrelaxed=3784, #relaxed=6, #hardened=0 0.59/0.64 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 10502 0 | 1219 | 2839 0.59/0.65 c 0.0s | 0 | 6 | 0 | 10502 0 | 1219 | 2839 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 = 6 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 3: cost of the new core is >=1 0.59/0.65 c lower bound updated to 3 0.59/0.65 c BCD2: 3 <= obj <= 1852 0.59/0.65 c BCD2: #cores=3, #unrelaxed=3781, #relaxed=9, #hardened=0 0.59/0.65 c BCD2: #sat=1 #unsat=4 bias=4/5 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 | 10502 0 | 1219 | 2839 0.59/0.66 c 0.0s | 0 | 21 | 0 | 10502 0 | 1219 | 2839 0.59/0.66 c #cpu_time = 0.010s 0.59/0.66 c #wall_clock_time = 0.010s 0.59/0.66 c #decision = 21 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 9: cost of the new core is >=1 0.59/0.66 c lower bound updated to 4 0.59/0.66 c BCD2: 4 <= obj <= 1852 0.59/0.66 c BCD2: #cores=4, #unrelaxed=3772, #relaxed=18, #hardened=0 0.59/0.66 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 10502 0 | 1219 | 2839 0.59/0.67 c 0.0s | 0 | 59 | 0 | 10502 0 | 1219 | 2839 0.59/0.67 c #cpu_time = 0.009s 0.59/0.67 c #wall_clock_time = 0.009s 0.59/0.67 c #decision = 59 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 5 0.59/0.67 c BCD2: 5 <= obj <= 1852 0.59/0.67 c BCD2: #cores=5, #unrelaxed=3763, #relaxed=27, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 10502 0 | 1219 | 2839 0.59/0.68 c 0.0s | 0 | 115 | 0 | 10502 0 | 1219 | 2839 0.59/0.68 c #cpu_time = 0.008s 0.59/0.68 c #wall_clock_time = 0.008s 0.59/0.68 c #decision = 115 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 6 0.59/0.68 c BCD2: 6 <= obj <= 1852 0.59/0.68 c BCD2: #cores=6, #unrelaxed=3730, #relaxed=60, #hardened=0 0.59/0.68 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 10502 0 | 1219 | 2839 0.59/0.69 c 0.0s | 0 | 143 | 0 | 10502 0 | 1219 | 2839 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 = 143 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 49: cost of the new core is >=1 0.59/0.69 c lower bound updated to 7 0.59/0.70 c BCD2: 7 <= obj <= 1852 0.59/0.70 c BCD2: #cores=7, #unrelaxed=3681, #relaxed=109, #hardened=0 0.59/0.70 c BCD2: #sat=1 #unsat=8 bias=8/9 0.59/0.70 c Solving starts ... 0.59/0.70 c ============================[ Search Statistics ]============================ 0.59/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.70 c | | | | Limit GC | Var | Constra 0.59/0.70 c ============================================================================= 0.59/0.70 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.68/0.71 c 0.0s | 0 | 487 | 0 | 10502 0 | 1219 | 2839 0.68/0.71 c #cpu_time = 0.009s 0.68/0.71 c #wall_clock_time = 0.010s 0.68/0.71 c #decision = 487 0.68/0.71 c #random_decision = 0 0.68/0.71 c #conflict = 0 0.68/0.71 c #restart = 0 0.68/0.71 c BCD2: found a new core of size 9: cost of the new core is >=1 0.68/0.71 c lower bound updated to 8 0.68/0.71 c BCD2: 8 <= obj <= 1852 0.68/0.71 c BCD2: #cores=8, #unrelaxed=3672, #relaxed=118, #hardened=0 0.68/0.71 c BCD2: #sat=1 #unsat=9 bias=9/10 0.68/0.71 c Solving starts ... 0.68/0.71 c ============================[ Search Statistics ]============================ 0.68/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.71 c | | | | Limit GC | Var | Constra 0.68/0.71 c ============================================================================= 0.68/0.71 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.68/0.72 c 0.0s | 0 | 797 | 0 | 10502 0 | 1219 | 2839 0.68/0.72 c #cpu_time = 0.010s 0.68/0.72 c #wall_clock_time = 0.010s 0.68/0.72 c #decision = 797 0.68/0.72 c #random_decision = 0 0.68/0.72 c #conflict = 0 0.68/0.72 c #restart = 0 0.68/0.72 c BCD2: found a new core of size 11: cost of the new core is >=1 0.68/0.72 c lower bound updated to 9 0.68/0.72 c BCD2: 9 <= obj <= 1852 0.68/0.72 c BCD2: #cores=9, #unrelaxed=3661, #relaxed=129, #hardened=0 0.68/0.72 c BCD2: #sat=1 #unsat=10 bias=10/11 0.68/0.72 c Solving starts ... 0.68/0.72 c ============================[ Search Statistics ]============================ 0.68/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.72 c | | | | Limit GC | Var | Constra 0.68/0.72 c ============================================================================= 0.68/0.72 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.68/0.73 c 0.0s | 0 | 832 | 0 | 10502 0 | 1219 | 2839 0.68/0.73 c #cpu_time = 0.009s 0.68/0.73 c #wall_clock_time = 0.009s 0.68/0.73 c #decision = 832 0.68/0.73 c #random_decision = 0 0.68/0.73 c #conflict = 0 0.68/0.73 c #restart = 0 0.68/0.73 c BCD2: found a new core of size 38: cost of the new core is >=1 0.68/0.73 c lower bound updated to 10 0.68/0.73 c BCD2: 10 <= obj <= 1852 0.68/0.73 c BCD2: #cores=10, #unrelaxed=3623, #relaxed=167, #hardened=0 0.68/0.73 c BCD2: #sat=1 #unsat=11 bias=11/12 0.68/0.73 c Solving starts ... 0.68/0.73 c ============================[ Search Statistics ]============================ 0.68/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.73 c | | | | Limit GC | Var | Constra 0.68/0.73 c ============================================================================= 0.68/0.73 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.68/0.74 c 0.0s | 0 | 914 | 0 | 10502 0 | 1219 | 2839 0.68/0.74 c #cpu_time = 0.010s 0.68/0.74 c #wall_clock_time = 0.010s 0.68/0.74 c #decision = 914 0.68/0.74 c #random_decision = 0 0.68/0.74 c #conflict = 0 0.68/0.74 c #restart = 0 0.68/0.74 c BCD2: found a new core of size 27: cost of the new core is >=1 0.68/0.74 c lower bound updated to 11 0.68/0.75 c BCD2: 11 <= obj <= 1852 0.68/0.75 c BCD2: #cores=11, #unrelaxed=3596, #relaxed=194, #hardened=0 0.68/0.75 c BCD2: #sat=1 #unsat=12 bias=12/13 0.68/0.75 c Solving starts ... 0.68/0.75 c ============================[ Search Statistics ]============================ 0.68/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.75 c | | | | Limit GC | Var | Constra 0.68/0.75 c ============================================================================= 0.68/0.75 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.68/0.76 c 0.0s | 0 | 1414 | 0 | 10502 0 | 1219 | 2839 0.68/0.76 c #cpu_time = 0.012s 0.68/0.76 c #wall_clock_time = 0.012s 0.68/0.76 c #decision = 1414 0.68/0.76 c #random_decision = 0 0.68/0.76 c #conflict = 0 0.68/0.76 c #restart = 0 0.68/0.76 c BCD2: found a new core of size 11: cost of the new core is >=1 0.68/0.76 c lower bound updated to 12 0.68/0.76 c BCD2: 12 <= obj <= 1852 0.68/0.76 c BCD2: #cores=12, #unrelaxed=3585, #relaxed=205, #hardened=0 0.68/0.76 c BCD2: #sat=1 #unsat=13 bias=13/14 0.68/0.76 c Solving starts ... 0.68/0.76 c ============================[ Search Statistics ]============================ 0.68/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.76 c | | | | Limit GC | Var | Constra 0.68/0.76 c ============================================================================= 0.68/0.76 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.68/0.78 c 0.0s | 0 | 1665 | 0 | 10502 0 | 1219 | 2839 0.68/0.78 c #cpu_time = 0.011s 0.68/0.78 c #wall_clock_time = 0.011s 0.68/0.78 c #decision = 1665 0.68/0.78 c #random_decision = 0 0.68/0.78 c #conflict = 0 0.68/0.78 c #restart = 0 0.68/0.78 c BCD2: found a new core of size 118: cost of the new core is >=1 0.68/0.78 c lower bound updated to 13 0.68/0.78 c BCD2: 13 <= obj <= 1852 0.68/0.78 c BCD2: #cores=13, #unrelaxed=3467, #relaxed=323, #hardened=0 0.68/0.78 c BCD2: #sat=1 #unsat=14 bias=14/15 0.68/0.78 c Solving starts ... 0.68/0.78 c ============================[ Search Statistics ]============================ 0.68/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.78 c | | | | Limit GC | Var | Constra 0.68/0.78 c ============================================================================= 0.68/0.78 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.68/0.79 c 0.0s | 0 | 2196 | 0 | 10502 0 | 1219 | 2839 0.68/0.79 c #cpu_time = 0.013s 0.68/0.79 c #wall_clock_time = 0.013s 0.68/0.79 c #decision = 2196 0.68/0.79 c #random_decision = 0 0.68/0.79 c #conflict = 0 0.68/0.79 c #restart = 0 0.68/0.79 c BCD2: found a new core of size 129: cost of the new core is >=1 0.68/0.79 c lower bound updated to 14 0.79/0.80 c BCD2: 14 <= obj <= 1852 0.79/0.80 c BCD2: #cores=14, #unrelaxed=3338, #relaxed=452, #hardened=0 0.79/0.80 c BCD2: #sat=1 #unsat=15 bias=15/16 0.79/0.80 c Solving starts ... 0.79/0.80 c ============================[ Search Statistics ]============================ 0.79/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.80 c | | | | Limit GC | Var | Constra 0.79/0.80 c ============================================================================= 0.79/0.80 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.79/0.81 c 0.0s | 0 | 2148 | 0 | 10502 0 | 1219 | 2839 0.79/0.81 c #cpu_time = 0.010s 0.79/0.81 c #wall_clock_time = 0.011s 0.79/0.81 c #decision = 2148 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 31: cost of the new core is >=1 0.79/0.81 c lower bound updated to 15 0.79/0.81 c BCD2: 15 <= obj <= 1852 0.79/0.81 c BCD2: #cores=15, #unrelaxed=3307, #relaxed=483, #hardened=0 0.79/0.81 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 10502 0 | 1219 | 2839 0.79/0.82 c 0.0s | 0 | 2158 | 0 | 10502 0 | 1219 | 2839 0.79/0.82 c #cpu_time = 0.012s 0.79/0.82 c #wall_clock_time = 0.012s 0.79/0.82 c #decision = 2158 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 36: cost of the new core is >=1 0.79/0.82 c lower bound updated to 16 0.79/0.82 c BCD2: 16 <= obj <= 1852 0.79/0.82 c BCD2: #cores=16, #unrelaxed=3271, #relaxed=519, #hardened=0 0.79/0.82 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 10502 0 | 1219 | 2839 0.79/0.84 c 0.0s | 0 | 2550 | 0 | 10502 0 | 1219 | 2839 0.79/0.84 c #cpu_time = 0.016s 0.79/0.84 c #wall_clock_time = 0.016s 0.79/0.84 c #decision = 2550 0.79/0.84 c #random_decision = 0 0.79/0.84 c #conflict = 0 0.79/0.84 c #restart = 0 0.79/0.84 c BCD2: found a new core of size 70: cost of the new core is >=1 0.79/0.84 c lower bound updated to 17 0.79/0.84 c BCD2: 17 <= obj <= 1852 0.79/0.84 c BCD2: #cores=17, #unrelaxed=3201, #relaxed=589, #hardened=0 0.79/0.84 c BCD2: #sat=1 #unsat=18 bias=18/19 0.79/0.85 c Solving starts ... 0.79/0.85 c ============================[ Search Statistics ]============================ 0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.85 c | | | | Limit GC | Var | Constra 0.79/0.85 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.79/0.86 c 0.0s | 0 | 2543 | 0 | 10502 0 | 1219 | 2839 0.79/0.86 c #cpu_time = 0.011s 0.79/0.86 c #wall_clock_time = 0.011s 0.79/0.86 c #decision = 2543 0.79/0.86 c #random_decision = 0 0.79/0.86 c #conflict = 0 0.79/0.86 c #restart = 0 0.79/0.86 c BCD2: found a new core of size 42: cost of the new core is >=1 0.79/0.86 c lower bound updated to 18 0.79/0.86 c BCD2: 18 <= obj <= 1852 0.79/0.86 c BCD2: #cores=18, #unrelaxed=3159, #relaxed=631, #hardened=0 0.79/0.86 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 10502 0 | 1219 | 2839 0.79/0.87 c 0.0s | 0 | 2534 | 0 | 10502 0 | 1219 | 2839 0.79/0.87 c #cpu_time = 0.013s 0.79/0.87 c #wall_clock_time = 0.013s 0.79/0.87 c #decision = 2534 0.79/0.87 c #random_decision = 0 0.79/0.87 c #conflict = 0 0.79/0.87 c #restart = 0 0.79/0.87 c BCD2: found a new core of size 27: cost of the new core is >=1 0.79/0.87 c lower bound updated to 19 0.79/0.88 c BCD2: 19 <= obj <= 1852 0.79/0.88 c BCD2: #cores=19, #unrelaxed=3132, #relaxed=658, #hardened=0 0.79/0.88 c BCD2: #sat=1 #unsat=20 bias=20/21 0.79/0.88 c Solving starts ... 0.79/0.88 c ============================[ Search Statistics ]============================ 0.79/0.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.88 c | | | | Limit GC | Var | Constra 0.79/0.88 c ============================================================================= 0.79/0.88 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2839 0.79/0.89 c 0.0s | 0 | 2540 | 0 | 10502 0 | 1219 | 2839 0.79/0.89 c #cpu_time = 0.011s 0.79/0.89 c #wall_clock_time = 0.011s 0.79/0.89 c #decision = 2540 0.79/0.89 c #random_decision = 0 0.79/0.89 c #conflict = 0 0.79/0.89 c #restart = 0 0.79/0.89 c BCD2: found a new core of size 27: cost of the new core is >=1 0.79/0.89 c lower bound updated to 20 0.79/0.89 c BCD2: 20 <= obj <= 1852 0.79/0.89 c BCD2: #cores=20, #unrelaxed=3105, #relaxed=685, #hardened=0 0.79/0.89 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 10502 0 | 1219 | 2839 0.89/0.92 c 0.0s | 0 | 3125 | 0 | 10502 0 | 1219 | 2839 0.89/0.92 c #cpu_time = 0.018s 0.89/0.92 c #wall_clock_time = 0.018s 0.89/0.92 c #decision = 3125 0.89/0.92 c #random_decision = 0 0.89/0.92 c #conflict = 0 0.89/0.92 c #restart = 0 0.89/0.92 o 43 0.89/0.92 c BCD2: updating upper bound: 1852 -> 42 0.89/0.93 c BCD2: 20 <= obj <= 42 0.89/0.93 c BCD2: #cores=20, #unrelaxed=3105, #relaxed=685, #hardened=0 0.89/0.93 c BCD2: #sat=2 #unsat=21 bias=21/23 0.89/0.94 c Solving starts ... 0.89/0.94 c ============================[ Search Statistics ]============================ 0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.94 c | | | | Limit GC | Var | Constra 0.89/0.94 c ============================================================================= 0.89/0.94 c 0.0s | 0 | 0 | 0 | 10502 0 | 1219 | 2840 0.89/0.96 c 0.0s | 0 | 3915 | 3 | 10502 0 | 1219 | 2840 0.89/0.96 c #cpu_time = 0.023s 0.89/0.96 c #wall_clock_time = 0.023s 0.89/0.96 c #decision = 3915 0.89/0.96 c #random_decision = 0 0.89/0.96 c #conflict = 3 0.89/0.96 c #restart = 0 0.89/0.96 c BCD2: relaxing 14 and merging with 4 cores into a new core of size 46: cost of the new core is >=5 0.89/0.96 c lower bound updated to 21 0.89/0.96 c BCD2: 21 <= obj <= 42 0.89/0.96 c BCD2: #cores=17, #unrelaxed=3091, #relaxed=699, #hardened=0 0.89/0.96 c BCD2: #sat=2 #unsat=22 bias=22/24 0.89/0.96 c Solving starts ... 0.89/0.96 c ============================[ Search Statistics ]============================ 0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.96 c | | | | Limit GC | Var | Constra 0.89/0.96 c ============================================================================= 0.89/0.96 c 0.0s | 0 | 0 | 0 | 10502 0 | 1228 | 2840 0.98/1.01 c 0.1s | 1 | 3001 | 100 | 11553 0 | 1228 | 2854 0.98/1.08 c 0.1s | 2 | 15585 | 250 | 12709 0 | 1228 | 2854 1.09/1.11 c 0.1s | 2 | 18295 | 275 | 12709 0 | 1228 | 2854 1.09/1.11 c #cpu_time = 0.144s 1.09/1.11 c #wall_clock_time = 0.145s 1.09/1.11 c #decision = 18295 1.09/1.11 c #random_decision = 3 1.09/1.11 c #conflict = 275 1.09/1.11 c #restart = 2 1.09/1.11 o 31 1.09/1.11 c BCD2: updating upper bound: 42 -> 30 1.09/1.13 c BCD2: 21 <= obj <= 30 1.09/1.13 c BCD2: #cores=17, #unrelaxed=3091, #relaxed=699, #hardened=0 1.09/1.13 c BCD2: #sat=3 #unsat=22 bias=22/25 1.09/1.13 c Solving starts ... 1.09/1.13 c ============================[ Search Statistics ]============================ 1.09/1.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.13 c | | | | Limit GC | Var | Constra 1.09/1.13 c ============================================================================= 1.09/1.13 c 0.0s | 0 | 0 | 0 | 12709 0 | 1228 | 2855 1.09/1.16 c 0.0s | 1 | 2822 | 100 | 12709 0 | 1228 | 2855 1.19/1.25 c 0.1s | 2 | 8536 | 250 | 13980 0 | 1229 | 3650 1.29/1.31 c 0.2s | 3 | 11465 | 475 | 13980 0 | 1229 | 3650 1.29/1.39 c 0.3s | 4 | 14685 | 813 | 15379 0 | 1229 | 3650 1.49/1.58 c 0.4s | 5 | 18493 | 1320 | 16917 0 | 1229 | 3650 1.69/1.79 c 0.7s | 5 | 24618 | 1640 | 16917 0 | 1229 | 3650 1.69/1.79 c #cpu_time = 0.652s 1.69/1.79 c #wall_clock_time = 0.654s 1.69/1.79 c #decision = 24618 1.69/1.79 c #random_decision = 1 1.69/1.79 c #conflict = 1640 1.69/1.79 c #restart = 5 1.69/1.79 c BCD2: relaxing 147 and merging with 10 cores into a new core of size 590: cost of the new core is >=15 1.69/1.79 c lower bound updated to 22 1.69/1.79 c BCD2: 22 <= obj <= 30 1.69/1.79 c BCD2: #cores=8, #unrelaxed=2944, #relaxed=846, #hardened=0 1.69/1.79 c BCD2: #sat=3 #unsat=23 bias=23/26 1.79/1.80 c Solving starts ... 1.79/1.80 c ============================[ Search Statistics ]============================ 1.79/1.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.80 c | | | | Limit GC | Var | Constra 1.79/1.80 c ============================================================================= 1.79/1.80 c 0.0s | 0 | 0 | 0 | 16917 0 | 1263 | 3650 1.89/1.93 c 0.1s | 1 | 4575 | 100 | 16917 0 | 1263 | 3708 2.09/2.10 c 0.3s | 2 | 8300 | 250 | 18609 0 | 1263 | 3708 2.30/2.35 c 0.5s | 3 | 13197 | 475 | 18609 0 | 1263 | 3708 2.69/2.73 c 0.9s | 4 | 18737 | 813 | 18609 0 | 1263 | 3708 3.29/3.37 c 1.6s | 5 | 24333 | 1320 | 20470 0 | 1263 | 3708 4.19/4.20 c 2.4s | 6 | 31288 | 2081 | 20470 0 | 1263 | 3708 5.39/5.44 c 3.6s | 7 | 41756 | 3223 | 22517 0 | 1263 | 3708 7.28/7.31 c 5.5s | 8 | 55916 | 4936 | 22517 0 | 1263 | 3708 9.28/9.37 c 7.6s | 8 | 72559 | 6736 | 24769 0 | 1263 | 3708 10.18/10.28 c 8.5s | 9 | 79555 | 7506 | 24769 0 | 1263 | 3708 12.19/12.28 c 10.5s | 9 | 91408 | 9006 | 24769 0 | 1263 | 3708 14.29/14.34 c 12.5s | 9 | 98541 | 10506 | 27246 0 | 1263 | 3708 15.49/15.58 c 13.8s | 10 | 106096 | 11361 | 27246 0 | 1263 | 3708 17.59/17.68 c 15.9s | 10 | 120328 | 12861 | 27246 0 | 1263 | 3708 19.79/19.81 c 18.0s | 10 | 130230 | 14361 | 27246 0 | 1263 | 3708 21.88/21.90 c 20.1s | 10 | 144304 | 15961 | 29971 0 | 1263 | 3708 23.58/23.62 c 21.8s | 11 | 153790 | 17144 | 29971 0 | 1263 | 3708 25.68/25.72 c 23.9s | 11 | 164280 | 18444 | 29971 0 | 1263 | 3708 27.68/27.76 c 26.0s | 11 | 175980 | 19744 | 29971 0 | 1263 | 3708 29.79/29.82 c 28.0s | 11 | 187189 | 21144 | 29971 0 | 1263 | 3708 31.78/31.84 c 30.0s | 11 | 195983 | 22444 | 29971 0 | 1263 | 3708 33.88/33.98 c 32.2s | 11 | 207047 | 23644 | 29971 0 | 1263 | 3708 35.98/36.07 c 34.3s | 11 | 215716 | 24844 | 32969 0 | 1263 | 3708 37.78/37.84 c 36.0s | 12 | 223973 | 25819 | 32969 0 | 1263 | 3708 39.88/39.99 c 38.2s | 12 | 240365 | 26819 | 32969 0 | 1263 | 3708 42.08/42.13 c 40.3s | 12 | 255512 | 27819 | 32969 0 | 1263 | 3708 44.18/44.27 c 42.5s | 12 | 269766 | 28819 | 32969 0 | 1263 | 3708 46.38/46.41 c 44.6s | 12 | 277266 | 29819 | 32969 0 | 1263 | 3708 48.38/48.48 c 46.7s | 12 | 289810 | 30719 | 32969 0 | 1263 | 3708 50.48/50.60 c 48.8s | 12 | 301431 | 31719 | 32969 0 | 1263 | 3708 52.68/52.76 c 51.0s | 12 | 313100 | 32719 | 32969 0 | 1263 | 3708 54.88/54.95 c 53.1s | 12 | 323108 | 33719 | 32969 0 | 1263 | 3708 56.98/57.02 c 55.2s | 12 | 336883 | 34519 | 32969 0 | 1263 | 3708 58.98/59.09 c 57.3s | 12 | 352010 | 35519 | 32969 0 | 1263 | 3708 61.08/61.11 c 59.3s | 12 | 364109 | 36519 | 32969 0 | 1263 | 3708 63.28/63.31 c 61.5s | 12 | 382043 | 37519 | 36266 0 | 1263 | 3708 65.38/65.41 c 63.6s | 12 | 393278 | 38419 | 36266 0 | 1263 | 3708 66.37/66.40 c 64.6s | 13 | 395648 | 38832 | 36266 0 | 1263 | 3708 68.47/68.57 c 66.8s | 13 | 409054 | 39832 | 36266 1 | 1263 | 3708 70.57/70.60 c 68.8s | 13 | 428375 | 41132 | 36266 1 | 1263 | 3708 72.58/72.65 c 70.8s | 13 | 450984 | 42432 | 36266 1 | 1263 | 3708 74.57/74.65 c 72.8s | 13 | 466413 | 43732 | 36266 1 | 1263 | 3708 76.77/76.83 c 75.0s | 13 | 479043 | 44832 | 36266 1 | 1263 | 3708 78.87/78.95 c 77.1s | 13 | 493247 | 45832 | 36266 1 | 1263 | 3708 81.07/81.13 c 79.3s | 13 | 510264 | 46932 | 36266 1 | 1263 | 3708 83.17/83.28 c 81.5s | 13 | 520456 | 47832 | 36266 1 | 1263 | 3708 85.27/85.37 c 83.6s | 13 | 529521 | 48832 | 36266 1 | 1263 | 3708 87.47/87.53 c 85.7s | 13 | 537448 | 49832 | 36266 1 | 1263 | 3708 89.67/89.71 c 87.9s | 13 | 549880 | 50932 | 36266 1 | 1263 | 3708 91.67/91.76 c 90.0s | 13 | 563677 | 51932 | 36266 1 | 1263 | 3708 93.67/93.78 c 92.0s | 13 | 576637 | 52932 | 36266 1 | 1263 | 3708 95.87/95.97 c 94.2s | 13 | 589189 | 54032 | 36266 1 | 1263 | 3708 97.98/98.03 c 96.2s | 13 | 595131 | 54832 | 36266 1 | 1263 | 3708 100.27/100.34 c 98.5s | 13 | 599073 | 55632 | 36266 1 | 1263 | 3708 102.38/102.49 c 100s | 13 | 613315 | 56532 | 39893 1 | 1263 | 3708 104.58/104.61 c 102s | 13 | 621937 | 57432 | 39893 1 | 1263 | 3708 106.57/106.63 c 104s | 13 | 629870 | 58332 | 39893 1 | 1263 | 3708 106.57/106.69 c 104s | 14 | 630566 | 58352 | 39893 1 | 1263 | 3708 108.77/108.90 c 107s | 14 | 638983 | 59152 | 39893 1 | 1263 | 3708 111.08/111.14 c 109s | 14 | 644607 | 59952 | 39893 1 | 1263 | 3708 113.17/113.20 c 111s | 14 | 650266 | 60752 | 39893 1 | 1263 | 3708 115.37/115.42 c 113s | 14 | 654614 | 61552 | 39893 1 | 1263 | 3708 117.57/117.65 c 115s | 14 | 660668 | 62152 | 39893 1 | 1263 | 3708 119.67/119.75 c 117s | 14 | 667480 | 62852 | 39893 1 | 1263 | 3708 121.77/121.86 c 120s | 14 | 677645 | 63552 | 39893 1 | 1263 | 3708 123.77/123.87 c 122s | 14 | 684698 | 64152 | 39893 1 | 1263 | 3708 126.17/126.22 c 124s | 14 | 692457 | 64852 | 39893 1 | 1263 | 3708 128.47/128.54 c 126s | 14 | 700604 | 65552 | 39893 1 | 1263 | 3708 130.57/130.70 c 128s | 14 | 708629 | 66352 | 39893 2 | 1263 | 3708 132.76/132.86 c 131s | 14 | 715726 | 67352 | 39893 2 | 1263 | 3708 135.37/135.44 c 133s | 14 | 719391 | 68052 | 39893 2 | 1263 | 3708 137.47/137.55 c 135s | 14 | 730837 | 68952 | 39893 2 | 1263 | 3708 139.46/139.56 c 137s | 14 | 742732 | 69952 | 39893 2 | 1263 | 3708 141.46/141.56 c 139s | 14 | 753121 | 70952 | 39893 2 | 1263 | 3708 143.46/143.58 c 141s | 14 | 762739 | 71952 | 39893 2 | 1263 | 3708 145.56/145.68 c 143s | 14 | 768770 | 72952 | 39893 2 | 1263 | 3708 147.76/147.85 c 146s | 14 | 775711 | 73952 | 39893 2 | 1263 | 3708 149.96/150.08 c 148s | 14 | 784203 | 74952 | 39893 2 | 1263 | 3708 152.06/152.18 c 150s | 14 | 792091 | 75852 | 39893 2 | 1263 | 3708 154.16/154.29 c 152s | 14 | 802741 | 76652 | 39893 2 | 1263 | 3708 156.27/156.40 c 154s | 14 | 812075 | 77452 | 39893 2 | 1263 | 3708 158.37/158.44 c 156s | 14 | 819766 | 78252 | 39893 2 | 1263 | 3708 160.57/160.67 c 158s | 14 | 826096 | 79052 | 39893 2 | 1263 | 3708 162.66/162.74 c 160s | 14 | 834299 | 79752 | 39893 2 | 1263 | 3708 164.86/164.91 c 163s | 14 | 845125 | 80652 | 39893 2 | 1263 | 3708 166.96/167.05 c 165s | 14 | 857116 | 81552 | 39893 2 | 1263 | 3708 168.96/169.07 c 167s | 14 | 863495 | 82452 | 39893 2 | 1263 | 3708 171.16/171.26 c 169s | 14 | 868131 | 83352 | 39893 2 | 1263 | 3708 173.36/173.44 c 171s | 14 | 871343 | 84152 | 39893 2 | 1263 | 3708 175.36/175.45 c 173s | 14 | 874580 | 85052 | 39893 2 | 1263 | 3708 177.46/177.52 c 175s | 14 | 883928 | 85852 | 43883 2 | 1263 | 3708 179.56/179.66 c 177s | 14 | 893590 | 86652 | 43883 2 | 1263 | 3708 181.66/181.72 c 179s | 14 | 903579 | 87352 | 43883 2 | 1263 | 3708 182.26/182.37 c 180s | 15 | 905283 | 87632 | 43883 2 | 1263 | 3708 184.26/184.38 c 182s | 15 | 915024 | 88532 | 43883 3 | 1263 | 3708 186.36/186.48 c 184s | 15 | 923391 | 89832 | 43883 3 | 1263 | 3708 189.56/189.67 c 187s | 15 | 927740 | 90732 | 43883 3 | 1263 | 3708 191.76/191.82 c 190s | 15 | 933204 | 91832 | 43883 3 | 1263 | 3708 193.86/193.95 c 192s | 15 | 942932 | 92532 | 43883 3 | 1263 | 3708 195.96/196.07 c 194s | 15 | 958895 | 94032 | 43883 3 | 1263 | 3708 198.06/198.12 c 196s | 15 | 972174 | 95432 | 43883 3 | 1263 | 3708 200.06/200.16 c 198s | 15 | 982399 | 96632 | 43883 3 | 1263 | 3708 202.06/202.19 c 200s | 15 | 993704 | 97732 | 43883 3 | 1263 | 3708 204.16/204.24 c 202s | 15 | 1003639 | 98732 | 43883 3 | 1263 | 3708 206.36/206.45 c 204s | 15 | 1012585 | 99732 | 43883 3 | 1263 | 3708 208.36/208.45 c 206s | 15 | 1019015 | 100632 | 43883 3 | 1263 | 3708 210.46/210.58 c 208s | 15 | 1024932 | 101632 | 43883 3 | 1263 | 3708 212.56/212.69 c 210s | 15 | 1032289 | 102532 | 43883 3 | 1263 | 3708 214.76/214.80 c 212s | 15 | 1040594 | 103532 | 43883 3 | 1263 | 3708 216.76/216.86 c 215s | 15 | 1051909 | 104632 | 43883 3 | 1263 | 3708 218.75/218.90 c 217s | 15 | 1059037 | 105732 | 43883 3 | 1263 | 3708 220.95/221.08 c 219s | 15 | 1067272 | 106832 | 43883 3 | 1263 | 3708 222.95/223.08 c 221s | 15 | 1075612 | 107732 | 43883 3 | 1263 | 3708 225.05/225.16 c 223s | 15 | 1083037 | 108432 | 43883 3 | 1263 | 3708 227.25/227.32 c 225s | 15 | 1092328 | 109232 | 43883 3 | 1263 | 3708 229.35/229.42 c 227s | 15 | 1101183 | 110032 | 43883 3 | 1263 | 3708 231.45/231.54 c 229s | 15 | 1107105 | 110732 | 43883 3 | 1263 | 3708 233.45/233.55 c 231s | 15 | 1112614 | 111432 | 43883 3 | 1263 | 3708 235.55/235.66 c 233s | 15 | 1117130 | 112232 | 43883 3 | 1263 | 3708 237.75/237.88 c 236s | 15 | 1125297 | 113232 | 43883 3 | 1263 | 3708 239.86/239.99 c 238s | 15 | 1137947 | 114232 | 43883 3 | 1263 | 3708 242.25/242.35 c 240s | 15 | 1147263 | 115232 | 43883 4 | 1263 | 3708 244.35/244.45 c 242s | 15 | 1157372 | 116432 | 43883 4 | 1263 | 3708 246.46/246.53 c 244s | 15 | 1169336 | 117532 | 43883 4 | 1263 | 3708 248.66/248.74 c 246s | 15 | 1182597 | 118732 | 43883 4 | 1263 | 3708 250.65/250.77 c 248s | 15 | 1193470 | 119732 | 43883 4 | 1263 | 3708 252.85/252.96 c 251s | 15 | 1200308 | 120732 | 43883 4 | 1263 | 3708 254.95/255.06 c 253s | 15 | 1210446 | 121732 | 43883 4 | 1263 | 3708 257.05/257.13 c 255s | 15 | 1223884 | 122832 | 43883 4 | 1263 | 3708 259.15/259.24 c 257s | 15 | 1234820 | 124032 | 43883 4 | 1263 | 3708 261.25/261.32 c 259s | 15 | 1243606 | 125132 | 43883 4 | 1263 | 3708 263.45/263.52 c 261s | 15 | 1251634 | 126232 | 43883 4 | 1263 | 3708 265.45/265.56 c 263s | 15 | 1261870 | 127232 | 43883 4 | 1263 | 3708 267.55/267.63 c 265s | 15 | 1271714 | 128132 | 43883 4 | 1263 | 3708 269.65/269.75 c 267s | 15 | 1279315 | 129032 | 48272 4 | 1263 | 3708 271.75/271.85 c 270s | 15 | 1287059 | 130032 | 48272 4 | 1263 | 3708 273.85/273.95 c 272s | 15 | 1296209 | 131032 | 48272 4 | 1263 | 3708 274.85/274.96 c 273s | 16 | 1301778 | 131552 | 48272 4 | 1263 | 3708 277.04/277.14 c 275s | 16 | 1313339 | 132552 | 48272 4 | 1263 | 3708 279.24/279.31 c 277s | 16 | 1322480 | 133652 | 48272 4 | 1263 | 3708 281.44/281.60 c 279s | 16 | 1334772 | 134752 | 48272 4 | 1263 | 3708 283.64/283.80 c 281s | 16 | 1344826 | 135852 | 48272 4 | 1263 | 3708 285.84/285.93 c 284s | 16 | 1356018 | 136952 | 48272 4 | 1263 | 3708 287.94/288.03 c 286s | 16 | 1361531 | 137752 | 48272 4 | 1263 | 3708 290.04/290.14 c 288s | 16 | 1373187 | 138552 | 48272 4 | 1263 | 3708 292.14/292.28 c 290s | 16 | 1383516 | 139452 | 48272 4 | 1263 | 3708 294.14/294.29 c 292s | 16 | 1392757 | 140252 | 48272 4 | 1263 | 3708 296.24/296.34 c 294s | 16 | 1401164 | 141052 | 48272 4 | 1263 | 3708 298.24/298.35 c 296s | 16 | 1409775 | 141852 | 48272 4 | 1263 | 3708 300.44/300.57 c 298s | 16 | 1419885 | 142852 | 48272 4 | 1263 | 3708 302.55/302.69 c 300s | 16 | 1429724 | 143752 | 48272 4 | 1263 | 3708 304.65/304.79 c 302s | 16 | 1436640 | 144652 | 48272 4 | 1263 | 3708 306.75/306.87 c 305s | 16 | 1444575 | 145552 | 48272 5 | 1263 | 3708 308.85/308.94 c 307s | 16 | 1458914 | 146752 | 48272 5 | 1263 | 3708 310.94/311.02 c 309s | 16 | 1468848 | 147952 | 48272 5 | 1263 | 3708 312.94/313.04 c 311s | 16 | 1479808 | 149152 | 48272 5 | 1263 | 3708 315.04/315.17 c 313s | 16 | 1491566 | 150352 | 48272 5 | 1263 | 3708 317.24/317.30 c 315s | 16 | 1503625 | 151552 | 48272 5 | 1263 | 3708 319.24/319.36 c 317s | 16 | 1508737 | 152552 | 48272 5 | 1263 | 3708 321.34/321.47 c 319s | 16 | 1519467 | 153652 | 48272 5 | 1263 | 3708 323.45/323.59 c 321s | 16 | 1531643 | 154852 | 48272 5 | 1263 | 3708 325.65/325.72 c 323s | 16 | 1540045 | 156052 | 48272 5 | 1263 | 3708 327.64/327.78 c 325s | 16 | 1548189 | 157052 | 48272 5 | 1263 | 3708 329.74/329.87 c 328s | 16 | 1556246 | 158152 | 48272 5 | 1263 | 3708 331.84/331.92 c 330s | 16 | 1563033 | 159152 | 48272 5 | 1263 | 3708 333.94/334.06 c 332s | 16 | 1572713 | 160152 | 48272 5 | 1263 | 3708 336.04/336.11 c 334s | 16 | 1583614 | 161152 | 48272 5 | 1263 | 3708 338.14/338.22 c 336s | 16 | 1596391 | 162152 | 48272 5 | 1263 | 3708 340.24/340.38 c 338s | 16 | 1605306 | 163052 | 48272 5 | 1263 | 3708 342.34/342.40 c 340s | 16 | 1614651 | 164052 | 48272 5 | 1263 | 3708 344.35/344.44 c 342s | 16 | 1623954 | 165052 | 48272 5 | 1263 | 3708 346.44/346.58 c 344s | 16 | 1633635 | 166152 | 48272 5 | 1263 | 3708 348.54/348.60 c 346s | 16 | 1640977 | 167052 | 48272 5 | 1263 | 3708 350.54/350.63 c 348s | 16 | 1649304 | 167852 | 48272 5 | 1263 | 3708 352.64/352.70 c 350s | 16 | 1659142 | 168752 | 48272 5 | 1263 | 3708 354.74/354.89 c 353s | 16 | 1667732 | 169752 | 48272 5 | 1263 | 3708 356.94/357.02 c 355s | 16 | 1674261 | 170652 | 48272 5 | 1263 | 3708 359.04/359.13 c 357s | 16 | 1684807 | 171652 | 48272 5 | 1263 | 3708 361.24/361.31 c 359s | 16 | 1694852 | 172552 | 48272 6 | 1263 | 3708 363.24/363.36 c 361s | 16 | 1707343 | 173652 | 48272 6 | 1263 | 3708 365.24/365.37 c 363s | 16 | 1716094 | 174752 | 48272 6 | 1263 | 3708 367.23/367.39 c 365s | 16 | 1721362 | 175452 | 48272 6 | 1263 | 3708 369.43/369.55 c 367s | 16 | 1731314 | 176552 | 48272 6 | 1263 | 3708 371.53/371.63 c 369s | 16 | 1739649 | 177652 | 48272 6 | 1263 | 3708 375.83/375.92 c 374s | 16 | 1746842 | 178552 | 48272 6 | 1263 | 3708 377.83/377.93 c 376s | 16 | 1755721 | 179352 | 48272 6 | 1263 | 3708 380.53/380.63 c 378s | 16 | 1765340 | 180452 | 48272 6 | 1263 | 3708 383.73/383.85 c 382s | 16 | 1766273 | 180552 | 48272 6 | 1263 | 3708 385.83/385.91 c 384s | 16 | 1779527 | 181852 | 48272 6 | 1263 | 3708 387.93/388.00 c 386s | 16 | 1790790 | 183152 | 48272 6 | 1263 | 3708 390.13/390.23 c 388s | 16 | 1798250 | 184452 | 48272 6 | 1263 | 3708 392.33/392.41 c 390s | 16 | 1805032 | 185152 | 48272 6 | 1263 | 3708 394.33/394.44 c 392s | 16 | 1819440 | 186252 | 48272 6 | 1263 | 3708 396.43/396.55 c 394s | 16 | 1828687 | 187552 | 48272 6 | 1263 | 3708 398.43/398.56 c 396s | 16 | 1837096 | 188752 | 48272 6 | 1263 | 3708 400.53/400.61 c 398s | 16 | 1849229 | 189852 | 48272 6 | 1263 | 3708 402.54/402.69 c 400s | 16 | 1859427 | 190852 | 48272 6 | 1263 | 3708 404.63/404.70 c 402s | 16 | 1870578 | 191952 | 48272 6 | 1263 | 3708 406.73/406.82 c 405s | 16 | 1881202 | 193052 | 48272 6 | 1263 | 3708 408.83/408.96 c 407s | 16 | 1889672 | 194052 | 48272 6 | 1263 | 3708 410.93/411.01 c 409s | 16 | 1899905 | 195152 | 53100 6 | 1263 | 3708 413.13/413.21 c 411s | 16 | 1909846 | 196352 | 53100 6 | 1263 | 3708 415.13/415.23 c 413s | 17 | 1916665 | 197432 | 53100 6 | 1263 | 3708 417.93/418.06 c 416s | 17 | 1923787 | 198032 | 53100 6 | 1263 | 3708 420.13/420.21 c 418s | 17 | 1933244 | 198932 | 53100 6 | 1263 | 3708 422.12/422.22 c 420s | 17 | 1941230 | 199832 | 53100 6 | 1263 | 3708 424.12/424.24 c 422s | 17 | 1953096 | 200832 | 53100 6 | 1263 | 3708 426.22/426.33 c 424s | 17 | 1964961 | 202032 | 53100 6 | 1263 | 3708 428.22/428.38 c 426s | 17 | 1975523 | 203032 | 53100 6 | 1263 | 3708 430.32/430.43 c 428s | 17 | 1984261 | 203932 | 53100 6 | 1263 | 3708 432.62/432.71 c 430s | 17 | 1990137 | 204632 | 53100 7 | 1263 | 3708 434.72/434.89 c 433s | 17 | 1996991 | 205432 | 53100 7 | 1263 | 3708 437.02/437.10 c 435s | 17 | 2002853 | 206232 | 53100 7 | 1263 | 3708 439.02/439.17 c 437s | 17 | 2014393 | 207132 | 53100 7 | 1263 | 3708 441.13/441.27 c 439s | 17 | 2026935 | 208332 | 53100 7 | 1263 | 3708 443.23/443.39 c 441s | 17 | 2037117 | 209532 | 53100 7 | 1263 | 3708 445.32/445.44 c 443s | 17 | 2048794 | 210532 | 53100 7 | 1263 | 3708 447.42/447.52 c 445s | 17 | 2060512 | 211532 | 53100 7 | 1263 | 3708 449.52/449.61 c 447s | 17 | 2072702 | 212532 | 53100 7 | 1263 | 3708 451.62/451.71 c 449s | 17 | 2082055 | 213632 | 53100 7 | 1263 | 3708 453.62/453.71 c 451s | 17 | 2091038 | 214632 | 53100 7 | 1263 | 3708 455.72/455.85 c 454s | 17 | 2101544 | 215832 | 53100 7 | 1263 | 3708 457.82/457.93 c 456s | 17 | 2111989 | 217032 | 53100 7 | 1263 | 3708 459.82/459.98 c 458s | 17 | 2120180 | 218132 | 53100 7 | 1263 | 3708 461.82/461.99 c 460s | 17 | 2128624 | 219132 | 53100 7 | 1263 | 3708 464.02/464.13 c 462s | 17 | 2139516 | 220232 | 53100 7 | 1263 | 3708 466.02/466.17 c 464s | 17 | 2148678 | 221232 | 53100 7 | 1263 | 3708 468.11/468.27 c 466s | 17 | 2157313 | 222232 | 53100 7 | 1263 | 3708 470.22/470.39 c 468s | 17 | 2163771 | 223232 | 53100 7 | 1263 | 3708 472.41/472.59 c 470s | 17 | 2174171 | 224332 | 53100 7 | 1263 | 3708 474.51/474.62 c 472s | 17 | 2185155 | 225132 | 53100 7 | 1263 | 3708 476.71/476.80 c 474s | 17 | 2196226 | 226232 | 53100 7 | 1263 | 3708 478.71/478.83 c 477s | 17 | 2206075 | 227232 | 53100 7 | 1263 | 3708 480.81/480.96 c 479s | 17 | 2215928 | 228332 | 53100 7 | 1263 | 3708 482.82/483.00 c 481s | 17 | 2221897 | 229132 | 53100 7 | 1263 | 3708 485.02/485.14 c 483s | 17 | 2224980 | 229732 | 53100 7 | 1263 | 3708 487.11/487.24 c 485s | 17 | 2237673 | 230732 | 53100 7 | 1263 | 3708 489.31/489.42 c 487s | 17 | 2246707 | 231832 | 53100 7 | 1263 | 3708 491.31/491.44 c 489s | 17 | 2252799 | 232832 | 53100 7 | 1263 | 3708 493.41/493.53 c 491s | 17 | 2262929 | 233732 | 53100 7 | 1263 | 3708 495.51/495.66 c 493s | 17 | 2274165 | 234732 | 53100 8 | 1263 | 3708 497.51/497.69 c 495s | 17 | 2284162 | 235732 | 53100 8 | 1263 | 3708 499.91/500.05 c 498s | 17 | 2292765 | 236732 | 53100 8 | 1263 | 3708 502.01/502.14 c 500s | 17 | 2304863 | 237832 | 53100 8 | 1263 | 3708 504.01/504.17 c 502s | 17 | 2315111 | 238832 | 53100 8 | 1263 | 3708 506.21/506.35 c 504s | 17 | 2329539 | 240032 | 53100 8 | 1263 | 3708 508.31/508.45 c 506s | 17 | 2342353 | 241132 | 53100 8 | 1263 | 3708 510.51/510.60 c 508s | 17 | 2348837 | 242432 | 53100 8 | 1263 | 3708 512.51/512.65 c 510s | 17 | 2354266 | 243332 | 53100 8 | 1263 | 3708 514.61/514.77 c 512s | 17 | 2364044 | 244232 | 53100 8 | 1263 | 3708 516.71/516.86 c 515s | 17 | 2378022 | 245332 | 53100 8 | 1263 | 3708 518.81/518.90 c 517s | 17 | 2386933 | 246432 | 53100 8 | 1263 | 3708 520.91/521.05 c 519s | 17 | 2399417 | 247532 | 53100 8 | 1263 | 3708 523.01/523.12 c 521s | 17 | 2409955 | 248632 | 53100 8 | 1263 | 3708 525.21/525.30 c 523s | 17 | 2420958 | 249732 | 53100 8 | 1263 | 3708 527.31/527.44 c 525s | 17 | 2428375 | 250732 | 53100 8 | 1263 | 3708 529.40/529.54 c 527s | 17 | 2436752 | 251732 | 53100 8 | 1263 | 3708 531.50/531.69 c 529s | 17 | 2449189 | 252732 | 53100 8 | 1263 | 3708 533.60/533.75 c 531s | 17 | 2460710 | 253732 | 53100 8 | 1263 | 3708 535.71/535.85 c 534s | 17 | 2468442 | 254632 | 53100 8 | 1263 | 3708 537.81/537.96 c 536s | 17 | 2477772 | 255632 | 53100 8 | 1263 | 3708 539.90/540.07 c 538s | 17 | 2486152 | 256632 | 53100 8 | 1263 | 3708 542.10/542.21 c 540s | 17 | 2495644 | 257532 | 53100 8 | 1263 | 3708 544.10/544.27 c 542s | 17 | 2505337 | 258432 | 53100 8 | 1263 | 3708 546.30/546.44 c 544s | 17 | 2510470 | 259332 | 53100 8 | 1263 | 3708 548.40/548.58 c 546s | 17 | 2521211 | 260232 | 53100 8 | 1263 | 3708 550.50/550.63 c 548s | 17 | 2530028 | 261332 | 53100 8 | 1263 | 3708 552.70/552.87 c 551s | 17 | 2536861 | 262232 | 53100 8 | 1263 | 3708 554.90/555.02 c 553s | 17 | 2546691 | 263032 | 53100 8 | 1263 | 3708 557.00/557.13 c 555s | 17 | 2553256 | 263932 | 53100 9 | 1263 | 3708 559.10/559.25 c 557s | 17 | 2562009 | 265032 | 53100 9 | 1263 | 3708 561.20/561.34 c 559s | 17 | 2573546 | 266132 | 53100 9 | 1263 | 3708 563.30/563.49 c 561s | 17 | 2587010 | 267232 | 53100 9 | 1263 | 3708 565.41/565.58 c 563s | 17 | 2596658 | 268332 | 53100 9 | 1263 | 3708 567.71/567.82 c 566s | 17 | 2608198 | 269432 | 53100 9 | 1263 | 3708 569.91/570.02 c 568s | 17 | 2616168 | 270532 | 53100 9 | 1263 | 3708 572.11/572.21 c 570s | 17 | 2628261 | 271532 | 53100 9 | 1263 | 3708 574.11/574.28 c 572s | 17 | 2633413 | 272432 | 53100 9 | 1263 | 3708 576.21/576.32 c 574s | 17 | 2641272 | 273432 | 53100 9 | 1263 | 3708 578.31/578.49 c 576s | 17 | 2651024 | 274532 | 53100 9 | 1263 | 3708 580.40/580.50 c 578s | 17 | 2660524 | 275532 | 53100 9 | 1263 | 3708 582.40/582.51 c 580s | 17 | 2670375 | 276532 | 53100 9 | 1263 | 3708 584.40/584.57 c 582s | 17 | 2675279 | 277432 | 53100 9 | 1263 | 3708 586.60/586.71 c 584s | 17 | 2687544 | 278432 | 53100 9 | 1263 | 3708 588.60/588.76 c 586s | 17 | 2697488 | 279332 | 53100 9 | 1263 | 3708 590.71/590.85 c 589s | 17 | 2706771 | 280232 | 53100 9 | 1263 | 3708 592.81/592.96 c 591s | 17 | 2716069 | 281232 | 53100 9 | 1263 | 3708 594.90/595.01 c 593s | 17 | 2724415 | 282232 | 53100 9 | 1263 | 3708 597.00/597.12 c 595s | 17 | 2731511 | 283232 | 53100 9 | 1263 | 3708 599.10/599.20 c 597s | 17 | 2740560 | 284132 | 53100 9 | 1263 | 3708 601.20/601.31 c 599s | 17 | 2750709 | 285132 | 53100 9 | 1263 | 3708 603.40/603.50 c 601s | 17 | 2760630 | 286132 | 53100 9 | 1263 | 3708 605.40/605.54 c 603s | 17 | 2765708 | 286732 | 53100 9 | 1263 | 3708 607.40/607.59 c 605s | 17 | 2773888 | 287732 | 53100 9 | 1263 | 3708 609.50/609.67 c 607s | 17 | 2781470 | 288632 | 53100 9 | 1263 | 3708 611.70/611.83 c 610s | 17 | 2786832 | 289632 | 53100 9 | 1263 | 3708 615.19/615.34 c 613s | 17 | 2789406 | 289932 | 53100 9 | 1263 | 3708 617.19/617.38 c 615s | 17 | 2796418 | 290632 | 53100 9 | 1263 | 3708 619.20/619.40 c 617s | 17 | 2804142 | 291532 | 53100 9 | 1263 | 3708 621.40/621.54 c 619s | 17 | 2815512 | 292432 | 58411 9 | 1263 | 3708 623.39/623.58 c 621s | 17 | 2826547 | 293332 | 58411 9 | 1263 | 3708 625.69/625.80 c 623s | 17 | 2833604 | 294232 | 58411 9 | 1263 | 3708 627.79/627.92 c 626s | 17 | 2836525 | 294832 | 58411 9 | 1263 | 3708 630.29/630.47 c 628s | 17 | 2838806 | 295132 | 58411 9 | 1263 | 3708 633.09/633.22 c 631s | 17 | 2841237 | 295532 | 58411 9 | 1263 | 3708 635.29/635.46 c 633s | 17 | 2843815 | 295832 | 58411 9 | 1263 | 3708 637.69/637.81 c 636s | 17 | 2845016 | 296132 | 58411 9 | 1263 | 3708 638.59/638.74 c 636s | 18 | 2846005 | 296252 | 58411 9 | 1263 | 3708 640.59/640.79 c 638s | 18 | 2850978 | 296652 | 58411 10 | 1263 | 3708 643.29/643.42 c 641s | 18 | 2855820 | 297252 | 58411 10 | 1263 | 3708 646.80/646.98 c 645s | 18 | 2856715 | 297352 | 58411 10 | 1263 | 3708 649.09/649.20 c 647s | 18 | 2861002 | 297952 | 58411 10 | 1263 | 3708 651.39/651.58 c 649s | 18 | 2865721 | 298552 | 58411 10 | 1263 | 3708 653.39/653.59 c 651s | 18 | 2868680 | 298852 | 58411 10 | 1263 | 3708 655.59/655.72 c 653s | 18 | 2874149 | 299452 | 58411 10 | 1263 | 3708 657.88/658.02 c 656s | 18 | 2879874 | 300052 | 58411 10 | 1263 | 3708 660.08/660.25 c 658s | 18 | 2884420 | 300652 | 58411 10 | 1263 | 3708 662.38/662.54 c 660s | 18 | 2887173 | 301252 | 58411 10 | 1263 | 3708 664.39/664.57 c 662s | 18 | 2890336 | 301752 | 58411 10 | 1263 | 3708 666.78/666.90 c 665s | 18 | 2895995 | 302352 | 58411 10 | 1263 | 3708 669.18/669.36 c 667s | 18 | 2901520 | 302852 | 58411 10 | 1263 | 3708 671.28/671.49 c 669s | 18 | 2905425 | 303352 | 58411 10 | 1263 | 3708 673.68/673.88 c 672s | 18 | 2910584 | 303952 | 58411 10 | 1263 | 3708 675.78/675.90 c 674s | 18 | 2913264 | 304452 | 58411 10 | 1263 | 3708 677.87/678.02 c 676s | 18 | 2916369 | 304952 | 58411 10 | 1263 | 3708 679.97/680.18 c 678s | 18 | 2921894 | 305452 | 58411 10 | 1263 | 3708 681.98/682.20 c 680s | 18 | 2926212 | 305952 | 58411 10 | 1263 | 3708 684.08/684.21 c 682s | 18 | 2930756 | 306452 | 58411 10 | 1263 | 3708 686.07/686.28 c 684s | 18 | 2934549 | 306952 | 58411 10 | 1263 | 3708 688.37/688.54 c 686s | 18 | 2937029 | 307452 | 58411 10 | 1263 | 3708 690.37/690.57 c 688s | 18 | 2941549 | 307952 | 58411 10 | 1263 | 3708 692.47/692.63 c 690s | 18 | 2945809 | 308452 | 58411 10 | 1263 | 3708 694.47/694.65 c 692s | 18 | 2950012 | 308952 | 58411 10 | 1263 | 3708 696.87/697.01 c 695s | 18 | 2953453 | 309452 | 58411 10 | 1263 | 3708 698.97/699.16 c 697s | 18 | 2957319 | 309952 | 58411 10 | 1263 | 3708 701.27/701.43 c 699s | 18 | 2959587 | 310452 | 58411 10 | 1263 | 3708 703.37/703.54 c 701s | 18 | 2961820 | 310952 | 58411 10 | 1263 | 3708 705.57/705.73 c 703s | 18 | 2966402 | 311452 | 58411 10 | 1263 | 3708 707.67/707.86 c 706s | 18 | 2969801 | 311952 | 58411 10 | 1263 | 3708 709.87/710.00 c 708s | 18 | 2974072 | 312452 | 58411 10 | 1263 | 3708 711.96/712.13 c 710s | 18 | 2976490 | 312952 | 58411 10 | 1263 | 3708 714.16/714.32 c 712s | 18 | 2979610 | 313452 | 58411 10 | 1263 | 3708 716.36/716.55 c 714s | 18 | 2985231 | 314052 | 58411 10 | 1263 | 3708 718.56/718.75 c 716s | 18 | 2989635 | 314752 | 58411 10 | 1263 | 3708 720.66/720.88 c 719s | 18 | 2992781 | 315352 | 58411 10 | 1263 | 3708 722.86/723.00 c 721s | 18 | 2995552 | 315852 | 58411 10 | 1263 | 3708 724.96/725.12 c 723s | 18 | 2998880 | 316352 | 58411 10 | 1263 | 3708 727.16/727.30 c 725s | 18 | 3001328 | 316852 | 58411 10 | 1263 | 3708 729.46/729.68 c 727s | 18 | 3005041 | 317352 | 58411 10 | 1263 | 3708 731.76/731.92 c 730s | 18 | 3008159 | 317752 | 58411 10 | 1263 | 3708 733.86/734.04 c 732s | 18 | 3013564 | 318352 | 58411 10 | 1263 | 3708 735.96/736.19 c 734s | 18 | 3018058 | 318952 | 58411 10 | 1263 | 3708 738.46/738.60 c 736s | 18 | 3020964 | 319552 | 58411 10 | 1263 | 3708 740.96/741.18 c 739s | 18 | 3024555 | 320052 | 58411 10 | 1263 | 3708 743.06/743.26 c 741s | 18 | 3028787 | 320552 | 58411 10 | 1263 | 3708 745.26/745.42 c 743s | 18 | 3032292 | 321152 | 58411 10 | 1263 | 3708 747.36/747.54 c 745s | 18 | 3034636 | 321652 | 58411 10 | 1263 | 3708 749.36/749.57 c 747s | 18 | 3036832 | 322152 | 58411 10 | 1263 | 3708 751.85/752.04 c 750s | 18 | 3040434 | 322852 | 58411 10 | 1263 | 3708 754.05/754.21 c 752s | 18 | 3045649 | 323452 | 58411 10 | 1263 | 3708 756.25/756.44 c 754s | 18 | 3049124 | 324052 | 58411 10 | 1263 | 3708 758.55/758.77 c 756s | 18 | 3053201 | 324652 | 58411 10 | 1263 | 3708 760.85/761.08 c 759s | 18 | 3055883 | 325252 | 58411 10 | 1263 | 3708 763.05/763.28 c 761s | 18 | 3057747 | 325752 | 58411 10 | 1263 | 3708 765.26/765.47 c 763s | 18 | 3059012 | 326252 | 58411 10 | 1263 | 3708 767.66/767.85 c 766s | 18 | 3063645 | 326852 | 58411 10 | 1263 | 3708 769.76/769.96 c 768s | 18 | 3068925 | 327452 | 58411 10 | 1263 | 3708 772.16/772.33 c 770s | 18 | 3071947 | 328052 | 58411 10 | 1263 | 3708 774.26/774.47 c 772s | 18 | 3075550 | 328552 | 58411 10 | 1263 | 3708 776.46/776.67 c 774s | 18 | 3078918 | 329052 | 58411 10 | 1263 | 3708 778.66/778.86 c 777s | 18 | 3081858 | 329552 | 58411 10 | 1263 | 3708 780.75/780.93 c 779s | 18 | 3089998 | 330552 | 58411 11 | 1263 | 3708 782.85/783.05 c 781s | 18 | 3095181 | 331652 | 58411 11 | 1263 | 3708 784.95/785.12 c 783s | 18 | 3103637 | 332652 | 58411 11 | 1263 | 3708 787.05/787.22 c 785s | 18 | 3109781 | 333552 | 58411 11 | 1263 | 3708 789.05/789.25 c 787s | 18 | 3116407 | 334652 | 58411 11 | 1263 | 3708 791.15/791.33 c 789s | 18 | 3126682 | 336152 | 58411 11 | 1263 | 3708 793.25/793.44 c 791s | 18 | 3136421 | 337452 | 58411 11 | 1263 | 3708 795.35/795.58 c 793s | 18 | 3145189 | 338752 | 58411 11 | 1263 | 3708 797.45/797.68 c 795s | 18 | 3154112 | 339752 | 58411 11 | 1263 | 3708 799.55/799.78 c 797s | 18 | 3159491 | 340652 | 58411 11 | 1263 | 3708 801.75/801.95 c 800s | 18 | 3164789 | 341652 | 58411 11 | 1263 | 3708 803.84/804.05 c 802s | 18 | 3172027 | 342852 | 58411 11 | 1263 | 3708 806.04/806.20 c 804s | 18 | 3178269 | 343752 | 58411 11 | 1263 | 3708 808.04/808.23 c 806s | 18 | 3184636 | 344752 | 58411 11 | 1263 | 3708 810.24/810.41 c 808s | 18 | 3193427 | 345952 | 58411 11 | 1263 | 3708 812.34/812.51 c 810s | 18 | 3198830 | 346952 | 58411 11 | 1263 | 3708 814.34/814.59 c 812s | 18 | 3205605 | 347852 | 58411 11 | 1263 | 3708 816.54/816.78 c 814s | 18 | 3212112 | 348752 | 58411 11 | 1263 | 3708 818.84/819.03 c 817s | 18 | 3217442 | 349752 | 58411 11 | 1263 | 3708 820.84/821.05 c 819s | 18 | 3224642 | 350552 | 58411 11 | 1263 | 3708 822.84/823.06 c 821s | 18 | 3230388 | 351252 | 58411 11 | 1263 | 3708 824.94/825.18 c 823s | 18 | 3237371 | 352252 | 58411 11 | 1263 | 3708 827.04/827.24 c 825s | 18 | 3243763 | 353252 | 58411 11 | 1263 | 3708 829.24/829.42 c 827s | 18 | 3250109 | 354252 | 58411 11 | 1263 | 3708 831.33/831.60 c 829s | 18 | 3255988 | 355152 | 58411 11 | 1263 | 3708 833.53/833.79 c 831s | 18 | 3260744 | 355952 | 58411 11 | 1263 | 3708 835.84/836.02 c 834s | 18 | 3266162 | 356752 | 58411 11 | 1263 | 3708 837.93/838.15 c 836s | 18 | 3270621 | 357552 | 58411 11 | 1263 | 3708 840.13/840.33 c 838s | 18 | 3275869 | 358452 | 58411 11 | 1263 | 3708 842.33/842.51 c 840s | 18 | 3281160 | 359352 | 58411 11 | 1263 | 3708 844.33/844.59 c 842s | 18 | 3286159 | 360252 | 58411 11 | 1263 | 3708 846.52/846.76 c 844s | 18 | 3292425 | 361152 | 58411 11 | 1263 | 3708 848.63/848.86 c 847s | 18 | 3296503 | 361952 | 58411 11 | 1263 | 3708 850.72/850.93 c 849s | 18 | 3299729 | 362552 | 58411 12 | 1263 | 3708 852.82/853.06 c 851s | 18 | 3309388 | 363552 | 58411 12 | 1263 | 3708 855.02/855.29 c 853s | 18 | 3315127 | 364652 | 58411 12 | 1263 | 3708 857.22/857.49 c 855s | 18 | 3322058 | 365552 | 58411 12 | 1263 | 3708 859.52/859.74 c 857s | 18 | 3331757 | 366452 | 58411 12 | 1263 | 3708 861.62/861.84 c 860s | 18 | 3338541 | 367352 | 58411 12 | 1263 | 3708 863.72/863.97 c 862s | 18 | 3347250 | 368252 | 58411 12 | 1263 | 3708 865.81/866.06 c 864s | 18 | 3354428 | 369252 | 58411 12 | 1263 | 3708 867.92/868.17 c 866s | 18 | 3362103 | 370152 | 58411 12 | 1263 | 3708 869.92/870.20 c 868s | 18 | 3367789 | 371052 | 58411 12 | 1263 | 3708 872.01/872.25 c 870s | 18 | 3374879 | 372052 | 58411 12 | 1263 | 3708 874.01/874.28 c 872s | 18 | 3382618 | 372952 | 58411 12 | 1263 | 3708 876.21/876.42 c 874s | 18 | 3390041 | 373852 | 58411 12 | 1263 | 3708 878.21/878.47 c 876s | 18 | 3398213 | 374752 | 58411 12 | 1263 | 3708 880.31/880.54 c 878s | 18 | 3404342 | 375652 | 58411 12 | 1263 | 3708 882.51/882.74 c 880s | 18 | 3410026 | 376652 | 58411 12 | 1263 | 3708 884.71/884.91 c 883s | 18 | 3416065 | 377552 | 58411 12 | 1263 | 3708 886.90/887.10 c 885s | 18 | 3422944 | 378252 | 58411 12 | 1263 | 3708 889.10/889.38 c 887s | 18 | 3430740 | 378952 | 58411 12 | 1263 | 3708 891.20/891.47 c 889s | 18 | 3437719 | 379752 | 58411 12 | 1263 | 3708 893.30/893.54 c 891s | 18 | 3444507 | 380652 | 58411 12 | 1263 | 3708 896.00/896.28 c 894s | 18 | 3446527 | 381052 | 58411 12 | 1263 | 3708 898.20/898.45 c 896s | 18 | 3453319 | 381752 | 58411 12 | 1263 | 3708 900.20/900.49 c 898s | 18 | 3461153 | 382552 | 58411 12 | 1263 | 3708 902.40/902.61 c 900s | 18 | 3466681 | 383352 | 58411 12 | 1263 | 3708 904.50/904.72 c 902s | 18 | 3470939 | 384152 | 58411 12 | 1263 | 3708 906.80/907.04 c 905s | 18 | 3477901 | 384852 | 58411 12 | 1263 | 3708 908.90/909.12 c 907s | 18 | 3485748 | 385652 | 58411 12 | 1263 | 3708 910.90/911.14 c 909s | 18 | 3490569 | 386252 | 58411 12 | 1263 | 3708 912.99/913.20 c 911s | 18 | 3497606 | 387052 | 58411 12 | 1263 | 3708 915.10/915.36 c 913s | 18 | 3505147 | 387952 | 58411 12 | 1263 | 3708 917.39/917.68 c 915s | 18 | 3513181 | 388652 | 58411 12 | 1263 | 3708 919.50/919.72 c 917s | 18 | 3518361 | 389252 | 58411 12 | 1263 | 3708 921.49/921.72 c 919s | 18 | 3524395 | 390052 | 58411 12 | 1263 | 3708 923.49/923.73 c 921s | 18 | 3530002 | 390752 | 58411 12 | 1263 | 3708 925.69/925.95 c 924s | 18 | 3533684 | 391452 | 58411 12 | 1263 | 3708 927.98/928.20 c 926s | 18 | 3538408 | 392052 | 58411 12 | 1263 | 3708 930.08/930.33 c 928s | 18 | 3546314 | 392952 | 58411 12 | 1263 | 3708 932.08/932.37 c 930s | 18 | 3551282 | 393752 | 58411 12 | 1263 | 3708 934.18/934.45 c 932s | 18 | 3555216 | 394452 | 58411 13 | 1263 | 3708 936.28/936.55 c 934s | 18 | 3562946 | 395652 | 58411 13 | 1263 | 3708 938.28/938.56 c 936s | 18 | 3567704 | 396852 | 58411 13 | 1263 | 3708 940.38/940.65 c 938s | 18 | 3572768 | 397352 | 58411 13 | 1263 | 3708 942.48/942.72 c 940s | 18 | 3582044 | 398452 | 58411 13 | 1263 | 3708 944.48/944.76 c 942s | 18 | 3591226 | 399752 | 58411 13 | 1263 | 3708 946.57/946.88 c 945s | 18 | 3599968 | 401052 | 58411 13 | 1263 | 3708 948.77/949.01 c 947s | 18 | 3609406 | 402152 | 58411 13 | 1263 | 3708 950.77/951.02 c 949s | 18 | 3617737 | 403152 | 58411 13 | 1263 | 3708 952.87/953.12 c 951s | 18 | 3622870 | 404252 | 58411 13 | 1263 | 3708 954.97/955.20 c 953s | 18 | 3630937 | 405252 | 58411 13 | 1263 | 3708 957.06/957.30 c 955s | 18 | 3637951 | 406252 | 58411 13 | 1263 | 3708 959.07/959.35 c 957s | 18 | 3642304 | 407352 | 58411 13 | 1263 | 3708 961.17/961.43 c 959s | 18 | 3648244 | 408352 | 58411 13 | 1263 | 3708 963.26/963.51 c 961s | 18 | 3654133 | 409452 | 58411 13 | 1263 | 3708 965.37/965.67 c 963s | 18 | 3661668 | 410652 | 58411 13 | 1263 | 3708 967.46/967.79 c 965s | 18 | 3669326 | 411652 | 58411 13 | 1263 | 3708 969.56/969.88 c 968s | 18 | 3676165 | 412752 | 58411 13 | 1263 | 3708 971.66/971.99 c 970s | 18 | 3683640 | 413952 | 58411 13 | 1263 | 3708 973.76/974.07 c 972s | 18 | 3689508 | 414952 | 58411 13 | 1263 | 3708 975.96/976.25 c 974s | 18 | 3694523 | 415952 | 58411 13 | 1263 | 3708 978.16/978.42 c 976s | 18 | 3701236 | 417052 | 58411 13 | 1263 | 3708 980.16/980.47 c 978s | 18 | 3706022 | 418052 | 58411 13 | 1263 | 3708 982.36/982.61 c 980s | 18 | 3709610 | 418652 | 58411 13 | 1263 | 3708 984.66/984.98 c 983s | 18 | 3711326 | 419052 | 58411 13 | 1263 | 3708 986.85/987.16 c 985s | 18 | 3714150 | 419552 | 58411 13 | 1263 | 3708 989.05/989.36 c 987s | 18 | 3717640 | 419952 | 58411 13 | 1263 | 3708 991.15/991.43 c 989s | 18 | 3720696 | 420352 | 58411 13 | 1263 | 3708 993.55/993.83 c 992s | 18 | 3723765 | 420752 | 58411 13 | 1263 | 3708 995.75/996.04 c 994s | 18 | 3727337 | 421252 | 58411 13 | 1263 | 3708 997.95/998.28 c 996s | 18 | 3730947 | 421752 | 58411 13 | 1263 | 3708 1000.25/1000.53 c 998s | 18 | 3733780 | 422152 | 58411 13 | 1263 | 3708 1002.55/1002.89 c 1001s | 18 | 3737287 | 422652 | 58411 13 | 1263 | 3708 1004.75/1005.08 c 1003s | 18 | 3740039 | 423152 | 58411 13 | 1263 | 3708 1006.94/1007.24 c 1005s | 18 | 3742860 | 423652 | 58411 13 | 1263 | 3708 1009.24/1009.59 c 1007s | 18 | 3746051 | 424152 | 58411 13 | 1263 | 3708 1011.44/1011.75 c 1009s | 18 | 3749181 | 424552 | 58411 13 | 1263 | 3708 1013.64/1013.98 c 1012s | 18 | 3751745 | 424952 | 58411 13 | 1263 | 3708 1015.64/1015.98 c 1014s | 18 | 3755466 | 425352 | 58411 13 | 1263 | 3708 1017.84/1018.16 c 1016s | 18 | 3761946 | 426152 | 58411 13 | 1263 | 3708 1020.04/1020.33 c 1018s | 18 | 3769160 | 426952 | 58411 14 | 1263 | 3708 1022.24/1022.59 c 1020s | 18 | 3773282 | 427552 | 58411 14 | 1263 | 3708 1024.44/1024.73 c 1022s | 18 | 3782396 | 428852 | 58411 14 | 1263 | 3708 1026.43/1026.73 c 1024s | 18 | 3789417 | 429652 | 58411 14 | 1263 | 3708 1028.43/1028.79 c 1026s | 18 | 3799770 | 430752 | 58411 14 | 1263 | 3708 1030.54/1030.82 c 1029s | 18 | 3806471 | 431752 | 58411 14 | 1263 | 3708 1032.53/1032.87 c 1031s | 18 | 3814927 | 432652 | 58411 14 | 1263 | 3708 1034.73/1035.02 c 1033s | 18 | 3822549 | 433752 | 58411 14 | 1263 | 3708 1036.82/1037.13 c 1035s | 18 | 3830111 | 434552 | 58411 14 | 1263 | 3708 1038.92/1039.26 c 1037s | 18 | 3838308 | 435652 | 58411 14 | 1263 | 3708 1041.02/1041.32 c 1039s | 18 | 3845548 | 436552 | 58411 14 | 1263 | 3708 1043.02/1043.36 c 1041s | 18 | 3852350 | 437552 | 58411 14 | 1263 | 3708 1045.12/1045.45 c 1043s | 18 | 3859609 | 438552 | 58411 14 | 1263 | 3708 1047.32/1047.61 c 1045s | 18 | 3866853 | 439452 | 64253 14 | 1263 | 3708 1049.52/1049.84 c 1048s | 18 | 3877035 | 440552 | 64253 14 | 1263 | 3708 1051.72/1052.03 c 1050s | 18 | 3884166 | 441552 | 64253 14 | 1263 | 3708 1053.72/1054.08 c 1052s | 18 | 3891821 | 442552 | 64253 14 | 1263 | 3708 1055.91/1056.24 c 1054s | 18 | 3900715 | 443552 | 64253 14 | 1263 | 3708 1058.02/1058.35 c 1056s | 18 | 3909383 | 444452 | 64253 14 | 1263 | 3708 1058.11/1058.44 c 1056s | 19 | 3909705 | 444482 | 64253 14 | 1263 | 3708 1060.22/1060.54 c 1058s | 19 | 3922740 | 445182 | 64253 14 | 1263 | 3708 1062.42/1062.71 c 1060s | 19 | 3939172 | 446282 | 64253 14 | 1263 | 3708 1064.52/1064.90 c 1063s | 19 | 3956068 | 447282 | 64253 14 | 1263 | 3708 1066.61/1066.97 c 1065s | 19 | 3967522 | 448282 | 64253 14 | 1263 | 3708 1068.71/1069.00 c 1067s | 19 | 3976126 | 449182 | 64253 14 | 1263 | 3708 1071.90/1072.27 c 1070s | 19 | 3985690 | 450082 | 64253 14 | 1263 | 3708 1077.50/1077.83 c 1076s | 19 | 3987672 | 450182 | 64253 14 | 1263 | 3708 1079.80/1080.16 c 1078s | 19 | 3995527 | 450882 | 64253 14 | 1263 | 3708 1082.00/1082.36 c 1080s | 19 | 4005362 | 451482 | 64253 14 | 1263 | 3708 1084.10/1084.43 c 1082s | 19 | 4013523 | 452082 | 64253 14 | 1263 | 3708 1086.39/1086.75 c 1084s | 19 | 4018498 | 452682 | 64253 14 | 1263 | 3708 1088.59/1088.91 c 1087s | 19 | 4030883 | 453582 | 64253 14 | 1263 | 3708 1090.79/1091.13 c 1089s | 19 | 4043875 | 454482 | 64253 14 | 1263 | 3708 1092.99/1093.37 c 1091s | 19 | 4055609 | 455482 | 64253 14 | 1263 | 3708 1095.09/1095.47 c 1093s | 19 | 4068451 | 456382 | 64253 14 | 1263 | 3708 1097.18/1097.58 c 1095s | 19 | 4075919 | 457282 | 64253 14 | 1263 | 3708 1099.18/1099.59 c 1097s | 19 | 4081885 | 458082 | 64253 14 | 1263 | 3708 1101.48/1101.88 c 1100s | 19 | 4088694 | 458882 | 64253 14 | 1263 | 3708 1103.78/1104.18 c 1102s | 19 | 4096444 | 459382 | 64253 14 | 1263 | 3708 1106.28/1106.66 c 1104s | 19 | 4103894 | 459982 | 64253 14 | 1263 | 3708 1108.38/1108.78 c 1106s | 19 | 4110611 | 460482 | 64253 14 | 1263 | 3708 1110.68/1111.05 c 1109s | 19 | 4117499 | 461082 | 64253 14 | 1263 | 3708 1112.88/1113.27 c 1111s | 19 | 4121919 | 461482 | 64253 14 | 1263 | 3708 1115.08/1115.48 c 1113s | 19 | 4124976 | 461982 | 64253 14 | 1263 | 3708 1117.38/1117.77 c 1115s | 19 | 4132604 | 462482 | 64253 14 | 1263 | 3708 1119.58/1119.92 c 1118s | 19 | 4140335 | 463282 | 64253 14 | 1263 | 3708 1121.78/1122.14 c 1120s | 19 | 4148368 | 463982 | 64253 14 | 1263 | 3708 1123.88/1124.25 c 1122s | 19 | 4154919 | 464682 | 64253 14 | 1263 | 3708 1125.97/1126.35 c 1124s | 19 | 4160635 | 465282 | 64253 15 | 1263 | 3708 1128.17/1128.53 c 1126s | 19 | 4165927 | 466082 | 64253 15 | 1263 | 3708 1130.48/1130.84 c 1129s | 19 | 4175570 | 466982 | 64253 15 | 1263 | 3708 1132.68/1133.02 c 1131s | 19 | 4186328 | 467982 | 64253 15 | 1263 | 3708 1134.67/1135.06 c 1133s | 19 | 4196833 | 468882 | 64253 15 | 1263 | 3708 1136.67/1137.07 c 1135s | 19 | 4206924 | 469782 | 64253 15 | 1263 | 3708 1138.76/1139.15 c 1137s | 19 | 4219353 | 470682 | 64253 15 | 1263 | 3708 1140.96/1141.32 c 1139s | 19 | 4226595 | 471582 | 64253 15 | 1263 | 3708 1143.07/1143.40 c 1141s | 19 | 4232018 | 472382 | 64253 15 | 1263 | 3708 1145.16/1145.56 c 1143s | 19 | 4237510 | 472982 | 64253 15 | 1263 | 3708 1147.26/1147.67 c 1145s | 19 | 4241540 | 473582 | 64253 15 | 1263 | 3708 1149.36/1149.78 c 1147s | 19 | 4245605 | 474182 | 64253 15 | 1263 | 3708 1151.47/1151.84 c 1150s | 19 | 4248862 | 474682 | 64253 15 | 1263 | 3708 1153.46/1153.87 c 1152s | 19 | 4261250 | 475482 | 64253 15 | 1263 | 3708 1155.56/1155.97 c 1154s | 19 | 4273533 | 476382 | 64253 15 | 1263 | 3708 1157.77/1158.17 c 1156s | 19 | 4283688 | 477282 | 64253 15 | 1263 | 3708 1160.07/1160.42 c 1158s | 19 | 4291174 | 478182 | 64253 15 | 1263 | 3708 1162.17/1162.53 c 1160s | 19 | 4295929 | 478982 | 64253 15 | 1263 | 3708 1164.27/1164.63 c 1162s | 19 | 4300577 | 479782 | 64253 15 | 1263 | 3708 1166.36/1166.76 c 1164s | 19 | 4306320 | 480382 | 64253 15 | 1263 | 3708 1168.56/1168.93 c 1167s | 19 | 4312900 | 480982 | 64253 15 | 1263 | 3708 1170.66/1171.04 c 1169s | 19 | 4319776 | 481582 | 64253 15 | 1263 | 3708 1172.96/1173.32 c 1171s | 19 | 4326708 | 482282 | 64253 15 | 1263 | 3708 1175.16/1175.58 c 1173s | 19 | 4333810 | 482882 | 64253 15 | 1263 | 3708 1177.46/1177.81 c 1176s | 19 | 4342046 | 483582 | 64253 15 | 1263 | 3708 1179.66/1180.01 c 1178s | 19 | 4350587 | 484282 | 64253 15 | 1263 | 3708 1181.76/1182.18 c 1180s | 19 | 4357772 | 485082 | 64253 15 | 1263 | 3708 1184.06/1184.42 c 1182s | 19 | 4363958 | 485982 | 64253 15 | 1263 | 3708 1186.16/1186.50 c 1184s | 19 | 4370098 | 486682 | 64253 15 | 1263 | 3708 1188.16/1188.52 c 1186s | 19 | 4377859 | 487382 | 64253 15 | 1263 | 3708 1190.16/1190.56 c 1188s | 19 | 4385743 | 488082 | 64253 15 | 1263 | 3708 1192.26/1192.63 c 1190s | 19 | 4393227 | 488782 | 64253 15 | 1263 | 3708 1194.36/1194.79 c 1192s | 19 | 4401296 | 489482 | 64253 15 | 1263 | 3708 1196.65/1197.07 c 1195s | 19 | 4409786 | 490182 | 64253 15 | 1263 | 3708 1198.76/1199.14 c 1197s | 19 | 4414586 | 490782 | 64253 15 | 1263 | 3708 1200.96/1201.32 c 1199s | 19 | 4419919 | 491382 | 64253 15 | 1263 | 3708 1202.95/1203.38 c 1201s | 19 | 4426448 | 491982 | 64253 15 | 1263 | 3708 1205.26/1205.67 c 1203s | 19 | 4435152 | 492582 | 64253 15 | 1263 | 3708 1207.55/1207.92 c 1206s | 19 | 4441062 | 493182 | 64253 15 | 1263 | 3708 1209.85/1210.22 c 1208s | 19 | 4447201 | 493782 | 64253 15 | 1263 | 3708 1212.15/1212.55 c 1210s | 19 | 4452483 | 494282 | 64253 15 | 1263 | 3708 1214.45/1214.84 c 1213s | 19 | 4457850 | 494882 | 64253 15 | 1263 | 3708 1216.64/1217.06 c 1215s | 19 | 4462168 | 495482 | 64253 15 | 1263 | 3708 1218.74/1219.16 c 1217s | 19 | 4465786 | 496082 | 64253 15 | 1263 | 3708 1220.94/1221.38 c 1219s | 19 | 4473186 | 496782 | 64253 15 | 1263 | 3708 1223.04/1223.48 c 1221s | 19 | 4478655 | 497482 | 64253 15 | 1263 | 3708 1225.15/1225.54 c 1223s | 19 | 4486260 | 498182 | 64253 15 | 1263 | 3708 1227.35/1227.73 c 1225s | 19 | 4493006 | 498882 | 64253 15 | 1263 | 3708 1229.45/1229.88 c 1228s | 19 | 4499417 | 499582 | 64253 15 | 1263 | 3708 1231.54/1231.95 c 1230s | 19 | 4503418 | 500182 | 64253 16 | 1263 | 3708 1233.74/1234.15 c 1232s | 19 | 4507062 | 501082 | 64253 16 | 1263 | 3708 1235.93/1236.33 c 1234s | 19 | 4515473 | 501782 | 64253 16 | 1263 | 3708 1238.03/1238.42 c 1236s | 19 | 4524284 | 502582 | 64253 16 | 1263 | 3708 1240.03/1240.47 c 1238s | 19 | 4533507 | 503382 | 64253 16 | 1263 | 3708 1242.13/1242.52 c 1240s | 19 | 4544287 | 504182 | 64253 16 | 1263 | 3708 1244.13/1244.52 c 1242s | 19 | 4553645 | 505082 | 64253 16 | 1263 | 3708 1246.33/1246.70 c 1244s | 19 | 4562965 | 505982 | 64253 16 | 1263 | 3708 1248.33/1248.75 c 1246s | 19 | 4572856 | 506882 | 64253 16 | 1263 | 3708 1250.44/1250.86 c 1249s | 19 | 4578556 | 507682 | 64253 16 | 1263 | 3708 1252.43/1252.88 c 1251s | 19 | 4582400 | 508282 | 64253 16 | 1263 | 3708 1254.73/1255.12 c 1253s | 19 | 4585752 | 508882 | 64253 16 | 1263 | 3708 1256.83/1257.30 c 1255s | 19 | 4593830 | 509582 | 64253 16 | 1263 | 3708 1258.92/1259.38 c 1257s | 19 | 4600720 | 510382 | 64253 16 | 1263 | 3708 1261.12/1261.58 c 1259s | 19 | 4610673 | 511282 | 64253 16 | 1263 | 3708 1263.33/1263.79 c 1261s | 19 | 4620969 | 512182 | 64253 16 | 1263 | 3708 1265.42/1265.86 c 1264s | 19 | 4628681 | 512982 | 64253 16 | 1263 | 3708 1267.52/1267.92 c 1266s | 19 | 4633770 | 513782 | 64253 16 | 1263 | 3708 1269.82/1270.25 c 1268s | 19 | 4642495 | 514582 | 64253 16 | 1263 | 3708 1271.92/1272.32 c 1270s | 19 | 4649308 | 515282 | 64253 16 | 1263 | 3708 1274.12/1274.53 c 1272s | 19 | 4656173 | 516182 | 64253 16 | 1263 | 3708 1276.32/1276.72 c 1274s | 19 | 4661428 | 517082 | 64253 16 | 1263 | 3708 1278.32/1278.79 c 1276s | 19 | 4664912 | 517682 | 64253 16 | 1263 | 3708 1280.62/1281.03 c 1279s | 19 | 4667917 | 518282 | 64253 16 | 1263 | 3708 1282.72/1283.11 c 1281s | 19 | 4680225 | 518982 | 64253 16 | 1263 | 3708 1284.82/1285.28 c 1283s | 19 | 4688981 | 519882 | 64253 16 | 1263 | 3708 1287.02/1287.46 c 1285s | 19 | 4694609 | 520682 | 64253 16 | 1263 | 3708 1289.32/1289.70 c 1287s | 19 | 4702553 | 521382 | 64253 16 | 1263 | 3708 1291.52/1291.92 c 1290s | 19 | 4710007 | 522082 | 64253 16 | 1263 | 3708 1293.52/1293.99 c 1292s | 19 | 4716562 | 522682 | 64253 16 | 1263 | 3708 1295.72/1296.15 c 1294s | 19 | 4724328 | 523382 | 64253 16 | 1263 | 3708 1298.01/1298.40 c 1296s | 19 | 4732718 | 524182 | 64253 16 | 1263 | 3708 1300.01/1300.42 c 1298s | 19 | 4738477 | 524782 | 64253 16 | 1263 | 3708 1302.21/1302.61 c 1300s | 19 | 4746328 | 525482 | 64253 16 | 1263 | 3708 1304.41/1304.82 c 1303s | 19 | 4753867 | 526082 | 64253 16 | 1263 | 3708 1306.42/1306.86 c 1305s | 19 | 4760545 | 526682 | 64253 16 | 1263 | 3708 1308.81/1309.20 c 1307s | 19 | 4766811 | 527482 | 64253 16 | 1263 | 3708 1310.82/1311.26 c 1309s | 19 | 4772339 | 528082 | 64253 16 | 1263 | 3708 1312.81/1313.27 c 1311s | 19 | 4779054 | 528682 | 64253 16 | 1263 | 3708 1315.22/1315.62 c 1313s | 19 | 4787597 | 529282 | 64253 16 | 1263 | 3708 1317.21/1317.62 c 1315s | 19 | 4794278 | 529982 | 64253 16 | 1263 | 3708 1319.31/1319.71 c 1317s | 19 | 4799101 | 530682 | 64253 16 | 1263 | 3708 1321.71/1322.17 c 1320s | 19 | 4803853 | 531282 | 64253 16 | 1263 | 3708 1324.12/1324.51 c 1322s | 19 | 4806290 | 531782 | 64253 16 | 1263 | 3708 1326.31/1326.75 c 1324s | 19 | 4817322 | 532482 | 64253 16 | 1263 | 3708 1328.31/1328.75 c 1326s | 19 | 4825969 | 533182 | 64253 16 | 1263 | 3708 1330.51/1330.93 c 1329s | 19 | 4834152 | 533982 | 64253 16 | 1263 | 3708 1332.81/1333.26 c 1331s | 19 | 4840859 | 534682 | 64253 16 | 1263 | 3708 1334.91/1335.30 c 1333s | 19 | 4846704 | 535382 | 64253 16 | 1263 | 3708 1336.91/1337.32 c 1335s | 19 | 4852035 | 536082 | 64253 17 | 1263 | 3708 1338.91/1339.35 c 1337s | 19 | 4862595 | 536982 | 64253 17 | 1263 | 3708 1341.01/1341.48 c 1339s | 19 | 4872947 | 537882 | 64253 17 | 1263 | 3708 1343.31/1343.75 c 1341s | 19 | 4883741 | 538882 | 64253 17 | 1263 | 3708 1345.51/1345.99 c 1344s | 19 | 4889448 | 539782 | 64253 17 | 1263 | 3708 1347.71/1348.11 c 1346s | 19 | 4895322 | 540482 | 64253 17 | 1263 | 3708 1349.80/1350.24 c 1348s | 19 | 4905220 | 541182 | 64253 17 | 1263 | 3708 1351.90/1352.38 c 1350s | 19 | 4913718 | 541982 | 64253 17 | 1263 | 3708 1354.20/1354.65 c 1352s | 19 | 4922591 | 542782 | 64253 17 | 1263 | 3708 1356.40/1356.87 c 1355s | 19 | 4933163 | 543582 | 64253 17 | 1263 | 3708 1358.70/1359.11 c 1357s | 19 | 4944142 | 544482 | 64253 17 | 1263 | 3708 1360.80/1361.20 c 1359s | 19 | 4950067 | 545282 | 64253 17 | 1263 | 3708 1362.80/1363.27 c 1361s | 19 | 4959619 | 546082 | 64253 17 | 1263 | 3708 1365.00/1365.48 c 1363s | 19 | 4966225 | 546982 | 64253 17 | 1263 | 3708 1367.20/1367.62 c 1365s | 19 | 4972225 | 547682 | 64253 17 | 1263 | 3708 1369.30/1369.72 c 1367s | 19 | 4982354 | 548482 | 64253 17 | 1263 | 3708 1371.41/1371.82 c 1370s | 19 | 4990615 | 549282 | 64253 17 | 1263 | 3708 1373.51/1373.96 c 1372s | 19 | 4996704 | 550082 | 64253 17 | 1263 | 3708 1375.60/1376.09 c 1374s | 19 | 5003811 | 550782 | 64253 17 | 1263 | 3708 1377.70/1378.11 c 1376s | 19 | 5012725 | 551582 | 64253 17 | 1263 | 3708 1379.70/1380.16 c 1378s | 19 | 5020613 | 552282 | 64253 17 | 1263 | 3708 1381.80/1382.27 c 1380s | 19 | 5029443 | 553082 | 64253 17 | 1263 | 3708 1383.90/1384.37 c 1382s | 19 | 5037547 | 553782 | 64253 17 | 1263 | 3708 1386.10/1386.57 c 1384s | 19 | 5043202 | 554482 | 64253 17 | 1263 | 3708 1388.20/1388.65 c 1386s | 19 | 5049719 | 555182 | 64253 17 | 1263 | 3708 1390.40/1390.85 c 1389s | 19 | 5057712 | 555982 | 64253 17 | 1263 | 3708 1392.60/1393.06 c 1391s | 19 | 5065267 | 556682 | 64253 17 | 1263 | 3708 1394.80/1395.22 c 1393s | 19 | 5075015 | 557482 | 64253 17 | 1263 | 3708 1396.90/1397.35 c 1395s | 19 | 5083054 | 558282 | 64253 17 | 1263 | 3708 1399.00/1399.48 c 1397s | 19 | 5087579 | 558982 | 64253 17 | 1263 | 3708 1406.60/1407.09 c 1405s | 19 | 5093873 | 559782 | 64253 17 | 1263 | 3708 1409.89/1410.35 c 1408s | 19 | 5096943 | 559982 | 64253 17 | 1263 | 3708 1411.99/1412.48 c 1410s | 19 | 5107507 | 561182 | 64253 17 | 1263 | 3708 1414.09/1414.50 c 1412s | 19 | 5116335 | 562382 | 64253 17 | 1263 | 3708 1416.09/1416.56 c 1414s | 19 | 5125113 | 563682 | 64253 17 | 1263 | 3708 1418.29/1418.70 c 1416s | 19 | 5128384 | 563982 | 64253 17 | 1263 | 3708 1420.39/1420.80 c 1418s | 19 | 5135468 | 564982 | 64253 17 | 1263 | 3708 1422.58/1423.05 c 1421s | 19 | 5143817 | 565982 | 64253 17 | 1263 | 3708 1424.68/1425.19 c 1423s | 19 | 5157963 | 567182 | 64253 17 | 1263 | 3708 1426.89/1427.31 c 1425s | 19 | 5168119 | 568382 | 64253 17 | 1263 | 3708 1428.88/1429.38 c 1427s | 19 | 5177747 | 569482 | 64253 17 | 1263 | 3708 1431.18/1431.61 c 1429s | 19 | 5186713 | 570582 | 64253 17 | 1263 | 3708 1433.28/1433.76 c 1431s | 19 | 5192165 | 571082 | 64253 18 | 1263 | 3708 1435.28/1435.78 c 1433s | 19 | 5202595 | 571982 | 64253 18 | 1263 | 3708 1437.39/1437.81 c 1436s | 19 | 5209717 | 572882 | 64253 18 | 1263 | 3708 1439.38/1439.90 c 1438s | 19 | 5216229 | 573782 | 64253 18 | 1263 | 3708 1441.69/1442.15 c 1440s | 19 | 5223759 | 574782 | 64253 18 | 1263 | 3708 1443.78/1444.28 c 1442s | 19 | 5227989 | 575482 | 64253 18 | 1263 | 3708 1445.98/1446.48 c 1444s | 19 | 5232493 | 576182 | 64253 18 | 1263 | 3708 1448.08/1448.56 c 1446s | 19 | 5246661 | 577382 | 64253 18 | 1263 | 3708 1450.18/1450.66 c 1448s | 19 | 5257581 | 578482 | 64253 18 | 1263 | 3708 1452.38/1452.84 c 1451s | 19 | 5267310 | 579682 | 64253 18 | 1263 | 3708 1454.48/1454.93 c 1453s | 19 | 5278820 | 580882 | 64253 18 | 1263 | 3708 1456.58/1457.01 c 1455s | 19 | 5283877 | 582182 | 64253 18 | 1263 | 3708 1458.58/1459.05 c 1457s | 19 | 5292139 | 583282 | 64253 18 | 1263 | 3708 1460.78/1461.22 c 1459s | 19 | 5301807 | 584282 | 64253 18 | 1263 | 3708 1462.98/1463.40 c 1461s | 19 | 5313653 | 585182 | 64253 18 | 1263 | 3708 1465.18/1465.65 c 1463s | 19 | 5322563 | 586082 | 64253 18 | 1263 | 3708 1467.38/1467.81 c 1466s | 19 | 5328789 | 586982 | 64253 18 | 1263 | 3708 1469.38/1469.81 c 1468s | 19 | 5331652 | 587782 | 64253 18 | 1263 | 3708 1471.38/1471.89 c 1470s | 19 | 5334912 | 588482 | 64253 18 | 1263 | 3708 1473.58/1474.10 c 1472s | 19 | 5337368 | 589182 | 64253 18 | 1263 | 3708 1475.88/1476.33 c 1474s | 19 | 5342513 | 589882 | 64253 18 | 1263 | 3708 1477.98/1478.48 c 1476s | 19 | 5347078 | 590382 | 64253 18 | 1263 | 3708 1480.18/1480.62 c 1478s | 19 | 5350639 | 590882 | 64253 18 | 1263 | 3708 1482.27/1482.75 c 1480s | 19 | 5357901 | 591682 | 64253 18 | 1263 | 3708 1484.37/1484.82 c 1483s | 19 | 5369027 | 592582 | 64253 18 | 1263 | 3708 1486.47/1486.91 c 1485s | 19 | 5380865 | 593682 | 64253 18 | 1263 | 3708 1488.47/1488.95 c 1487s | 19 | 5388576 | 594582 | 64253 18 | 1263 | 3708 1490.57/1491.03 c 1489s | 19 | 5396832 | 595482 | 64253 18 | 1263 | 3708 1492.78/1493.22 c 1491s | 19 | 5404585 | 596582 | 64253 18 | 1263 | 3708 1494.88/1495.37 c 1493s | 19 | 5411252 | 597582 | 64253 18 | 1263 | 3708 1496.98/1497.42 c 1495s | 19 | 5418629 | 598482 | 64253 18 | 1263 | 3708 1499.08/1499.51 c 1497s | 19 | 5427431 | 599482 | 64253 18 | 1263 | 3708 1501.09/1501.57 c 1499s | 19 | 5435468 | 600482 | 64253 18 | 1263 | 3708 1503.18/1503.68 c 1501s | 19 | 5445384 | 601482 | 64253 18 | 1263 | 3708 1505.38/1505.81 c 1504s | 19 | 5455676 | 602482 | 64253 18 | 1263 | 3708 1507.58/1508.05 c 1506s | 19 | 5466487 | 603582 | 64253 18 | 1263 | 3708 1509.68/1510.13 c 1508s | 19 | 5474525 | 604482 | 64253 18 | 1263 | 3708 1511.68/1512.18 c 1510s | 19 | 5482909 | 605182 | 64253 18 | 1263 | 3708 1514.18/1514.65 c 1512s | 19 | 5489676 | 605982 | 64253 19 | 1263 | 3708 1516.28/1516.79 c 1514s | 19 | 5499152 | 606982 | 64253 19 | 1263 | 3708 1518.48/1518.91 c 1517s | 19 | 5509348 | 607982 | 64253 19 | 1263 | 3708 1520.68/1521.18 c 1519s | 19 | 5519463 | 608982 | 64253 19 | 1263 | 3708 1522.78/1523.29 c 1521s | 19 | 5528982 | 609782 | 64253 19 | 1263 | 3708 1524.98/1525.46 c 1523s | 19 | 5538137 | 610682 | 64253 19 | 1263 | 3708 1527.18/1527.67 c 1525s | 19 | 5546716 | 611582 | 64253 19 | 1263 | 3708 1529.28/1529.73 c 1527s | 19 | 5557725 | 612482 | 64253 19 | 1263 | 3708 1531.38/1531.83 c 1530s | 19 | 5568068 | 613382 | 64253 19 | 1263 | 3708 1533.58/1534.05 c 1532s | 19 | 5577458 | 614282 | 64253 19 | 1263 | 3708 1535.68/1536.16 c 1534s | 19 | 5588002 | 615182 | 64253 19 | 1263 | 3708 1537.77/1538.21 c 1536s | 19 | 5595855 | 616082 | 64253 19 | 1263 | 3708 1539.97/1540.44 c 1538s | 19 | 5604016 | 617082 | 64253 19 | 1263 | 3708 1542.07/1542.56 c 1540s | 19 | 5612081 | 617982 | 64253 19 | 1263 | 3708 1544.08/1544.58 c 1542s | 19 | 5621146 | 618782 | 64253 19 | 1263 | 3708 1546.18/1546.66 c 1544s | 19 | 5632205 | 619582 | 64253 19 | 1263 | 3708 1548.38/1548.81 c 1547s | 19 | 5641334 | 620382 | 64253 19 | 1263 | 3708 1550.58/1551.05 c 1549s | 19 | 5650728 | 621282 | 64253 19 | 1263 | 3708 1552.67/1553.13 c 1551s | 19 | 5660033 | 622082 | 64253 19 | 1263 | 3708 1554.87/1555.34 c 1553s | 19 | 5667960 | 622982 | 64253 19 | 1263 | 3708 1556.97/1557.44 c 1555s | 19 | 5677806 | 623782 | 64253 19 | 1263 | 3708 1559.17/1559.62 c 1557s | 19 | 5686498 | 624582 | 64253 19 | 1263 | 3708 1561.47/1561.94 c 1560s | 19 | 5694139 | 625382 | 64253 19 | 1263 | 3708 1563.67/1564.10 c 1562s | 19 | 5701177 | 626282 | 64253 19 | 1263 | 3708 1565.87/1566.32 c 1564s | 19 | 5710425 | 627182 | 64253 19 | 1263 | 3708 1567.97/1568.49 c 1566s | 19 | 5719098 | 628082 | 64253 19 | 1263 | 3708 1570.17/1570.61 c 1568s | 19 | 5726650 | 628782 | 64253 19 | 1263 | 3708 1572.17/1572.65 c 1570s | 19 | 5733164 | 629582 | 64253 19 | 1263 | 3708 1574.27/1574.76 c 1572s | 19 | 5739803 | 630382 | 64253 19 | 1263 | 3708 1576.37/1576.85 c 1575s | 19 | 5746452 | 631082 | 64253 19 | 1263 | 3708 1578.47/1578.98 c 1577s | 19 | 5755343 | 631782 | 64253 19 | 1263 | 3708 1580.57/1581.07 c 1579s | 19 | 5763385 | 632582 | 64253 19 | 1263 | 3708 1582.87/1583.38 c 1581s | 19 | 5768310 | 633382 | 64253 19 | 1263 | 3708 1585.07/1585.58 c 1583s | 19 | 5774532 | 634082 | 64253 19 | 1263 | 3708 1587.17/1587.66 c 1585s | 19 | 5781691 | 634882 | 64253 19 | 1263 | 3708 1589.57/1590.05 c 1588s | 19 | 5785987 | 635482 | 64253 19 | 1263 | 3708 1591.77/1592.20 c 1590s | 19 | 5793689 | 635982 | 64253 19 | 1263 | 3708 1593.97/1594.42 c 1592s | 19 | 5800936 | 636582 | 64253 19 | 1263 | 3708 1596.16/1596.61 c 1594s | 19 | 5806554 | 637082 | 64253 19 | 1263 | 3708 1598.17/1598.66 c 1596s | 19 | 5812583 | 637682 | 64253 19 | 1263 | 3708 1600.46/1600.95 c 1599s | 19 | 5819155 | 638282 | 64253 19 | 1263 | 3708 1602.66/1603.19 c 1601s | 19 | 5826146 | 638882 | 64253 19 | 1263 | 3708 1604.96/1605.44 c 1603s | 19 | 5831606 | 639382 | 64253 19 | 1263 | 3708 1607.96/1608.44 c 1606s | 19 | 5835675 | 639982 | 64253 19 | 1263 | 3708 1614.16/1614.63 c 1612s | 19 | 5839598 | 640282 | 64253 19 | 1263 | 3708 1616.46/1616.97 c 1615s | 19 | 5846130 | 640982 | 64253 19 | 1263 | 3708 1618.56/1619.05 c 1617s | 19 | 5853973 | 641782 | 64253 20 | 1263 | 3708 1620.66/1621.11 c 1619s | 19 | 5864136 | 642982 | 64253 20 | 1263 | 3708 1623.06/1623.52 c 1621s | 19 | 5872759 | 643982 | 64253 20 | 1263 | 3708 1625.26/1625.73 c 1623s | 19 | 5877818 | 644482 | 64253 20 | 1263 | 3708 1627.36/1627.88 c 1626s | 19 | 5890236 | 645482 | 64253 20 | 1263 | 3708 1629.56/1630.04 c 1628s | 19 | 5899466 | 646482 | 64253 20 | 1263 | 3708 1631.56/1632.08 c 1630s | 19 | 5908638 | 647482 | 64253 20 | 1263 | 3708 1633.66/1634.11 c 1632s | 19 | 5918408 | 648382 | 64253 20 | 1263 | 3708 1635.86/1636.31 c 1634s | 19 | 5925115 | 649282 | 64253 20 | 1263 | 3708 1637.96/1638.43 c 1636s | 19 | 5931400 | 649982 | 64253 20 | 1263 | 3708 1640.36/1640.80 c 1638s | 19 | 5938599 | 650682 | 64253 20 | 1263 | 3708 1642.36/1642.85 c 1641s | 19 | 5943026 | 651182 | 64253 20 | 1263 | 3708 1644.45/1644.92 c 1643s | 19 | 5947425 | 651682 | 64253 20 | 1263 | 3708 1651.25/1651.79 c 1649s | 19 | 5948537 | 651882 | 64253 20 | 1263 | 3708 1653.35/1653.80 c 1651s | 19 | 5955299 | 652582 | 64253 20 | 1263 | 3708 1655.35/1655.88 c 1654s | 19 | 5963532 | 653382 | 64253 20 | 1263 | 3708 1657.45/1657.99 c 1656s | 19 | 5969883 | 654082 | 64253 20 | 1263 | 3708 1659.56/1660.09 c 1658s | 19 | 5977063 | 654782 | 64253 20 | 1263 | 3708 1661.76/1662.26 c 1660s | 19 | 5984865 | 655482 | 64253 20 | 1263 | 3708 1663.96/1664.44 c 1662s | 19 | 5991611 | 656182 | 64253 20 | 1263 | 3708 1666.16/1666.62 c 1664s | 19 | 5996363 | 656982 | 64253 20 | 1263 | 3708 1668.65/1669.12 c 1667s | 19 | 6002946 | 657782 | 64253 20 | 1263 | 3708 1670.85/1671.39 c 1669s | 19 | 6008666 | 658282 | 64253 20 | 1263 | 3708 1673.05/1673.59 c 1671s | 19 | 6012966 | 658982 | 64253 20 | 1263 | 3708 1675.15/1675.67 c 1673s | 19 | 6017228 | 659682 | 64253 20 | 1263 | 3708 1677.45/1677.96 c 1676s | 19 | 6027766 | 660482 | 70679 20 | 1263 | 3708 1679.85/1680.33 c 1678s | 19 | 6035325 | 661282 | 70679 20 | 1263 | 3708 1681.95/1682.42 c 1680s | 19 | 6043047 | 661982 | 70679 20 | 1263 | 3708 1684.25/1684.79 c 1682s | 19 | 6049925 | 662782 | 70679 20 | 1263 | 3708 1686.55/1687.06 c 1685s | 19 | 6055431 | 663582 | 70679 20 | 1263 | 3708 1688.65/1689.13 c 1687s | 19 | 6060119 | 664182 | 70679 20 | 1263 | 3708 1690.85/1691.30 c 1689s | 19 | 6064035 | 664882 | 70679 20 | 1263 | 3708 1693.15/1693.65 c 1691s | 19 | 6072951 | 665582 | 70679 20 | 1263 | 3708 1695.25/1695.77 c 1693s | 19 | 6080026 | 666282 | 70679 20 | 1263 | 3708 1696.95/1697.43 c 1695s | 20 | 6085096 | 666827 | 70679 20 | 1263 | 3708 1699.15/1699.68 c 1697s | 20 | 6093324 | 667427 | 70679 20 | 1263 | 3708 1701.35/1701.82 c 1700s | 20 | 6099302 | 668127 | 70679 20 | 1263 | 3708 1704.14/1704.66 c 1702s | 20 | 6102997 | 668527 | 70679 20 | 1263 | 3708 1706.75/1707.22 c 1705s | 20 | 6105922 | 668827 | 70679 20 | 1263 | 3708 1709.14/1709.65 c 1707s | 20 | 6108577 | 669127 | 70679 20 | 1263 | 3708 1711.84/1712.33 c 1710s | 20 | 6111347 | 669427 | 70679 20 | 1263 | 3708 1714.45/1714.98 c 1713s | 20 | 6112898 | 669727 | 70679 20 | 1263 | 3708 1716.54/1717.02 c 1715s | 20 | 6119605 | 670127 | 70679 20 | 1263 | 3708 1718.64/1719.11 c 1717s | 20 | 6127011 | 670827 | 70679 20 | 1263 | 3708 1720.74/1721.21 c 1719s | 20 | 6133408 | 671527 | 70679 20 | 1263 | 3708 1722.94/1723.46 c 1721s | 20 | 6140937 | 672227 | 70679 20 | 1263 | 3708 1725.14/1725.64 c 1723s | 20 | 6146743 | 672927 | 70679 20 | 1263 | 3708 1727.24/1727.72 c 1725s | 20 | 6151318 | 673627 | 70679 20 | 1263 | 3708 1729.34/1729.88 c 1728s | 20 | 6155998 | 674227 | 70679 20 | 1263 | 3708 1731.44/1731.98 c 1730s | 20 | 6160222 | 674827 | 70679 20 | 1263 | 3708 1733.64/1734.10 c 1732s | 20 | 6163249 | 675527 | 70679 20 | 1263 | 3708 1736.04/1736.54 c 1734s | 20 | 6167790 | 676027 | 70679 20 | 1263 | 3708 1738.14/1738.68 c 1736s | 20 | 6171353 | 676427 | 70679 20 | 1263 | 3708 1740.74/1741.26 c 1739s | 20 | 6174749 | 676827 | 70679 20 | 1263 | 3708 1743.34/1743.83 c 1742s | 20 | 6178547 | 677127 | 70679 20 | 1263 | 3708 1745.34/1745.85 c 1744s | 20 | 6180411 | 677527 | 70679 20 | 1263 | 3708 1747.54/1748.06 c 1746s | 20 | 6186612 | 678027 | 70679 20 | 1263 | 3708 1749.74/1750.23 c 1748s | 20 | 6192251 | 678527 | 70679 20 | 1263 | 3708 1752.13/1752.61 c 1750s | 20 | 6197057 | 679027 | 70679 20 | 1263 | 3708 1754.34/1754.83 c 1753s | 20 | 6201664 | 679527 | 70679 20 | 1263 | 3708 1756.54/1757.05 c 1755s | 20 | 6208347 | 680127 | 70679 20 | 1263 | 3708 1758.74/1759.20 c 1757s | 20 | 6212693 | 680727 | 70679 20 | 1263 | 3708 1760.94/1761.46 c 1759s | 20 | 6218106 | 681327 | 70679 20 | 1263 | 3708 1763.04/1763.55 c 1761s | 20 | 6220696 | 681927 | 70679 20 | 1263 | 3708 1765.15/1765.64 c 1763s | 20 | 6224786 | 682427 | 70679 20 | 1263 | 3708 1767.25/1767.78 c 1765s | 20 | 6227558 | 682827 | 70679 21 | 1263 | 3708 1769.45/1769.94 c 1768s | 20 | 6233963 | 683527 | 70679 21 | 1263 | 3708 1771.44/1771.97 c 1770s | 20 | 6242825 | 684227 | 70679 21 | 1263 | 3708 1773.74/1774.26 c 1772s | 20 | 6251480 | 685027 | 70679 21 | 1263 | 3708 1775.94/1776.42 c 1774s | 20 | 6259846 | 685827 | 70679 21 | 1263 | 3708 1778.14/1778.67 c 1776s | 20 | 6269927 | 686727 | 70679 21 | 1263 | 3708 1780.34/1780.80 c 1778s | 20 | 6279378 | 687527 | 70679 21 | 1263 | 3708 1782.54/1783.03 c 1781s | 20 | 6287458 | 688327 | 70679 21 | 1263 | 3708 1784.54/1785.08 c 1783s | 20 | 6292897 | 689027 | 70679 21 | 1263 | 3708 1786.84/1787.32 c 1785s | 20 | 6298747 | 689827 | 70679 21 | 1263 | 3708 1789.04/1789.58 c 1787s | 20 | 6305684 | 690627 | 70679 21 | 1263 | 3708 1791.13/1791.64 c 1789s | 20 | 6312045 | 691427 | 70679 21 | 1263 | 3708 1793.23/1793.73 c 1791s | 20 | 6318376 | 692127 | 70679 21 | 1263 | 3708 1795.34/1795.83 c 1794s | 20 | 6325025 | 692727 | 70679 21 | 1263 | 3708 1797.53/1798.06 c 1796s | 20 | 6331593 | 693427 | 70679 21 | 1263 | 3708 1799.83/1800.33 c 1798s | 20 | 6337299 | 694027 | 70679 21 | 1263 | 3708
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-4079842-1465248346/watcher-4079842-1465248346 -o /tmp/evaluation-result-4079842-1465248346/solver-4079842-1465248346 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079842-1465248346.opb pid=17431 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.22 2.21 2.18 4/179 17434 /proc/meminfo: memFree=29295000/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=670276 CPUtime=0 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 2490 0 0 0 0 0 0 0 20 0 4 0 106766968 686362624 3361 33554432000 4194304 16246674 140735573218112 140735573217536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 168081 3372 442 2943 0 164975 0 [pid=17434/tid=17435] ppid=17431 vsize=688708 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 705236992 3433 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=692804 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 709431296 3450 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=696900 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106766969 713625600 3468 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 2.22 2.21 2.18 4/179 17434 /proc/meminfo: memFree=29295000/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 28624 0 0 0 5 4 0 0 20 0 4 0 106766968 1249447936 29433 33554432000 4194304 16246674 140735573218112 140735573217424 4220520 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 305041 29433 801 2943 0 301935 0 [pid=17434/tid=17435] ppid=17431 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1249447936 29433 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1249447936 29433 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1249447936 29433 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200612 s] /proc/loadavg: 2.22 2.21 2.18 4/179 17434 /proc/meminfo: memFree=29295000/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1311300 CPUtime=0.19 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 51225 0 0 0 12 7 0 0 20 0 4 0 106766968 1342771200 52034 33554432000 4194304 16246674 140735573218112 140735573217424 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 327825 52038 806 2943 0 324719 0 [pid=17434/tid=17435] ppid=17431 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1342771200 52040 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1342771200 52042 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1342771200 52044 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1311300 [startup+0.300536 s] /proc/loadavg: 2.22 2.21 2.18 4/179 17434 /proc/meminfo: memFree=29295000/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1311300 CPUtime=0.29 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 51328 0 0 0 22 7 0 0 20 0 4 0 106766968 1342771200 52137 33554432000 4194304 16246674 140735573218112 140735573217424 13950688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 327825 52137 835 2943 0 324719 0 [pid=17434/tid=17435] ppid=17431 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1342771200 52137 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1342771200 52137 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1342771200 52137 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1311300 [startup+0.700418 s] /proc/loadavg: 2.22 2.21 2.18 4/179 17434 /proc/meminfo: memFree=29295000/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1316420 CPUtime=0.68 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 83917 0 0 0 57 11 0 0 20 0 4 0 106766968 1348014080 84726 33554432000 4194304 16246674 140735573218112 140735573217424 14073233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 329105 84726 899 2943 0 325999 0 [pid=17434/tid=17435] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 84726 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 84726 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 84726 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1316420 [startup+1.50043 s] /proc/loadavg: 2.22 2.21 2.18 3/183 17438 /proc/meminfo: memFree=28957312/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1316420 CPUtime=1.49 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 99286 0 0 0 135 14 0 0 20 0 4 0 106766968 1348014080 100095 33554432000 4194304 16246674 140735573218112 140735573200000 5662594 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 329105 100101 909 2943 0 325999 0 [pid=17434/tid=17435] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 100104 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 100110 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 100123 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1316420 [startup+3.10041 s] /proc/loadavg: 2.22 2.21 2.18 3/183 17438 /proc/meminfo: memFree=28653636/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1316420 CPUtime=3.08 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 234659 0 0 0 276 32 0 0 20 0 4 0 106766968 1348014080 235468 33554432000 4194304 16246674 140735573218112 140735573200000 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 329105 235487 909 2943 0 325999 0 [pid=17434/tid=17435] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 235501 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 235514 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 235525 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1316420 [startup+6.30043 s] /proc/loadavg: 2.21 2.20 2.18 3/183 17438 /proc/meminfo: memFree=28210912/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1316420 CPUtime=6.29 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 270315 0 0 0 592 37 0 0 20 0 4 0 106766968 1348014080 271124 33554432000 4194304 16246674 140735573218112 140735573200000 6022104 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 329105 271124 911 2943 0 325999 0 [pid=17434/tid=17435] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271124 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271124 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271124 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1316420 [startup+12.7004 s] /proc/loadavg: 2.19 2.20 2.18 3/183 17438 /proc/meminfo: memFree=28211348/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1316420 CPUtime=12.68 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 270319 0 0 0 1231 37 0 0 20 0 4 0 106766968 1348014080 271128 33554432000 4194304 16246674 140735573218112 140735573200000 5822761 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 329105 271128 915 2943 0 325999 0 [pid=17434/tid=17435] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.15 2.19 2.18 4/183 17438 /proc/meminfo: memFree=28211604/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1316420 CPUtime=25.48 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 270319 0 0 0 2511 37 0 0 20 0 4 0 106766968 1348014080 271128 33554432000 4194304 16246674 140735573218112 140735573200000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 329105 271128 915 2943 0 325999 0 [pid=17434/tid=17435] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.17 2.19 2.18 3/183 17438 /proc/meminfo: memFree=28211612/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 270319 0 0 0 5071 37 0 0 20 0 4 0 106766968 1348014080 271128 33554432000 4194304 16246674 140735573218112 140735573200000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 329105 271128 915 2943 0 325999 0 [pid=17434/tid=17435] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.301 s] /proc/loadavg: 2.14 2.17 2.17 4/183 17439 /proc/meminfo: memFree=28210980/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1316420 CPUtime=102.28 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 270319 0 0 0 10191 37 0 0 20 0 4 0 106766968 1348014080 271128 33554432000 4194304 16246674 140735573218112 140735573200000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 329105 271128 915 2943 0 325999 0 [pid=17434/tid=17435] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1348014080 271128 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1431108 [startup+1362.3 s] /proc/loadavg: 2.40 2.29 2.21 3/183 17519 /proc/meminfo: memFree=28123716/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1361.9 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 136142 48 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 13195008 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1431108 [startup+1422.3 s] /proc/loadavg: 2.34 2.29 2.21 4/183 17520 /proc/meminfo: memFree=28121516/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1421.89 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 142140 49 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 5663130 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1431108 [startup+1482.3 s] /proc/loadavg: 2.37 2.31 2.22 3/184 17525 /proc/meminfo: memFree=28121580/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1481.87 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 148138 49 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 5822556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1431108 [startup+1542.31 s] /proc/loadavg: 2.33 2.31 2.22 3/183 17526 /proc/meminfo: memFree=28121620/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1541.88 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 154138 50 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1431108 [startup+1602.3 s] /proc/loadavg: 2.17 2.27 2.21 4/183 17527 /proc/meminfo: memFree=28121276/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1601.86 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 160136 50 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1431108 [startup+1662.3 s] /proc/loadavg: 2.24 2.28 2.22 3/184 17539 /proc/meminfo: memFree=28120580/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1661.85 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 166133 52 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1431108 [startup+1722.3 s] /proc/loadavg: 2.32 2.29 2.22 3/183 17540 /proc/meminfo: memFree=28120240/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1721.84 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 172132 52 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1431108 [startup+1782.3 s] /proc/loadavg: 2.30 2.29 2.22 3/183 17542 /proc/meminfo: memFree=28119648/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1781.84 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 178131 53 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 5711496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1431108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.29 2.29 2.22 4/183 17542 /proc/meminfo: memFree=28119864/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1800.03 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 179950 53 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 5822592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1431108 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 17434 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.29 2.29 2.22 4/183 17542 /proc/meminfo: memFree=28119864/32872528 swapFree=16636/1570076 [pid=17434] ppid=17431 vsize=1431108 CPUtime=1800.03 cores=1,3,5,7 /proc/17434/stat : 17434 (toysat) R 17431 17434 13075 0 -1 4202496 299306 0 0 0 179950 53 0 0 20 0 4 0 106766968 1465454592 299804 33554432000 4194304 16246674 140735573218112 140735573200000 5822592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17434/statm: 357777 299804 916 2943 0 354671 0 [pid=17434/tid=17435] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17435/stat : 17435 (toysat) S 17431 17434 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672814263536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17434/tid=17436] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17436/stat : 17436 (toysat) S 17431 17434 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672728280304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17434/tid=17437] ppid=17431 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/17434/task/17437/stat : 17437 (toysat) S 17431 17434 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106766969 1465454592 299804 33554432000 4194304 16246674 140735573218112 140672717806768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1431108 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.51 CPU system time (s): 0.532918 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1431108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.532918 maximum resident set size= 1199216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 299306 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= 332 involuntary context switches= 1959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.978 second user time and 16.2635 second system time The end
Begin job on node140 at 2016-06-06 23:25:46 IDJOB=4079842 IDBENCH=24981 IDSOLVER=2542 FILE ID=node140/4079842-1465248346 RUNJOBID= node140-1465216678-13092 PBS_JOBID= 19843199 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_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-4079842-1465248346/watcher-4079842-1465248346 -o /tmp/evaluation-result-4079842-1465248346/solver-4079842-1465248346 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079842-1465248346.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54 RANDOM SEED=1765222313 node140.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.768 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.53 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.768 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.56 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29294900 kB Buffers: 53316 kB Cached: 100240 kB SwapCached: 1744 kB Active: 1221572 kB Inactive: 82116 kB Active(anon): 1150288 kB Inactive(anon): 2608 kB Active(file): 71284 kB Inactive(file): 79508 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098608 kB Dirty: 17096 kB Writeback: 0 kB AnonPages: 2826740 kB Mapped: 10856 kB Shmem: 0 kB Slab: 568220 kB SReclaimable: 12500 kB SUnreclaim: 555720 kB KernelStack: 1520 kB PageTables: 9416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2861472 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2787328 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 node140 at 2016-06-06 23:55:47