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.01 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_10.r.opb |
| MD5SUM | 7594cbd1c9783d8ed9b0ac9dcb03739f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | YES |
| Number of variables | 293 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 100 |
| 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 | 10 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 293 |
| 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 | 293 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 293 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-18T12:42:42+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-4105465-1466246561.opb"] 0.00/0.01 c use --random-gen="3350629716 3572211632 2872924966 689877907 3044059124 1190984336 3665555853 3459722465 210857747 2570684396 3325296156 3073101207 138544788 2288679116 3105585709 3244507080 2310003537 2351502063 657229562 231967688 3136956762 218223655 3970073208 2323938440 666954996 3536410717 1903385248 2897461475 3502633442 4107549719 3518479070 3925252351 943376564 557284954 608664253 4021154181 180543066 2125093948 2247971472 2690676085 2181763555 2767853949 534307542 1129217143 3771028409 3402797458 2658330450 3921712105 3519002778 674097784 3144749178 3313325986 298472325 4205027414 995627102 1161216397 4065107140 2508752447 1604562405 2578966780 1603576751 1031379725 1080107659 2180754073 189109168 1205303664 2059791489 3027824636 1199950331 2320046198 424335129 1445489871 1729960905 3702470912 2012489476 2894443046 182384742 2404746658 2510618219 3702180404 2919375441 3571529989 2892146262 2067349809 2667245137 2077381548 1267502275 3742130569 3429776518 2494567778 680444357 462454221 2333286073 59170751 2114390670 2883124286 702165639 2635090847 3410877168 979998330 2843695991 973946240 3837970271 3241621238 3721953508 3868740685 1240675240 1730038291 2861593836 3034181569 49137193 2477434982 3001827753 2137474523 364998372 355333381 2975018617 595701114 803293563 2449165388 1042714398 2308730759 839680078 2796861283 3681587916 2857422108 2623190335 556996478 1444026974 4047606906 3494879594 480986575 2250929991 769033089 1989204159 2774235065 4136908290 3688835838 1289415726 2280490341 2885835976 100211962 949225732 3494687358 2513041918 3918471535 3977884124 1311417374 3852239474 2987231213 2418939116 1816389627 1742701496 1375653710 3879147633 1220965636 2292131735 3126795472 925868822 4249499711 3967894926 444346895 1746138226 4208801374 4255471686 2996113455 4203865193 2899465539 21909646 936144814 3787799066 2646169460 2905270517 882844555 2117971636 1731635711 3563297481 1960159509 3657871885 3916833204 3494475128 2289528575 3318750475 2672750620 4106785847 3865975363 3109924983 2181116571 1811838317 3978177302 4031857568 2334212295 873530268 2432326733 2617690745 4034872438 3867963765 1166978676 2108236979 866886576 3305717421 1481151325 2666662108 445832090 4148992947 2588280453 1965257626 3212037138 1210995762 1115429885 2245015617 1379918679 2502357916 244938354 4202678702 4170044708 1797810944 1303102598 190699062 4209807946 1967874708 4111508318 2439886020 3042178718 3883474033 4134378022 1466466436 169373449 1979672050 1044626927 1521555751 1931379843 3146289918 3923129989 2773215550 346033201 3870667378 2246791545 2800580576 185404101 3769001178 2811829901 1920134587 181988297 3401425838 3650786521 2240106599 2686563585 1589003484 2391485709 4075395670 1015047962 2903844826 1647598028 2287353318 1247428827 255 362436" option to reproduce the execution 0.00/0.01 c #vars 293 0.00/0.01 c #constraints 100 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 293 | 0 | 131 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 293 0.00/0.02 c #random_decision = 1 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 293 0.00/0.02 c BCD2: updating upper bound: 293 -> 292 0.00/0.02 c BCD2: 0 <= obj <= 292 0.00/0.02 c BCD2: #cores=0, #unrelaxed=293, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 160 | 0 | 131 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 160 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 1 0.00/0.02 c BCD2: 1 <= obj <= 292 0.00/0.02 c BCD2: #cores=1, #unrelaxed=283, #relaxed=10, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 1 0.00/0.02 c 0.0s | 0 | 193 | 0 | 131 0 | 0 | 1 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 193 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 2 0.00/0.02 c BCD2: 2 <= obj <= 292 0.00/0.02 c BCD2: #cores=2, #unrelaxed=273, #relaxed=20, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 2 0.00/0.02 c 0.0s | 0 | 189 | 0 | 131 0 | 0 | 2 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 189 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 3 0.00/0.02 c BCD2: 3 <= obj <= 292 0.00/0.02 c BCD2: #cores=3, #unrelaxed=263, #relaxed=30, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 3 0.00/0.02 c 0.0s | 0 | 194 | 0 | 131 0 | 0 | 3 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 194 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 4 0.00/0.02 c BCD2: 4 <= obj <= 292 0.00/0.02 c BCD2: #cores=4, #unrelaxed=253, #relaxed=40, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 4 0.00/0.02 c 0.0s | 0 | 200 | 0 | 131 0 | 0 | 4 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 200 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 5 0.00/0.02 c BCD2: 5 <= obj <= 292 0.00/0.02 c BCD2: #cores=5, #unrelaxed=243, #relaxed=50, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 5 0.00/0.02 c 0.0s | 0 | 195 | 0 | 131 0 | 0 | 5 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 195 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 6 0.00/0.02 c BCD2: 6 <= obj <= 292 0.00/0.02 c BCD2: #cores=6, #unrelaxed=233, #relaxed=60, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 6 0.00/0.02 c 0.0s | 0 | 187 | 0 | 131 0 | 0 | 6 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 187 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.02 c lower bound updated to 7 0.00/0.02 c BCD2: 7 <= obj <= 292 0.00/0.02 c BCD2: #cores=7, #unrelaxed=223, #relaxed=70, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 7 0.00/0.03 c 0.0s | 0 | 179 | 0 | 131 0 | 0 | 7 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 179 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 8 0.00/0.03 c BCD2: 8 <= obj <= 292 0.00/0.03 c BCD2: #cores=8, #unrelaxed=213, #relaxed=80, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 8 0.00/0.03 c 0.0s | 0 | 191 | 0 | 131 0 | 0 | 8 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 191 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 9 0.00/0.03 c BCD2: 9 <= obj <= 292 0.00/0.03 c BCD2: #cores=9, #unrelaxed=203, #relaxed=90, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 9 0.00/0.03 c 0.0s | 0 | 197 | 0 | 131 0 | 0 | 9 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 197 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 10 0.00/0.03 c BCD2: 10 <= obj <= 292 0.00/0.03 c BCD2: #cores=10, #unrelaxed=193, #relaxed=100, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 10 0.00/0.03 c 0.0s | 0 | 190 | 0 | 131 0 | 0 | 10 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 190 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 11 0.00/0.03 c BCD2: 11 <= obj <= 292 0.00/0.03 c BCD2: #cores=11, #unrelaxed=183, #relaxed=110, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 11 0.00/0.03 c 0.0s | 0 | 193 | 0 | 131 0 | 0 | 11 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 193 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 12 0.00/0.03 c BCD2: 12 <= obj <= 292 0.00/0.03 c BCD2: #cores=12, #unrelaxed=173, #relaxed=120, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 12 0.00/0.03 c 0.0s | 0 | 288 | 0 | 131 0 | 0 | 12 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 288 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 38 0.00/0.03 c BCD2: updating upper bound: 292 -> 37 0.00/0.03 c BCD2: 12 <= obj <= 37 0.00/0.03 c BCD2: #cores=12, #unrelaxed=173, #relaxed=120, #hardened=0 0.00/0.03 c BCD2: #sat=2 #unsat=13 bias=13/15 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 131 0 | 0 | 13 0.00/0.04 c 0.0s | 0 | 215 | 14 | 131 0 | 0 | 13 0.00/0.04 c #cpu_time = 0.002s 0.00/0.04 c #wall_clock_time = 0.002s 0.00/0.04 c #decision = 215 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 14 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 108 and merging with 9 cores into a new core of size 198: cost of the new core is >=10 0.00/0.04 c lower bound updated to 13 0.00/0.04 c BCD2: 13 <= obj <= 37 0.00/0.04 c BCD2: #cores=4, #unrelaxed=65, #relaxed=228, #hardened=0 0.00/0.04 c BCD2: #sat=2 #unsat=14 bias=14/16 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 131 0 | 24 | 13 0.00/0.06 c 0.0s | 1 | 392 | 100 | 145 0 | 24 | 52 0.09/0.10 c 0.1s | 2 | 941 | 250 | 160 0 | 24 | 52 0.09/0.17 c 0.1s | 3 | 1678 | 475 | 176 2 | 24 | 52 0.19/0.25 c 0.2s | 4 | 2961 | 813 | 194 4 | 24 | 52 0.29/0.39 c 0.4s | 5 | 4502 | 1320 | 214 8 | 24 | 52 0.49/0.57 c 0.5s | 6 | 6339 | 2081 | 236 12 | 24 | 52 0.79/0.87 c 0.8s | 7 | 9596 | 3223 | 260 18 | 24 | 52 1.20/1.28 c 1.2s | 8 | 14823 | 4936 | 286 27 | 24 | 52 1.69/1.73 c 1.7s | 9 | 22352 | 7506 | 315 40 | 24 | 52 2.39/2.42 c 2.4s | 10 | 34024 | 11361 | 347 58 | 24 | 52 3.40/3.44 c 3.4s | 11 | 49365 | 17144 | 382 83 | 24 | 52 4.99/5.04 c 5.0s | 12 | 73865 | 25819 | 421 118 | 24 | 52 6.99/7.05 c 7.0s | 12 | 105848 | 37119 | 421 161 | 24 | 52 7.29/7.36 c 7.3s | 13 | 110061 | 38832 | 464 167 | 24 | 52 9.29/9.36 c 9.3s | 13 | 138889 | 48732 | 464 201 | 24 | 52 11.19/11.29 c 11.3s | 14 | 167922 | 58352 | 511 234 | 24 | 52 13.20/13.30 c 13.3s | 14 | 199073 | 68552 | 511 267 | 24 | 52 15.29/15.30 c 15.3s | 14 | 229478 | 79352 | 511 302 | 24 | 52 16.99/17.01 c 17.0s | 15 | 253840 | 87632 | 563 328 | 24 | 52 18.99/19.02 c 19.0s | 15 | 286121 | 97432 | 563 357 | 24 | 52 21.00/21.03 c 21.0s | 15 | 314916 | 107732 | 563 388 | 24 | 52 22.99/23.03 c 23.0s | 15 | 346141 | 118032 | 563 419 | 24 | 52 24.99/25.04 c 25.0s | 15 | 375253 | 128232 | 563 449 | 24 | 52 25.69/25.73 c 25.7s | 16 | 385078 | 131552 | 620 458 | 24 | 52 27.69/27.74 c 27.7s | 16 | 415570 | 141452 | 620 485 | 24 | 52 29.69/29.75 c 29.7s | 16 | 446383 | 151452 | 620 513 | 24 | 52 31.69/31.77 c 31.7s | 16 | 478893 | 161352 | 620 540 | 24 | 52 33.69/33.78 c 33.7s | 16 | 510236 | 170752 | 620 566 | 24 | 52 35.68/35.78 c 35.7s | 16 | 542230 | 180452 | 620 592 | 24 | 52 37.68/37.79 c 37.8s | 16 | 572742 | 190452 | 620 620 | 24 | 52 39.08/39.16 c 39.1s | 17 | 592370 | 197432 | 682 638 | 24 | 52 41.08/41.17 c 41.1s | 17 | 625261 | 207332 | 682 663 | 24 | 52 43.08/43.17 c 43.1s | 17 | 658010 | 217132 | 682 688 | 24 | 52 45.09/45.17 c 45.1s | 17 | 689903 | 227032 | 682 713 | 24 | 52 47.08/47.18 c 47.1s | 17 | 720397 | 236432 | 682 737 | 24 | 52 49.08/49.19 c 49.2s | 17 | 750180 | 246432 | 682 762 | 24 | 52 51.18/51.21 c 51.2s | 17 | 785323 | 256532 | 682 787 | 24 | 52 52.79/52.87 c 52.8s | 17 | 812572 | 264344 | 682 807 | 24 | 52 52.79/52.87 c #cpu_time = 52.834s 52.79/52.87 c #wall_clock_time = 52.835s 52.79/52.87 c #decision = 812572 52.79/52.87 c #random_decision = 3086 52.79/52.87 c #conflict = 264344 52.79/52.87 c #restart = 17 52.79/52.87 o 33 52.79/52.87 c BCD2: updating upper bound: 37 -> 32 52.79/52.87 c BCD2: 13 <= obj <= 32 52.79/52.87 c BCD2: #cores=4, #unrelaxed=65, #relaxed=228, #hardened=0 52.79/52.87 c BCD2: #sat=3 #unsat=14 bias=14/17 52.79/52.88 c Solving starts ... 52.79/52.88 c ============================[ Search Statistics ]============================ 52.79/52.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 52.79/52.88 c | | | | Limit GC | Var | Constra 52.79/52.88 c ============================================================================= 52.79/52.88 c 0.0s | 0 | 0 | 0 | 682 0 | 24 | 53 52.79/52.90 c 0.0s | 1 | 460 | 100 | 682 1 | 24 | 53 52.89/52.93 c 0.0s | 2 | 932 | 250 | 682 1 | 24 | 53 52.89/52.97 c 0.1s | 3 | 1892 | 475 | 682 2 | 24 | 53 52.98/53.04 c 0.2s | 4 | 2846 | 813 | 682 2 | 24 | 53 53.08/53.13 c 0.3s | 5 | 4167 | 1320 | 682 4 | 24 | 53 53.18/53.29 c 0.4s | 6 | 6847 | 2081 | 682 6 | 24 | 53 53.48/53.50 c 0.6s | 7 | 10573 | 3223 | 682 8 | 24 | 53 53.78/53.81 c 0.9s | 8 | 15622 | 4936 | 682 13 | 24 | 53 54.18/54.29 c 1.4s | 9 | 24288 | 7506 | 682 19 | 24 | 53 54.88/54.99 c 2.1s | 10 | 36962 | 11361 | 682 29 | 24 | 53 55.98/56.03 c 3.2s | 11 | 53754 | 17144 | 682 43 | 24 | 53 57.58/57.67 c 4.8s | 12 | 82317 | 25819 | 682 65 | 24 | 53 59.57/59.69 c 6.8s | 12 | 117224 | 36919 | 751 92 | 24 | 53 59.97/60.02 c 7.1s | 13 | 122910 | 38832 | 751 96 | 24 | 53 61.97/62.04 c 9.2s | 13 | 157988 | 49832 | 751 121 | 24 | 53 63.57/63.64 c 10.8s | 14 | 185675 | 58352 | 751 141 | 24 | 53 65.57/65.64 c 12.8s | 14 | 218589 | 69052 | 751 166 | 24 | 53 67.57/67.66 c 14.8s | 14 | 254267 | 79852 | 751 191 | 24 | 53 69.07/69.15 c 16.3s | 15 | 280835 | 87632 | 751 209 | 24 | 53 71.07/71.16 c 18.3s | 15 | 315743 | 98232 | 751 234 | 24 | 53 73.07/73.17 c 20.3s | 15 | 353813 | 108932 | 751 259 | 24 | 53 75.07/75.17 c 22.3s | 15 | 389917 | 119932 | 751 284 | 24 | 53 77.07/77.18 c 24.3s | 15 | 424452 | 130632 | 751 309 | 24 | 53 77.27/77.34 c 24.5s | 16 | 427189 | 131552 | 751 311 | 24 | 53 79.28/79.35 c 26.5s | 16 | 464267 | 142152 | 751 336 | 24 | 53 81.27/81.36 c 28.5s | 16 | 497531 | 152752 | 751 360 | 24 | 53 83.27/83.38 c 30.5s | 16 | 528291 | 162852 | 751 384 | 24 | 53 85.27/85.39 c 32.5s | 16 | 561095 | 173352 | 751 408 | 24 | 53 87.37/87.40 c 34.5s | 16 | 593777 | 183652 | 827 431 | 24 | 53 89.37/89.42 c 36.5s | 16 | 626550 | 193852 | 827 453 | 24 | 53 90.07/90.15 c 37.3s | 17 | 638812 | 197432 | 827 460 | 24 | 53 92.07/92.17 c 39.3s | 17 | 675003 | 208032 | 827 483 | 24 | 53 94.07/94.19 c 41.3s | 17 | 708965 | 218632 | 827 505 | 24 | 53 96.07/96.19 c 43.3s | 17 | 740877 | 229132 | 827 528 | 24 | 53 98.16/98.20 c 45.3s | 17 | 774309 | 239532 | 827 550 | 24 | 53 100.17/100.21 c 47.3s | 17 | 806928 | 250232 | 827 573 | 24 | 53 102.16/102.21 c 49.3s | 17 | 837724 | 260732 | 827 595 | 24 | 53 104.16/104.23 c 51.4s | 17 | 869780 | 270732 | 827 616 | 24 | 53 106.16/106.25 c 53.4s | 17 | 901401 | 281232 | 827 639 | 24 | 53 108.15/108.27 c 55.4s | 17 | 934271 | 291532 | 827 661 | 24 | 53 109.05/109.14 c 56.3s | 18 | 948675 | 296252 | 827 671 | 24 | 53 111.06/111.15 c 58.3s | 18 | 982080 | 307152 | 827 694 | 24 | 53 113.05/113.16 c 60.3s | 18 | 1019672 | 317852 | 827 717 | 24 | 53 115.05/115.17 c 62.3s | 18 | 1056211 | 328552 | 827 740 | 24 | 53 117.06/117.17 c 64.3s | 18 | 1089590 | 339152 | 827 762 | 24 | 53 119.05/119.18 c 66.3s | 18 | 1123868 | 350152 | 827 786 | 24 | 53 121.06/121.18 c 68.3s | 18 | 1158844 | 361352 | 827 810 | 24 | 53 123.05/123.18 c 70.3s | 18 | 1190802 | 372252 | 827 833 | 24 | 53 125.05/125.19 c 72.3s | 18 | 1221511 | 383352 | 827 856 | 24 | 53 127.15/127.20 c 74.3s | 18 | 1254890 | 394752 | 827 880 | 24 | 53 129.15/129.21 c 76.3s | 18 | 1287769 | 405852 | 910 902 | 24 | 53 131.15/131.22 c 78.3s | 18 | 1319168 | 417452 | 910 925 | 24 | 53 133.15/133.23 c 80.4s | 18 | 1350068 | 428952 | 910 947 | 24 | 53 135.14/135.23 c 82.4s | 18 | 1380189 | 440752 | 910 970 | 24 | 53 135.74/135.87 c 83.0s | 19 | 1389324 | 444482 | 910 977 | 24 | 53 137.74/137.87 c 85.0s | 19 | 1424637 | 456882 | 910 1002 | 24 | 53 139.74/139.89 c 87.0s | 19 | 1462406 | 469482 | 910 1026 | 24 | 53 141.74/141.89 c 89.0s | 19 | 1500929 | 482282 | 910 1052 | 24 | 53 143.74/143.89 c 91.0s | 19 | 1538169 | 494582 | 910 1076 | 24 | 53 145.73/145.90 c 93.0s | 19 | 1573490 | 507282 | 910 1101 | 24 | 53 147.83/147.91 c 95.0s | 19 | 1611890 | 520082 | 910 1126 | 24 | 53 149.83/149.92 c 97.0s | 19 | 1647793 | 532582 | 910 1150 | 24 | 53 151.84/151.92 c 99.0s | 19 | 1682597 | 545082 | 910 1175 | 24 | 53 153.83/153.93 c 101s | 19 | 1718223 | 557782 | 910 1200 | 24 | 53 155.83/155.94 c 103s | 19 | 1755076 | 570582 | 910 1225 | 24 | 53 157.83/157.95 c 105s | 19 | 1792864 | 583082 | 910 1250 | 24 | 53 159.83/159.96 c 107s | 19 | 1829871 | 595682 | 910 1275 | 24 | 53 161.83/161.96 c 109s | 19 | 1866172 | 608182 | 910 1299 | 24 | 53 163.83/163.97 c 111s | 19 | 1903502 | 620782 | 910 1324 | 24 | 53 165.82/165.98 c 113s | 19 | 1940667 | 633482 | 910 1350 | 24 | 53 167.82/167.99 c 115s | 19 | 1977898 | 645982 | 910 1374 | 24 | 53 169.92/170.00 c 117s | 19 | 2014218 | 658382 | 910 1399 | 24 | 53 171.32/171.47 c 118s | 20 | 2039192 | 666827 | 910 1416 | 24 | 53 173.32/173.48 c 120s | 20 | 2076778 | 679027 | 910 1440 | 24 | 53 175.32/175.49 c 122s | 20 | 2111556 | 691327 | 910 1464 | 24 | 53 177.42/177.50 c 124s | 20 | 2146918 | 703527 | 910 1488 | 24 | 53 179.42/179.51 c 126s | 20 | 2181327 | 715727 | 910 1512 | 24 | 53 181.43/181.52 c 128s | 20 | 2215072 | 727527 | 910 1535 | 24 | 53 183.42/183.53 c 130s | 20 | 2247478 | 739127 | 1002 1556 | 24 | 53 185.42/185.53 c 132s | 20 | 2281383 | 751127 | 1002 1577 | 24 | 53 187.42/187.54 c 134s | 20 | 2316614 | 763027 | 1002 1599 | 24 | 53 189.42/189.55 c 136s | 20 | 2350050 | 774627 | 1002 1620 | 24 | 53 191.42/191.55 c 138s | 20 | 2383441 | 786127 | 1002 1641 | 24 | 53 193.41/193.56 c 140s | 20 | 2418192 | 797527 | 1002 1661 | 24 | 53 195.41/195.57 c 142s | 20 | 2452320 | 808927 | 1002 1682 | 24 | 53 197.41/197.57 c 144s | 20 | 2485333 | 820227 | 1002 1702 | 24 | 53 199.41/199.58 c 146s | 20 | 2516420 | 831727 | 1002 1723 | 24 | 53 201.41/201.59 c 148s | 20 | 2551164 | 843127 | 1002 1744 | 24 | 53 203.41/203.59 c 150s | 20 | 2582656 | 854427 | 1002 1764 | 24 | 53 205.51/205.60 c 152s | 20 | 2615709 | 865927 | 1002 1785 | 24 | 53 207.51/207.60 c 154s | 20 | 2648812 | 877427 | 1002 1806 | 24 | 53 209.50/209.62 c 156s | 20 | 2681991 | 889427 | 1002 1827 | 24 | 53 211.50/211.63 c 158s | 20 | 2713938 | 901127 | 1002 1849 | 24 | 53 213.50/213.65 c 160s | 20 | 2746374 | 912727 | 1002 1870 | 24 | 53 215.51/215.67 c 162s | 20 | 2778049 | 924327 | 1002 1891 | 24 | 53 217.51/217.68 c 164s | 20 | 2809534 | 935527 | 1002 1911 | 24 | 53 219.51/219.69 c 166s | 20 | 2843395 | 947027 | 1002 1932 | 24 | 53 221.51/221.69 c 168s | 20 | 2877268 | 958327 | 1002 1952 | 24 | 53 223.61/223.70 c 170s | 20 | 2911971 | 969727 | 1002 1973 | 24 | 53 225.60/225.70 c 172s | 20 | 2947143 | 981027 | 1002 1993 | 24 | 53 227.60/227.72 c 174s | 20 | 2980316 | 992327 | 1002 2014 | 24 | 53 229.00/229.14 c 176s | 21 | 3003898 | 1000345 | 1002 2028 | 24 | 53 231.00/231.14 c 178s | 21 | 3039233 | 1011645 | 1002 2048 | 24 | 53 232.99/233.16 c 180s | 21 | 3070814 | 1022845 | 1002 2069 | 24 | 53 234.99/235.16 c 182s | 21 | 3104927 | 1034145 | 1002 2089 | 24 | 53 236.99/237.18 c 184s | 21 | 3137862 | 1045245 | 1002 2109 | 24 | 53 238.99/239.19 c 186s | 21 | 3169012 | 1056545 | 1002 2129 | 24 | 53 241.09/241.20 c 188s | 21 | 3203436 | 1067645 | 1002 2149 | 24 | 53 243.10/243.21 c 190s | 21 | 3233801 | 1078845 | 1002 2169 | 24 | 53 245.09/245.22 c 192s | 21 | 3260961 | 1089845 | 1002 2189 | 24 | 53 247.09/247.23 c 194s | 21 | 3293023 | 1101145 | 1002 2210 | 24 | 53 249.08/249.23 c 196s | 21 | 3322063 | 1111945 | 1002 2229 | 24 | 53 251.08/251.24 c 198s | 21 | 3355985 | 1123445 | 1002 2250 | 24 | 53 253.08/253.24 c 200s | 21 | 3385648 | 1134745 | 1002 2270 | 24 | 53 255.09/255.24 c 202s | 21 | 3417486 | 1146245 | 1002 2291 | 24 | 53 257.08/257.25 c 204s | 21 | 3448260 | 1157445 | 1002 2311 | 24 | 53 259.08/259.26 c 206s | 21 | 3482315 | 1169045 | 1002 2332 | 24 | 53 261.08/261.26 c 208s | 21 | 3514518 | 1180345 | 1002 2353 | 24 | 53 263.08/263.27 c 210s | 21 | 3546031 | 1191545 | 1002 2373 | 24 | 53 265.09/265.27 c 212s | 21 | 3575374 | 1202845 | 1002 2393 | 24 | 53 267.08/267.28 c 214s | 21 | 3606399 | 1214345 | 1002 2414 | 24 | 53 269.08/269.28 c 216s | 21 | 3637225 | 1225845 | 1103 2434 | 24 | 53 271.07/271.29 c 218s | 21 | 3667502 | 1236945 | 1103 2453 | 24 | 53 273.17/273.30 c 220s | 21 | 3700739 | 1248345 | 1103 2472 | 24 | 53 275.17/275.31 c 222s | 21 | 3733133 | 1259345 | 1103 2490 | 24 | 53 277.18/277.31 c 224s | 21 | 3763704 | 1270345 | 1103 2508 | 24 | 53 279.17/279.33 c 226s | 21 | 3797983 | 1281545 | 1103 2527 | 24 | 53 281.18/281.34 c 228s | 21 | 3830142 | 1292545 | 1103 2545 | 24 | 53 283.18/283.35 c 230s | 21 | 3863440 | 1303745 | 1103 2564 | 24 | 53 285.18/285.35 c 232s | 21 | 3895524 | 1314745 | 1103 2582 | 24 | 53 287.18/287.37 c 234s | 21 | 3927241 | 1325845 | 1103 2600 | 24 | 53 289.18/289.38 c 236s | 21 | 3955919 | 1336545 | 1103 2618 | 24 | 53 291.17/291.38 c 238s | 21 | 3988717 | 1347245 | 1103 2636 | 24 | 53 293.17/293.38 c 240s | 21 | 4021147 | 1358245 | 1103 2654 | 24 | 53 295.27/295.40 c 242s | 21 | 4054759 | 1369445 | 1103 2673 | 24 | 53 297.27/297.41 c 244s | 21 | 4086482 | 1380345 | 1103 2691 | 24 | 53 299.27/299.41 c 246s | 21 | 4116437 | 1391445 | 1103 2709 | 24 | 53 301.28/301.43 c 248s | 21 | 4150084 | 1402245 | 1103 2727 | 24 | 53 303.27/303.44 c 250s | 21 | 4181142 | 1413145 | 1103 2745 | 24 | 53 305.27/305.45 c 252s | 21 | 4209588 | 1423445 | 1103 2762 | 24 | 53 307.27/307.46 c 254s | 21 | 4240867 | 1433945 | 1103 2779 | 24 | 53 309.26/309.48 c 256s | 21 | 4270310 | 1444345 | 1103 2797 | 24 | 53 311.27/311.49 c 258s | 21 | 4300295 | 1454645 | 1103 2814 | 24 | 53 313.26/313.49 c 260s | 21 | 4333308 | 1465745 | 1103 2832 | 24 | 53 315.36/315.50 c 262s | 21 | 4366363 | 1476745 | 1103 2850 | 24 | 53 317.36/317.51 c 264s | 21 | 4398110 | 1487945 | 1103 2869 | 24 | 53 319.35/319.51 c 266s | 21 | 4430809 | 1499145 | 1103 2887 | 24 | 53 319.55/319.77 c 266s | 22 | 4434670 | 1500622 | 1103 2890 | 24 | 53 321.55/321.78 c 268s | 22 | 4467746 | 1511922 | 1103 2908 | 24 | 53 323.55/323.78 c 270s | 22 | 4498137 | 1522722 | 1103 2926 | 24 | 53 325.56/325.78 c 272s | 22 | 4532089 | 1533722 | 1103 2944 | 24 | 53 327.55/327.79 c 274s | 22 | 4562592 | 1544722 | 1103 2962 | 24 | 53 329.65/329.80 c 276s | 22 | 4593907 | 1555922 | 1103 2981 | 24 | 53 331.65/331.80 c 278s | 22 | 4625074 | 1566922 | 1103 2999 | 24 | 53 333.65/333.81 c 280s | 22 | 4657316 | 1578222 | 1103 3018 | 24 | 53 335.65/335.83 c 282s | 22 | 4689585 | 1589522 | 1103 3037 | 24 | 53 337.65/337.85 c 284s | 22 | 4722853 | 1600922 | 1103 3055 | 24 | 53 339.64/339.85 c 286s | 22 | 4753972 | 1612022 | 1103 3074 | 24 | 53 341.64/341.87 c 288s | 22 | 4785930 | 1623122 | 1103 3092 | 24 | 53 343.64/343.88 c 291s | 22 | 4818658 | 1634322 | 1103 3111 | 24 | 53 345.64/345.88 c 293s | 22 | 4850622 | 1645322 | 1103 3129 | 24 | 53 347.64/347.89 c 295s | 22 | 4884443 | 1656422 | 1103 3147 | 24 | 53 349.65/349.89 c 297s | 22 | 4915822 | 1667522 | 1103 3166 | 24 | 53 351.74/351.90 c 299s | 22 | 4947938 | 1678622 | 1103 3184 | 24 | 53 353.74/353.92 c 301s | 22 | 4979539 | 1689522 | 1103 3202 | 24 | 53 355.74/355.93 c 303s | 22 | 5013523 | 1700422 | 1103 3221 | 24 | 53 357.74/357.95 c 305s | 22 | 5045943 | 1711422 | 1103 3239 | 24 | 53 359.74/359.95 c 307s | 22 | 5077458 | 1722522 | 1103 3257 | 24 | 53 361.74/361.96 c 309s | 22 | 5106573 | 1733722 | 1103 3275 | 24 | 53 363.74/363.98 c 311s | 22 | 5139758 | 1744822 | 1103 3294 | 24 | 53 365.74/365.98 c 313s | 22 | 5170519 | 1755822 | 1103 3312 | 24 | 53 367.73/367.99 c 315s | 22 | 5202021 | 1766622 | 1103 3330 | 24 | 53 369.83/370.00 c 317s | 22 | 5234336 | 1777522 | 1103 3348 | 24 | 53 371.83/372.01 c 319s | 22 | 5265411 | 1788222 | 1103 3366 | 24 | 53 373.84/374.01 c 321s | 22 | 5294307 | 1799022 | 1103 3383 | 24 | 53 375.83/376.01 c 323s | 22 | 5327310 | 1810022 | 1103 3402 | 24 | 53 377.83/378.03 c 325s | 22 | 5358741 | 1820822 | 1103 3419 | 24 | 53 379.83/380.03 c 327s | 22 | 5391002 | 1831822 | 1103 3438 | 24 | 53 381.83/382.05 c 329s | 22 | 5422775 | 1842522 | 1103 3455 | 24 | 53 383.83/384.06 c 331s | 22 | 5454874 | 1853422 | 1103 3474 | 24 | 53 385.82/386.08 c 333s | 22 | 5485414 | 1864422 | 1103 3492 | 24 | 53 387.83/388.08 c 335s | 22 | 5517763 | 1875222 | 1103 3510 | 24 | 53 389.83/390.09 c 337s | 22 | 5549408 | 1885822 | 1103 3527 | 24 | 53 391.93/392.11 c 339s | 22 | 5586502 | 1898022 | 1103 3547 | 24 | 53 393.93/394.12 c 341s | 22 | 5620609 | 1909922 | 1103 3567 | 24 | 53 395.94/396.13 c 343s | 22 | 5648996 | 1920722 | 1103 3585 | 24 | 53 397.92/398.14 c 345s | 22 | 5679547 | 1931522 | 1103 3603 | 24 | 53 399.92/400.14 c 347s | 22 | 5711637 | 1941922 | 1103 3620 | 24 | 53 401.92/402.15 c 349s | 22 | 5744181 | 1952422 | 1103 3637 | 24 | 53 403.92/404.17 c 351s | 22 | 5776906 | 1963522 | 1103 3656 | 24 | 53 405.92/406.18 c 353s | 22 | 5807469 | 1974022 | 1214 3672 | 24 | 53 407.93/408.18 c 355s | 22 | 5835489 | 1984422 | 1214 3688 | 24 | 53 409.92/410.18 c 357s | 22 | 5865490 | 1994822 | 1214 3704 | 24 | 53 412.02/412.20 c 359s | 22 | 5898813 | 2005322 | 1214 3720 | 24 | 53 414.02/414.21 c 361s | 22 | 5928790 | 2015722 | 1214 3736 | 24 | 53 416.02/416.21 c 363s | 22 | 5961639 | 2026422 | 1214 3752 | 24 | 53 418.01/418.21 c 365s | 22 | 5989935 | 2036622 | 1214 3767 | 24 | 53 420.02/420.23 c 367s | 22 | 6020139 | 2046922 | 1214 3783 | 24 | 53 422.01/422.24 c 369s | 22 | 6050706 | 2057322 | 1214 3799 | 24 | 53 424.01/424.25 c 371s | 22 | 6078400 | 2067722 | 1214 3815 | 24 | 53 426.01/426.26 c 373s | 22 | 6109477 | 2078022 | 1214 3830 | 24 | 53 428.00/428.26 c 375s | 22 | 6141818 | 2088822 | 1214 3847 | 24 | 53 430.01/430.27 c 377s | 22 | 6171279 | 2099522 | 1214 3863 | 24 | 53 432.00/432.27 c 379s | 22 | 6202612 | 2110122 | 1214 3879 | 24 | 53 434.00/434.29 c 381s | 22 | 6232051 | 2120622 | 1214 3895 | 24 | 53 436.10/436.30 c 383s | 22 | 6263342 | 2131222 | 1214 3911 | 24 | 53 438.10/438.32 c 385s | 22 | 6294595 | 2141722 | 1214 3927 | 24 | 53 440.10/440.34 c 387s | 22 | 6324361 | 2152422 | 1214 3943 | 24 | 53 442.10/442.34 c 389s | 22 | 6358150 | 2163122 | 1214 3959 | 24 | 53 444.09/444.36 c 391s | 22 | 6389456 | 2173722 | 1214 3975 | 24 | 53 446.09/446.37 c 393s | 22 | 6418952 | 2184122 | 1214 3991 | 24 | 53 448.09/448.38 c 395s | 22 | 6447069 | 2194622 | 1214 4007 | 24 | 53 450.19/450.40 c 397s | 22 | 6477624 | 2205222 | 1214 4023 | 24 | 53 452.19/452.42 c 399s | 22 | 6510184 | 2215722 | 1214 4039 | 24 | 53 454.20/454.43 c 401s | 22 | 6542063 | 2226222 | 1214 4055 | 24 | 53 456.19/456.45 c 403s | 22 | 6573619 | 2236922 | 1214 4071 | 24 | 53 458.19/458.47 c 405s | 22 | 6606414 | 2247322 | 1214 4087 | 24 | 53 458.89/459.17 c 406s | 23 | 6617232 | 2251038 | 1214 4092 | 24 | 53 460.88/461.19 c 408s | 23 | 6648303 | 2261538 | 1214 4108 | 24 | 53 462.89/463.20 c 410s | 23 | 6678493 | 2272238 | 1214 4124 | 24 | 53 464.98/465.20 c 412s | 23 | 6707722 | 2283038 | 1214 4141 | 24 | 53 466.98/467.21 c 414s | 23 | 6736767 | 2293638 | 1214 4157 | 24 | 53 468.98/469.23 c 416s | 23 | 6766945 | 2304038 | 1214 4172 | 24 | 53 470.98/471.24 c 418s | 23 | 6800795 | 2314938 | 1214 4189 | 24 | 53 472.98/473.26 c 420s | 23 | 6834174 | 2325638 | 1214 4205 | 24 | 53 474.99/475.27 c 422s | 23 | 6865772 | 2336538 | 1214 4221 | 24 | 53 476.99/477.27 c 424s | 23 | 6894213 | 2347238 | 1214 4238 | 24 | 53 478.99/479.28 c 426s | 23 | 6923055 | 2357338 | 1214 4253 | 24 | 53 480.99/481.28 c 428s | 23 | 6954910 | 2367938 | 1214 4269 | 24 | 53 482.99/483.28 c 430s | 23 | 6985268 | 2378238 | 1214 4284 | 24 | 53 484.99/485.29 c 432s | 23 | 7015016 | 2388538 | 1214 4300 | 24 | 53 486.99/487.30 c 434s | 23 | 7045613 | 2398938 | 1214 4316 | 24 | 53 489.08/489.32 c 436s | 23 | 7075455 | 2409338 | 1214 4332 | 24 | 53 491.08/491.33 c 438s | 23 | 7102622 | 2419538 | 1214 4347 | 24 | 53 493.08/493.33 c 440s | 23 | 7132203 | 2430138 | 1214 4363 | 24 | 53 495.08/495.33 c 442s | 23 | 7161247 | 2440438 | 1214 4379 | 24 | 53 497.09/497.34 c 444s | 23 | 7192367 | 2451038 | 1214 4395 | 24 | 53 499.07/499.36 c 446s | 23 | 7222943 | 2461538 | 1214 4411 | 24 | 53 501.07/501.36 c 448s | 23 | 7253968 | 2472038 | 1214 4427 | 24 | 53 503.07/503.39 c 450s | 23 | 7286075 | 2482838 | 1214 4443 | 24 | 53 505.17/505.40 c 452s | 23 | 7318365 | 2493538 | 1214 4459 | 24 | 53 507.17/507.41 c 454s | 23 | 7347887 | 2504238 | 1214 4475 | 24 | 53 509.18/509.43 c 456s | 23 | 7379957 | 2514938 | 1214 4492 | 24 | 53 511.17/511.44 c 458s | 23 | 7412122 | 2525638 | 1214 4508 | 24 | 53 513.17/513.44 c 460s | 23 | 7442215 | 2535938 | 1214 4523 | 24 | 53 515.17/515.44 c 462s | 23 | 7470568 | 2546438 | 1214 4539 | 24 | 53 517.17/517.45 c 464s | 23 | 7500149 | 2556738 | 1214 4555 | 24 | 53 519.17/519.46 c 466s | 23 | 7529916 | 2566938 | 1214 4570 | 24 | 53 521.17/521.48 c 468s | 23 | 7559190 | 2577038 | 1214 4586 | 24 | 53 523.16/523.49 c 470s | 23 | 7590648 | 2587738 | 1214 4602 | 24 | 53 525.26/525.50 c 472s | 23 | 7620188 | 2598438 | 1214 4618 | 24 | 53 527.26/527.51 c 474s | 23 | 7652217 | 2608938 | 1214 4634 | 24 | 53 529.26/529.51 c 476s | 23 | 7681775 | 2619038 | 1214 4649 | 24 | 53 531.26/531.53 c 478s | 23 | 7712947 | 2629738 | 1214 4665 | 24 | 53 533.26/533.54 c 480s | 23 | 7742921 | 2640138 | 1214 4681 | 24 | 53 535.26/535.56 c 482s | 23 | 7773537 | 2650338 | 1214 4696 | 24 | 53 537.26/537.58 c 484s | 23 | 7804708 | 2660438 | 1214 4712 | 24 | 53 539.25/539.59 c 486s | 23 | 7833995 | 2670738 | 1214 4727 | 24 | 53 541.25/541.59 c 488s | 23 | 7863266 | 2680938 | 1214 4743 | 24 | 53 543.26/543.60 c 490s | 23 | 7893652 | 2691438 | 1214 4759 | 24 | 53 545.36/545.61 c 492s | 23 | 7924182 | 2701838 | 1214 4774 | 24 | 53 547.35/547.62 c 494s | 23 | 7952335 | 2711938 | 1214 4790 | 24 | 53 549.34/549.63 c 496s | 23 | 7980706 | 2722138 | 1214 4805 | 24 | 53 551.34/551.63 c 498s | 23 | 8009279 | 2731938 | 1214 4820 | 24 | 53 553.34/553.63 c 500s | 23 | 8036733 | 2741738 | 1214 4835 | 24 | 53 555.35/555.63 c 502s | 23 | 8062858 | 2751438 | 1214 4850 | 24 | 53 557.34/557.64 c 504s | 23 | 8092279 | 2761338 | 1214 4865 | 24 | 53 559.34/559.65 c 506s | 23 | 8121642 | 2771338 | 1214 4880 | 24 | 53 561.34/561.67 c 508s | 23 | 8153440 | 2781638 | 1214 4895 | 24 | 53 563.34/563.68 c 510s | 23 | 8182072 | 2791738 | 1214 4911 | 24 | 53 565.44/565.70 c 512s | 23 | 8213582 | 2802438 | 1214 4927 | 24 | 53 567.44/567.71 c 514s | 23 | 8243238 | 2812738 | 1214 4942 | 24 | 53 569.43/569.72 c 516s | 23 | 8273254 | 2822638 | 1214 4957 | 24 | 53 571.43/571.74 c 518s | 23 | 8302643 | 2832738 | 1214 4973 | 24 | 53 573.43/573.75 c 520s | 23 | 8333316 | 2842938 | 1214 4988 | 24 | 53 575.43/575.75 c 522s | 23 | 8364684 | 2853738 | 1214 5004 | 24 | 53 577.43/577.76 c 524s | 23 | 8393760 | 2863938 | 1214 5020 | 24 | 53 579.43/579.77 c 526s | 23 | 8422840 | 2874138 | 1214 5035 | 24 | 53 581.43/581.77 c 528s | 23 | 8455891 | 2884638 | 1214 5051 | 24 | 53 583.43/583.78 c 530s | 23 | 8488155 | 2895138 | 1214 5067 | 24 | 53 585.53/585.81 c 532s | 23 | 8517756 | 2905438 | 1214 5083 | 24 | 53 587.53/587.82 c 534s | 23 | 8545923 | 2915338 | 1214 5098 | 24 | 53 589.53/589.83 c 536s | 23 | 8572754 | 2925238 | 1214 5113 | 24 | 53 591.54/591.84 c 538s | 23 | 8601435 | 2935438 | 1214 5128 | 24 | 53 593.53/593.85 c 540s | 23 | 8629916 | 2945338 | 1214 5143 | 24 | 53 595.53/595.87 c 542s | 23 | 8657177 | 2955338 | 1214 5158 | 24 | 53 597.53/597.87 c 544s | 23 | 8684077 | 2965138 | 1214 5173 | 24 | 53 599.52/599.87 c 546s | 23 | 8710658 | 2974738 | 1214 5188 | 24 | 53 601.53/601.89 c 549s | 23 | 8736262 | 2984438 | 1214 5202 | 24 | 53 603.52/603.89 c 551s | 23 | 8764708 | 2993838 | 1214 5217 | 24 | 53 605.62/605.90 c 553s | 23 | 8790299 | 3003138 | 1214 5231 | 24 | 53 607.62/607.90 c 555s | 23 | 8815996 | 3012438 | 1214 5245 | 24 | 53 609.62/609.90 c 557s | 23 | 8846838 | 3022838 | 1214 5261 | 24 | 53 611.62/611.91 c 559s | 23 | 8875356 | 3032538 | 1214 5275 | 24 | 53 613.62/613.92 c 561s | 23 | 8903259 | 3042338 | 1214 5290 | 24 | 53 615.62/615.93 c 563s | 23 | 8931939 | 3052138 | 1214 5305 | 24 | 53 617.61/617.95 c 565s | 23 | 8961675 | 3061938 | 1214 5320 | 24 | 53 619.61/619.95 c 567s | 23 | 8990167 | 3071538 | 1214 5334 | 24 | 53 621.61/621.96 c 569s | 23 | 9017928 | 3081338 | 1214 5349 | 24 | 53 623.61/623.96 c 571s | 23 | 9046618 | 3091238 | 1336 5364 | 24 | 53 625.62/625.97 c 573s | 23 | 9076113 | 3101038 | 1336 5377 | 24 | 53 627.61/627.98 c 575s | 23 | 9105635 | 3110738 | 1336 5391 | 24 | 53 629.61/629.98 c 577s | 23 | 9136388 | 3120538 | 1336 5404 | 24 | 53 631.61/631.98 c 579s | 23 | 9166830 | 3130338 | 1336 5418 | 24 | 53 633.60/633.99 c 581s | 23 | 9197074 | 3140138 | 1336 5431 | 24 | 53 635.61/635.99 c 583s | 23 | 9224181 | 3149738 | 1336 5445 | 24 | 53 637.71/638.01 c 585s | 23 | 9252364 | 3159238 | 1336 5458 | 24 | 53 639.70/640.02 c 587s | 23 | 9283493 | 3169138 | 1336 5471 | 24 | 53 641.70/642.04 c 589s | 23 | 9315555 | 3179038 | 1336 5485 | 24 | 53 643.70/644.04 c 591s | 23 | 9343976 | 3188738 | 1336 5499 | 24 | 53 645.70/646.05 c 593s | 23 | 9372605 | 3198238 | 1336 5512 | 24 | 53 647.70/648.06 c 595s | 23 | 9401104 | 3207838 | 1336 5525 | 24 | 53 649.69/650.07 c 597s | 23 | 9428331 | 3217638 | 1336 5538 | 24 | 53 651.69/652.09 c 599s | 23 | 9453703 | 3227238 | 1336 5552 | 24 | 53 653.69/654.09 c 601s | 23 | 9482981 | 3236638 | 1336 5565 | 24 | 53 655.79/656.11 c 603s | 23 | 9510624 | 3246438 | 1336 5578 | 24 | 53 657.79/658.11 c 605s | 23 | 9540023 | 3256038 | 1336 5592 | 24 | 53 659.79/660.12 c 607s | 23 | 9567057 | 3265238 | 1336 5604 | 24 | 53 661.79/662.12 c 609s | 23 | 9596001 | 3274538 | 1336 5617 | 24 | 53 663.79/664.14 c 611s | 23 | 9625818 | 3283938 | 1336 5630 | 24 | 53 665.78/666.14 c 613s | 23 | 9654740 | 3293738 | 1336 5644 | 24 | 53 667.78/668.15 c 615s | 23 | 9681943 | 3303238 | 1336 5657 | 24 | 53 669.78/670.15 c 617s | 23 | 9710196 | 3312938 | 1336 5670 | 24 | 53 671.78/672.17 c 619s | 23 | 9741384 | 3323138 | 1336 5684 | 24 | 53 673.78/674.18 c 621s | 23 | 9772367 | 3332938 | 1336 5698 | 24 | 53 675.78/676.19 c 623s | 23 | 9801335 | 3342538 | 1336 5711 | 24 | 53 677.88/678.21 c 625s | 23 | 9828565 | 3351938 | 1336 5724 | 24 | 53 679.88/680.23 c 627s | 23 | 9857229 | 3361438 | 1336 5737 | 24 | 53 681.88/682.25 c 629s | 23 | 9886480 | 3370938 | 1336 5751 | 24 | 53 683.08/683.45 c 630s | 24 | 9902651 | 3376662 | 1336 5758 | 24 | 53 685.08/685.46 c 632s | 24 | 9935732 | 3387562 | 1336 5773 | 24 | 53 687.08/687.47 c 634s | 24 | 9968720 | 3399062 | 1336 5789 | 24 | 53 689.07/689.47 c 636s | 24 | 10001480 | 3410162 | 1336 5805 | 24 | 53 691.07/691.47 c 638s | 24 | 10033541 | 3421162 | 1336 5820 | 24 | 53 693.07/693.48 c 640s | 24 | 10067917 | 3432262 | 1336 5835 | 24 | 53 695.07/695.49 c 642s | 24 | 10098062 | 3442562 | 1336 5849 | 24 | 53 697.08/697.49 c 644s | 24 | 10128562 | 3452762 | 1336 5863 | 24 | 53 699.17/699.50 c 646s | 24 | 10156834 | 3462762 | 1336 5877 | 24 | 53 701.17/701.50 c 648s | 24 | 10183729 | 3472762 | 1336 5891 | 24 | 53 703.17/703.51 c 650s | 24 | 10213882 | 3483162 | 1336 5905 | 24 | 53 705.17/705.52 c 652s | 24 | 10243975 | 3493562 | 1336 5919 | 24 | 53 707.17/707.54 c 654s | 24 | 10273436 | 3503662 | 1336 5933 | 24 | 53 709.17/709.54 c 656s | 24 | 10302551 | 3513562 | 1336 5947 | 24 | 53 711.17/711.56 c 658s | 24 | 10334205 | 3523462 | 1336 5961 | 24 | 53 713.17/713.57 c 660s | 24 | 10363750 | 3533662 | 1336 5975 | 24 | 53 715.16/715.59 c 662s | 24 | 10393916 | 3543862 | 1336 5989 | 24 | 53 717.26/717.61 c 664s | 24 | 10423976 | 3554062 | 1336 6003 | 24 | 53 719.26/719.62 c 666s | 24 | 10454126 | 3564062 | 1336 6017 | 24 | 53 721.27/721.63 c 668s | 24 | 10484616 | 3574062 | 1336 6031 | 24 | 53 723.26/723.63 c 670s | 24 | 10515887 | 3584262 | 1336 6045 | 24 | 53 725.26/725.63 c 672s | 24 | 10543544 | 3594762 | 1336 6059 | 24 | 53 727.26/727.63 c 674s | 24 | 10572209 | 3604962 | 1336 6073 | 24 | 53 729.26/729.65 c 676s | 24 | 10601917 | 3615462 | 1336 6088 | 24 | 53 731.27/731.65 c 678s | 24 | 10633592 | 3625562 | 1336 6102 | 24 | 53 733.26/733.66 c 680s | 24 | 10661841 | 3635562 | 1336 6115 | 24 | 53 735.26/735.66 c 682s | 24 | 10692199 | 3645562 | 1336 6129 | 24 | 53 737.26/737.68 c 684s | 24 | 10719064 | 3655462 | 1336 6143 | 24 | 53 739.36/739.70 c 686s | 24 | 10748205 | 3665762 | 1336 6157 | 24 | 53 741.36/741.72 c 688s | 24 | 10777305 | 3675862 | 1336 6171 | 24 | 53 743.37/743.74 c 690s | 24 | 10805686 | 3686062 | 1336 6185 | 24 | 53 745.36/745.75 c 692s | 24 | 10835165 | 3696162 | 1336 6199 | 24 | 53 747.36/747.77 c 694s | 24 | 10867228 | 3706462 | 1336 6213 | 24 | 53 749.36/749.77 c 696s | 24 | 10899055 | 3716662 | 1336 6227 | 24 | 53 751.36/751.78 c 698s | 24 | 10930217 | 3726762 | 1336 6241 | 24 | 53 753.36/753.79 c 700s | 24 | 10961913 | 3736862 | 1336 6255 | 24 | 53 755.37/755.79 c 702s | 24 | 10992212 | 3746962 | 1336 6269 | 24 | 53 757.46/757.81 c 704s | 24 | 11023685 | 3757162 | 1336 6283 | 24 | 53 759.46/759.82 c 706s | 24 | 11051381 | 3767362 | 1336 6297 | 24 | 53 761.46/761.84 c 708s | 24 | 11081266 | 3777562 | 1336 6311 | 24 | 53 763.46/763.86 c 710s | 24 | 11111659 | 3787762 | 1336 6325 | 24 | 53 765.46/765.86 c 712s | 24 | 11141245 | 3797762 | 1336 6339 | 24 | 53 767.46/767.88 c 715s | 24 | 11171323 | 3808162 | 1336 6353 | 24 | 53 769.46/769.88 c 717s | 24 | 11201257 | 3818262 | 1336 6367 | 24 | 53 771.46/771.88 c 719s | 24 | 11229535 | 3828362 | 1336 6381 | 24 | 53 773.46/773.89 c 721s | 24 | 11256538 | 3838362 | 1336 6395 | 24 | 53 775.56/775.90 c 723s | 24 | 11283082 | 3848262 | 1336 6409 | 24 | 53 777.55/777.91 c 725s | 24 | 11311006 | 3858462 | 1336 6423 | 24 | 53 779.56/779.91 c 727s | 24 | 11338727 | 3868662 | 1336 6437 | 24 | 53 781.55/781.92 c 729s | 24 | 11367339 | 3878562 | 1336 6451 | 24 | 53 783.55/783.94 c 731s | 24 | 11395286 | 3888662 | 1336 6465 | 24 | 53 785.55/785.95 c 733s | 24 | 11424196 | 3898662 | 1336 6478 | 24 | 53 787.55/787.95 c 735s | 24 | 11451251 | 3908662 | 1336 6492 | 24 | 53 789.56/789.98 c 737s | 24 | 11479641 | 3918762 | 1336 6506 | 24 | 53 791.55/792.00 c 739s | 24 | 11510249 | 3928862 | 1336 6520 | 24 | 53 793.65/794.00 c 741s | 24 | 11536699 | 3938762 | 1336 6534 | 24 | 53 795.65/796.01 c 743s | 24 | 11566189 | 3949062 | 1336 6548 | 24 | 53 797.65/798.01 c 745s | 24 | 11595095 | 3959062 | 1336 6562 | 24 | 53 799.66/800.02 c 747s | 24 | 11625979 | 3968762 | 1336 6575 | 24 | 53 801.66/802.03 c 749s | 24 | 11654097 | 3978562 | 1336 6589 | 24 | 53 803.66/804.04 c 751s | 24 | 11682273 | 3988662 | 1336 6603 | 24 | 53 805.66/806.06 c 753s | 24 | 11710772 | 3998862 | 1336 6617 | 24 | 53 807.66/808.06 c 755s | 24 | 11738157 | 4008662 | 1336 6630 | 24 | 53 809.66/810.07 c 757s | 24 | 11767857 | 4018562 | 1336 6644 | 24 | 53 811.66/812.07 c 759s | 24 | 11797010 | 4028362 | 1336 6658 | 24 | 53 813.66/814.08 c 761s | 24 | 11826424 | 4038462 | 1336 6672 | 24 | 53 815.65/816.09 c 763s | 24 | 11856909 | 4048462 | 1336 6685 | 24 | 53 817.75/818.10 c 765s | 24 | 11886140 | 4058162 | 1336 6699 | 24 | 53 819.75/820.11 c 767s | 24 | 11914488 | 4068162 | 1336 6713 | 24 | 53 821.75/822.12 c 769s | 24 | 11945247 | 4077962 | 1336 6726 | 24 | 53 823.75/824.13 c 771s | 24 | 11975125 | 4087962 | 1336 6740 | 24 | 53 825.76/826.15 c 773s | 24 | 12000862 | 4097762 | 1336 6754 | 24 | 53 827.75/828.15 c 775s | 24 | 12030133 | 4107862 | 1336 6767 | 24 | 53 829.75/830.18 c 777s | 24 | 12058867 | 4118062 | 1336 6782 | 24 | 53 831.75/832.18 c 779s | 24 | 12089559 | 4127962 | 1336 6795 | 24 | 53 833.85/834.20 c 781s | 24 | 12118745 | 4137962 | 1336 6809 | 24 | 53 835.85/836.20 c 783s | 24 | 12148609 | 4148262 | 1336 6823 | 24 | 53 837.75/838.20 c 785s | 24 | 12179287 | 4158462 | 1336 6837 | 24 | 53 839.85/840.20 c 787s | 24 | 12208342 | 4168562 | 1336 6851 | 24 | 53 841.85/842.22 c 789s | 24 | 12237442 | 4178462 | 1336 6865 | 24 | 53 843.85/844.23 c 791s | 24 | 12265147 | 4188562 | 1336 6879 | 24 | 53 845.85/846.25 c 793s | 24 | 12294765 | 4198362 | 1336 6892 | 24 | 53 847.85/848.25 c 795s | 24 | 12323785 | 4208362 | 1336 6906 | 24 | 53 849.84/850.26 c 797s | 24 | 12352875 | 4218462 | 1336 6920 | 24 | 53 851.84/852.26 c 799s | 24 | 12381301 | 4228262 | 1336 6934 | 24 | 53 853.84/854.28 c 801s | 24 | 12410702 | 4238162 | 1336 6948 | 24 | 53 855.84/856.28 c 803s | 24 | 12439323 | 4248062 | 1336 6961 | 24 | 53 857.84/858.29 c 805s | 24 | 12467766 | 4257762 | 1336 6975 | 24 | 53 859.85/860.29 c 807s | 24 | 12497333 | 4267962 | 1336 6989 | 24 | 53 861.94/862.31 c 809s | 24 | 12524802 | 4277862 | 1336 7003 | 24 | 53 863.94/864.31 c 811s | 24 | 12552407 | 4287662 | 1336 7016 | 24 | 53 865.94/866.33 c 813s | 24 | 12583064 | 4297862 | 1336 7030 | 24 | 53 867.94/868.34 c 815s | 24 | 12610437 | 4307962 | 1336 7044 | 24 | 53 869.94/870.34 c 817s | 24 | 12638772 | 4318162 | 1336 7058 | 24 | 53 871.95/872.36 c 819s | 24 | 12666118 | 4328162 | 1336 7072 | 24 | 53 873.94/874.36 c 821s | 24 | 12695889 | 4338162 | 1336 7086 | 24 | 53 875.94/876.38 c 823s | 24 | 12726704 | 4348162 | 1336 7100 | 24 | 53 877.94/878.38 c 825s | 24 | 12757733 | 4358162 | 1336 7113 | 24 | 53 879.94/880.39 c 827s | 24 | 12788038 | 4368362 | 1336 7128 | 24 | 53 882.04/882.41 c 829s | 24 | 12819325 | 4378462 | 1336 7142 | 24 | 53 884.04/884.41 c 831s | 24 | 12848822 | 4388462 | 1336 7155 | 24 | 53 886.04/886.41 c 833s | 24 | 12877817 | 4398462 | 1336 7169 | 24 | 53 888.04/888.42 c 835s | 24 | 12906950 | 4408262 | 1336 7183 | 24 | 53 890.03/890.44 c 837s | 24 | 12934784 | 4418262 | 1336 7197 | 24 | 53 892.04/892.46 c 839s | 24 | 12962661 | 4428062 | 1336 7210 | 24 | 53 894.05/894.47 c 841s | 24 | 12990595 | 4437862 | 1336 7224 | 24 | 53 896.04/896.47 c 843s | 24 | 13019238 | 4447462 | 1336 7237 | 24 | 53 898.04/898.47 c 845s | 24 | 13045665 | 4457062 | 1336 7250 | 24 | 53 900.04/900.48 c 847s | 24 | 13074026 | 4466762 | 1336 7264 | 24 | 53 902.14/902.50 c 849s | 24 | 13100750 | 4476562 | 1336 7277 | 24 | 53 904.14/904.52 c 851s | 24 | 13129026 | 4486162 | 1336 7291 | 24 | 53 906.15/906.53 c 853s | 24 | 13156292 | 4495862 | 1336 7304 | 24 | 53 908.14/908.53 c 855s | 24 | 13183721 | 4505662 | 1336 7318 | 24 | 53 910.14/910.54 c 857s | 24 | 13213190 | 4515462 | 1336 7331 | 24 | 53 912.14/912.56 c 859s | 24 | 13239818 | 4525162 | 1336 7345 | 24 | 53 914.14/914.57 c 861s | 24 | 13265178 | 4534562 | 1336 7358 | 24 | 53 916.13/916.58 c 863s | 24 | 13292490 | 4544562 | 1336 7371 | 24 | 53 918.14/918.60 c 865s | 24 | 13321874 | 4554562 | 1336 7385 | 24 | 53 920.23/920.61 c 867s | 24 | 13351228 | 4564762 | 1336 7399 | 24 | 53 922.23/922.62 c 869s | 24 | 13382110 | 4574662 | 1336 7413 | 24 | 53 924.23/924.63 c 871s | 24 | 13411626 | 4584562 | 1336 7427 | 24 | 53 926.23/926.64 c 873s | 24 | 13442394 | 4594262 | 1336 7440 | 24 | 53 928.23/928.65 c 875s | 24 | 13472824 | 4604062 | 1336 7454 | 24 | 53 930.24/930.66 c 877s | 24 | 13501964 | 4613962 | 1336 7467 | 24 | 53 932.23/932.68 c 879s | 24 | 13531263 | 4623962 | 1336 7481 | 24 | 53 934.33/934.70 c 881s | 24 | 13560306 | 4633862 | 1336 7495 | 24 | 53 936.33/936.70 c 883s | 24 | 13586291 | 4643362 | 1336 7508 | 24 | 53 938.33/938.71 c 885s | 24 | 13614932 | 4652862 | 1336 7521 | 24 | 53 940.33/940.73 c 887s | 24 | 13642156 | 4662562 | 1336 7535 | 24 | 53 942.34/942.74 c 889s | 24 | 13671756 | 4672162 | 1336 7548 | 24 | 53 944.33/944.75 c 891s | 24 | 13698164 | 4681762 | 1336 7561 | 24 | 53 946.33/946.76 c 893s | 24 | 13726686 | 4691462 | 1336 7575 | 24 | 53 948.33/948.77 c 895s | 24 | 13754138 | 4700962 | 1336 7588 | 24 | 53 950.33/950.77 c 897s | 24 | 13783574 | 4710562 | 1336 7601 | 24 | 53 952.43/952.81 c 899s | 24 | 13811005 | 4720162 | 1336 7615 | 24 | 53 954.43/954.82 c 901s | 24 | 13841825 | 4730062 | 1336 7628 | 24 | 53 956.43/956.83 c 903s | 24 | 13871105 | 4739662 | 1336 7641 | 24 | 53 958.43/958.83 c 905s | 24 | 13898276 | 4749462 | 1336 7655 | 24 | 53 960.43/960.84 c 907s | 24 | 13925157 | 4758962 | 1336 7668 | 24 | 53 962.43/962.86 c 909s | 24 | 13952674 | 4768462 | 1470 7681 | 24 | 53 964.44/964.87 c 911s | 24 | 13978596 | 4777562 | 1470 7692 | 24 | 53 966.43/966.87 c 913s | 24 | 14006821 | 4787062 | 1470 7704 | 24 | 53 968.43/968.88 c 916s | 24 | 14035002 | 4796662 | 1470 7716 | 24 | 53 970.43/970.89 c 918s | 24 | 14065079 | 4806062 | 1470 7728 | 24 | 53 972.43/972.89 c 920s | 24 | 14094864 | 4815662 | 1470 7741 | 24 | 53 974.53/974.91 c 922s | 24 | 14121635 | 4825062 | 1470 7752 | 24 | 53 976.54/976.93 c 924s | 24 | 14146929 | 4834462 | 1470 7764 | 24 | 53 978.53/978.94 c 926s | 24 | 14174788 | 4843962 | 1470 7776 | 24 | 53 980.53/980.96 c 928s | 24 | 14201518 | 4853662 | 1470 7789 | 24 | 53 982.53/982.97 c 930s | 24 | 14228614 | 4862962 | 1470 7800 | 24 | 53 984.53/984.98 c 932s | 24 | 14256104 | 4872162 | 1470 7812 | 24 | 53 986.53/986.98 c 934s | 24 | 14285244 | 4881162 | 1470 7823 | 24 | 53 988.53/988.99 c 936s | 24 | 14311658 | 4890762 | 1470 7836 | 24 | 53 990.62/991.00 c 938s | 24 | 14337239 | 4900362 | 1470 7848 | 24 | 53 992.62/993.01 c 940s | 24 | 14362561 | 4909762 | 1470 7860 | 24 | 53 994.62/995.03 c 942s | 24 | 14388411 | 4919262 | 1470 7872 | 24 | 53 996.62/997.05 c 944s | 24 | 14413694 | 4928462 | 1470 7883 | 24 | 53 998.62/999.07 c 946s | 24 | 14438257 | 4937262 | 1470 7894 | 24 | 53 1000.63/1001.08 c 948s | 24 | 14464202 | 4946362 | 1470 7906 | 24 | 53 1002.62/1003.09 c 950s | 24 | 14491372 | 4955562 | 1470 7918 | 24 | 53 1004.62/1005.09 c 952s | 24 | 14518384 | 4964862 | 1470 7929 | 24 | 53 1006.72/1007.11 c 954s | 24 | 14545741 | 4974262 | 1470 7941 | 24 | 53 1008.72/1009.13 c 956s | 24 | 14571358 | 4983362 | 1470 7953 | 24 | 53 1010.72/1011.14 c 958s | 24 | 14596294 | 4992462 | 1470 7964 | 24 | 53 1012.72/1013.14 c 960s | 24 | 14622903 | 5001462 | 1470 7976 | 24 | 53 1014.72/1015.14 c 962s | 24 | 14649730 | 5010662 | 1470 7987 | 24 | 53 1016.72/1017.17 c 964s | 24 | 14676727 | 5019862 | 1470 7999 | 24 | 53 1018.72/1019.17 c 966s | 24 | 14701879 | 5028862 | 1470 8010 | 24 | 53 1020.72/1021.18 c 968s | 24 | 14728969 | 5038062 | 1470 8022 | 24 | 53 1022.82/1023.20 c 970s | 24 | 14756665 | 5047062 | 1470 8033 | 24 | 53 1024.83/1025.20 c 972s | 24 | 14784307 | 5056162 | 1470 8045 | 24 | 53 1026.72/1027.12 c 974s | 25 | 14809874 | 5065098 | 1470 8056 | 24 | 53 1028.72/1029.13 c 976s | 25 | 14836328 | 5074698 | 1470 8068 | 24 | 53 1030.72/1031.14 c 978s | 25 | 14866607 | 5084998 | 1470 8081 | 24 | 53 1032.72/1033.15 c 980s | 25 | 14897398 | 5094898 | 1470 8094 | 24 | 53 1034.73/1035.15 c 982s | 25 | 14926730 | 5104898 | 1470 8106 | 24 | 53 1036.72/1037.17 c 984s | 25 | 14954443 | 5114798 | 1470 8119 | 24 | 53 1038.72/1039.19 c 986s | 25 | 14984065 | 5124798 | 1470 8131 | 24 | 53 1040.82/1041.20 c 988s | 25 | 15012427 | 5134298 | 1470 8143 | 24 | 53 1042.82/1043.22 c 990s | 25 | 15040227 | 5143798 | 1470 8155 | 24 | 53 1044.82/1045.23 c 992s | 25 | 15066504 | 5153398 | 1470 8167 | 24 | 53 1046.82/1047.24 c 994s | 25 | 15093713 | 5162998 | 1470 8180 | 24 | 53 1048.82/1049.24 c 996s | 25 | 15122944 | 5172798 | 1470 8192 | 24 | 53 1050.81/1051.25 c 998s | 25 | 15154395 | 5182598 | 1470 8204 | 24 | 53 1052.81/1053.26 c 1000s | 25 | 15185800 | 5192298 | 1470 8217 | 24 | 53 1054.81/1055.27 c 1002s | 25 | 15214408 | 5201698 | 1470 8228 | 24 | 53 1056.82/1057.28 c 1004s | 25 | 15242188 | 5211498 | 1470 8241 | 24 | 53 1058.81/1059.28 c 1006s | 25 | 15271187 | 5220898 | 1470 8253 | 24 | 53 1060.81/1061.29 c 1008s | 25 | 15300790 | 5230798 | 1470 8265 | 24 | 53 1062.91/1063.31 c 1010s | 25 | 15328076 | 5239998 | 1470 8277 | 24 | 53 1064.91/1065.33 c 1012s | 25 | 15358201 | 5249898 | 1470 8289 | 24 | 53 1066.91/1067.35 c 1014s | 25 | 15386340 | 5259398 | 1470 8301 | 24 | 53 1068.92/1069.35 c 1016s | 25 | 15414764 | 5268898 | 1470 8313 | 24 | 53 1070.91/1071.36 c 1018s | 25 | 15444407 | 5278398 | 1470 8325 | 24 | 53 1072.91/1073.36 c 1020s | 25 | 15473846 | 5288398 | 1470 8338 | 24 | 53 1074.91/1075.38 c 1022s | 25 | 15504036 | 5298798 | 1470 8351 | 24 | 53 1076.91/1077.39 c 1024s | 25 | 15532592 | 5308898 | 1470 8364 | 24 | 53 1078.92/1079.39 c 1026s | 25 | 15563061 | 5318998 | 1470 8376 | 24 | 53 1081.02/1081.42 c 1028s | 25 | 15591211 | 5328698 | 1470 8389 | 24 | 53 1083.01/1083.42 c 1030s | 25 | 15616495 | 5338098 | 1470 8400 | 24 | 53 1085.01/1085.43 c 1032s | 25 | 15643386 | 5347398 | 1470 8412 | 24 | 53 1087.01/1087.43 c 1034s | 25 | 15667840 | 5356798 | 1470 8424 | 24 | 53 1089.01/1089.45 c 1036s | 25 | 15696849 | 5366398 | 1470 8436 | 24 | 53 1091.01/1091.46 c 1038s | 25 | 15723943 | 5375698 | 1470 8448 | 24 | 53 1093.01/1093.47 c 1040s | 25 | 15750802 | 5384998 | 1470 8460 | 24 | 53 1095.01/1095.48 c 1042s | 25 | 15780852 | 5394498 | 1470 8472 | 24 | 53 1097.01/1097.48 c 1044s | 25 | 15809955 | 5404498 | 1470 8484 | 24 | 53 1099.01/1099.49 c 1046s | 25 | 15838154 | 5414198 | 1470 8496 | 24 | 53 1101.01/1101.49 c 1048s | 25 | 15866075 | 5423998 | 1470 8509 | 24 | 53 1103.11/1103.51 c 1050s | 25 | 15893907 | 5433798 | 1470 8521 | 24 | 53 1105.11/1105.52 c 1052s | 25 | 15922426 | 5443498 | 1470 8533 | 24 | 53 1107.10/1107.52 c 1054s | 25 | 15949287 | 5452898 | 1470 8545 | 24 | 53 1109.10/1109.54 c 1056s | 25 | 15977121 | 5462598 | 1470 8557 | 24 | 53 1111.10/1111.55 c 1058s | 25 | 16004189 | 5472298 | 1470 8570 | 24 | 53 1113.10/1113.55 c 1060s | 25 | 16032232 | 5481898 | 1470 8582 | 24 | 53 1115.11/1115.55 c 1062s | 25 | 16060234 | 5491498 | 1470 8594 | 24 | 53 1117.10/1117.55 c 1064s | 25 | 16088856 | 5501098 | 1470 8606 | 24 | 53 1119.10/1119.57 c 1066s | 25 | 16118329 | 5510998 | 1470 8619 | 24 | 53 1121.10/1121.58 c 1068s | 25 | 16147755 | 5520598 | 1470 8631 | 24 | 53 1123.20/1123.60 c 1070s | 25 | 16175248 | 5530198 | 1470 8643 | 24 | 53 1125.20/1125.63 c 1072s | 25 | 16203066 | 5539798 | 1470 8655 | 24 | 53 1127.21/1127.64 c 1074s | 25 | 16230640 | 5549298 | 1470 8667 | 24 | 53 1129.20/1129.66 c 1076s | 25 | 16257920 | 5558798 | 1470 8679 | 24 | 53 1131.20/1131.67 c 1078s | 25 | 16287575 | 5568298 | 1470 8691 | 24 | 53 1133.20/1133.68 c 1080s | 25 | 16315396 | 5577898 | 1470 8703 | 24 | 53 1135.20/1135.69 c 1082s | 25 | 16342871 | 5587598 | 1470 8715 | 24 | 53 1137.30/1137.70 c 1084s | 25 | 16368131 | 5597098 | 1470 8727 | 24 | 53 1139.30/1139.71 c 1086s | 25 | 16396011 | 5606698 | 1470 8739 | 24 | 53 1141.30/1141.72 c 1088s | 25 | 16424581 | 5616198 | 1470 8751 | 24 | 53 1143.30/1143.72 c 1090s | 25 | 16450032 | 5625798 | 1470 8764 | 24 | 53 1145.30/1145.74 c 1092s | 25 | 16476171 | 5635298 | 1470 8776 | 24 | 53 1147.30/1147.75 c 1094s | 25 | 16502355 | 5645098 | 1470 8788 | 24 | 53 1149.30/1149.76 c 1096s | 25 | 16527306 | 5654698 | 1470 8800 | 24 | 53 1151.30/1151.77 c 1098s | 25 | 16554809 | 5664598 | 1470 8812 | 24 | 53 1153.30/1153.77 c 1100s | 25 | 16581480 | 5674598 | 1470 8825 | 24 | 53 1155.30/1155.78 c 1102s | 25 | 16609761 | 5684398 | 1470 8837 | 24 | 53 1157.30/1157.78 c 1104s | 25 | 16637636 | 5694398 | 1470 8850 | 24 | 53 1159.40/1159.80 c 1106s | 25 | 16665134 | 5704498 | 1470 8863 | 24 | 53 1161.40/1161.82 c 1108s | 25 | 16691961 | 5714098 | 1470 8875 | 24 | 53 1163.41/1163.84 c 1110s | 25 | 16720670 | 5724198 | 1470 8888 | 24 | 53 1165.40/1165.84 c 1112s | 25 | 16747521 | 5733998 | 1470 8900 | 24 | 53 1167.40/1167.85 c 1114s | 25 | 16774636 | 5743798 | 1470 8912 | 24 | 53 1169.40/1169.86 c 1116s | 25 | 16801945 | 5753398 | 1470 8925 | 24 | 53 1171.40/1171.86 c 1118s | 25 | 16829173 | 5762998 | 1470 8937 | 24 | 53 1173.41/1173.88 c 1121s | 25 | 16853788 | 5772198 | 1470 8948 | 24 | 53 1175.40/1175.89 c 1123s | 25 | 16880051 | 5781798 | 1470 8960 | 24 | 53 1177.50/1177.91 c 1125s | 25 | 16905741 | 5791298 | 1470 8972 | 24 | 53 1179.50/1179.92 c 1127s | 25 | 16931904 | 5800698 | 1470 8984 | 24 | 53 1181.50/1181.93 c 1129s | 25 | 16957788 | 5810298 | 1470 8996 | 24 | 53 1183.50/1183.94 c 1131s | 25 | 16984781 | 5819798 | 1470 9008 | 24 | 53 1185.50/1185.96 c 1133s | 25 | 17011813 | 5829198 | 1470 9020 | 24 | 53 1187.49/1187.96 c 1135s | 25 | 17038287 | 5838598 | 1470 9032 | 24 | 53 1189.49/1189.96 c 1137s | 25 | 17065490 | 5848198 | 1470 9044 | 24 | 53 1191.49/1191.97 c 1139s | 25 | 17092302 | 5857998 | 1470 9057 | 24 | 53 1193.49/1193.97 c 1141s | 25 | 17117575 | 5867498 | 1470 9069 | 24 | 53 1195.49/1195.99 c 1143s | 25 | 17143371 | 5876998 | 1470 9081 | 24 | 53 1197.50/1197.99 c 1145s | 25 | 17168709 | 5886598 | 1470 9093 | 24 | 53 1199.59/1200.00 c 1147s | 25 | 17194984 | 5896198 | 1470 9105 | 24 | 53 1201.59/1202.02 c 1149s | 25 | 17221302 | 5905798 | 1470 9117 | 24 | 53 1203.59/1204.04 c 1151s | 25 | 17246428 | 5915498 | 1470 9129 | 24 | 53 1205.59/1206.06 c 1153s | 25 | 17273828 | 5925198 | 1470 9142 | 24 | 53 1207.59/1208.08 c 1155s | 25 | 17303016 | 5934998 | 1470 9154 | 24 | 53 1209.60/1210.10 c 1157s | 25 | 17329283 | 5944798 | 1470 9166 | 24 | 53 1211.69/1212.12 c 1159s | 25 | 17356751 | 5954398 | 1470 9179 | 24 | 53 1213.69/1214.13 c 1161s | 25 | 17383092 | 5964398 | 1470 9191 | 24 | 53 1215.69/1216.14 c 1163s | 25 | 17411716 | 5973898 | 1470 9203 | 24 | 53 1217.68/1218.14 c 1165s | 25 | 17435040 | 5983298 | 1470 9215 | 24 | 53 1219.68/1220.16 c 1167s | 25 | 17462066 | 5992498 | 1470 9227 | 24 | 53 1221.69/1222.16 c 1169s | 25 | 17485418 | 6001298 | 1470 9238 | 24 | 53 1223.69/1224.17 c 1171s | 25 | 17512936 | 6010598 | 1470 9250 | 24 | 53 1225.69/1226.17 c 1173s | 25 | 17539310 | 6019898 | 1470 9261 | 24 | 53 1227.69/1228.18 c 1175s | 25 | 17564486 | 6028898 | 1470 9273 | 24 | 53 1229.79/1230.20 c 1177s | 25 | 17591592 | 6038198 | 1470 9284 | 24 | 53 1231.79/1232.21 c 1179s | 25 | 17620482 | 6047598 | 1470 9296 | 24 | 53 1233.80/1234.23 c 1181s | 25 | 17645895 | 6056798 | 1470 9308 | 24 | 53 1235.79/1236.24 c 1183s | 25 | 17671537 | 6065798 | 1470 9319 | 24 | 53 1237.79/1238.25 c 1185s | 25 | 17700010 | 6075198 | 1470 9331 | 24 | 53 1239.79/1240.27 c 1187s | 25 | 17726482 | 6084298 | 1470 9343 | 24 | 53 1241.79/1242.27 c 1189s | 25 | 17751137 | 6093598 | 1470 9354 | 24 | 53 1243.79/1244.29 c 1191s | 25 | 17777897 | 6102898 | 1470 9366 | 24 | 53 1245.89/1246.31 c 1193s | 25 | 17804864 | 6112198 | 1470 9378 | 24 | 53 1247.89/1248.32 c 1195s | 25 | 17831520 | 6121498 | 1470 9390 | 24 | 53 1249.89/1250.33 c 1197s | 25 | 17857247 | 6130798 | 1470 9402 | 24 | 53 1251.89/1252.35 c 1199s | 25 | 17886121 | 6139898 | 1470 9413 | 24 | 53 1253.89/1254.35 c 1201s | 25 | 17913714 | 6149198 | 1470 9425 | 24 | 53 1255.89/1256.36 c 1203s | 25 | 17939180 | 6158598 | 1470 9437 | 24 | 53 1257.88/1258.37 c 1205s | 25 | 17964875 | 6168198 | 1470 9449 | 24 | 53 1259.88/1260.38 c 1207s | 25 | 17990886 | 6177598 | 1470 9461 | 24 | 53 1261.88/1262.40 c 1209s | 25 | 18016883 | 6186998 | 1470 9473 | 24 | 53 1263.98/1264.40 c 1211s | 25 | 18041870 | 6196298 | 1470 9484 | 24 | 53 1265.98/1266.41 c 1213s | 25 | 18068804 | 6205798 | 1470 9496 | 24 | 53 1267.99/1268.42 c 1215s | 25 | 18093298 | 6215198 | 1470 9508 | 24 | 53 1269.98/1270.43 c 1217s | 25 | 18116901 | 6224198 | 1470 9520 | 24 | 53 1271.98/1272.44 c 1219s | 25 | 18143326 | 6233398 | 1470 9531 | 24 | 53 1273.98/1274.45 c 1221s | 25 | 18167882 | 6242798 | 1470 9543 | 24 | 53 1275.98/1276.47 c 1223s | 25 | 18192682 | 6252198 | 1470 9555 | 24 | 53 1277.98/1278.47 c 1225s | 25 | 18216712 | 6261398 | 1470 9567 | 24 | 53 1279.98/1280.49 c 1227s | 25 | 18243485 | 6270598 | 1470 9579 | 24 | 53 1281.98/1282.49 c 1229s | 25 | 18274477 | 6280898 | 1470 9592 | 24 | 53 1284.08/1284.51 c 1231s | 25 | 18304467 | 6291698 | 1470 9605 | 24 | 53 1286.08/1286.51 c 1233s | 25 | 18335177 | 6302098 | 1470 9618 | 24 | 53 1288.08/1288.53 c 1235s | 25 | 18364271 | 6312698 | 1470 9632 | 24 | 53 1290.07/1290.54 c 1237s | 25 | 18392213 | 6323198 | 1470 9645 | 24 | 53 1292.08/1292.57 c 1239s | 25 | 18420343 | 6333298 | 1470 9658 | 24 | 53 1294.07/1294.58 c 1241s | 25 | 18449306 | 6343098 | 1470 9670 | 24 | 53 1296.17/1296.60 c 1243s | 25 | 18476874 | 6352698 | 1470 9682 | 24 | 53 1298.17/1298.61 c 1245s | 25 | 18505738 | 6363298 | 1470 9695 | 24 | 53 1300.18/1300.63 c 1247s | 25 | 18532155 | 6373398 | 1470 9708 | 24 | 53 1302.18/1302.63 c 1249s | 25 | 18558909 | 6383298 | 1470 9721 | 24 | 53 1304.19/1304.64 c 1251s | 25 | 18587291 | 6393298 | 1470 9733 | 24 | 53 1306.18/1306.65 c 1253s | 25 | 18615995 | 6403298 | 1470 9746 | 24 | 53 1308.18/1308.66 c 1255s | 25 | 18642851 | 6413498 | 1470 9759 | 24 | 53 1310.18/1310.68 c 1257s | 25 | 18670424 | 6423698 | 1470 9772 | 24 | 53 1312.18/1312.69 c 1259s | 25 | 18698481 | 6433798 | 1470 9784 | 24 | 53 1314.28/1314.70 c 1261s | 25 | 18724855 | 6443698 | 1470 9797 | 24 | 53 1316.29/1316.71 c 1263s | 25 | 18752752 | 6453198 | 1470 9809 | 24 | 53 1318.28/1318.72 c 1265s | 25 | 18782039 | 6463398 | 1470 9822 | 24 | 53 1320.28/1320.73 c 1267s | 25 | 18810699 | 6472998 | 1470 9834 | 24 | 53 1322.28/1322.73 c 1269s | 25 | 18842215 | 6483098 | 1470 9847 | 24 | 53 1324.28/1324.73 c 1271s | 25 | 18869915 | 6493098 | 1470 9859 | 24 | 53 1326.28/1326.75 c 1273s | 25 | 18897250 | 6502798 | 1470 9872 | 24 | 53 1328.28/1328.76 c 1275s | 25 | 18922138 | 6512398 | 1470 9884 | 24 | 53 1330.28/1330.77 c 1277s | 25 | 18949057 | 6522398 | 1470 9896 | 24 | 53 1332.28/1332.77 c 1279s | 25 | 18978806 | 6532098 | 1470 9909 | 24 | 53 1334.38/1334.80 c 1281s | 25 | 19004837 | 6541798 | 1470 9921 | 24 | 53 1336.37/1336.81 c 1283s | 25 | 19031713 | 6551498 | 1470 9933 | 24 | 53 1338.38/1338.83 c 1285s | 25 | 19057326 | 6560798 | 1470 9945 | 24 | 53 1340.37/1340.84 c 1287s | 25 | 19084243 | 6570498 | 1470 9957 | 24 | 53 1342.37/1342.86 c 1289s | 25 | 19111414 | 6580098 | 1470 9969 | 24 | 53 1344.37/1344.88 c 1292s | 25 | 19137078 | 6589598 | 1470 9981 | 24 | 53 1346.47/1346.90 c 1294s | 25 | 19164675 | 6599298 | 1470 9993 | 24 | 53 1348.47/1348.91 c 1296s | 25 | 19190565 | 6608698 | 1470 10005 | 24 | 53 1350.48/1350.91 c 1298s | 25 | 19218904 | 6617998 | 1470 10017 | 24 | 53 1352.47/1352.93 c 1300s | 25 | 19245951 | 6627498 | 1470 10029 | 24 | 53 1354.47/1354.95 c 1302s | 25 | 19275818 | 6637498 | 1470 10042 | 24 | 53 1356.47/1356.96 c 1304s | 25 | 19305050 | 6647398 | 1470 10054 | 24 | 53 1358.47/1358.97 c 1306s | 25 | 19334428 | 6657198 | 1470 10066 | 24 | 53 1360.47/1360.98 c 1308s | 25 | 19363692 | 6667098 | 1470 10079 | 24 | 53 1362.47/1362.99 c 1310s | 25 | 19393232 | 6676898 | 1470 10091 | 24 | 53 1364.57/1365.00 c 1312s | 25 | 19421481 | 6686498 | 1470 10103 | 24 | 53 1366.57/1367.01 c 1314s | 25 | 19449575 | 6696098 | 1470 10115 | 24 | 53 1368.57/1369.01 c 1316s | 25 | 19478429 | 6705798 | 1470 10128 | 24 | 53 1370.57/1371.02 c 1318s | 25 | 19505214 | 6714798 | 1470 10139 | 24 | 53 1372.57/1373.03 c 1320s | 25 | 19530865 | 6723998 | 1470 10151 | 24 | 53 1374.57/1375.03 c 1322s | 25 | 19558126 | 6733598 | 1470 10163 | 24 | 53 1376.56/1377.04 c 1324s | 25 | 19587286 | 6743398 | 1470 10175 | 24 | 53 1378.56/1379.06 c 1326s | 25 | 19616934 | 6752898 | 1470 10187 | 24 | 53 1380.56/1381.07 c 1328s | 25 | 19644937 | 6762498 | 1470 10199 | 24 | 53 1382.56/1383.07 c 1330s | 25 | 19673344 | 6771998 | 1470 10211 | 24 | 53 1384.57/1385.08 c 1332s | 25 | 19703109 | 6781898 | 1470 10224 | 24 | 53 1386.56/1387.10 c 1334s | 25 | 19733220 | 6791798 | 1470 10236 | 24 | 53 1388.66/1389.10 c 1336s | 25 | 19764451 | 6802298 | 1470 10250 | 24 | 53 1390.66/1391.10 c 1338s | 25 | 19792179 | 6812198 | 1470 10262 | 24 | 53 1392.66/1393.12 c 1340s | 25 | 19816513 | 6821598 | 1470 10274 | 24 | 53 1394.66/1395.14 c 1342s | 25 | 19846390 | 6831598 | 1470 10287 | 24 | 53 1396.67/1397.15 c 1344s | 25 | 19873443 | 6841398 | 1470 10299 | 24 | 53 1398.66/1399.15 c 1346s | 25 | 19900036 | 6850998 | 1470 10311 | 24 | 53 1400.66/1401.17 c 1348s | 25 | 19928667 | 6860798 | 1470 10323 | 24 | 53 1402.66/1403.17 c 1350s | 25 | 19955862 | 6870598 | 1470 10336 | 24 | 53 1404.66/1405.17 c 1352s | 25 | 19984620 | 6880198 | 1470 10348 | 24 | 53 1406.66/1407.18 c 1354s | 25 | 20011969 | 6889798 | 1470 10360 | 24 | 53 1408.66/1409.20 c 1356s | 25 | 20040697 | 6899698 | 1470 10373 | 24 | 53 1410.76/1411.21 c 1358s | 25 | 20068137 | 6909398 | 1470 10385 | 24 | 53 1412.76/1413.21 c 1360s | 25 | 20096577 | 6918998 | 1470 10397 | 24 | 53 1414.76/1415.22 c 1362s | 25 | 20124506 | 6928798 | 1470 10409 | 24 | 53 1416.76/1417.22 c 1364s | 25 | 20151970 | 6938698 | 1470 10422 | 24 | 53 1418.76/1419.22 c 1366s | 25 | 20181650 | 6948698 | 1470 10435 | 24 | 53 1420.76/1421.23 c 1368s | 25 | 20210354 | 6958498 | 1470 10447 | 24 | 53 1422.75/1423.24 c 1370s | 25 | 20238203 | 6968198 | 1470 10459 | 24 | 53 1424.75/1425.25 c 1372s | 25 | 20266792 | 6977898 | 1470 10471 | 24 | 53 1426.75/1427.27 c 1374s | 25 | 20296031 | 6987598 | 1470 10484 | 24 | 53 1428.75/1429.28 c 1376s | 25 | 20325821 | 6997398 | 1470 10496 | 24 | 53 1430.85/1431.30 c 1378s | 25 | 20350910 | 7006998 | 1470 10508 | 24 | 53 1432.86/1433.30 c 1380s | 25 | 20377681 | 7016398 | 1470 10520 | 24 | 53 1434.85/1435.31 c 1382s | 25 | 20404542 | 7025798 | 1470 10532 | 24 | 53 1436.86/1437.33 c 1384s | 25 | 20432443 | 7035298 | 1470 10544 | 24 | 53 1438.86/1439.33 c 1386s | 25 | 20460107 | 7044898 | 1470 10556 | 24 | 53 1440.86/1441.34 c 1388s | 25 | 20487416 | 7054298 | 1470 10568 | 24 | 53 1442.87/1443.36 c 1390s | 25 | 20516298 | 7064298 | 1470 10581 | 24 | 53 1444.86/1445.36 c 1392s | 25 | 20545152 | 7073998 | 1470 10593 | 24 | 53 1446.86/1447.37 c 1394s | 25 | 20573999 | 7083698 | 1470 10605 | 24 | 53 1448.86/1449.38 c 1396s | 25 | 20604274 | 7093498 | 1470 10617 | 24 | 53 1450.86/1451.39 c 1398s | 25 | 20632855 | 7103198 | 1470 10630 | 24 | 53 1452.96/1453.40 c 1400s | 25 | 20662347 | 7112698 | 1470 10642 | 24 | 53 1454.86/1455.40 c 1402s | 25 | 20690284 | 7122398 | 1470 10654 | 24 | 53 1456.95/1457.41 c 1404s | 25 | 20719177 | 7131898 | 1470 10666 | 24 | 53 1458.95/1459.42 c 1406s | 25 | 20748836 | 7141698 | 1470 10678 | 24 | 53 1460.95/1461.43 c 1408s | 25 | 20776585 | 7151098 | 1470 10690 | 24 | 53 1462.95/1463.43 c 1410s | 25 | 20805026 | 7160798 | 1470 10703 | 24 | 53 1464.95/1465.44 c 1412s | 25 | 20832300 | 7170398 | 1470 10715 | 24 | 53 1466.95/1467.45 c 1414s | 25 | 20860327 | 7179698 | 1470 10726 | 24 | 53 1468.95/1469.46 c 1416s | 25 | 20890649 | 7189598 | 1470 10739 | 24 | 53 1470.96/1471.46 c 1418s | 25 | 20920296 | 7199298 | 1470 10751 | 24 | 53 1472.96/1473.46 c 1420s | 25 | 20944193 | 7208198 | 1470 10762 | 24 | 53 1474.95/1475.47 c 1422s | 25 | 20972545 | 7218098 | 1470 10775 | 24 | 53 1476.96/1477.48 c 1424s | 25 | 20999797 | 7227698 | 1470 10787 | 24 | 53 1478.95/1479.50 c 1426s | 25 | 21028033 | 7237198 | 1470 10799 | 24 | 53 1481.05/1481.51 c 1428s | 25 | 21055306 | 7246898 | 1470 10811 | 24 | 53 1483.05/1483.53 c 1430s | 25 | 21083131 | 7256598 | 1470 10824 | 24 | 53 1485.05/1485.55 c 1432s | 25 | 21111817 | 7266298 | 1470 10836 | 24 | 53 1487.05/1487.57 c 1434s | 25 | 21139806 | 7276098 | 1470 10848 | 24 | 53 1489.06/1489.59 c 1436s | 25 | 21167393 | 7285598 | 1618 10860 | 24 | 53 1491.16/1491.60 c 1438s | 25 | 21198188 | 7295498 | 1618 10871 | 24 | 53 1493.15/1493.62 c 1440s | 25 | 21226351 | 7304998 | 1618 10882 | 24 | 53 1495.15/1495.64 c 1442s | 25 | 21250995 | 7314398 | 1618 10893 | 24 | 53 1497.15/1497.67 c 1444s | 25 | 21279893 | 7324398 | 1618 10904 | 24 | 53 1499.15/1499.69 c 1446s | 25 | 21306424 | 7333998 | 1618 10916 | 24 | 53 1501.25/1501.70 c 1448s | 25 | 21332948 | 7343498 | 1618 10926 | 24 | 53 1503.26/1503.72 c 1450s | 25 | 21362756 | 7353198 | 1618 10938 | 24 | 53 1505.25/1505.74 c 1452s | 25 | 21389138 | 7362498 | 1618 10948 | 24 | 53 1507.25/1507.75 c 1454s | 25 | 21418624 | 7372098 | 1618 10960 | 24 | 53 1509.25/1509.75 c 1456s | 25 | 21446818 | 7381398 | 1618 10970 | 24 | 53 1511.25/1511.76 c 1458s | 25 | 21474210 | 7390798 | 1618 10981 | 24 | 53 1513.25/1513.77 c 1460s | 25 | 21502098 | 7400398 | 1618 10992 | 24 | 53 1515.25/1515.78 c 1462s | 25 | 21529677 | 7410098 | 1618 11004 | 24 | 53 1517.25/1517.79 c 1464s | 25 | 21555651 | 7419598 | 1618 11015 | 24 | 53 1519.35/1519.80 c 1466s | 25 | 21584427 | 7429298 | 1618 11026 | 24 | 53 1521.34/1521.82 c 1468s | 25 | 21612822 | 7438498 | 1618 11036 | 24 | 53 1523.34/1523.85 c 1470s | 25 | 21640578 | 7448198 | 1618 11048 | 24 | 53 1525.35/1525.87 c 1472s | 25 | 21664829 | 7457498 | 1618 11058 | 24 | 53 1527.34/1527.88 c 1475s | 25 | 21691729 | 7466998 | 1618 11069 | 24 | 53 1529.34/1529.89 c 1477s | 25 | 21717786 | 7476298 | 1618 11080 | 24 | 53 1531.34/1531.89 c 1479s | 25 | 21746086 | 7485998 | 1618 11091 | 24 | 53 1533.44/1533.91 c 1481s | 25 | 21774326 | 7495598 | 1618 11102 | 24 | 53 1535.44/1535.91 c 1483s | 25 | 21801753 | 7504998 | 1618 11113 | 24 | 53 1537.45/1537.91 c 1485s | 25 | 21829763 | 7514498 | 1618 11124 | 24 | 53 1539.44/1539.92 c 1487s | 25 | 21858148 | 7523998 | 1618 11135 | 24 | 53 1541.44/1541.93 c 1489s | 25 | 21884540 | 7533398 | 1618 11146 | 24 | 53 1543.44/1543.94 c 1491s | 25 | 21911695 | 7542998 | 1618 11157 | 24 | 53 1545.44/1545.95 c 1493s | 25 | 21939490 | 7552698 | 1618 11168 | 24 | 53 1547.44/1547.96 c 1495s | 25 | 21965572 | 7562098 | 1618 11179 | 24 | 53 1549.44/1549.97 c 1497s | 25 | 21994314 | 7571698 | 1618 11190 | 24 | 53 1551.44/1551.97 c 1499s | 25 | 22021825 | 7581098 | 1618 11201 | 24 | 53 1553.44/1553.99 c 1501s | 25 | 22045396 | 7590498 | 1618 11212 | 24 | 53 1555.04/1555.57 c 1502s | 26 | 22066136 | 7597752 | 1618 11221 | 24 | 53 1557.03/1557.58 c 1504s | 26 | 22094385 | 7606952 | 1618 11231 | 24 | 53 1559.13/1559.61 c 1506s | 26 | 22124254 | 7616752 | 1618 11243 | 24 | 53 1561.13/1561.63 c 1508s | 26 | 22150669 | 7626152 | 1618 11254 | 24 | 53 1563.13/1563.64 c 1510s | 26 | 22176002 | 7635152 | 1618 11264 | 24 | 53 1565.13/1565.65 c 1512s | 26 | 22204315 | 7644852 | 1618 11275 | 24 | 53 1567.14/1567.67 c 1514s | 26 | 22234243 | 7654652 | 1618 11286 | 24 | 53 1569.13/1569.68 c 1516s | 26 | 22260866 | 7664252 | 1618 11297 | 24 | 53 1571.23/1571.70 c 1518s | 26 | 22287784 | 7673852 | 1618 11309 | 24 | 53 1573.23/1573.71 c 1520s | 26 | 22313533 | 7683252 | 1618 11319 | 24 | 53 1575.23/1575.72 c 1522s | 26 | 22342707 | 7693152 | 1618 11331 | 24 | 53 1577.23/1577.73 c 1524s | 26 | 22371020 | 7703052 | 1618 11342 | 24 | 53 1579.25/1579.74 c 1526s | 26 | 22399074 | 7712952 | 1618 11353 | 24 | 53 1581.24/1581.76 c 1528s | 26 | 22424420 | 7722552 | 1618 11365 | 24 | 53 1583.24/1583.79 c 1530s | 26 | 22450894 | 7732552 | 1618 11376 | 24 | 53 1585.34/1585.80 c 1532s | 26 | 22476358 | 7741852 | 1618 11387 | 24 | 53 1587.34/1587.82 c 1534s | 26 | 22503581 | 7751552 | 1618 11398 | 24 | 53 1589.33/1589.83 c 1536s | 26 | 22529815 | 7760952 | 1618 11409 | 24 | 53 1591.34/1591.85 c 1538s | 26 | 22556466 | 7770352 | 1618 11420 | 24 | 53 1593.33/1593.85 c 1540s | 26 | 22580911 | 7779752 | 1618 11430 | 24 | 53 1595.33/1595.86 c 1542s | 26 | 22607109 | 7789552 | 1618 11442 | 24 | 53 1597.33/1597.87 c 1544s | 26 | 22634059 | 7799152 | 1618 11453 | 24 | 53 1599.33/1599.89 c 1547s | 26 | 22661919 | 7808452 | 1618 11464 | 24 | 53 1601.33/1601.89 c 1549s | 26 | 22690005 | 7818052 | 1618 11475 | 24 | 53 1603.44/1603.90 c 1551s | 26 | 22715795 | 7827352 | 1618 11485 | 24 | 53 1605.43/1605.93 c 1553s | 26 | 22742068 | 7836552 | 1618 11496 | 24 | 53 1607.43/1607.93 c 1555s | 26 | 22768106 | 7846052 | 1618 11507 | 24 | 53 1609.43/1609.93 c 1557s | 26 | 22795371 | 7855452 | 1618 11518 | 24 | 53 1611.43/1611.95 c 1559s | 26 | 22824960 | 7865152 | 1618 11529 | 24 | 53 1613.43/1613.95 c 1561s | 26 | 22854860 | 7874752 | 1618 11540 | 24 | 53 1615.44/1615.97 c 1563s | 26 | 22882702 | 7884252 | 1618 11551 | 24 | 53 1617.43/1617.97 c 1565s | 26 | 22911785 | 7893652 | 1618 11562 | 24 | 53 1619.43/1619.97 c 1567s | 26 | 22935096 | 7903252 | 1618 11573 | 24 | 53 1621.43/1621.98 c 1569s | 26 | 22963449 | 7912552 | 1618 11584 | 24 | 53 1623.43/1623.98 c 1571s | 26 | 22989914 | 7921752 | 1618 11594 | 24 | 53 1625.43/1625.99 c 1573s | 26 | 23018648 | 7931152 | 1618 11605 | 24 | 53 1627.53/1628.00 c 1575s | 26 | 23045363 | 7940652 | 1618 11616 | 24 | 53 1629.52/1630.02 c 1577s | 26 | 23072600 | 7950052 | 1618 11627 | 24 | 53 1631.52/1632.03 c 1579s | 26 | 23096696 | 7959152 | 1618 11638 | 24 | 53 1633.52/1634.03 c 1581s | 26 | 23122707 | 7968652 | 1618 11648 | 24 | 53 1635.52/1636.03 c 1583s | 26 | 23146531 | 7977652 | 1618 11659 | 24 | 53 1637.53/1638.04 c 1585s | 26 | 23173739 | 7987152 | 1618 11670 | 24 | 53 1639.52/1640.06 c 1587s | 26 | 23202663 | 7996952 | 1618 11681 | 24 | 53 1641.52/1642.07 c 1589s | 26 | 23229928 | 8006352 | 1618 11692 | 24 | 53 1643.52/1644.09 c 1591s | 26 | 23255763 | 8015652 | 1618 11703 | 24 | 53 1645.52/1646.09 c 1593s | 26 | 23283167 | 8025052 | 1618 11714 | 24 | 53 1647.62/1648.10 c 1595s | 26 | 23310360 | 8034352 | 1618 11724 | 24 | 53 1649.63/1650.11 c 1597s | 26 | 23338286 | 8043752 | 1618 11735 | 24 | 53 1651.62/1652.11 c 1599s | 26 | 23365413 | 8053052 | 1618 11746 | 24 | 53 1653.63/1654.13 c 1601s | 26 | 23391327 | 8062352 | 1618 11757 | 24 | 53 1655.63/1656.14 c 1603s | 26 | 23418985 | 8071952 | 1618 11768 | 24 | 53 1657.63/1658.14 c 1605s | 26 | 23446281 | 8081352 | 1618 11779 | 24 | 53 1659.63/1660.14 c 1607s | 26 | 23475573 | 8091252 | 1618 11790 | 24 | 53 1661.63/1662.16 c 1609s | 26 | 23504643 | 8100752 | 1618 11801 | 24 | 53 1663.63/1664.17 c 1611s | 26 | 23534823 | 8110952 | 1618 11813 | 24 | 53 1665.62/1666.17 c 1613s | 26 | 23563569 | 8120752 | 1618 11824 | 24 | 53 1667.62/1668.17 c 1615s | 26 | 23590222 | 8130052 | 1618 11835 | 24 | 53 1669.62/1670.19 c 1617s | 26 | 23618465 | 8139752 | 1618 11846 | 24 | 53 1671.63/1672.19 c 1619s | 26 | 23645413 | 8149452 | 1618 11857 | 24 | 53 1673.73/1674.21 c 1621s | 26 | 23672588 | 8159252 | 1618 11868 | 24 | 53 1675.72/1676.22 c 1623s | 26 | 23699445 | 8168652 | 1618 11879 | 24 | 53 1677.72/1678.24 c 1625s | 26 | 23727561 | 8178052 | 1618 11890 | 24 | 53 1679.72/1680.25 c 1627s | 26 | 23756579 | 8187352 | 1618 11901 | 24 | 53 1681.72/1682.25 c 1629s | 26 | 23787166 | 8196852 | 1618 11912 | 24 | 53 1683.73/1684.25 c 1631s | 26 | 23814947 | 8206352 | 1618 11923 | 24 | 53 1685.72/1686.26 c 1633s | 26 | 23842564 | 8215852 | 1618 11934 | 24 | 53 1687.72/1688.28 c 1635s | 26 | 23869002 | 8225152 | 1618 11944 | 24 | 53 1689.72/1690.28 c 1637s | 26 | 23897728 | 8234652 | 1618 11955 | 24 | 53 1691.72/1692.29 c 1639s | 26 | 23925859 | 8244152 | 1618 11966 | 24 | 53 1693.82/1694.30 c 1641s | 26 | 23954482 | 8254052 | 1618 11978 | 24 | 53 1695.83/1696.32 c 1643s | 26 | 23982909 | 8264052 | 1618 11989 | 24 | 53 1697.82/1698.34 c 1645s | 26 | 24009274 | 8273752 | 1618 12000 | 24 | 53 1699.82/1700.36 c 1647s | 26 | 24036160 | 8283352 | 1618 12012 | 24 | 53 1701.81/1702.36 c 1649s | 26 | 24063174 | 8293152 | 1618 12023 | 24 | 53 1703.81/1704.36 c 1651s | 26 | 24089732 | 8302852 | 1618 12034 | 24 | 53 1705.81/1706.37 c 1653s | 26 | 24117435 | 8312352 | 1618 12045 | 24 | 53 1707.82/1708.37 c 1655s | 26 | 24144873 | 8321752 | 1618 12056 | 24 | 53 1709.81/1710.38 c 1657s | 26 | 24173765 | 8331352 | 1618 12067 | 24 | 53 1711.81/1712.39 c 1659s | 26 | 24204420 | 8340852 | 1618 12078 | 24 | 53 1713.91/1714.40 c 1661s | 26 | 24234364 | 8350652 | 1618 12089 | 24 | 53 1715.91/1716.40 c 1663s | 26 | 24263976 | 8360352 | 1618 12100 | 24 | 53 1717.91/1718.40 c 1665s | 26 | 24292217 | 8369652 | 1618 12111 | 24 | 53 1719.92/1720.42 c 1667s | 26 | 24320958 | 8379152 | 1618 12122 | 24 | 53 1721.91/1722.43 c 1669s | 26 | 24350420 | 8388552 | 1618 12133 | 24 | 53 1723.91/1724.43 c 1671s | 26 | 24379828 | 8398252 | 1618 12144 | 24 | 53 1725.91/1726.45 c 1673s | 26 | 24409885 | 8408252 | 1618 12156 | 24 | 53 1727.92/1728.46 c 1675s | 26 | 24440645 | 8418152 | 1618 12167 | 24 | 53 1729.92/1730.46 c 1677s | 26 | 24468329 | 8427652 | 1618 12178 | 24 | 53 1731.92/1732.47 c 1679s | 26 | 24496674 | 8437152 | 1618 12189 | 24 | 53 1733.92/1734.48 c 1681s | 26 | 24523171 | 8446852 | 1618 12200 | 24 | 53 1735.92/1736.49 c 1683s | 26 | 24549308 | 8456352 | 1618 12211 | 24 | 53 1738.01/1738.50 c 1685s | 26 | 24579963 | 8465952 | 1618 12222 | 24 | 53 1740.01/1740.52 c 1687s | 26 | 24607382 | 8475252 | 1618 12233 | 24 | 53 1742.02/1742.53 c 1689s | 26 | 24636519 | 8484852 | 1618 12244 | 24 | 53 1744.01/1744.53 c 1691s | 26 | 24663747 | 8494352 | 1618 12255 | 24 | 53 1746.01/1746.54 c 1693s | 26 | 24687977 | 8503452 | 1618 12266 | 24 | 53 1748.01/1748.55 c 1695s | 26 | 24716023 | 8512752 | 1618 12277 | 24 | 53 1750.01/1750.56 c 1697s | 26 | 24744413 | 8522152 | 1618 12287 | 24 | 53 1752.01/1752.58 c 1699s | 26 | 24773553 | 8531752 | 1618 12298 | 24 | 53 1754.02/1754.58 c 1701s | 26 | 24802504 | 8541252 | 1618 12309 | 24 | 53 1756.11/1756.60 c 1703s | 26 | 24832627 | 8550952 | 1618 12321 | 24 | 53 1758.11/1758.60 c 1705s | 26 | 24861248 | 8560652 | 1618 12332 | 24 | 53 1760.11/1760.60 c 1707s | 26 | 24890212 | 8570152 | 1618 12343 | 24 | 53 1762.11/1762.61 c 1709s | 26 | 24919606 | 8579852 | 1618 12354 | 24 | 53 1764.11/1764.61 c 1711s | 26 | 24947741 | 8589352 | 1618 12365 | 24 | 53 1766.12/1766.62 c 1713s | 26 | 24975152 | 8598552 | 1618 12376 | 24 | 53 1768.11/1768.63 c 1715s | 26 | 25002595 | 8608152 | 1618 12387 | 24 | 53 1770.11/1770.63 c 1717s | 26 | 25029308 | 8617652 | 1618 12398 | 24 | 53 1772.11/1772.64 c 1719s | 26 | 25055691 | 8626952 | 1618 12408 | 24 | 53 1774.11/1774.65 c 1721s | 26 | 25083858 | 8636452 | 1618 12419 | 24 | 53 1776.11/1776.65 c 1723s | 26 | 25108518 | 8645852 | 1618 12430 | 24 | 53 1778.11/1778.66 c 1725s | 26 | 25136218 | 8655352 | 1618 12441 | 24 | 53 1780.11/1780.68 c 1727s | 26 | 25163637 | 8664852 | 1618 12452 | 24 | 53 1782.11/1782.69 c 1729s | 26 | 25192694 | 8674152 | 1618 12463 | 24 | 53 1784.20/1784.70 c 1731s | 26 | 25220024 | 8683352 | 1618 12474 | 24 | 53 1786.20/1786.71 c 1733s | 26 | 25246275 | 8692552 | 1618 12484 | 24 | 53 1788.21/1788.72 c 1735s | 26 | 25274058 | 8702052 | 1618 12495 | 24 | 53 1790.20/1790.72 c 1737s | 26 | 25300260 | 8711252 | 1618 12506 | 24 | 53 1792.20/1792.72 c 1739s | 26 | 25324866 | 8720052 | 1618 12516 | 24 | 53 1794.20/1794.72 c 1741s | 26 | 25351560 | 8729052 | 1618 12526 | 24 | 53 1796.20/1796.73 c 1743s | 26 | 25379221 | 8738552 | 1618 12537 | 24 | 53 1798.20/1798.75 c 1745s | 26 | 25405617 | 8747752 | 1618 12548 | 24 | 53
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-4105465-1466246561/watcher-4105465-1466246561 -o /tmp/evaluation-result-4105465-1466246561/solver-4105465-1466246561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105465-1466246561.opb pid=23052 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.00 2.00 2.00 3/179 23055 /proc/meminfo: memFree=30573020/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=657852 CPUtime=0 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 2441 0 0 0 0 0 0 0 20 0 4 0 26706087 673640448 3314 33554432000 4194304 16246674 140734772750048 140734772749472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 165231 3322 441 2943 0 162125 0 [pid=23055/tid=23056] ppid=23052 vsize=675260 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 691466240 3382 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=679356 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 695660544 3398 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=683452 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26706088 699854848 3414 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23055 /proc/meminfo: memFree=30573020/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 22069 0 0 0 6 3 0 0 20 0 4 0 26706087 1247350784 22928 33554432000 4194304 16246674 140734772750048 140734772749472 6045692 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 304529 22935 784 2943 0 301423 0 [pid=23055/tid=23056] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 22945 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 22951 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 22954 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200549 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23055 /proc/meminfo: memFree=30573020/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 38668 0 0 0 14 5 0 0 20 0 4 0 26706087 1247350784 39528 33554432000 4194304 16246674 140734772750048 140734772749472 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 304529 39536 784 2943 0 301423 0 [pid=23055/tid=23056] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 39541 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 39543 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 39551 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300492 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23055 /proc/meminfo: memFree=30573020/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 56155 0 0 0 21 8 0 0 20 0 4 0 26706087 1247350784 57014 33554432000 4194304 16246674 140734772750048 140734772749472 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 304529 57018 784 2943 0 301423 0 [pid=23055/tid=23056] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 57021 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 57029 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 57036 33554432000 4194304 16246674 140734772750048 140391129013424 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) 1218116 [startup+0.700422 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23055 /proc/meminfo: memFree=30573020/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 130443 0 0 0 52 17 0 0 20 0 4 0 26706087 1247350784 131302 33554432000 4194304 16246674 140734772750048 140734772749472 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 304529 131306 785 2943 0 301423 0 [pid=23055/tid=23056] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 131309 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 131311 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26706088 1247350784 131313 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 2.00 2.00 2.00 3/183 23059 /proc/meminfo: memFree=29757436/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 245753 0 0 0 116 33 0 0 20 0 4 0 26706087 1248399360 246590 33554432000 4194304 16246674 140734772750048 140734772749360 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 304785 246590 842 2943 0 301679 0 [pid=23055/tid=23056] ppid=23052 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1248399360 246590 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1248399360 246590 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1248399360 246590 33554432000 4194304 16246674 140734772750048 140391129013424 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) 1219140 [startup+3.10043 s] /proc/loadavg: 2.00 2.00 2.00 3/183 23059 /proc/meminfo: memFree=29587052/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 267267 0 0 0 273 36 0 0 20 0 4 0 26706087 1336479744 268104 33554432000 4194304 16246674 140734772750048 140734772733048 5711784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 326289 268104 842 2943 0 323183 0 [pid=23055/tid=23056] ppid=23052 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1336479744 268104 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1336479744 268104 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1336479744 268104 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30043 s] /proc/loadavg: 2.00 2.00 2.00 3/183 23059 /proc/meminfo: memFree=29499024/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 267595 0 0 0 593 36 0 0 20 0 4 0 26706087 1337528320 268432 33554432000 4194304 16246674 140734772750048 140734772731968 12478342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 326545 268432 842 2943 0 323439 0 [pid=23055/tid=23056] ppid=23052 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1337528320 268432 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1337528320 268432 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1337528320 268432 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/183 23059 /proc/meminfo: memFree=29499176/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 267597 0 0 0 1233 36 0 0 20 0 4 0 26706087 1337528320 268434 33554432000 4194304 16246674 140734772750048 140734772731968 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 326545 268434 843 2943 0 323439 0 [pid=23055/tid=23056] ppid=23052 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1337528320 268434 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1337528320 268434 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1337528320 268434 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/183 23108 /proc/meminfo: memFree=29498252/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 268008 0 0 0 2513 36 0 0 20 0 4 0 26706087 1339625472 268845 33554432000 4194304 16246674 140734772750048 140734772731968 5711680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 327057 268845 846 2943 0 323951 0 [pid=23055/tid=23056] ppid=23052 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1339625472 268845 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1339625472 268845 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1339625472 268845 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.06 2.02 2.00 3/183 23108 /proc/meminfo: memFree=29494164/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1310276 CPUtime=51.08 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 268660 0 0 0 5072 36 0 0 20 0 4 0 26706087 1341722624 269499 33554432000 4194304 16246674 140734772750048 140734772731968 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 327569 269499 847 2943 0 324463 0 [pid=23055/tid=23056] ppid=23052 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1341722624 269499 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1341722624 269499 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1341722624 269499 33554432000 4194304 16246674 140734772750048 140391129013424 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) 1310276 [startup+102.301 s] /proc/loadavg: 2.02 2.01 2.00 3/183 23110 /proc/meminfo: memFree=29491428/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1310276 CPUtime=102.27 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 268677 0 0 0 10190 37 0 0 20 0 4 0 26706087 1341722624 269500 33554432000 4194304 16246674 140734772750048 140734772731968 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 327569 269500 848 2943 0 324463 0 [pid=23055/tid=23056] ppid=23052 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1341722624 269500 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1341722624 269500 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1341722624 269500 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1310276 ################ # More data... # ################ /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1318468 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 23163 /proc/meminfo: memFree=29456828/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1318468 CPUtime=1361.87 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271042 0 0 0 136133 54 0 0 20 0 4 0 26706087 1350111232 271548 33554432000 4194304 16246674 140734772750048 140734772731968 6009828 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 329617 271548 848 2943 0 326511 0 [pid=23055/tid=23056] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1318468 [startup+1422.3 s] /proc/loadavg: 2.04 2.01 2.00 3/183 23164 /proc/meminfo: memFree=29456756/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1318468 CPUtime=1421.86 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271042 0 0 0 142132 54 0 0 20 0 4 0 26706087 1350111232 271548 33554432000 4194304 16246674 140734772750048 140734772731968 5598711 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 329617 271548 848 2943 0 326511 0 [pid=23055/tid=23056] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1318468 [startup+1482.3 s] /proc/loadavg: 2.14 2.04 2.01 3/183 23165 /proc/meminfo: memFree=29457132/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1318468 CPUtime=1481.85 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271042 0 0 0 148129 56 0 0 20 0 4 0 26706087 1350111232 271548 33554432000 4194304 16246674 140734772750048 140734772731968 5666885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 329617 271548 848 2943 0 326511 0 [pid=23055/tid=23056] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1318468 [startup+1542.31 s] /proc/loadavg: 2.16 2.06 2.01 3/183 23166 /proc/meminfo: memFree=29457504/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1318468 CPUtime=1541.84 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271042 0 0 0 154128 56 0 0 20 0 4 0 26706087 1350111232 271548 33554432000 4194304 16246674 140734772750048 140734772731968 12415665 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 329617 271548 848 2943 0 326511 0 [pid=23055/tid=23056] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1318468 [startup+1602.3 s] /proc/loadavg: 2.12 2.06 2.01 3/183 23168 /proc/meminfo: memFree=29451188/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1318468 CPUtime=1601.83 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271042 0 0 0 160126 57 0 0 20 0 4 0 26706087 1350111232 271548 33554432000 4194304 16246674 140734772750048 140734772731968 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 329617 271548 848 2943 0 326511 0 [pid=23055/tid=23056] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1350111232 271548 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1318468 [startup+1662.3 s] /proc/loadavg: 2.17 2.08 2.02 3/184 23172 /proc/meminfo: memFree=29448088/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1321540 CPUtime=1661.83 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271810 0 0 0 166125 58 0 0 20 0 4 0 26706087 1353256960 272316 33554432000 4194304 16246674 140734772750048 140734772731968 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 330385 272316 848 2943 0 327279 0 [pid=23055/tid=23056] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1321540 [startup+1722.3 s] /proc/loadavg: 2.11 2.08 2.02 3/183 23173 /proc/meminfo: memFree=29447848/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1321540 CPUtime=1721.81 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271810 0 0 0 172123 58 0 0 20 0 4 0 26706087 1353256960 272316 33554432000 4194304 16246674 140734772750048 140734772731968 5601848 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 330385 272316 848 2943 0 327279 0 [pid=23055/tid=23056] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1321540 [startup+1782.3 s] /proc/loadavg: 2.24 2.11 2.03 3/183 23174 /proc/meminfo: memFree=29447724/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1321540 CPUtime=1781.81 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271810 0 0 0 178122 59 0 0 20 0 4 0 26706087 1353256960 272316 33554432000 4194304 16246674 140734772750048 140734772731968 5711636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 330385 272316 848 2943 0 327279 0 [pid=23055/tid=23056] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1321540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.17 2.10 2.03 3/183 23174 /proc/meminfo: memFree=29447480/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1321540 CPUtime=1800 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271810 0 0 0 179941 59 0 0 20 0 4 0 26706087 1353256960 272316 33554432000 4194304 16246674 140734772750048 140734772733048 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 330385 272316 848 2943 0 327279 0 [pid=23055/tid=23056] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1321540 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 23055 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.17 2.10 2.03 3/183 23174 /proc/meminfo: memFree=29447480/32872528 swapFree=163656/177964 [pid=23055] ppid=23052 vsize=1321540 CPUtime=1800 cores=1,3,5,7 /proc/23055/stat : 23055 (toysat) R 23052 23055 20760 0 -1 4202496 271810 0 0 0 179941 59 0 0 20 0 4 0 26706087 1353256960 272316 33554432000 4194304 16246674 140734772750048 140734772733048 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23055/statm: 330385 272316 848 2943 0 327279 0 [pid=23055/tid=23056] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23056/stat : 23056 (toysat) S 23052 23055 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391221275888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23055/tid=23057] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23057/stat : 23057 (toysat) S 23052 23055 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391139486960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23055/tid=23058] ppid=23052 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/23055/task/23058/stat : 23058 (toysat) S 23052 23055 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26706088 1353256960 272316 33554432000 4194304 16246674 140734772750048 140391129013424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1321540 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.42 CPU system time (s): 0.593909 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1321540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.593909 maximum resident set size= 1089264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271810 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= 347 involuntary context switches= 1858 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.52731 second user time and 6.99494 second system time The end
Begin job on node105 at 2016-06-18 12:42:42 IDJOB=4105465 IDBENCH=2875 IDSOLVER=2542 FILE ID=node105/4105465-1466246561 RUNJOBID= node105-1466229502-20777 PBS_JOBID= 19918174 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_10.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105465-1466246561/watcher-4105465-1466246561 -o /tmp/evaluation-result-4105465-1466246561/solver-4105465-1466246561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105465-1466246561.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7594cbd1c9783d8ed9b0ac9dcb03739f RANDOM SEED=1321332949 node105.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.561 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.12 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.561 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.561 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.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.54 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.561 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.561 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.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30573920 kB Buffers: 102304 kB Cached: 194520 kB SwapCached: 1676 kB Active: 1176668 kB Inactive: 207852 kB Active(anon): 1085560 kB Inactive(anon): 4412 kB Active(file): 91108 kB Inactive(file): 203440 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 16344 kB Writeback: 0 kB AnonPages: 1265208 kB Mapped: 10524 kB Shmem: 0 kB Slab: 603936 kB SReclaimable: 47396 kB SUnreclaim: 556540 kB KernelStack: 1448 kB PageTables: 6540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1409500 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1091584 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= 71716 MiB End job on node105 at 2016-06-18 13:12:42