0.00/0.00 c 2016-06-30T00:03:53+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-4117933-1467237833.opb"]
0.00/0.01 c use --random-gen="81076379 4055660843 1250012082 1406015779 1220854614 771081133 3467351767 3036629282 3671196580 815950996 2805953430 2679493008 1202113770 3912673355 170775757 3954845484 3048033125 3342647861 106725174 3209289435 3250044645 828775397 1577863185 2401804235 2055649703 4125513292 3193608825 3089326409 2659140382 2271173412 2781550447 3254372003 1107653174 75885691 1858166926 2369647678 3893620582 3959439963 217248105 1994235941 11197220 2975886944 2265527662 2619948563 3988580391 2202137720 335816627 2972804674 320889932 299215086 4187808030 4009690047 1049179317 686677422 2454362521 637791514 1384257164 3915069618 2600450677 673047547 2357470884 99212180 3286481906 2880815625 2543631419 1854764158 1757580845 1141462346 3053023594 2037146586 2532841031 475375828 3344611393 400843984 1254473159 2800134156 1452936908 2145236815 2178024516 4053493637 2393579464 4191297814 3125705155 2034187977 730462111 4078594038 3899796132 3295288896 1551867011 1829702874 2633874096 2078738176 3656618870 3545968382 3205061150 3022949166 463894837 1858902877 588213537 587150420 599805034 1504359375 933633461 4204346841 3609626818 4271059198 2507269085 896571047 1410607616 1403701033 3040277254 240295661 1057932860 1175098262 4122787515 2509779618 2022629741 2554456557 3260968738 3924405687 517830634 1133975227 2611856809 3660025468 2738168689 2487996518 343889159 1765074757 1371481754 2593356356 624546775 196266343 98640606 268917395 193118194 2215761373 2729720378 1421507113 3545041389 2512801712 3896331820 3016963705 2025278859 3992899604 3371694442 2383753826 2821037282 1729482287 112241629 12703906 4158157045 4047546073 588904329 100393901 1128831634 2263995656 205066562 243871639 69041189 14451880 2603568966 2076856371 2720065862 1095436988 657955018 3491450349 45007552 2282979354 3527096080 226978872 1203204877 1412484226 314636 2878195061 3700362192 3330673227 3854291926 3189633215 2114604817 3598320454 2591156441 3737933509 3567846927 2740928043 1992224891 3582741992 1789858905 1298864870 2645884161 456175963 705736389 1484589356 4190689902 1720455908 3579397079 2880044035 3163044421 3412741949 604834167 1849075638 1705893713 465297188 152756054 3144144562 1253144692 1939845734 736761449 1267292597 4033018860 2058673145 961219928 556779179 1235120574 2259405262 3088579451 2917169626 2139641251 113532570 1202338241 2689876480 3302286540 3844599039 2856638395 3171320414 1421975962 3653632306 1570472542 1398704290 1574540369 2567267239 1871565188 4134015962 3176559294 3801723722 2013206077 1885454596 2983370482 3162767231 3758000432 3320282854 1539541678 2751412747 1674656631 4055502951 1554371042 714141035 351937192 1125360058 628184459 2450987857 738612803 2718699826 3137143320 1843560899 2560370784 4126306473 255 362436" option to reproduce the execution
0.00/0.01 c #vars 196
0.00/0.01 c #constraints 82
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 | 114 0 | 14 | 0
0.00/0.02 c 0.0s | 0 | 34 | 4 | 114 0 | 14 | 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 = 34
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 4
0.00/0.02 c #restart = 0
0.00/0.02 o 88
0.00/0.02 c BCD2: updating upper bound: 196 -> 87
0.00/0.02 c BCD2: 0 <= obj <= 87
0.00/0.02 c BCD2: #cores=0, #unrelaxed=196, #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 | 114 0 | 14 | 0
0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 14 | 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 = 0
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 1: 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 <= 87
0.00/0.02 c BCD2: #cores=1, #unrelaxed=195, #relaxed=1, #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 | 114 0 | 14 | 0
0.00/0.02 c 0.0s | 0 | 1 | 0 | 114 0 | 14 | 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 = 1
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 1: 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 <= 87
0.00/0.02 c BCD2: #cores=2, #unrelaxed=194, #relaxed=2, #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 | 114 0 | 14 | 0
0.00/0.02 c 0.0s | 0 | 4 | 0 | 114 0 | 14 | 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 = 4
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 3: 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 <= 87
0.00/0.02 c BCD2: #cores=3, #unrelaxed=191, #relaxed=5, #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 | 114 0 | 14 | 0
0.00/0.02 c 0.0s | 0 | 5 | 1 | 114 0 | 14 | 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 = 5
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.00/0.02 c lower bound updated to 4
0.00/0.02 c BCD2: 4 <= obj <= 87
0.00/0.02 c BCD2: #cores=3, #unrelaxed=189, #relaxed=7, #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 | 114 0 | 15 | 0
0.00/0.02 c 0.0s | 0 | 5 | 1 | 114 0 | 15 | 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 = 5
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
0.00/0.02 c lower bound updated to 5
0.00/0.02 c BCD2: 5 <= obj <= 87
0.00/0.02 c BCD2: #cores=3, #unrelaxed=187, #relaxed=9, #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 | 114 0 | 16 | 1
0.00/0.02 c 0.0s | 0 | 5 | 1 | 114 0 | 16 | 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 = 5
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 9: cost of the new core is >=4
0.00/0.02 c lower bound updated to 6
0.00/0.02 c BCD2: 6 <= obj <= 87
0.00/0.02 c BCD2: #cores=3, #unrelaxed=185, #relaxed=11, #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 | 114 0 | 17 | 2
0.00/0.02 c 0.0s | 0 | 4 | 0 | 114 0 | 17 | 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 = 4
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 1: 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 <= 87
0.00/0.02 c BCD2: #cores=4, #unrelaxed=184, #relaxed=12, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9
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 | 114 0 | 17 | 3
0.00/0.03 c 0.0s | 0 | 11 | 0 | 114 0 | 17 | 3
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 = 11
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 7: 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 <= 87
0.00/0.03 c BCD2: #cores=5, #unrelaxed=177, #relaxed=19, #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 | 114 0 | 17 | 3
0.00/0.03 c 0.0s | 0 | 10 | 0 | 114 0 | 17 | 3
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 = 10
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 2: 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 <= 87
0.00/0.03 c BCD2: #cores=6, #unrelaxed=175, #relaxed=21, #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 | 114 0 | 17 | 3
0.00/0.03 c 0.0s | 0 | 13 | 1 | 114 0 | 17 | 3
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 = 13
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 14: cost of the new core is >=2
0.00/0.03 c lower bound updated to 10
0.00/0.03 c BCD2: 10 <= obj <= 87
0.00/0.03 c BCD2: #cores=6, #unrelaxed=168, #relaxed=28, #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 | 114 0 | 18 | 3
0.00/0.03 c 0.0s | 0 | 12 | 1 | 114 0 | 18 | 4
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 = 12
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 20: cost of the new core is >=3
0.00/0.03 c lower bound updated to 11
0.00/0.03 c BCD2: 11 <= obj <= 87
0.00/0.03 c BCD2: #cores=6, #unrelaxed=162, #relaxed=34, #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 | 114 0 | 19 | 4
0.00/0.03 c 0.0s | 0 | 14 | 1 | 114 0 | 19 | 5
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 = 14
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to 12
0.00/0.03 c BCD2: 12 <= obj <= 87
0.00/0.03 c BCD2: #cores=6, #unrelaxed=161, #relaxed=35, #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 | 114 0 | 20 | 6
0.00/0.03 c 0.0s | 0 | 17 | 0 | 114 0 | 20 | 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 = 17
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 9: cost of the new core is >=1
0.00/0.03 c lower bound updated to 13
0.00/0.03 c BCD2: 13 <= obj <= 87
0.00/0.03 c BCD2: #cores=7, #unrelaxed=152, #relaxed=44, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/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 | 114 0 | 20 | 7
0.00/0.03 c 0.0s | 0 | 12 | 0 | 114 0 | 20 | 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 = 12
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 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to 14
0.00/0.03 c BCD2: 14 <= obj <= 87
0.00/0.03 c BCD2: #cores=8, #unrelaxed=150, #relaxed=46, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16
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 | 114 0 | 20 | 7
0.00/0.03 c 0.0s | 0 | 24 | 0 | 114 0 | 20 | 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 = 24
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 15
0.00/0.03 c BCD2: 15 <= obj <= 87
0.00/0.03 c BCD2: #cores=9, #unrelaxed=140, #relaxed=56, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=16 bias=16/17
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 | 114 0 | 20 | 7
0.00/0.03 c 0.0s | 0 | 29 | 1 | 114 0 | 20 | 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 = 29
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to 16
0.00/0.03 c BCD2: 16 <= obj <= 87
0.00/0.03 c BCD2: #cores=9, #unrelaxed=139, #relaxed=57, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=17 bias=17/18
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 | 114 0 | 21 | 7
0.00/0.03 c 0.0s | 0 | 18 | 0 | 114 0 | 21 | 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 = 18
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 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to 17
0.00/0.03 c BCD2: 17 <= obj <= 87
0.00/0.03 c BCD2: #cores=10, #unrelaxed=136, #relaxed=60, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=18 bias=18/19
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 | 114 0 | 21 | 8
0.00/0.04 c 0.0s | 0 | 24 | 0 | 114 0 | 21 | 8
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 24
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 18
0.00/0.04 c BCD2: 18 <= obj <= 87
0.00/0.04 c BCD2: #cores=11, #unrelaxed=128, #relaxed=68, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=19 bias=19/20
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 | 114 0 | 21 | 8
0.00/0.04 c 0.0s | 0 | 21 | 0 | 114 0 | 21 | 8
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 21
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.04 c lower bound updated to 19
0.00/0.04 c BCD2: 19 <= obj <= 87
0.00/0.04 c BCD2: #cores=12, #unrelaxed=125, #relaxed=71, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=20 bias=20/21
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 | 114 0 | 21 | 8
0.00/0.04 c 0.0s | 0 | 34 | 1 | 114 0 | 21 | 8
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 34
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.00/0.04 c lower bound updated to 20
0.00/0.04 c BCD2: 20 <= obj <= 87
0.00/0.04 c BCD2: #cores=12, #unrelaxed=124, #relaxed=72, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=21 bias=21/22
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 | 114 0 | 22 | 8
0.00/0.04 c 0.0s | 0 | 27 | 0 | 114 0 | 22 | 9
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 27
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 11: cost of the new core is >=1
0.00/0.04 c lower bound updated to 21
0.00/0.04 c BCD2: 21 <= obj <= 87
0.00/0.04 c BCD2: #cores=13, #unrelaxed=113, #relaxed=83, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=22 bias=22/23
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 | 114 0 | 22 | 9
0.00/0.04 c 0.0s | 0 | 25 | 1 | 114 0 | 22 | 9
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 25
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 18: cost of the new core is >=2
0.00/0.04 c lower bound updated to 22
0.00/0.04 c BCD2: 22 <= obj <= 87
0.00/0.04 c BCD2: #cores=13, #unrelaxed=106, #relaxed=90, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=23 bias=23/24
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 | 114 0 | 23 | 9
0.00/0.04 c 0.0s | 0 | 26 | 0 | 114 0 | 23 | 10
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 26
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.04 c lower bound updated to 23
0.00/0.04 c BCD2: 23 <= obj <= 87
0.00/0.04 c BCD2: #cores=14, #unrelaxed=97, #relaxed=99, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=24 bias=24/25
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 | 114 0 | 23 | 10
0.00/0.04 c 0.0s | 0 | 31 | 0 | 114 0 | 23 | 10
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 31
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 24
0.00/0.04 c BCD2: 24 <= obj <= 87
0.00/0.04 c BCD2: #cores=15, #unrelaxed=89, #relaxed=107, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=25 bias=25/26
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 | 114 0 | 23 | 10
0.00/0.04 c 0.0s | 0 | 40 | 0 | 114 0 | 23 | 10
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 40
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 10: cost of the new core is >=1
0.00/0.04 c lower bound updated to 25
0.00/0.04 c BCD2: 25 <= obj <= 87
0.00/0.04 c BCD2: #cores=16, #unrelaxed=79, #relaxed=117, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=26 bias=26/27
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 | 114 0 | 23 | 10
0.00/0.04 c 0.0s | 0 | 36 | 1 | 114 0 | 23 | 10
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 36
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 26
0.00/0.04 c BCD2: 26 <= obj <= 87
0.00/0.04 c BCD2: #cores=17, #unrelaxed=71, #relaxed=125, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=27 bias=27/28
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 | 114 0 | 23 | 10
0.00/0.04 c 0.0s | 0 | 37 | 0 | 114 0 | 23 | 10
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 37
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.05 c lower bound updated to 27
0.00/0.05 c BCD2: 27 <= obj <= 87
0.00/0.05 c BCD2: #cores=18, #unrelaxed=62, #relaxed=134, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 23 | 10
0.00/0.05 c 0.0s | 0 | 31 | 1 | 114 0 | 23 | 10
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 31
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 10 and merging with 3 cores into a new core of size 32: cost of the new core is >=4
0.00/0.05 c lower bound updated to 28
0.00/0.05 c BCD2: 28 <= obj <= 87
0.00/0.05 c BCD2: #cores=16, #unrelaxed=52, #relaxed=144, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 26 | 10
0.00/0.05 c 0.0s | 0 | 29 | 0 | 114 0 | 26 | 13
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 29
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.05 c lower bound updated to 29
0.00/0.05 c BCD2: 29 <= obj <= 87
0.00/0.05 c BCD2: #cores=17, #unrelaxed=44, #relaxed=152, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 26 | 13
0.00/0.05 c 0.0s | 0 | 35 | 0 | 114 0 | 26 | 13
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 35
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.05 c lower bound updated to 30
0.00/0.05 c BCD2: 30 <= obj <= 87
0.00/0.05 c BCD2: #cores=18, #unrelaxed=41, #relaxed=155, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 26 | 13
0.00/0.05 c 0.0s | 0 | 35 | 0 | 114 0 | 26 | 13
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 35
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.05 c lower bound updated to 31
0.00/0.05 c BCD2: 31 <= obj <= 87
0.00/0.05 c BCD2: #cores=19, #unrelaxed=38, #relaxed=158, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 26 | 13
0.00/0.05 c 0.0s | 0 | 34 | 0 | 114 0 | 26 | 13
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 34
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.05 c lower bound updated to 32
0.00/0.05 c BCD2: 32 <= obj <= 87
0.00/0.05 c BCD2: #cores=20, #unrelaxed=29, #relaxed=167, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=33 bias=33/34
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 26 | 13
0.00/0.05 c 0.0s | 0 | 34 | 0 | 114 0 | 26 | 13
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 34
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.05 c lower bound updated to 33
0.00/0.05 c BCD2: 33 <= obj <= 87
0.00/0.05 c BCD2: #cores=21, #unrelaxed=22, #relaxed=174, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=34 bias=34/35
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 26 | 13
0.00/0.05 c 0.0s | 0 | 32 | 1 | 114 0 | 26 | 13
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 32
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.00/0.05 c lower bound updated to 34
0.00/0.05 c BCD2: 34 <= obj <= 87
0.00/0.05 c BCD2: #cores=21, #unrelaxed=19, #relaxed=177, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 27 | 13
0.00/0.05 c 0.0s | 0 | 29 | 0 | 114 0 | 27 | 14
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 29
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 35
0.00/0.05 c BCD2: 35 <= obj <= 87
0.00/0.05 c BCD2: #cores=22, #unrelaxed=18, #relaxed=178, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 27 | 14
0.00/0.06 c 0.0s | 0 | 51 | 3 | 114 0 | 27 | 14
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 51
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 3
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 23: cost of the new core is >=4
0.00/0.06 c lower bound updated to 36
0.00/0.06 c BCD2: 36 <= obj <= 87
0.00/0.06 c BCD2: #cores=21, #unrelaxed=14, #relaxed=182, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=37 bias=37/38
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 114 0 | 29 | 14
0.00/0.06 c 0.0s | 1 | 219 | 100 | 126 0 | 29 | 16
0.00/0.08 c 0.0s | 1 | 422 | 229 | 126 1 | 29 | 16
0.00/0.08 c #cpu_time = 0.020s
0.00/0.08 c #wall_clock_time = 0.020s
0.00/0.08 c #decision = 422
0.00/0.08 c #random_decision = 1
0.00/0.08 c #conflict = 229
0.00/0.08 c #restart = 1
0.00/0.08 c BCD2: relaxing 2 and merging with 7 cores into a new core of size 58: cost of the new core is >=16
0.00/0.08 c lower bound updated to 37
0.00/0.08 c BCD2: 37 <= obj <= 87
0.00/0.08 c BCD2: #cores=15, #unrelaxed=12, #relaxed=184, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=38 bias=38/39
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 126 0 | 36 | 16
0.00/0.09 c 0.0s | 1 | 146 | 100 | 139 0 | 36 | 23
0.09/0.10 c 0.0s | 2 | 465 | 250 | 153 1 | 36 | 23
0.09/0.11 c 0.0s | 2 | 490 | 257 | 153 1 | 36 | 23
0.09/0.11 c #cpu_time = 0.029s
0.09/0.11 c #wall_clock_time = 0.029s
0.09/0.11 c #decision = 490
0.09/0.11 c #random_decision = 3
0.09/0.11 c #conflict = 257
0.09/0.11 c #restart = 2
0.09/0.11 c BCD2: relaxing 1 and merging with 6 cores into a new core of size 56: cost of the new core is >=10
0.09/0.11 c lower bound updated to 38
0.09/0.11 c BCD2: 38 <= obj <= 87
0.09/0.11 c BCD2: #cores=10, #unrelaxed=11, #relaxed=185, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=39 bias=39/40
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 153 0 | 42 | 23
0.09/0.12 c 0.0s | 1 | 151 | 100 | 153 0 | 42 | 29
0.09/0.15 c 0.0s | 2 | 433 | 250 | 153 0 | 42 | 29
0.19/0.20 c 0.1s | 3 | 758 | 475 | 169 2 | 42 | 29
0.19/0.24 c 0.1s | 4 | 1165 | 813 | 169 5 | 42 | 29
0.29/0.33 c 0.2s | 5 | 1937 | 1320 | 186 8 | 42 | 29
0.39/0.49 c 0.4s | 6 | 2973 | 2081 | 205 13 | 42 | 29
0.69/0.71 c 0.6s | 7 | 4396 | 3223 | 226 20 | 42 | 29
0.79/0.85 c 0.7s | 8 | 6254 | 4936 | 249 30 | 42 | 29
1.09/1.17 c 1.1s | 9 | 9151 | 7506 | 274 45 | 42 | 29
1.68/1.76 c 1.7s | 10 | 13768 | 11361 | 302 64 | 42 | 29
2.30/2.36 c 2.3s | 11 | 21251 | 17144 | 333 92 | 42 | 29
3.30/3.40 c 3.3s | 12 | 32642 | 25819 | 367 132 | 42 | 29
5.19/5.26 c 5.2s | 13 | 49708 | 38832 | 404 187 | 42 | 29
7.19/7.27 c 7.2s | 13 | 67460 | 52632 | 404 241 | 42 | 29
7.99/8.09 c 8.0s | 14 | 75019 | 58352 | 445 263 | 42 | 29
10.00/10.10 c 10.0s | 14 | 91286 | 72152 | 445 312 | 42 | 29
12.10/12.10 c 12.0s | 14 | 109032 | 86652 | 490 364 | 42 | 29
12.20/12.26 c 12.2s | 15 | 110147 | 87632 | 490 367 | 42 | 29
14.19/14.27 c 14.2s | 15 | 132125 | 103732 | 490 421 | 42 | 29
16.19/16.28 c 16.2s | 15 | 151566 | 118732 | 490 471 | 42 | 29
17.89/17.98 c 17.9s | 16 | 168727 | 131552 | 539 513 | 42 | 29
19.99/20.00 c 19.9s | 16 | 185987 | 145552 | 539 555 | 42 | 29
21.99/22.01 c 21.9s | 16 | 202768 | 159052 | 539 597 | 42 | 29
23.98/24.02 c 23.9s | 16 | 217995 | 172052 | 539 636 | 42 | 29
25.98/26.03 c 25.9s | 16 | 235151 | 185552 | 539 677 | 42 | 29
27.68/27.75 c 27.6s | 17 | 248964 | 197432 | 593 713 | 42 | 29
29.69/29.75 c 29.6s | 17 | 268077 | 212232 | 593 755 | 42 | 29
31.68/31.76 c 31.7s | 17 | 288198 | 227432 | 593 799 | 42 | 29
33.68/33.77 c 33.7s | 17 | 306703 | 242132 | 593 841 | 42 | 29
35.69/35.77 c 35.7s | 17 | 326224 | 257232 | 593 884 | 42 | 29
37.69/37.78 c 37.7s | 17 | 346066 | 272132 | 593 927 | 42 | 29
39.70/39.79 c 39.7s | 17 | 365669 | 287532 | 593 970 | 42 | 29
41.19/41.21 c 41.1s | 18 | 376047 | 296252 | 653 995 | 42 | 29
43.19/43.22 c 43.1s | 18 | 392843 | 309952 | 653 1031 | 42 | 29
45.19/45.23 c 45.1s | 18 | 408990 | 323352 | 653 1066 | 42 | 29
47.18/47.24 c 47.1s | 18 | 426156 | 336852 | 653 1102 | 42 | 29
49.18/49.25 c 49.1s | 18 | 443884 | 350352 | 653 1138 | 42 | 29
51.18/51.26 c 51.2s | 18 | 462825 | 364352 | 653 1174 | 42 | 29
53.18/53.27 c 53.2s | 18 | 481706 | 378852 | 653 1213 | 42 | 29
55.18/55.28 c 55.2s | 18 | 501329 | 393952 | 653 1253 | 42 | 29
57.19/57.28 c 57.2s | 18 | 524262 | 409752 | 653 1294 | 42 | 29
59.18/59.29 c 59.2s | 18 | 545324 | 424752 | 653 1334 | 42 | 29
61.28/61.30 c 61.2s | 18 | 561530 | 437352 | 653 1367 | 42 | 29
62.18/62.28 c 62.2s | 19 | 570667 | 444482 | 719 1385 | 42 | 29
64.18/64.28 c 64.2s | 19 | 590353 | 459382 | 719 1421 | 42 | 29
66.18/66.30 c 66.2s | 19 | 607494 | 473182 | 719 1455 | 42 | 29
68.18/68.30 c 68.2s | 19 | 625684 | 487682 | 719 1490 | 42 | 29
70.28/70.32 c 70.2s | 19 | 645521 | 502682 | 719 1527 | 42 | 29
72.28/72.32 c 72.2s | 19 | 660903 | 515082 | 719 1557 | 42 | 29
74.28/74.33 c 74.2s | 19 | 676012 | 527882 | 719 1588 | 42 | 29
76.28/76.33 c 76.2s | 19 | 688956 | 538982 | 719 1615 | 42 | 29
78.28/78.35 c 78.2s | 19 | 702585 | 550182 | 719 1642 | 42 | 29
80.28/80.35 c 80.2s | 19 | 717685 | 562082 | 719 1671 | 42 | 29
82.27/82.36 c 82.3s | 19 | 734365 | 574882 | 719 1702 | 42 | 29
84.27/84.37 c 84.3s | 19 | 750205 | 587682 | 719 1734 | 42 | 29
86.27/86.37 c 86.3s | 19 | 765988 | 600282 | 719 1764 | 42 | 29
88.27/88.38 c 88.3s | 19 | 781174 | 612182 | 719 1794 | 42 | 29
90.28/90.39 c 90.3s | 19 | 795937 | 624182 | 719 1823 | 42 | 29
92.27/92.39 c 92.3s | 19 | 811325 | 636282 | 719 1852 | 42 | 29
94.28/94.40 c 94.3s | 19 | 826365 | 648582 | 719 1882 | 42 | 29
96.38/96.40 c 96.3s | 19 | 841303 | 661082 | 719 1912 | 42 | 29
97.28/97.34 c 97.2s | 20 | 848128 | 666827 | 791 1924 | 42 | 29
99.28/99.34 c 99.2s | 20 | 862498 | 679027 | 791 1952 | 42 | 29
101.28/101.36 c 101s | 20 | 876188 | 690527 | 791 1978 | 42 | 29
103.28/103.37 c 103s | 20 | 891705 | 703227 | 791 2007 | 42 | 29
105.28/105.39 c 105s | 20 | 906817 | 715927 | 791 2036 | 42 | 29
107.38/107.40 c 107s | 20 | 923423 | 729827 | 791 2067 | 42 | 29
109.38/109.41 c 109s | 20 | 937270 | 741427 | 791 2093 | 42 | 29
111.38/111.42 c 111s | 20 | 951166 | 753227 | 791 2120 | 42 | 29
113.38/113.42 c 113s | 20 | 964928 | 764827 | 791 2147 | 42 | 29
115.37/115.44 c 115s | 20 | 980054 | 777527 | 791 2175 | 42 | 29
117.37/117.45 c 117s | 20 | 994056 | 789327 | 791 2202 | 42 | 29
119.37/119.46 c 119s | 20 | 1009324 | 802227 | 791 2230 | 42 | 29
121.37/121.47 c 121s | 20 | 1026053 | 816127 | 791 2262 | 42 | 29
123.37/123.48 c 123s | 20 | 1042629 | 829927 | 791 2292 | 42 | 29
125.38/125.48 c 125s | 20 | 1059392 | 843727 | 791 2323 | 42 | 29
127.47/127.50 c 127s | 20 | 1074152 | 856127 | 791 2351 | 42 | 29
129.47/129.51 c 129s | 20 | 1088415 | 868327 | 791 2379 | 42 | 29
131.47/131.51 c 131s | 20 | 1102887 | 880827 | 791 2407 | 42 | 29
133.47/133.52 c 133s | 20 | 1116820 | 892427 | 791 2433 | 42 | 29
135.47/135.52 c 135s | 20 | 1131349 | 904527 | 791 2460 | 42 | 29
137.47/137.53 c 137s | 20 | 1145423 | 916227 | 791 2487 | 42 | 29
139.46/139.53 c 139s | 20 | 1159729 | 928227 | 791 2514 | 42 | 29
141.47/141.54 c 141s | 20 | 1176109 | 941227 | 791 2542 | 42 | 29
143.47/143.56 c 143s | 20 | 1189611 | 952827 | 791 2569 | 42 | 29
145.47/145.57 c 145s | 20 | 1203054 | 964327 | 791 2595 | 42 | 29
147.48/147.58 c 147s | 20 | 1218176 | 977227 | 791 2624 | 42 | 29
149.47/149.59 c 149s | 20 | 1233986 | 990827 | 791 2655 | 42 | 29
151.07/151.17 c 151s | 21 | 1245701 | 1000345 | 871 2675 | 42 | 29
153.07/153.18 c 153s | 21 | 1262353 | 1012945 | 871 2700 | 42 | 29
155.07/155.19 c 155s | 21 | 1277624 | 1025245 | 871 2726 | 42 | 29
157.07/157.19 c 157s | 21 | 1292890 | 1037345 | 871 2750 | 42 | 29
159.17/159.21 c 159s | 21 | 1307118 | 1048645 | 871 2773 | 42 | 29
161.17/161.21 c 161s | 21 | 1322137 | 1060745 | 871 2798 | 42 | 29
163.16/163.22 c 163s | 21 | 1338348 | 1073845 | 871 2825 | 42 | 29
165.16/165.23 c 165s | 21 | 1352998 | 1086245 | 871 2850 | 42 | 29
167.17/167.23 c 167s | 21 | 1368993 | 1099145 | 871 2877 | 42 | 29
169.16/169.23 c 169s | 21 | 1385007 | 1112545 | 871 2905 | 42 | 29
171.16/171.25 c 171s | 21 | 1401888 | 1125645 | 871 2932 | 42 | 29
173.16/173.25 c 173s | 21 | 1416894 | 1137545 | 871 2956 | 42 | 29
175.16/175.27 c 175s | 21 | 1431458 | 1149445 | 871 2981 | 42 | 29
177.17/177.28 c 177s | 21 | 1447140 | 1161745 | 871 3006 | 42 | 29
179.16/179.28 c 179s | 21 | 1462920 | 1173945 | 871 3031 | 42 | 29
181.26/181.30 c 181s | 21 | 1476976 | 1185545 | 871 3055 | 42 | 29
183.26/183.31 c 183s | 21 | 1492359 | 1197445 | 871 3079 | 42 | 29
185.26/185.31 c 185s | 21 | 1507130 | 1209145 | 871 3103 | 42 | 29
187.26/187.32 c 187s | 21 | 1522816 | 1221645 | 871 3129 | 42 | 29
189.26/189.33 c 189s | 21 | 1537949 | 1233845 | 871 3154 | 42 | 29
191.26/191.34 c 191s | 21 | 1553293 | 1245945 | 871 3179 | 42 | 29
193.26/193.35 c 193s | 21 | 1567818 | 1257645 | 871 3203 | 42 | 29
195.26/195.36 c 195s | 21 | 1582199 | 1269145 | 871 3226 | 42 | 29
197.26/197.36 c 197s | 21 | 1595992 | 1280545 | 871 3250 | 42 | 29
199.25/199.38 c 199s | 21 | 1610229 | 1291945 | 871 3273 | 42 | 29
201.26/201.39 c 201s | 21 | 1625079 | 1303745 | 871 3298 | 42 | 29
203.36/203.41 c 203s | 21 | 1640679 | 1315945 | 871 3323 | 42 | 29
205.36/205.43 c 205s | 21 | 1655348 | 1327445 | 871 3346 | 42 | 29
207.36/207.43 c 207s | 21 | 1670409 | 1339445 | 871 3371 | 42 | 29
209.36/209.43 c 209s | 21 | 1685008 | 1351245 | 871 3395 | 42 | 29
211.36/211.44 c 211s | 21 | 1699676 | 1362845 | 871 3419 | 42 | 29
213.37/213.45 c 213s | 21 | 1714262 | 1374245 | 871 3442 | 42 | 29
215.36/215.45 c 215s | 21 | 1729803 | 1386645 | 871 3468 | 42 | 29
217.36/217.46 c 217s | 21 | 1747696 | 1400445 | 871 3496 | 42 | 29
219.36/219.47 c 219s | 21 | 1763907 | 1413045 | 871 3522 | 42 | 29
221.36/221.49 c 221s | 21 | 1779097 | 1424845 | 871 3546 | 42 | 29
223.36/223.49 c 223s | 21 | 1794971 | 1437145 | 871 3572 | 42 | 29
225.46/225.51 c 225s | 21 | 1808742 | 1448545 | 871 3595 | 42 | 29
227.46/227.51 c 227s | 21 | 1823794 | 1460345 | 871 3620 | 42 | 29
229.45/229.52 c 229s | 21 | 1840119 | 1473645 | 871 3647 | 42 | 29
231.45/231.52 c 231s | 21 | 1856422 | 1486545 | 871 3674 | 42 | 29
233.45/233.54 c 233s | 21 | 1871341 | 1498345 | 959 3696 | 42 | 29
233.85/233.95 c 233s | 22 | 1874109 | 1500622 | 959 3701 | 42 | 29
235.85/235.96 c 235s | 22 | 1888898 | 1512422 | 959 3723 | 42 | 29
237.85/237.96 c 237s | 22 | 1904320 | 1524122 | 959 3745 | 42 | 29
239.86/239.97 c 239s | 22 | 1918805 | 1535422 | 959 3766 | 42 | 29
241.85/241.97 c 241s | 22 | 1932667 | 1547322 | 959 3788 | 42 | 29
243.85/243.98 c 243s | 22 | 1945833 | 1558022 | 959 3809 | 42 | 29
245.95/246.00 c 245s | 22 | 1960150 | 1569322 | 959 3830 | 42 | 29
247.95/248.00 c 247s | 22 | 1972695 | 1580022 | 959 3850 | 42 | 29
249.95/250.01 c 249s | 22 | 1985182 | 1590622 | 959 3871 | 42 | 29
251.96/252.02 c 251s | 22 | 1998825 | 1601622 | 959 3891 | 42 | 29
253.95/254.03 c 253s | 22 | 2011606 | 1612522 | 959 3912 | 42 | 29
255.95/256.03 c 255s | 22 | 2024567 | 1623122 | 959 3932 | 42 | 29
257.95/258.04 c 257s | 22 | 2038295 | 1634322 | 959 3953 | 42 | 29
259.95/260.05 c 259s | 22 | 2052813 | 1646322 | 959 3976 | 42 | 29
261.95/262.05 c 261s | 22 | 2066099 | 1657422 | 959 3997 | 42 | 29
263.96/264.07 c 263s | 22 | 2079200 | 1668022 | 959 4016 | 42 | 29
265.95/266.08 c 265s | 22 | 2093734 | 1679722 | 959 4038 | 42 | 29
267.95/268.08 c 267s | 22 | 2107065 | 1690922 | 959 4059 | 42 | 29
269.95/270.09 c 269s | 22 | 2121388 | 1702222 | 959 4080 | 42 | 29
271.95/272.09 c 271s | 22 | 2136745 | 1713922 | 959 4102 | 42 | 29
274.05/274.10 c 273s | 22 | 2151034 | 1725022 | 959 4123 | 42 | 29
276.06/276.11 c 276s | 22 | 2165907 | 1736822 | 959 4146 | 42 | 29
278.05/278.12 c 278s | 22 | 2180821 | 1748522 | 959 4168 | 42 | 29
280.05/280.12 c 280s | 22 | 2194828 | 1759822 | 959 4189 | 42 | 29
282.05/282.13 c 282s | 22 | 2209918 | 1771322 | 959 4211 | 42 | 29
284.05/284.15 c 284s | 22 | 2225116 | 1783222 | 959 4233 | 42 | 29
286.05/286.16 c 286s | 22 | 2239139 | 1794522 | 959 4254 | 42 | 29
288.05/288.16 c 288s | 22 | 2253147 | 1805822 | 959 4276 | 42 | 29
290.04/290.16 c 290s | 22 | 2267533 | 1817122 | 959 4297 | 42 | 29
292.04/292.17 c 292s | 22 | 2281875 | 1828522 | 959 4319 | 42 | 29
294.04/294.18 c 294s | 22 | 2295637 | 1839822 | 959 4340 | 42 | 29
296.04/296.20 c 296s | 22 | 2309730 | 1851222 | 959 4361 | 42 | 29
298.15/298.21 c 298s | 22 | 2324743 | 1863322 | 959 4384 | 42 | 29
300.14/300.22 c 300s | 22 | 2341828 | 1875422 | 959 4407 | 42 | 29
302.14/302.23 c 302s | 22 | 2357573 | 1887422 | 959 4429 | 42 | 29
304.14/304.24 c 304s | 22 | 2373911 | 1899222 | 959 4452 | 42 | 29
306.14/306.24 c 306s | 22 | 2391205 | 1911922 | 959 4475 | 42 | 29
308.14/308.25 c 308s | 22 | 2407534 | 1924222 | 959 4498 | 42 | 29
310.15/310.27 c 310s | 22 | 2421514 | 1935822 | 959 4520 | 42 | 29
312.14/312.27 c 312s | 22 | 2435002 | 1947322 | 959 4542 | 42 | 29
314.14/314.28 c 314s | 22 | 2447705 | 1958422 | 959 4562 | 42 | 29
316.14/316.29 c 316s | 22 | 2461116 | 1969922 | 959 4584 | 42 | 29
318.24/318.30 c 318s | 22 | 2474682 | 1981422 | 959 4605 | 42 | 29
320.24/320.31 c 320s | 22 | 2487555 | 1992522 | 959 4626 | 42 | 29
322.24/322.32 c 322s | 22 | 2500783 | 2003622 | 959 4647 | 42 | 29
324.24/324.33 c 324s | 22 | 2514958 | 2015322 | 959 4668 | 42 | 29
326.24/326.34 c 326s | 22 | 2528812 | 2026822 | 959 4690 | 42 | 29
328.24/328.35 c 328s | 22 | 2542032 | 2038022 | 959 4711 | 42 | 29
330.23/330.38 c 330s | 22 | 2554978 | 2049122 | 959 4732 | 42 | 29
332.24/332.39 c 332s | 22 | 2568400 | 2060322 | 959 4752 | 42 | 29
334.23/334.39 c 334s | 22 | 2582599 | 2071722 | 959 4774 | 42 | 29
336.33/336.41 c 336s | 22 | 2596540 | 2083322 | 959 4796 | 42 | 29
338.34/338.42 c 338s | 22 | 2612813 | 2095922 | 959 4819 | 42 | 29
340.34/340.43 c 340s | 22 | 2627590 | 2107922 | 959 4842 | 42 | 29
342.34/342.44 c 342s | 22 | 2641003 | 2119322 | 959 4863 | 42 | 29
344.35/344.45 c 344s | 22 | 2658115 | 2132122 | 959 4887 | 42 | 29
346.34/346.45 c 346s | 22 | 2671718 | 2143322 | 959 4908 | 42 | 29
348.34/348.47 c 348s | 22 | 2686330 | 2154622 | 959 4929 | 42 | 29
350.34/350.47 c 350s | 22 | 2700287 | 2165922 | 959 4951 | 42 | 29
352.34/352.48 c 352s | 22 | 2715190 | 2177722 | 959 4973 | 42 | 29
354.33/354.50 c 354s | 22 | 2728885 | 2189022 | 959 4994 | 42 | 29
356.44/356.51 c 356s | 22 | 2742030 | 2200022 | 959 5015 | 42 | 29
358.43/358.52 c 358s | 22 | 2756767 | 2211922 | 959 5037 | 42 | 29
360.43/360.54 c 360s | 22 | 2770237 | 2223122 | 959 5058 | 42 | 29
362.43/362.55 c 362s | 22 | 2783403 | 2234122 | 959 5079 | 42 | 29
364.43/364.55 c 364s | 22 | 2797262 | 2245522 | 1055 5098 | 42 | 29
365.33/365.49 c 365s | 23 | 2804063 | 2251038 | 1055 5108 | 42 | 29
367.35/367.50 c 367s | 23 | 2819271 | 2263338 | 1055 5129 | 42 | 29
369.44/369.51 c 369s | 23 | 2835381 | 2276338 | 1055 5151 | 42 | 29
371.44/371.52 c 371s | 23 | 2850886 | 2288938 | 1055 5173 | 42 | 29
373.44/373.53 c 373s | 23 | 2865386 | 2300738 | 1055 5194 | 42 | 29
375.44/375.53 c 375s | 23 | 2880550 | 2312938 | 1055 5215 | 42 | 29
377.43/377.54 c 377s | 23 | 2895596 | 2325138 | 1055 5236 | 42 | 29
379.44/379.54 c 379s | 23 | 2909804 | 2336838 | 1055 5256 | 42 | 29
381.43/381.56 c 381s | 23 | 2924280 | 2348838 | 1055 5277 | 42 | 29
383.43/383.56 c 383s | 23 | 2942018 | 2362538 | 1055 5301 | 42 | 29
385.43/385.56 c 385s | 23 | 2958344 | 2376238 | 1055 5325 | 42 | 29
387.43/387.56 c 387s | 23 | 2972459 | 2387938 | 1055 5345 | 42 | 29
389.44/389.57 c 389s | 23 | 2990507 | 2403838 | 1055 5373 | 42 | 29
391.43/391.59 c 391s | 23 | 3006489 | 2416438 | 1055 5395 | 42 | 29
393.43/393.59 c 393s | 23 | 3020050 | 2427538 | 1055 5414 | 42 | 29
395.53/395.60 c 395s | 23 | 3033684 | 2438738 | 1055 5433 | 42 | 29
397.53/397.61 c 397s | 23 | 3047582 | 2450138 | 1055 5453 | 42 | 29
399.53/399.63 c 399s | 23 | 3060733 | 2461338 | 1055 5473 | 42 | 29
401.53/401.63 c 401s | 23 | 3073850 | 2472338 | 1055 5492 | 42 | 29
403.53/403.63 c 403s | 23 | 3086781 | 2483338 | 1055 5511 | 42 | 29
405.52/405.65 c 405s | 23 | 3103176 | 2496838 | 1055 5534 | 42 | 29
407.52/407.65 c 407s | 23 | 3116645 | 2507838 | 1055 5553 | 42 | 29
409.53/409.66 c 409s | 23 | 3131351 | 2519538 | 1055 5574 | 42 | 29
411.53/411.66 c 411s | 23 | 3144306 | 2530338 | 1055 5593 | 42 | 29
413.54/413.66 c 413s | 23 | 3157764 | 2541338 | 1055 5612 | 42 | 29
415.53/415.67 c 415s | 23 | 3172475 | 2552938 | 1055 5632 | 42 | 29
417.53/417.67 c 417s | 23 | 3186045 | 2564138 | 1055 5651 | 42 | 29
419.53/419.68 c 419s | 23 | 3200608 | 2576638 | 1055 5673 | 42 | 29
421.53/421.69 c 421s | 23 | 3215618 | 2589438 | 1055 5695 | 42 | 29
423.63/423.70 c 423s | 23 | 3229993 | 2601738 | 1055 5716 | 42 | 29
425.62/425.71 c 425s | 23 | 3244619 | 2613738 | 1055 5737 | 42 | 29
427.61/427.73 c 427s | 23 | 3258593 | 2625738 | 1055 5758 | 42 | 29
429.61/429.74 c 429s | 23 | 3271238 | 2636738 | 1055 5777 | 42 | 29
431.61/431.75 c 431s | 23 | 3283859 | 2647738 | 1055 5796 | 42 | 29
433.61/433.75 c 433s | 23 | 3297807 | 2659938 | 1055 5817 | 42 | 29
435.61/435.76 c 435s | 23 | 3312643 | 2672338 | 1055 5839 | 42 | 29
437.61/437.77 c 437s | 23 | 3326904 | 2684538 | 1055 5859 | 42 | 29
439.61/439.78 c 439s | 23 | 3340783 | 2696638 | 1055 5880 | 42 | 29
441.60/441.78 c 441s | 23 | 3355589 | 2709238 | 1055 5902 | 42 | 29
443.60/443.79 c 443s | 23 | 3371298 | 2722438 | 1055 5925 | 42 | 29
445.70/445.80 c 445s | 23 | 3384658 | 2733938 | 1055 5945 | 42 | 29
447.61/447.80 c 447s | 23 | 3398525 | 2746138 | 1055 5966 | 42 | 29
449.71/449.81 c 449s | 23 | 3411232 | 2757538 | 1055 5985 | 42 | 29
451.71/451.82 c 451s | 23 | 3424953 | 2769338 | 1055 6006 | 42 | 29
453.71/453.83 c 453s | 23 | 3438323 | 2780938 | 1055 6026 | 42 | 29
455.71/455.86 c 455s | 23 | 3451064 | 2791738 | 1055 6045 | 42 | 29
457.70/457.86 c 457s | 23 | 3466181 | 2804138 | 1055 6066 | 42 | 29
459.71/459.87 c 459s | 23 | 3480196 | 2816538 | 1055 6087 | 42 | 29
461.70/461.87 c 461s | 23 | 3492988 | 2828038 | 1055 6107 | 42 | 29
463.69/463.88 c 463s | 23 | 3506164 | 2839538 | 1055 6127 | 42 | 29
465.69/465.88 c 465s | 23 | 3519900 | 2851038 | 1055 6147 | 42 | 29
467.69/467.89 c 467s | 23 | 3536023 | 2864638 | 1055 6171 | 42 | 29
469.79/469.90 c 469s | 23 | 3550960 | 2877138 | 1055 6192 | 42 | 29
471.80/471.92 c 471s | 23 | 3564572 | 2888538 | 1055 6212 | 42 | 29
473.79/473.92 c 473s | 23 | 3577773 | 2899738 | 1055 6231 | 42 | 29
475.79/475.93 c 475s | 23 | 3592038 | 2911838 | 1055 6252 | 42 | 29
477.79/477.94 c 477s | 23 | 3606762 | 2923938 | 1055 6273 | 42 | 29
479.80/479.96 c 479s | 23 | 3619562 | 2934638 | 1055 6292 | 42 | 29
481.80/481.96 c 481s | 23 | 3631827 | 2945138 | 1055 6310 | 42 | 29
483.79/483.97 c 483s | 23 | 3647252 | 2957738 | 1055 6332 | 42 | 29
485.79/485.98 c 485s | 23 | 3662558 | 2969538 | 1055 6353 | 42 | 29
487.79/487.98 c 487s | 23 | 3677348 | 2981538 | 1055 6373 | 42 | 29
489.79/489.99 c 489s | 23 | 3692437 | 2993338 | 1055 6394 | 42 | 29
491.89/492.00 c 491s | 23 | 3706559 | 3005038 | 1055 6414 | 42 | 29
493.79/494.00 c 493s | 23 | 3719764 | 3016238 | 1055 6434 | 42 | 29
495.88/496.01 c 495s | 23 | 3733989 | 3027838 | 1055 6454 | 42 | 29
497.88/498.02 c 497s | 23 | 3748366 | 3039538 | 1055 6474 | 42 | 29
499.88/500.02 c 499s | 23 | 3762205 | 3050638 | 1055 6494 | 42 | 29
501.88/502.02 c 501s | 23 | 3775995 | 3061838 | 1055 6513 | 42 | 29
503.87/504.03 c 503s | 23 | 3789287 | 3072838 | 1055 6532 | 42 | 29
505.88/506.04 c 505s | 23 | 3803718 | 3084938 | 1055 6553 | 42 | 29
507.87/508.05 c 507s | 23 | 3817631 | 3096338 | 1055 6573 | 42 | 29
509.87/510.06 c 509s | 23 | 3832216 | 3108538 | 1055 6595 | 42 | 29
511.87/512.08 c 511s | 23 | 3847428 | 3120538 | 1055 6615 | 42 | 29
513.86/514.08 c 513s | 23 | 3861841 | 3131938 | 1055 6635 | 42 | 29
515.87/516.09 c 515s | 23 | 3876294 | 3143538 | 1055 6656 | 42 | 29
517.86/518.10 c 517s | 23 | 3890573 | 3154938 | 1055 6676 | 42 | 29
519.96/520.10 c 519s | 23 | 3904208 | 3166238 | 1055 6695 | 42 | 29
521.96/522.11 c 522s | 23 | 3919960 | 3179538 | 1055 6719 | 42 | 29
523.95/524.12 c 524s | 23 | 3935515 | 3192338 | 1055 6741 | 42 | 29
525.95/526.12 c 526s | 23 | 3951358 | 3205238 | 1055 6763 | 42 | 29
527.96/528.14 c 528s | 23 | 3966346 | 3217538 | 1055 6784 | 42 | 29
529.95/530.14 c 530s | 23 | 3980927 | 3229538 | 1055 6805 | 42 | 29
531.95/532.15 c 532s | 23 | 3995049 | 3241538 | 1055 6826 | 42 | 29
533.95/534.16 c 534s | 23 | 4010451 | 3253738 | 1055 6848 | 42 | 29
535.95/536.17 c 536s | 23 | 4025842 | 3266138 | 1055 6869 | 42 | 29
537.95/538.18 c 538s | 23 | 4040081 | 3277938 | 1055 6890 | 42 | 29
539.96/540.19 c 540s | 23 | 4056124 | 3291238 | 1055 6913 | 42 | 29
541.95/542.19 c 542s | 23 | 4072712 | 3304738 | 1055 6937 | 42 | 29
544.05/544.20 c 544s | 23 | 4090230 | 3317738 | 1055 6959 | 42 | 29
546.05/546.21 c 546s | 23 | 4106121 | 3330038 | 1055 6981 | 42 | 29
548.05/548.21 c 548s | 23 | 4121057 | 3342338 | 1055 7002 | 42 | 29
550.05/550.22 c 550s | 23 | 4136809 | 3355038 | 1161 7024 | 42 | 29
552.05/552.22 c 552s | 23 | 4151699 | 3366938 | 1161 7043 | 42 | 29
553.64/553.85 c 553s | 24 | 4163459 | 3376662 | 1161 7058 | 42 | 29
555.64/555.85 c 555s | 24 | 4176919 | 3387662 | 1161 7076 | 42 | 29
557.65/557.87 c 557s | 24 | 4190819 | 3398562 | 1161 7093 | 42 | 29
559.64/559.87 c 559s | 24 | 4203942 | 3409362 | 1161 7110 | 42 | 29
561.64/561.87 c 561s | 24 | 4218964 | 3421362 | 1161 7129 | 42 | 29
563.64/563.88 c 563s | 24 | 4234657 | 3433662 | 1161 7148 | 42 | 29
565.63/565.89 c 565s | 24 | 4248368 | 3444562 | 1161 7165 | 42 | 29
567.73/567.91 c 567s | 24 | 4261693 | 3455362 | 1161 7183 | 42 | 29
569.73/569.92 c 569s | 24 | 4273799 | 3465462 | 1161 7199 | 42 | 29
571.73/571.93 c 571s | 24 | 4287851 | 3476362 | 1161 7216 | 42 | 29
573.72/573.93 c 573s | 24 | 4300732 | 3486662 | 1161 7232 | 42 | 29
575.72/575.95 c 575s | 24 | 4313445 | 3497162 | 1161 7249 | 42 | 29
577.73/577.96 c 577s | 24 | 4326311 | 3507662 | 1161 7266 | 42 | 29
579.73/579.96 c 579s | 24 | 4340582 | 3518962 | 1161 7284 | 42 | 29
581.73/581.98 c 581s | 24 | 4354429 | 3529962 | 1161 7301 | 42 | 29
583.72/583.99 c 583s | 24 | 4368442 | 3540762 | 1161 7318 | 42 | 29
585.82/586.01 c 585s | 24 | 4381368 | 3551462 | 1161 7335 | 42 | 29
587.82/588.01 c 587s | 24 | 4394534 | 3562262 | 1161 7352 | 42 | 29
589.82/590.02 c 589s | 24 | 4407727 | 3572962 | 1161 7369 | 42 | 29
591.82/592.02 c 591s | 24 | 4422236 | 3584162 | 1161 7386 | 42 | 29
593.82/594.05 c 593s | 24 | 4436480 | 3594962 | 1161 7404 | 42 | 29
595.82/596.06 c 595s | 24 | 4450245 | 3605762 | 1161 7421 | 42 | 29
597.82/598.07 c 597s | 24 | 4464308 | 3616762 | 1161 7438 | 42 | 29
599.82/600.07 c 599s | 24 | 4478693 | 3627762 | 1161 7455 | 42 | 29
601.82/602.08 c 601s | 24 | 4492782 | 3638562 | 1161 7472 | 42 | 29
603.81/604.09 c 603s | 24 | 4509728 | 3650762 | 1161 7492 | 42 | 29
605.81/606.09 c 605s | 24 | 4521836 | 3661262 | 1161 7508 | 42 | 29
607.91/608.10 c 607s | 24 | 4535775 | 3671962 | 1161 7525 | 42 | 29
609.91/610.10 c 609s | 24 | 4548653 | 3682162 | 1161 7541 | 42 | 29
611.91/612.11 c 612s | 24 | 4562423 | 3693362 | 1161 7559 | 42 | 29
613.90/614.12 c 614s | 24 | 4576250 | 3704562 | 1161 7576 | 42 | 29
615.91/616.13 c 616s | 24 | 4589647 | 3715562 | 1161 7594 | 42 | 29
617.90/618.14 c 618s | 24 | 4603407 | 3726462 | 1161 7611 | 42 | 29
619.90/620.15 c 620s | 24 | 4617039 | 3737562 | 1161 7628 | 42 | 29
621.90/622.16 c 622s | 24 | 4631254 | 3748262 | 1161 7645 | 42 | 29
623.89/624.16 c 624s | 24 | 4644613 | 3758962 | 1161 7662 | 42 | 29
625.89/626.17 c 626s | 24 | 4657711 | 3769862 | 1161 7680 | 42 | 29
627.90/628.19 c 628s | 24 | 4671466 | 3780862 | 1161 7697 | 42 | 29
629.89/630.19 c 630s | 24 | 4685657 | 3792162 | 1161 7715 | 42 | 29
631.89/632.19 c 632s | 24 | 4698853 | 3802862 | 1161 7732 | 42 | 29
633.98/634.20 c 634s | 24 | 4711955 | 3813562 | 1161 7749 | 42 | 29
635.98/636.21 c 636s | 24 | 4726199 | 3824362 | 1161 7766 | 42 | 29
637.98/638.21 c 638s | 24 | 4741507 | 3835862 | 1161 7784 | 42 | 29
639.99/640.22 c 640s | 24 | 4754670 | 3846362 | 1161 7801 | 42 | 29
641.98/642.23 c 642s | 24 | 4768866 | 3857462 | 1161 7818 | 42 | 29
643.97/644.23 c 644s | 24 | 4783319 | 3868862 | 1161 7836 | 42 | 29
645.97/646.24 c 646s | 24 | 4797739 | 3880262 | 1161 7854 | 42 | 29
647.97/648.25 c 648s | 24 | 4811039 | 3891062 | 1161 7871 | 42 | 29
649.98/650.26 c 650s | 24 | 4825246 | 3902162 | 1161 7889 | 42 | 29
651.97/652.27 c 652s | 24 | 4840331 | 3913462 | 1161 7906 | 42 | 29
653.96/654.27 c 654s | 24 | 4855102 | 3924762 | 1161 7924 | 42 | 29
655.96/656.29 c 656s | 24 | 4868369 | 3935562 | 1161 7941 | 42 | 29
657.96/658.29 c 658s | 24 | 4882928 | 3946362 | 1161 7958 | 42 | 29
659.96/660.30 c 660s | 24 | 4896326 | 3956962 | 1161 7975 | 42 | 29
662.08/662.30 c 662s | 24 | 4909059 | 3967362 | 1161 7992 | 42 | 29
664.07/664.30 c 664s | 24 | 4922448 | 3978162 | 1161 8009 | 42 | 29
666.06/666.32 c 666s | 24 | 4937699 | 3989262 | 1161 8026 | 42 | 29
668.06/668.32 c 668s | 24 | 4952371 | 4000462 | 1161 8044 | 42 | 29
670.06/670.32 c 670s | 24 | 4966577 | 4011362 | 1161 8061 | 42 | 29
672.06/672.33 c 672s | 24 | 4980781 | 4022262 | 1161 8079 | 42 | 29
674.06/674.34 c 674s | 24 | 4995316 | 4033362 | 1161 8096 | 42 | 29
676.05/676.35 c 676s | 24 | 5008873 | 4043762 | 1161 8113 | 42 | 29
678.05/678.35 c 678s | 24 | 5024915 | 4055662 | 1161 8132 | 42 | 29
680.05/680.36 c 680s | 24 | 5037697 | 4066062 | 1161 8148 | 42 | 29
682.05/682.38 c 682s | 24 | 5051500 | 4077262 | 1161 8166 | 42 | 29
684.05/684.38 c 684s | 24 | 5065730 | 4087962 | 1161 8183 | 42 | 29
686.04/686.40 c 686s | 24 | 5079240 | 4098662 | 1161 8200 | 42 | 29
688.14/688.41 c 688s | 24 | 5093164 | 4109662 | 1161 8217 | 42 | 29
690.14/690.41 c 690s | 24 | 5108669 | 4120962 | 1161 8235 | 42 | 29
692.14/692.41 c 692s | 24 | 5122735 | 4131862 | 1161 8252 | 42 | 29
694.14/694.42 c 694s | 24 | 5136448 | 4142862 | 1161 8270 | 42 | 29
696.14/696.43 c 696s | 24 | 5151314 | 4154462 | 1161 8288 | 42 | 29
698.13/698.44 c 698s | 24 | 5165981 | 4165862 | 1161 8306 | 42 | 29
700.14/700.44 c 700s | 24 | 5180135 | 4176962 | 1161 8324 | 42 | 29
702.14/702.44 c 702s | 24 | 5192919 | 4187262 | 1161 8340 | 42 | 29
704.14/704.45 c 704s | 24 | 5206741 | 4198562 | 1161 8358 | 42 | 29
706.14/706.46 c 706s | 24 | 5221422 | 4210962 | 1161 8378 | 42 | 29
708.14/708.48 c 708s | 24 | 5240285 | 4226962 | 1161 8403 | 42 | 29
710.14/710.49 c 710s | 24 | 5257368 | 4240362 | 1161 8425 | 42 | 29
712.14/712.49 c 712s | 24 | 5274242 | 4253262 | 1161 8445 | 42 | 29
714.13/714.49 c 714s | 24 | 5290193 | 4265862 | 1161 8465 | 42 | 29
716.13/716.49 c 716s | 24 | 5305885 | 4278362 | 1161 8485 | 42 | 29
718.23/718.50 c 718s | 24 | 5320069 | 4289662 | 1161 8503 | 42 | 29
720.24/720.50 c 720s | 24 | 5334214 | 4301262 | 1161 8521 | 42 | 29
722.23/722.51 c 722s | 24 | 5348638 | 4313062 | 1161 8540 | 42 | 29
724.22/724.51 c 724s | 24 | 5363261 | 4324762 | 1161 8559 | 42 | 29
726.22/726.53 c 726s | 24 | 5376813 | 4335462 | 1161 8576 | 42 | 29
728.22/728.53 c 728s | 24 | 5393312 | 4347362 | 1161 8595 | 42 | 29
730.23/730.54 c 730s | 24 | 5409934 | 4359562 | 1161 8614 | 42 | 29
732.22/732.54 c 732s | 24 | 5424684 | 4370762 | 1161 8632 | 42 | 29
734.21/734.56 c 734s | 24 | 5439415 | 4381862 | 1161 8649 | 42 | 29
736.21/736.57 c 736s | 24 | 5453968 | 4393062 | 1161 8667 | 42 | 29
738.21/738.57 c 738s | 24 | 5468448 | 4404262 | 1161 8685 | 42 | 29
740.21/740.58 c 740s | 24 | 5483119 | 4415262 | 1161 8703 | 42 | 29
742.22/742.59 c 742s | 24 | 5497151 | 4425862 | 1161 8719 | 42 | 29
744.30/744.61 c 744s | 24 | 5510616 | 4436562 | 1161 8736 | 42 | 29
746.30/746.62 c 746s | 24 | 5525732 | 4447562 | 1161 8754 | 42 | 29
748.30/748.64 c 748s | 24 | 5541276 | 4459062 | 1161 8772 | 42 | 29
750.30/750.65 c 750s | 24 | 5554167 | 4469662 | 1161 8789 | 42 | 29
752.30/752.66 c 752s | 24 | 5568998 | 4481562 | 1161 8808 | 42 | 29
754.30/754.67 c 754s | 24 | 5583214 | 4492862 | 1161 8826 | 42 | 29
756.31/756.69 c 756s | 24 | 5597904 | 4504462 | 1161 8845 | 42 | 29
758.30/758.69 c 758s | 24 | 5613069 | 4516162 | 1161 8863 | 42 | 29
760.40/760.70 c 760s | 24 | 5627152 | 4527262 | 1161 8881 | 42 | 29
762.40/762.71 c 762s | 24 | 5641447 | 4538462 | 1161 8899 | 42 | 29
764.40/764.72 c 764s | 24 | 5655547 | 4549962 | 1161 8917 | 42 | 29
766.41/766.73 c 766s | 24 | 5669634 | 4561362 | 1161 8935 | 42 | 29
768.40/768.74 c 768s | 24 | 5684383 | 4573362 | 1161 8954 | 42 | 29
770.40/770.76 c 770s | 24 | 5697486 | 4584162 | 1161 8972 | 42 | 29
772.40/772.77 c 772s | 24 | 5711010 | 4595162 | 1161 8989 | 42 | 29
774.40/774.77 c 774s | 24 | 5724700 | 4606362 | 1161 9007 | 42 | 29
776.40/776.77 c 776s | 24 | 5737778 | 4617062 | 1161 9024 | 42 | 29
778.39/778.78 c 778s | 24 | 5751452 | 4628162 | 1161 9041 | 42 | 29
780.39/780.80 c 780s | 24 | 5765485 | 4638962 | 1161 9059 | 42 | 29
782.49/782.80 c 782s | 24 | 5778488 | 4649862 | 1161 9076 | 42 | 29
784.49/784.80 c 784s | 24 | 5791437 | 4660262 | 1161 9092 | 42 | 29
786.49/786.81 c 786s | 24 | 5805193 | 4670862 | 1161 9109 | 42 | 29
788.49/788.81 c 788s | 24 | 5817934 | 4681362 | 1161 9126 | 42 | 29
790.48/790.82 c 790s | 24 | 5830455 | 4691862 | 1161 9143 | 42 | 29
792.48/792.84 c 792s | 24 | 5844809 | 4703362 | 1161 9161 | 42 | 29
794.48/794.85 c 794s | 24 | 5859802 | 4714962 | 1161 9179 | 42 | 29
796.48/796.85 c 796s | 24 | 5875435 | 4726562 | 1161 9198 | 42 | 29
798.48/798.86 c 798s | 24 | 5891108 | 4738262 | 1161 9216 | 42 | 29
800.49/800.87 c 800s | 24 | 5904606 | 4748962 | 1161 9233 | 42 | 29
802.48/802.89 c 802s | 24 | 5917471 | 4759862 | 1161 9250 | 42 | 29
804.48/804.89 c 804s | 24 | 5931352 | 4771062 | 1161 9268 | 42 | 29
806.48/806.89 c 806s | 24 | 5946284 | 4782662 | 1161 9286 | 42 | 29
808.57/808.90 c 808s | 24 | 5960121 | 4793862 | 1161 9304 | 42 | 29
810.57/810.91 c 810s | 24 | 5974265 | 4805062 | 1161 9321 | 42 | 29
812.58/812.92 c 812s | 24 | 5987886 | 4816162 | 1161 9339 | 42 | 29
814.57/814.92 c 814s | 24 | 6001831 | 4827462 | 1161 9357 | 42 | 29
816.56/816.93 c 816s | 24 | 6017057 | 4838762 | 1161 9375 | 42 | 29
818.56/818.93 c 818s | 24 | 6032452 | 4852162 | 1161 9396 | 42 | 29
820.57/820.93 c 820s | 24 | 6049320 | 4864662 | 1161 9416 | 42 | 29
822.58/822.93 c 822s | 24 | 6068010 | 4877362 | 1161 9436 | 42 | 29
824.57/824.93 c 824s | 24 | 6085373 | 4892262 | 1161 9460 | 42 | 29
826.57/826.94 c 826s | 24 | 6099557 | 4902862 | 1161 9476 | 42 | 29
828.57/828.95 c 828s | 24 | 6111944 | 4913262 | 1161 9493 | 42 | 29
830.56/830.96 c 830s | 24 | 6125838 | 4924562 | 1161 9511 | 42 | 29
832.56/832.96 c 832s | 24 | 6140414 | 4936362 | 1161 9530 | 42 | 29
834.56/834.98 c 834s | 24 | 6157385 | 4949862 | 1161 9551 | 42 | 29
836.56/836.98 c 836s | 24 | 6173101 | 4962462 | 1161 9571 | 42 | 29
838.56/838.99 c 838s | 24 | 6188895 | 4974862 | 1161 9591 | 42 | 29
840.56/840.99 c 840s | 24 | 6203609 | 4986862 | 1161 9610 | 42 | 29
842.66/843.00 c 842s | 24 | 6218515 | 4998862 | 1161 9629 | 42 | 29
844.65/845.00 c 844s | 24 | 6233773 | 5010462 | 1161 9647 | 42 | 29
846.66/847.02 c 846s | 24 | 6248162 | 5021962 | 1161 9665 | 42 | 29
848.65/849.03 c 848s | 24 | 6263286 | 5033962 | 1278 9683 | 42 | 29
850.65/851.03 c 850s | 24 | 6277572 | 5044962 | 1278 9699 | 42 | 29
852.65/853.03 c 852s | 24 | 6297390 | 5058462 | 1278 9718 | 42 | 29
853.74/854.11 c 854s | 25 | 6306657 | 5065098 | 1278 9728 | 42 | 29
855.74/856.12 c 856s | 25 | 6323663 | 5077798 | 1278 9747 | 42 | 29
857.75/858.14 c 858s | 25 | 6338980 | 5089398 | 1278 9763 | 42 | 29
859.75/860.14 c 860s | 25 | 6353840 | 5101398 | 1278 9781 | 42 | 29
861.75/862.15 c 862s | 25 | 6370804 | 5113798 | 1278 9799 | 42 | 29
863.74/864.16 c 864s | 25 | 6385146 | 5125398 | 1278 9815 | 42 | 29
865.74/866.17 c 866s | 25 | 6396708 | 5135298 | 1278 9830 | 42 | 29
867.74/868.18 c 868s | 25 | 6408994 | 5145698 | 1278 9845 | 42 | 29
869.74/870.20 c 870s | 25 | 6421160 | 5156198 | 1278 9860 | 42 | 29
871.84/872.21 c 872s | 25 | 6432865 | 5166198 | 1278 9874 | 42 | 29
873.83/874.23 c 874s | 25 | 6445000 | 5176598 | 1278 9889 | 42 | 29
875.83/876.24 c 876s | 25 | 6457932 | 5187398 | 1278 9905 | 42 | 29
877.83/878.25 c 878s | 25 | 6470640 | 5197998 | 1278 9920 | 42 | 29
879.83/880.25 c 880s | 25 | 6482421 | 5208098 | 1278 9934 | 42 | 29
881.84/882.26 c 882s | 25 | 6494723 | 5218398 | 1278 9949 | 42 | 29
883.83/884.26 c 884s | 25 | 6506508 | 5228398 | 1278 9964 | 42 | 29
885.83/886.28 c 886s | 25 | 6519146 | 5238898 | 1278 9979 | 42 | 29
887.83/888.29 c 888s | 25 | 6530940 | 5248798 | 1278 9993 | 42 | 29
889.92/890.30 c 890s | 25 | 6542341 | 5258798 | 1278 10008 | 42 | 29
891.92/892.32 c 892s | 25 | 6554162 | 5268998 | 1278 10022 | 42 | 29
893.93/894.33 c 894s | 25 | 6565496 | 5278898 | 1278 10037 | 42 | 29
895.92/896.33 c 896s | 25 | 6577161 | 5288898 | 1278 10051 | 42 | 29
897.92/898.35 c 898s | 25 | 6589067 | 5299198 | 1278 10066 | 42 | 29
899.92/900.36 c 900s | 25 | 6600343 | 5308998 | 1278 10080 | 42 | 29
901.92/902.37 c 902s | 25 | 6612322 | 5319598 | 1278 10095 | 42 | 29
903.92/904.37 c 904s | 25 | 6625276 | 5330498 | 1278 10111 | 42 | 29
905.91/906.37 c 906s | 25 | 6639083 | 5341698 | 1278 10127 | 42 | 29
907.91/908.39 c 908s | 25 | 6654666 | 5353798 | 1278 10144 | 42 | 29
910.01/910.40 c 910s | 25 | 6668688 | 5365198 | 1278 10161 | 42 | 29
912.01/912.41 c 912s | 25 | 6680747 | 5375498 | 1278 10176 | 42 | 29
914.01/914.42 c 914s | 25 | 6693406 | 5385898 | 1278 10191 | 42 | 29
916.01/916.44 c 916s | 25 | 6708170 | 5397798 | 1278 10208 | 42 | 29
918.00/918.45 c 918s | 25 | 6720964 | 5408598 | 1278 10223 | 42 | 29
920.00/920.45 c 920s | 25 | 6731772 | 5418098 | 1278 10237 | 42 | 29
922.00/922.45 c 922s | 25 | 6742196 | 5427298 | 1278 10250 | 42 | 29
924.01/924.47 c 924s | 25 | 6754223 | 5437698 | 1278 10265 | 42 | 29
926.01/926.48 c 926s | 25 | 6765302 | 5447298 | 1278 10279 | 42 | 29
928.02/928.49 c 928s | 25 | 6776381 | 5456898 | 1278 10293 | 42 | 29
930.01/930.49 c 930s | 25 | 6788087 | 5466898 | 1278 10307 | 42 | 29
932.01/932.49 c 932s | 25 | 6800293 | 5477098 | 1278 10322 | 42 | 29
934.11/934.50 c 934s | 25 | 6812925 | 5487698 | 1278 10337 | 42 | 29
936.10/936.51 c 936s | 25 | 6825033 | 5498098 | 1278 10352 | 42 | 29
938.10/938.52 c 938s | 25 | 6837655 | 5508598 | 1278 10368 | 42 | 29
940.11/940.54 c 940s | 25 | 6850004 | 5518998 | 1278 10383 | 42 | 29
942.10/942.55 c 942s | 25 | 6861122 | 5528798 | 1278 10397 | 42 | 29
944.10/944.57 c 944s | 25 | 6873350 | 5539398 | 1278 10412 | 42 | 29
946.10/946.57 c 946s | 25 | 6885063 | 5549598 | 1278 10427 | 42 | 29
948.10/948.59 c 948s | 25 | 6896649 | 5559398 | 1278 10441 | 42 | 29
950.20/950.61 c 950s | 25 | 6909788 | 5570098 | 1278 10456 | 42 | 29
952.20/952.63 c 952s | 25 | 6923804 | 5581198 | 1278 10472 | 42 | 29
954.19/954.63 c 954s | 25 | 6935722 | 5591098 | 1278 10487 | 42 | 29
956.19/956.65 c 956s | 25 | 6948180 | 5601698 | 1278 10502 | 42 | 29
958.19/958.66 c 958s | 25 | 6959903 | 5611698 | 1278 10516 | 42 | 29
960.19/960.67 c 960s | 25 | 6972128 | 5621998 | 1278 10531 | 42 | 29
962.20/962.69 c 962s | 25 | 6983681 | 5631798 | 1278 10545 | 42 | 29
964.18/964.70 c 964s | 25 | 6995445 | 5641698 | 1278 10560 | 42 | 29
966.28/966.71 c 966s | 25 | 7007942 | 5651698 | 1278 10574 | 42 | 29
968.28/968.71 c 968s | 25 | 7019398 | 5661298 | 1278 10588 | 42 | 29
970.28/970.72 c 970s | 25 | 7030751 | 5671098 | 1278 10602 | 42 | 29
972.28/972.73 c 972s | 25 | 7042081 | 5680798 | 1278 10616 | 42 | 29
974.28/974.73 c 974s | 25 | 7053518 | 5690598 | 1278 10630 | 42 | 29
976.28/976.74 c 976s | 25 | 7065529 | 5700898 | 1278 10645 | 42 | 29
978.28/978.75 c 978s | 25 | 7076665 | 5710498 | 1278 10659 | 42 | 29
980.28/980.75 c 980s | 25 | 7087465 | 5719898 | 1278 10673 | 42 | 29
982.28/982.76 c 982s | 25 | 7098536 | 5729398 | 1278 10687 | 42 | 29
984.27/984.76 c 984s | 25 | 7110501 | 5739498 | 1278 10701 | 42 | 29
986.28/986.78 c 986s | 25 | 7121415 | 5749098 | 1278 10715 | 42 | 29
988.27/988.79 c 988s | 25 | 7131776 | 5758198 | 1278 10728 | 42 | 29
990.37/990.80 c 990s | 25 | 7142889 | 5767898 | 1278 10742 | 42 | 29
992.37/992.81 c 992s | 25 | 7155172 | 5778098 | 1278 10757 | 42 | 29
994.36/994.82 c 994s | 25 | 7167366 | 5788098 | 1278 10771 | 42 | 29
996.37/996.83 c 996s | 25 | 7180560 | 5798898 | 1278 10786 | 42 | 29
998.38/998.85 c 998s | 25 | 7192356 | 5809298 | 1278 10801 | 42 | 29
1000.37/1000.85 c 1000s | 25 | 7204578 | 5819998 | 1278 10817 | 42 | 29
1002.37/1002.87 c 1002s | 25 | 7215859 | 5829798 | 1278 10831 | 42 | 29
1004.36/1004.87 c 1004s | 25 | 7228027 | 5840298 | 1278 10846 | 42 | 29
1006.36/1006.87 c 1006s | 25 | 7240886 | 5851098 | 1278 10861 | 42 | 29
1008.37/1008.88 c 1008s | 25 | 7253610 | 5861798 | 1278 10876 | 42 | 29
1010.36/1010.90 c 1010s | 25 | 7265264 | 5871898 | 1278 10891 | 42 | 29
1012.46/1012.90 c 1012s | 25 | 7277803 | 5882498 | 1278 10906 | 42 | 29
1014.45/1014.92 c 1014s | 25 | 7289738 | 5892798 | 1278 10921 | 42 | 29
1016.45/1016.93 c 1016s | 25 | 7303565 | 5903798 | 1278 10937 | 42 | 29
1018.45/1018.93 c 1018s | 25 | 7315090 | 5913698 | 1278 10951 | 42 | 29
1020.46/1020.94 c 1020s | 25 | 7326493 | 5923398 | 1278 10965 | 42 | 29
1022.45/1022.94 c 1022s | 25 | 7337817 | 5933198 | 1278 10979 | 42 | 29
1024.45/1024.95 c 1024s | 25 | 7350205 | 5943498 | 1278 10994 | 42 | 29
1026.45/1026.96 c 1026s | 25 | 7362385 | 5953598 | 1278 11009 | 42 | 29
1028.45/1028.97 c 1028s | 25 | 7375051 | 5963998 | 1278 11024 | 42 | 29
1030.45/1030.97 c 1030s | 25 | 7387056 | 5973898 | 1278 11038 | 42 | 29
1032.45/1032.99 c 1032s | 25 | 7398615 | 5983998 | 1278 11053 | 42 | 29
1034.55/1035.00 c 1034s | 25 | 7409782 | 5993698 | 1278 11067 | 42 | 29
1036.55/1037.01 c 1036s | 25 | 7421286 | 6003498 | 1278 11081 | 42 | 29
1038.55/1039.02 c 1038s | 25 | 7432294 | 6012898 | 1278 11095 | 42 | 29
1040.55/1041.02 c 1040s | 25 | 7444179 | 6022998 | 1278 11109 | 42 | 29
1042.55/1043.03 c 1042s | 25 | 7455544 | 6032698 | 1278 11123 | 42 | 29
1044.55/1045.04 c 1044s | 25 | 7467867 | 6043098 | 1278 11138 | 42 | 29
1046.54/1047.04 c 1046s | 25 | 7479955 | 6052998 | 1278 11153 | 42 | 29
1048.54/1049.05 c 1048s | 25 | 7492064 | 6063298 | 1278 11167 | 42 | 29
1050.54/1051.07 c 1050s | 25 | 7504207 | 6073498 | 1278 11182 | 42 | 29
1052.54/1053.08 c 1052s | 25 | 7515332 | 6082998 | 1278 11196 | 42 | 29
1054.54/1055.08 c 1054s | 25 | 7526329 | 6092598 | 1278 11210 | 42 | 29
1056.53/1057.09 c 1056s | 25 | 7538084 | 6102498 | 1278 11224 | 42 | 29
1058.63/1059.10 c 1058s | 25 | 7550866 | 6113098 | 1278 11239 | 42 | 29
1060.63/1061.12 c 1061s | 25 | 7562537 | 6122898 | 1278 11253 | 42 | 29
1062.63/1063.13 c 1063s | 25 | 7573150 | 6131998 | 1278 11267 | 42 | 29
1064.63/1065.15 c 1065s | 25 | 7585908 | 6142198 | 1278 11281 | 42 | 29
1066.63/1067.16 c 1067s | 25 | 7597063 | 6151698 | 1278 11295 | 42 | 29
1068.63/1069.18 c 1069s | 25 | 7608220 | 6161298 | 1278 11309 | 42 | 29
1070.63/1071.19 c 1071s | 25 | 7618897 | 6170498 | 1278 11322 | 42 | 29
1072.63/1073.19 c 1073s | 25 | 7630562 | 6180398 | 1278 11336 | 42 | 29
1074.73/1075.21 c 1075s | 25 | 7642442 | 6190198 | 1278 11351 | 42 | 29
1076.73/1077.22 c 1077s | 25 | 7654413 | 6200098 | 1278 11365 | 42 | 29
1078.73/1079.23 c 1079s | 25 | 7666106 | 6209998 | 1278 11379 | 42 | 29
1080.72/1081.23 c 1081s | 25 | 7677361 | 6219498 | 1278 11393 | 42 | 29
1082.72/1083.25 c 1083s | 25 | 7687846 | 6228498 | 1278 11406 | 42 | 29
1084.72/1085.27 c 1085s | 25 | 7699377 | 6238098 | 1278 11420 | 42 | 29
1086.72/1087.29 c 1087s | 25 | 7710765 | 6247598 | 1278 11434 | 42 | 29
1088.82/1089.30 c 1089s | 25 | 7722912 | 6258098 | 1278 11449 | 42 | 29
1090.83/1091.31 c 1091s | 25 | 7734532 | 6268298 | 1278 11463 | 42 | 29
1092.83/1093.31 c 1093s | 25 | 7748651 | 6279598 | 1278 11480 | 42 | 29
1094.83/1095.33 c 1095s | 25 | 7761993 | 6290698 | 1278 11496 | 42 | 29
1096.83/1097.33 c 1097s | 25 | 7773451 | 6300698 | 1278 11510 | 42 | 29
1098.83/1099.34 c 1099s | 25 | 7784028 | 6309898 | 1278 11523 | 42 | 29
1100.83/1101.35 c 1101s | 25 | 7795747 | 6319898 | 1278 11537 | 42 | 29
1102.83/1103.36 c 1103s | 25 | 7807908 | 6329998 | 1278 11552 | 42 | 29
1104.83/1105.38 c 1105s | 25 | 7821382 | 6340598 | 1278 11567 | 42 | 29
1106.82/1107.38 c 1107s | 25 | 7833565 | 6350398 | 1278 11581 | 42 | 29
1108.82/1109.39 c 1109s | 25 | 7844867 | 6360098 | 1278 11596 | 42 | 29
1110.92/1111.40 c 1111s | 25 | 7857461 | 6370198 | 1278 11610 | 42 | 29
1112.92/1113.42 c 1113s | 25 | 7869256 | 6379798 | 1278 11624 | 42 | 29
1114.93/1115.42 c 1115s | 25 | 7880811 | 6389698 | 1278 11638 | 42 | 29
1116.92/1117.43 c 1117s | 25 | 7892423 | 6399698 | 1278 11653 | 42 | 29
1118.92/1119.44 c 1119s | 25 | 7906576 | 6410998 | 1278 11669 | 42 | 29
1120.92/1121.46 c 1121s | 25 | 7918277 | 6420998 | 1278 11683 | 42 | 29
1122.92/1123.48 c 1123s | 25 | 7928895 | 6430198 | 1278 11697 | 42 | 29
1124.92/1125.48 c 1125s | 25 | 7940783 | 6440298 | 1278 11711 | 42 | 29
1126.92/1127.50 c 1127s | 25 | 7952290 | 6450198 | 1278 11725 | 42 | 29
1129.02/1129.52 c 1129s | 25 | 7963143 | 6459798 | 1278 11739 | 42 | 29
1131.02/1131.54 c 1131s | 25 | 7974289 | 6469498 | 1278 11753 | 42 | 29
1133.02/1133.56 c 1133s | 25 | 7985922 | 6479398 | 1278 11768 | 42 | 29
1135.02/1135.56 c 1135s | 25 | 7997045 | 6488798 | 1278 11781 | 42 | 29
1137.03/1137.59 c 1137s | 25 | 8007494 | 6497998 | 1278 11795 | 42 | 29
1139.02/1139.59 c 1139s | 25 | 8018887 | 6507898 | 1278 11809 | 42 | 29
1141.12/1141.61 c 1141s | 25 | 8029766 | 6517398 | 1278 11823 | 42 | 29
1143.12/1143.62 c 1143s | 25 | 8040168 | 6526598 | 1278 11836 | 42 | 29
1145.12/1145.63 c 1145s | 25 | 8051679 | 6536598 | 1278 11850 | 42 | 29
1147.12/1147.64 c 1147s | 25 | 8062891 | 6546498 | 1278 11865 | 42 | 29
1149.13/1149.65 c 1149s | 25 | 8075052 | 6556998 | 1278 11880 | 42 | 29
1151.12/1151.67 c 1151s | 25 | 8086874 | 6567298 | 1278 11894 | 42 | 29
1153.12/1153.68 c 1153s | 25 | 8097916 | 6576998 | 1278 11908 | 42 | 29
1155.22/1155.70 c 1155s | 25 | 8109255 | 6586798 | 1278 11923 | 42 | 29
1157.22/1157.71 c 1157s | 25 | 8120570 | 6596598 | 1278 11937 | 42 | 29
1159.22/1159.73 c 1159s | 25 | 8130940 | 6605698 | 1278 11950 | 42 | 29
1161.22/1161.75 c 1161s | 25 | 8141516 | 6615098 | 1278 11964 | 42 | 29
1163.22/1163.77 c 1163s | 25 | 8152406 | 6624598 | 1278 11977 | 42 | 29
1165.21/1165.77 c 1165s | 25 | 8163044 | 6633998 | 1278 11991 | 42 | 29
1167.21/1167.78 c 1167s | 25 | 8173149 | 6642998 | 1278 12004 | 42 | 29
1169.31/1169.80 c 1169s | 25 | 8183301 | 6651998 | 1278 12017 | 42 | 29
1171.31/1171.82 c 1171s | 25 | 8193902 | 6661398 | 1278 12031 | 42 | 29
1173.32/1173.82 c 1173s | 25 | 8203900 | 6670498 | 1278 12044 | 42 | 29
1175.31/1175.83 c 1175s | 25 | 8213770 | 6679398 | 1278 12057 | 42 | 29
1177.31/1177.84 c 1177s | 25 | 8224427 | 6688798 | 1278 12071 | 42 | 29
1179.31/1179.86 c 1179s | 25 | 8234003 | 6697498 | 1278 12083 | 42 | 29
1181.31/1181.87 c 1181s | 25 | 8243617 | 6706198 | 1278 12096 | 42 | 29
1183.31/1183.88 c 1183s | 25 | 8253778 | 6715298 | 1278 12109 | 42 | 29
1185.31/1185.90 c 1185s | 25 | 8264754 | 6724798 | 1278 12123 | 42 | 29
1187.41/1187.91 c 1187s | 25 | 8275380 | 6734098 | 1278 12136 | 42 | 29
1189.41/1189.92 c 1189s | 25 | 8286227 | 6743598 | 1278 12150 | 42 | 29
1191.42/1191.93 c 1191s | 25 | 8297256 | 6753298 | 1278 12164 | 42 | 29
1193.41/1193.94 c 1193s | 25 | 8308999 | 6763298 | 1278 12179 | 42 | 29
1195.41/1195.97 c 1195s | 25 | 8319806 | 6772798 | 1278 12193 | 42 | 29
1197.42/1197.98 c 1197s | 25 | 8330030 | 6781798 | 1278 12206 | 42 | 29
1199.51/1200.00 c 1199s | 25 | 8340830 | 6791198 | 1278 12219 | 42 | 29
1201.51/1202.03 c 1201s | 25 | 8350983 | 6800198 | 1278 12232 | 42 | 29
1203.51/1204.04 c 1203s | 25 | 8362815 | 6809998 | 1278 12246 | 42 | 29
1205.51/1206.05 c 1205s | 25 | 8375883 | 6820598 | 1278 12262 | 42 | 29
1207.51/1208.06 c 1207s | 25 | 8387331 | 6830398 | 1278 12276 | 42 | 29
1209.52/1210.07 c 1209s | 25 | 8399257 | 6840398 | 1278 12290 | 42 | 29
1211.51/1212.08 c 1211s | 25 | 8411957 | 6850798 | 1278 12305 | 42 | 29
1213.51/1214.09 c 1213s | 25 | 8422433 | 6859898 | 1278 12319 | 42 | 29
1215.51/1216.09 c 1215s | 25 | 8433081 | 6869098 | 1278 12332 | 42 | 29
1217.61/1218.10 c 1217s | 25 | 8443583 | 6878198 | 1278 12345 | 42 | 29
1219.61/1220.10 c 1219s | 25 | 8454918 | 6887798 | 1278 12359 | 42 | 29
1221.61/1222.13 c 1222s | 25 | 8467833 | 6898398 | 1278 12375 | 42 | 29
1223.61/1224.14 c 1224s | 25 | 8478350 | 6907698 | 1278 12388 | 42 | 29
1225.61/1226.14 c 1226s | 25 | 8488912 | 6916898 | 1278 12401 | 42 | 29
1227.61/1228.14 c 1228s | 25 | 8498665 | 6925598 | 1278 12414 | 42 | 29
1229.61/1230.15 c 1230s | 25 | 8510405 | 6935698 | 1278 12429 | 42 | 29
1231.61/1232.15 c 1232s | 25 | 8521934 | 6945698 | 1278 12443 | 42 | 29
1233.61/1234.16 c 1234s | 25 | 8532633 | 6954998 | 1278 12457 | 42 | 29
1235.61/1236.17 c 1236s | 25 | 8543884 | 6964898 | 1278 12471 | 42 | 29
1237.60/1238.17 c 1238s | 25 | 8556896 | 6975898 | 1278 12487 | 42 | 29
1239.60/1240.18 c 1240s | 25 | 8570042 | 6986898 | 1278 12502 | 42 | 29
1241.60/1242.19 c 1242s | 25 | 8582421 | 6997398 | 1278 12518 | 42 | 29
1243.62/1244.20 c 1244s | 25 | 8595548 | 7008198 | 1278 12533 | 42 | 29
1245.71/1246.21 c 1246s | 25 | 8608468 | 7018598 | 1278 12548 | 42 | 29
1247.71/1248.21 c 1248s | 25 | 8620961 | 7028898 | 1278 12563 | 42 | 29
1249.71/1250.21 c 1250s | 25 | 8632910 | 7039198 | 1278 12578 | 42 | 29
1251.71/1252.23 c 1252s | 25 | 8644940 | 7049398 | 1278 12593 | 42 | 29
1253.71/1254.24 c 1254s | 25 | 8656479 | 7059398 | 1278 12607 | 42 | 29
1255.71/1256.25 c 1256s | 25 | 8670178 | 7070398 | 1278 12623 | 42 | 29
1257.71/1258.26 c 1258s | 25 | 8682989 | 7081198 | 1278 12638 | 42 | 29
1259.70/1260.27 c 1260s | 25 | 8694637 | 7091198 | 1278 12653 | 42 | 29
1261.70/1262.27 c 1262s | 25 | 8705314 | 7100498 | 1278 12666 | 42 | 29
1263.70/1264.29 c 1264s | 25 | 8717674 | 7110798 | 1278 12681 | 42 | 29
1265.80/1266.31 c 1266s | 25 | 8729800 | 7120998 | 1278 12696 | 42 | 29
1267.81/1268.32 c 1268s | 25 | 8740621 | 7130198 | 1278 12709 | 42 | 29
1269.80/1270.33 c 1270s | 25 | 8752286 | 7139998 | 1278 12724 | 42 | 29
1271.80/1272.35 c 1272s | 25 | 8764857 | 7150398 | 1278 12739 | 42 | 29
1273.80/1274.37 c 1274s | 25 | 8777688 | 7160798 | 1278 12754 | 42 | 29
1275.80/1276.38 c 1276s | 25 | 8788802 | 7170298 | 1278 12767 | 42 | 29
1277.81/1278.38 c 1278s | 25 | 8800408 | 7180098 | 1278 12781 | 42 | 29
1279.80/1280.39 c 1280s | 25 | 8811399 | 7189398 | 1278 12795 | 42 | 29
1281.80/1282.39 c 1282s | 25 | 8822349 | 7198698 | 1278 12808 | 42 | 29
1283.90/1284.41 c 1284s | 25 | 8833422 | 7207998 | 1278 12822 | 42 | 29
1285.90/1286.41 c 1286s | 25 | 8844631 | 7217498 | 1278 12835 | 42 | 29
1287.90/1288.43 c 1288s | 25 | 8857648 | 7227998 | 1278 12851 | 42 | 29
1289.90/1290.45 c 1290s | 25 | 8868982 | 7237698 | 1278 12865 | 42 | 29
1291.90/1292.46 c 1292s | 25 | 8880337 | 7247198 | 1278 12878 | 42 | 29
1293.90/1294.48 c 1294s | 25 | 8891239 | 7256398 | 1278 12892 | 42 | 29
1295.89/1296.50 c 1296s | 25 | 8901956 | 7265798 | 1278 12905 | 42 | 29
1297.99/1298.51 c 1298s | 25 | 8912971 | 7275198 | 1278 12919 | 42 | 29
1299.99/1300.51 c 1300s | 25 | 8923744 | 7284598 | 1278 12932 | 42 | 29
1302.00/1302.52 c 1302s | 25 | 8934810 | 7293998 | 1278 12946 | 42 | 29
1303.99/1304.54 c 1304s | 25 | 8946012 | 7303498 | 1278 12960 | 42 | 29
1305.99/1306.54 c 1306s | 25 | 8958351 | 7313698 | 1278 12974 | 42 | 29
1307.99/1308.55 c 1308s | 25 | 8969459 | 7322998 | 1278 12988 | 42 | 29
1309.99/1310.55 c 1310s | 25 | 8980837 | 7332398 | 1278 13001 | 42 | 29
1311.99/1312.56 c 1312s | 25 | 8992033 | 7341898 | 1278 13015 | 42 | 29
1314.00/1314.56 c 1314s | 25 | 9002963 | 7351198 | 1278 13029 | 42 | 29
1315.99/1316.58 c 1316s | 25 | 9013674 | 7360498 | 1278 13042 | 42 | 29
1318.00/1318.59 c 1318s | 25 | 9025796 | 7370798 | 1278 13057 | 42 | 29
1320.10/1320.60 c 1320s | 25 | 9037505 | 7380998 | 1278 13072 | 42 | 29
1322.10/1322.61 c 1322s | 25 | 9048296 | 7390198 | 1278 13085 | 42 | 29
1324.10/1324.62 c 1324s | 25 | 9059227 | 7399698 | 1278 13099 | 42 | 29
1326.10/1326.64 c 1326s | 25 | 9070096 | 7409198 | 1278 13112 | 42 | 29
1328.10/1328.64 c 1328s | 25 | 9081033 | 7418698 | 1278 13126 | 42 | 29
1330.09/1330.64 c 1330s | 25 | 9092315 | 7428298 | 1278 13140 | 42 | 29
1332.09/1332.64 c 1332s | 25 | 9104322 | 7438798 | 1278 13155 | 42 | 29
1334.09/1334.65 c 1334s | 25 | 9115774 | 7448598 | 1278 13170 | 42 | 29
1336.10/1336.66 c 1336s | 25 | 9126736 | 7458298 | 1278 13184 | 42 | 29
1338.09/1338.68 c 1338s | 25 | 9137972 | 7467798 | 1278 13197 | 42 | 29
1340.09/1340.69 c 1340s | 25 | 9148590 | 7477098 | 1278 13211 | 42 | 29
1342.09/1342.69 c 1342s | 25 | 9159414 | 7486698 | 1278 13225 | 42 | 29
1344.19/1344.71 c 1344s | 25 | 9169799 | 7495698 | 1278 13238 | 42 | 29
1346.19/1346.71 c 1346s | 25 | 9180988 | 7505298 | 1278 13252 | 42 | 29
1348.20/1348.72 c 1348s | 25 | 9193918 | 7515998 | 1278 13267 | 42 | 29
1350.19/1350.72 c 1350s | 25 | 9205898 | 7526198 | 1278 13282 | 42 | 29
1352.19/1352.74 c 1352s | 25 | 9218925 | 7537098 | 1278 13298 | 42 | 29
1354.19/1354.74 c 1354s | 25 | 9231866 | 7547998 | 1406 13313 | 42 | 29
1356.19/1356.75 c 1356s | 25 | 9244130 | 7558198 | 1406 13326 | 42 | 29
1358.19/1358.76 c 1358s | 25 | 9256438 | 7568498 | 1406 13340 | 42 | 29
1360.20/1360.77 c 1360s | 25 | 9267940 | 7578498 | 1406 13353 | 42 | 29
1362.19/1362.78 c 1362s | 25 | 9279757 | 7588498 | 1406 13366 | 42 | 29
1364.19/1364.74 c 1364s | 26 | 9290500 | 7597752 | 1406 13378 | 42 | 29
1366.19/1366.75 c 1366s | 26 | 9306432 | 7610052 | 1406 13394 | 42 | 29
1368.19/1368.76 c 1368s | 26 | 9322264 | 7622252 | 1406 13411 | 42 | 29
1370.19/1370.77 c 1370s | 26 | 9337645 | 7634552 | 1406 13427 | 42 | 29
1372.19/1372.79 c 1372s | 26 | 9351649 | 7646052 | 1406 13442 | 42 | 29
1374.19/1374.79 c 1374s | 26 | 9364964 | 7657452 | 1406 13457 | 42 | 29
1376.28/1376.81 c 1376s | 26 | 9379168 | 7669152 | 1406 13473 | 42 | 29
1378.28/1378.81 c 1378s | 26 | 9394837 | 7681352 | 1406 13489 | 42 | 29
1380.28/1380.82 c 1380s | 26 | 9408558 | 7692752 | 1406 13504 | 42 | 29
1382.29/1382.82 c 1382s | 26 | 9423685 | 7704852 | 1406 13520 | 42 | 29
1384.28/1384.83 c 1384s | 26 | 9437726 | 7716452 | 1406 13535 | 42 | 29
1386.28/1386.83 c 1386s | 26 | 9452493 | 7728652 | 1406 13551 | 42 | 29
1388.28/1388.84 c 1388s | 26 | 9467778 | 7740952 | 1406 13567 | 42 | 29
1390.28/1390.86 c 1390s | 26 | 9482787 | 7752752 | 1406 13583 | 42 | 29
1392.28/1392.87 c 1392s | 26 | 9496789 | 7764052 | 1406 13598 | 42 | 29
1394.29/1394.88 c 1394s | 26 | 9509673 | 7774752 | 1406 13612 | 42 | 29
1396.28/1396.89 c 1396s | 26 | 9521071 | 7784452 | 1406 13625 | 42 | 29
1398.38/1398.90 c 1398s | 26 | 9532487 | 7793852 | 1406 13637 | 42 | 29
1400.38/1400.90 c 1400s | 26 | 9544613 | 7804352 | 1406 13651 | 42 | 29
1402.38/1402.92 c 1402s | 26 | 9557757 | 7815152 | 1406 13666 | 42 | 29
1404.38/1404.94 c 1404s | 26 | 9571499 | 7825952 | 1406 13680 | 42 | 29
1406.38/1406.95 c 1406s | 26 | 9585041 | 7836852 | 1406 13694 | 42 | 29
1408.37/1408.98 c 1408s | 26 | 9598310 | 7847652 | 1406 13709 | 42 | 29
1410.37/1410.99 c 1410s | 26 | 9611265 | 7858552 | 1406 13723 | 42 | 29
1412.37/1412.99 c 1412s | 26 | 9624382 | 7869252 | 1406 13737 | 42 | 29
1414.47/1415.00 c 1414s | 26 | 9637348 | 7879752 | 1406 13751 | 42 | 29
1416.47/1417.01 c 1416s | 26 | 9650293 | 7890652 | 1406 13766 | 42 | 29
1418.48/1419.01 c 1418s | 26 | 9661770 | 7900452 | 1406 13779 | 42 | 29
1420.47/1421.02 c 1420s | 26 | 9674593 | 7911152 | 1406 13793 | 42 | 29
1422.47/1423.03 c 1422s | 26 | 9687617 | 7921452 | 1406 13806 | 42 | 29
1424.48/1425.04 c 1424s | 26 | 9699318 | 7931252 | 1406 13819 | 42 | 29
1426.48/1427.05 c 1426s | 26 | 9712025 | 7941752 | 1406 13833 | 42 | 29
1428.49/1429.06 c 1428s | 26 | 9724382 | 7952152 | 1406 13847 | 42 | 29
1430.48/1431.08 c 1430s | 26 | 9738140 | 7963452 | 1406 13862 | 42 | 29
1432.48/1433.08 c 1432s | 26 | 9750919 | 7974052 | 1406 13876 | 42 | 29
1434.48/1435.08 c 1434s | 26 | 9763772 | 7984952 | 1406 13890 | 42 | 29
1436.47/1437.09 c 1436s | 26 | 9776132 | 7995052 | 1406 13904 | 42 | 29
1438.47/1439.09 c 1438s | 26 | 9788427 | 8005352 | 1406 13917 | 42 | 29
1440.48/1441.10 c 1440s | 26 | 9802618 | 8016852 | 1406 13933 | 42 | 29
1442.57/1443.10 c 1442s | 26 | 9815045 | 8026952 | 1406 13946 | 42 | 29
1444.57/1445.11 c 1445s | 26 | 9827023 | 8037152 | 1406 13960 | 42 | 29
1446.57/1447.12 c 1447s | 26 | 9838393 | 8046852 | 1406 13973 | 42 | 29
1448.57/1449.13 c 1449s | 26 | 9851392 | 8057752 | 1406 13987 | 42 | 29
1450.57/1451.14 c 1451s | 26 | 9865553 | 8069152 | 1406 14002 | 42 | 29
1452.58/1453.14 c 1453s | 26 | 9879786 | 8080652 | 1406 14018 | 42 | 29
1454.57/1455.15 c 1455s | 26 | 9893470 | 8091652 | 1406 14032 | 42 | 29
1456.58/1457.17 c 1457s | 26 | 9905261 | 8101652 | 1406 14046 | 42 | 29
1458.58/1459.19 c 1459s | 26 | 9917723 | 8112152 | 1406 14060 | 42 | 29
1460.67/1461.21 c 1461s | 26 | 9932139 | 8124152 | 1406 14075 | 42 | 29
1462.67/1463.21 c 1463s | 26 | 9946772 | 8135952 | 1406 14091 | 42 | 29
1464.68/1465.23 c 1465s | 26 | 9961245 | 8147552 | 1406 14106 | 42 | 29
1466.67/1467.23 c 1467s | 26 | 9972877 | 8157352 | 1406 14119 | 42 | 29
1468.67/1469.25 c 1469s | 26 | 9984957 | 8167752 | 1406 14133 | 42 | 29
1470.67/1471.27 c 1471s | 26 | 9999033 | 8179252 | 1406 14149 | 42 | 29
1472.67/1473.27 c 1473s | 26 | 10013177 | 8190952 | 1406 14164 | 42 | 29
1474.68/1475.27 c 1475s | 26 | 10029120 | 8203452 | 1406 14181 | 42 | 29
1476.67/1477.29 c 1477s | 26 | 10043845 | 8215552 | 1406 14197 | 42 | 29
1478.67/1479.30 c 1479s | 26 | 10058584 | 8227152 | 1406 14212 | 42 | 29
1480.77/1481.30 c 1481s | 26 | 10070678 | 8237652 | 1406 14226 | 42 | 29
1482.77/1483.31 c 1483s | 26 | 10083340 | 8248052 | 1406 14240 | 42 | 29
1484.77/1485.31 c 1485s | 26 | 10097081 | 8258952 | 1406 14254 | 42 | 29
1486.78/1487.31 c 1487s | 26 | 10110593 | 8269952 | 1406 14268 | 42 | 29
1488.77/1489.32 c 1489s | 26 | 10122518 | 8280152 | 1406 14282 | 42 | 29
1490.77/1491.33 c 1491s | 26 | 10136287 | 8291352 | 1406 14297 | 42 | 29
1492.77/1493.34 c 1493s | 26 | 10149354 | 8301752 | 1406 14310 | 42 | 29
1494.77/1495.34 c 1495s | 26 | 10161880 | 8312052 | 1406 14324 | 42 | 29
1496.77/1497.35 c 1497s | 26 | 10173947 | 8322152 | 1406 14337 | 42 | 29
1498.77/1499.37 c 1499s | 26 | 10187091 | 8332752 | 1406 14352 | 42 | 29
1500.76/1501.38 c 1501s | 26 | 10201540 | 8344152 | 1406 14367 | 42 | 29
1502.76/1503.38 c 1503s | 26 | 10217426 | 8356152 | 1406 14383 | 42 | 29
1504.76/1505.39 c 1505s | 26 | 10232907 | 8368052 | 1406 14398 | 42 | 29
1506.76/1507.39 c 1507s | 26 | 10248546 | 8380052 | 1406 14414 | 42 | 29
1508.86/1509.41 c 1509s | 26 | 10260312 | 8389852 | 1406 14427 | 42 | 29
1510.87/1511.42 c 1511s | 26 | 10272077 | 8399552 | 1406 14440 | 42 | 29
1512.86/1513.42 c 1513s | 26 | 10288607 | 8411952 | 1406 14456 | 42 | 29
1514.86/1515.42 c 1515s | 26 | 10303172 | 8423452 | 1406 14472 | 42 | 29
1516.86/1517.43 c 1517s | 26 | 10317514 | 8434652 | 1406 14486 | 42 | 29
1518.86/1519.44 c 1519s | 26 | 10330083 | 8445052 | 1406 14500 | 42 | 29
1520.87/1521.45 c 1521s | 26 | 10342509 | 8455252 | 1406 14514 | 42 | 29
1522.86/1523.47 c 1523s | 26 | 10354843 | 8465652 | 1406 14527 | 42 | 29
1524.86/1525.48 c 1525s | 26 | 10365643 | 8474852 | 1406 14540 | 42 | 29
1526.86/1527.48 c 1527s | 26 | 10379065 | 8485752 | 1406 14554 | 42 | 29
1528.86/1529.49 c 1529s | 26 | 10392560 | 8496952 | 1406 14569 | 42 | 29
1530.96/1531.50 c 1531s | 26 | 10405291 | 8507352 | 1406 14583 | 42 | 29
1532.96/1533.52 c 1533s | 26 | 10417492 | 8517552 | 1406 14596 | 42 | 29
1534.96/1535.54 c 1535s | 26 | 10429221 | 8527652 | 1406 14610 | 42 | 29
1536.96/1537.55 c 1537s | 26 | 10443312 | 8539052 | 1406 14624 | 42 | 29
1538.96/1539.56 c 1539s | 26 | 10456228 | 8549352 | 1406 14638 | 42 | 29
1540.96/1541.56 c 1541s | 26 | 10470716 | 8560752 | 1406 14653 | 42 | 29
1542.96/1543.58 c 1543s | 26 | 10483682 | 8571652 | 1406 14667 | 42 | 29
1544.96/1545.59 c 1545s | 26 | 10496751 | 8582652 | 1406 14682 | 42 | 29
1546.95/1547.59 c 1547s | 26 | 10510099 | 8593352 | 1406 14696 | 42 | 29
1548.95/1549.59 c 1549s | 26 | 10524903 | 8604952 | 1406 14711 | 42 | 29
1551.06/1551.61 c 1551s | 26 | 10539181 | 8616452 | 1406 14726 | 42 | 29
1553.06/1553.63 c 1553s | 26 | 10552227 | 8627152 | 1406 14741 | 42 | 29
1555.06/1555.63 c 1555s | 26 | 10565676 | 8638152 | 1406 14755 | 42 | 29
1557.07/1557.64 c 1557s | 26 | 10579043 | 8648852 | 1406 14769 | 42 | 29
1559.06/1559.65 c 1559s | 26 | 10591301 | 8659152 | 1406 14783 | 42 | 29
1561.06/1561.65 c 1561s | 26 | 10603751 | 8669452 | 1406 14797 | 42 | 29
1563.06/1563.66 c 1563s | 26 | 10615429 | 8679152 | 1406 14810 | 42 | 29
1565.06/1565.67 c 1565s | 26 | 10628132 | 8689252 | 1406 14823 | 42 | 29
1567.06/1567.67 c 1567s | 26 | 10640227 | 8699152 | 1406 14836 | 42 | 29
1569.06/1569.68 c 1569s | 26 | 10652727 | 8709052 | 1406 14849 | 42 | 29
1571.06/1571.69 c 1571s | 26 | 10666798 | 8719852 | 1406 14863 | 42 | 29
1573.06/1573.69 c 1573s | 26 | 10677785 | 8729252 | 1406 14875 | 42 | 29
1575.06/1575.69 c 1575s | 26 | 10692354 | 8741252 | 1406 14891 | 42 | 29
1577.06/1577.70 c 1577s | 26 | 10705908 | 8752252 | 1406 14906 | 42 | 29
1579.16/1579.70 c 1579s | 26 | 10718724 | 8763152 | 1406 14920 | 42 | 29
1581.15/1581.71 c 1581s | 26 | 10732819 | 8774152 | 1406 14935 | 42 | 29
1583.15/1583.72 c 1583s | 26 | 10746233 | 8784852 | 1406 14949 | 42 | 29
1585.15/1585.74 c 1585s | 26 | 10759114 | 8795552 | 1406 14963 | 42 | 29
1587.15/1587.75 c 1587s | 26 | 10772545 | 8806352 | 1406 14977 | 42 | 29
1589.15/1589.77 c 1589s | 26 | 10785557 | 8817152 | 1406 14992 | 42 | 29
1591.16/1591.78 c 1591s | 26 | 10799762 | 8828052 | 1406 15006 | 42 | 29
1593.25/1593.81 c 1593s | 26 | 10812524 | 8838252 | 1406 15020 | 42 | 29
1595.25/1595.81 c 1595s | 26 | 10823563 | 8847652 | 1406 15032 | 42 | 29
1597.25/1597.82 c 1597s | 26 | 10835645 | 8857552 | 1406 15045 | 42 | 29
1599.25/1599.83 c 1599s | 26 | 10849765 | 8868552 | 1406 15060 | 42 | 29
1601.25/1601.85 c 1601s | 26 | 10863464 | 8879452 | 1406 15074 | 42 | 29
1603.26/1603.87 c 1603s | 26 | 10878049 | 8891152 | 1406 15089 | 42 | 29
1605.25/1605.87 c 1605s | 26 | 10891688 | 8901852 | 1406 15104 | 42 | 29
1607.25/1607.87 c 1607s | 26 | 10905521 | 8912452 | 1406 15118 | 42 | 29
1609.25/1609.87 c 1609s | 26 | 10918494 | 8923152 | 1406 15132 | 42 | 29
1611.25/1611.88 c 1611s | 26 | 10931894 | 8933852 | 1406 15146 | 42 | 29
1613.25/1613.89 c 1613s | 26 | 10943798 | 8943852 | 1406 15160 | 42 | 29
1615.25/1615.90 c 1615s | 26 | 10956759 | 8954352 | 1406 15173 | 42 | 29
1617.35/1617.91 c 1617s | 26 | 10969599 | 8964852 | 1406 15187 | 42 | 29
1619.35/1619.92 c 1619s | 26 | 10981783 | 8974652 | 1406 15200 | 42 | 29
1621.35/1621.92 c 1621s | 26 | 10993175 | 8983952 | 1406 15213 | 42 | 29
1623.34/1623.93 c 1623s | 26 | 11005184 | 8993952 | 1406 15226 | 42 | 29
1625.35/1625.95 c 1625s | 26 | 11017614 | 9004252 | 1406 15240 | 42 | 29
1627.34/1627.95 c 1627s | 26 | 11030460 | 9014652 | 1406 15253 | 42 | 29
1629.34/1629.97 c 1629s | 26 | 11043451 | 9025252 | 1406 15267 | 42 | 29
1631.34/1631.98 c 1631s | 26 | 11055488 | 9035352 | 1406 15281 | 42 | 29
1633.34/1633.99 c 1633s | 26 | 11067560 | 9045452 | 1406 15294 | 42 | 29
1635.44/1636.00 c 1635s | 26 | 11079508 | 9055352 | 1406 15307 | 42 | 29
1637.45/1638.01 c 1637s | 26 | 11092649 | 9066052 | 1406 15321 | 42 | 29
1639.44/1640.02 c 1639s | 26 | 11104499 | 9075752 | 1406 15334 | 42 | 29
1641.44/1642.02 c 1641s | 26 | 11114627 | 9084552 | 1406 15346 | 42 | 29
1643.45/1644.04 c 1643s | 26 | 11125132 | 9093752 | 1406 15358 | 42 | 29
1645.45/1646.05 c 1645s | 26 | 11136233 | 9103152 | 1406 15371 | 42 | 29
1647.45/1648.05 c 1647s | 26 | 11148954 | 9113752 | 1406 15385 | 42 | 29
1649.45/1650.07 c 1649s | 26 | 11161861 | 9124352 | 1406 15399 | 42 | 29
1651.44/1652.07 c 1651s | 26 | 11174186 | 9134452 | 1406 15413 | 42 | 29
1653.44/1654.09 c 1653s | 26 | 11187389 | 9145252 | 1406 15427 | 42 | 29
1655.44/1656.09 c 1655s | 26 | 11199900 | 9155652 | 1406 15441 | 42 | 29
1657.54/1658.11 c 1658s | 26 | 11213135 | 9166252 | 1406 15455 | 42 | 29
1659.54/1660.12 c 1660s | 26 | 11226096 | 9177052 | 1406 15469 | 42 | 29
1661.55/1662.13 c 1662s | 26 | 11238824 | 9187652 | 1406 15483 | 42 | 29
1663.54/1664.14 c 1664s | 26 | 11249810 | 9197352 | 1406 15496 | 42 | 29
1665.54/1666.15 c 1666s | 26 | 11262926 | 9208152 | 1406 15511 | 42 | 29
1667.54/1668.17 c 1668s | 26 | 11275446 | 9218552 | 1406 15525 | 42 | 29
1669.54/1670.18 c 1670s | 26 | 11287123 | 9228552 | 1406 15538 | 42 | 29
1671.54/1672.18 c 1672s | 26 | 11299577 | 9238652 | 1406 15551 | 42 | 29
1673.54/1674.19 c 1674s | 26 | 11311932 | 9248652 | 1406 15564 | 42 | 29
1675.54/1676.19 c 1676s | 26 | 11324985 | 9258852 | 1406 15578 | 42 | 29
1677.63/1678.21 c 1678s | 26 | 11337668 | 9269352 | 1406 15592 | 42 | 29
1679.63/1680.24 c 1680s | 26 | 11350291 | 9279752 | 1406 15606 | 42 | 29
1681.63/1682.25 c 1682s | 26 | 11363815 | 9290452 | 1406 15620 | 42 | 29
1683.64/1684.26 c 1684s | 26 | 11375356 | 9300252 | 1406 15633 | 42 | 29
1685.64/1686.27 c 1686s | 26 | 11386469 | 9309552 | 1406 15645 | 42 | 29
1687.64/1688.28 c 1688s | 26 | 11397357 | 9318752 | 1406 15658 | 42 | 29
1689.74/1690.32 c 1690s | 26 | 11407951 | 9327852 | 1406 15670 | 42 | 29
1691.74/1692.32 c 1692s | 26 | 11418488 | 9336652 | 1406 15681 | 42 | 29
1693.74/1694.33 c 1694s | 26 | 11430209 | 9346352 | 1406 15694 | 42 | 29
1695.75/1696.33 c 1696s | 26 | 11441535 | 9355952 | 1406 15707 | 42 | 29
1697.74/1698.34 c 1698s | 26 | 11452858 | 9365552 | 1406 15720 | 42 | 29
1699.74/1700.34 c 1700s | 26 | 11465782 | 9375852 | 1406 15733 | 42 | 29
1701.74/1702.36 c 1702s | 26 | 11478953 | 9386552 | 1406 15748 | 42 | 29
1703.74/1704.36 c 1704s | 26 | 11490819 | 9396552 | 1406 15761 | 42 | 29
1705.74/1706.37 c 1706s | 26 | 11503019 | 9406652 | 1406 15774 | 42 | 29
1707.74/1708.38 c 1708s | 26 | 11515814 | 9416852 | 1406 15788 | 42 | 29
1709.84/1710.40 c 1710s | 26 | 11528280 | 9426852 | 1406 15801 | 42 | 29
1711.83/1712.40 c 1712s | 26 | 11540945 | 9437252 | 1406 15815 | 42 | 29
1713.83/1714.41 c 1714s | 26 | 11553943 | 9448052 | 1406 15829 | 42 | 29
1715.83/1716.41 c 1716s | 26 | 11566006 | 9457852 | 1406 15842 | 42 | 29
1717.83/1718.42 c 1718s | 26 | 11576514 | 9466852 | 1406 15854 | 42 | 29
1719.84/1720.43 c 1720s | 26 | 11587816 | 9476052 | 1406 15867 | 42 | 29
1721.83/1722.44 c 1722s | 26 | 11600499 | 9486552 | 1406 15880 | 42 | 29
1723.83/1724.45 c 1724s | 26 | 11612760 | 9496752 | 1406 15894 | 42 | 29
1725.83/1726.48 c 1726s | 26 | 11624634 | 9506452 | 1406 15907 | 42 | 29
1727.93/1728.50 c 1728s | 26 | 11636851 | 9516552 | 1406 15920 | 42 | 29
1729.93/1730.51 c 1730s | 26 | 11648588 | 9526152 | 1406 15933 | 42 | 29
1731.93/1732.52 c 1732s | 26 | 11659326 | 9535352 | 1406 15945 | 42 | 29
1733.93/1734.53 c 1734s | 26 | 11670577 | 9544952 | 1406 15957 | 42 | 29
1735.92/1736.54 c 1736s | 26 | 11682877 | 9554952 | 1406 15971 | 42 | 29
1737.92/1738.56 c 1738s | 26 | 11695003 | 9564752 | 1406 15984 | 42 | 29
1739.93/1740.57 c 1740s | 26 | 11708995 | 9576052 | 1406 15998 | 42 | 29
1741.94/1742.58 c 1742s | 26 | 11721444 | 9586052 | 1406 16012 | 42 | 29
1743.93/1744.58 c 1744s | 26 | 11734337 | 9596052 | 1406 16025 | 42 | 29
1745.93/1746.59 c 1746s | 26 | 11747149 | 9606252 | 1406 16039 | 42 | 29
1748.03/1748.61 c 1748s | 26 | 11760028 | 9616652 | 1406 16053 | 42 | 29
1750.03/1750.61 c 1750s | 26 | 11773978 | 9626952 | 1406 16066 | 42 | 29
1752.03/1752.61 c 1752s | 26 | 11787170 | 9637052 | 1406 16080 | 42 | 29
1754.04/1754.63 c 1754s | 26 | 11800500 | 9647252 | 1406 16093 | 42 | 29
1756.03/1756.63 c 1756s | 26 | 11814075 | 9657952 | 1406 16108 | 42 | 29
1758.03/1758.63 c 1758s | 26 | 11826750 | 9668252 | 1406 16121 | 42 | 29
1760.03/1760.64 c 1760s | 26 | 11838933 | 9678252 | 1406 16135 | 42 | 29
1762.03/1762.65 c 1762s | 26 | 11852071 | 9688752 | 1406 16148 | 42 | 29
1764.03/1764.66 c 1764s | 26 | 11864713 | 9698452 | 1406 16161 | 42 | 29
1766.03/1766.68 c 1766s | 26 | 11876537 | 9707952 | 1406 16174 | 42 | 29
1768.03/1768.69 c 1768s | 26 | 11892041 | 9719152 | 1406 16189 | 42 | 29
1770.03/1770.69 c 1770s | 26 | 11905904 | 9729752 | 1406 16203 | 42 | 29
1772.13/1772.70 c 1772s | 26 | 11918501 | 9740052 | 1406 16217 | 42 | 29
1774.13/1774.71 c 1774s | 26 | 11932514 | 9751352 | 1406 16232 | 42 | 29
1776.13/1776.71 c 1776s | 26 | 11945860 | 9762352 | 1406 16246 | 42 | 29
1778.13/1778.71 c 1778s | 26 | 11960056 | 9773752 | 1406 16261 | 42 | 29
1780.13/1780.72 c 1780s | 26 | 11974131 | 9785052 | 1406 16276 | 42 | 29
1782.13/1782.74 c 1782s | 26 | 11987372 | 9795852 | 1406 16291 | 42 | 29
1784.12/1784.74 c 1784s | 26 | 11999671 | 9805952 | 1406 16304 | 42 | 29
1786.12/1786.76 c 1786s | 26 | 12011626 | 9815852 | 1406 16317 | 42 | 29
1788.13/1788.76 c 1788s | 26 | 12023770 | 9825852 | 1406 16331 | 42 | 29
1790.12/1790.78 c 1790s | 26 | 12036773 | 9836152 | 1406 16345 | 42 | 29
1792.12/1792.79 c 1792s | 26 | 12049823 | 9846452 | 1406 16358 | 42 | 29
1794.22/1794.80 c 1794s | 26 | 12062135 | 9856552 | 1406 16372 | 42 | 29
1796.22/1796.81 c 1796s | 26 | 12075408 | 9867252 | 1406 16386 | 42 | 29
1798.22/1798.83 c 1798s | 26 | 12088393 | 9877652 | 1406 16400 | 42 | 29
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-4117933-1467237833/watcher-4117933-1467237833 -o /tmp/evaluation-result-4117933-1467237833/solver-4117933-1467237833 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19136 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117933-1467237833.opb
pid=22269
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.14 2.24 2.24 3/179 22272
/proc/meminfo: memFree=28483644/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=661948 CPUtime=0 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 2458 0 0 0 0 0 0 0 20 0 4 0 13811929 677834752 2819 33554432000 4194304 16246674 140734908686288 140734908685712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 165999 2827 441 2943 0 162893 0
[pid=22272/tid=22273] ppid=22269 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 694611968 2884 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=682428 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 698806272 2900 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=687548 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 704049152 2919 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.10021 s]
/proc/loadavg: 2.14 2.24 2.24 3/179 22272
/proc/meminfo: memFree=28483644/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 22804 0 0 0 6 3 0 0 20 0 4 0 13811929 1247350784 23150 33554432000 4194304 16246674 140734908686288 140734908685712 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 304529 23159 782 2943 0 301423 0
[pid=22272/tid=22273] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 23164 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 23168 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 23175 33554432000 4194304 16246674 140734908686288 139790380952752 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.200521 s]
/proc/loadavg: 2.14 2.24 2.24 3/179 22272
/proc/meminfo: memFree=28483644/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 43160 0 0 0 13 6 0 0 20 0 4 0 13811929 1247350784 43506 33554432000 4194304 16246674 140734908686288 140734908685712 12991529 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 304529 43509 782 2943 0 301423 0
[pid=22272/tid=22273] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 43513 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 43520 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 43526 33554432000 4194304 16246674 140734908686288 139790380952752 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.300501 s]
/proc/loadavg: 2.14 2.24 2.24 3/179 22272
/proc/meminfo: memFree=28483644/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 64258 0 0 0 20 9 0 0 20 0 4 0 13811929 1247350784 64604 33554432000 4194304 16246674 140734908686288 140734908685712 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 304529 64612 782 2943 0 301423 0
[pid=22272/tid=22273] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 64621 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 64629 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 64638 33554432000 4194304 16246674 140734908686288 139790380952752 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.700399 s]
/proc/loadavg: 2.14 2.24 2.24 3/179 22272
/proc/meminfo: memFree=28483644/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 148108 0 0 0 50 19 0 0 20 0 4 0 13811929 1247350784 148455 33554432000 4194304 16246674 140734908686288 140734908668160 5708022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 304529 148471 782 2943 0 301423 0
[pid=22272/tid=22273] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 148480 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 148487 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1247350784 148492 33554432000 4194304 16246674 140734908686288 139790380952752 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.5004 s]
/proc/loadavg: 2.14 2.24 2.24 3/183 22276
/proc/meminfo: memFree=27559096/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 245714 0 0 0 116 32 0 0 20 0 4 0 13811929 1248399360 246039 33554432000 4194304 16246674 140734908686288 140734908669288 5832123 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 304785 246039 846 2943 0 301679 0
[pid=22272/tid=22273] ppid=22269 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1248399360 246039 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1248399360 246039 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1248399360 246039 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140
[startup+3.10043 s]
/proc/loadavg: 2.14 2.24 2.24 3/183 22276
/proc/meminfo: memFree=27413768/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 267477 0 0 0 273 36 0 0 20 0 4 0 13811929 1337528320 267802 33554432000 4194304 16246674 140734908686288 140734908668160 6836056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 326545 267802 846 2943 0 323439 0
[pid=22272/tid=22273] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267802 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267802 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267802 33554432000 4194304 16246674 140734908686288 139790380952752 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) 1306180
[startup+6.30043 s]
/proc/loadavg: 2.21 2.25 2.24 3/183 22276
/proc/meminfo: memFree=27412372/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 267526 0 0 0 593 36 0 0 20 0 4 0 13811929 1337528320 267851 33554432000 4194304 16246674 140734908686288 140734908668160 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 326545 267851 848 2943 0 323439 0
[pid=22272/tid=22273] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267851 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267851 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267851 33554432000 4194304 16246674 140734908686288 139790380952752 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.19 2.24 2.24 3/183 22276
/proc/meminfo: memFree=27412308/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 267618 0 0 0 1233 36 0 0 20 0 4 0 13811929 1337528320 267943 33554432000 4194304 16246674 140734908686288 140734908669288 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 326545 267943 848 2943 0 323439 0
[pid=22272/tid=22273] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267943 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267943 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267943 33554432000 4194304 16246674 140734908686288 139790380952752 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.30 2.26 2.25 4/183 22276
/proc/meminfo: memFree=27412796/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 267639 0 0 0 2512 36 0 0 20 0 4 0 13811929 1337528320 267964 33554432000 4194304 16246674 140734908686288 140734908668160 13965561 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 326545 267964 850 2943 0 323439 0
[pid=22272/tid=22273] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267964 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267964 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267964 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.26 2.26 2.25 3/183 22276
/proc/meminfo: memFree=27412648/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 267639 0 0 0 5071 37 0 0 20 0 4 0 13811929 1337528320 267964 33554432000 4194304 16246674 140734908686288 140734908668160 5667620 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 326545 267964 850 2943 0 323439 0
[pid=22272/tid=22273] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267964 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267964 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1337528320 267964 33554432000 4194304 16246674 140734908686288 139790380952752 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) 1306180
[startup+102.301 s]
/proc/loadavg: 2.27 2.26 2.25 3/183 22277
/proc/meminfo: memFree=27412088/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 267716 0 0 0 10190 38 0 0 20 0 4 0 13811929 1338576896 268041 33554432000 4194304 16246674 140734908686288 140734908668160 13191840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 326801 268041 850 2943 0 323695 0
[pid=22272/tid=22273] ppid=22269 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1338576896 268041 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1338576896 268041 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1338576896 268041 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204
################
# More data... #
################
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268493 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1308228
[startup+1302.3 s]
/proc/loadavg: 2.17 2.22 2.25 3/183 22355
/proc/meminfo: memFree=27414532/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1308228 CPUtime=1301.79 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 268379 0 0 0 130120 59 0 0 20 0 4 0 13811929 1339625472 268493 33554432000 4194304 16246674 140734908686288 140734908669288 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327057 268493 851 2943 0 323951 0
[pid=22272/tid=22273] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268493 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268493 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268493 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1308228
[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 2.25 3/183 22356
/proc/meminfo: memFree=27414572/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1308228 CPUtime=1361.79 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 268379 0 0 0 136119 60 0 0 20 0 4 0 13811929 1339625472 268493 33554432000 4194304 16246674 140734908686288 140734908668160 5722987 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327057 268493 851 2943 0 323951 0
[pid=22272/tid=22273] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268493 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268493 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268493 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1308228
[startup+1422.3 s]
/proc/loadavg: 2.31 2.25 2.26 4/183 22358
/proc/meminfo: memFree=27414484/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1308228 CPUtime=1421.78 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 268416 0 0 0 142118 60 0 0 20 0 4 0 13811929 1339625472 268530 33554432000 4194304 16246674 140734908686288 140734908668160 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327057 268530 851 2943 0 323951 0
[pid=22272/tid=22273] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268530 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268530 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268530 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1308228
[startup+1482.3 s]
/proc/loadavg: 2.24 2.23 2.25 3/183 22359
/proc/meminfo: memFree=27413652/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1308228 CPUtime=1481.77 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 268428 0 0 0 148115 62 0 0 20 0 4 0 13811929 1339625472 268542 33554432000 4194304 16246674 140734908686288 140734908668160 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327057 268542 851 2943 0 323951 0
[pid=22272/tid=22273] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268542 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268542 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268542 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1308228
[startup+1542.31 s]
/proc/loadavg: 2.32 2.25 2.25 4/183 22360
/proc/meminfo: memFree=27413448/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1308228 CPUtime=1541.76 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 268598 0 0 0 154114 62 0 0 20 0 4 0 13811929 1339625472 268712 33554432000 4194304 16246674 140734908686288 140734908668160 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327057 268712 851 2943 0 323951 0
[pid=22272/tid=22273] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268712 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268712 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1339625472 268712 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1308228
[startup+1602.3 s]
/proc/loadavg: 2.28 2.25 2.25 4/184 22364
/proc/meminfo: memFree=27412232/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1310276 CPUtime=1601.75 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 268946 0 0 0 160112 63 0 0 20 0 4 0 13811929 1341722624 269060 33554432000 4194304 16246674 140734908686288 140734908669288 6021268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327569 269060 851 2943 0 324463 0
[pid=22272/tid=22273] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269060 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269060 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269060 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1310276
[startup+1662.3 s]
/proc/loadavg: 2.20 2.23 2.24 3/183 22365
/proc/meminfo: memFree=27411284/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1310276 CPUtime=1661.74 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 269092 0 0 0 166110 64 0 0 20 0 4 0 13811929 1341722624 269206 33554432000 4194304 16246674 140734908686288 140734908668160 5673576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327569 269206 851 2943 0 324463 0
[pid=22272/tid=22273] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1310276
[startup+1722.3 s]
/proc/loadavg: 2.31 2.26 2.25 3/183 22367
/proc/meminfo: memFree=27411068/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1310276 CPUtime=1721.73 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 269092 0 0 0 172108 65 0 0 20 0 4 0 13811929 1341722624 269206 33554432000 4194304 16246674 140734908686288 140734908669288 5829635 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327569 269206 851 2943 0 324463 0
[pid=22272/tid=22273] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1310276
[startup+1782.3 s]
/proc/loadavg: 2.34 2.27 2.26 3/183 22368
/proc/meminfo: memFree=27410544/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1310276 CPUtime=1781.73 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 269092 0 0 0 178107 66 0 0 20 0 4 0 13811929 1341722624 269206 33554432000 4194304 16246674 140734908686288 140734908668160 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327569 269206 851 2943 0 324463 0
[pid=22272/tid=22273] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1310276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.31 2.27 2.26 3/183 22369
/proc/meminfo: memFree=27411284/32872528 swapFree=1394328/1580332
[pid=22272] ppid=22269 vsize=1310276 CPUtime=1800.02 cores=1,3,5,7
/proc/22272/stat : 22272 (toysat) R 22269 22272 19119 0 -1 4202496 269092 0 0 0 179936 66 0 0 20 0 4 0 13811929 1341722624 269206 33554432000 4194304 16246674 140734908686288 140734908668160 12477716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22272/statm: 327569 269206 851 2943 0 324463 0
[pid=22272/tid=22273] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22273/stat : 22273 (toysat) S 22269 22272 19119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790503619824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22272/tid=22274] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22274/stat : 22274 (toysat) S 22269 22272 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790493129968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22272/tid=22275] ppid=22269 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/22272/task/22275/stat : 22275 (toysat) S 22269 22272 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13811930 1341722624 269206 33554432000 4194304 16246674 140734908686288 139790380952752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1310276
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 22272 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.37
CPU system time (s): 0.665898
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 1310276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.665898
maximum resident set size= 1076824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269092
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= 479
involuntary context switches= 1962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51031 second user time and 7.03193 second system time
The end